記号探索は単純な式しか見つけられません