Primitive of Reciprocal of 1 plus x squared/Arctangent Form/Proof 2