\frac{d}{dx} arccot x = \frac{−1}{1 + x^{2}}