simpl_natarith: optimization