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