__init__.py
__pycache__/
test_rewrite.py
test_sympy.py
test_unify.py