Details

sample45.0ms

Algorithm

intervals

Results

24.0ms

256×

body

valid

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

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

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

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

208×	`*-un-lft-identity`
120×	`times-frac`
100×	`add-sqr-sqrt`
84×	`distribute-lft-out--`
72×	`add-cube-cbrt`
58×	`exp-prod`
49×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
21×	`associate-/l*`
14×	`difference-of-squares`
8×	`add-exp-log` `add-cbrt-cube`
7×	`neg-mul-1` `associate-/r*` `add-log-exp`
5×	`distribute-lft-out`
4×	`pow1`
3×	`div-inv`
2×	`cbrt-undiv` `neg-sub0` `frac-2neg` `flip3-+` `div-sub` `distribute-frac-neg` `div-exp` `clear-num` `associate-/r/` `flip-+` `associate-/l/` `distribute-neg-frac`
1×	`+-commutative` `exp-neg` `flip3--` `exp-diff` `sum-log` `flip--` `rem-exp-log`

Counts

4 → 204

Calls

4 calls:

15.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
13.0ms	(+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))
19.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
16.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))

series316.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
67.0ms	(+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))
128.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
61.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify56.0ms

Algorithm

egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	547	1878
1	1599	1804
2	5002	1801

prune784.0ms

Filtered

216 candidates to 137 candidates (63.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	212	4	216
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	212	5	217

Merged error: 0.0b

Counts

217 → 5

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

108×	`*-un-lft-identity`
66×	`times-frac`
58×	`exp-prod`
56×	`add-sqr-sqrt`
44×	`add-cube-cbrt`
36×	`distribute-lft-out--`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
12×	`cbrt-prod`
7×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
5×	`distribute-lft-out`
4×	`pow1` `associate-/r*`
3×	`neg-mul-1` `unpow-prod-down` `cube-prod` `associate-/l*`
2×	`cube-div` `neg-sub0` `exp-neg` `cbrt-div` `flip3-+` `exp-diff` `div-sub` `distribute-frac-neg` `associate-/r/` `flip-+` `div-inv`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `frac-2neg` `pow1/3` `unpow3` `div-exp` `clear-num` `sum-log` `rem-cbrt-cube` `rem-exp-log` `sqr-pow`

Counts

4 → 136

Calls

4 calls:

16.0ms	(+ 1.0 (cbrt (pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)))
22.0ms	(/ NdChar (+ 1.0 (cbrt (pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3))))
13.0ms	(cbrt (pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3))
16.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))

series323.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(+ 1.0 (cbrt (pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)))
139.0ms	(/ NdChar (+ 1.0 (cbrt (pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3))))
57.0ms	(cbrt (pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3))
63.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify52.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	471	1448
1	1559	1348
2	5001	1328

prune596.0ms

Filtered

148 candidates to 95 candidates (64.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	148	5	153

Merged error: 0.0b

Counts

153 → 5

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt NdChar) (cbrt NdChar))
0.6b	(cbrt NdChar)
0.6b	(cbrt NdChar)
0.6b	(cbrt NdChar)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt NdChar) (cbrt NdChar))
1.0ms	(cbrt NdChar)
1.0ms	(cbrt NdChar)
1.0ms	(cbrt NdChar)

series743.0ms

Counts

4 → 12

Calls

4 calls:

197.0ms	(* (cbrt NdChar) (cbrt NdChar))
185.0ms	(cbrt NdChar)
181.0ms	(cbrt NdChar)
180.0ms	(cbrt NdChar)

simplify90.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (85.0ms)

Iter	Nodes	Cost
0	115	288
1	472	261
2	2959	238
3	5003	235

prune415.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	85	5	90

Merged error: 0.0b

Counts

90 → 5

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt NdChar) (cbrt NdChar))
0.6b	(cbrt NdChar)
0.6b	(cbrt NdChar)
0.6b	(cbrt NdChar)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt NdChar) (cbrt NdChar))
1.0ms	(cbrt NdChar)
1.0ms	(cbrt NdChar)
1.0ms	(cbrt NdChar)

series742.0ms

Counts

4 → 12

Calls

4 calls:

198.0ms	(* (cbrt NdChar) (cbrt NdChar))
182.0ms	(cbrt NdChar)
177.0ms	(cbrt NdChar)
184.0ms	(cbrt NdChar)

simplify91.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (85.0ms)

Iter	Nodes	Cost
0	115	288
1	472	261
2	2959	238
3	5003	235

prune587.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	85	5	90

Merged error: 0.0b

Counts

90 → 5

regimes452.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	35	17
1	35	17

end0.0ms

sample1.1s

Algorithm

intervals

Results

680.0ms	7998×	body	80	valid
1.0ms	1×	body	5120	exit
1.0ms	1×	body	1280	valid
0.0ms	1×	body	160	valid

Details

sample45.0ms

simplify44.0ms

prune4.0ms

localize23.0ms

rewrite74.0ms

series316.0ms

simplify56.0ms

prune784.0ms

localize27.0ms

rewrite74.0ms

series323.0ms

simplify52.0ms

prune596.0ms

localize35.0ms

rewrite11.0ms

series743.0ms

simplify90.0ms

prune415.0ms

localize27.0ms

rewrite11.0ms

series742.0ms

simplify91.0ms

prune587.0ms

regimes452.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling