12.3.2 缩减公式长度