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