What is the derivative for f(x)=sqrt(x^2-1)?