Antiderivatives of the Real Arcsine Function

Theorem: Antiderivatives of the Real Arcsine Function

The antiderivatives of the real arcsine function are given by

$$\int \arcsin (x)\mathrm{dx}=x\arcsin (x)+\sqrt{1-x^2}+\text{const}$$

PROOF

TODO