1. cos^2x = sin^2x + 1/2
2. 2cos( π/2 - x) * sin (π/2 + x) - 1 = 0
3. 8sin x/2 * cos x/3 * cosx * cos2x = 1
4. 1 + cosx = cos x/2