Verify
(2cos2x)/(sin2x) =cotx - tanx
(2cos2x)/(sin2x) =cotx - tanx