sympyで双曲線関数の指数表現を簡略化する

Question

式のいくつかの指数関数をcoshとsinhに書き直そうとしています。 rewrite（）関数は、双曲線関数からその指数表現になるように機能します。しかし、それは戻ってくることはできません。

>>> import sympy 
>>> x=sympy.Symbol('x') 
>>> sympy.cosh(x).rewrite(sympy.exp) 
exp(x)/2 + exp(-x)/2 
>>> sympy.cosh(x).rewrite(sympy.exp).rewrite(sympy.cosh) 
exp(x)/2 + exp(-x)/2 

私は最後のコマンドの結果が 'cosh（x）'であると思います。誰かがなぜ私に説明してくれないのですか？ 私はrewrite（）関数についていくつかのドキュメントを見つけようとしましたが、私が見つけた唯一のビットはhttp://docs.sympy.org/latest/tutorial/simplification.htmlの短いセクションでした。

Answer 1

.rewrite(sympy.cos)を入力すると、希望通りにcosh(x)が返されます。明らかに、双曲線余弦は、通常のものの変形としてrewriteによって処理される。

ここにはreference on rewrite methodがあります。

また、simplify(expr)はexp(x)/2 + exp(-x)/2をcosh(x)に変換します。