What is the derivative of 4^x4x?