(2cos(8*2/9 pi) - 1)(2 cos(4*2/9 pi) - 1)(2 cos(2*2/9 pi) - 1)(2 cos(2/9 pi) - 1)