integrate sqrt(cos x)