Details

Time bar (total: 9.5s)

sample107.0ms

Algorithm
intervals
Results
67.0ms256×body80valid

simplify2.8s

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

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite881.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:
147.0ms
(/ (- EDonor (- (- Ec mu) Vef)) KbT)
287.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
257.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
187.0ms
(exp (/ (- EDonor (- (- Ec mu) Vef)) KbT))

series335.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(/ (- EDonor (- (- Ec mu) Vef)) KbT)
89.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
76.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
79.0ms
(exp (/ (- EDonor (- (- Ec mu) Vef)) KbT))

simplify1.6s

Counts
184 → 184
Iterations
IterNodes
done5000
21390
1470
0216

prune1.7s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify8.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.7s8000×body80valid