Error

Target

Derivation

1. Initial program 45.1

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

3. Applied add-cbrt-cube45.1

   \[\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 simplify45.0

   \[\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 add-log-exp46.0

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

7. Applied add-log-exp46.2

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

8. Applied diff-log46.2

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

9. Applied simplify34.0

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

11. Applied associate--r+13.5

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

Runtime

Time bar (total: 50.3s)Debug logProfile

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

  :herbie-target
  -1

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