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