test_arith_canonical_simplify.py 7.69 KB