Primitive of Reciprocal of x squared plus a squared/Arccotangent Form

Theorem

 * $\ds \int \frac {\d x} {x^2 + a^2} = -\frac 1 a \arccot \frac x a + C$

where $a$ is a non-zero constant.