integral ln(x)/(x^2+1) from 0 to inf