Details

analyze1.5s

Algorithm: search

sample47.0ms

Algorithm

intervals

Results

22.0ms

256×

body

valid

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

prune7.0ms

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

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

176×	`*-un-lft-identity`
89×	`distribute-lft-out`
66×	`times-frac`
40×	`add-sqr-sqrt` `add-cube-cbrt`
31×	`exp-prod`
21×	`distribute-rgt-neg-in`
12×	`associate-/l*`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/r*` `add-log-exp`
6×	`div-sub`
4×	`pow1`
3×	`flip3-+` `exp-diff` `flip-+` `div-inv`
2×	`cbrt-undiv` `neg-sub0` `associate-+r-` `frac-2neg` `div-exp` `unsub-neg` `clear-num` `associate-/r/` `associate-/l/`
1×	`+-commutative` `sum-log` `rem-exp-log`

Counts

4 → 143

Calls

4 calls:

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

series118.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))
57.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
22.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

simplify49.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	443	1333
1	1609	1222
2	5002	1211

prune167.0ms

Filtered

88 candidates to 155 candidates (-76.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	152	3	155
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	153	3	156

Merged error: 0.0b

Counts

156 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

177×	`*-un-lft-identity`
89×	`distribute-lft-out`
66×	`times-frac`
41×	`add-sqr-sqrt` `add-cube-cbrt`
31×	`pow-unpow`
21×	`distribute-rgt-neg-in`
12×	`associate-/l*`
9×	`add-exp-log`
8×	`add-cbrt-cube`
7×	`associate-/r*`
6×	`div-sub` `add-log-exp`
5×	`pow1`
3×	`unpow-prod-down` `flip3-+` `flip-+` `div-inv` `pow-sub`
2×	`cbrt-undiv` `neg-sub0` `associate-+r-` `frac-2neg` `div-exp` `unsub-neg` `pow-exp` `clear-num` `associate-/r/` `associate-/l/`
1×	`+-commutative` `pow-to-exp` `e-exp-1` `pow-pow` `sum-log` `sqr-pow`

Counts

4 → 150

Calls

4 calls:

13.0ms	(+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))
18.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
14.0ms	(pow E (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

series120.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))
56.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
25.0ms	(pow E (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

simplify57.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	520	1398
1	2020	1289
2	5001	1277

prune170.0ms

Filtered

92 candidates to 162 candidates (-76.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	160	2	162
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	161	4	165

Merged error: 0b

Counts

165 → 4

localize28.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	(pow E (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
0.0b	(pow E (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

312×	`*-un-lft-identity`
168×	`distribute-lft-out`
108×	`times-frac`
62×	`pow-unpow`
60×	`add-sqr-sqrt` `add-cube-cbrt`
42×	`distribute-rgt-neg-in`
18×	`associate-/l*`
12×	`div-sub`
10×	`add-exp-log`
8×	`add-cbrt-cube`
6×	`pow1` `unpow-prod-down` `associate-/r*` `pow-sub`
4×	`neg-sub0` `associate-+r-` `unsub-neg` `pow-exp` `div-inv` `associate-/l/` `add-log-exp`
2×	`cbrt-undiv` `pow-to-exp` `e-exp-1` `pow-pow` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `sqr-pow`

Counts

4 → 210

Calls

4 calls:

14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
18.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
14.0ms	(pow E (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
14.0ms	(pow E (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

series83.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
19.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
24.0ms	(pow E (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
25.0ms	(pow E (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

simplify51.0ms

Algorithm

egg-herbie

Counts

222 → 222

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	290	1542
1	1325	1426
2	5002	1406

prune190.0ms

Filtered

108 candidates to 222 candidates (-105.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	222	0	222
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	222	4	226

Merged error: 0b

Counts

226 → 4

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (sqrt E) (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
0.0b	(pow (sqrt E) (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
0.0b	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
0.0b	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

314×	`*-un-lft-identity`
168×	`distribute-lft-out`
108×	`times-frac`
62×	`add-sqr-sqrt` `add-cube-cbrt` `pow-unpow`
42×	`distribute-rgt-neg-in`
18×	`associate-/l*`
12×	`unpow-prod-down` `div-sub`
10×	`add-exp-log`
8×	`pow1` `add-cbrt-cube`
6×	`pow-pow` `associate-/r*` `sqrt-prod` `pow-sub`
4×	`neg-sub0` `associate-+r-` `unsub-neg` `div-inv` `associate-/l/` `add-log-exp`
2×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `sqrt-pow1` `flip3-+` `pow1/2` `div-exp` `pow-exp` `clear-num` `sqrt-pow2` `flip-+` `sqr-pow`

Counts

4 → 220

Calls

4 calls:

19.0ms	(pow (sqrt E) (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
15.0ms	(pow (sqrt E) (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

series108.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(pow (sqrt E) (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
40.0ms	(pow (sqrt E) (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
15.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

simplify54.0ms

Algorithm

egg-herbie

Counts

232 → 232

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	338	1836
1	1477	1700
2	5001	1678

prune160.0ms

Filtered

110 candidates to 232 candidates (-110.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	232	4	236

Merged error: 0b

Counts

236 → 4

regimes913.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	40	26
1	42	26
2	42	26

end0.0ms

analyze1.5s

Algorithm: search

sample1.2s

Algorithm

intervals

Results

747.0ms	7998×	body	80	valid
1.0ms	2×	body	320	valid

Details

analyze1.5s

sample47.0ms

simplify41.0ms

prune7.0ms

localize23.0ms

rewrite65.0ms

series118.0ms

simplify49.0ms

prune167.0ms

localize24.0ms

rewrite66.0ms

series120.0ms

simplify57.0ms

prune170.0ms

localize28.0ms

rewrite71.0ms

series83.0ms

simplify51.0ms

prune190.0ms

localize30.0ms

rewrite75.0ms

series108.0ms

simplify54.0ms

prune160.0ms

regimes913.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze1.5s

sample1.2s

Profiling