sin(7 pi/12)