Error

Target

Derivation

1. Initial program 44.9

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

3. Applied add-cbrt-cube44.9

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

4. Applied simplify44.8

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

6. Applied associate--r+30.9

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

7. Taylor expanded around 0 30.9

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

8. Applied simplify34.2

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

10. Applied associate--r+13.0

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

Runtime

Time bar (total: 1.0m)Debug logProfile

herbie shell --seed 2018296 
(FPCore (x y z)
  :name "simple fma test"

  :herbie-target
  -1

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