How do you verify (cos2x-1)/(sin2x) = -tanx?