sin (pi/6) + cos (pi/12)