integral arctan(x)