cos(2pi/17)