Semantic-guided Search for Efficient Program Repair with Large Language Models