sqrt(3)-sqrt(12)*sin(5*Pi/12)^2