cos(8pi/3)