Details

Time bar (total: 8.7s)

sample96.0ms

Algorithm
intervals
Results
66.0ms256×body80valid

simplify852.0ms

Counts
1 → 1
Iterations
IterNodes
done2003
52003
4799
3286
2115
151
027

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite961.0ms

Algorithm
rewrite-expression-head
Rules
174×*-un-lft-identity
78×times-frac
62×add-sqr-sqrt
49×distribute-lft-out--
48×add-cube-cbrt
47×exp-prod
35×distribute-lft-out
13×associate-/l*
8×add-cbrt-cube add-exp-log
7×difference-of-squares
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 associate-+r- frac-2neg exp-diff div-exp associate-+l- rem-exp-log
1×flip3-+ flip3-- flip-+ flip--
Counts
4 → 165
Calls
4 calls:
236.0ms
(/ (- EDonor (- (- Ec Vef) mu)) KbT)
288.0ms
(/ (+ EAccept (+ (- Vef mu) Ev)) KbT)
229.0ms
(exp (/ (- EDonor (- (- Ec Vef) mu)) KbT))
203.0ms
(exp (/ (+ EAccept (+ (- Vef mu) Ev)) KbT))

series391.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(/ (- EDonor (- (- Ec Vef) mu)) KbT)
100.0ms
(/ (+ EAccept (+ (- Vef mu) Ev)) KbT)
104.0ms
(exp (/ (- EDonor (- (- Ec Vef) mu)) KbT))
89.0ms
(exp (/ (+ EAccept (+ (- Vef mu) Ev)) KbT))

simplify1.4s

Counts
177 → 177
Iterations
IterNodes
done2001
32001
21324
1452
0205

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.3s

Algorithm
intervals
Results
2.2s8000×body80valid
7.0ms3×body10240exit