Number substitution and simplification