antiderivative of (sin x)^2 - (1 + cos x)^2