Figure 3.5.2. Using Solver on a simple function
in-context