一个式子的化简求过程