cos(11*pi/12)