Details

Time bar (total: 16.2s)

sample6.1s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 27.182007%

Guaranteed chance to sample good point: 46.087758%

Results
29.0ms60×body1280valid
12.0ms139×body80valid
10.0ms35×body640valid
3.0ms16×body320valid
3.0ms11×body640invalid
1.0msbody320invalid
1.0msbody1280invalid
1.0msbody160invalid
1.0msbody160valid
0.0msbody80invalid

simplify113.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (7.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641424
750014

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 9.8b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (pow (/ x (+ x y)) x) x)
0.0b
(/ x (+ x y))
4.9b
(pow (/ x (+ x y)) x)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
118×*-un-lft-identity
90×unpow-prod-down
80×add-sqr-sqrt add-cube-cbrt
25×associate-/l*
19×distribute-lft-out
16×add-exp-log
12×associate-/r/
div-exp associate-/r* add-cbrt-cube div-inv
flip3-+ flip-+
sqr-pow
pow1 pow-exp
pow-unpow add-log-exp
cbrt-undiv pow-to-exp frac-2neg clear-num
pow-pow
Counts
3 → 172
Calls
3 calls:
10.0ms
(/ (pow (/ x (+ x y)) x) x)
5.0ms
(/ x (+ x y))
7.0ms
(pow (/ x (+ x y)) x)

series47.0ms

Counts
3 → 9
Calls
3 calls:
20.0ms
(/ (pow (/ x (+ x y)) x) x)
5.0ms
(/ x (+ x y))
21.0ms
(pow (/ x (+ x y)) x)

simplify100.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
07521628
137871586
250011586

prune225.0ms

Filtered
134 candidates to 181 candidates (-35.1%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1729181
Fresh000
Picked101
Done000
Total1739182

Merged error: 0.6b

Counts
182 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
1.5b
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
13×unpow-prod-down
12×cbrt-div
cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
associate-/r/
flip3-+ flip-+
pow1 pow-exp
frac-times div-exp prod-exp add-cbrt-cube add-log-exp
pow-unpow pow1/3
associate-*r/ associate-*l/
pow-to-exp pow-pow times-frac div-inv sqr-pow
Counts
4 → 64
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
17.0ms
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

series104.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt x)
24.0ms
(cbrt x)
22.0ms
(cbrt x)
36.0ms
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

simplify57.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0540774
11876714
25002668

prune117.0ms

Filtered
55 candidates to 76 candidates (-38.2%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New75176
Fresh268
Picked101
Done000
Total78785

Merged error: 0.6b

Counts
85 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
13×cbrt-prod
10×*-un-lft-identity
add-sqr-sqrt add-cube-cbrt
pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
cbrt-div
flip3-+ flip-+ distribute-lft-out
Counts
4 → 47
Calls
4 calls:
3.0ms
(cbrt (+ x y))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series97.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(cbrt (+ x y))
21.0ms
(cbrt x)
21.0ms
(cbrt x)
24.0ms
(cbrt x)

simplify180.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 3 (34.0ms)

IterNodesCost
0167258
1354240
2998202
34983195
45003195

prune85.0ms

Filtered
47 candidates to 59 candidates (-25.5%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New59059
Fresh066
Picked011
Done000
Total59766

Merged error: 0.6b

Counts
66 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
4.9b
(pow (/ x (+ x y)) x)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
18×unpow-prod-down
16×add-sqr-sqrt add-cube-cbrt
12×times-frac
cbrt-prod
add-exp-log
pow1
add-cbrt-cube add-log-exp
pow-unpow pow1/3 distribute-lft-out
pow-exp associate-/r/
pow-to-exp pow-pow flip3-+ div-exp flip-+ div-inv sqr-pow
Counts
4 → 66
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
7.0ms
(pow (/ x (+ x y)) x)

series85.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt x)
21.0ms
(cbrt x)
24.0ms
(cbrt x)
18.0ms
(pow (/ x (+ x y)) x)

simplify53.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0458502
11828464
25002416

prune86.0ms

Filtered
59 candidates to 78 candidates (-32.2%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New75378
Fresh055
Picked101
Done011
Total76985

Merged error: 0.6b

Counts
85 → 9

regimes129.0ms

Accuracy

11% (3.9b remaining)

Error of 5.6b against oracle of 1.7b and baseline of 6.1b

bsearch86.0ms

Steps
ItersRangePoint
7
2.6870197360179067e+97
1.0287777574979699e+99
3.17192538917304e+98
6
6.39324204784446e-21
5.427766738756365e-20
5.358441054842274e-20

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02627
12627

end0.0ms

sample8.4s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 27.182007%

Guaranteed chance to sample good point: 46.087758%

Results
709.0ms1424×body1280valid
366.0ms1198×body640valid
254.0ms96×body1280invalid
243.0ms4360×body80valid
137.0ms663×body320valid
67.0ms231×body640invalid
45.0ms355×body160valid
31.0ms163×body320invalid
12.0ms99×body160invalid
7.0ms120×body80invalid
3.0ms71×body80nan

Profiling

Loading profile data...