Primitive of Inverse Hyperbolic Secant of x over a over x

Theorem
where $\arsech$ denotes the real area hyperbolic secant.

Also see

 * Primitive of $\dfrac 1 x \arsinh \dfrac x a$


 * Primitive of $\dfrac 1 x \arcosh \dfrac x ax$


 * Primitive of $\dfrac 1 x \artanh \dfrac x a$


 * Primitive of $\dfrac 1 x \arcoth \dfrac x a$


 * Primitive of $\dfrac 1 x \arcsch \dfrac x a$