Details

sample62.0ms

Algorithm

intervals

Results

26.0ms

256×

body

valid

simplify7.1s

Counts

1 → 1

Iterations

Useful iterations: 4 (100.0ms)

Iter	Nodes	Cost
0	27	31
1	49	30
2	117	30
3	275	30
4	493	29
5	903	29
6	1523	29
7	2555	29
8	3394	29
9	4298	29
10	4646	29
done	4646	29

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

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

124×	`*-un-lft-identity`
66×	`times-frac`
59×	`add-sqr-sqrt`
45×	`add-cube-cbrt`
30×	`distribute-lft-out--`
25×	`exp-prod`
20×	`distribute-lft-out`
13×	`associate-/l*`
11×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
7×	`difference-of-squares`
5×	`add-log-exp`
4×	`pow1` `associate-/r/` `div-inv`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
2×	`flip3-+` `div-sub` `flip-+` `associate-/l/`
1×	`flip3--` `exp-diff` `flip--` `rem-exp-log`

Counts

4 → 146

Calls

4 calls:

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

series168.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
62.0ms	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
66.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
24.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

simplify1.5s

Counts

158 → 158

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	283	2770
1	619	2666
2	1497	2494
3	4256	2470
done	5001	2457

prune227.0ms

Filtered

107 candidates to 158 candidates (-47.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	155	3	158
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	155	4	159

Merged error: 0.0b

Counts

159 → 4

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

92×	`*-un-lft-identity`
59×	`times-frac`
55×	`add-sqr-sqrt`
42×	`add-cube-cbrt`
25×	`exp-prod`
19×	`add-exp-log`
18×	`associate-r` `distribute-lft-out--`
13×	`add-cbrt-cube`
11×	`distribute-lft-out`
8×	`associate-/r*`
7×	`pow1`
6×	`associate-/r/` `associate-/l*`
5×	`div-exp` `add-log-exp`
4×	`prod-exp` `div-inv`
3×	`cbrt-undiv` `flip3-+` `associate-l` `flip-+` `difference-of-squares` `unswap-sqr`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `cbrt-unprod`
1×	`pow-flip` `exp-diff` `div-sub` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `rem-exp-log` `inv-pow`

Counts

4 → 145

Calls

4 calls:

18.0ms	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
19.0ms	(* NaChar (/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))))
14.0ms	(/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
13.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

series208.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
64.0ms	(* NaChar (/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))))
52.0ms	(/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
28.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

simplify1.3s

Counts

157 → 157

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	268	2948
1	614	2703
2	1302	2455
3	2929	2431
done	5000	2419

prune200.0ms

Filtered

96 candidates to 157 candidates (-63.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	157	4	161

Merged error: 0.0b

Counts

161 → 4

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite117.0ms

Algorithm

rewrite-expression-head

Rules

152×	`*-un-lft-identity`
134×	`sqrt-prod`
113×	`times-frac`
111×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
29×	`swap-sqr`
25×	`exp-prod`
24×	`distribute-lft-out`
21×	`pow1` `associate-r` `associate-l`
18×	`distribute-lft-out--`
12×	`associate-/r/`
10×	`sqrt-pow1` `pow1/2`
9×	`unswap-sqr`
7×	`div-inv`
6×	`add-exp-log` `flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+`
5×	`pow-prod-up` `add-log-exp`
4×	`rem-sqrt-square`
3×	`pow-prod-down` `pow-sqr` `difference-of-squares`
1×	`pow2` `frac-times` `pow-plus` `exp-diff` `sqrt-unprod` `div-sub` `associate-r/` `associate-l/` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod` `rem-exp-log`

Counts

4 → 202

Calls

4 calls:

13.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
54.0ms	(* (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))) (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))))
19.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))
19.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

series299.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
84.0ms	(* (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))) (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))))
92.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))
96.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

simplify2.1s

Counts

214 → 214

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	280	6560
1	528	4841
2	1491	4532
3	4547	4398
done	5000	4386

prune348.0ms

Filtered

134 candidates to 214 candidates (-59.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	214	4	218

Merged error: 0.0b

Counts

218 → 4

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

136×	`*-un-lft-identity`
83×	`add-sqr-sqrt`
82×	`times-frac`
53×	`add-cube-cbrt`
30×	`associate-r` `distribute-lft-out--`
25×	`exp-prod`
22×	`distribute-lft-out`
20×	`sqrt-prod`
13×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/l*`
7×	`associate-/r*` `difference-of-squares`
6×	`pow1` `associate-l` `unswap-sqr`
5×	`add-log-exp`
4×	`associate-/r/` `div-inv`
3×	`cbrt-undiv` `div-exp`
2×	`frac-2neg` `flip3-+` `div-sub` `prod-exp` `clear-num` `cbrt-unprod` `flip-+` `associate-/l/`
1×	`flip3--` `exp-diff` `associate-r/` `pow-prod-down` `-commutative` `flip--` `rem-exp-log`

Counts

4 → 169

Calls

4 calls:

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

series173.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
62.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
27.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
65.0ms	(* (sqrt NdChar) (/ (sqrt NdChar) (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

simplify991.0ms

Counts

181 → 181

Iterations

Useful iterations: 2 (361.0ms)

Iter	Nodes	Cost
0	341	3323
1	806	3083
2	2247	2835
done	5000	2835

prune212.0ms

Filtered

114 candidates to 181 candidates (-58.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	181	4	185

Merged error: 0.0b

Counts

185 → 4

regimes1.1s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	29
1	30	29
done	30	29

end0.0ms

sample1.8s

Algorithm

intervals

Results

868.0ms	8000×	body	80	valid
1.0ms	1×	body	5120	exit

Details

sample62.0ms

simplify7.1s

prune17.0ms

localize29.0ms

rewrite62.0ms

series168.0ms

simplify1.5s

prune227.0ms

localize31.0ms

rewrite69.0ms

series208.0ms

simplify1.3s

prune200.0ms

localize28.0ms

rewrite117.0ms

series299.0ms

simplify2.1s

prune348.0ms

localize26.0ms

rewrite79.0ms

series173.0ms

simplify991.0ms

prune212.0ms

regimes1.1s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.8s

Profiling