How do you find the integral of cos^2x?