symbolic search is only capable of finding simple formulas