test_arith_canonical_simplify.py 6.38 KB