cos(2pi/7)*cos(4pi/7)*cos(6pi/7)