Details

Time bar (total: 2.4s)

sample41.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 50.024414%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results
16.0ms56×body1280valid
7.0ms36×body640valid
6.0ms129×body80valid
3.0ms22×body320valid
1.0ms13×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 29.9b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

2.5b
(log (+ N 1.0))
3.3b
(- (log (+ N 1.0)) (log N))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
11×log-prod
7×pow1 add-sqr-sqrt
5×add-cube-cbrt log-pow
4×log-div associate--l+ distribute-lft-out--
3×add-exp-log associate--r+
2×associate--l- flip3-+ add-cbrt-cube flip-+ distribute-lft-out add-log-exp
1×sub-neg flip3-- diff-log rem-log-exp flip-- difference-of-squares
Counts
2 → 41
Calls
2 calls:
3.0ms
(log (+ N 1.0))
7.0ms
(- (log (+ N 1.0)) (log N))

series10.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(log (+ N 1.0))
7.0ms
(- (log (+ N 1.0)) (log N))

simplify57.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
0232285
1628264
22171244
35001244

prune85.0ms

Filtered
34 candidates to 47 candidates (-38.2%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New43447
Fresh000
Picked101
Done000
Total44448

Merged error: 0.0b

Counts
48 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ N 1.0) N)
3.9b
(log (/ (+ N 1.0) N))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
24×times-frac
19×add-sqr-sqrt add-cube-cbrt
16×log-prod
7×add-exp-log distribute-lft-out
4×add-cbrt-cube associate-/l*
3×pow1 associate-/r*
2×div-exp rem-log-exp div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 60
Calls
2 calls:
5.0ms
(/ (+ N 1.0) N)
4.0ms
(log (/ (+ N 1.0) N))

series8.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(/ (+ N 1.0) N)
4.0ms
(log (/ (+ N 1.0) N))

simplify94.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0221370
1736343
23220333
35002333

prune84.0ms

Filtered
45 candidates to 66 candidates (-46.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New64266
Fresh123
Picked101
Done000
Total66470

Merged error: 0.0b

Counts
70 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (/ (+ N 1.0) N))
0.1b
(sqrt (/ (+ N 1.0) N))
3.9b
(log (sqrt (/ (+ N 1.0) N)))
3.9b
(log (sqrt (/ (+ N 1.0) N)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
64×sqrt-prod
62×*-un-lft-identity
50×times-frac
44×add-sqr-sqrt
38×add-cube-cbrt log-prod
12×distribute-lft-out
10×pow1
6×add-exp-log log-pow
4×rem-sqrt-square sqrt-pow1 pow1/2 sqrt-div add-cbrt-cube div-inv add-log-exp
2×log-div rem-log-exp
Counts
4 → 118
Calls
4 calls:
4.0ms
(sqrt (/ (+ N 1.0) N))
4.0ms
(sqrt (/ (+ N 1.0) N))
5.0ms
(log (sqrt (/ (+ N 1.0) N)))
5.0ms
(log (sqrt (/ (+ N 1.0) N)))

series17.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sqrt (/ (+ N 1.0) N))
4.0ms
(sqrt (/ (+ N 1.0) N))
5.0ms
(log (sqrt (/ (+ N 1.0) N)))
5.0ms
(log (sqrt (/ (+ N 1.0) N)))

simplify120.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 3 (108.0ms)

IterNodesCost
0242986
1753932
23218884
35002876

prune244.0ms

Filtered
94 candidates to 130 candidates (-38.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1282130
Fresh123
Picked101
Done000
Total1304134

Merged error: 0.0b

Counts
134 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ N 1.0) N)
0.1b
(sqrt (/ (+ N 1.0) N))
3.9b
(log (/ (+ N 1.0) N))
3.9b
(log (sqrt (/ (+ N 1.0) N)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
49×times-frac
41×add-sqr-sqrt
38×add-cube-cbrt
35×log-prod
32×sqrt-prod
13×distribute-lft-out
10×add-exp-log
8×pow1
6×add-cbrt-cube
4×log-pow div-inv associate-/l* add-log-exp
3×rem-log-exp associate-/r*
2×rem-sqrt-square log-div sqrt-pow1 pow1/2 sqrt-div div-exp associate-/l/
1×cbrt-undiv frac-2neg flip3-+ clear-num flip-+
Counts
4 → 119
Calls
4 calls:
5.0ms
(/ (+ N 1.0) N)
4.0ms
(sqrt (/ (+ N 1.0) N))
4.0ms
(log (/ (+ N 1.0) N))
5.0ms
(log (sqrt (/ (+ N 1.0) N)))

series17.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(/ (+ N 1.0) N)
3.0ms
(sqrt (/ (+ N 1.0) N))
4.0ms
(log (/ (+ N 1.0) N))
5.0ms
(log (sqrt (/ (+ N 1.0) N)))

simplify42.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0399863
11356809
25001776

prune210.0ms

Filtered
93 candidates to 131 candidates (-40.9%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1301131
Fresh033
Picked011
Done000
Total1305135

Merged error: 0.0b

Counts
135 → 5

regimes47.0ms

Accuracy

100% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 29.8b

bsearch17.0ms

Steps
ItersRangePoint
7
611.6191900901086
111440.47594022413
7616.709490224354

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03116
13116

end0.0ms

sample1.2s

Algorithm
intervals
sampling

Space saved by range analysis: 50.024414%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results
511.0ms1782×body1280valid
248.0ms1284×body640valid
198.0ms4015×body80valid
77.0ms609×body320valid
24.0ms310×body160valid

Profiling

Loading profile data...