The Search Tree of the Simple Algebra Problem

Each successive expression is not generated independently, but is produced by modifying one produced previously. The generator incorporates some of the tests the solution must satisfy so that expressions that don't meet these tests will never be generated. So instead of testingo, now brute force, we're really limiting what we generate to only things that get us closer.