Inverse Hyperbolic Tangent of Imaginary Number

Theorem

 * $\tanh^{-1} \left({i x}\right) = i \tan^{-1} x$