Details

Time bar (total: 12.1s)

sample44.0ms

Algorithm
intervals
Results
19.0ms255×body80valid
0.0ms1×body320valid

simplify45.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.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

localize22.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
278×*-un-lft-identity
135×times-frac
106×add-sqr-sqrt
84×distribute-lft-out--
78×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 expm1-log1p-u log1p-expm1-u associate-/l/
3×neg-sub0 fma-def 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 → 238
Calls
4 calls:
196.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
562.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
493.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
272.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

series256.0ms

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

simplify56.0ms

Algorithm
egg-herbie
Counts
250 → 250
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
05861958
120571853
250011817

prune944.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize30.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×expm1-log1p-u frac-times neg-mul-1 log1p-expm1-u 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 → 273
Calls
4 calls:
478.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
265.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
263.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)))))

series256.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
56.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
59.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
78.0ms
(* (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

simplify77.0ms

Algorithm
egg-herbie
Counts
285 → 285
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
05932724
125392495
250012433

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize27.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×expm1-log1p-u log1p-expm1-u 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 → 242
Calls
4 calls:
562.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
478.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
266.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
882.0ms
(* (exp 1.0) (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

series384.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
58.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
60.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
200.0ms
(* (exp 1.0) (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

simplify60.0ms

Algorithm
egg-herbie
Counts
254 → 254
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
06192074
122931947
250011910

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.1s

Algorithm
intervals
Results
511.0ms7999×body80valid
0.0ms1×body320valid