Details

Time bar (total: 12.5s)

sample43.0ms

Algorithm
intervals
Results
21.0ms256×body80valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04917
112017
231117
367717
4142517
5273317
6500117

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite870.0ms

Algorithm
rewrite-expression-head
Rules
259×*-un-lft-identity
135×times-frac
105×add-sqr-sqrt
89×exp-prod
84×distribute-lft-out--
77×add-cube-cbrt
58×distribute-rgt-neg-in
49×distribute-lft-neg-in
37×distribute-lft-out
18×associate-/l*
14×difference-of-squares
8×add-log-exp
7×neg-mul-1
6×add-exp-log add-cbrt-cube
5×div-sub
4×pow1 expm1-log1p-u exp-diff log1p-expm1-u
3×neg-sub0 fma-def associate-/r* div-inv
2×distribute-frac-neg rem-exp-log associate-/l/ distribute-neg-frac
1×cbrt-undiv +-commutative exp-neg associate-+r- flip3-- frac-2neg flip3-+ div-exp unsub-neg clear-num sum-log flip-- flip-+
Counts
4 → 224
Calls
4 calls:
261.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
115.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
166.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
315.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series241.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
67.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
63.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
57.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify53.0ms

Algorithm
egg-herbie
Counts
236 → 236
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
05241743
115201683
250021660

prune899.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
0.0b
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
0.1b
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
0.2b
(cbrt (pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
241×*-un-lft-identity
147×exp-prod
135×times-frac
103×add-sqr-sqrt
79×add-cube-cbrt
72×distribute-lft-out--
59×pow-pow
51×distribute-rgt-neg-in
42×distribute-lft-neg-in
36×distribute-lft-out
12×cbrt-prod difference-of-squares
6×neg-mul-1 unpow-prod-down exp-diff div-sub cube-prod add-log-exp
5×pow1 add-cbrt-cube
4×add-exp-log cube-div neg-sub0 expm1-log1p-u log1p-expm1-u
3×exp-neg pow-unpow distribute-frac-neg div-inv
2×cube-mult cbrt-div unpow3 rem-exp-log sqr-pow
1×pow-to-exp associate-+r- pow1/3 unsub-neg pow-exp rem-cbrt-cube rem-cube-cbrt
Counts
4 → 224
Calls
4 calls:
380.0ms
(pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
164.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
309.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
153.0ms
(cbrt (pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3))

series286.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
59.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
55.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
74.0ms
(cbrt (pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3))

simplify64.0ms

Algorithm
egg-herbie
Counts
236 → 236
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
05911664
121141612
250011562

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
0.1b
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
0.2b
(/ (+ (pow 1.0 3) (pow (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 3)) (fma (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) (- (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 1.0) (* 1.0 1.0)))
1.9b
(- (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 1.0)

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
216×*-un-lft-identity
108×times-frac
89×exp-prod
80×add-sqr-sqrt
66×add-cube-cbrt
56×distribute-lft-out
37×distribute-lft-out--
30×distribute-rgt-neg-in
21×distribute-lft-neg-in
16×unpow-prod-down cube-prod
9×prod-diff associate-/l*
8×add-log-exp
7×difference-of-squares
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u exp-diff div-sub sum-cubes log1p-expm1-u
3×neg-mul-1 fma-neg associate-/r* div-inv
2×neg-sub0 rem-exp-log associate-/l/
1×cbrt-undiv exp-neg associate-+r- sub-neg flip3-- frac-2neg flip3-+ diff-log distribute-frac-neg div-exp unsub-neg clear-num flip-- flip-+
Counts
4 → 197
Calls
4 calls:
165.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
307.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
683.0ms
(/ (+ (pow 1.0 3) (pow (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 3)) (fma (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) (- (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 1.0) (* 1.0 1.0)))
630.0ms
(- (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 1.0)

series847.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
55.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
659.0ms
(/ (+ (pow 1.0 3) (pow (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 3)) (fma (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) (- (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 1.0) (* 1.0 1.0)))
73.0ms
(- (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) 1.0)

simplify79.0ms

Algorithm
egg-herbie
Counts
209 → 209
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
06193314
122783070
250013052

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
0.1b
(* (sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
10.2b
(sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
10.2b
(sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

rewrite817.0ms

Algorithm
rewrite-expression-head
Rules
319×*-un-lft-identity
192×times-frac
176×sqrt-prod
152×add-sqr-sqrt
108×distribute-lft-out--
103×add-cube-cbrt
72×distribute-rgt-neg-in
63×distribute-lft-neg-in
61×associate-*l*
36×distribute-lft-out
31×exp-prod
18×difference-of-squares
9×neg-mul-1
8×pow1
6×add-exp-log add-cbrt-cube
5×add-log-exp
4×expm1-log1p-u rem-sqrt-square log1p-expm1-u div-inv
3×exp-diff sqrt-div div-sub associate-*r* unswap-sqr
2×sqrt-pow1 pow1/2
1×neg-sub0 associate-+r- unsub-neg pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod rem-exp-log
Counts
4 → 269
Calls
4 calls:
166.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
319.0ms
(* (sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
158.0ms
(sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
157.0ms
(sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series503.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
167.0ms
(* (sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
135.0ms
(sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
142.0ms
(sqrt (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify89.0ms

Algorithm
egg-herbie
Counts
281 → 281
Iterations

Useful iterations: 3 (63.0ms)

IterNodesCost
05112650
112032551
235742504
350022481

prune1.4s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes322.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
03819
13819

end0.0ms

sample952.0ms

Algorithm
intervals
Results
563.0ms8000×body80valid