test_arith_simplify.py 2.65 KB