integral 2x*arctan(x), x=0 to 1