\displaystyle \int \limits_0^a \sqrt{1 + ((\ln \cos x)')^2} \, dx = \int \limits_0^a \sqrt{1 + (-\tan x)^2} \, dx = \int \limits_0^a \frac{dx}{\cos x}