Inverse Tangent of Imaginary Number

Theorem

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