cos(x)sin(2π/3 + x) - √3cos(x)^2 = sin(x) cos(x - π/6)​