integrate 2arctan(1/(2x)) dx