- Started with
\[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
46.1
- Applied taylor to get
\[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)} \leadsto \frac{1}{n \cdot x} - \left(\frac{\log x}{{n}^2 \cdot x} + \frac{1}{2} \cdot \frac{1}{n \cdot {x}^2}\right)\]
9.3
- Taylor expanded around inf to get
\[\color{red}{\frac{1}{n \cdot x} - \left(\frac{\log x}{{n}^2 \cdot x} + \frac{1}{2} \cdot \frac{1}{n \cdot {x}^2}\right)} \leadsto \color{blue}{\frac{1}{n \cdot x} - \left(\frac{\log x}{{n}^2 \cdot x} + \frac{1}{2} \cdot \frac{1}{n \cdot {x}^2}\right)}\]
9.3
- Applied taylor to get
\[\frac{1}{n \cdot x} - \left(\frac{\log x}{{n}^2 \cdot x} + \frac{1}{2} \cdot \frac{1}{n \cdot {x}^2}\right) \leadsto \frac{1}{n \cdot x} - \left(\frac{1}{2} \cdot \frac{1}{n \cdot {x}^2} - \frac{\log x}{{n}^2 \cdot x}\right)\]
8.2
- Taylor expanded around inf to get
\[\frac{1}{n \cdot x} - \color{red}{\left(\frac{1}{2} \cdot \frac{1}{n \cdot {x}^2} - \frac{\log x}{{n}^2 \cdot x}\right)} \leadsto \frac{1}{n \cdot x} - \color{blue}{\left(\frac{1}{2} \cdot \frac{1}{n \cdot {x}^2} - \frac{\log x}{{n}^2 \cdot x}\right)}\]
8.2
- Applied simplify to get
\[\frac{1}{n \cdot x} - \left(\frac{1}{2} \cdot \frac{1}{n \cdot {x}^2} - \frac{\log x}{{n}^2 \cdot x}\right) \leadsto \left(\frac{\log x}{\left(n \cdot x\right) \cdot n} + \frac{\frac{1}{n}}{x}\right) - \frac{\frac{1}{2}}{\left(x \cdot x\right) \cdot n}\]
7.6
- Applied final simplification
- Applied simplify to get
\[\color{red}{\left(\frac{\log x}{\left(n \cdot x\right) \cdot n} + \frac{\frac{1}{n}}{x}\right) - \frac{\frac{1}{2}}{\left(x \cdot x\right) \cdot n}} \leadsto \color{blue}{\frac{\log x}{x \cdot \left(n \cdot n\right)} + \left(\frac{1}{n \cdot x} - \frac{\frac{\frac{1}{2}}{n}}{{x}^2}\right)}\]
8.2
- Started with
\[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
2.0
- Using strategy
rm 2.0
- Applied add-exp-log to get
\[\color{red}{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \leadsto \color{blue}{e^{\log \left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)}}\]
2.0
- Using strategy
rm 2.0
- Applied pow1 to get
\[e^{\log \color{red}{\left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)}} \leadsto e^{\log \color{blue}{\left({\left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)}^{1}\right)}}\]
2.0
- Applied log-pow to get
\[e^{\color{red}{\log \left({\left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)}^{1}\right)}} \leadsto e^{\color{blue}{1 \cdot \log \left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)}}\]
2.0
- Applied exp-prod to get
\[\color{red}{e^{1 \cdot \log \left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)}} \leadsto \color{blue}{{\left(e^{1}\right)}^{\left(\log \left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)\right)}}\]
2.0
- Applied simplify to get
\[{\color{red}{\left(e^{1}\right)}}^{\left(\log \left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)\right)} \leadsto {\color{blue}{e}}^{\left(\log \left({\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\right)\right)}\]
2.0