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