test_arith_canonical_simplify.py 5.61 KB