How do you find the derivative of 5^x log_5 x?