integral log|2*riemann xi(0.5+ix)|/(0.25+x^2) dx from 1 to 2