diff(x^3 + 3x - sin(x)/log(x), x)