>>387
t + √(1+t^2) を 他の文字で置いて置換積分