Integral of cos^2 x