Details

Time bar (total: 8.4s)

sample97.0ms

Algorithm
intervals
Results
61.0ms256×body80valid

simplify831.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
52000
4799
3286
2115
151
027

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite874.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×pow1 div-sub insert-posit16 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 → 157
Calls
4 calls:
181.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
274.0ms
(/ (+ (+ EAccept (- Ev mu)) Vef) KbT)
236.0ms
(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
177.0ms
(exp (/ (+ (+ EAccept (- Ev mu)) Vef) KbT))

series436.0ms

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

simplify1.4s

Counts
169 → 169
Iterations
IterNodes
done2004
32004
21314
1434
0197

prune1.5s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify4.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.7s8000×body80valid
6.0ms3×body10240exit