Primitive of x by Arctangent of x

Theorem

 * $\ds \int x \arctan x \rd x = \frac {x^2 + 1} 2 \arctan x - \frac x 2 + C$