test_arith_simplify.py 1.68 KB