integrate sqrt(2-2cost) dt