Details

Time bar (total: 15.4s)

sample90.0ms

Algorithm
intervals
Results
42.0ms256×body80valid

simplify4.6s

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

prune49.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize90.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)

rewrite733.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:
184.0ms
(+ 1.0 (exp (/ (+ (- EAccept mu) (+ Vef Ev)) KbT)))
75.0ms
(+ (- EAccept mu) (+ Vef Ev))
225.0ms
(/ (+ (- EAccept mu) (+ Vef Ev)) KbT)
235.0ms
(/ (+ (- EDonor Ec) (+ Vef mu)) KbT)

series931.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(+ 1.0 (exp (/ (+ (- EAccept mu) (+ Vef Ev)) KbT)))
58.0ms
(+ (- EAccept mu) (+ Vef Ev))
105.0ms
(/ (+ (- EAccept mu) (+ Vef Ev)) KbT)
631.0ms
(/ (+ (- EDonor Ec) (+ Vef mu)) KbT)

simplify3.1s

Counts
175 → 175
Iterations
IterNodes
done5003
22750
1730
0257

prune2.5s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify10.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.5s8000×body80valid
3.0ms2×body10240exit