integral of ln(x)/(1+x^2) dx