Messed up on the inverse of $\cosh(x)$ but I don't know where I went wrong If someone can tell me where I went wrong, that would be extremely appreciated :)

The function $f:[0,\infty)\mapsto[1,\infty)$ defined by $f(x)=\cosh x$ is bijective. Find a formula for $f^{-1}.$

If $y=\cosh x$, then
\begin{align}
& y = \frac{1}{2}\left(e^x+e^{-x}\right) \\[5pt]
\implies & 2y = e^x+e^{-x} \\[5pt]
\implies & 2ye^x = e^x(e^x+e^{-x}) \\[5pt]
\implies & 2ye^x = e^{2x} + e^0 \\[5pt]
\implies & 2ye^x = e^{2x}+1 \\[5pt]
\implies & -e^{2x}+2ye^x - 1 = 0 \\[5pt]
\implies & e^x = \frac{-2y \pm \sqrt{4y^2-4(-1 \times -1)}}{-2} \\[5pt]
\implies & e^x = y + \sqrt{-2y+2} \text{ as $e^x>0$} \\[5pt]
\implies & x = \ln(y+\sqrt{-2y+2}) \\[5pt]
\implies & \cosh^{-1}x = \ln(y+\sqrt{-2y+2})
\end{align}

We have
\begin{align}
e^x &= \frac{-2y\pm\sqrt{(2y)^2-4}}{-2} \\[5pt]
&= \color{red}{y\pm\frac{\sqrt{4y^2-4}}{-2}} \\[5pt]
&= y\pm\frac{\sqrt{4}\sqrt{y^2-1}}{-2} \\[5pt]
&= y\pm \frac{2\sqrt{y^2-1}}{-2} \\[5pt]
&= y \mp\sqrt{y^2-1} \, .
\end{align}
Since $x$ is nonnegative, we know that $e^x \geq 1$. Hence, $y\mp\sqrt{y^2-1} \geq 1$. Notice that it has to be greater than or equal to $1$, not $0$ as you wrote in your question. Since $0<y-\sqrt{y^2-1}\leq 1$ for $y\geq1$, the negative branch doesn't work. Hence, $e^x=y\color{red}{+}\sqrt{y^2-1}$, and the result follows.
