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