(integral 1/(x sqrt(x^2+4)) {sqrt(5), sqrt(12)}