Is the derivative of #sin^3[x] 3sin^2[x] (cos^3[x])#?