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