公式化简法

反复应用基本公式和常用公式，消去多余的乘积项和多余的因子。

笔记来源