Details

sample241.0ms

Algorithm

intervals

Results

73.0ms	132×	body	1280	valid
35.0ms	32×	body	1280	nan
31.0ms	56×	body	640	valid
22.0ms	33×	body	640	nan
17.0ms	118×	body	80	overflowed
11.0ms	96×	body	80	valid
10.0ms	193×	body	80	nan
10.0ms	32×	body	320	valid
5.0ms	13×	body	320	nan
2.0ms	11×	body	160	valid
2.0ms	6×	body	160	nan

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

Filtered

1 candidates to 0 candidates (100.0%)

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
26×	`pow-unpow`
19×	`add-cube-cbrt`
18×	`times-frac`
17×	`unpow-prod-down`
9×	`difference-of-squares`
8×	`sqr-pow`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`add-cbrt-cube` `distribute-lft-out--`
2×	`pow-to-exp` `pow-pow` `pow-exp` `div-inv` `distribute-lft-out`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 79

Calls

3 calls:

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

series76.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(pow x (/ 1.0 n))
18.0ms	(pow (+ x 1.0) (/ 1.0 n))
45.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify47.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	552	688
1	1885	669
2	5002	641

prune186.0ms

Filtered

88 candidates to 71 candidates (19.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	83	5	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	5	89

Merged error: 23.7b

Counts

89 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow x (/ 1.0 n))
0.0b	(pow (+ x 1.0) (/ 1.0 n))
1.8b	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
1.9b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
27×	`unpow-prod-down`
26×	`pow-unpow`
22×	`add-cube-cbrt`
18×	`times-frac` `difference-of-squares`
16×	`log-pow`
15×	`exp-prod`
14×	`sqr-pow`
7×	`pow1`
6×	`add-exp-log` `distribute-lft-out--` `add-log-exp`
5×	`log-prod`
4×	`add-cbrt-cube`
3×	`distribute-lft-out`
2×	`pow-to-exp` `sub-neg` `pow-pow` `exp-sum` `pow-exp` `div-inv`
1×	`log-div` `flip3--` `exp-diff` `diff-log` `rem-log-exp` `flip--`

Counts

4 → 109

Calls

4 calls:

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

series111.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(pow x (/ 1.0 n))
18.0ms	(pow (+ x 1.0) (/ 1.0 n))
41.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
39.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify52.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	617	997
1	2043	954
2	5002	926

prune281.0ms

Filtered

121 candidates to 96 candidates (20.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	120	6	126

Merged error: 23.7b

Counts

126 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 118

Calls

4 calls:

9.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)))
11.0ms	(log (sqrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
14.0ms	(log (sqrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

series296.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(- (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)))
84.0ms	(log (sqrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
129.0ms	(log (sqrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

simplify139.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	403	1512
1	1109	1414
2	4713	1376
3	5002	1376

prune512.0ms

Filtered

130 candidates to 102 candidates (21.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	130	6	136

Merged error: 23.6b

Counts

136 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

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

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

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

series258.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
39.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
89.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
89.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

simplify41.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	387	1374
1	1230	1276
2	5001	1242

prune402.0ms

Filtered

98 candidates to 80 candidates (18.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	96	8	104

Merged error: 23.5b

Counts

104 → 8

regimes360.0ms

Accuracy

83.6% (2.0b remaining)

Error of 23.5b against oracle of 21.5b and baseline of 33.5b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	59
1	74	59
2	74	59

end0.0ms

sample7.4s

Algorithm

intervals

Results

2.2s	3877×	body	1280	valid
1.2s	1116×	body	1280	nan
831.0ms	1794×	body	640	valid
626.0ms	896×	body	640	nan
590.0ms	3983×	body	80	overflowed
327.0ms	6184×	body	80	nan
319.0ms	3140×	body	80	valid
288.0ms	904×	body	320	valid
198.0ms	481×	body	320	nan
92.0ms	470×	body	160	valid
49.0ms	209×	body	160	nan

Details

sample241.0ms

simplify31.0ms

prune3.0ms

localize8.0ms

rewrite19.0ms

series76.0ms

simplify47.0ms

prune186.0ms

localize10.0ms

rewrite32.0ms

series111.0ms

simplify52.0ms

prune281.0ms

localize13.0ms

rewrite48.0ms

series296.0ms

simplify139.0ms

prune512.0ms

localize15.0ms

rewrite42.0ms

series258.0ms

simplify41.0ms

prune402.0ms

regimes360.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample7.4s

Profiling