d/dx (tan^(-1)sqrt(x^2-1))