Details

sample6.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

23.0ms

256×

body

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.0b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

277×	`*-un-lft-identity`
135×	`times-frac`
105×	`add-sqr-sqrt`
84×	`distribute-lft-out--`
77×	`add-cube-cbrt`
61×	`distribute-rgt-neg-in`
58×	`exp-prod`
49×	`distribute-lft-neg-in` `distribute-lft-out`
27×	`associate-/l*`
14×	`difference-of-squares`
8×	`add-exp-log` `add-cbrt-cube`
7×	`neg-mul-1` `add-log-exp`
6×	`associate-/r*`
5×	`div-sub`
4×	`pow1` `associate-/l/`
3×	`neg-sub0` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `distribute-frac-neg` `div-exp` `clear-num` `flip-+` `distribute-neg-frac`
1×	`+-commutative` `exp-neg` `associate-+r-` `flip3--` `exp-diff` `unsub-neg` `sum-log` `flip--` `rem-exp-log`

Counts

4 → 227

Calls

4 calls:

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

series81.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))
22.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
15.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
19.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

simplify62.0ms

Algorithm

egg-herbie

Counts

239 → 239

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	559	1864
1	1972	1780
2	5001	1768

prune240.0ms

Filtered

140 candidates to 239 candidates (-70.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	237	2	239
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	238	2	240

Merged error: 0.0b

Counts

240 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

198×	`*-un-lft-identity`
84×	`times-frac`
65×	`add-sqr-sqrt`
56×	`distribute-lft-out`
51×	`add-cube-cbrt`
42×	`distribute-lft-out--`
25×	`exp-prod`
19×	`associate-/l*`
12×	`distribute-rgt-neg-in`
11×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
8×	`div-inv`
7×	`difference-of-squares`
5×	`div-sub` `add-log-exp`
4×	`pow1` `associate-/l/`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
2×	`flip3-+` `associate-/r/` `flip-+`
1×	`neg-sub0` `associate-+r-` `flip3--` `exp-diff` `unsub-neg` `flip--` `rem-exp-log`

Counts

4 → 173

Calls

4 calls:

18.0ms	(/ NdChar (+ 1.0 (/ 1 (exp (/ (- (- (- Ec Vef) EDonor) mu) KbT)))))
11.0ms	(exp (/ (- (- (- Ec Vef) EDonor) mu) KbT))
12.0ms	(/ (- (- (- Ec Vef) EDonor) mu) KbT)
13.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

series124.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(/ NdChar (+ 1.0 (/ 1 (exp (/ (- (- (- Ec Vef) EDonor) mu) KbT)))))
22.0ms	(exp (/ (- (- (- Ec Vef) EDonor) mu) KbT))
15.0ms	(/ (- (- (- Ec Vef) EDonor) mu) KbT)
15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

simplify59.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	556	1527
1	2031	1408
2	5001	1398

prune191.0ms

Filtered

110 candidates to 185 candidates (-68.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	184	3	187

Merged error: 0.0b

Counts

187 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

99×	`*-un-lft-identity`
51×	`distribute-lft-out`
27×	`times-frac`
21×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`cbrt-prod` `distribute-rgt-neg-in`
9×	`associate-/l*`
6×	`add-exp-log` `cbrt-div` `add-cbrt-cube`
4×	`pow1` `flip3-+` `flip-+` `add-log-exp`
3×	`pow1/3` `div-sub` `associate-/r*`
2×	`associate-/l/`
1×	`cbrt-undiv` `neg-sub0` `associate-+r-` `frac-2neg` `div-exp` `unsub-neg` `clear-num` `div-inv`

Counts

4 → 98

Calls

4 calls:

13.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
13.0ms	(cbrt (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
12.0ms	(cbrt (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
16.0ms	(cbrt (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))

series228.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
69.0ms	(cbrt (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
72.0ms	(cbrt (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
72.0ms	(cbrt (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))

simplify42.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	313	1217
1	1213	1102
2	5002	1068

prune186.0ms

Filtered

71 candidates to 110 candidates (-54.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	110	3	113

Merged error: 0.0b

Counts

113 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (- (- (- Ec Vef) EDonor) mu) KbT))
0.0b	(/ (- (- (- Ec Vef) EDonor) mu) KbT)
0.0b	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
0.2b	(* (sqrt NdChar) (/ (sqrt NdChar) (+ 1.0 (/ 1 (exp (/ (- (- (- Ec Vef) EDonor) mu) KbT))))))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

213×	`*-un-lft-identity`
103×	`times-frac`
90×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `distribute-lft-out`
42×	`distribute-lft-out--`
36×	`associate-r`
25×	`exp-prod`
23×	`sqrt-prod`
16×	`associate-/l*`
13×	`add-exp-log` `add-cbrt-cube`
12×	`distribute-rgt-neg-in`
10×	`div-inv`
7×	`difference-of-squares`
6×	`pow1` `associate-l` `associate-/r*` `unswap-sqr`
5×	`div-sub` `add-log-exp`
4×	`associate-/l/`
3×	`cbrt-undiv` `div-exp`
2×	`frac-2neg` `flip3-+` `prod-exp` `clear-num` `associate-/r/` `cbrt-unprod` `flip-+`
1×	`neg-sub0` `associate-+r-` `flip3--` `exp-diff` `associate-r/` `unsub-neg` `pow-prod-down` `-commutative` `flip--` `rem-exp-log`

Counts

4 → 198

Calls

4 calls:

16.0ms	(exp (/ (- (- (- Ec Vef) EDonor) mu) KbT))
13.0ms	(/ (- (- (- Ec Vef) EDonor) mu) KbT)
13.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
25.0ms	(* (sqrt NdChar) (/ (sqrt NdChar) (+ 1.0 (/ 1 (exp (/ (- (- (- Ec Vef) EDonor) mu) KbT))))))

series128.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(exp (/ (- (- (- Ec Vef) EDonor) mu) KbT))
16.0ms	(/ (- (- (- Ec Vef) EDonor) mu) KbT)
15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
75.0ms	(* (sqrt NdChar) (/ (sqrt NdChar) (+ 1.0 (/ 1 (exp (/ (- (- (- Ec Vef) EDonor) mu) KbT))))))

simplify83.0ms

Algorithm

egg-herbie

Counts

210 → 210

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	741	1848
1	3102	1659
2	5001	1634

prune197.0ms

Filtered

118 candidates to 210 candidates (-78.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	210	0	210
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	210	3	213

Merged error: 0.0b

Counts

213 → 3

regimes883.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	17
1	36	17

end0.0ms

sample8.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

778.0ms	8000×	body	80	valid
3.0ms	4×	body	5120	exit

Details

sample6.6s

simplify43.0ms

prune7.0ms

localize22.0ms

rewrite70.0ms

series81.0ms

simplify62.0ms

prune240.0ms

localize22.0ms

rewrite61.0ms

series124.0ms

simplify59.0ms

prune191.0ms

localize28.0ms

rewrite59.0ms

series228.0ms

simplify42.0ms

prune186.0ms

localize28.0ms

rewrite76.0ms

series128.0ms

simplify83.0ms

prune197.0ms

regimes883.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample8.1s

Profiling