Details

analyze1.1s

Algorithm: search

sample207.0ms

Algorithm

intervals

Results

72.0ms	125×	body	1280	valid
34.0ms	29×	body	1280	nan
22.0ms	49×	body	640	valid
19.0ms	23×	body	640	nan
13.0ms	74×	body	80	overflowed
7.0ms	9×	body	640	invalid
6.0ms	21×	body	320	valid
6.0ms	15×	body	320	nan
4.0ms	51×	body	80	valid
2.0ms	6×	body	320	invalid
2.0ms	2×	body	1280	invalid
2.0ms	10×	body	160	valid
1.0ms	11×	body	80	invalid
1.0ms	5×	body	160	nan
1.0ms	14×	body	80	nan
0.0ms	1×	body	160	invalid

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

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(pow x (/ 1.0 n))
0.1b	(pow (+ x 1.0) (/ 1.0 n))
2.1b	(- (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))
8.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series71.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(pow x (/ 1.0 n))
17.0ms	(pow (+ x 1.0) (/ 1.0 n))
43.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

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

prune194.0ms

Filtered

71 candidates to 88 candidates (-23.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	82	6	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	6	89

Merged error: 23.7b

Counts

89 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

39×	`pow-unpow`
32×	`*-un-lft-identity`
30×	`add-sqr-sqrt`
28×	`add-cube-cbrt`
27×	`times-frac`
12×	`unpow-prod-down`
7×	`pow1` `add-exp-log`
6×	`add-log-exp`
4×	`add-cbrt-cube` `sqr-pow`
3×	`pow-to-exp` `pow-pow` `pow-exp` `div-inv` `difference-of-squares`
2×	`distribute-lft-out`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 98

Calls

4 calls:

3.0ms	(pow x (/ 1.0 n))
5.0ms	(pow (+ x 1.0) (/ 1.0 n))
7.0ms	(pow (+ x 1.0) (/ 1.0 n))
12.0ms	(- (* (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (pow x (/ 1.0 n)))

series84.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(pow x (/ 1.0 n))
17.0ms	(pow (+ x 1.0) (/ 1.0 n))
17.0ms	(pow (+ x 1.0) (/ 1.0 n))
37.0ms	(- (* (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (pow x (/ 1.0 n)))

simplify52.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	543	840
1	1902	764
2	5002	730

prune284.0ms

Filtered

87 candidates to 110 candidates (-26.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	109	7	116

Merged error: 23.7b

Counts

116 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
34×	`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` `distribute-lft-out`
3×	`flip3--` `flip--`
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 → 107

Calls

4 calls:

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

series182.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify58.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	602	1395
1	1914	1330
2	5001	1307

prune297.0ms

Filtered

92 candidates to 119 candidates (-29.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	116	3	119
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	117	9	126

Merged error: 23.7b

Counts

126 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))
2.1b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
2.1b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
2.1b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-sqr-sqrt`
40×	`unpow-prod-down`
36×	`difference-of-squares`
33×	`*-un-lft-identity`
24×	`sqr-pow`
15×	`log-prod`
12×	`distribute-lft-out--`
10×	`add-log-exp`
5×	`pow1` `add-exp-log` `add-cube-cbrt`
4×	`flip3--` `add-cbrt-cube` `flip--` `distribute-lft-out`
3×	`sub-neg` `diff-log`
2×	`log-div`
1×	`rem-log-exp` `log-pow`

Counts

4 → 98

Calls

4 calls:

9.0ms	(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)))
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)))

series203.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(log (- (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)))
37.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)))

simplify50.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	430	1523
1	1338	1445
2	5002	1395

prune585.0ms

Filtered

91 candidates to 110 candidates (-20.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	110	9	119

Merged error: 23.7b

Counts

119 → 9

regimes315.0ms

Accuracy

81.2% (2.0b remaining)

Error of 24.1b against oracle of 22.0b and baseline of 33.0b

bsearch142.0ms

Steps

Iters	Range		Point
7	99782360.69630784	15400081742.807508	390855483.7295583
7	-10755.95262535518	-122.10707919960919	-145.03692563495125

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	72
1	89	72
2	89	72

end0.0ms

analyze1.1s

Algorithm: search

sample6.6s

Algorithm

intervals

Results

2.2s	3817×	body	1280	valid
1.2s	1049×	body	1280	nan
694.0ms	1548×	body	640	valid
637.0ms	894×	body	640	nan
478.0ms	2678×	body	80	overflowed
224.0ms	724×	body	320	valid
213.0ms	486×	body	320	nan
181.0ms	247×	body	640	invalid
145.0ms	1568×	body	80	valid
111.0ms	90×	body	1280	invalid
70.0ms	170×	body	320	invalid
68.0ms	343×	body	160	valid
60.0ms	247×	body	160	nan
36.0ms	579×	body	80	nan
30.0ms	236×	body	80	invalid
18.0ms	74×	body	160	invalid

Details

analyze1.1s

sample207.0ms

simplify31.0ms

prune3.0ms

localize8.0ms

rewrite19.0ms

series71.0ms

simplify48.0ms

prune194.0ms

localize11.0ms

rewrite31.0ms

series84.0ms

simplify52.0ms

prune284.0ms

localize11.0ms

rewrite38.0ms

series182.0ms

simplify58.0ms

prune297.0ms

localize16.0ms

rewrite42.0ms

series203.0ms

simplify50.0ms

prune585.0ms

regimes315.0ms

bsearch142.0ms

simplify2.0ms

end0.0ms

analyze1.1s

sample6.6s

Profiling