Details

Time bar (total: 12.0s)

sample97.0ms

Algorithm
intervals
Results
67.0ms256×body80valid

simplify1.4s

Counts
1 → 1

prune42.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
170×*-un-lft-identity
82×add-sqr-sqrt
60×add-cube-cbrt
51×times-frac
50×distribute-lft-out--
42×prod-diff
28×associate--r+
20×distribute-lft-out
16×associate-/l*
13×add-log-exp
11×associate--l+ difference-of-squares
10×associate-/r* add-cbrt-cube add-exp-log
6×diff-log
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l/
3×cbrt-undiv clear-num sub-neg frac-2neg fma-neg div-exp div-inv
2×flip3-+ flip3-- div-sub associate-/r/ flip-+ flip--
1×associate-+r- associate--r-
Counts
4 → 201
Calls
4 calls:
Slowest
699.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
187.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
171.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
88.0ms
(- mu (- (- Ec Vef) EDonor))

series422.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
217.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
92.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
79.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
34.0ms
(- mu (- (- Ec Vef) EDonor))

simplify979.0ms

Counts
213 → 213

prune4.6s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.7s8000×body80valid
2.0ms1×body10240exit