Details

Time bar (total: 11.9s)

sample93.0ms

Algorithm
intervals
Results
41.0ms256×body80valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (315.0ms)

IterNodesCost
02731
14930
212030
336630
4136229
done500129

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
154×*-un-lft-identity
72×times-frac
61×add-sqr-sqrt
47×add-cube-cbrt
37×distribute-lft-out
33×distribute-lft-out--
25×exp-prod
16×associate-/l*
10×add-exp-log associate-/r* add-cbrt-cube
7×difference-of-squares
5×add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u div-inv associate-/l/
3×cbrt-undiv frac-2neg div-sub div-exp clear-num
2×flip3-+ associate-/r/ flip-+
1×associate-+r- flip3-- exp-diff flip-- rem-exp-log
Counts
4 → 163
Calls
4 calls:
815.0ms
(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
576.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
219.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)
619.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

series670.0ms

Counts
4 → 12
Calls
4 calls:
302.0ms
(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
137.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
111.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)
120.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

simplify1.9s

Counts
175 → 175
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02482685
15632576
220442444
done50012434

prune2.0s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02529
13129
done3129

end0.0ms

sample3.7s

Algorithm
intervals
Results
2.6s7999×body80valid
2.0ms1×body10240exit
1.0ms1×body640valid