(2tan(pi/12))/(1-tan(pi/12))