cos(pi/9)cos(2pi/9)cos(4pi/9)