Primitive of x by Logarithm of x squared plus a squared

Theorem

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