Details

sample4.4s

Algorithm

intervals

sampling

Space saved by range analysis: 0.438596%

Space saved by search: 0.438596%

Guaranteed chance to sample good point: 0%

Results

29.0ms

256×

body

valid

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

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

126×	`*-un-lft-identity`
57×	`distribute-lft-out`
51×	`times-frac`
36×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`associate-/l*`
12×	`distribute-rgt-neg-in`
11×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
4×	`pow1` `flip3-+` `associate-/r/` `flip-+`
3×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv`
2×	`associate-/l/`
1×	`+-commutative` `neg-sub0` `associate-+r-` `unsub-neg` `sum-log`

Counts

4 → 134

Calls

4 calls:

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

series164.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(/ NdChar (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))
16.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)
62.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
28.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))

simplify54.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	555	1551
1	1973	1418
2	5001	1408

prune179.0ms

Filtered

93 candidates to 146 candidates (-57.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	143	3	146
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	143	4	147

Merged error: 0b

Counts

147 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))))
0.1b	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))))
0.5b	(sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
0.5b	(sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

378×	`times-frac`
306×	`*-un-lft-identity`
232×	`sqrt-prod`
192×	`add-sqr-sqrt`
190×	`add-cube-cbrt`
58×	`distribute-lft-out`
30×	`associate-/l*`
24×	`sqrt-div`
20×	`associate-/r/`
14×	`associate-/r*`
12×	`flip3-+` `flip-+`
11×	`add-exp-log` `add-cbrt-cube`
10×	`div-inv`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`
1×	`associate-/l/`

Counts

4 → 317

Calls

4 calls:

18.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))))
35.0ms	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))))
12.0ms	(sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
12.0ms	(sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))

series247.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))))
60.0ms	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))))
55.0ms	(sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
60.0ms	(sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))

simplify118.0ms

Algorithm

egg-herbie

Counts

329 → 329

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	856	8993
1	2965	8156
2	5001	8015

prune406.0ms

Filtered

144 candidates to 329 candidates (-128.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	329	0	329
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	329	4	333

Merged error: 0b

Counts

333 → 4

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite533.0ms

Algorithm

rewrite-expression-head

Rules

2281×	`*-un-lft-identity`
1056×	`distribute-lft-out--`
1050×	`exp-prod`
1039×	`times-frac`
515×	`add-sqr-sqrt`
443×	`distribute-rgt-neg-in`
429×	`add-cube-cbrt`
387×	`distribute-lft-neg-in`
189×	`pow-prod-down`
155×	`pow-sqr` `pow-prod-up`
66×	`exp-neg` `distribute-frac-neg`
59×	`pow-pow`
45×	`neg-sub0` `neg-mul-1` `exp-diff` `div-sub`
42×	`associate-*r/` `difference-of-squares`
27×	`frac-sub`
21×	`un-div-inv`
20×	`distribute-lft-out`
19×	`unpow-prod-down` `cube-prod`
16×	`frac-times`
15×	`sub-div`
14×	`associate-*l/`
12×	`pow1`
9×	`associate-/r*` `add-cbrt-cube`
8×	`div-inv`
6×	`add-exp-log` `add-log-exp`
4×	`sum-cubes`
3×	`pow-unpow` `swap-sqr` `associate-r` `associate-l` `associate-/l*`
2×	`cube-div` `associate-/r/`
1×	`cbrt-undiv` `pow2` `cube-mult` `pow-to-exp` `sub-neg` `flip3--` `distribute-rgt-out--` `frac-2neg` `flip3-+` `pow-plus` `diff-log` `unpow3` `div-exp` `pow-exp` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `rem-cube-cbrt` `unswap-sqr` `sqr-pow`

Counts

4 → 721

Calls

4 calls:

178.0ms	(* (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))
23.0ms	(/ NdChar (+ (pow 1.0 3) (pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)))
22.0ms	(pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
195.0ms	(- (* (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) (* 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))

series253.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))
101.0ms	(/ NdChar (+ (pow 1.0 3) (pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)))
46.0ms	(pow (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
72.0ms	(- (* (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) (* 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))

simplify185.0ms

Algorithm

egg-herbie

Counts

733 → 733

Iterations

Useful iterations: 2 (112.0ms)

Iter	Nodes	Cost
0	1283	6402
1	4813	5862
2	5002	5846

prune539.0ms

Filtered

187 candidates to 733 candidates (-292.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	733	0	733
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	733	4	737

Merged error: 0b

Counts

737 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

372×	`times-frac`
301×	`*-un-lft-identity`
193×	`add-sqr-sqrt` `add-cube-cbrt`
186×	`sqrt-prod`
54×	`distribute-lft-out`
38×	`associate-/r*`
13×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
10×	`div-inv`
6×	`add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`frac-2neg` `flip3-+` `clear-num` `associate-/r/` `flip-+`
2×	`associate-/l/`
1×	`+-commutative` `sum-log`

Counts

4 → 310

Calls

4 calls:

12.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
15.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
24.0ms	(/ (sqrt NdChar) (/ (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) (sqrt NdChar)))
20.0ms	(/ (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) (sqrt NdChar))

series299.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))
86.0ms	(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))
63.0ms	(/ (sqrt NdChar) (/ (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) (sqrt NdChar)))
125.0ms	(/ (+ 1.0 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) (sqrt NdChar))

simplify127.0ms

Algorithm

egg-herbie

Counts

322 → 322

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	998	6093
1	4467	5625
2	5001	5604

prune275.0ms

Filtered

151 candidates to 322 candidates (-113.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	322	0	322
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	322	4	326

Merged error: 0b

Counts

326 → 4

regimes1.0s

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

sample5.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0.438596%

Space saved by search: 0.438596%

Guaranteed chance to sample good point: 0%

Results

772.0ms

8000×

body

valid

Details

sample4.4s

simplify44.0ms

prune7.0ms

localize23.0ms

rewrite64.0ms

series164.0ms

simplify54.0ms

prune179.0ms

localize27.0ms

rewrite96.0ms

series247.0ms

simplify118.0ms

prune406.0ms

localize36.0ms

rewrite533.0ms

series253.0ms

simplify185.0ms

prune539.0ms

localize27.0ms

rewrite95.0ms

series299.0ms

simplify127.0ms

prune275.0ms

regimes1.0s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.5s

Profiling