Details

Time bar (total: 3.6s)

sample42.0ms

Algorithm
intervals
Results
12.0ms49×body1280valid
6.0ms276×body80nan
6.0ms41×body640valid
6.0ms140×body80valid
2.0ms18×body320valid
0.0ms8×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 27.6b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

2.3b
(- (log (+ N 1.0)) (log N))
2.4b
(log (+ N 1.0))

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

series143.0ms

Counts
2 → 6
Calls
2 calls:
95.0ms
(- (log (+ N 1.0)) (log N))
48.0ms
(log (+ N 1.0))

simplify53.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 3 (49.0ms)

IterNodesCost
0212281
1547264
21874250
35001247

prune94.0ms

Filtered
47 candidates to 33 candidates (70.2%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New44347
Fresh000
Picked101
Done000
Total45348

Merged error: 0.1b

Counts
48 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ N 1.0) N)
2.3b
(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))

series134.0ms

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

simplify105.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0233373
1773351
23489339
35002339

prune91.0ms

Filtered
66 candidates to 45 candidates (68.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New66066
Fresh022
Picked011
Done000
Total66369

Merged error: 0.1b

Counts
69 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

2.3b
(- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
2.4b
(log (+ N 1.0))
2.4b
(log (+ N 1.0))
2.4b
(log (+ N 1.0))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt *-un-lft-identity
24×unpow-prod-down cube-prod
23×pow1
19×log-pow
17×distribute-lft-out--
16×difference-of-squares
12×log-prod
8×sqr-pow
7×add-exp-log add-cube-cbrt
6×log-div add-log-exp
4×add-cbrt-cube
3×flip3-+ rem-log-exp flip-+ distribute-lft-out
1×difference-cubes sub-neg flip3-- diff-log flip--
Counts
4 → 91
Calls
4 calls:
14.0ms
(- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
3.0ms
(log (+ N 1.0))
3.0ms
(log (+ N 1.0))
3.0ms
(log (+ N 1.0))

series330.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
48.0ms
(log (+ N 1.0))
41.0ms
(log (+ N 1.0))
47.0ms
(log (+ N 1.0))

simplify51.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0480888
11809857
25001844

prune268.0ms

Filtered
103 candidates to 66 candidates (64.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1012103
Fresh011
Picked101
Done011
Total1024106

Merged error: 0.1b

Counts
106 → 4

localize29.0ms

Local error

Found 4 expressions with local error:

2.4b
(log (+ N 1.0))
2.4b
(log (+ N 1.0))
17.0b
(log (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
19.7b
(log (+ (pow N 3) (pow 1.0 3)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
20×log-prod
8×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt log-div
7×distribute-lft-out
4×unpow-prod-down flip3-+ cube-prod rem-log-exp log-pow add-cbrt-cube flip-+ add-log-exp
1×sum-cubes
Counts
4 → 64
Calls
4 calls:
3.0ms
(log (+ N 1.0))
3.0ms
(log (+ N 1.0))
10.0ms
(log (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
12.0ms
(log (+ (pow N 3) (pow 1.0 3)))

series421.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(log (+ N 1.0))
42.0ms
(log (+ N 1.0))
72.0ms
(log (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
258.0ms
(log (+ (pow N 3) (pow 1.0 3)))

simplify42.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0326558
11192496
25002480

prune351.0ms

Filtered
76 candidates to 59 candidates (77.6%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New75176
Fresh022
Picked101
Done011
Total76480

Merged error: 0.1b

Counts
80 → 4

regimes34.0ms

Accuracy

100% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 29.5b

bsearch21.0ms

Steps
ItersRangePoint
6
2408.9151023461654
14028.172733867412
8996.361155281744

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02410
12410

end0.0ms

sample1.3s

Algorithm
intervals
Results
416.0ms1720×body1280valid
194.0ms1312×body640valid
191.0ms8187×body80nan
174.0ms4055×body80valid
60.0ms625×body320valid
17.0ms288×body160valid

Profiling

Loading profile data...