2sin(П/6 - a) - cos a + sqrt{3}*sin a
2*(1/2*cosa-sina*sqrt{3}/2)-cosa+sqrt{3}sina = 2cosa-sqrt{3}sina-cosa+sqrt{3}sina= cos a