derivation of ln(sqrt(x^2-7))