This merges symbolic terms as much as it can to simplify expressions. Simplifications are finitely equivalent; i.e., any calculation with finite inputs should result in the equivalent finite input.