Error

Target

Derivation

1. Initial program 0.2

   \[\left(d1 \cdot 10 + d1 \cdot d2\right) + d1 \cdot 20\]

2. Applied simplify0.1

   \[\leadsto \color{blue}{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*}\]
3. Using strategy rm

4. Applied add-sqr-sqrt32.0

   \[\leadsto \color{blue}{\sqrt{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*} \cdot \sqrt{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*}}\]
5. Using strategy rm

6. Applied pow132.0

   \[\leadsto \sqrt{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*} \cdot \color{blue}{{\left(\sqrt{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*}\right)}^{1}}\]

7. Applied pow132.0

   \[\leadsto \color{blue}{{\left(\sqrt{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*}\right)}^{1}} \cdot {\left(\sqrt{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*}\right)}^{1}\]

8. Applied pow-prod-down32.0

   \[\leadsto \color{blue}{{\left(\sqrt{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*} \cdot \sqrt{(\left(d2 + 10\right) \cdot d1 + \left(d1 \cdot 20\right))_*}\right)}^{1}}\]

9. Applied simplify0.0

   \[\leadsto {\color{blue}{\left((\left(10 + 20\right) \cdot d1 + \left(d1 \cdot d2\right))_*\right)}}^{1}\]

Runtime

Time bar (total: 17.5s)Debug logProfile

herbie shell --seed '#(1071979731 1496239409 439705970 2863295848 982327776 189749553)' +o rules:numerics
(FPCore (d1 d2)
  :name "FastMath test2"

  :herbie-target
  (* d1 (+ 30 d2))

  (+ (+ (* d1 10) (* d1 d2)) (* d1 20)))