cos(2*pi/17)