TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals