y=x-sqrt(x^2-1)の逆関数