algebraic_search
