How Much Thinking is Enough? Quantifying and Understanding Redundancy in LLM Reasoning | AIChainDay