Efficient Reasoning with Hidden Thinking