test_arith_simplify.py 3.65 KB