log(x+(x^2-1)^(1/2)) derivative