Details

Time bar (total: 1.4s)

sample17.0ms

Algorithm
intervals
Results
7.0ms266×body80valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0103
1173
2213
3213

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.4b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(- y (* z t))
3.4b
(/ x (- y (* z t)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
2×flip3-- associate-/r/ flip--
1×sub-neg frac-2neg clear-num div-inv
Counts
2 → 9
Calls
2 calls:
2.0ms
(- y (* z t))
3.0ms
(/ x (- y (* z t)))

series65.0ms

Counts
2 → 6
Calls
2 calls:
29.0ms
(- y (* z t))
35.0ms
(/ x (- y (* z t)))

simplify96.0ms

Algorithm
egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 3 (19.0ms)

IterNodesCost
07146
118342
250541
3127540
4381940
5500140

prune43.0ms

Filtered
15 candidates to 11 candidates (73.3%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New10515
Fresh000
Picked101
Done000
Total11516

Merged error: 3.3b

Counts
16 → 5

localize8.0ms

Local error

Found 1 expressions with local error:

3.4b
(/ (- x) (fma t z (- y)))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
1×neg-sub0 neg-mul-1 frac-2neg div-sub distribute-frac-neg clear-num div-inv associate-/l*
Counts
1 → 6
Calls
1 calls:
3.0ms
(/ (- x) (fma t z (- y)))

series39.0ms

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

simplify36.0ms

Algorithm
egg-herbie
Counts
9 → 9
Iterations

Useful iterations: 3 (8.0ms)

IterNodesCost
01919
13019
26319
320618
4109118
5500218

prune28.0ms

Filtered
9 candidates to 7 candidates (77.8%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New729
Fresh224
Picked011
Done000
Total9514

Merged error: 3.3b

Counts
14 → 5

localize9.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ 1 (fma t z (- y)))
3.2b
(* (- x) (/ 1 (fma t z (- y))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*r/ clear-num
2×frac-2neg un-div-inv div-inv
1×distribute-lft-neg-out neg-mul-1 associate-*r* associate-*l* *-commutative inv-pow
Counts
2 → 13
Calls
2 calls:
2.0ms
(/ 1 (fma t z (- y)))
4.0ms
(* (- x) (/ 1 (fma t z (- y))))

series68.0ms

Counts
2 → 6
Calls
2 calls:
29.0ms
(/ 1 (fma t z (- y)))
39.0ms
(* (- x) (/ 1 (fma t z (- y))))

simplify57.0ms

Algorithm
egg-herbie
Counts
19 → 19
Iterations

Useful iterations: 3 (9.0ms)

IterNodesCost
02822
17118
217418
336517
478217
5180617
6500117

prune36.0ms

Filtered
19 candidates to 10 candidates (52.6%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New19019
Fresh033
Picked011
Done011
Total19524

Merged error: 3.3b

Counts
24 → 5

localize9.0ms

Local error

Found 2 expressions with local error:

0.6b
(/ 1 (/ (fma t z (- y)) (- x)))
3.4b
(/ (fma t z (- y)) (- x))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
4×clear-num associate-/r/
3×frac-2neg associate-/r* div-inv
2×neg-mul-1
1×remove-double-div inv-pow
Counts
2 → 14
Calls
2 calls:
3.0ms
(/ 1 (/ (fma t z (- y)) (- x)))
2.0ms
(/ (fma t z (- y)) (- x))

series110.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(/ 1 (/ (fma t z (- y)) (- x)))
55.0ms
(/ (fma t z (- y)) (- x))

simplify63.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 4 (28.0ms)

IterNodesCost
04253
110351
226951
363046
4303438
5500238

prune36.0ms

Filtered
20 candidates to 12 candidates (60.0%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New19120
Fresh022
Picked011
Done022
Total19625

Merged error: 3.3b

Counts
25 → 6

regimes169.0ms

Accuracy

0% (0.1b remaining)

Error of 2.9b against oracle of 2.8b and baseline of 2.9b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0104
1104

end0.0ms

sample445.0ms

Algorithm
intervals
Results
221.0ms8361×body80valid