cos(7pi/12)