Primitive of Hyperbolic Secant Function/Arcsine Form

Theorem

 * $\ds \int \sech x \rd x = \map \arcsin {\tanh x} + C$

Proof
Let:

Let:

Then:

Also see

 * Primitive of Hyperbolic Secant Function/Arctangent Form


 * Primitive of Hyperbolic Cosecant Function