y=4^x的反函数是什么?