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