Symbolische Suche kann nur einfache Formeln finden