cos(2pi/7)