不返回确切结果的事实是由于Sympy的GeneralSimplify()函数所使用的启发式方法 - 它不能保证其独特的“最简单”形式,只是结果在数学上是等效的(如expr.simplify().
expr.simplify()
correct_simpl.equals(expr))