How to simplify sin x cot x?