Primitive of Reciprocal of x by x squared plus a squared

Theorem

 * $\ds \int \frac {\rd x} {x \paren {x^2 + a^2} } = \frac 1 {2 a^2} \map \ln {\frac {x^2} {x^2 + a^2} } + C$