出てくる解が正しくならない、という意味で言いました
解答は(1/2)log|(√(x^2 + 1) - 1)/(√(x^2 + 1) + 1)| + C なのですが、
前者で置換すると違う解答しか導けず…そもそもこういう置換はできないのかと思ったのですが