結果 : identities of hyperbolic functions