symbolic_search
