Details

sample54.0ms

Algorithm

intervals

Results

15.0ms	55×	body	1280	valid
7.0ms	245×	body	80	nan
7.0ms	40×	body	640	valid
6.0ms	127×	body	80	valid
3.0ms	22×	body	320	valid
1.0ms	12×	body	160	valid

simplify4.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

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: 30.4b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

2.7b	(- (log (+ N 1.0)) (log N))
4.2b	(log (+ N 1.0))

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

6.0ms	(- (log (+ N 1.0)) (log N))
3.0ms	(log (+ N 1.0))

series10.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(- (log (+ N 1.0)) (log N))
4.0ms	(log (+ N 1.0))

simplify55.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 2 (14.0ms)

Iter	Nodes	Cost
0	232	285
1	628	264
2	2171	244
3	5001	244

prune76.0ms

Filtered

34 candidates to 47 candidates (-38.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	3	48

Merged error: 0.0b

Counts

48 → 3

localize4.0ms

Local error

Found 2 expressions with local error:

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

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

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

series9.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify90.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	221	370
1	736	343
2	3220	333
3	5002	333

prune81.0ms

Filtered

46 candidates to 66 candidates (-43.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	63	3	66
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	64	5	69

Merged error: 0.0b

Counts

69 → 5

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ N 1.0) N)
0.3b	(cbrt (pow (log (/ (+ N 1.0) N)) 3))
0.4b	(pow (log (/ (+ N 1.0) N)) 3)
2.8b	(log (/ (+ N 1.0) N))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity`
27×	`add-sqr-sqrt` `add-cube-cbrt`
24×	`times-frac`
16×	`log-prod`
14×	`cbrt-prod`
10×	`pow1` `add-exp-log`
8×	`unpow-prod-down` `cube-prod`
7×	`add-cbrt-cube` `distribute-lft-out`
5×	`log-pow`
4×	`associate-/l*` `add-log-exp`
3×	`pow-unpow` `associate-/r*`
2×	`cube-mult` `unpow3` `div-exp` `rem-log-exp` `div-inv` `associate-/l/` `sqr-pow`
1×	`cbrt-undiv` `pow-to-exp` `log-div` `pow-pow` `frac-2neg` `flip3-+` `pow1/3` `pow-exp` `clear-num` `rem-cbrt-cube` `flip-+` `rem-cube-cbrt`

Counts

4 → 108

Calls

4 calls:

5.0ms	(/ (+ N 1.0) N)
2.0ms	(cbrt (pow (log (/ (+ N 1.0) N)) 3))
2.0ms	(pow (log (/ (+ N 1.0) N)) 3)
4.0ms	(log (/ (+ N 1.0) N))

series25.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ (+ N 1.0) N)
4.0ms	(cbrt (pow (log (/ (+ N 1.0) N)) 3))
12.0ms	(pow (log (/ (+ N 1.0) N)) 3)
4.0ms	(log (/ (+ N 1.0) N))

simplify54.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	474	774
1	2041	729
2	5002	689

prune153.0ms

Filtered

70 candidates to 120 candidates (-71.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	121	4	125

Merged error: 0.0b

Counts

125 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (pow (log (/ (+ N 1.0) N)) 3))
0.4b	(pow (log (/ (+ N 1.0) N)) 3)
0.4b	(pow (cbrt (pow (log (/ (+ N 1.0) N)) 3)) 3)
2.8b	(log (/ (+ N 1.0) N))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

42×	`cbrt-prod`
33×	`unpow-prod-down` `*-un-lft-identity` `cube-prod`
27×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`log-prod`
15×	`pow1`
12×	`times-frac`
9×	`add-exp-log` `log-pow`
6×	`pow-unpow`
5×	`cube-mult` `unpow3` `add-cbrt-cube` `sqr-pow`
4×	`add-log-exp`
3×	`pow-pow` `distribute-lft-out`
2×	`pow-to-exp` `pow1/3` `rem-log-exp` `pow-exp` `rem-cube-cbrt`
1×	`log-div` `div-exp` `rem-cbrt-cube` `div-inv`

Counts

4 → 127

Calls

4 calls:

3.0ms	(cbrt (pow (log (/ (+ N 1.0) N)) 3))
2.0ms	(pow (log (/ (+ N 1.0) N)) 3)
5.0ms	(pow (cbrt (pow (log (/ (+ N 1.0) N)) 3)) 3)
4.0ms	(log (/ (+ N 1.0) N))

series28.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(cbrt (pow (log (/ (+ N 1.0) N)) 3))
10.0ms	(pow (log (/ (+ N 1.0) N)) 3)
10.0ms	(pow (cbrt (pow (log (/ (+ N 1.0) N)) 3)) 3)
4.0ms	(log (/ (+ N 1.0) N))

simplify65.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	509	1060
1	1944	970
2	5002	888

prune157.0ms

Filtered

63 candidates to 139 candidates (-120.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	139	4	143

Merged error: 0.0b

Counts

143 → 4

regimes36.0ms

Accuracy

100% (0.0b remaining)

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

bsearch12.0ms

Steps

Iters	Range		Point
8	2872.6372031135757	11977547.733654179	7709.965162291719

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

496.0ms	1753×	body	1280	valid
246.0ms	7963×	body	80	nan
231.0ms	1250×	body	640	valid
200.0ms	4065×	body	80	valid
77.0ms	618×	body	320	valid
24.0ms	314×	body	160	valid

Details

sample54.0ms

simplify4.0ms

prune2.0ms

localize6.0ms

rewrite10.0ms

series10.0ms

simplify55.0ms

prune76.0ms

localize4.0ms

rewrite13.0ms

series9.0ms

simplify90.0ms

prune81.0ms

localize8.0ms

rewrite17.0ms

series25.0ms

simplify54.0ms

prune153.0ms

localize11.0ms

rewrite19.0ms

series28.0ms

simplify65.0ms

prune157.0ms

regimes36.0ms

bsearch12.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling