Primitive of x by Logarithm of x squared plus a squared/Proof 1