Oprava, oni ekvivalenci predefinovali, defaultni chovani by bylo porovnani identity objektu. Sympy porovnava konkretni tvar vyrazu pred zjednodusenim.
https://docs.sympy.org/dev/tutorial/gotchas.html#equals-signs
Neni nic jednodussiho nez prepsat sp.Expr.__eq__ na porovnani zjednodusenych vyrazu, pripadne by to mohlo vracet reseni rovnice.