cos (2^1/2pi/12)