How do you verify #cosx/(1-tanx) + sinx/(1-cotx) = sinx + cosx#?