Error

Target

Derivation

1. Initial program 45.3

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

3. Applied flip-+45.6

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

5. Applied add-cube-cbrt46.0

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

6. Applied difference-of-squares46.0

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

7. Applied times-frac45.9

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

9. Applied add-cube-cbrt45.9

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

Runtime

Time bar (total: 1.0m)Debug logProfile

herbie shell --seed '#(1064397287 3527694221 3797617954 1138343853 2854031332 1153838279)' 
(FPCore (x y z)
  :name "simple fma test"

  :herbie-target
  -1

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