I poorly chose my examples. There is a finite number of rules so for each step there is a finite number of possibilities. For integers for instance, the rule

I poorly chose my examples. There is a finite number of rules so for each step there is a finite number of possibilities. For integers for instance, the rule is in their definition, and there is only one. 2 is 1+1, 5 is 4+1 and so on. > are easily simplified back to the original one (or close to it). Not really. The counter-example being expansion of factors.