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