求函数y=2^x/(2^x+2^-x)的反函数的解析式和定义域