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