Details

Time bar (total: 4.1s)

sample73.0ms

Algorithm
intervals
Results
22.0ms43×body1280valid
14.0ms45×body640valid
9.0ms149×body80valid
7.0ms34×body320valid
4.0ms90×body80nan
3.0ms20×body160valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049509
149509

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

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.5b
(pow (/ x (+ x y)) x)

rewrite30.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:
10.0ms
(/ (pow (/ x (+ x y)) x) x)
5.0ms
(/ x (+ x y))
6.0ms
(pow (/ x (+ x y)) x)

series46.0ms

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

simplify63.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049702849
149702849

prune199.0ms

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

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1747181
Fresh000
Picked101
Done000
Total1757182

Merged error: 1.2b

Counts
182 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.8b
(pow (/ (cbrt x) (cbrt (+ x y))) x)
1.1b
(pow (* (/ (cbrt x) (cbrt (+ x y))) (/ (cbrt x) (cbrt (+ x y)))) x)

rewrite33.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)
10.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
16.0ms
(pow (* (/ (cbrt x) (cbrt (+ x y))) (/ (cbrt x) (cbrt (+ x y)))) x)

series104.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt x)
21.0ms
(cbrt x)
26.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
36.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

prune161.0ms

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

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1201121
Fresh156
Picked101
Done000
Total1226128

Merged error: 1.2b

Counts
128 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.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:
2.0ms
(cbrt x)
2.0ms
(cbrt x)
19.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
19.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) (* x 2))

series98.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt x)
21.0ms
(cbrt x)
29.0ms
(pow (/ (cbrt x) (cbrt (+ x y))) x)
26.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

prune227.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: 1.2b

Counts
164 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (/ (pow (/ x (+ x y)) x) x))
4.5b
(pow (/ x (+ x y)) x)
4.5b
(pow (/ x (+ x y)) x)
4.5b
(pow (/ x (+ x y)) x)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
117×*-un-lft-identity
108×unpow-prod-down
81×add-sqr-sqrt add-cube-cbrt
70×cbrt-prod
18×distribute-lft-out
13×add-exp-log
12×associate-/r/
9×pow-unpow
7×pow1 div-inv
6×flip3-+ pow-exp flip-+ sqr-pow
4×add-cbrt-cube add-log-exp
3×pow-to-exp pow-pow div-exp
1×cbrt-div pow1/3
Counts
4 → 178
Calls
4 calls:
10.0ms
(cbrt (/ (pow (/ x (+ x y)) x) x))
6.0ms
(pow (/ x (+ x y)) x)
7.0ms
(pow (/ x (+ x y)) x)
6.0ms
(pow (/ x (+ x y)) x)

series96.0ms

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

simplify83.0ms

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049733764
149733764

prune214.0ms

Filtered
143 candidates to 190 candidates (-32.9%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1864190
Fresh224
Picked101
Done011
Total1897196

Merged error: 1.2b

Counts
196 → 7

regimes126.0ms

Accuracy

17.2% (4.1b remaining)

Error of 4.9b against oracle of 0.8b and baseline of 5.8b

bsearch89.0ms

Steps
ItersRangePoint
9
2.4714310794775493e+104
1.0507197547822805e+114
3.889536814595454e+111
8
0.5059366391665674
1130.7758405393088
301.0821599815899

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02943
12943

end0.0ms

sample2.2s

Algorithm
intervals
Results
734.0ms1452×body1280valid
469.0ms1498×body640valid
274.0ms4855×body80valid
174.0ms845×body320valid
132.0ms3037×body80nan
59.0ms458×body160valid

Profiling

Loading profile data...