What's the derivative of arctan(x)+arctan(1/x)?