integral arctan(1/x)