Inverse Cotangent of Imaginary Number

Theorem

 * $\cot^{-1} \paren {i x} = - i \coth^{-1} x$