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