Antiderivatives of the Real Arccosine Function

Theorem: Antiderivatives of the Real Arccosine Function

The antiderivatives of the real arccosine function are given by

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

PROOF

TODO