Details

Time bar (total: 8.3s)

sample39.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify46.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.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

localize31.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 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 → 248
Calls
4 calls:
467.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
149.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
241.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
323.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series309.0ms

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

simplify65.0ms

Algorithm
egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
06652203
123272090
250022058

prune1.1s

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

rewrite501.0ms

Algorithm
rewrite-expression-head
Rules
185×*-un-lft-identity
78×times-frac
62×add-sqr-sqrt
49×distribute-lft-out
48×add-cube-cbrt
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×div-inv associate-/l/
3×e-exp-1 pow-pow
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 → 172
Calls
4 calls:
120.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
161.0ms
(/ (- (- (- Ec Vef) EDonor) mu) KbT)
148.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
63.0ms
(pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

series509.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
55.0ms
(/ (- (- (- Ec Vef) EDonor) mu) KbT)
58.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
326.0ms
(pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

simplify64.0ms

Algorithm
egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
06731491
124811383
250031373

prune734.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

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

rewrite427.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×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 → 185
Calls
4 calls:
44.0ms
(exp (pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT)))
162.0ms
(/ (- (- (- Ec Vef) EDonor) mu) KbT)
148.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
63.0ms
(pow (/ 1 E) (/ (- (- (- Ec Vef) EDonor) mu) KbT))

series982.0ms

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

simplify61.0ms

Algorithm
egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
06721589
125741464
250011456

prune1.0s

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

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03817
13817

end0.0ms

sample956.0ms

Algorithm
intervals
Results
578.0ms8000×body80valid
2.0ms2×body10240exit