[math-fun] term for f(a b) = a f(b) + b f(a)?