Derivative of Arctangent Function

Theorem
Let $x \in \R$.

Let $\arctan x$ be the arctangent of $x$.

Then:
 * $D_x \left({\arctan x}\right) = \dfrac 1 {1 + x^2}$