Details

Time bar (total: 3.7s)

sample134.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04917
112017
231117
367717
4142217
5272617
6500117

prune7.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
342×*-un-lft-identity
162×times-frac
118×add-sqr-sqrt
90×add-cube-cbrt
89×exp-prod
84×distribute-lft-out distribute-lft-out--
70×distribute-rgt-neg-in
49×distribute-lft-neg-in
27×associate-/l*
14×difference-of-squares
8×add-exp-log div-sub add-cbrt-cube
7×neg-mul-1
6×associate-/r* add-log-exp
4×pow1 neg-sub0 exp-diff div-inv associate-/l/
2×cbrt-undiv associate-+r- frac-2neg distribute-frac-neg div-exp unsub-neg clear-num rem-exp-log distribute-neg-frac
1×exp-neg flip3-- flip3-+ flip-- flip-+
Counts
4 → 257
Calls
4 calls:
14.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
18.0ms
(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
16.0ms
(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
14.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

series86.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
17.0ms
(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
31.0ms
(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
22.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

simplify62.0ms

Algorithm
egg-herbie
Counts
269 → 269
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
05331969
119221874
250021863

prune411.0ms

Filtered
269 candidates to 149 candidates (44.6%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2681269
Fresh000
Picked011
Done000
Total2682270

Merged error: 0.0b

Counts
270 → 2

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
338×*-un-lft-identity
189×times-frac
147×exp-prod
144×add-sqr-sqrt
120×distribute-lft-out--
104×add-cube-cbrt
79×distribute-rgt-neg-in
70×distribute-lft-neg-in
36×distribute-lft-out
20×difference-of-squares
18×associate-/l*
10×neg-mul-1
7×add-log-exp
6×add-exp-log div-sub add-cbrt-cube
5×exp-diff
4×pow1 neg-sub0 div-inv
3×distribute-frac-neg associate-/r* rem-exp-log
2×exp-neg associate-/l/ distribute-neg-frac
1×cbrt-undiv associate-+r- flip3-- frac-2neg div-exp unsub-neg clear-num flip--
Counts
4 → 269
Calls
4 calls:
19.0ms
(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
15.0ms
(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
16.0ms
(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
14.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

series86.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
26.0ms
(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
22.0ms
(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
22.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

simplify98.0ms

Algorithm
egg-herbie
Counts
281 → 281
Iterations

Useful iterations: 3 (76.0ms)

IterNodesCost
04401963
113031900
244571895
350011887

prune270.0ms

Filtered
281 candidates to 162 candidates (42.3%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2810281
Fresh000
Picked011
Done011
Total2812283

Merged error: 0.0b

Counts
283 → 2

regimes885.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03726
13726

end0.0ms

sample1.4s

Algorithm
intervals
Results
739.0ms7999×body80valid
1.0ms1×body5120exit
0.0ms1×body320valid

Profiling

Loading profile data...