How do you find the antiderivative of (cosx)^2?