Arclength de la curva de $y= \ln( \sec x)$ $ 0 \le x \le \pi/4$
Sé que tengo que encontrar su derivado que es fácil, es $\tan x$
Luego la pongo en la fórmula arclength
$$\int \sqrt {1 - \tan^2 x}$$
Desde aquí no sé qué hacer, lo puse en wolfram y consiguió buscando algo masivo. Sé que no puedo utilizar la substitución de la u y estoy bastante seguro de que tengo que algebraicly manipular esto antes de que puedo seguir pero no sé cómo.