Details

Time bar (total: 4.4s)

sample69.0ms

Algorithm
intervals
Results
24.0ms48×body1280valid
13.0ms44×body640valid
9.0ms164×body80valid
4.0ms99×body80nan
4.0ms20×body320valid
2.0ms13×body160valid

simplify110.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (6.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641424
750014

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: 10.9b

Counts
2 → 1

localize7.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)

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)

series48.0ms

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

simplify97.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
07521628
137871586
250011586

prune203.0ms

Filtered
181 candidates to 134 candidates (26.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1756181
Fresh000
Picked101
Done000
Total1766182

Merged error: 0.5b

Counts
182 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

2.2b
(pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x)
5.8b
(cbrt (/ x (+ x y)))
5.8b
(cbrt (/ x (+ x y)))
5.8b
(cbrt (/ x (+ x y)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
54×cbrt-prod
47×*-un-lft-identity
36×times-frac
29×add-sqr-sqrt add-cube-cbrt
12×pow1
9×pow-pow pow1/3 distribute-lft-out
7×add-exp-log
6×associate-/r/
4×add-cbrt-cube add-log-exp
3×pow-unpow cbrt-div flip3-+ flip-+ div-inv
2×pow-prod-down pow-exp pow-sqr pow-prod-up
1×pow2 pow-to-exp unpow-prod-down pow-plus prod-exp sqr-pow
Counts
4 → 105
Calls
4 calls:
12.0ms
(pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x)
4.0ms
(cbrt (/ x (+ x y)))
4.0ms
(cbrt (/ x (+ x y)))
4.0ms
(cbrt (/ x (+ x y)))

series116.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x)
26.0ms
(cbrt (/ x (+ x y)))
25.0ms
(cbrt (/ x (+ x y)))
28.0ms
(cbrt (/ x (+ x y)))

simplify63.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0437920
11873885
25002853

prune141.0ms

Filtered
117 candidates to 86 candidates (26.5%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1170117
Fresh055
Picked011
Done000
Total1176123

Merged error: 0.5b

Counts
123 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.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)
9.0ms
(pow (/ x (+ x y)) x)
6.0ms
(pow (/ x (+ x y)) x)

series99.0ms

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

simplify105.0ms

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
09192341
138022269
250022262

prune267.0ms

Filtered
190 candidates to 142 candidates (25.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1891190
Fresh044
Picked011
Done011
Total1897196

Merged error: 0.5b

Counts
196 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
72×unpow-prod-down
64×*-un-lft-identity
48×times-frac
40×add-sqr-sqrt add-cube-cbrt
16×add-exp-log
12×pow-unpow distribute-lft-out
8×pow1 pow-exp associate-/r/
4×pow-to-exp pow-pow flip3-+ div-exp add-cbrt-cube flip-+ div-inv add-log-exp sqr-pow
Counts
4 → 132
Calls
4 calls:
7.0ms
(pow (/ x (+ x y)) x)
6.0ms
(pow (/ x (+ x y)) x)
7.0ms
(pow (/ x (+ x y)) x)
9.0ms
(pow (/ x (+ x y)) x)

series76.0ms

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

simplify57.0ms

Algorithm
egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
04091396
117201340
250021228

prune175.0ms

Filtered
144 candidates to 104 candidates (27.8%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1440144
Fresh044
Picked011
Done022
Total1447151

Merged error: 0.5b

Counts
151 → 7

regimes314.0ms

Accuracy

48.4% (5.5b remaining)

Error of 6.3b against oracle of 0.8b and baseline of 11.4b

bsearch178.0ms

Steps
ItersRangePoint
10
6.089858472376919e+27
2.263989438581302e+38
4.1436239237094987e+37
10
-1.6824003803204046e+57
-7.70171536758481e+43
-2.5267709347995916e+46

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05969
15969

end0.0ms

sample2.1s

Algorithm
intervals
Results
705.0ms1463×body1280valid
435.0ms1467×body640valid
258.0ms4908×body80valid
162.0ms831×body320valid
119.0ms2909×body80nan
64.0ms488×body160valid

Profiling

Loading profile data...