Details

sample58.0ms

Algorithm

intervals

Results

37.0ms

256×

body

valid

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	17
1	120	17
2	311	17
3	677	17
4	1422	17
5	2726	17
6	5001	17

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	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
0.0b	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
0.0b	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
0.0b	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

rewrite930.0ms

Algorithm

rewrite-expression-head

Rules

292×	`*-un-lft-identity`
147×	`times-frac`
114×	`add-sqr-sqrt`
86×	`add-cube-cbrt`
84×	`distribute-lft-out--`
61×	`distribute-rgt-neg-in`
58×	`exp-prod`
52×	`distribute-lft-out`
49×	`distribute-lft-neg-in`
30×	`associate-/l*`
14×	`difference-of-squares`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
7×	`neg-mul-1`
5×	`div-sub` `add-log-exp`
4×	`pow1` `div-inv` `associate-/l/`
3×	`cbrt-undiv` `neg-sub0` `frac-2neg` `div-exp` `clear-num`
2×	`flip3-+` `distribute-frac-neg` `associate-/r/` `flip-+` `distribute-neg-frac`
1×	`exp-neg` `associate-+r-` `flip3--` `exp-diff` `unsub-neg` `flip--` `rem-exp-log`

Counts

4 → 248

Calls

4 calls:

220.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
144.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
235.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
318.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series306.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
52.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
59.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
60.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify62.0ms

Algorithm

egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	667	2215
1	2334	2090
2	5002	2058

prune1.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite928.0ms

Algorithm

rewrite-expression-head

Rules

292×	`*-un-lft-identity`
147×	`times-frac`
114×	`add-sqr-sqrt`
86×	`add-cube-cbrt`
84×	`distribute-lft-out--`
61×	`distribute-rgt-neg-in`
58×	`exp-prod`
52×	`distribute-lft-out`
49×	`distribute-lft-neg-in`
30×	`associate-/l*`
14×	`difference-of-squares`
12×	`add-exp-log`
10×	`associate-/r*` `add-cbrt-cube`
7×	`neg-mul-1`
5×	`pow1` `div-sub` `add-log-exp`
4×	`div-exp` `div-inv` `associate-/l/`
3×	`cbrt-undiv` `neg-sub0` `frac-2neg` `clear-num`
2×	`flip3-+` `distribute-frac-neg` `associate-/r/` `flip-+` `distribute-neg-frac`
1×	`exp-neg` `associate-+r-` `rec-exp` `flip3--` `pow-flip` `exp-diff` `1-exp` `unsub-neg` `flip--` `rem-exp-log` `inv-pow`

Counts

4 → 252

Calls

4 calls:

221.0ms	(/ 1 (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
145.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
235.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
314.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series268.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(/ 1 (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
55.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
55.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
60.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify67.0ms

Algorithm

egg-herbie

Counts

264 → 264

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	641	2219
1	2302	2086
2	5002	2034

prune925.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	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
0.0b	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))
0.1b	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

486×	`times-frac`
485×	`*-un-lft-identity`
275×	`add-sqr-sqrt`
247×	`add-cube-cbrt`
224×	`sqrt-prod`
84×	`distribute-lft-out--`
58×	`exp-prod`
56×	`distribute-lft-out`
49×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
48×	`associate-/l*`
20×	`sqrt-div` `associate-/r/`
17×	`associate-/r*`
14×	`difference-of-squares`
13×	`add-exp-log` `add-cbrt-cube`
12×	`div-inv`
10×	`flip3-+` `flip-+`
7×	`neg-mul-1`
5×	`cbrt-undiv` `div-exp` `add-log-exp`
4×	`pow1`
3×	`frac-2neg` `clear-num` `associate-/l/`
2×	`neg-sub0` `div-sub` `distribute-frac-neg` `distribute-neg-frac`
1×	`exp-neg` `flip3--` `exp-diff` `flip--` `rem-exp-log`

Counts

4 → 444

Calls

4 calls:

233.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
305.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
220.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))
558.0ms	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

series409.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
56.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
165.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))
130.0ms	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

simplify132.0ms

Algorithm

egg-herbie

Counts

456 → 456

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	1133	9813
1	3815	8957
2	5001	8823

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.6s

Algorithm

rewrite-expression-head

Rules

8616×	`times-frac`
8090×	`sqrt-prod`
5551×	`*-un-lft-identity`
3571×	`add-sqr-sqrt`
3559×	`add-cube-cbrt`
969×	`distribute-lft-out`
306×	`associate-/l*`
296×	`sqrt-div`
270×	`associate-/r/`
136×	`div-inv`
135×	`flip3-+` `flip-+`
58×	`exp-prod`
36×	`distribute-lft-out--`
27×	`associate-/r*`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
20×	`add-exp-log` `add-cbrt-cube`
10×	`cbrt-undiv` `div-exp`
6×	`difference-of-squares`
5×	`add-log-exp`
4×	`pow1`
3×	`neg-mul-1` `frac-2neg` `clear-num`
2×	`associate-/l/`
1×	`neg-sub0` `exp-neg` `exp-diff` `div-sub` `distribute-frac-neg` `rem-exp-log`

Counts

4 → 3502

Calls

4 calls:

311.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
991.0ms	(/ (/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (sqrt (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))) (sqrt (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
560.0ms	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (sqrt (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
223.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

series620.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
127.0ms	(/ (/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (sqrt (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))) (sqrt (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
266.0ms	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))) (sqrt (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
171.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

simplify1.4s

Algorithm

egg-herbie

Counts

3514 → 3514

Iterations

Useful iterations: 1 (68.0ms)

Iter	Nodes	Cost
0	4802	180892
1	5001	168228

prune7.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes233.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)

Iter	Nodes	Cost
0	40	18
1	40	18

end0.0ms

sample1.4s

Algorithm

intervals

Results

1.0s	8000×	body	80	valid
2.0ms	2×	body	10240	exit