Primitive of Reciprocal of Root of x squared plus a squared/Logarithm Form/Proof 2

Proof
Let $y^2 = a^2 + x^2$.

Then: