计算 y = cos x 和 x 轴在 [0, pi] 上的面积。