tested up to ewise evaluation
mat_arith tested under new framework