Details

sample52.0ms

Algorithm

intervals

Results

22.0ms	255×	body	80	valid
0.0ms	1×	body	320	valid

simplify43.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	17
1	120	17
2	311	17
3	677	17
4	1422	17
5	2726	17
6	5001	17

prune7.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: 0.1b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
0.0b	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
0.0b	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
0.1b	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

342×	`*-un-lft-identity`
162×	`times-frac`
118×	`add-sqr-sqrt`
90×	`add-cube-cbrt`
89×	`exp-prod`
84×	`distribute-lft-out` `distribute-lft-out--`
70×	`distribute-rgt-neg-in`
49×	`distribute-lft-neg-in`
27×	`associate-/l*`
14×	`difference-of-squares`
8×	`add-exp-log` `div-sub` `add-cbrt-cube`
7×	`neg-mul-1`
6×	`associate-/r*` `add-log-exp`
4×	`pow1` `neg-sub0` `exp-diff` `div-inv` `associate-/l/`
2×	`cbrt-undiv` `associate-+r-` `frac-2neg` `distribute-frac-neg` `div-exp` `unsub-neg` `clear-num` `rem-exp-log` `distribute-neg-frac`
1×	`exp-neg` `flip3--` `flip3-+` `flip--` `flip-+`

Counts

4 → 257

Calls

4 calls:

14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
15.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
13.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
16.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))

series84.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
17.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
23.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
24.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify57.0ms

Algorithm

egg-herbie

Counts

269 → 269

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	533	1969
1	1922	1874
2	5002	1863

prune259.0ms

Filtered

149 candidates to 269 candidates (-80.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	266	3	269
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	267	3	270

Merged error: 0.0b

Counts

270 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
0.0b	(/ (- (- (- Ec Vef) EDonor) mu) KbT)
0.0b	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
0.0b	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

245×	`*-un-lft-identity`
96×	`times-frac`
84×	`distribute-lft-out`
70×	`add-sqr-sqrt`
56×	`add-cube-cbrt`
42×	`distribute-lft-out--`
34×	`exp-prod`
25×	`pow-unpow`
21×	`distribute-rgt-neg-in`
16×	`associate-/l*`
8×	`add-exp-log` `div-sub` `add-cbrt-cube`
7×	`difference-of-squares`
6×	`associate-/r*`
5×	`pow1` `add-log-exp`
4×	`pow-pow` `div-inv` `associate-/l/`
3×	`unpow-prod-down` `exp-diff`
2×	`cbrt-undiv` `neg-sub0` `associate-+r-` `frac-2neg` `div-exp` `unsub-neg` `clear-num`
1×	`pow-to-exp` `flip3--` `flip3-+` `pow-exp` `flip--` `flip-+` `rem-exp-log` `pow-sub` `sqr-pow`

Counts

4 → 187

Calls

4 calls:

14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
13.0ms	(/ (- (- (- Ec Vef) EDonor) mu) KbT)
13.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
12.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

series89.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
17.0ms	(/ (- (- (- Ec Vef) EDonor) mu) KbT)
23.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
32.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

simplify60.0ms

Algorithm

egg-herbie

Counts

199 → 199

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	515	1393
1	2090	1306
2	5001	1297

prune247.0ms

Filtered

111 candidates to 199 candidates (-79.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	198	1	199
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	199	3	202

Merged error: 0.0b

Counts

202 → 3

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
0.0b	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
0.0b	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
0.0b	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

191×	`*-un-lft-identity`
90×	`times-frac`
75×	`pow-unpow`
74×	`add-sqr-sqrt`
56×	`add-cube-cbrt`
54×	`distribute-lft-out--`
40×	`exp-prod`
36×	`distribute-lft-out`
12×	`pow-pow`
9×	`unpow-prod-down` `distribute-rgt-neg-in` `difference-of-squares`
7×	`pow1`
6×	`div-sub`
5×	`add-log-exp`
4×	`add-exp-log` `add-cbrt-cube` `div-inv`
3×	`pow-to-exp` `exp-diff` `pow-exp` `pow-sub` `sqr-pow`
1×	`neg-sub0` `associate-+r-` `unsub-neg` `rem-exp-log`

Counts

4 → 171

Calls

4 calls:

15.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
12.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
12.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
12.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

series113.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
33.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
28.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
29.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

simplify93.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 3 (78.0ms)

Iter	Nodes	Cost
0	313	1244
1	1031	1210
2	4276	1210
3	5001	1209

prune673.0ms

Filtered

111 candidates to 183 candidates (-64.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	182	1	183
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	183	3	186

Merged error: 0.0b

Counts

186 → 3

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
0.0b	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
0.0b	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
0.1b	(pow (exp 1) (/ (* -1 (- (- (- Ec Vef) EDonor) mu)) KbT))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

155×	`*-un-lft-identity`
72×	`times-frac`
59×	`add-sqr-sqrt`
57×	`pow-unpow`
47×	`add-cube-cbrt`
40×	`exp-prod`
36×	`distribute-lft-out` `distribute-lft-out--`
12×	`pow-pow`
9×	`unpow-prod-down` `distribute-rgt-neg-in`
7×	`pow1`
6×	`difference-of-squares`
5×	`div-sub` `add-log-exp`
4×	`add-exp-log` `add-cbrt-cube` `div-inv`
3×	`pow-to-exp` `exp-diff` `pow-exp` `sqr-pow`
2×	`pow-sub`
1×	`neg-sub0` `pow-neg` `associate-+r-` `mul-1-neg` `distribute-frac-neg` `unsub-neg` `rem-exp-log`

Counts

4 → 153

Calls

4 calls:

14.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
13.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
12.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
9.0ms	(pow (exp 1) (/ (* -1 (- (- (- Ec Vef) EDonor) mu)) KbT))

series109.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
28.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
32.0ms	(pow (exp -1) (/ (- (- (- Ec Vef) EDonor) mu) KbT))
26.0ms	(pow (exp 1) (/ (* -1 (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify42.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	408	1137
1	1466	1098
2	5002	1098

prune452.0ms

Filtered

105 candidates to 165 candidates (-57.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	164	1	165
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	165	3	168

Merged error: 0.0b

Counts

168 → 3

regimes876.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	45
1	52	45
2	52	45

end0.0ms

sample1.4s

Algorithm

intervals

Results

694.0ms	7999×	body	80	valid
1.0ms	1×	body	5120	exit
0.0ms	1×	body	1280	valid

Details

sample52.0ms

simplify43.0ms

prune7.0ms

localize26.0ms

rewrite76.0ms

series84.0ms

simplify57.0ms

prune259.0ms

localize30.0ms

rewrite62.0ms

series89.0ms

simplify60.0ms

prune247.0ms

localize29.0ms

rewrite60.0ms

series113.0ms

simplify93.0ms

prune673.0ms

localize36.0ms

rewrite56.0ms

series109.0ms

simplify42.0ms

prune452.0ms

regimes876.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling