csc(pi/7) = csc(2pi/7) + csc(3pi/7)