Details

Time bar (total: 11.4s)

sample108.0ms

Algorithm
intervals
Results
37.0ms256×body80valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (275.0ms)

IterNodesCost
02731
14930
212030
336630
4136229
done500029

prune31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize65.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 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 → 155
Calls
4 calls:
777.0ms
(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
572.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
260.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)
558.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

series618.0ms

Counts
4 → 12
Calls
4 calls:
265.0ms
(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
122.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
117.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)
113.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

simplify1.5s

Counts
167 → 167
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02402593
15472490
219882354
done50002350

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.5s7999×body80valid
2.0ms1×body10240exit
1.0ms1×body640valid