antiderivative of cos^2(x)