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

c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/logtk