- Split input into 2 regimes
if k < 7.968164609783042e+126
Initial program 0.1
\[\frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}\]
Initial simplification0.1
\[\leadsto \frac{{k}^{m} \cdot a}{(k \cdot \left(k + 10\right) + 1)_*}\]
if 7.968164609783042e+126 < k
Initial program 8.0
\[\frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}\]
Initial simplification8.0
\[\leadsto \frac{{k}^{m} \cdot a}{(k \cdot \left(k + 10\right) + 1)_*}\]
- Using strategy
rm Applied div-inv8.0
\[\leadsto \color{blue}{\left({k}^{m} \cdot a\right) \cdot \frac{1}{(k \cdot \left(k + 10\right) + 1)_*}}\]
Taylor expanded around -inf 63.0
\[\leadsto \color{blue}{\left(99 \cdot \frac{a \cdot e^{m \cdot \left(\log -1 - \log \left(\frac{-1}{k}\right)\right)}}{{k}^{4}} + \frac{a \cdot e^{m \cdot \left(\log -1 - \log \left(\frac{-1}{k}\right)\right)}}{{k}^{2}}\right) - 10 \cdot \frac{a \cdot e^{m \cdot \left(\log -1 - \log \left(\frac{-1}{k}\right)\right)}}{{k}^{3}}}\]
Simplified0.7
\[\leadsto \color{blue}{(\left(\frac{{\left(e^{m}\right)}^{\left(\log k\right)}}{\frac{{k}^{4}}{a}}\right) \cdot 99 + \left((\left(\frac{-10}{k}\right) \cdot \left(\frac{{\left(e^{m}\right)}^{\left(\log k\right)}}{\frac{k}{\frac{a}{k}}}\right) + \left(\frac{{\left(e^{m}\right)}^{\left(\log k\right)}}{\frac{k}{\frac{a}{k}}}\right))_*\right))_*}\]
- Recombined 2 regimes into one program.
Final simplification0.2
\[\leadsto \begin{array}{l}
\mathbf{if}\;k \le 7.968164609783042 \cdot 10^{+126}:\\
\;\;\;\;\frac{{k}^{m} \cdot a}{(k \cdot \left(k + 10\right) + 1)_*}\\
\mathbf{else}:\\
\;\;\;\;(\left(\frac{{\left(e^{m}\right)}^{\left(\log k\right)}}{\frac{{k}^{4}}{a}}\right) \cdot 99 + \left((\left(\frac{-10}{k}\right) \cdot \left(\frac{{\left(e^{m}\right)}^{\left(\log k\right)}}{\frac{k}{\frac{a}{k}}}\right) + \left(\frac{{\left(e^{m}\right)}^{\left(\log k\right)}}{\frac{k}{\frac{a}{k}}}\right))_*\right))_*\\
\end{array}\]