cos(3pi/7)