Details

Time bar (total: 4.7s)

sample77.0ms

Algorithm
intervals
Results
41.0ms255×body80valid
0.0ms1×body320valid

simplify62.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04917
112017
231117
367717
4142217
5272617
6500117

prune8.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
126×*-un-lft-identity
57×distribute-lft-out
51×times-frac
36×add-sqr-sqrt add-cube-cbrt
15×associate-/l*
12×distribute-rgt-neg-in
11×associate-/r*
10×add-exp-log add-cbrt-cube
6×add-log-exp
4×pow1 flip3-+ associate-/r/ flip-+
3×cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv
2×associate-/l/
1×+-commutative neg-sub0 associate-+r- unsub-neg sum-log
Counts
4 → 134
Calls
4 calls:
15.0ms
(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
15.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
15.0ms
(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
14.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

series373.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
66.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
130.0ms
(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
52.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

simplify55.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
05551551
119731418
250021408

prune543.0ms

Filtered
146 candidates to 93 candidates (63.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1442146
Fresh000
Picked011
Done000
Total1443147

Merged error: 0b

Counts
147 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
125×*-un-lft-identity
56×distribute-lft-out
53×times-frac
43×add-sqr-sqrt
36×add-cube-cbrt
19×add-exp-log
18×associate-*r*
13×add-cbrt-cube
12×distribute-rgt-neg-in associate-/l*
7×pow1 associate-/r*
6×add-log-exp
5×div-exp
4×flip3-+ prod-exp associate-/r/ flip-+
3×cbrt-undiv div-sub associate-*l* div-inv unswap-sqr
2×rec-exp frac-2neg 1-exp clear-num cbrt-unprod associate-/l/
1×+-commutative neg-sub0 associate-+r- pow-flip associate-*r/ unsub-neg pow-prod-down sum-log un-div-inv *-commutative inv-pow
Counts
4 → 146
Calls
4 calls:
12.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
21.0ms
(* NdChar (/ 1 (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))))
16.0ms
(/ 1 (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
17.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

series351.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
132.0ms
(* NdChar (/ 1 (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))))
98.0ms
(/ 1 (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
57.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

simplify64.0ms

Algorithm
egg-herbie
Counts
158 → 158
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
05731578
123211401
250011353

prune464.0ms

Filtered
158 candidates to 86 candidates (54.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1580158
Fresh011
Picked011
Done011
Total1583161

Merged error: 0b

Counts
161 → 3

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
0.0b
(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
0.0b
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
25.2b
(cbrt (pow (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) 3))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
138×*-un-lft-identity
63×times-frac
59×distribute-lft-out
44×add-sqr-sqrt add-cube-cbrt
42×cbrt-prod
18×unpow-prod-down cube-prod
12×distribute-rgt-neg-in associate-/l*
8×add-exp-log add-cbrt-cube
7×associate-/r*
6×associate-/r/ add-log-exp
5×flip3-+ flip-+
4×pow1 div-inv
3×div-sub
2×cbrt-undiv frac-2neg div-exp clear-num associate-/l/
1×+-commutative cube-div neg-sub0 cube-mult associate-+r- cbrt-div pow1/3 unpow3 unsub-neg sum-log rem-cbrt-cube sqr-pow
Counts
4 → 153
Calls
4 calls:
12.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
17.0ms
(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
14.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
19.0ms
(cbrt (pow (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) 3))

series421.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
130.0ms
(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
58.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
166.0ms
(cbrt (pow (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) 3))

simplify77.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
07401936
130031859
250021851

prune523.0ms

Filtered
165 candidates to 89 candidates (53.9%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1650165
Fresh000
Picked011
Done022
Total1653168

Merged error: 0b

Counts
168 → 3

regimes339.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
04018
14018

end0.0ms

sample1.1s

Algorithm
intervals
Results
676.0ms7997×body80valid
1.0ms2×body1280valid
0.0ms1×body320valid

Profiling

Loading profile data...