Derivative of Arccotangent of Function

Theorem
Let $u$ be a differentiable real function of $x$.

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

where $\arccot$ denotes the arccotangent of $x$.

Also see

 * Derivative of Arcsine of Function
 * Derivative of Arccosine of Function


 * Derivative of Arctangent of Function


 * Derivative of Arcsecant of Function
 * Derivative of Arccosecant of Function