Details

analyze1.5s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
24.9%	74.7%	0.4%	8
24.9%	74.7%	0.4%	9
24.9%	74.7%	0.4%	10
25.7%	73.9%	0.4%	11
25.7%	73.9%	0.4%	12
25.7%	73.9%	0.4%	13
25.7%	73.9%	0.4%	14

sample49.0ms

Algorithm

intervals

Results

28.0ms

256×

body

valid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5482	29

prune15.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.2b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

117×	`*-un-lft-identity`
48×	`times-frac`
45×	`distribute-lft-out`
35×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`associate-/l*`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
8×	`distribute-lft-out--`
6×	`add-log-exp`
4×	`pow1` `associate-+r-` `flip3-+` `flip-+` `associate-/l/`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`
2×	`div-sub` `associate-/r/`
1×	`+-commutative` `sum-log`

Counts

4 → 129

Calls

4 calls:

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

series114.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))
15.0ms	(/ (+ Vef (+ Ev (- EAccept mu))) KbT)
16.0ms	(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
58.0ms	(/ NaChar (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))

simplify48.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5441	2118

prune170.0ms

Filtered

94 candidates to 141 candidates (-50.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	139	2	141
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	139	3	142

Merged error: 0.2b

Counts

142 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))) (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
0.1b	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
0.2b	(sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
0.2b	(sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))

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

35.0ms	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))) (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
14.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
10.0ms	(sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
11.0ms	(sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))

series236.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(/ (/ NaChar (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))) (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
69.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
52.0ms	(sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
58.0ms	(sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))

simplify157.0ms

Algorithm

egg-herbie

Counts

329 → 329

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4966	11479
1	4966	11479

prune415.0ms

Filtered

143 candidates to 329 candidates (-130.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	328	1	329
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	329	3	332

Merged error: 0.2b

Counts

332 → 3

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

37×	`*-un-lft-identity`
24×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
21×	`times-frac`
20×	`sqrt-prod`
8×	`cbrt-prod`
7×	`associate-/r*` `distribute-lft-out`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
4×	`cbrt-div` `flip3-+` `sqrt-div` `flip-+` `add-log-exp`
3×	`associate-/l*`
2×	`pow1/3` `associate-/r/`
1×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `div-exp` `clear-num` `div-inv`

Counts

4 → 89

Calls

4 calls:

14.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
11.0ms	(sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
11.0ms	(cbrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
10.0ms	(cbrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))

series276.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(/ NaChar (sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))))
55.0ms	(sqrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
74.0ms	(cbrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))
75.0ms	(cbrt (+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))))

simplify55.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5072	2048

prune237.0ms

Filtered

72 candidates to 101 candidates (-40.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	101	3	104

Merged error: 0.2b

Counts

104 → 3

localize25.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)

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

series90.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (cbrt NaChar) (cbrt NaChar))
21.0ms	(cbrt NaChar)
21.0ms	(cbrt NaChar)
23.0ms	(cbrt NaChar)

simplify44.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5165	356

prune85.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

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: 0.2b

Counts

88 → 3

regimes870.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 (1.0ms)

Iter	Nodes	Cost
0	50	29
1	50	29

end0.0ms

sample1.1s

Algorithm

intervals

Results

740.0ms	7998×	body	80	valid
1.0ms	1×	body	5120	exit
1.0ms	2×	body	320	valid

Details

analyze1.5s

sample49.0ms

simplify48.0ms

prune15.0ms

localize21.0ms

rewrite51.0ms

series114.0ms

simplify48.0ms

prune170.0ms

localize26.0ms

rewrite90.0ms

series236.0ms

simplify157.0ms

prune415.0ms

localize32.0ms

rewrite49.0ms

series276.0ms

simplify55.0ms

prune237.0ms

localize25.0ms

rewrite10.0ms

series90.0ms

simplify44.0ms

prune85.0ms

regimes870.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling