2xcos^2(x) = 4-4x