Antiderivative of arcsin

Theorem

The following formula holds: $$\displaystyle\int \mathrm{arcsin}(z) \mathrm{d}z = \sqrt{1-z^2}+z\mathrm{arcsin}(z)+C,$$ where $\mathrm{arcsin}$ denotes the inverse sine function.