Inverse Cotangent of Imaginary Number

Theorem

 * $\cot^{-1} \left({i x}\right) = i \coth^{-1} x$