cos(pi/12)-sqrt(2+sqrt(3))/2