Details

sample431.0ms

Algorithm

intervals

Results

124.0ms	128×	body	1280	valid
75.0ms	42×	body	1280	nan
48.0ms	54×	body	640	valid
36.0ms	29×	body	640	nan
35.0ms	136×	body	80	overflowed
20.0ms	114×	body	80	valid
17.0ms	185×	body	80	nan
14.0ms	25×	body	320	valid
10.0ms	14×	body	320	nan
4.0ms	13×	body	160	valid
3.0ms	7×	body	160	nan

simplify77.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4977	13
1	4977	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: 31.6b

Counts

2 → 1

localize15.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))
2.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

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

6.0ms	(pow x (/ 1.0 n))
10.0ms	(pow (+ x 1.0) (/ 1.0 n))
17.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series126.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(pow x (/ 1.0 n))
30.0ms	(pow (+ x 1.0) (/ 1.0 n))
74.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify92.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4985	1256
1	4985	1256

prune328.0ms

Filtered

71 candidates to 88 candidates (-23.9%)

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

Counts

89 → 5

localize19.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))
2.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
2.3b	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))

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

6.0ms	(pow x (/ 1.0 n))
10.0ms	(pow (+ x 1.0) (/ 1.0 n))
17.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
20.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))

series194.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(pow x (/ 1.0 n))
30.0ms	(pow (+ x 1.0) (/ 1.0 n))
69.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
72.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))

simplify85.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5051	1797

prune588.0ms

Filtered

96 candidates to 121 candidates (-26.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	121	5	126

Merged error: 21.9b

Counts

126 → 5

localize34.0ms

Local error

Found 4 expressions with local error:

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

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

21.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
21.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
21.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
20.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

series497.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
75.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
173.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
169.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

simplify214.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (189.0ms)

Iter	Nodes	Cost
0	4925	2058
1	4925	2058

prune892.0ms

Filtered

80 candidates to 98 candidates (-22.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	97	6	103

Merged error: 21.6b

Counts

103 → 6

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-prod`
22×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
15×	`cbrt-prod`
10×	`add-cube-cbrt` `unpow-prod-down`
9×	`difference-of-squares`
7×	`pow1` `add-exp-log`
6×	`exp-sum` `log-pow` `add-log-exp` `sqr-pow`
4×	`sub-neg` `add-cbrt-cube`
3×	`log-div` `cbrt-div` `exp-diff` `pow1/3` `rem-log-exp` `distribute-lft-out--`
1×	`flip3--` `diff-log` `flip--` `distribute-lft-out`

Counts

4 → 81

Calls

4 calls:

20.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
22.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
21.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
20.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

series583.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
167.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
158.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
178.0ms	(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

simplify225.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (201.0ms)

Iter	Nodes	Cost
0	4925	1909
1	4925	1909

prune1.1s

Filtered

74 candidates to 93 candidates (-25.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	93	6	99

Merged error: 21.6b

Counts

99 → 6

regimes743.0ms

Accuracy

81.9% (2.1b remaining)

Error of 24.2b against oracle of 22.1b and baseline of 33.6b

bsearch1.0ms

simplify15.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	296	127
1	296	127

end0.0ms

sample14.6s

Algorithm

intervals

Results

4.4s	3988×	body	1280	valid
2.4s	1123×	body	1280	nan
1.6s	1777×	body	640	valid
1.2s	865×	body	640	nan
1.2s	3957×	body	80	overflowed
631.0ms	3055×	body	80	valid
625.0ms	6083×	body	80	nan
552.0ms	896×	body	320	valid
373.0ms	446×	body	320	nan
153.0ms	405×	body	160	valid
91.0ms	208×	body	160	nan

Details

sample431.0ms

simplify77.0ms

prune6.0ms

localize15.0ms

rewrite37.0ms

series126.0ms

simplify92.0ms

prune328.0ms

localize19.0ms

rewrite58.0ms

series194.0ms

simplify85.0ms

prune588.0ms

localize34.0ms

rewrite88.0ms

series497.0ms

simplify214.0ms

prune892.0ms

localize37.0ms

rewrite91.0ms

series583.0ms

simplify225.0ms

prune1.1s

regimes743.0ms

bsearch1.0ms

simplify15.0ms

end0.0ms

sample14.6s

Profiling