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

Proof
Let: