Applications of Integration · Hard problem

Find the exact arc length of $y=\ln(\cos x)$ from $x=0$ to $x=\dfrac{\pi}{4}$.