删除（几乎）重复的解决方案

Question

我最近制作了一个24游戏求解器（它生活here），但我得到的一些解决方案基本相同：

我需要一种方法来删除这些重复的表达式。这就是“相同”：

• 交换财产 - a+b = b+a，a*b = b*a
• 关联财产 - (a+b)+c = a+(b+c) = (a+c)+b，(a*b)*c = a*(b*c) = (a*c)*b
• 双重否定 - a-(b-c) = a-b+c，a/(b/c) = a/b*c

任何人都可以提出算法来做这个或者一个例子吗？