Details

Time bar (total: 11.8s)

sample41.0ms

Algorithm
intervals
Results
16.0ms255×body80valid
0.0ms1×body320valid

simplify45.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04917
112017
231117
367717
4142217
5272617
6500117

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
277×*-un-lft-identity
135×times-frac
105×add-sqr-sqrt
84×distribute-lft-out--
77×add-cube-cbrt
61×distribute-rgt-neg-in
58×exp-prod
49×distribute-lft-neg-in distribute-lft-out
27×associate-/l*
14×difference-of-squares
8×add-exp-log add-cbrt-cube
7×neg-mul-1 add-log-exp
6×associate-/r*
5×div-sub
4×pow1 associate-/l/
3×neg-sub0 div-inv
2×cbrt-undiv frac-2neg flip3-+ distribute-frac-neg div-exp clear-num flip-+ distribute-neg-frac
1×+-commutative exp-neg associate-+r- flip3-- exp-diff unsub-neg sum-log flip-- rem-exp-log
Counts
4 → 227
Calls
4 calls:
200.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
575.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
443.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
271.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

series266.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
63.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
65.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
62.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

simplify57.0ms

Algorithm
egg-herbie
Counts
239 → 239
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
05711904
120081800
250011768

prune888.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
301×*-un-lft-identity
108×times-frac
102×distribute-lft-out
99×add-sqr-sqrt
71×add-cube-cbrt
52×distribute-rgt-neg-in
48×distribute-lft-out--
36×associate-/l*
28×distribute-lft-neg-in
26×sqrt-prod
19×pow1
12×add-exp-log sqrt-div add-cbrt-cube
11×swap-sqr
9×associate-/r*
8×sqrt-pow1 flip3-+ pow1/2 flip-+ difference-of-squares
7×div-sub associate-*r* associate-*l*
6×associate-/l/
5×pow-prod-up
4×frac-times neg-mul-1 add-log-exp unswap-sqr
3×cbrt-undiv neg-sub0 frac-2neg div-exp pow-prod-down clear-num pow-sqr div-inv
2×associate-+r- associate-*r/ unsub-neg associate-*l/ distribute-neg-frac
1×pow2 flip3-- pow-plus sqrt-unprod distribute-frac-neg prod-exp rem-square-sqrt *-commutative flip-- cbrt-unprod
Counts
4 → 265
Calls
4 calls:
437.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
266.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
266.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
1.6s
(* (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

series259.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
61.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
57.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
81.0ms
(* (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

simplify85.0ms

Algorithm
egg-herbie
Counts
277 → 277
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
05792657
126162427
250012359

prune1.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
279×*-un-lft-identity
135×times-frac
109×add-sqr-sqrt
84×distribute-lft-out--
79×add-cube-cbrt
61×distribute-rgt-neg-in
60×exp-prod
49×distribute-lft-neg-in
48×distribute-lft-out
27×associate-/l*
14×difference-of-squares
10×add-cbrt-cube
8×add-exp-log
7×neg-mul-1
6×pow1 associate-/r*
5×div-sub add-log-exp
4×associate-/l/
3×neg-sub0 associate-*r* associate-*l* div-inv
2×cbrt-undiv frac-2neg distribute-frac-neg div-exp clear-num distribute-neg-frac
1×exp-neg associate-+r- flip3-- flip3-+ exp-diff unsub-neg pow-prod-down prod-exp *-commutative pow-prod-up flip-- cbrt-unprod flip-+ rem-exp-log unswap-sqr
Counts
4 → 234
Calls
4 calls:
570.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
439.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
266.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
889.0ms
(* (exp 1.0) (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

series394.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
64.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
62.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
205.0ms
(* (exp 1.0) (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

simplify68.0ms

Algorithm
egg-herbie
Counts
246 → 246
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
06062018
122531891
250011860

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes261.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03820
13820

end0.0ms

sample1.0s

Algorithm
intervals
Results
512.0ms7999×body80valid
0.0ms1×body320valid