Simplify the right-hand side to (1 - cos(x))/2, then use the formula for cos(2 * x/2).
Okay, I see the identity you quoted. I must have made a mistake somewhere in calculations. After rewriting tan x as sin x / cos x and simplifying I end up with (1-sin x) / 2.