Simplification Normalization Order

[65001]

Ideally an equation like (x^4) + (x^6) + (x^2) + (x^5) + x + (x^3) should be automatically
reordered so that it looks like x^6 + x^5 + x^4 + x^3 + x^2 + x.

[65001]

A way to do this might be to add internal operators such as ** or +++ to represent multiplication and addition respectively that can hold nearly infinite nodes as children. Then we can simplify across all the children assuming we configure everything properly.