Details

Time bar (total: 9.4s)

sample91.0ms

Algorithm
intervals
Results
65.0ms256×body80valid

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
done5006
64857
52037
4799
3286
2115
151
027

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

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

rewrite776.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×expm1-log1p-u pow1 div-sub insert-posit16 log1p-expm1-u div-inv associate-/l/
2×cbrt-undiv clear-num frac-2neg flip3-- exp-diff div-exp flip-- rem-exp-log
Counts
4 → 172
Calls
4 calls:
138.0ms
(/ (- EDonor (- (- Ec mu) Vef)) KbT)
273.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
201.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
161.0ms
(exp (/ (- EDonor (- (- Ec mu) Vef)) KbT))

series272.0ms

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

simplify1.3s

Counts
184 → 184
Iterations
IterNodes
done5000
21390
1470
0216

prune1.6s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify5.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.5s8000×body80valid