Inverse Hyperbolic Cotangent of Imaginary Number

Theorem

 * $\map {\coth^{-1} } {i x} = i \cot^{-1} x$