Details

Time bar (total: 2.1s)

analyze1.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%25%25%3
50%0%50%4

sample39.0ms

Algorithm
intervals
Results
14.0ms49×body1280valid
9.0ms46×body640valid
7.0ms133×body80valid
2.0ms19×body320valid
1.0ms9×body160valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0717
1717

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 28.9b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

1.7b
(log (+ N 1.0))
2.6b
(- (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 → 40
Calls
2 calls:
3.0ms
(log (+ N 1.0))
7.0ms
(- (log (+ N 1.0)) (log N))

series9.0ms

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

simplify40.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05481434

prune79.0ms

Filtered
35 candidates to 46 candidates (-31.4%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New44246
Fresh000
Picked101
Done000
Total45247

Merged error: 0.0b

Counts
47 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

2.7b
(log (/ (+ N 1.0) N))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
16×log-prod
15×*-un-lft-identity
12×times-frac
9×add-sqr-sqrt add-cube-cbrt
4×add-exp-log
3×distribute-lft-out
2×pow1 rem-log-exp
1×log-div div-exp log-pow add-cbrt-cube div-inv add-log-exp
Counts
1 → 27
Calls
1 calls:
5.0ms
(log (/ (+ N 1.0) N))

series4.0ms

Counts
1 → 3
Calls
1 calls:
4.0ms
(log (/ (+ N 1.0) N))

simplify72.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
04905312
14905312

prune38.0ms

Filtered
21 candidates to 30 candidates (-42.9%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New30030
Fresh011
Picked011
Done000
Total30232

Merged error: 0.0b

Counts
32 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.5b
(/ 0.3333333333333333 (pow N 3))
0.6b
(/ 0.5 (* N N))
15.8b
(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
35×*-un-lft-identity
30×add-sqr-sqrt add-cube-cbrt
13×add-exp-log associate-/r*
12×unpow-prod-down cube-prod
10×add-cbrt-cube
8×add-log-exp
6×associate-/l*
5×div-exp
4×cube-mult unpow3 sqr-pow
3×pow1 cbrt-undiv frac-add
2×frac-2neg clear-num sum-log div-inv distribute-lft-out
1×+-commutative pow-to-exp associate-+r- sub-neg associate-+r+ flip3-- flip3-+ diff-log pow-exp prod-exp frac-sub flip-- cbrt-unprod flip-+ distribute-lft-out--
Counts
3 → 105
Calls
3 calls:
5.0ms
(/ 0.3333333333333333 (pow N 3))
4.0ms
(/ 0.5 (* N N))
29.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))

series13.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(/ 0.3333333333333333 (pow N 3))
3.0ms
(/ 0.5 (* N N))
6.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))

simplify32.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
059571189

prune120.0ms

Filtered
67 candidates to 114 candidates (-70.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1131114
Fresh000
Picked011
Done011
Total1133116

Merged error: 0.0b

Counts
116 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 0.5 (* N N))
3.3b
(exp (log (+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))))
15.8b
(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))
25.3b
(log (+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N)))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
10×add-exp-log log-div log-prod
9×add-sqr-sqrt add-cube-cbrt frac-add add-cbrt-cube add-log-exp
6×pow1 distribute-lft-out
5×exp-diff exp-sum
4×exp-prod
3×flip3-- flip3-+ times-frac frac-sub flip-- flip-+ associate-/l* distribute-lft-out--
2×cbrt-undiv div-exp sum-log log-pow
1×+-commutative associate-+r- sub-neg associate-+r+ frac-2neg diff-log rem-log-exp prod-exp clear-num associate-/r* cbrt-unprod div-inv rem-exp-log
Counts
4 → 81
Calls
4 calls:
4.0ms
(/ 0.5 (* N N))
29.0ms
(exp (log (+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))))
31.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))
28.0ms
(log (+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N)))))

series19.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ 0.5 (* N N))
4.0ms
(exp (log (+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))))
4.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))
9.0ms
(log (+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N)))))

simplify32.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
054601756

prune151.0ms

Filtered
63 candidates to 93 candidates (-47.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New92193
Fresh000
Picked101
Done022
Total93396

Merged error: 0.0b

Counts
96 → 3

regimes35.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 29.2b

bsearch15.0ms

Steps
ItersRangePoint
10
2.2613564567857214e-08
60394.21486950832
7852.8776416713135

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03725
13725

end0.0ms

sample1.2s

Algorithm
intervals
Results
516.0ms1716×body1280valid
242.0ms1252×body640valid
217.0ms4090×body80valid
83.0ms648×body320valid
24.0ms294×body160valid

Profiling

Loading profile data...