D dx log cot x is equal