What is the integral of #arctan(x)#?