integral of arctan(x/2)