cos(pi/12)