Details

Time bar (total: 4.8s)

sample16.0ms

Algorithm
intervals
Results
7.0ms313×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0113
1243
2463
3713
4793
5793

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.6b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

3.4b
(* x (- 1.0 (* y z)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
7×*-un-lft-identity associate-*r*
4×associate-*l*
3×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ distribute-lft-out-- difference-of-squares unswap-sqr
1×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod add-log-exp
Counts
1 → 28
Calls
1 calls:
10.0ms
(* x (- 1.0 (* y z)))

series94.0ms

Counts
1 → 3
Calls
1 calls:
94.0ms
(* x (- 1.0 (* y z)))

simplify60.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0146138
1577122
22207122
35003122

prune67.0ms

Filtered
31 candidates to 19 candidates (61.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New22931
Fresh000
Picked101
Done000
Total23932

Merged error: 2.5b

Counts
32 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x 1.0) (* x (- (* y z))))
6.7b
(* x (- (* y z)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
40×associate-*r*
24×*-un-lft-identity
18×add-sqr-sqrt associate-*l*
14×distribute-rgt-neg-in
12×distribute-lft-neg-in add-cube-cbrt
10×distribute-lft-out
5×*-commutative
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×distribute-rgt-neg-out unswap-sqr
1×+-commutative neg-mul-1 distribute-rgt-out flip3-+ unsub-neg pow-prod-down prod-exp sum-log cbrt-unprod flip-+
Counts
2 → 68
Calls
2 calls:
32.0ms
(+ (* x 1.0) (* x (- (* y z))))
10.0ms
(* x (- (* y z)))

series87.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(+ (* x 1.0) (* x (- (* y z))))
26.0ms
(* x (- (* y z)))

simplify55.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0290307
11470275
25001271

prune184.0ms

Filtered
74 candidates to 53 candidates (71.6%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New69574
Fresh718
Picked011
Done000
Total76783

Merged error: 0.0b

Counts
83 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
1.4b
(* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))
4.4b
(* x (* y (* (cbrt z) (cbrt z))))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
207×add-sqr-sqrt
170×associate-*r*
114×unswap-sqr
86×associate-*l*
74×cbrt-prod
46×add-cbrt-cube
37×cbrt-unprod
36×add-cube-cbrt *-un-lft-identity
27×pow1 add-exp-log
22×swap-sqr
16×pow-prod-down prod-exp
12×*-commutative
6×distribute-lft-neg-in distribute-rgt-neg-in
4×add-log-exp
2×pow1/3
1×neg-mul-1 distribute-rgt-neg-out
Counts
4 → 212
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
48.0ms
(* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))
25.0ms
(* x (* y (* (cbrt z) (cbrt z))))

series531.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(cbrt z)
184.0ms
(cbrt z)
52.0ms
(* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))
109.0ms
(* x (* y (* (cbrt z) (cbrt z))))

simplify143.0ms

Algorithm
egg-herbie
Counts
224 → 224
Iterations

Useful iterations: 2 (128.0ms)

IterNodesCost
08461794
145061495
250011394

prune604.0ms

Filtered
224 candidates to 152 candidates (67.9%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New2186224
Fresh325
Picked101
Done011
Total2229231

Merged error: 0.0b

Counts
231 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

4.4b
(* x (* y (* (cbrt z) (cbrt z))))
9.8b
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))
9.8b
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))
9.8b
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
460×add-sqr-sqrt
430×cbrt-prod
356×associate-*r*
262×unswap-sqr
234×associate-*l*
73×add-cube-cbrt *-un-lft-identity
46×swap-sqr
26×*-commutative
21×add-cbrt-cube
18×distribute-lft-neg-in distribute-rgt-neg-in
15×cbrt-unprod
13×pow1 add-exp-log
6×pow-prod-down prod-exp
4×add-log-exp
3×neg-mul-1 pow1/3
Counts
4 → 383
Calls
4 calls:
25.0ms
(* x (* y (* (cbrt z) (cbrt z))))
50.0ms
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))
49.0ms
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))
47.0ms
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))

series490.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(* x (* y (* (cbrt z) (cbrt z))))
131.0ms
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))
126.0ms
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))
125.0ms
(cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))

simplify134.0ms

Algorithm
egg-herbie
Counts
395 → 395
Iterations

Useful iterations: 2 (92.0ms)

IterNodesCost
09395351
139945231
250015145

prune1.3s

Filtered
395 candidates to 250 candidates (63.3%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New3932395
Fresh257
Picked011
Done011
Total3959404

Merged error: 0.0b

Counts
404 → 9

regimes220.0ms

Accuracy

97% (0.1b remaining)

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

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04818
17918
29218
39618
49618

end0.0ms

sample396.0ms

Algorithm
intervals
Results
210.0ms9532×body80valid