cos(7pi/3)