How do you simplify the expression 1cotx?