\[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]

↓

\[\begin{array}{l} \mathbf{if}\;x \le 0.9959105341518036:\\ \;\;\;\;\left(\left({\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - 1\right) - \frac{\log x \cdot \frac{\frac{1}{2}}{n}}{\frac{n}{\log x}}\right) - \frac{\log x}{n}\\ \mathbf{if}\;x \le 1.461949344627711 \cdot 10^{+137}:\\ \;\;\;\;{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - \left(\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}} \cdot \sqrt[3]{\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \sqrt[3]{\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}}\right)\\ \mathbf{if}\;x \le 1.4268505780422436 \cdot 10^{+221}:\\ \;\;\;\;\left(\frac{\frac{1}{n}}{x} - \frac{\frac{\frac{1}{2}}{n}}{x \cdot x}\right) + \frac{\log x}{\left(n \cdot x\right) \cdot n}\\ \mathbf{else}:\\ \;\;\;\;{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - \log \left(e^{{x}^{\left(\frac{1}{n}\right)}}\right)\\ \end{array}\]

Derivation

Split input into 4 regimes
if x < 0.9959105341518036
1. Initial program 46.7
  \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
2. Taylor expanded around inf 60.0
  \[\leadsto {\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - \color{blue}{\left(\left(\frac{1}{2} \cdot \frac{{\left(\log \left(\frac{1}{x}\right)\right)}^{2}}{{n}^{2}} + 1\right) - \frac{\log \left(\frac{1}{x}\right)}{n}\right)}\]
3. Applied simplify15.1
  \[\leadsto \color{blue}{\left(\left({\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - 1\right) - \frac{\log x \cdot \frac{\frac{1}{2}}{n}}{\frac{n}{\log x}}\right) - \frac{\log x}{n}}\]
if 0.9959105341518036 < x < 1.461949344627711e+137
1. Initial program 31.0
  \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
2. Using strategy rm
3. Applied add-cube-cbrt31.0
  \[\leadsto {\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - \color{blue}{\left(\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}}\]
4. Using strategy rm
5. Applied add-cube-cbrt31.0
  \[\leadsto {\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - \left(\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}\right) \cdot \color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}} \cdot \sqrt[3]{\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \sqrt[3]{\sqrt[3]{{x}^{\left(\frac{1}{n}\right)}}}\right)}\]
if 1.461949344627711e+137 < x < 1.4268505780422436e+221
1. Initial program 17.4
  \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
2. Taylor expanded around -inf 63.0
  \[\leadsto \color{blue}{\left(\frac{\log -1}{{n}^{2} \cdot x} + \frac{1}{n \cdot x}\right) - \left(\frac{\log \left(\frac{-1}{x}\right)}{{n}^{2} \cdot x} + \frac{1}{2} \cdot \frac{1}{n \cdot {x}^{2}}\right)}\]
3. Applied simplify20.8
  \[\leadsto \color{blue}{\left(\frac{\frac{1}{n}}{x} - \frac{\frac{\frac{1}{2}}{n}}{x \cdot x}\right) + \frac{\log x}{\left(n \cdot x\right) \cdot n}}\]
if 1.4268505780422436e+221 < x
1. Initial program 6.4
  \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
2. Using strategy rm
3. Applied add-log-exp6.6
  \[\leadsto {\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - \color{blue}{\log \left(e^{{x}^{\left(\frac{1}{n}\right)}}\right)}\]
Recombined 4 regimes into one program.

Error

Try it out

Derivation

`if x < 0.9959105341518036`

`if 0.9959105341518036 < x < 1.461949344627711e+137`

`if 1.461949344627711e+137 < x < 1.4268505780422436e+221`

`if 1.4268505780422436e+221 < x`

Runtime

In
Out