結果 : antiderivative of inverse hyperbolic functions