9.4.10 Криволинейные интегралы

Вычислить длину дуги кривой, заданной в декартовых координатах: \[ x=\ln \cos y, \quad 0 \leq y \leq \frac{\pi}{3} \text {. } \]