Reinforced Efficient Reasoning via Semantically Diverse Exploration