How do you differentiate y = e^9 ln x?