代换化简方程