\(\left(\left(\left({N}^2 - 1\right) \cdot \log \left(N + 1\right)\right) \cdot \frac{1}{N - 1} - {\left(\sqrt[3]{N \cdot \log N}\right)}^3\right) - 1\)
- Started with
\[\left(\left(N + 1\right) \cdot \log \left(N + 1\right) - N \cdot \log N\right) - 1\]
31.0
- Using strategy
rm 31.0
- Applied flip-+ to get
\[\left(\color{red}{\left(N + 1\right)} \cdot \log \left(N + 1\right) - N \cdot \log N\right) - 1 \leadsto \left(\color{blue}{\frac{{N}^2 - {1}^2}{N - 1}} \cdot \log \left(N + 1\right) - N \cdot \log N\right) - 1\]
30.1
- Applied associate-*l/ to get
\[\left(\color{red}{\frac{{N}^2 - {1}^2}{N - 1} \cdot \log \left(N + 1\right)} - N \cdot \log N\right) - 1 \leadsto \left(\color{blue}{\frac{\left({N}^2 - {1}^2\right) \cdot \log \left(N + 1\right)}{N - 1}} - N \cdot \log N\right) - 1\]
29.9
- Applied simplify to get
\[\left(\frac{\color{red}{\left({N}^2 - {1}^2\right) \cdot \log \left(N + 1\right)}}{N - 1} - N \cdot \log N\right) - 1 \leadsto \left(\frac{\color{blue}{\left({N}^2 - 1\right) \cdot \log \left(N + 1\right)}}{N - 1} - N \cdot \log N\right) - 1\]
29.9
- Using strategy
rm 29.9
- Applied add-cube-cbrt to get
\[\left(\frac{\left({N}^2 - 1\right) \cdot \log \left(N + 1\right)}{N - 1} - \color{red}{N \cdot \log N}\right) - 1 \leadsto \left(\frac{\left({N}^2 - 1\right) \cdot \log \left(N + 1\right)}{N - 1} - \color{blue}{{\left(\sqrt[3]{N \cdot \log N}\right)}^3}\right) - 1\]
29.9
- Using strategy
rm 29.9
- Applied div-inv to get
\[\left(\color{red}{\frac{\left({N}^2 - 1\right) \cdot \log \left(N + 1\right)}{N - 1}} - {\left(\sqrt[3]{N \cdot \log N}\right)}^3\right) - 1 \leadsto \left(\color{blue}{\left(\left({N}^2 - 1\right) \cdot \log \left(N + 1\right)\right) \cdot \frac{1}{N - 1}} - {\left(\sqrt[3]{N \cdot \log N}\right)}^3\right) - 1\]
29.9
- Removed slow pow expressions
