Inverse Cotangent of Imaginary Number

Theorem

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