integral of 9/sqrt(x^2 + 16)dx