integrate(sqrt(2-2cos(t)) * cos(atan(-(1-cos(t))/sin(t))-3*pi/2+t),dt)