Sympy无法化简可手动轻松简化的分式问题求助

最近在Sympy里碰到个闹心的小问题：我有个简单的分式表达式，手动就能轻松拆分化简，但Sympy就是没法帮我完成这个操作——更让人郁闷的是，它居然还能识别出这两个表达式是完全相等的！

我用的代码如下：

import sympy as sp
a,b,c,d = sp.symbols('a, b, c, d', positive = True)
expr = (a*b*c+2*d*a*c+b*c*d)/(2*a+b)
correct_simpl = c*(d +  a*b/(2*a+b))
display(expr)
display(expr.simplify())
display(correct_simpl)
correct_simpl.equals(expr)

运行这段代码后，expr本身和调用simplify()方法后的结果都还是原始的复杂分式形式，而我手动拆分得到的correct_simpl是更简洁的拆分式，最后一行的equals()方法返回True，说明Sympy明明知道这两个表达式等价，但就是没法自动化简成我想要的样子。

备注：内容来源于stack exchange，提问作者Pancake_stack_with_syrup