Inverse Tangent of Imaginary Number

Theorem

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