Primitive of Inverse Hyperbolic Cosine of x over a over x squared/Corollary

Theorem

 * $\ds \int \frac 1 {x^2} \paren {-\cosh^{-1} \dfrac x a} \rd x = -\frac 1 x \paren {-\cosh^{-1} \dfrac x a} - \frac 1 a \arcsec \size {\frac x a} + C$

where $-\cosh^{-1}$ denotes the negative branch of the real inverse hyperbolic cosine multifunction.