Definite Integral of Reciprocal of Root of a Squared minus x Squared

Theorem

 * $\displaystyle \int_0^x \frac 1 {\sqrt{1 - t^2} } \, \mathrm d t = \arcsin x$