https://mingredbestcheapprice.blogspot.com/2024/03/simplifying-equations-with-python-z3-api.html