Inverse Hyperbolic Tangent of Imaginary Number

Theorem

 * $\tanh^{-1} \paren {i x} = i \tan^{-1} x$