The antiderivative of 1 over square of sine (formula with example)