int(ln(1/2+sqrt(x^2+1/4))-ln(x),x)