Details

Time bar (total: 9.8s)

sample51.0ms

Algorithm
intervals
Results
31.0ms256×body80valid

simplify44.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04917
112017
231117
367717
4142217
5272617
6500117

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
187×*-un-lft-identity
105×times-frac
89×exp-prod
75×add-sqr-sqrt
63×add-cube-cbrt
44×distribute-lft-out
36×distribute-lft-out--
30×distribute-rgt-neg-in
21×distribute-lft-neg-in
8×add-exp-log associate-/r* add-cbrt-cube
6×associate-/l* add-log-exp difference-of-squares
4×pow1 exp-diff div-sub associate-/r/ div-inv
3×neg-mul-1
2×cbrt-undiv neg-sub0 frac-2neg flip3-+ div-exp clear-num flip-+ rem-exp-log
1×exp-neg associate-+r- distribute-frac-neg unsub-neg
Counts
4 → 176
Calls
4 calls:
448.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
218.0ms
(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
163.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
315.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series383.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
135.0ms
(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
56.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
62.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify55.0ms

Algorithm
egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
06281630
118111546
250021536

prune734.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite838.0ms

Algorithm
rewrite-expression-head
Rules
188×*-un-lft-identity
105×times-frac
76×add-sqr-sqrt
64×add-cube-cbrt
58×exp-prod
44×distribute-lft-out
36×distribute-lft-out--
31×pow-unpow
30×distribute-rgt-neg-in
21×distribute-lft-neg-in
9×add-exp-log
8×associate-/r* add-cbrt-cube
6×associate-/l* difference-of-squares
5×pow1 add-log-exp
4×div-sub associate-/r/ div-inv
3×neg-mul-1 unpow-prod-down pow-sub
2×cbrt-undiv neg-sub0 frac-2neg flip3-+ div-exp pow-exp clear-num flip-+
1×exp-neg pow-to-exp associate-+r- e-exp-1 pow-pow exp-diff distribute-frac-neg unsub-neg rem-exp-log sqr-pow
Counts
4 → 183
Calls
4 calls:
451.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
9.0ms
(/ NaChar (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
58.0ms
(pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
309.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series416.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
160.0ms
(/ NaChar (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
69.0ms
(pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
56.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify63.0ms

Algorithm
egg-herbie
Counts
195 → 195
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
07091701
122761614
250021602

prune803.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
0.0b
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
0.2b
(sqrt (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
0.2b
(sqrt (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))

rewrite421.0ms

Algorithm
rewrite-expression-head
Rules
158×*-un-lft-identity
81×times-frac
66×add-sqr-sqrt
58×exp-prod
50×add-cube-cbrt
36×distribute-lft-out distribute-lft-out--
31×pow-unpow
30×distribute-rgt-neg-in
21×distribute-lft-neg-in
14×sqrt-prod
11×unpow-prod-down
10×div-sub
9×pow-sub
6×rem-sqrt-square sqrt-div difference-of-squares
5×pow1 add-exp-log add-log-exp sqr-pow
4×neg-sub0 add-cbrt-cube
3×associate-+r- neg-mul-1 unsub-neg
2×sqrt-pow1 pow1/2 pow-exp div-inv
1×exp-neg pow-to-exp e-exp-1 pow-pow exp-diff distribute-frac-neg rem-exp-log
Counts
4 → 161
Calls
4 calls:
58.0ms
(pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
309.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
24.0ms
(sqrt (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
21.0ms
(sqrt (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))

series337.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
60.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
103.0ms
(sqrt (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
105.0ms
(sqrt (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))

simplify42.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
04341227
113971175
250021161

prune780.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1 (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (/ NaChar (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
0.2b
(/ 1 (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))
0.2b
(sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
0.2b
(sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
98×add-sqr-sqrt
85×times-frac
80×*-un-lft-identity
59×sqrt-prod
50×add-cube-cbrt
30×add-exp-log
27×associate-*r* associate-*l*
18×add-cbrt-cube
15×unswap-sqr
12×distribute-lft-out
10×pow1 sqrt-div div-exp
8×prod-exp
7×associate-/r*
6×associate-/r/
5×cbrt-undiv flip3-+ flip-+
4×cbrt-unprod add-log-exp
3×rec-exp pow-flip sqrt-pow1 pow1/2 1-exp div-inv associate-/l*
2×rem-sqrt-square
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative inv-pow
Counts
4 → 176
Calls
4 calls:
60.0ms
(* (/ 1 (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (/ NaChar (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
10.0ms
(/ 1 (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))
7.0ms
(sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
8.0ms
(sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

series729.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(* (/ 1 (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (/ NaChar (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
203.0ms
(/ 1 (sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))
160.0ms
(sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
156.0ms
(sqrt (+ 1.0 (pow E (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

simplify77.0ms

Algorithm
egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
06683567
130053166
250012911

prune928.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes364.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04026
14226
24226

end0.0ms

sample1.4s

Algorithm
intervals
Results
998.0ms8000×body80valid