https://camera-optical-zoom.blogspot.com/2022/08/simplifying-equations-with-python-z3-api.html