∫[0→1]√(x^2+1)dx
＝√2/2＋{log(1+√2)}/2であってますか？
x={e^t-e^(-t)}/2で置換しました。
後、x=tantとおいた場合には被積分関数が1/cos^3tになるんですが、
これの原始関数の一つを教えてください。