三角函数有理式的积分