(2cos2x)/sin2x=cotx-tanx
[ 2(cos^2x - sin^2x)] / [2sinxcosx] =
cos^2x / [ sinx cosx ] - sin^2x / [ sinx cosx] =
cosx / sinx - sinx / cosx =
cotx - tanx
