結果 : definite integral of inverse hyperbolic functions