sat2高次多项式函数