cos(7pi/6)