Antiderivatives of the Real Arctangent Function

Theorem: Antiderivatives of the Real Arctangent Function

The antiderivatives of the real arctangent function are given by

$$\int \arctan (x)\mathrm{dx}=x\arctan (x)-\frac{1}{2}\ln (1+x^2)+\text{const}$$

PROOF

TODO