integral of [sqrt(cos 2x)]/cos x