Cot x derivative proof