Primitive of Reciprocal of Root of x squared plus a squared/Logarithm Form/Proof 1