Details

Time bar (total: 21.6s)

sample62.0ms

Algorithm
intervals
Results
39.0ms256×body80valid

simplify1.7s

Counts
1 → 1

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite753.0ms

Algorithm
rewrite-expression-head
Rules
176×*-un-lft-identity
84×times-frac
78×add-sqr-sqrt
63×distribute-lft-out--
50×exp-prod add-cube-cbrt
21×distribute-lft-out
14×associate-/l* difference-of-squares
8×add-cbrt-cube add-exp-log
6×associate-/r* add-log-exp
4×pow1 div-sub insert-posit16 div-inv associate-/l/
2×cbrt-undiv clear-num frac-2neg flip3-- exp-diff div-exp flip-- rem-exp-log
Counts
4 → 164
Calls
4 calls:
Slowest
222.0ms
(exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))
220.0ms
(/ (- (+ (+ EAccept Vef) Ev) mu) KbT)
193.0ms
(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
115.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

series356.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
100.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
94.0ms
(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
86.0ms
(exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))
76.0ms
(/ (- (+ (+ EAccept Vef) Ev) mu) KbT)

simplify1.7s

Counts
176 → 176

prune4.0s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize98.0ms

Local error

Found 4 expressions with local error:

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

rewrite695.0ms

Algorithm
rewrite-expression-head
Rules
412×*-un-lft-identity
351×times-frac
216×add-sqr-sqrt
160×add-cube-cbrt
159×distribute-lft-out--
111×exp-prod
34×associate-/r*
28×difference-of-squares
18×associate-/r/
17×add-exp-log
11×add-cbrt-cube div-inv
9×distribute-lft-out
8×flip3-- div-exp flip--
6×associate-/l* add-log-exp
5×pow1
4×cbrt-undiv insert-posit16
2×rec-exp clear-num frac-2neg 1-exp rem-exp-log
1×exp-diff div-sub pow-flip inv-pow
Counts
4 → 309
Calls
4 calls:
Slowest
256.0ms
(exp (/ 1 (/ KbT (- mu (- (- Ec Vef) EDonor)))))
249.0ms
(exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))
101.0ms
(/ 1 (/ KbT (- mu (- (- Ec Vef) EDonor))))
82.0ms
(/ KbT (- mu (- (- Ec Vef) EDonor)))

series406.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
140.0ms
(exp (/ 1 (/ KbT (- mu (- (- Ec Vef) EDonor)))))
97.0ms
(exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))
91.0ms
(/ 1 (/ KbT (- mu (- (- Ec Vef) EDonor))))
77.0ms
(/ KbT (- mu (- (- Ec Vef) EDonor)))

simplify924.0ms

Counts
321 → 321

prune7.9s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.5s7999×body80valid
2.0ms1×body10240exit
0.0ms1×body160valid