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