Details

sample45.0ms

Algorithm

intervals

Results

24.0ms

256×

body

valid

simplify46.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

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(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)
0.0b	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

277×	`*-un-lft-identity`
120×	`times-frac`
88×	`distribute-lft-out`
87×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
49×	`distribute-rgt-neg-in`
48×	`distribute-lft-out--`
31×	`exp-prod`
30×	`associate-/l*`
28×	`distribute-lft-neg-in`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
8×	`difference-of-squares`
7×	`div-sub`
5×	`add-log-exp`
4×	`pow1` `neg-mul-1` `div-inv` `associate-/l/`
3×	`cbrt-undiv` `neg-sub0` `frac-2neg` `exp-diff` `div-exp` `clear-num`
2×	`associate-+r-` `flip3-+` `unsub-neg` `associate-/r/` `flip-+` `distribute-neg-frac`
1×	`flip3--` `distribute-frac-neg` `flip--` `rem-exp-log`

Counts

4 → 222

Calls

4 calls:

15.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
17.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
19.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
17.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)

series329.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
147.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
54.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
64.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)

simplify65.0ms

Algorithm

egg-herbie

Counts

234 → 234

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	647	1989
1	2281	1873
2	5002	1862

prune739.0ms

Filtered

234 candidates to 133 candidates (56.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	231	3	234
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	232	3	235

Merged error: 0.0b

Counts

235 → 3

localize32.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (- (- Ec Vef) EDonor) mu)) (cbrt (- (- (- Ec Vef) EDonor) mu)))
0.6b	(cbrt (- (- (- Ec Vef) EDonor) mu))
0.6b	(cbrt (- (- (- Ec Vef) EDonor) mu))
0.6b	(cbrt (- (- (- Ec Vef) EDonor) mu))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

138×	`*-un-lft-identity`
78×	`distribute-lft-out--`
77×	`cbrt-prod`
37×	`add-sqr-sqrt`
22×	`swap-sqr`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`associate-r` `associate-l`
9×	`flip3--` `pow1/3` `flip--`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 123

Calls

4 calls:

26.0ms	(* (cbrt (- (- (- Ec Vef) EDonor) mu)) (cbrt (- (- (- Ec Vef) EDonor) mu)))
10.0ms	(cbrt (- (- (- Ec Vef) EDonor) mu))
10.0ms	(cbrt (- (- (- Ec Vef) EDonor) mu))
10.0ms	(cbrt (- (- (- Ec Vef) EDonor) mu))

series991.0ms

Counts

4 → 12

Calls

4 calls:

231.0ms	(* (cbrt (- (- (- Ec Vef) EDonor) mu)) (cbrt (- (- (- Ec Vef) EDonor) mu)))
251.0ms	(cbrt (- (- (- Ec Vef) EDonor) mu))
255.0ms	(cbrt (- (- (- Ec Vef) EDonor) mu))
255.0ms	(cbrt (- (- (- Ec Vef) EDonor) mu))

simplify133.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 3 (114.0ms)

Iter	Nodes	Cost
0	249	1393
1	867	1303
2	3845	1131
3	5001	1119

prune566.0ms

Filtered

135 candidates to 81 candidates (60.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	135	3	138

Merged error: 0.0b

Counts

138 → 3

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

365×	`*-un-lft-identity`
144×	`distribute-lft-out`
135×	`times-frac`
93×	`add-sqr-sqrt`
77×	`add-cube-cbrt`
64×	`distribute-rgt-neg-in`
48×	`distribute-lft-out--`
45×	`associate-/l*`
28×	`distribute-lft-neg-in`
12×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
10×	`div-sub`
8×	`associate-/l/` `difference-of-squares`
4×	`pow1` `cbrt-undiv` `neg-sub0` `neg-mul-1` `frac-2neg` `div-exp` `clear-num` `div-inv` `add-log-exp`
3×	`associate-+r-` `flip3-+` `unsub-neg` `flip-+`
2×	`distribute-neg-frac`
1×	`flip3--` `distribute-frac-neg` `flip--`

Counts

4 → 259

Calls

4 calls:

21.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
16.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
17.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)

series237.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
60.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
62.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
59.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)

simplify67.0ms

Algorithm

egg-herbie

Counts

271 → 271

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	425	2179
1	1634	2021
2	5001	1997

prune1.0s

Filtered

271 candidates to 144 candidates (53.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	271	0	271
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	271	3	274

Merged error: 0.0b

Counts

274 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

239×	`*-un-lft-identity`
117×	`times-frac`
91×	`add-sqr-sqrt`
75×	`add-cube-cbrt`
58×	`distribute-lft-out`
48×	`distribute-lft-out--`
42×	`cbrt-prod`
40×	`distribute-rgt-neg-in`
30×	`associate-/l*`
28×	`distribute-lft-neg-in`
18×	`unpow-prod-down` `cube-prod`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
8×	`difference-of-squares`
6×	`associate-/r/`
5×	`div-inv`
4×	`pow1` `neg-mul-1` `flip3-+` `div-sub` `flip-+` `associate-/l/` `add-log-exp`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
2×	`neg-sub0` `distribute-neg-frac`
1×	`cube-div` `cube-mult` `associate-+r-` `cbrt-div` `flip3--` `pow1/3` `unpow3` `distribute-frac-neg` `unsub-neg` `flip--` `rem-cbrt-cube` `sqr-pow`

Counts

4 → 232

Calls

4 calls:

18.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
16.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
18.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
25.0ms	(cbrt (pow (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) 3))

series629.0ms

Counts

4 → 12

Calls

4 calls:

336.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
56.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
65.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
173.0ms	(cbrt (pow (/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) 3))

simplify92.0ms

Algorithm

egg-herbie

Counts

244 → 244

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	911	2592
1	3644	2510
2	5001	2510

prune841.0ms

Filtered

244 candidates to 136 candidates (55.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	244	0	244
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	244	3	247

Merged error: 0.0b

Counts

247 → 3

regimes325.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	28
1	46	28
2	48	28
3	48	28

end0.0ms

sample1.0s

Algorithm

intervals

Results

662.0ms	7999×	body	80	valid
0.0ms	1×	body	640	valid

Details

sample45.0ms

simplify46.0ms

prune5.0ms

localize22.0ms

rewrite80.0ms

series329.0ms

simplify65.0ms

prune739.0ms

localize32.0ms

rewrite63.0ms

series991.0ms

simplify133.0ms

prune566.0ms

localize31.0ms

rewrite84.0ms

series237.0ms

simplify67.0ms

prune1.0s

localize26.0ms

rewrite89.0ms

series629.0ms

simplify92.0ms

prune841.0ms

regimes325.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling