>>118の名前は知らない。
今考えてて、
2x=(e^(x)-e^(-x))/2
と置けば、幸せになれそうな気がした。