Primitive of Reciprocal of x squared plus a squared/Arctangent Form/Proof 3