domain of sqrt(x^2 - 1) - log(sqrt(1-x))