Details

sample43.0ms

Algorithm

intervals

Results

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

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

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

191×	`*-un-lft-identity`
92×	`distribute-lft-out`
78×	`times-frac`
49×	`add-sqr-sqrt` `add-cube-cbrt`
31×	`exp-prod`
21×	`distribute-rgt-neg-in`
15×	`associate-/l*`
11×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
6×	`div-sub`
5×	`add-log-exp`
4×	`pow1` `associate-/r/` `div-inv`
3×	`cbrt-undiv` `frac-2neg` `flip3-+` `exp-diff` `div-exp` `clear-num` `flip-+`
2×	`neg-sub0` `associate-+r-` `unsub-neg` `associate-/l/`
1×	`rem-exp-log`

Counts

4 → 164

Calls

4 calls:

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

series375.0ms

Counts

4 → 12

Calls

4 calls:

134.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
52.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
130.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
59.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))

simplify62.0ms

Algorithm

egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	564	1632
1	2008	1512
2	5001	1501

prune572.0ms

Filtered

176 candidates to 102 candidates (58.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	173	3	176
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	174	3	177

Merged error: 0b

Counts

177 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
0.0b	(/ NaChar (+ 1.0 (log (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))))
0.0b	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
0.1b	(log (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

181×	`*-un-lft-identity`
92×	`distribute-lft-out`
69×	`times-frac`
43×	`add-sqr-sqrt` `add-cube-cbrt`
34×	`exp-prod`
21×	`distribute-rgt-neg-in`
12×	`associate-/l*`
9×	`pow1`
8×	`add-exp-log` `associate-/r*` `log-pow` `add-cbrt-cube`
6×	`div-sub`
5×	`add-log-exp`
3×	`log-prod` `exp-diff` `div-inv`
2×	`cbrt-undiv` `neg-sub0` `associate-+r-` `frac-2neg` `flip3-+` `div-exp` `unsub-neg` `clear-num` `associate-/r/` `flip-+` `associate-/l/`
1×	`rem-log-exp` `rem-exp-log`

Counts

4 → 150

Calls

4 calls:

14.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
15.0ms	(/ NaChar (+ 1.0 (log (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))))
14.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
11.0ms	(log (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))

series306.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
133.0ms	(/ NaChar (+ 1.0 (log (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))))
60.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))
56.0ms	(log (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))

simplify50.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	405	1447
1	1485	1320
2	5001	1301

prune548.0ms

Filtered

162 candidates to 92 candidates (56.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	162	3	165

Merged error: 0b

Counts

165 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.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 NaChar) (cbrt NaChar))
1.0ms	(cbrt NaChar)
5.0ms	(cbrt NaChar)
1.0ms	(cbrt NaChar)

series731.0ms

Counts

4 → 12

Calls

4 calls:

198.0ms	(* (cbrt NaChar) (cbrt NaChar))
181.0ms	(cbrt NaChar)
174.0ms	(cbrt NaChar)
178.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

prune409.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	85	3	88

Merged error: 0b

Counts

88 → 3

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)

series766.0ms

Counts

4 → 12

Calls

4 calls:

209.0ms	(* (cbrt NdChar) (cbrt NdChar))
182.0ms	(cbrt NdChar)
183.0ms	(cbrt NdChar)
191.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

prune384.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	85	3	88

Merged error: 0b

Counts

88 → 3

regimes304.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	19
1	37	19

end0.0ms

sample1.1s

Algorithm

intervals

Results

704.0ms

8000×

body

valid

Details

sample43.0ms

simplify46.0ms

prune5.0ms

localize28.0ms

rewrite64.0ms

series375.0ms

simplify62.0ms

prune572.0ms

localize30.0ms

rewrite66.0ms

series306.0ms

simplify50.0ms

prune548.0ms

localize27.0ms

rewrite15.0ms

series731.0ms

simplify89.0ms

prune409.0ms

localize27.0ms

rewrite11.0ms

series766.0ms

simplify91.0ms

prune384.0ms

regimes304.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling