>>365
…ですね(^^; ありがとうございます。
t = -x / √(2 + x^2)であるので、
(1/2) (log|(t-1) / (t+1)|) + C
= (1/2) (log|(-(x / √(2 + x^2)) - 1) / (-x / √(2 + x^2) + 1)|) + C
= (1/2) (log|(x + √(2 + x^2)) / (x - √(2 + x^2))|) + C
= (1/2) (log|(x + √(2 + x^2))^2 / (-2)|) + C
= log(x + √(2 + x^2)) / √2) + C
= log((x/√2) + √(1 + (x/√2)^2)) + C
# 正解に合わせるために無理やり帳尻合わせをしていますが、多分どこか間違っていますねorz