D dx cot x is