Details

sample54.0ms

Algorithm

intervals

Results

18.0ms	66×	body	1280	valid
8.0ms	249×	body	80	nan
7.0ms	38×	body	640	valid
6.0ms	122×	body	80	valid
3.0ms	25×	body	320	valid
0.0ms	5×	body	160	valid

simplify2.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: 31.4b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

2.2b	(- (log (+ N 1.0)) (log N))
3.6b	(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))
4.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))

simplify44.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5376	437

prune90.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.3b	(/ 0.5 (* N N))
0.4b	(/ 0.3333333333333333 (pow N 3))
12.2b	(- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N)))

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

35.0ms	(+ (/ 1.0 N) (- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N))))
5.0ms	(/ 0.5 (* N N))
6.0ms	(/ 0.3333333333333333 (pow N 3))
22.0ms	(- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N)))

series20.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify34.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5993	1715

prune184.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: 0.0b

Counts

145 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

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

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

6.0ms

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

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

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

simplify34.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4982	183
1	4982	183

prune32.0ms

Filtered

13 candidates to 18 candidates (-38.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	16	2	18
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	17	4	21

Merged error: 0.0b

Counts

21 → 4

localize7.0ms

Local error

Found 1 expressions with local error:

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

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

9.0ms

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

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify47.0ms

Algorithm

egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	6870	541

prune65.0ms

Filtered

33 candidates to 45 candidates (-36.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	45	4	49

Merged error: 0.0b

Counts

49 → 4

regimes40.0ms

Accuracy

100% (0.0b remaining)

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

bsearch12.0ms

Steps

Iters	Range		Point
8	901.3230478674768	932371.3337660737	9062.308997209337

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	25
1	21	25

end0.0ms

sample1.6s

Algorithm

intervals

Results

478.0ms	1761×	body	1280	valid
273.0ms	8058×	body	80	nan
228.0ms	1217×	body	640	valid
181.0ms	4113×	body	80	valid
79.0ms	621×	body	320	valid
22.0ms	288×	body	160	valid

Details

sample54.0ms

simplify2.0ms

prune3.0ms

localize6.0ms

rewrite12.0ms

series10.0ms

simplify44.0ms

prune90.0ms

localize10.0ms

rewrite73.0ms

series20.0ms

simplify34.0ms

prune184.0ms

localize5.0ms

rewrite7.0ms

series3.0ms

simplify34.0ms

prune32.0ms

localize7.0ms

rewrite11.0ms

series6.0ms

simplify47.0ms

prune65.0ms

regimes40.0ms

bsearch12.0ms

simplify1.0ms

end0.0ms

sample1.6s

Profiling