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