Initial program 30.5
\[\left(\left(N + 1\right) \cdot \log \left(N + 1\right) - N \cdot \log N\right) - 1\]
- Using strategy
rm
Applied add-cube-cbrt 30.1
\[\leadsto \left(\left(N + 1\right) \cdot \color{blue}{{\left(\sqrt[3]{\log \left(N + 1\right)}\right)}^3} - N \cdot \log N\right) - 1\]
Applied add-cube-cbrt 30.0
\[\leadsto \left(\color{blue}{{\left(\sqrt[3]{N + 1}\right)}^3} \cdot {\left(\sqrt[3]{\log \left(N + 1\right)}\right)}^3 - N \cdot \log N\right) - 1\]
Applied cube-unprod 30.0
\[\leadsto \left(\color{blue}{{\left(\sqrt[3]{N + 1} \cdot \sqrt[3]{\log \left(N + 1\right)}\right)}^3} - N \cdot \log N\right) - 1\]
- Using strategy
rm
Applied flip-- 29.9
\[\leadsto \color{blue}{\frac{{\left({\left(\sqrt[3]{N + 1} \cdot \sqrt[3]{\log \left(N + 1\right)}\right)}^3\right)}^2 - {\left(N \cdot \log N\right)}^2}{{\left(\sqrt[3]{N + 1} \cdot \sqrt[3]{\log \left(N + 1\right)}\right)}^3 + N \cdot \log N}} - 1\]
Applied simplify 29.9
\[\leadsto \frac{{\left({\left(\sqrt[3]{N + 1} \cdot \sqrt[3]{\log \left(N + 1\right)}\right)}^3\right)}^2 - {\left(N \cdot \log N\right)}^2}{\color{blue}{N \cdot \log N + \left(1 + N\right) \cdot \log \left(1 + N\right)}} - 1\]
- Using strategy
rm
Applied add-exp-log 29.9
\[\leadsto \frac{{\left({\left(\sqrt[3]{N + 1} \cdot \sqrt[3]{\color{blue}{e^{\log \left(\log \left(N + 1\right)\right)}}}\right)}^3\right)}^2 - {\left(N \cdot \log N\right)}^2}{N \cdot \log N + \left(1 + N\right) \cdot \log \left(1 + N\right)} - 1\]
- Removed slow pow expressions
