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

sample46.0ms

Algorithm

intervals

Results

24.0ms

256×

body

valid

simplify49.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5482	29

prune20.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.0b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

107×	`*-un-lft-identity`
48×	`times-frac`
40×	`distribute-lft-out`
34×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`exp-prod`
9×	`associate-/l*`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/r*` `distribute-lft-out--` `add-log-exp`
4×	`pow1` `associate-+r-`
3×	`flip3-+` `flip-+` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `associate-/r/` `associate-/l/`
1×	`+-commutative` `exp-diff` `sum-log` `rem-exp-log`

Counts

4 → 118

Calls

4 calls:

12.0ms	(/ NdChar (+ 1.0 (exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))
10.0ms	(+ 1.0 (exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT)))
10.0ms	(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
11.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))

series323.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(/ NdChar (+ 1.0 (exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))
25.0ms	(+ 1.0 (exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT)))
15.0ms	(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
225.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))

simplify62.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	6181	1858

prune170.0ms

Filtered

90 candidates to 130 candidates (-44.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	127	3	130
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	128	3	131

Merged error: 0.0b

Counts

131 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

97×	`*-un-lft-identity`
38×	`distribute-lft-out`
36×	`times-frac`
28×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`exp-prod`
14×	`cbrt-prod`
7×	`distribute-lft-out--` `add-log-exp`
6×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
4×	`pow1` `associate-+r-` `unpow-prod-down` `cube-prod`
3×	`flip3-+` `associate-/r*` `flip-+`
2×	`cube-div` `cbrt-div` `div-sub` `div-inv` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `frac-2neg` `exp-diff` `pow1/3` `unpow3` `div-exp` `clear-num` `sum-log` `rem-cbrt-cube` `rem-exp-log` `sqr-pow`

Counts

4 → 110

Calls

4 calls:

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

series88.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(+ (exp (/ (+ Vef (+ mu (- EDonor Ec))) KbT)) 1.0)
25.0ms	(cbrt (pow (+ (exp (/ (+ Vef (+ mu (- EDonor Ec))) KbT)) 1.0) 3))
17.0ms	(/ (+ Vef (+ mu (- EDonor Ec))) KbT)
22.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))

simplify41.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5087	1667

prune164.0ms

Filtered

76 candidates to 122 candidates (-60.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	122	3	125

Merged error: 0.0b

Counts

125 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

162×	`*-un-lft-identity`
72×	`times-frac`
66×	`exp-prod`
65×	`distribute-lft-out`
45×	`add-sqr-sqrt` `add-cube-cbrt`
13×	`distribute-lft-out--`
8×	`associate-+r-`
7×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
4×	`pow1` `div-sub` `div-inv`
3×	`exp-diff` `associate-/r*` `rem-exp-log`
2×	`associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+`

Counts

4 → 135

Calls

4 calls:

10.0ms	(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
11.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
11.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
11.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))

series84.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
22.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
25.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
22.0ms	(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))

simplify48.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5150	1566

prune162.0ms

Filtered

92 candidates to 147 candidates (-59.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.0b

Counts

150 → 3

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))
19.3b	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
19.3b	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
19.3b	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

153×	`*-un-lft-identity`
88×	`cbrt-prod`
72×	`times-frac`
60×	`distribute-lft-out`
45×	`add-sqr-sqrt` `add-cube-cbrt`
25×	`exp-prod`
12×	`distribute-lft-out--`
5×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `div-inv`
3×	`cbrt-div` `pow1/3`
1×	`rem-exp-log`

Counts

4 → 126

Calls

4 calls:

11.0ms	(exp (cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))
9.0ms	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
8.0ms	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
9.0ms	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))

series490.0ms

Counts

4 → 12

Calls

4 calls:

239.0ms	(exp (cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))
84.0ms	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
82.0ms	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
85.0ms	(cbrt (/ (+ Vef (+ Ev (- EAccept mu))) KbT))

simplify105.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	5185	1989

prune188.0ms

Filtered

84 candidates to 138 candidates (-64.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	138	3	141

Merged error: 0.0b

Counts

141 → 3

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

Iter	Nodes	Cost
0	59	77
1	59	77

end0.0ms

sample1.2s

Algorithm

intervals

Results

780.0ms	7999×	body	80	valid
0.0ms	1×	body	640	valid

Details

analyze1.5s

sample46.0ms

simplify49.0ms

prune20.0ms

localize22.0ms

rewrite48.0ms

series323.0ms

simplify62.0ms

prune170.0ms

localize26.0ms

rewrite55.0ms

series88.0ms

simplify41.0ms

prune164.0ms

localize30.0ms

rewrite49.0ms

series84.0ms

simplify48.0ms

prune162.0ms

localize40.0ms

rewrite43.0ms

series490.0ms

simplify105.0ms

prune188.0ms

regimes911.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling