9.3.3.6 Definite Integrals

3) Problem: Calculate the definite integral: \[ \int_{1}^{e^{\pi / 2}} \cos \ln x d x \]