Details

sample42.0ms

Algorithm

intervals

Results

21.0ms

256×

body

valid

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

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

143×	`*-un-lft-identity`
78×	`times-frac`
69×	`add-sqr-sqrt`
53×	`add-cube-cbrt`
48×	`distribute-lft-out--`
28×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
24×	`associate-/l*`
11×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
9×	`distribute-lft-out`
8×	`difference-of-squares`
6×	`add-log-exp`
4×	`pow1` `neg-mul-1` `associate-/r/`
3×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv`
2×	`associate-/l/` `distribute-neg-frac`
1×	`+-commutative` `neg-sub0` `flip3--` `div-sub` `distribute-frac-neg` `sum-log` `flip--`

Counts

4 → 169

Calls

4 calls:

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

series389.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
130.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
133.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
59.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)

simplify58.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	671	1910
1	2007	1803
2	5001	1802

prune697.0ms

Filtered

181 candidates to 121 candidates (66.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	177	4	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	178	4	182

Merged error: 0b

Counts

182 → 4

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

157×	`*-un-lft-identity`
92×	`times-frac`
85×	`add-sqr-sqrt`
62×	`add-cube-cbrt`
48×	`distribute-lft-out--`
28×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
24×	`associate-/l*`
21×	`add-exp-log`
18×	`associate-r`
15×	`add-cbrt-cube`
11×	`associate-/r*` `distribute-lft-out`
8×	`difference-of-squares`
7×	`pow1`
6×	`div-exp` `associate-/r/`
4×	`cbrt-undiv` `neg-mul-1` `prod-exp` `div-inv` `add-log-exp`
3×	`frac-2neg` `flip3-+` `associate-l` `clear-num` `flip-+` `unswap-sqr`
2×	`rec-exp` `1-exp` `cbrt-unprod` `associate-/l/` `distribute-neg-frac`
1×	`neg-sub0` `flip3--` `pow-flip` `div-sub` `associate-r/` `distribute-frac-neg` `pow-prod-down` `un-div-inv` `-commutative` `flip--` `inv-pow`

Counts

4 → 202

Calls

4 calls:

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

series424.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(* NdChar (/ 1 (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))))
99.0ms	(/ 1 (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
137.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
56.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)

simplify71.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	775	2248
1	2691	2076
2	5001	2038

prune742.0ms

Filtered

214 candidates to 130 candidates (60.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	214	4	218

Merged error: 0b

Counts

218 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

143×	`*-un-lft-identity`
78×	`times-frac`
69×	`add-sqr-sqrt`
53×	`add-cube-cbrt`
48×	`distribute-lft-out--`
28×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
24×	`associate-/l*`
12×	`add-exp-log`
11×	`associate-/r*`
10×	`add-cbrt-cube`
9×	`distribute-lft-out`
8×	`difference-of-squares`
6×	`add-log-exp`
5×	`pow1`
4×	`neg-mul-1` `div-exp` `associate-/r/`
3×	`cbrt-undiv` `frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv`
2×	`associate-/l/` `distribute-neg-frac`
1×	`+-commutative` `neg-sub0` `rec-exp` `flip3--` `pow-flip` `1-exp` `div-sub` `distribute-frac-neg` `sum-log` `flip--` `inv-pow`

Counts

4 → 173

Calls

4 calls:

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

series361.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
102.0ms	(/ 1 (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
130.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
60.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)

simplify58.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	645	1912
1	1985	1797
2	5001	1774

prune671.0ms

Filtered

185 candidates to 114 candidates (61.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	185	0	185
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	185	4	189

Merged error: 0b

Counts

189 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

199×	`*-un-lft-identity`
162×	`times-frac`
109×	`add-sqr-sqrt`
93×	`add-cube-cbrt`
48×	`distribute-lft-out--`
28×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
24×	`associate-/l*`
23×	`associate-/r*`
19×	`add-exp-log`
17×	`distribute-lft-out`
13×	`add-cbrt-cube`
9×	`div-exp`
8×	`difference-of-squares`
7×	`div-inv`
6×	`add-log-exp`
5×	`pow1` `cbrt-undiv`
4×	`neg-mul-1`
3×	`frac-2neg` `clear-num` `associate-/r/`
2×	`rec-exp` `flip3-+` `1-exp` `flip-+` `associate-/l/` `distribute-neg-frac`
1×	`+-commutative` `neg-sub0` `flip3--` `pow-flip` `div-sub` `distribute-frac-neg` `sum-log` `flip--` `inv-pow`

Counts

4 → 224

Calls

4 calls:

12.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
15.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
16.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
23.0ms	(/ 1 (/ (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) NdChar))

series404.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
126.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
58.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
153.0ms	(/ 1 (/ (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) NdChar))

simplify77.0ms

Algorithm

egg-herbie

Counts

236 → 236

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	867	2880
1	3068	2683
2	5002	2576

prune726.0ms

Filtered

236 candidates to 131 candidates (55.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	236	0	236
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	236	4	240

Merged error: 0b

Counts

240 → 4

regimes345.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	40	18
1	40	18

end0.0ms

sample1.3s

Algorithm

intervals

Results

919.0ms	8000×	body	80	valid
1.0ms	2×	body	5120	exit

Details

sample42.0ms

simplify44.0ms

prune5.0ms

localize27.0ms

rewrite65.0ms

series389.0ms

simplify58.0ms

prune697.0ms

localize28.0ms

rewrite83.0ms

series424.0ms

simplify71.0ms

prune742.0ms

localize23.0ms

rewrite71.0ms

series361.0ms

simplify58.0ms

prune671.0ms

localize23.0ms

rewrite76.0ms

series404.0ms

simplify77.0ms

prune726.0ms

regimes345.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling