Es gibt auch noch eine Lösung ohne Substitution:
Schreibfaule Menschen haben für (e^x+e^{-x})/2 = cosh(x)
einen neuen Funktionsnamen ausgedacht, also
e-e^{-x}=e^x-e | +e^{-x}+e
2e = (e^x+e^{-x}) | /2
e = (e^x+e^{-x})/2 = +/- cosh(x) | Umkehrfunktion
x = +/-acosh(e) = +/-log(A188739)
habe mehrere 1000 Stellen ... :-)
Über 20000 Stellen dieses Ergebnisses ergeben diese tolle 3D Landschaft: