函数化简公式