Primitive of Reciprocal of x by x squared plus a squared/Proof 2