ctg45=1
tg30=sqrt(3)/3
sqrt(x*(1-sqrt(3))-x^2+sqrt(3))
x*(1-sqrt(3))-x^2+sqrt(3)>=0
-x*(1-sqrt(3))+x^2-sqrt(3)<=0
x=((1-sqrt(3))+-(1+sqrt(3)))/2
x1=1
x2=-sqrt(3)
[-sqrt(3);1]
ctg45=1
tg30=sqrt(3)/3
sqrt(x*(1-sqrt(3))-x^2+sqrt(3))
x*(1-sqrt(3))-x^2+sqrt(3)>=0
-x*(1-sqrt(3))+x^2-sqrt(3)<=0
x=((1-sqrt(3))+-(1+sqrt(3)))/2
x1=1
x2=-sqrt(3)
[-sqrt(3);1]