Details

Time bar (total: 4.9s)

sample44.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify43.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04917
112017
231117
367717
4142517
5273317
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

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

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

series348.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
81.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
71.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
58.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify74.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 3 (70.0ms)

IterNodesCost
0266201
1923198
24373189
35001186

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

rewrite30.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)
10.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
6.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series276.0ms

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

simplify75.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 3 (71.0ms)

IterNodesCost
0241189
1863188
24236181
35001178

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

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

rewrite32.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:
12.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
7.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
6.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
7.0ms
(/ 1 (/ (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))) NdChar))

series320.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
60.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
58.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
149.0ms
(/ 1 (/ (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))) NdChar))

simplify83.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 3 (78.0ms)

IterNodesCost
0275228
1966224
24711215
35001214

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

localize25.0ms

Local error

Found 4 expressions with local error:

1.1b
(+ (/ mu KbT) (/ EDonor KbT))
2.2b
(+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT)))
3.2b
(- (/ Ec KbT) (+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT))))
6.5b
(* NdChar (fma 0.25 (- (/ Ec KbT) (+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT)))) 0.5))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
249×frac-add
157×frac-2neg clear-num
105×frac-sub
17×flip3-+ flip-+
5×+-commutative div-inv
4×associate-+r+ associate--r+
2×fma-def fma-udef
1×distribute-rgt-in sub-neg distribute-rgt-out flip3-- distribute-lft-in fma-neg *-commutative flip--
Counts
4 → 170
Calls
4 calls:
4.0ms
(+ (/ mu KbT) (/ EDonor KbT))
8.0ms
(+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT)))
20.0ms
(- (/ Ec KbT) (+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT))))
2.0ms
(* NdChar (fma 0.25 (- (/ Ec KbT) (+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT)))) 0.5))

series281.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(+ (/ mu KbT) (/ EDonor KbT))
29.0ms
(+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT)))
55.0ms
(- (/ Ec KbT) (+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT))))
175.0ms
(* NdChar (fma 0.25 (- (/ Ec KbT) (+ (/ Vef KbT) (+ (/ mu KbT) (/ EDonor KbT)))) 0.5))

simplify140.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 1 (90.0ms)

IterNodesCost
030223597
150013307

prune1.2s

Filtered
182 candidates to 147 candidates (80.8%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1820182
Fresh000
Picked011
Done022
Total1823185

Merged error: 0.0b

Counts
185 → 3

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

sample998.0ms

Algorithm
intervals
Results
577.0ms7999×body80valid
0.0ms1×body640valid