derivative cos(cot(sqrt(1+x^2)))