Details

Time bar (total: 1.4s)

sample21.0ms

Algorithm
intervals
Results
10.0ms323×body80valid

simplify94.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (4.0ms)

IterNodesCost
0226
1506
21244
32804
45344
58694
613974
735214
850014

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma 0.75 y (- x z))
0.3b
(fma (/ 4.0 y) (fma 0.75 y (- x z)) 1.0)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×fma-udef
Counts
2 → 2
Calls
2 calls:
1.0ms
(fma 0.75 y (- x z))
1.0ms
(fma (/ 4.0 y) (fma 0.75 y (- x z)) 1.0)

series71.0ms

Counts
2 → 6
Calls
2 calls:
22.0ms
(fma 0.75 y (- x z))
49.0ms
(fma (/ 4.0 y) (fma 0.75 y (- x z)) 1.0)

simplify49.0ms

Algorithm
egg-herbie
Counts
8 → 8
Iterations

Useful iterations: 4 (14.0ms)

IterNodesCost
04132
19826
221026
340423
465120
5150220
6500120

prune11.0ms

Filtered
8 candidates to 3 candidates (37.5%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New718
Fresh011
Picked101
Done000
Total8210

Merged error: 0.0b

Counts
10 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b
(fma (/ 4.0 y) (- x z) 4.0)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×fma-udef
Counts
1 → 1
Calls
1 calls:
1.0ms
(fma (/ 4.0 y) (- x z) 4.0)

series31.0ms

Counts
1 → 3
Calls
1 calls:
31.0ms
(fma (/ 4.0 y) (- x z) 4.0)

simplify73.0ms

Algorithm
egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 3 (7.0ms)

IterNodesCost
03021
17518
213118
321912
431112
570812
6176612
7365912
8500212

prune4.0ms

Filtered
4 candidates to 1 candidates (25.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New404
Fresh011
Picked011
Done000
Total426

Merged error: 0.0b

Counts
6 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
0.0b
(+ x (* y 0.75))
0.3b
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative flip3-+ associate-*r/ flip-+ associate-/l/ associate-/l*
1×flip3-- frac-2neg clear-num *-commutative flip-- div-inv
Counts
3 → 13
Calls
3 calls:
4.0ms
(+ 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
3.0ms
(+ x (* y 0.75))
7.0ms
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)

series87.0ms

Counts
3 → 9
Calls
3 calls:
25.0ms
(+ 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
26.0ms
(+ x (* y 0.75))
36.0ms
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)

simplify50.0ms

Algorithm
egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 3 (47.0ms)

IterNodesCost
0185131
1587117
22042114
35001103

prune50.0ms

Filtered
22 candidates to 16 candidates (72.7%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New21122
Fresh000
Picked011
Done011
Total21324

Merged error: 0b

Counts
24 → 3

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ x y) (/ z y))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×frac-sub
8×frac-2neg
6×clear-num
5×div-inv
2×sub-div
1×sub-neg flip3-- distribute-rgt-out-- fma-neg prod-diff flip--
Counts
1 → 18
Calls
1 calls:
5.0ms
(- (/ x y) (/ z y))

series24.0ms

Counts
1 → 3
Calls
1 calls:
24.0ms
(- (/ x y) (/ z y))

simplify78.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 3 (75.0ms)

IterNodesCost
0188118
167398
2282590
3500189

prune37.0ms

Filtered
21 candidates to 15 candidates (71.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New21021
Fresh000
Picked011
Done022
Total21324

Merged error: 0b

Counts
24 → 3

regimes76.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084

end0.0ms

sample543.0ms

Algorithm
intervals
Results
321.0ms10085×body80valid