Inverse Hyperbolic Tangent of Imaginary Number

Theorem

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