Details

Time bar (total: 2.6s)

analyze2.0ms

Algorithm
search

sample40.0ms

Algorithm
intervals
Results
16.0ms56×body1280valid
7.0ms40×body640valid
7.0ms136×body80valid
2.0ms18×body320valid
0.0ms6×body160valid

simplify4.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: 28.4b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

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:
7.0ms
(- (log (+ N 1.0)) (log N))
3.0ms
(log (+ N 1.0))

series9.0ms

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

simplify64.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0232285
1628264
22171244
35001244

prune79.0ms

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

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New45247
Fresh000
Picked101
Done000
Total46248

Merged error: 0.1b

Counts
48 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

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

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

series9.0ms

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

simplify92.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
0221370
1736343
23220333
35002333

prune78.0ms

Filtered
46 candidates to 66 candidates (-43.5%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New65166
Fresh011
Picked101
Done000
Total66268

Merged error: 0.1b

Counts
68 → 2

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.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))
5.0ms
(sqrt (/ (+ N 1.0) N))
5.0ms
(log (sqrt (/ (+ N 1.0) N)))
6.0ms
(log (sqrt (/ (+ N 1.0) N)))

series18.0ms

Counts
4 → 12
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)))
6.0ms
(log (sqrt (/ (+ N 1.0) N)))

simplify119.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 3 (108.0ms)

IterNodesCost
0242986
1753932
23218884
35002876

prune241.0ms

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

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1291130
Fresh011
Picked011
Done000
Total1293132

Merged error: 0.1b

Counts
132 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (/ (+ N 1.0) N))
0.7b
(exp (log (log (sqrt (/ (+ N 1.0) N)))))
2.0b
(log (sqrt (/ (+ N 1.0) N)))
2.0b
(log (sqrt (/ (+ N 1.0) N)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
48×sqrt-prod
44×log-prod
37×times-frac
35×add-sqr-sqrt
32×add-cube-cbrt
12×pow1
10×log-pow
9×distribute-lft-out
6×add-exp-log exp-sum
4×exp-prod sqrt-pow1 pow1/2 add-cbrt-cube add-log-exp
3×sqrt-div div-inv
2×rem-sqrt-square log-div rem-log-exp
1×rem-exp-log
Counts
4 → 108
Calls
4 calls:
5.0ms
(sqrt (/ (+ N 1.0) N))
3.0ms
(exp (log (log (sqrt (/ (+ N 1.0) N)))))
5.0ms
(log (sqrt (/ (+ N 1.0) N)))
6.0ms
(log (sqrt (/ (+ N 1.0) N)))

series19.0ms

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

simplify121.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 3 (110.0ms)

IterNodesCost
0279926
1821872
23346814
35001802

prune241.0ms

Filtered
83 candidates to 120 candidates (-44.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1191120
Fresh011
Picked101
Done011
Total1203123

Merged error: 0.1b

Counts
123 → 3

regimes36.0ms

Accuracy

100% (0.0b remaining)

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

bsearch163.0ms

Steps
ItersRangePoint
5
5458.16081396682
19918.953442394723
7024.981253126416

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02616
12616

end0.0ms

analyze1.0ms

Algorithm
search

sample1.2s

Algorithm
intervals
Results
513.0ms1740×body1280valid
236.0ms1257×body640valid
210.0ms4092×body80valid
74.0ms602×body320valid
24.0ms309×body160valid

Profiling

Loading profile data...