What is the derivative of f(x)=cosx*cos2x?