sin(x) cos(3 x) vs differentiate sin(x) cos(3 x)