integral sqrt(1 + cos^2 x)