Details

Time bar (total: 1.9s)

sample22.0ms

Algorithm
intervals
Results
10.0ms278×body80valid

simplify86.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 6 (24.0ms)

IterNodesCost
0256
1586
21106
31986
44116
58636
612295
716985
823045
925085
1025105
1125105

prune8.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: 1.4b

Counts
2 → 2

localize14.0ms

Local error

Found 1 expressions with local error:

1.4b
(fma (/ a (+ (- t z) 1.0)) (- z y) x)

rewrite1.0ms

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

series159.0ms

Counts
1 → 3
Calls
1 calls:
159.0ms
(fma (/ a (+ (- t z) 1.0)) (- z y) x)

simplify48.0ms

Algorithm
egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 4 (46.0ms)

IterNodesCost
06127
118725
250822
3145022
4500118

prune18.0ms

Filtered
4 candidates to 3 candidates (75.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New314
Fresh011
Picked011
Done000
Total336

Merged error: 1.0b

Counts
6 → 3

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ (- t z) 1.0) a)
9.0b
(/ (- y z) (/ (+ (- t z) 1.0) a))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-/l/
5×associate-/r/
3×frac-2neg clear-num div-inv
2×flip3-+ div-sub flip-+
1×associate-+l- flip3-- associate-/r* flip--
Counts
2 → 18
Calls
2 calls:
5.0ms
(/ (+ (- t z) 1.0) a)
6.0ms
(/ (- y z) (/ (+ (- t z) 1.0) a))

series172.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(/ (+ (- t z) 1.0) a)
133.0ms
(/ (- y z) (/ (+ (- t z) 1.0) a))

simplify57.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0185111
1521105
2223496
3500396

prune71.0ms

Filtered
24 candidates to 19 candidates (79.2%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New21324
Fresh101
Picked011
Done011
Total22527

Merged error: 0.0b

Counts
27 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- y z) (+ (- t z) 1.0))
0.8b
(* (/ (- y z) (+ (- t z) 1.0)) a)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
5×associate-*l/
4×associate-/r/ associate-/l/
3×associate-*l*
2×flip3-- frac-2neg flip3-+ clear-num flip-- flip-+ div-inv
1×div-sub *-commutative
Counts
2 → 17
Calls
2 calls:
5.0ms
(/ (- y z) (+ (- t z) 1.0))
6.0ms
(* (/ (- y z) (+ (- t z) 1.0)) a)

series193.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(/ (- y z) (+ (- t z) 1.0))
140.0ms
(* (/ (- y z) (+ (- t z) 1.0)) a)

simplify64.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
018083
163876
2238574
3500174

prune79.0ms

Filtered
23 candidates to 21 candidates (91.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New22123
Fresh202
Picked011
Done022
Total24428

Merged error: 0b

Counts
28 → 4

localize10.0ms

Local error

Found 1 expressions with local error:

9.6b
(/ (* (- y z) a) (+ (- t z) 1.0))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-*l/ associate-/r/ associate-/l/ associate-/l*
1×flip3-- frac-2neg flip3-+ clear-num *-commutative flip-- flip-+ div-inv
Counts
1 → 9
Calls
1 calls:
6.0ms
(/ (* (- y z) a) (+ (- t z) 1.0))

series80.0ms

Counts
1 → 3
Calls
1 calls:
80.0ms
(/ (* (- y z) a) (+ (- t z) 1.0))

simplify43.0ms

Algorithm
egg-herbie
Counts
12 → 12
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
011855
136752
2131350
3500150

prune32.0ms

Filtered
12 candidates to 10 candidates (83.3%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New12012
Fresh000
Picked011
Done033
Total12416

Merged error: 0b

Counts
16 → 4

regimes163.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0146
1146

end0.0ms

sample558.0ms

Algorithm
intervals
Results
304.0ms8486×body80valid