Derivative of Arccotangent Function

Theorem
Let $x \in \R$.

Let $\arccot x$ be the arccotangent of $x$.

Then:
 * $\dfrac {\map \d {\arccot x} } {\d x} = \dfrac {-1} {1 + x^2}$

Also defined as
This result can also be reported as:
 * $\dfrac {\map \d {\arccot x} } {\d x} = \dfrac {-1} {x^2 + 1}$

Also see

 * Derivative of Arcsine Function
 * Derivative of Arccosine Function
 * Derivative of Arctangent Function
 * Derivative of Arcsecant Function
 * Derivative of Arccosecant Function