How do you prove -2cos^2x tan(-x)=sin2x?