【2019年整理】实验2符号运算求解微积