Find y' for y = ln (2+e^-x+ sqrt(e^x+e^-x+4))
Find $y'$ for $y = \ln\!\left(2+e^{-x}+\sqrt{e^{x}+e^{-x}+4}\right)$.
Explanation of Method
A nested radical inside a logarithm, left as a single fraction.
Step 1: Introduce a shorthand
Let $s = \sqrt{e^{x}+e^{-x}+4}$, so that by the chain rule
\[ s' = \frac{e^{x}-e^{-x}}{2\sqrt{e^{x}+e^{-x}+4}} = \frac{e^{x}-e^{-x}}{2s}, \]
and set $u = 2+e^{-x}+s$, the argument of the logarithm.
Step 2: Differentiate the inner function
\[ u' = -e^{-x} + \frac{e^{x}-e^{-x}}{2s}. \]
Step 3: Form $y' = \dfrac{u'}{u}$ and clear the inner fraction
Multiplying numerator and denominator by $2s$: \[y' = \frac{-e^{-x} + \dfrac{e^{x}-e^{-x}}{2s}}{2+e^{-x}+s} = \frac{-2s\,e^{-x} + e^{x} - e^{-x}}{2s\bigl(2+e^{-x}+s\bigr)}.\]
Step 4: Group the numerator
Both negative terms carry the factor $e^{-x}$: $-2s\,e^{-x} + e^{x} - e^{-x} = e^{x} - e^{-x}\bigl(2s+1\bigr)$.
Step 5: Verification
\[x = 1:\quad e+e^{-1}+4 \approx 7.08616,\ s \approx 2.66199,\ u \approx 5.02986\]
\[y' \approx \frac{2.71828 - 0.36788(5.32398+1)}{2(2.66199)(5.02978)} \approx \frac{0.39182}{26.77884} \approx 0.014632\]
\[\frac{y(1+10^{-5})-y(1-10^{-5})}{2\times 10^{-5}} \approx 0.014632 \;\;\checkmark\]
Step 6: Why it does not simplify further
One might hope the radicand factors as in Problem 128, where $e^{x}+e^{-x}+2 = \bigl(e^{x/2}+e^{-x/2}\bigr)^{2}$. With $+4$ in place of $+2$ that fails: writing $t = e^{x/2}$,
\[ e^{x}+e^{-x}+4 = t^{2}+\frac{1}{t^{2}}+4 = \left(t+\frac1t\right)^{2}+2, \]
which is not a perfect square. So the answer is left as the single fraction above.
Result
Final answer:
\[\boxed{\,y' = \frac{e^{x} - e^{-x}\!\left(2\sqrt{e^{x}+e^{-x}+4}+1\right)}{2\sqrt{e^{x}+e^{-x}+4}\,\left(2+e^{-x}+\sqrt{e^{x}+e^{-x}+4}\right)}\,}\]
Remark
Remark. The radicand $e^{x}+e^{-x}+4 = 2\cosh x + 4 \geq 6$ is bounded below, so $s \geq \sqrt6$ and the logarithm's argument is always positive: the function is defined on all of $\mathbb{R}$. The single zero of $y'$ is where $e^{x} = e^{-x}(2s+1)$.