integrate cos^2 x