Primitive of Reciprocal of a squared minus x squared/Inverse Hyperbolic Tangent Form/Proof

Proof
Let $\size x < a$.

Let: