derivative of 1/2(xsqrt(x^2 - 1) - ln(x + sqrt(x^2 - 1)))