test_arith_canonical_simplify.py 8.43 KB