式の簡約化