sqrt(8)+4+4*sin(pi/12)