What is the derivative of arctan(1/x)?