integrate sqrt(1-cos(x))