(cosx/secx-1)-(cosx/tan^2x)=cot^2x
cos(x)(sec(x)+1_/((sec(x))^2-1)(1+cos(x))/(tan(x))^2 as (sec(x))^2-1=(tan(x))^2so cos(x)/(sec(x)-1)-(cos(x)/(tan(x)^2)=(1+cos(x)/((tan(x)^2)-(cos(x)/(tan(x))^2)=1/(tan(x))^2=(cot(x))^2