D dx of cot x