Details

Time bar (total: 29.1s)

sample212.0ms

Algorithm
intervals
Results
97.0ms256×body80valid

simplify11.9s

Counts
1 → 1
Iterations
IterNodes
done5001
64891
52039
4804
3283
2114
149
027

prune55.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize326.0ms

Local error

Found 4 expressions with local error:

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

rewrite928.0ms

Algorithm
rewrite-expression-head
Rules
148×*-un-lft-identity
55×distribute-lft-out
42×times-frac
38×add-sqr-sqrt
36×add-cube-cbrt
19×distribute-lft-out--
18×add-log-exp
14×associate-/l*
12×frac-add associate-/l/
11×associate-+l+
10×flip3-+ flip-+
9×prod-diff
8×add-exp-log fma-def add-cbrt-cube
7×sum-log
6×flip3-- associate-/r* flip--
4×pow1 expm1-log1p-u log1p-expm1-u
3×associate-+l-
2×cbrt-undiv +-commutative frac-2neg diff-log div-sub div-exp clear-num div-inv
1×sub-neg associate-+r+ difference-of-squares
Counts
4 → 163
Calls
4 calls:
155.0ms
(+ 1.0 (exp (/ (+ (- EAccept mu) (+ Vef Ev)) KbT)))
86.0ms
(+ (- EAccept mu) (+ Vef Ev))
272.0ms
(/ (+ (- EAccept mu) (+ Vef Ev)) KbT)
402.0ms
(/ (+ (- EDonor Ec) (+ Vef mu)) KbT)

series411.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(+ 1.0 (exp (/ (+ (- EAccept mu) (+ Vef Ev)) KbT)))
66.0ms
(+ (- EAccept mu) (+ Vef Ev))
108.0ms
(/ (+ (- EAccept mu) (+ Vef Ev)) KbT)
107.0ms
(/ (+ (- EDonor Ec) (+ Vef mu)) KbT)

simplify5.4s

Counts
175 → 175
Iterations
IterNodes
done5003
22750
1730
0257

prune3.3s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify30.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample6.6s

Algorithm
intervals
Results
5.5s8000×body80valid
3.0ms2×body10240exit