Simplify cot x sin x