sin (π/6 − 2x) = cos (x + π/3)