derivative of cos(2x)