形式积分法

formal integration