Details

Time bar (total: 8.2s)

sample41.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify45.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04917
112017
231117
367717
4142517
5273317
6500117

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
292×*-un-lft-identity
147×times-frac
114×add-sqr-sqrt
86×add-cube-cbrt
84×distribute-lft-out--
61×distribute-rgt-neg-in
58×exp-prod
52×distribute-lft-out
49×distribute-lft-neg-in
30×associate-/l*
14×difference-of-squares
10×add-exp-log associate-/r* add-cbrt-cube
7×neg-mul-1
5×div-sub add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u div-inv associate-/l/
3×cbrt-undiv neg-sub0 frac-2neg div-exp clear-num
2×flip3-+ distribute-frac-neg associate-/r/ flip-+ distribute-neg-frac
1×exp-neg associate-+r- flip3-- exp-diff unsub-neg flip-- rem-exp-log
Counts
4 → 256
Calls
4 calls:
476.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
152.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
275.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
326.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series301.0ms

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

simplify72.0ms

Algorithm
egg-herbie
Counts
268 → 268
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
06812256
123892143
250012108

prune1.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite534.0ms

Algorithm
rewrite-expression-head
Rules
186×*-un-lft-identity
78×times-frac
63×add-sqr-sqrt
49×add-cube-cbrt distribute-lft-out
42×distribute-lft-out--
25×pow-unpow
16×associate-/l*
14×add-exp-log
13×unpow-prod-down
12×distribute-rgt-neg-in
8×add-cbrt-cube
7×pow-exp difference-of-squares
6×pow1 div-exp associate-/r* add-log-exp
5×div-sub
4×expm1-log1p-u log1p-expm1-u div-inv associate-/l/
3×e-exp-1 pow-pow fma-def
2×cbrt-undiv rec-exp frac-2neg flip3-+ 1-exp clear-num flip-+
1×+-commutative neg-sub0 pow-to-exp associate-+r- flip3-- pow-flip unsub-neg sum-log flip-- inv-pow pow-sub sqr-pow
Counts
4 → 183
Calls
4 calls:
122.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
193.0ms
(/ (- (- (- Ec Vef) EDonor) mu) KbT)
151.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
60.0ms
(pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

series486.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
59.0ms
(/ (- (- (- Ec Vef) EDonor) mu) KbT)
51.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
310.0ms
(pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

simplify62.0ms

Algorithm
egg-herbie
Counts
195 → 195
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
06881542
125321433
250011416

prune714.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite451.0ms

Algorithm
rewrite-expression-head
Rules
191×*-un-lft-identity
87×times-frac
70×add-sqr-sqrt
56×add-cube-cbrt
48×distribute-lft-out
42×distribute-lft-out--
26×unpow-prod-down
25×pow-unpow
17×exp-prod
16×associate-/l*
14×add-exp-log
12×distribute-rgt-neg-in
8×add-cbrt-cube
7×pow-exp difference-of-squares
6×pow1 div-exp associate-/r*
5×div-sub div-inv add-log-exp
4×expm1-log1p-u log1p-expm1-u associate-/l/
3×e-exp-1 pow-pow
2×cbrt-undiv rec-exp frac-2neg 1-exp clear-num sqr-pow
1×neg-sub0 pow-to-exp associate-+r- flip3-- pow-flip flip3-+ unsub-neg flip-- flip-+ rem-exp-log inv-pow pow-sub
Counts
4 → 193
Calls
4 calls:
44.0ms
(exp (pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT)))
189.0ms
(/ (- (- (- Ec Vef) EDonor) mu) KbT)
149.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
60.0ms
(pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

series922.0ms

Counts
4 → 12
Calls
4 calls:
507.0ms
(exp (pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT)))
59.0ms
(/ (- (- (- Ec Vef) EDonor) mu) KbT)
51.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
305.0ms
(pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

simplify61.0ms

Algorithm
egg-herbie
Counts
205 → 205
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
06841640
126111515
250021496

prune863.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes243.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
03817
13817

end0.0ms

sample934.0ms

Algorithm
intervals
Results
552.0ms8000×body80valid
1.0ms2×body10240exit