more powerful arith evaluation, with AC-renormalization and distributivity of product