What is the derivative of f(x)=cosxcos2x?