integrate Li_3(x) / (x^2+1) from 0 to Infinity