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

如何解决如何使 sympy 简化表达式 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 是符号。我试过了

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)))

输出：