antiderivative of sin^2(x) dx