Initial program 0.8
\[\frac{\tan^{-1}_* \frac{im}{re}}{\log 10}\]
- Using strategy
rm Applied clear-num1.0
\[\leadsto \color{blue}{\frac{1}{\frac{\log 10}{\tan^{-1}_* \frac{im}{re}}}}\]
- Using strategy
rm Applied add-cube-cbrt0.8
\[\leadsto \frac{1}{\color{blue}{\left(\sqrt[3]{\frac{\log 10}{\tan^{-1}_* \frac{im}{re}}} \cdot \sqrt[3]{\frac{\log 10}{\tan^{-1}_* \frac{im}{re}}}\right) \cdot \sqrt[3]{\frac{\log 10}{\tan^{-1}_* \frac{im}{re}}}}}\]
Applied associate-/r*0.7
\[\leadsto \color{blue}{\frac{\frac{1}{\sqrt[3]{\frac{\log 10}{\tan^{-1}_* \frac{im}{re}}} \cdot \sqrt[3]{\frac{\log 10}{\tan^{-1}_* \frac{im}{re}}}}}{\sqrt[3]{\frac{\log 10}{\tan^{-1}_* \frac{im}{re}}}}}\]