>>869
t=√(1+e^(2x))と置換
x=(1/2)log(t^2-1)
dx=t/(t^2-1)dt