Details

Time bar (total: 10.9s)

sample59.0ms

Algorithm
intervals
Results
38.0ms256×body80valid

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

localize23.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 (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
277×*-un-lft-identity
120×times-frac
88×distribute-lft-out
87×add-sqr-sqrt
71×add-cube-cbrt
49×distribute-rgt-neg-in
48×distribute-lft-out--
31×exp-prod
30×associate-/l*
28×distribute-lft-neg-in
10×add-exp-log associate-/r* add-cbrt-cube
8×difference-of-squares
7×div-sub
5×add-log-exp
4×pow1 neg-mul-1 div-inv associate-/l/
3×cbrt-undiv neg-sub0 frac-2neg exp-diff div-exp clear-num
2×associate-+r- flip3-+ unsub-neg associate-/r/ flip-+ distribute-neg-frac
1×flip3-- distribute-frac-neg flip-- rem-exp-log
Counts
4 → 222
Calls
4 calls:
464.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
148.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
240.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
172.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

series304.0ms

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

simplify67.0ms

Algorithm
egg-herbie
Counts
234 → 234
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
06472001
122891885
250011862

prune867.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

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 (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
277×*-un-lft-identity
120×times-frac
88×distribute-lft-out
87×add-sqr-sqrt
71×add-cube-cbrt
49×distribute-rgt-neg-in
48×distribute-lft-out--
31×exp-prod
30×associate-/l*
28×distribute-lft-neg-in
12×add-exp-log
10×associate-/r* add-cbrt-cube
8×difference-of-squares
7×div-sub
5×pow1 add-log-exp
4×neg-mul-1 div-exp div-inv associate-/l/
3×cbrt-undiv neg-sub0 frac-2neg exp-diff clear-num
2×associate-+r- flip3-+ unsub-neg associate-/r/ flip-+ distribute-neg-frac
1×rec-exp flip3-- pow-flip 1-exp distribute-frac-neg flip-- rem-exp-log inv-pow
Counts
4 → 226
Calls
4 calls:
466.0ms
(/ 1 (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
148.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
239.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
170.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

series276.0ms

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

simplify66.0ms

Algorithm
egg-herbie
Counts
238 → 238
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
06192005
122581881
250011838

prune845.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
277×*-un-lft-identity
135×times-frac
111×add-sqr-sqrt
96×distribute-lft-out--
79×add-cube-cbrt
65×distribute-rgt-neg-in
60×distribute-frac-neg
58×exp-neg
56×distribute-lft-neg-in
43×div-sub
41×neg-sub0 exp-diff
40×associate-*r/
36×distribute-lft-out associate-/l*
31×exp-prod
27×frac-sub
20×un-div-inv
16×difference-of-squares
15×sub-div
12×frac-times associate-*l/
8×add-exp-log neg-mul-1 add-cbrt-cube
7×add-log-exp
6×associate-/r*
4×pow1 associate-/l/ distribute-neg-frac
3×flip3-- flip-- div-inv
2×cbrt-undiv frac-2neg div-exp clear-num
1×associate-+r- sub-neg distribute-rgt-out-- diff-log unsub-neg rem-exp-log
Counts
4 → 279
Calls
4 calls:
241.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
241.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
169.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
1.9s
(- (* (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))) (* 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))

series332.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
61.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
56.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
156.0ms
(- (* (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))) (* 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))

simplify70.0ms

Algorithm
egg-herbie
Counts
291 → 291
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
06633271
120372833
250012639

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes276.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
04018
14018

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s7999×body80valid
1.0ms1×body1280valid