Details

Time bar (total: 3.9s)

sample76.0ms

Algorithm
intervals
Results
31.0ms65×body1280valid
14.0ms48×body640valid
7.0ms140×body80valid
4.0ms23×body320valid
3.0ms82×body80nan
1.0ms11×body160valid

simplify46.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049509
149509

prune6.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: 10.5b

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))
6.3b
(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/
7×div-exp associate-/r* add-cbrt-cube div-inv
6×flip3-+ flip-+
5×sqr-pow
4×pow1 pow-exp
3×pow-unpow add-log-exp
2×cbrt-undiv pow-to-exp frac-2neg clear-num
1×pow-pow
Counts
3 → 172
Calls
3 calls:
13.0ms
(/ (pow (/ x (+ x y)) x) x)
5.0ms
(/ x (+ x y))
6.0ms
(pow (/ x (+ x y)) x)

series41.0ms

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

simplify60.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049702849
149702849

prune196.0ms

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

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1738181
Fresh000
Picked101
Done000
Total1748182

Merged error: 0.6b

Counts
182 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.2b
(pow (/ (cbrt x) (cbrt (+ x y))) x)
2.7b
(pow (* (/ (cbrt x) (cbrt (+ x y))) (/ (cbrt x) (cbrt (+ x y)))) x)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
51×cbrt-prod
49×unpow-prod-down
47×*-un-lft-identity
42×times-frac
35×add-sqr-sqrt add-cube-cbrt
20×add-exp-log
13×pow1
7×pow-pow pow-exp
6×pow-unpow distribute-lft-out
5×div-exp
4×prod-exp add-cbrt-cube add-log-exp
2×pow-to-exp cbrt-div pow1/3 associate-/r/ sqr-pow
1×pow2 flip3-+ pow-plus pow-prod-down pow-sqr pow-prod-up flip-+ div-inv
Counts
4 → 109
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
11.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
19.0ms
(pow (* (/ (cbrt x) (cbrt (+ x y))) (/ (cbrt x) (cbrt (+ x y)))) x)

series106.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt x)
21.0ms
(cbrt x)
29.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
34.0ms
(pow (* (/ (cbrt x) (cbrt (+ x y))) (/ (cbrt x) (cbrt (+ x y)))) x)

simplify37.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
051441999

prune162.0ms

Filtered
90 candidates to 121 candidates (-34.4%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1201121
Fresh257
Picked101
Done000
Total1236129

Merged error: 0.6b

Counts
129 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.2b
(pow (/ (cbrt x) (cbrt (+ x y))) x)
1.2b
(pow (/ (cbrt x) (cbrt (+ x y))) (* x 2))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
96×cbrt-prod unpow-prod-down
85×*-un-lft-identity
84×times-frac
61×add-sqr-sqrt add-cube-cbrt
12×distribute-lft-out
10×add-exp-log
6×pow1
4×pow-unpow cbrt-div pow-exp associate-/r/ add-cbrt-cube add-log-exp
2×pow-to-exp pow-pow flip3-+ pow1/3 div-exp flip-+ div-inv sqr-pow
Counts
4 → 146
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
10.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
12.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) (* x 2))

series93.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(cbrt x)
23.0ms
(cbrt x)
25.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
25.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) (* x 2))

simplify59.0ms

Algorithm
egg-herbie
Counts
158 → 158
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049493075
149493075

prune224.0ms

Filtered
125 candidates to 158 candidates (-26.4%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1580158
Fresh055
Picked011
Done000
Total1586164

Merged error: 0.6b

Counts
164 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
18×unpow-prod-down
16×add-sqr-sqrt add-cube-cbrt
12×times-frac
9×cbrt-prod
7×add-exp-log
5×pow1
4×add-cbrt-cube add-log-exp
3×pow-unpow pow1/3 distribute-lft-out
2×pow-exp associate-/r/
1×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)
6.0ms
(pow (/ x (+ x y)) x)

series77.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(cbrt x)
20.0ms
(cbrt x)
20.0ms
(cbrt x)
16.0ms
(pow (/ x (+ x y)) x)

simplify43.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
04995741
14995741

prune72.0ms

Filtered
56 candidates to 78 candidates (-39.3%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New75378
Fresh044
Picked101
Done011
Total76884

Merged error: 0.6b

Counts
84 → 8

regimes137.0ms

Accuracy

17.6% (3.9b remaining)

Error of 4.8b against oracle of 0.9b and baseline of 5.6b

bsearch127.0ms

Steps
ItersRangePoint
7
3.184423266248386e+182
1.8953990072362522e+184
3.0966643331213757e+183
7
1.2376192636650473e+107
4.3615889733450486e+108
1.4006845989657633e+107
4
2.3603322613772588e+60
3.5176133742220345e+60
3.0829724741845467e+60
9
3.829970757741587e-06
436.86900833278656
202.9084822279246

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05253
15253

end0.0ms

sample2.1s

Algorithm
intervals
Results
772.0ms1584×body1280valid
416.0ms1403×body640valid
259.0ms4797×body80valid
170.0ms857×body320valid
118.0ms2951×body80nan
54.0ms441×body160valid

Profiling

Loading profile data...