Differential of Arctangent of Quotient

Theorem

 * $\map \d {\arctan \dfrac x y} = \dfrac {y \rd x - x \rd y} {x^2 + y^2}$