Inverse Trigonometric Function of Reciprocal

Theorem
For all $x \in \R$ for which the expressions above are defined: