Details

Time bar (total: 4.9s)

sample37.0ms

Algorithm
intervals
Results
19.0ms490×body80valid

simplify192.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 9 (163.0ms)

IterNodesCost
0216
1526
21716
34016
48296
510906
616106
719566
822526
923675
1023675

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: 6.1b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma x x (* (* y 4.0) (- t (* z z))))
5.7b
(* (* y 4.0) (- t (* z z)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
90×prod-diff
70×*-un-lft-identity
66×add-cube-cbrt
47×distribute-rgt-in distribute-lft-in
34×associate-*l*
31×associate-*r*
19×swap-sqr
11×unswap-sqr
9×*-commutative
7×pow1 add-exp-log add-cbrt-cube
5×difference-of-squares
3×pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u sub-neg associate-*r/ log1p-expm1-u distribute-lft-out-- add-log-exp
1×flip3-- flip-- fma-udef
Counts
2 → 146
Calls
2 calls:
1.0ms
(fma x x (* (* y 4.0) (- t (* z z))))
23.0ms
(* (* y 4.0) (- t (* z z)))

series209.0ms

Counts
2 → 6
Calls
2 calls:
108.0ms
(fma x x (* (* y 4.0) (- t (* z z))))
100.0ms
(* (* y 4.0) (- t (* z z)))

simplify134.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 2 (110.0ms)

IterNodesCost
07711927
124511506
250011276

prune138.0ms

Filtered
152 candidates to 44 candidates (28.9%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1439152
Fresh000
Picked101
Done000
Total1449153

Merged error: 3.4b

Counts
153 → 9

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* (* y 4.0) t) (* (* y 4.0) (- (* z z))))
0.0b
(fma x x (+ (* (* y 4.0) t) (* (* y 4.0) (- (* z z)))))
8.6b
(* (* y 4.0) (- (* z z)))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
79×associate-*l*
61×associate-*r*
50×add-sqr-sqrt
48×*-un-lft-identity
28×add-cube-cbrt
23×distribute-lft-out
22×fma-def
17×distribute-rgt-neg-in
15×distribute-lft-neg-in
12×unswap-sqr
10×*-commutative
8×pow1 add-exp-log add-cbrt-cube
6×swap-sqr
5×add-log-exp
3×expm1-log1p-u pow-prod-down prod-exp distribute-rgt-neg-out cbrt-unprod log1p-expm1-u
1×+-commutative neg-mul-1 distribute-rgt-out flip3-+ unsub-neg sum-log flip-+ fma-udef
Counts
3 → 136
Calls
3 calls:
70.0ms
(+ (* (* y 4.0) t) (* (* y 4.0) (- (* z z))))
1.0ms
(fma x x (+ (* (* y 4.0) t) (* (* y 4.0) (- (* z z)))))
20.0ms
(* (* y 4.0) (- (* z z)))

series251.0ms

Counts
3 → 9
Calls
3 calls:
102.0ms
(+ (* (* y 4.0) t) (* (* y 4.0) (- (* z z))))
107.0ms
(fma x x (+ (* (* y 4.0) t) (* (* y 4.0) (- (* z z)))))
42.0ms
(* (* y 4.0) (- (* z z)))

simplify140.0ms

Algorithm
egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 2 (128.0ms)

IterNodesCost
0525710
12452612
25003600

prune297.0ms

Filtered
145 candidates to 103 candidates (71.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1396145
Fresh808
Picked101
Done000
Total1486154

Merged error: 0.0b

Counts
154 → 6

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma x x (+ (* (* y 4.0) t) (* (* y (* 4.0 z)) (- z))))
0.0b
(+ (* (* y 4.0) t) (* (* y (* 4.0 z)) (- z)))
0.2b
(* (* y (* 4.0 z)) (- z))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
83×associate-*l*
43×add-sqr-sqrt
40×associate-*r*
38×*-un-lft-identity
22×fma-def
20×add-cube-cbrt
17×distribute-lft-out
14×unswap-sqr
12×pow1 add-exp-log add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×*-commutative add-log-exp
3×distribute-lft-neg-in expm1-log1p-u distribute-rgt-neg-in distribute-rgt-neg-out log1p-expm1-u
1×+-commutative neg-mul-1 flip3-+ unsub-neg sum-log flip-+ fma-udef
Counts
3 → 119
Calls
3 calls:
1.0ms
(fma x x (+ (* (* y 4.0) t) (* (* y (* 4.0 z)) (- z))))
58.0ms
(+ (* (* y 4.0) t) (* (* y (* 4.0 z)) (- z)))
18.0ms
(* (* y (* 4.0 z)) (- z))

series257.0ms

Counts
3 → 9
Calls
3 calls:
110.0ms
(fma x x (+ (* (* y 4.0) t) (* (* y (* 4.0 z)) (- z))))
110.0ms
(+ (* (* y 4.0) t) (* (* y (* 4.0 z)) (- z)))
38.0ms
(* (* y (* 4.0 z)) (- z))

simplify124.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 2 (113.0ms)

IterNodesCost
0465685
12027591
25002569

prune283.0ms

Filtered
128 candidates to 96 candidates (75.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1235128
Fresh325
Picked011
Done000
Total1268134

Merged error: 0b

Counts
134 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* y (* 4.0 z))) (cbrt (* y (* 4.0 z))))
11.6b
(cbrt (* y (* 4.0 z)))
11.6b
(cbrt (* y (* 4.0 z)))
11.6b
(cbrt (* y (* 4.0 z)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
186×cbrt-prod
148×add-sqr-sqrt
134×associate-*r*
71×associate-*l*
68×unswap-sqr
51×*-un-lft-identity
43×add-cube-cbrt
29×swap-sqr
15×*-commutative
11×pow1
9×pow1/3
8×add-cbrt-cube
6×add-exp-log
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp
Counts
4 → 214
Calls
4 calls:
29.0ms
(* (cbrt (* y (* 4.0 z))) (cbrt (* y (* 4.0 z))))
9.0ms
(cbrt (* y (* 4.0 z)))
12.0ms
(cbrt (* y (* 4.0 z)))
9.0ms
(cbrt (* y (* 4.0 z)))

series515.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(* (cbrt (* y (* 4.0 z))) (cbrt (* y (* 4.0 z))))
110.0ms
(cbrt (* y (* 4.0 z)))
114.0ms
(cbrt (* y (* 4.0 z)))
114.0ms
(cbrt (* y (* 4.0 z)))

simplify132.0ms

Algorithm
egg-herbie
Counts
226 → 226
Iterations

Useful iterations: 2 (102.0ms)

IterNodesCost
04131909
115721829
250021725

prune715.0ms

Filtered
226 candidates to 169 candidates (74.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2251226
Fresh156
Picked101
Done011
Total2277234

Merged error: 0b

Counts
234 → 7

regimes218.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0218
1258
2328
3378
4378

end0.0ms

sample910.0ms

Algorithm
intervals
Results
519.0ms15735×body80valid