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