Details

Time bar (total: 44.7s)

sample108.0ms

Algorithm
intervals
Results
47.0ms256×body80valid

simplify6.4s

Counts
1 → 1
Iterations
IterNodes
done5008
64819
51993
4793
3284
2114
149
027

prune41.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize276.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
165×*-un-lft-identity
69×times-frac
63×distribute-lft-out
46×add-sqr-sqrt add-cube-cbrt
22×exp-prod
16×associate-/l*
15×distribute-lft-out--
10×associate-/r* add-cbrt-cube add-exp-log
8×associate-/l/
5×flip3-+ associate-+l- flip-+ add-log-exp
4×expm1-log1p-u pow1 frac-add insert-posit16 log1p-expm1-u div-inv
3×cbrt-undiv clear-num frac-2neg div-sub div-exp
2×flip3-- associate-/r/ flip--
1×exp-diff rem-exp-log
Counts
4 → 168
Calls
4 calls:
535.0ms
(/ NaChar (+ 1.0 (exp (/ (+ (- EAccept mu) (+ Ev Vef)) KbT))))
346.0ms
(/ (+ (- EAccept mu) (+ Ev Vef)) KbT)
885.0ms
(/ (+ (+ (- EDonor Ec) Vef) mu) KbT)
919.0ms
(exp (/ (+ (+ (- EDonor Ec) Vef) mu) KbT))

series763.0ms

Counts
4 → 12
Calls
4 calls:
390.0ms
(/ NaChar (+ 1.0 (exp (/ (+ (- EAccept mu) (+ Ev Vef)) KbT))))
124.0ms
(/ (+ (- EAccept mu) (+ Ev Vef)) KbT)
102.0ms
(/ (+ (+ (- EDonor Ec) Vef) mu) KbT)
146.0ms
(exp (/ (+ (+ (- EDonor Ec) Vef) mu) KbT))

simplify4.1s

Counts
180 → 180
Iterations
IterNodes
done5005
22128
1631
0260

prune3.8s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize331.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
165×*-un-lft-identity
69×times-frac
63×distribute-lft-out
46×add-sqr-sqrt add-cube-cbrt
22×exp-prod
16×associate-/l*
15×distribute-lft-out--
12×add-exp-log
10×associate-/r* add-cbrt-cube
8×associate-/l/
5×pow1 flip3-+ associate-+l- flip-+ add-log-exp
4×expm1-log1p-u div-exp frac-add insert-posit16 log1p-expm1-u div-inv
3×cbrt-undiv clear-num frac-2neg div-sub
2×flip3-- associate-/r/ flip--
1×rec-exp exp-diff 1-exp pow-flip inv-pow rem-exp-log
Counts
4 → 172
Calls
4 calls:
485.0ms
(/ 1 (+ 1.0 (exp (/ (+ (- EAccept mu) (+ Ev Vef)) KbT))))
404.0ms
(/ (+ (- EAccept mu) (+ Ev Vef)) KbT)
865.0ms
(/ (+ (+ (- EDonor Ec) Vef) mu) KbT)
994.0ms
(exp (/ (+ (+ (- EDonor Ec) Vef) mu) KbT))

series761.0ms

Counts
4 → 12
Calls
4 calls:
371.0ms
(/ 1 (+ 1.0 (exp (/ (+ (- EAccept mu) (+ Ev Vef)) KbT))))
98.0ms
(/ (+ (- EAccept mu) (+ Ev Vef)) KbT)
154.0ms
(/ (+ (+ (- EDonor Ec) Vef) mu) KbT)
138.0ms
(exp (/ (+ (+ (- EDonor Ec) Vef) mu) KbT))

simplify3.9s

Counts
184 → 184
Iterations
IterNodes
done5003
22006
1615
0252

prune4.0s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize306.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
165×*-un-lft-identity
69×times-frac
63×distribute-lft-out
46×add-sqr-sqrt add-cube-cbrt
22×exp-prod
16×associate-/l*
15×distribute-lft-out--
12×add-exp-log
10×associate-/r* add-cbrt-cube
8×associate-/l/
5×pow1 flip3-+ associate-+l- flip-+ add-log-exp
4×expm1-log1p-u div-exp frac-add insert-posit16 log1p-expm1-u div-inv
3×cbrt-undiv clear-num frac-2neg div-sub
2×flip3-- associate-/r/ flip--
1×rec-exp exp-diff 1-exp pow-flip inv-pow rem-exp-log
Counts
4 → 172
Calls
4 calls:
526.0ms
(/ 1 (+ 1.0 (exp (/ (+ (- EAccept mu) (+ Ev Vef)) KbT))))
337.0ms
(/ (+ (- EAccept mu) (+ Ev Vef)) KbT)
882.0ms
(/ (+ (+ (- EDonor Ec) Vef) mu) KbT)
991.0ms
(exp (/ (+ (+ (- EDonor Ec) Vef) mu) KbT))

series736.0ms

Counts
4 → 12
Calls
4 calls:
329.0ms
(/ 1 (+ 1.0 (exp (/ (+ (- EAccept mu) (+ Ev Vef)) KbT))))
120.0ms
(/ (+ (- EAccept mu) (+ Ev Vef)) KbT)
130.0ms
(/ (+ (+ (- EDonor Ec) Vef) mu) KbT)
157.0ms
(exp (/ (+ (+ (- EDonor Ec) Vef) mu) KbT))

simplify4.0s

Counts
184 → 184
Iterations
IterNodes
done5003
22006
1615
0252

prune4.0s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify16.0ms

Iterations
IterNodes
done39
139
029

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.0s8000×body80valid
3.0ms2×body10240exit