Primitive of x over x squared plus a squared/Proof 1