https://fairytalefashionheadband.blogspot.com/2024/04/simplifying-equations-with-python-z3-api.html