如何使 sympy 简化表达式 llike (a**2 - 4*b)*sqrt(1/(a**2 - 4*b))

how to make sympy simplify expressions llike (a**2 - 4*b)*sqrt(1/(a**2 - 4*b))

从其他 sympy 代码中,我获得了如下表达式:

u = (a**2*sqrt(1/(a**2 - 4*b)) - a - 4*b*sqrt(1/(a**2 - 4*b)))/(2*(a**2 - 
4*b)*sqrt(1/(a**2 - 4*b)))

其中 a 和 b 是 sympy 符号。我试过了

u = u.simplify(), u = u.expand() and u = simplify(str(u)),

无济于事,代码不变。我怎样才能得到这些表达式的简化?

我只是在这里尝试手动简化,并附上一些注释。

提示是子表达式 a**2 - 4*b 出现了 4 次。我不确定如何将其扩展为更通用的方法。

from IPython.display import Math, display
from sympy import *

init_printing()
a,b,D=symbols('a b \Delta')

u = (a**2*sqrt(1/(a**2 - 4*b)) - a - 4*b*sqrt(1/(a**2 - 4*b)))/(2*(a**2 - 4*b)*sqrt(1/(a**2 - 4*b)))

D_ = a**2 - 4*b

r = []

r.append(latex(u))
u = u.subs(D_,D)
r.append(latex(u))
u = u.subs(2*D_, 2*D)
r.append(latex(u))
u = collect(u, 1/D)
r.append(latex(u))
u = u.subs(D_,D)
r.append(latex(u))
u = u.expand()
r.append(latex(u))
u = u.subs(D,D_)
r.append(latex(u))

display(Math(" \Longrightarrow ".join(r)))

输出: