Error

Try it out

Derivation

1. Initial program 2.2

   \[\frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}\]
2. Using strategy rm

3. Applied *-un-lft-identity2.2

   \[\leadsto \frac{a \cdot {k}^{m}}{\color{blue}{1 \cdot \left(\left(1 + 10 \cdot k\right) + k \cdot k\right)}}\]

4. Applied times-frac2.2

   \[\leadsto \color{blue}{\frac{a}{1} \cdot \frac{{k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}}\]

5. Simplified2.2

   \[\leadsto \color{blue}{a} \cdot \frac{{k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}\]

6. Simplified2.2

   \[\leadsto a \cdot \color{blue}{\frac{{k}^{m}}{1 + k \cdot \left(k + 10\right)}}\]

7. Final simplification2.2

   \[\leadsto \frac{{k}^{m}}{\left(k + 10\right) \cdot k + 1} \cdot a\]

Runtime

Time bar (total: 34.3s)Debug logProfile

herbie shell --seed 2018353 
(FPCore (a k m)
  :name "Falkner and Boettcher, Appendix A"
  (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))))