E cot x derivative