Primitive of Function of Arcsecant

Theorem

 * $\displaystyle \int F \left({\operatorname{arcsec} \frac x a}\right) \ \mathrm d x = a \int F \left({u}\right) \sec u \tan u \ \mathrm d u$

where $u = \operatorname{arcsec} \dfrac x a$.

Proof
First note that:

Then:

Also see

 * Primitive of Function of Arcsine
 * Primitive of Function of Arccosine
 * Primitive of Function of Arctangent
 * Primitive of Function of Arccotangent
 * Primitive of Function of Arccosecant