6-6-4 积分与Sympy模块