integral of sqrt(1-sin(t)) over t from 0 to 2*pi