derivative of cos^2(x)