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