Recursive Tree Search Example

Goal: Solve for X given (= Y (+ (* M X) B))