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