Inverse Secant of Imaginary Number

Theorem

 * $\sec^{-1} x = \pm i \operatorname{sech}^{-1} x$