test_arith_canonical_simplify.py 10.5 KB