integral of cos^2