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