Details

Time bar (total: 3.2s)

sample57.0ms

Algorithm
intervals
Results
35.0ms256×body80valid

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

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite611.0ms

Algorithm
rewrite-expression-head
Rules
265×*-un-lft-identity
108×times-frac
87×distribute-lft-out
78×add-sqr-sqrt
62×add-cube-cbrt
49×distribute-rgt-neg-in
48×distribute-lft-out--
31×exp-prod
28×distribute-lft-neg-in
27×associate-/l*
10×add-log-exp
8×add-exp-log add-cbrt-cube difference-of-squares
7×div-sub
6×associate-/r*
4×pow1 neg-mul-1 associate-/l/
3×neg-sub0 exp-diff sum-log div-inv
2×cbrt-undiv associate-+r- frac-2neg flip3-+ div-exp unsub-neg clear-num flip-+ distribute-neg-frac
1×+-commutative associate-+l+ flip3-- distribute-frac-neg flip-- rem-exp-log
Counts
4 → 204
Calls
4 calls:
177.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
14.0ms
(+ (+ Ev Vef) EAccept)
251.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
157.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

series190.0ms

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

simplify53.0ms

Algorithm
egg-herbie
Counts
216 → 216
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
05431597
119951512
250031489

prune749.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03517
13517

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s8000×body80valid