>>745
x=sinh(t)とおくと、t=log{x+√(x^2+1)}で、
∫sinh^2(t)dt=