secって、
x=f(y)=∫1/{y√(y^2-1)}の時の、
f^-1(y)のことだっけ？