int arctan(t/(1+2t^2))/t dt from 0 to inf