sin(4pi/12 - 3pi/12)