How do you verify (1+cosx)/(1-cosx) - (1-cosx)/(1+cosx)=4cotxcscx?