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	1425	17
5	2733	17
6	5001	17

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

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

178×	`*-un-lft-identity`
81×	`times-frac`
60×	`add-sqr-sqrt`
58×	`exp-prod`
50×	`distribute-lft-out`
48×	`add-cube-cbrt`
36×	`distribute-lft-out--`
33×	`distribute-rgt-neg-in`
21×	`distribute-lft-neg-in`
9×	`associate-/l*` `add-log-exp`
6×	`add-exp-log` `fma-def` `add-cbrt-cube` `difference-of-squares`
4×	`pow1` `expm1-log1p-u` `div-sub` `log1p-expm1-u`
3×	`neg-mul-1` `flip3-+` `associate-/r*` `flip-+`
2×	`+-commutative` `neg-sub0` `sum-log` `div-inv` `associate-/l/`
1×	`cbrt-undiv` `exp-neg` `associate-+r-` `frac-2neg` `exp-diff` `distribute-frac-neg` `div-exp` `unsub-neg` `clear-num` `rem-exp-log`

Counts

4 → 162

Calls

4 calls:

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

series245.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
67.0ms	(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
58.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
55.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify56.0ms

Algorithm

egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	509	1282
1	1719	1193
2	5002	1170

prune593.0ms

Filtered

174 candidates to 109 candidates (62.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	170	4	174
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	4	175

Merged error: 0.0b

Counts

175 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

186×	`*-un-lft-identity`
81×	`times-frac`
64×	`add-sqr-sqrt`
58×	`exp-prod`
52×	`add-cube-cbrt` `distribute-lft-out`
36×	`distribute-lft-out--`
33×	`distribute-rgt-neg-in`
21×	`distribute-lft-neg-in`
14×	`cbrt-prod`
9×	`associate-/l*`
8×	`unpow-prod-down` `cube-prod`
7×	`add-exp-log` `add-cbrt-cube`
6×	`difference-of-squares`
5×	`pow1` `add-log-exp`
4×	`cube-div` `expm1-log1p-u` `div-sub` `log1p-expm1-u`
3×	`neg-mul-1` `pow-unpow` `flip3-+` `associate-/r*` `flip-+`
2×	`neg-sub0` `cube-mult` `cbrt-div` `unpow3` `div-inv` `associate-/l/` `sqr-pow`
1×	`cbrt-undiv` `exp-neg` `pow-to-exp` `associate-+r-` `pow-pow` `frac-2neg` `exp-diff` `pow1/3` `distribute-frac-neg` `div-exp` `unsub-neg` `pow-exp` `clear-num` `rem-cbrt-cube` `rem-exp-log` `rem-cube-cbrt`

Counts

4 → 184

Calls

4 calls:

14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
13.0ms	(cbrt (pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3))
15.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
17.0ms	(pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3)

series302.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
67.0ms	(cbrt (pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3))
54.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
124.0ms	(pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3)

simplify67.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	581	1694
1	2288	1573
2	5001	1542

prune692.0ms

Filtered

196 candidates to 109 candidates (55.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	195	1	196
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	196	4	200

Merged error: 0.0b

Counts

200 → 4

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
0.0b	(pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3)
0.2b	(expm1 (log1p (pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3)))
0.5b	(log1p (pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

93×	`*-un-lft-identity`
58×	`exp-prod`
54×	`times-frac`
47×	`add-sqr-sqrt`
36×	`distribute-lft-out--`
35×	`add-cube-cbrt`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
6×	`difference-of-squares`
5×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `add-log-exp`
4×	`unpow-prod-down` `cube-prod` `log1p-expm1-u`
3×	`neg-mul-1` `pow-unpow`
2×	`cube-div` `distribute-lft-out`
1×	`neg-sub0` `exp-neg` `cube-mult` `pow-to-exp` `log1p-udef` `expm1-log1p` `pow-pow` `flip3-+` `exp-diff` `unpow3` `div-sub` `log1p-expm1` `distribute-frac-neg` `pow-exp` `flip-+` `div-inv` `rem-exp-log` `expm1-udef` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 121

Calls

4 calls:

23.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
25.0ms	(pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3)
1.0ms	(expm1 (log1p (pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3)))
1.0ms	(log1p (pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3))

series1.2s

Counts

4 → 12

Calls

4 calls:

56.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
131.0ms	(pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3)
501.0ms	(expm1 (log1p (pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3)))
515.0ms	(log1p (pow (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))) 3))

simplify49.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	467	1126
1	1544	1016
2	5001	998

prune592.0ms

Filtered

133 candidates to 84 candidates (63.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	133	4	137

Merged error: 0.0b

Counts

137 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

276×	`*-un-lft-identity`
135×	`times-frac`
118×	`add-sqr-sqrt`
116×	`exp-prod`
82×	`add-cube-cbrt`
72×	`distribute-lft-out--`
54×	`distribute-rgt-neg-in` `distribute-lft-out`
42×	`distribute-lft-neg-in`
26×	`sqrt-prod`
19×	`pow1`
12×	`sqrt-div` `difference-of-squares`
11×	`swap-sqr`
9×	`associate-/l*`
8×	`add-exp-log` `sqrt-pow1` `pow1/2` `add-cbrt-cube`
7×	`flip3-+` `associate-r` `associate-l` `flip-+`
6×	`neg-mul-1` `add-log-exp`
5×	`div-sub` `pow-prod-up`
4×	`expm1-log1p-u` `frac-times` `log1p-expm1-u` `unswap-sqr`
3×	`neg-sub0` `pow-prod-down` `associate-/r*` `pow-sqr` `div-inv`
2×	`exp-neg` `exp-diff` `associate-r/` `distribute-frac-neg` `associate-l/` `rem-exp-log` `associate-/l/`
1×	`cbrt-undiv` `pow2` `associate-+r-` `frac-2neg` `pow-plus` `sqrt-unprod` `div-exp` `unsub-neg` `prod-exp` `clear-num` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 262

Calls

4 calls:

14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
16.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
16.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
35.0ms	(* (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))))

series234.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
53.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
58.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
68.0ms	(* (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))))

simplify74.0ms

Algorithm

egg-herbie

Counts

274 → 274

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	516	2354
1	2215	2177
2	5001	2099

prune1.0s

Filtered

274 candidates to 149 candidates (54.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	274	0	274
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	274	4	278

Merged error: 0.0b

Counts

278 → 4

regimes381.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	21
1	40	21

end0.0ms

sample1.1s

Algorithm

intervals

Results

734.0ms	7997×	body	80	valid
2.0ms	3×	body	5120	exit
1.0ms	2×	body	640	valid
0.0ms	1×	body	320	valid