sin(pi/6)/(sin(5pi/12)/tan(pi/4)-cos(5pi/12)cos(pi/6))