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