What function is the inverse of the exponential function y = 4x?