Primitive of x squared over a squared minus x squared/Logarithm Form

Theorem

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

for $x^2 < a^2$.