Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	62.4%	12.6%	5
25%	56.2%	18.8%	6
28.1%	50%	22%	7
28.1%	46.8%	25.1%	8
29.7%	41.4%	29%	9
29.7%	39.4%	30.9%	10
31.1%	35.8%	33.1%	11
31.1%	34.4%	34.5%	12
31.5%	32.9%	35.6%	13
31.5%	32.1%	36.4%	14

sample199.0ms

Algorithm

intervals

Results

68.0ms	116×	body	1280	valid
27.0ms	25×	body	1280	nan
20.0ms	44×	body	640	valid
19.0ms	28×	body	640	nan
19.0ms	107×	body	80	overflowed
6.0ms	21×	body	320	valid
6.0ms	13×	body	320	nan
5.0ms	59×	body	80	valid
4.0ms	3×	body	1280	invalid
3.0ms	16×	body	160	valid
2.0ms	5×	body	320	invalid
2.0ms	3×	body	640	invalid
1.0ms	7×	body	160	nan
1.0ms	10×	body	80	invalid
1.0ms	21×	body	80	nan
0.0ms	1×	body	160	invalid

simplify40.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5058	13

prune6.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.8b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(pow x (/ 1.0 n))
3.1b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
13×	`unpow-prod-down` `pow-unpow`
10×	`add-cube-cbrt`
9×	`times-frac` `difference-of-squares`
7×	`sqr-pow`
4×	`add-log-exp`
3×	`pow1` `add-exp-log` `distribute-lft-out--`
2×	`add-cbrt-cube`
1×	`pow-to-exp` `sub-neg` `flip3--` `pow-pow` `diff-log` `pow-exp` `flip--` `div-inv` `distribute-lft-out`

Counts

2 → 50

Calls

2 calls:

3.0ms	(pow x (/ 1.0 n))
9.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series50.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(pow x (/ 1.0 n))
38.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify44.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5024	882

prune124.0ms

Filtered

47 candidates to 56 candidates (-19.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	51	5	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	52	5	57

Merged error: 20.9b

Counts

57 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow x (/ 1.0 n))
0.0b	(log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
0.1b	(exp (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
3.1b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
33×	`unpow-prod-down`
30×	`log-prod`
27×	`difference-of-squares`
19×	`sqr-pow`
15×	`add-cube-cbrt` `exp-sum`
13×	`pow-unpow`
9×	`times-frac` `distribute-lft-out--`
7×	`pow1`
6×	`add-exp-log` `add-log-exp`
4×	`log-div` `exp-prod` `add-cbrt-cube`
3×	`flip3--` `flip--` `distribute-lft-out`
2×	`exp-diff` `log-pow`
1×	`pow-to-exp` `sub-neg` `pow-pow` `diff-log` `rem-log-exp` `pow-exp` `div-inv` `rem-exp-log`

Counts

4 → 105

Calls

4 calls:

3.0ms	(pow x (/ 1.0 n))
9.0ms	(log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
10.0ms	(exp (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
9.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series175.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(pow x (/ 1.0 n))
88.0ms	(log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
37.0ms	(exp (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
40.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify51.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4952	2357
1	4952	2357

prune265.0ms

Filtered

91 candidates to 117 candidates (-28.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	114	3	117
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	115	7	122

Merged error: 20.9b

Counts

122 → 7

localize8.0ms

Local error

Found 1 expressions with local error:

0.4b	(/ 1.0 (* x n))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

4.0ms

(/ 1.0 (* x n))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(/ 1.0 (* x n))

simplify85.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5075	152

prune59.0ms

Filtered

16 candidates to 24 candidates (-50.0%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	19	5	24
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	19	12	31

Merged error: 20.7b

Counts

31 → 12

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ (/ 1.0 x) n)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
43×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`associate-/l*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
3×	`cbrt-undiv` `div-exp` `associate-/r*`
1×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`

Counts

1 → 70

Calls

1 calls:

6.0ms

(/ (/ 1.0 x) n)

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(/ (/ 1.0 x) n)

simplify78.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4733	781
1	4733	781

prune90.0ms

Filtered

56 candidates to 73 candidates (-30.4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	66	7	73
Fresh	2	7	9
Picked	0	1	1
Done	1	1	2
Total	69	16	85

Merged error: 20.7b

Counts

85 → 16

regimes442.0ms

Accuracy

81.3% (2.3b remaining)

Error of 23.5b against oracle of 21.2b and baseline of 33.3b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	81
1	40	81

end0.0ms

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	62.4%	12.6%	5
25%	56.2%	18.8%	6
28.1%	50%	22%	7
28.1%	46.8%	25.1%	8
29.7%	41.4%	29%	9
29.7%	39.4%	30.9%	10
31.1%	35.8%	33.1%	11
31.1%	34.4%	34.5%	12
31.5%	32.9%	35.6%	13
31.5%	32.1%	36.4%	14

sample6.7s

Algorithm

intervals

Results

2.1s	3768×	body	1280	valid
1.2s	1128×	body	1280	nan
718.0ms	1561×	body	640	valid
640.0ms	882×	body	640	nan
505.0ms	2735×	body	80	overflowed
212.0ms	673×	body	320	valid
200.0ms	461×	body	320	nan
162.0ms	238×	body	640	invalid
152.0ms	1641×	body	80	valid
123.0ms	92×	body	1280	invalid
74.0ms	172×	body	320	invalid
72.0ms	357×	body	160	valid
52.0ms	225×	body	160	nan
39.0ms	595×	body	80	nan
37.0ms	291×	body	80	invalid
20.0ms	83×	body	160	invalid

Details

analyze1.1s

sample199.0ms

simplify40.0ms

prune6.0ms

localize9.0ms

rewrite13.0ms

series50.0ms

simplify44.0ms

prune124.0ms

localize10.0ms

rewrite35.0ms

series175.0ms

simplify51.0ms

prune265.0ms

localize8.0ms

rewrite5.0ms

series3.0ms

simplify85.0ms

prune59.0ms

localize6.0ms

rewrite9.0ms

series3.0ms

simplify78.0ms

prune90.0ms

regimes442.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

analyze1.1s

sample6.7s

Profiling