Details

Time bar (total: 4.1s)

sample69.0ms

Algorithm
intervals
Results
33.0ms256×body80valid

simplify59.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04917
112017
231117
367717
4142217
5272617
6500117

prune5.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
5×div-sub
4×div-inv associate-/l/
3×neg-sub0 frac-2neg clear-num
2×flip3-+ distribute-frac-neg associate-/r/ flip-+ distribute-neg-frac
1×exp-neg associate-+r- neg-mul-1 exp-prod flip3-- exp-diff unsub-neg flip-- associate-/l*
Counts
4 → 24
Calls
4 calls:
5.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
7.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
7.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
6.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series293.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
54.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
57.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
54.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify77.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0258204
1879201
24154197
35002197

prune166.0ms

Filtered
36 candidates to 29 candidates (80.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New34236
Fresh000
Picked101
Done000
Total35237

Merged error: 0.0b

Counts
37 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
5×div-sub
4×div-inv associate-/l/
3×neg-sub0 frac-2neg clear-num
2×flip3-+ distribute-frac-neg associate-/r/ flip-+ distribute-neg-frac
1×exp-neg associate-+r- neg-mul-1 exp-prod flip3-- exp-diff unsub-neg flip-- associate-/l* inv-pow
Counts
4 → 25
Calls
4 calls:
5.0ms
(/ 1 (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
7.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
7.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
6.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series257.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(/ 1 (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
52.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
53.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
56.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify72.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0234192
1823189
24025185
35002185

prune166.0ms

Filtered
37 candidates to 29 candidates (78.4%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New36137
Fresh011
Picked011
Done000
Total36339

Merged error: 0.0b

Counts
39 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-/l/
5×div-sub clear-num associate-/r/ div-inv
4×frac-2neg
3×neg-sub0
2×flip3-+ distribute-frac-neg flip-+ distribute-neg-frac
1×exp-neg associate-+r- neg-mul-1 exp-prod flip3-- exp-diff unsub-neg associate-/r* flip-- remove-double-div associate-/l* inv-pow
Counts
4 → 30
Calls
4 calls:
7.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
7.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
6.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
6.0ms
(/ 1 (/ (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))) NdChar))

series313.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
56.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
54.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
151.0ms
(/ 1 (/ (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))) NdChar))

simplify83.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0267231
1922227
24478223
35002223

prune185.0ms

Filtered
42 candidates to 33 candidates (78.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New42042
Fresh011
Picked011
Done011
Total42345

Merged error: 0.0b

Counts
45 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
1.1b
(+ (/ mu KbT) (/ EDonor KbT))
4.4b
(- (* 0.25 (/ (- Ec Vef) KbT)) (- (* 0.25 (+ (/ mu KbT) (/ EDonor KbT))) 0.5))
6.5b
(* NdChar (- (* 0.25 (/ (- Ec Vef) KbT)) (- (* 0.25 (+ (/ mu KbT) (/ EDonor KbT))) 0.5)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
34×associate-*r/
24×frac-sub
18×flip3-- flip--
15×clear-num
11×frac-2neg
10×associate-/l/
9×frac-add
6×associate--r+
5×distribute-rgt-in distribute-lft-in
4×sub-neg associate--l+ un-div-inv
3×+-commutative div-sub div-inv associate--r-
2×flip3-+ flip-+
1×neg-sub0 associate-+r- distribute-rgt-out unsub-neg *-commutative
Counts
4 → 65
Calls
4 calls:
7.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
4.0ms
(+ (/ mu KbT) (/ EDonor KbT))
13.0ms
(- (* 0.25 (/ (- Ec Vef) KbT)) (- (* 0.25 (+ (/ mu KbT) (/ EDonor KbT))) 0.5))
14.0ms
(* NdChar (- (* 0.25 (/ (- Ec Vef) KbT)) (- (* 0.25 (+ (/ mu KbT) (/ EDonor KbT))) 0.5)))

series378.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
15.0ms
(+ (/ mu KbT) (/ EDonor KbT))
108.0ms
(- (* 0.25 (/ (- Ec Vef) KbT)) (- (* 0.25 (+ (/ mu KbT) (/ EDonor KbT))) 0.5))
181.0ms
(* NdChar (- (* 0.25 (/ (- Ec Vef) KbT)) (- (* 0.25 (+ (/ mu KbT) (/ EDonor KbT))) 0.5)))

simplify151.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (131.0ms)

IterNodesCost
08011225
140831196
250011194

prune367.0ms

Filtered
77 candidates to 57 candidates (74.0%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New77077
Fresh000
Picked011
Done022
Total77380

Merged error: 0.0b

Counts
80 → 3

regimes338.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)

IterNodesCost
04018
14018

end0.0ms

sample932.0ms

Algorithm
intervals
Results
561.0ms7999×body80valid
0.0ms1×body640valid