How do you simplify tan(-x)cotx?