用凑微分法计算定积分cos^2xdx