How do you verify #tan(x) / (1-cos(x))= csc(x)(1+sec(x))#?