Mark M. answered 09/02/19
Retired Math prof with teaching and tutoring experience in trig.
tan(π/2 - x) = sin(π/2 - x) / cos(π/2 - x)
= [sin(π/2)cosx - cos(π/2)sinx] / [cos(π/2)cosx + sin(π/2)sinx] = cosx / sinx = cotx
So, 1 / cot2x - tanx tan(π/2 - x) = tan2x - tanx(cotx) = tan2x - 1