Sederhanakan sin x cot x