integrate sqrt(1-cos(t))