結果 : derivative formulas for inverse hyperbolic functions