How do you verify tan(x/2) - cot (x/2) = -2 cot x?