导数是arctanx的函数是`xarctanx - 1/2 * ln（1 + x^2） + C`，其中C是积分常数。这个函数是通过对`arctanx`进行不定积分得到的。不定积分的过程如下：
```
∫arctanxdx = xarctanx - ∫x/（1 + x^2）dx
= xarctanx - 1/2 * ln（1 + x^2） + C
```
不定积分的结果的导数就是原函数，即：
```
d/dx [xarctanx - 1/2 * ln（1 + x^2） + C] = arctanx
```
因此，`xarctanx - 1/2 * ln（1 + x^2） + C`的导数是`arctanx`