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