求cos(sinx)在0到π/2上的积分