9.4.10 Curvilinear integrals

T Problem: Calculate the arc length of the curve given in Cartesian coordinates: \[ x=\ln \cos y, \quad 0 \leq y \leq \frac{\pi}{3} . \]