Cot x derivative formula