What is the derivative of the square of cos x?