2cos(x) = cos(2x)