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