pi*csc(pi/2)*(2^(1/2-1)*(2-1/2)-1)