cos 2x = 1 - 2 * sin^2 x, а sin x меняется на эквивалентное.