Efficient Reasoning Models: A Survey | Synapse