Details

Time bar (total: 3.5s)

sample63.0ms

Algorithm
intervals
Results
24.0ms256×body80valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
0166829
1166829

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
107×*-un-lft-identity
48×times-frac
40×distribute-lft-out
34×add-sqr-sqrt add-cube-cbrt
22×exp-prod
9×associate-/l*
8×add-exp-log add-cbrt-cube
7×associate-/r* distribute-lft-out-- add-log-exp
4×pow1 associate-+r-
3×flip3-+ flip-+ div-inv
2×cbrt-undiv frac-2neg div-sub div-exp clear-num associate-/r/ associate-/l/
1×+-commutative exp-diff sum-log rem-exp-log
Counts
4 → 118
Calls
4 calls:
14.0ms
(+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))
12.0ms
(/ (+ Vef (+ Ev (- EAccept mu))) KbT)
14.0ms
(/ NaChar (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
13.0ms
(exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))

series140.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))
18.0ms
(/ (+ Vef (+ Ev (- EAccept mu))) KbT)
67.0ms
(/ NaChar (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
26.0ms
(exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))

simplify50.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
060171851

prune164.0ms

Filtered
86 candidates to 130 candidates (-51.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1291130
Fresh000
Picked011
Done000
Total1292131

Merged error: 0.0b

Counts
131 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
121×*-un-lft-identity
62×times-frac
50×add-sqr-sqrt
43×add-cube-cbrt
42×distribute-lft-out
22×exp-prod
19×add-exp-log
18×associate-*r*
13×add-cbrt-cube
9×associate-/l*
7×pow1 associate-/r* distribute-lft-out--
5×div-exp add-log-exp
4×associate-+r- prod-exp associate-/r/ div-inv
3×cbrt-undiv flip3-+ associate-*l* flip-+ unswap-sqr
2×rec-exp frac-2neg 1-exp div-sub clear-num cbrt-unprod associate-/l/
1×pow-flip exp-diff associate-*r/ pow-prod-down un-div-inv *-commutative rem-exp-log inv-pow
Counts
4 → 151
Calls
4 calls:
12.0ms
(/ (+ Vef (+ Ev (- EAccept mu))) KbT)
22.0ms
(* NaChar (/ 1 (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
14.0ms
(/ 1 (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
13.0ms
(exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))

series168.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(/ (+ Vef (+ Ev (- EAccept mu))) KbT)
65.0ms
(* NaChar (/ 1 (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
58.0ms
(/ 1 (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
25.0ms
(exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))

simplify57.0ms

Algorithm
egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
060942291

prune182.0ms

Filtered
96 candidates to 163 candidates (-69.8%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1630163
Fresh000
Picked011
Done011
Total1632165

Merged error: 0.0b

Counts
165 → 2

regimes818.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03229
13229

end0.0ms

sample1.6s

Algorithm
intervals
Results
751.0ms8000×body80valid
1.0ms1×body5120exit

Profiling

Loading profile data...