>>695
y={10^x - 10^(-x)}/2
2y=10^x-10^(-x)
10^x=Xとおくと、
2y=x-1/x
X^2-2yX-1=0
X=y±√(y^2+1)
10^x=y±√(y^2+1)
10^x>0,y-√(y^2+1)<0なので
10^x=y+√(y^2+1)
x=log[10]{y+√(y^2+1)}