What is the antiderivative of #cos^2 x#?