derivative of cos(4x)