How do you differentiate f(x)=sin(cos3x)sinxcos3x?