test_arith_simplify.py 3.39 KB