Details

sample48.0ms

Algorithm

intervals

Results

26.0ms	255×	body	80	valid
0.0ms	1×	body	640	valid

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

prune5.0ms

Filtered

1 candidates to 0 candidates (0.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: 0.0b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

256×	`*-un-lft-identity`
120×	`times-frac`
89×	`exp-prod`
88×	`distribute-lft-out`
80×	`add-sqr-sqrt`
68×	`add-cube-cbrt`
42×	`distribute-rgt-neg-in`
36×	`distribute-lft-out--`
21×	`distribute-lft-neg-in`
12×	`associate-/l*`
8×	`add-exp-log` `add-cbrt-cube`
7×	`div-sub` `associate-/r*`
6×	`add-log-exp` `difference-of-squares`
4×	`pow1` `exp-diff` `div-inv`
3×	`neg-sub0` `neg-mul-1`
2×	`cbrt-undiv` `associate-+r-` `frac-2neg` `flip3-+` `div-exp` `unsub-neg` `clear-num` `associate-/r/` `flip-+` `rem-exp-log` `associate-/l/`
1×	`exp-neg` `distribute-frac-neg`

Counts

4 → 199

Calls

4 calls:

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

series304.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
59.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
55.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
135.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))

simplify55.0ms

Algorithm

egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	573	1612
1	1944	1513
2	5002	1500

prune668.0ms

Filtered

211 candidates to 118 candidates (55.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	208	3	211
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	209	3	212

Merged error: 0.0b

Counts

212 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

172×	`*-un-lft-identity`
93×	`times-frac`
92×	`exp-prod`
68×	`add-sqr-sqrt`
56×	`add-cube-cbrt`
40×	`distribute-lft-out`
36×	`distribute-lft-out--`
30×	`distribute-rgt-neg-in`
21×	`distribute-lft-neg-in`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
5×	`pow1`
4×	`exp-diff` `div-sub` `associate-/r*` `log-pow`
3×	`neg-mul-1` `log-prod` `div-inv` `associate-/l*`
2×	`neg-sub0` `associate-/r/` `rem-exp-log`
1×	`cbrt-undiv` `exp-neg` `associate-+r-` `frac-2neg` `flip3-+` `distribute-frac-neg` `div-exp` `rem-log-exp` `unsub-neg` `clear-num` `flip-+`

Counts

4 → 158

Calls

4 calls:

15.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
14.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
19.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
11.0ms	(log (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))

series308.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
58.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
129.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
61.0ms	(log (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))

simplify82.0ms

Algorithm

egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 3 (68.0ms)

Iter	Nodes	Cost
0	496	1320
1	1352	1247
2	3934	1242
3	5001	1234

prune626.0ms

Filtered

170 candidates to 103 candidates (60.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	170	3	173

Merged error: 0.0b

Counts

173 → 3

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt NdChar) (cbrt NdChar))
0.6b	(cbrt NdChar)
0.6b	(cbrt NdChar)
0.6b	(cbrt NdChar)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt NdChar) (cbrt NdChar))
1.0ms	(cbrt NdChar)
1.0ms	(cbrt NdChar)
1.0ms	(cbrt NdChar)

series743.0ms

Counts

4 → 12

Calls

4 calls:

204.0ms	(* (cbrt NdChar) (cbrt NdChar))
178.0ms	(cbrt NdChar)
183.0ms	(cbrt NdChar)
178.0ms	(cbrt NdChar)

simplify88.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	115	288
1	472	261
2	2959	238
3	5003	235

prune444.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	85	3	88

Merged error: 0.0b

Counts

88 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

187×	`*-un-lft-identity`
117×	`times-frac`
103×	`add-sqr-sqrt`
98×	`sqrt-prod`
75×	`add-cube-cbrt`
62×	`distribute-lft-out`
31×	`exp-prod`
29×	`swap-sqr`
21×	`associate-r` `associate-l`
19×	`pow1`
12×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
9×	`distribute-rgt-neg-in` `unswap-sqr`
8×	`sqrt-pow1` `pow1/2` `associate-/r*`
7×	`div-inv`
6×	`flip3-+` `flip-+` `associate-/l*`
5×	`pow-prod-up` `add-log-exp`
4×	`sqrt-div`
3×	`exp-diff` `div-sub` `pow-prod-down` `pow-sqr`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`pow2` `neg-sub0` `frac-times` `associate-+r-` `pow-plus` `sqrt-unprod` `associate-r/` `unsub-neg` `associate-l/` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod` `rem-exp-log`

Counts

4 → 216

Calls

4 calls:

14.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
15.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
18.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
42.0ms	(* (sqrt (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))) (sqrt (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))))

series495.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
131.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
137.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
167.0ms	(* (sqrt (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))) (sqrt (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))))

simplify86.0ms

Algorithm

egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	546	3002
1	2275	2797
2	5001	2756

prune828.0ms

Filtered

228 candidates to 132 candidates (57.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	228	0	228
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	228	3	231

Merged error: 0.0b

Counts

231 → 3

regimes314.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	19
1	37	19

end0.0ms

sample1.1s

Algorithm

intervals

Results

734.0ms	7994×	body	80	valid
1.0ms	2×	body	640	valid
1.0ms	2×	body	320	valid
0.0ms	2×	body	160	valid

Details

sample48.0ms

simplify45.0ms

prune5.0ms

localize24.0ms

rewrite73.0ms

series304.0ms

simplify55.0ms

prune668.0ms

localize26.0ms

rewrite68.0ms

series308.0ms

simplify82.0ms

prune626.0ms

localize35.0ms

rewrite11.0ms

series743.0ms

simplify88.0ms

prune444.0ms

localize27.0ms

rewrite101.0ms

series495.0ms

simplify86.0ms

prune828.0ms

regimes314.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling