test_arith_canonical_simplify.py 11.2 KB