Error

Target

Derivation

1. Initial program 45.4

   \[(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)\]
2. Using strategy rm

3. Applied add-cube-cbrt45.4

   \[\leadsto \color{blue}{\left(\sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)} \cdot \sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)}\right) \cdot \sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)}}\]

4. Taylor expanded around 0 45.4

   \[\leadsto \left(\sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)} \cdot \sqrt[3]{\color{blue}{(x \cdot y + z)_* - \left(z + \left(1 + y \cdot x\right)\right)}}\right) \cdot \sqrt[3]{(x \cdot y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)}\]

5. Applied simplify31.1

   \[\leadsto \color{blue}{\left((x \cdot y + z)_* - z\right) - \left(1 + x \cdot y\right)}\]
6. Using strategy rm

7. Applied add-cube-cbrt31.1

   \[\leadsto \color{blue}{\left(\sqrt[3]{\left((x \cdot y + z)_* - z\right) - \left(1 + x \cdot y\right)} \cdot \sqrt[3]{\left((x \cdot y + z)_* - z\right) - \left(1 + x \cdot y\right)}\right) \cdot \sqrt[3]{\left((x \cdot y + z)_* - z\right) - \left(1 + x \cdot y\right)}}\]
8. Removed slow pow expressions.

9. Applied simplify45.4

   \[\leadsto \color{blue}{(x \cdot y + z)_* - \left(\left(z + 1\right) + x \cdot y\right)}\]

Runtime

Time bar (total: 1.2m)Debug log

herbie shell --seed '#(3622638036 3041702260 3649696288 21285302 1742518495 296600799)' 
(FPCore (x y z)
  :name "simple fma test"

  :herbie-target
  -1

  (- (fma x y z) (+ 1 (+ (* x y) z))))