Details

Time bar (total: 3.2s)

sample58.0ms

Algorithm
intervals
Results
18.0ms294×body80valid
14.0ms313×body80nan

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0308
1897
22917
38987
425657
550017

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.1b

Counts
2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t))))
0.0b
(+ (+ x y) z)
0.1b
(- (+ (+ x y) z) (* z (log t)))
0.3b
(* z (log t))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
4×+-commutative associate-+l+ associate--l+
1×sub-neg flip3-- flip3-+ *-commutative flip-- flip-+ fma-udef
Counts
4 → 15
Calls
4 calls:
1.0ms
(fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t))))
4.0ms
(+ (+ x y) z)
5.0ms
(- (+ (+ x y) z) (* z (log t)))
2.0ms
(* z (log t))

series256.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t))))
15.0ms
(+ (+ x y) z)
51.0ms
(- (+ (+ x y) z) (* z (log t)))
61.0ms
(* z (log t))

simplify97.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0214133
1806125
24716121
35001121

prune87.0ms

Filtered
27 candidates to 20 candidates (74.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New25227
Fresh000
Picked101
Done000
Total26228

Merged error: 0.0b

Counts
28 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma b (- a 0.5) (+ x (+ (fma (log (/ 1 t)) z y) z)))
0.0b
(+ x (+ (fma (log (/ 1 t)) z y) z))
0.1b
(+ (fma (log (/ 1 t)) z y) z)
0.1b
(fma (log (/ 1 t)) z y)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×fma-udef
3×+-commutative associate-+r+
2×associate-+l+ flip3-+ flip-+
Counts
4 → 12
Calls
4 calls:
1.0ms
(fma b (- a 0.5) (+ x (+ (fma (log (/ 1 t)) z y) z)))
3.0ms
(+ x (+ (fma (log (/ 1 t)) z y) z))
2.0ms
(+ (fma (log (/ 1 t)) z y) z)
1.0ms
(fma (log (/ 1 t)) z y)

series393.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(fma b (- a 0.5) (+ x (+ (fma (log (/ 1 t)) z y) z)))
61.0ms
(+ x (+ (fma (log (/ 1 t)) z y) z))
88.0ms
(+ (fma (log (/ 1 t)) z y) z)
113.0ms
(fma (log (/ 1 t)) z y)

simplify57.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 3 (54.0ms)

IterNodesCost
0218143
1717138
22977136
35002135

prune79.0ms

Filtered
24 candidates to 18 candidates (75.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New23124
Fresh101
Picked011
Done000
Total24226

Merged error: 0.0b

Counts
26 → 2

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma b (- a 0.5) (+ x (fma (log (/ 1 t)) z (+ z y))))
0.0b
(+ x (fma (log (/ 1 t)) z (+ z y)))
0.1b
(fma (log (/ 1 t)) z (+ z y))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×fma-udef
1×+-commutative associate-+r+ flip3-+ flip-+
Counts
3 → 6
Calls
3 calls:
1.0ms
(fma b (- a 0.5) (+ x (fma (log (/ 1 t)) z (+ z y))))
2.0ms
(+ x (fma (log (/ 1 t)) z (+ z y)))
1.0ms
(fma (log (/ 1 t)) z (+ z y))

series285.0ms

Counts
3 → 9
Calls
3 calls:
132.0ms
(fma b (- a 0.5) (+ x (fma (log (/ 1 t)) z (+ z y))))
54.0ms
(+ x (fma (log (/ 1 t)) z (+ z y)))
100.0ms
(fma (log (/ 1 t)) z (+ z y))

simplify44.0ms

Algorithm
egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
016294
148490
2204790
3500190

prune49.0ms

Filtered
15 candidates to 12 candidates (80.0%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New15015
Fresh000
Picked011
Done011
Total15217

Merged error: 0.0b

Counts
17 → 2

regimes137.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0197
1197

end0.0ms

sample1.6s

Algorithm
intervals
Results
495.0ms9097×body80valid
430.0ms9148×body80nan
0.0ms2×body160valid