Details

sample59.0ms

Algorithm

intervals

Results

19.0ms	64×	body	1280	valid
9.0ms	45×	body	640	valid
9.0ms	255×	body	80	nan
7.0ms	120×	body	80	valid
3.0ms	23×	body	320	valid
0.0ms	4×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7

prune3.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: 32.2b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

series9.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify52.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5335	437

prune79.0ms

Filtered

35 candidates to 47 candidates (-34.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	46	2	48

Merged error: 0.0b

Counts

48 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ 1.0 N) (- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N))))
0.1b	(/ 0.3333333333333333 (pow N 3))
0.4b	(/ 0.5 (* N N))
10.4b	(- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

57×	`add-sqr-sqrt`
54×	`times-frac`
40×	`*-un-lft-identity`
31×	`add-cube-cbrt`
14×	`add-exp-log` `unpow-prod-down` `cube-prod`
13×	`associate-/r*`
11×	`add-cbrt-cube` `add-log-exp`
10×	`difference-of-squares`
6×	`associate-/l*` `sqr-pow`
5×	`cube-mult` `div-exp`
4×	`pow1` `unpow3`
3×	`cbrt-undiv` `frac-add` `distribute-lft-out--`
2×	`sub-neg` `associate-+r+` `flip3--` `frac-2neg` `diff-log` `clear-num` `sum-log` `frac-sub` `flip--` `div-inv` `distribute-lft-out`
1×	`+-commutative` `pow-to-exp` `associate-+r-` `flip3-+` `pow-exp` `prod-exp` `cbrt-unprod` `flip-+`

Counts

4 → 131

Calls

4 calls:

32.0ms	(+ (/ 1.0 N) (- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N))))
5.0ms	(/ 0.3333333333333333 (pow N 3))
4.0ms	(/ 0.5 (* N N))
20.0ms	(- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N)))

series19.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ (/ 1.0 N) (- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N))))
3.0ms	(/ 0.3333333333333333 (pow N 3))
3.0ms	(/ 0.5 (* N N))
8.0ms	(- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N)))

simplify37.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5993	1715

prune170.0ms

Filtered

89 candidates to 143 candidates (-60.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	142	3	145

Merged error: 0b

Counts

145 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

1.6b	(log (+ 1 (/ 1.0 N)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 15

Calls

1 calls:

5.0ms

(log (+ 1 (/ 1.0 N)))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(log (+ 1 (/ 1.0 N)))

simplify40.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4994	183
1	4994	183

prune26.0ms

Filtered

13 candidates to 18 candidates (-38.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	18	3	21

Merged error: 0b

Counts

21 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

0.1b	(/ (- 1.0 (/ 0.5 N)) N)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
22×	`times-frac`
20×	`*-un-lft-identity`
12×	`add-cube-cbrt`
8×	`difference-of-squares`
6×	`associate-/l*`
4×	`distribute-lft-out--`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 42

Calls

1 calls:

8.0ms

(/ (- 1.0 (/ 0.5 N)) N)

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(/ (- 1.0 (/ 0.5 N)) N)

simplify53.0ms

Algorithm

egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	6870	541

prune60.0ms

Filtered

33 candidates to 45 candidates (-36.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Merged error: 0b

Counts

48 → 3

regimes33.0ms

Accuracy

100% (0.0b remaining)

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

bsearch14.0ms

Steps

Iters	Range		Point
9	0.009091900342010817	1079929.916481607	8394.881317704589

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	25
1	21	25

end0.0ms

sample1.7s

Algorithm

intervals

Results

533.0ms	1741×	body	1280	valid
263.0ms	8049×	body	80	nan
250.0ms	1233×	body	640	valid
220.0ms	4072×	body	80	valid
87.0ms	655×	body	320	valid
25.0ms	299×	body	160	valid

Details

sample59.0ms

simplify3.0ms

prune3.0ms

localize7.0ms

rewrite10.0ms

series9.0ms

simplify52.0ms

prune79.0ms

localize10.0ms

rewrite65.0ms

series19.0ms

simplify37.0ms

prune170.0ms

localize5.0ms

rewrite6.0ms

series3.0ms

simplify40.0ms

prune26.0ms

localize6.0ms

rewrite10.0ms

series5.0ms

simplify53.0ms

prune60.0ms

regimes33.0ms

bsearch14.0ms

simplify1.0ms

end0.0ms

sample1.7s

Profiling