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