Evaluate $\int_0^{\frac{\pi}{2}} \frac{\cos x}{1 + \sin x}\,dx$.

Explanation

1. 01

   The top is the derivative of the bottom, so an antiderivative is $\log(1 + \sin x)$.

2. 02

   $\log 2 - \log 1 = \log 2$.