sympy.simplify 不适用于 "tanh^2(x-y) + sech^2(x-y)"

sympy.simplify doesn't work on "tanh^2(x-y) + sech^2(x-y)"

我用sympy (ver1.9).

我通过sympy.simplify()计算以下表达式((1)~(4))。 预计所有这些在分析上都与 1 相同。

但是(4)没有return1,表达式没有简化。

为什么会这样?

尝试重写为exp然后简化:

>>> eq=tanh(x-y)**2 + sech(x-y)**2
>>> eq.rewrite(exp).simplify()
1

或者在化简前用函数将双曲线重写为三角函数,例如与福:

>>> from sympy.simplify.fu import hyper_as_trig
>>> e,f=hyper_as_trig(eq)
>>> f(fu(e))
1

参见 simplify/fu.py.

中的 hyper_as_trig