The formula for the length of a polar curve is∫r2+(dr/dθ)2 from a to b.
In this case, dr/dθ is the derivative of the function r which is equal to -cos (theta/2) * sin (theta/2) which is equal to -1/2 cos theta. Since there are no limits defined, we leave the formula as it is but one can use the calculator if there are limits present already