Details

sample51.0ms

Algorithm

intervals

Results

16.0ms	56×	body	1280	valid
8.0ms	250×	body	80	nan
7.0ms	39×	body	640	valid
7.0ms	138×	body	80	valid
2.0ms	18×	body	320	valid
0.0ms	5×	body	160	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	4
1	10	4
2	10	4

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 27.6b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

1.6b	(- (log (+ N 1.0)) (log N))
3.1b	(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))

series141.0ms

Counts

2 → 6

Calls

2 calls:

93.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 (48.0ms)

Iter	Nodes	Cost
0	212	281
1	547	264
2	1874	250
3	5001	247

prune99.0ms

Filtered

47 candidates to 33 candidates (70.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	4	48

Merged error: 0.1b

Counts

48 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.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:

9.0ms	(/ (+ N 1.0) N)
4.0ms	(log (/ (+ N 1.0) N))

series130.0ms

Counts

2 → 6

Calls

2 calls:

45.0ms	(/ (+ N 1.0) N)
85.0ms	(log (/ (+ N 1.0) N))

simplify102.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	233	373
1	773	351
2	3489	339
3	5002	339

prune96.0ms

Filtered

66 candidates to 45 candidates (68.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	66	4	70

Merged error: 0.1b

Counts

70 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

1.6b	(- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
3.1b	(log (+ N 1.0))
3.1b	(log (+ N 1.0))
3.1b	(log (+ N 1.0))

rewrite26.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:

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

series323.0ms

Counts

4 → 12

Calls

4 calls:

190.0ms	(- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
47.0ms	(log (+ N 1.0))
40.0ms	(log (+ N 1.0))
46.0ms	(log (+ N 1.0))

simplify51.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	480	888
1	1809	857
2	5001	844

prune275.0ms

Filtered

103 candidates to 66 candidates (64.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	102	5	107

Merged error: 0.1b

Counts

107 → 5

localize31.0ms

Local error

Found 4 expressions with local error:

3.1b	(log (+ N 1.0))
3.1b	(log (+ N 1.0))
3.1b	(log (+ N 1.0))
3.1b	(log (+ N 1.0))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

16×	`log-prod` `*-un-lft-identity`
8×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `log-div`
4×	`flip3-+` `rem-log-exp` `log-pow` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

4 → 60

Calls

4 calls:

7.0ms	(log (+ N 1.0))
3.0ms	(log (+ N 1.0))
3.0ms	(log (+ N 1.0))
3.0ms	(log (+ N 1.0))

series172.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(log (+ N 1.0))
40.0ms	(log (+ N 1.0))
46.0ms	(log (+ N 1.0))
40.0ms	(log (+ N 1.0))

simplify42.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (36.0ms)

Iter	Nodes	Cost
0	122	380
1	331	340
2	1170	324
3	5002	312

prune302.0ms

Filtered

72 candidates to 52 candidates (72.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	72	5	77

Merged error: 0.1b

Counts

77 → 5

regimes37.0ms

Accuracy

100% (0.0b remaining)

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

bsearch28.0ms

Steps

Iters	Range		Point
8	102.32491095031259	29774.780359327975	11639.263739648191

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

sample1.5s

Algorithm

intervals

Results

500.0ms	1737×	body	1280	valid
258.0ms	8106×	body	80	nan
230.0ms	1216×	body	640	valid
210.0ms	4091×	body	80	valid
77.0ms	613×	body	320	valid
27.0ms	343×	body	160	valid

Details

sample51.0ms

simplify5.0ms

prune2.0ms

localize7.0ms

rewrite11.0ms

series141.0ms

simplify53.0ms

prune99.0ms

localize5.0ms

rewrite15.0ms

series130.0ms

simplify102.0ms

prune96.0ms

localize17.0ms

rewrite26.0ms

series323.0ms

simplify51.0ms

prune275.0ms

localize31.0ms

rewrite18.0ms

series172.0ms

simplify42.0ms

prune302.0ms

regimes37.0ms

bsearch28.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling