9.3.3.6 Определенные интегралы

условие: Вычислить определенный интеграл: \[ \int_{1}^{e^{\pi / 2}} \cos \ln x d x . \]