Details

Time bar (total: 4.8s)

sample790.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 19.042969%

Guaranteed chance to sample good point: 86.972256%

Results
13.0ms205×body80valid
12.0ms35×body640valid
11.0ms19×body1280valid
5.0ms22×body320valid
2.0ms11×body160valid
1.0ms24×body80nan

simplify113.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0187
1277
2547
31097
43077
57777
641457
750027

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 7.2b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (+ z y))
0.1b
(* y (log (/ y (+ z y))))
9.4b
(log (/ y (+ z y)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
54×log-prod
48×times-frac
40×add-sqr-sqrt
38×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
13×distribute-lft-out
10×add-exp-log
8×associate-/r/
7×pow1 add-cbrt-cube
4×flip3-+ associate-*r* associate-/r* flip-+ div-inv
3×associate-*l* associate-/l* add-log-exp
2×div-exp rem-log-exp log-pow
1×cbrt-undiv log-div frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
3 → 117
Calls
3 calls:
8.0ms
(/ y (+ z y))
8.0ms
(* y (log (/ y (+ z y))))
5.0ms
(log (/ y (+ z y)))

series32.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ y (+ z y))
14.0ms
(* y (log (/ y (+ z y))))
13.0ms
(log (/ y (+ z y)))

simplify40.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0297860
11268791
25001767

prune135.0ms

Filtered
76 candidates to 126 candidates (-65.8%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1233126
Fresh000
Picked101
Done000
Total1243127

Merged error: 0.3b

Counts
127 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
3.9b
(log (/ (cbrt y) (cbrt (+ z y))))
3.9b
(log (/ (cbrt y) (cbrt (+ z y))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
96×cbrt-prod log-prod
84×*-un-lft-identity times-frac
60×add-sqr-sqrt add-cube-cbrt
12×distribute-lft-out
10×add-exp-log
6×pow1
4×cbrt-div rem-log-exp associate-/r/ add-cbrt-cube add-log-exp
2×log-div flip3-+ pow1/3 div-exp log-pow flip-+ div-inv
Counts
4 → 140
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
7.0ms
(log (/ (cbrt y) (cbrt (+ z y))))
7.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

series91.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt y)
21.0ms
(cbrt y)
23.0ms
(log (/ (cbrt y) (cbrt (+ z y))))
26.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

simplify71.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 3 (57.0ms)

IterNodesCost
03361450
17421380
221841330
350011322

prune163.0ms

Filtered
102 candidates to 152 candidates (-49.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1520152
Fresh022
Picked011
Done000
Total1523155

Merged error: 0.3b

Counts
155 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
35.6b
(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
10×pow1
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×prod-exp
5×rem-log-exp
4×add-cbrt-cube add-log-exp
3×pow1/3 pow-prod-down log-pow
2×div-exp
1×log-div log-prod associate-*r/
Counts
4 → 50
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
11.0ms
(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

series82.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt y)
24.0ms
(cbrt y)
21.0ms
(cbrt y)
16.0ms
(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

simplify48.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 3 (13.0ms)

IterNodesCost
091288
1175255
2468216
31704195
45002195

prune82.0ms

Filtered
49 candidates to 62 candidates (-26.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New62062
Fresh011
Picked011
Done011
Total62365

Merged error: 0.3b

Counts
65 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ z y))
0.6b
(cbrt (+ z y))
0.6b
(cbrt (+ z y))
37.7b
(log (/ (/ y (* (cbrt (+ z y)) (cbrt (+ z y)))) (cbrt (+ z y))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
126×times-frac
111×log-prod
92×cbrt-div
88×*-un-lft-identity
72×cbrt-prod
58×associate-/r/
52×add-sqr-sqrt add-cube-cbrt
46×flip3-+ flip-+
28×frac-times
18×distribute-lft-out
14×add-exp-log associate-*r/ associate-*l/
8×div-inv
5×pow1 div-exp
4×rem-log-exp add-cbrt-cube add-log-exp
3×pow1/3
1×log-div prod-exp log-pow
Counts
4 → 166
Calls
4 calls:
3.0ms
(cbrt (+ z y))
3.0ms
(cbrt (+ z y))
3.0ms
(cbrt (+ z y))
19.0ms
(log (/ (/ y (* (cbrt (+ z y)) (cbrt (+ z y)))) (cbrt (+ z y))))

series109.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(cbrt (+ z y))
30.0ms
(cbrt (+ z y))
33.0ms
(cbrt (+ z y))
16.0ms
(log (/ (/ y (* (cbrt (+ z y)) (cbrt (+ z y)))) (cbrt (+ z y))))

simplify74.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
08822923
125342866
250012747

prune227.0ms

Filtered
120 candidates to 178 candidates (-48.3%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1780178
Fresh000
Picked011
Done022
Total1783181

Merged error: 0.3b

Counts
181 → 3

regimes136.0ms

Accuracy

0% (0.8b remaining)

Error of 1.1b against oracle of 0.4b and baseline of 1.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02016
12016

end0.0ms

sample2.4s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 19.042969%

Guaranteed chance to sample good point: 86.972256%

Results
423.0ms6570×body80valid
384.0ms722×body1280valid
317.0ms958×body640valid
121.0ms553×body320valid
47.0ms331×body160valid
40.0ms744×body80nan

Profiling

Loading profile data...