derivative cot^-1 x