What is the derivative of #log_5sqrt(x^2-1)#?