wyszukiwanie symboliczne jest w stanie znaleźć tylko proste formuły