Details

sample334.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 11.064556%

Guaranteed chance to sample good point: 41.333799%

Results

75.0ms	127×	body	1280	valid
42.0ms	42×	body	1280	nan
34.0ms	67×	body	640	valid
22.0ms	147×	body	80	overflowed
16.0ms	25×	body	640	nan
11.0ms	34×	body	320	valid
11.0ms	104×	body	80	valid
8.0ms	129×	body	80	nan
4.0ms	10×	body	320	nan
2.0ms	12×	body	160	valid
2.0ms	8×	body	160	nan

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	6
1	34	6
2	80	6
3	236	6
4	868	6
5	5001	6

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

Counts

2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

1.7b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
10×	`unpow-prod-down`
9×	`difference-of-squares`
8×	`*-un-lft-identity`
6×	`sqr-pow`
3×	`distribute-lft-out--` `add-log-exp`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out`

Counts

1 → 24

Calls

1 calls:

9.0ms

(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series43.0ms

Counts

1 → 3

Calls

1 calls:

42.0ms

(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify93.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	280	352
1	785	337
2	3548	329
3	5001	329

prune78.0ms

Filtered

23 candidates to 27 candidates (-17.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	23	4	27
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	24	4	28

Merged error: 22.4b

Counts

28 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

1.7b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
1.7b	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
20×	`unpow-prod-down`
18×	`*-un-lft-identity` `difference-of-squares`
16×	`log-pow`
15×	`exp-prod`
12×	`sqr-pow`
6×	`distribute-lft-out--`
5×	`log-prod`
4×	`add-cube-cbrt` `add-log-exp`
3×	`pow1`
2×	`add-exp-log` `sub-neg` `exp-sum` `add-cbrt-cube` `distribute-lft-out`
1×	`log-div` `flip3--` `exp-diff` `diff-log` `rem-log-exp` `flip--`

Counts

2 → 54

Calls

2 calls:

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

series76.0ms

Counts

2 → 6

Calls

2 calls:

38.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
38.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))

simplify109.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	348	661
1	991	622
2	4114	606
3	5001	606

prune144.0ms

Filtered

48 candidates to 60 candidates (-25.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	59	5	64

Merged error: 22.4b

Counts

64 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

1.7b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
1.7b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
1.7b	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
1.7b	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
20×	`unpow-prod-down`
18×	`difference-of-squares`
16×	`log-prod`
12×	`sqr-pow`
10×	`cbrt-prod`
8×	`add-cube-cbrt` `add-log-exp`
6×	`pow1` `add-exp-log` `distribute-lft-out--`
4×	`sub-neg` `exp-sum` `log-pow` `add-cbrt-cube`
2×	`log-div` `cbrt-div` `flip3--` `exp-diff` `pow1/3` `diff-log` `rem-log-exp` `flip--` `distribute-lft-out`

Counts

4 → 86

Calls

4 calls:

10.0ms	(- (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)))
10.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
12.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

series248.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
38.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
86.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
85.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

simplify42.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	387	1362
1	1158	1264
2	5001	1242

prune414.0ms

Filtered

80 candidates to 98 candidates (-22.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	96	7	103

Merged error: 22.2b

Counts

103 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
1.7b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
1.7b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
1.7b	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
20×	`unpow-prod-down`
18×	`difference-of-squares`
12×	`sqr-pow`
10×	`cbrt-prod`
8×	`log-prod` `add-log-exp`
7×	`add-cube-cbrt`
6×	`distribute-lft-out--`
5×	`pow1` `add-exp-log`
4×	`sub-neg` `exp-sum` `add-cbrt-cube`
2×	`cbrt-div` `flip3--` `exp-diff` `pow1/3` `diff-log` `log-pow` `flip--` `distribute-lft-out`
1×	`log-div` `rem-log-exp`

Counts

4 → 81

Calls

4 calls:

10.0ms	(cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
11.0ms	(- (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)))
10.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

series257.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(cbrt (exp (- (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)))
38.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
86.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

simplify41.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	409	1239
1	1230	1156
2	5001	1127

prune313.0ms

Filtered

77 candidates to 93 candidates (-20.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	88	5	93
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	91	9	100

Merged error: 22.2b

Counts

100 → 9

regimes445.0ms

Accuracy

81.8% (2.0b remaining)

Error of 24.5b against oracle of 22.5b and baseline of 33.7b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	50
1	63	50
2	66	50
3	66	50

end0.0ms

sample7.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 11.064556%

Guaranteed chance to sample good point: 41.333799%

Results

2.2s	3843×	body	1280	valid
1.3s	1163×	body	1280	nan
844.0ms	1791×	body	640	valid
641.0ms	905×	body	640	nan
623.0ms	4164×	body	80	overflowed
352.0ms	3207×	body	80	valid
296.0ms	919×	body	320	valid
234.0ms	3732×	body	80	nan
196.0ms	465×	body	320	nan
96.0ms	478×	body	160	valid
57.0ms	243×	body	160	nan

Details

sample334.0ms

simplify35.0ms

prune3.0ms

localize9.0ms

rewrite10.0ms

series43.0ms

simplify93.0ms

prune78.0ms

localize10.0ms

rewrite24.0ms

series76.0ms

simplify109.0ms

prune144.0ms

localize15.0ms

rewrite43.0ms

series248.0ms

simplify42.0ms

prune414.0ms

localize16.0ms

rewrite42.0ms

series257.0ms

simplify41.0ms

prune313.0ms

regimes445.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample7.5s

Profiling