@@ -10,3 +10,5 @@
>>> a2b3 + a2b3
a ^ 2 * b ^ 3 + a ^ 2 * b ^ 3
+
+ - 2 + 3 + 4 rewrites to 5 instead of 5 + 4
Taddeus Kroes