What is the derivative of x^(7x)x7x?