Error

Target

Derivation

1. Initial program 0.4

   \[\left(\left(\left(e + d\right) + c\right) + b\right) + a\]
2. Using strategy rm

3. Applied flip-+0.5

   \[\leadsto \color{blue}{\frac{\left(\left(e + d\right) + c\right) \cdot \left(\left(e + d\right) + c\right) - b \cdot b}{\left(\left(e + d\right) + c\right) - b}} + a\]
4. Using strategy rm

5. Applied *-un-lft-identity0.5

   \[\leadsto \frac{\left(\left(e + d\right) + c\right) \cdot \left(\left(e + d\right) + c\right) - b \cdot b}{\color{blue}{1 \cdot \left(\left(\left(e + d\right) + c\right) - b\right)}} + a\]

6. Applied *-un-lft-identity0.5

   \[\leadsto \frac{\color{blue}{1 \cdot \left(\left(\left(e + d\right) + c\right) \cdot \left(\left(e + d\right) + c\right) - b \cdot b\right)}}{1 \cdot \left(\left(\left(e + d\right) + c\right) - b\right)} + a\]

7. Applied times-frac0.5

   \[\leadsto \color{blue}{\frac{1}{1} \cdot \frac{\left(\left(e + d\right) + c\right) \cdot \left(\left(e + d\right) + c\right) - b \cdot b}{\left(\left(e + d\right) + c\right) - b}} + a\]

8. Applied simplify0.5

   \[\leadsto \color{blue}{1} \cdot \frac{\left(\left(e + d\right) + c\right) \cdot \left(\left(e + d\right) + c\right) - b \cdot b}{\left(\left(e + d\right) + c\right) - b} + a\]

9. Applied simplify0.3

   \[\leadsto 1 \cdot \color{blue}{\frac{\left(b + e\right) + \left(c + d\right)}{1}} + a\]

Runtime

Time bar (total: 39.1s)Debug logProfile

herbie shell --seed '#(1070100504 930361288 1279167582 284574201 1450237281 2578255382)' 
(FPCore (a b c d e)
  :name "Expression 1, p15"
  :pre (<= 1 a 2 b 4 c 8 d 16 e 32)

  :herbie-target
  (+ (+ d (+ c (+ a b))) e)

  (+ (+ (+ (+ e d) c) b) a))