若函数Y=1+2^x,则它的反函数是