integral of sqrt(x^2 - 16)/x dx