= \frac{1}{2}\int_{0}^{1} \cos t dt