Exercise 4

Find the length of the curve. \(\mathbf{r}(t) = \cos t \mathbf{i} + \sin t \mathbf{j} + \ln(\cos t)\mathbf{k}, 0 \le t \le \pi/4\)