int_(sqrt(3))^(infty) ln(u-1)/(u^2-1)