cos(2*pi/7)