Details

sample61.0ms

Algorithm

intervals

Results

25.0ms

256×

body

valid

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

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

rewrite71.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:

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

series304.0ms

Counts

4 → 12

Calls

4 calls:

126.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
54.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
58.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
67.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)

simplify65.0ms

Algorithm

egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	667	2187
1	2326	2070
2	5003	2058

prune1.5s

Filtered

260 candidates to 154 candidates (59.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	257	3	260
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	257	4	261

Merged error: 0.0b

Counts

261 → 4

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

348×	`*-un-lft-identity`
231×	`times-frac`
154×	`add-sqr-sqrt`
126×	`add-cube-cbrt`
84×	`distribute-lft-out--`
61×	`distribute-rgt-neg-in`
60×	`distribute-lft-out`
58×	`exp-prod`
49×	`distribute-lft-neg-in`
30×	`associate-/l*`
22×	`associate-/r*`
19×	`add-exp-log`
14×	`difference-of-squares`
13×	`add-cbrt-cube`
9×	`div-exp`
8×	`div-inv`
7×	`neg-mul-1`
5×	`pow1` `cbrt-undiv` `div-sub` `add-log-exp`
4×	`associate-/l/`
3×	`neg-sub0` `frac-2neg` `clear-num`
2×	`rec-exp` `1-exp` `distribute-frac-neg` `distribute-neg-frac`
1×	`exp-neg` `associate-+r-` `flip3--` `pow-flip` `flip3-+` `exp-diff` `unsub-neg` `associate-/r/` `flip--` `flip-+` `rem-exp-log` `inv-pow`

Counts

4 → 303

Calls

4 calls:

20.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
15.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
13.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
17.0ms	(/ 1 (/ (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))) NaChar))

series356.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)
55.0ms	(exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))
56.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
188.0ms	(/ 1 (/ (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))) NaChar))

simplify88.0ms

Algorithm

egg-herbie

Counts

315 → 315

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	853	3174
1	3365	2959
2	5001	2835

prune1.6s

Filtered

315 candidates to 162 candidates (51.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	315	0	315
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	315	4	319

Merged error: 0.0b

Counts

319 → 4

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt NaChar) (cbrt NaChar))
0.6b	(cbrt NaChar)
0.6b	(cbrt NaChar)
0.6b	(cbrt NaChar)

rewrite13.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:

8.0ms	(* (cbrt NaChar) (cbrt NaChar))
1.0ms	(cbrt NaChar)
1.0ms	(cbrt NaChar)
1.0ms	(cbrt NaChar)

series742.0ms

Counts

4 → 12

Calls

4 calls:

203.0ms	(* (cbrt NaChar) (cbrt NaChar))
189.0ms	(cbrt NaChar)
175.0ms	(cbrt NaChar)
175.0ms	(cbrt NaChar)

simplify89.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (84.0ms)

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

prune742.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	85	4	89

Merged error: 0.0b

Counts

89 → 4

localize31.0ms

Local error

Found 4 expressions with local error:

5.2b	(/ (* EAccept NaChar) KbT)
5.3b	(/ (* mu NaChar) KbT)
5.7b	(/ (* Ev NaChar) KbT)
7.0b	(/ (* Vef NaChar) KbT)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-exp-log` `add-cbrt-cube`
12×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
8×	`cbrt-undiv` `div-exp`
4×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*` `add-log-exp`

Counts

4 → 84

Calls

4 calls:

4.0ms	(/ (* EAccept NaChar) KbT)
4.0ms	(/ (* mu NaChar) KbT)
4.0ms	(/ (* Ev NaChar) KbT)
4.0ms	(/ (* Vef NaChar) KbT)

series79.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ (* EAccept NaChar) KbT)
19.0ms	(/ (* mu NaChar) KbT)
19.0ms	(/ (* Ev NaChar) KbT)
23.0ms	(/ (* Vef NaChar) KbT)

simplify38.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	354	340
1	1840	280
2	5002	280

prune685.0ms

Filtered

96 candidates to 64 candidates (66.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	96	4	100

Merged error: 0.0b

Counts

100 → 4

regimes1.2s

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

Algorithm

intervals

Results

656.0ms	7998×	body	80	valid
2.0ms	2×	body	5120	exit
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample61.0ms

simplify42.0ms

prune9.0ms

localize22.0ms

rewrite71.0ms

series304.0ms

simplify65.0ms

prune1.5s

localize26.0ms

rewrite81.0ms

series356.0ms

simplify88.0ms

prune1.6s

localize31.0ms

rewrite13.0ms

series742.0ms

simplify89.0ms

prune742.0ms

localize31.0ms

rewrite19.0ms

series79.0ms

simplify38.0ms

prune685.0ms

regimes1.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling