Details

sample57.0ms

Algorithm

intervals

Results

24.0ms

256×

body

valid

simplify649.0ms

Counts

1 → 1

Iterations

Useful iterations: 4 (64.0ms)

Iter	Nodes	Cost
0	27	31
1	49	30
2	117	30
3	284	30
4	556	29
5	1180	29
6	2456	29
done	5001	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	(/ (- (+ (+ 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))

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

15.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))))
12.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

series170.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
61.0ms	(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))
65.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
24.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

simplify1.1s

Counts

158 → 158

Iterations

Useful iterations: 3 (445.0ms)

Iter	Nodes	Cost
0	283	2770
1	625	2672
2	1565	2500
3	4700	2470
done	5000	2470

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

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

rewrite70.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)))))
15.0ms	(/ 1 (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
12.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))))
29.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))

simplify867.0ms

Counts

157 → 157

Iterations

Useful iterations: done (862.0ms)

Iter	Nodes	Cost
0	268	2948
1	622	2757
2	1522	2463
3	3712	2431
done	5001	2419

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

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

rewrite114.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))
52.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)))

series302.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
85.0ms	(* (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))) (sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0))))
94.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))
95.0ms	(sqrt (/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

simplify714.0ms

Counts

214 → 214

Iterations

Useful iterations: done (706.0ms)

Iter	Nodes	Cost
0	280	6560
1	531	4858
2	1708	4535
done	5001	4476

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

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

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

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

series174.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
64.0ms	(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
23.0ms	(exp (/ (- mu (- (- Ec Vef) EDonor)) KbT))
69.0ms	(* (sqrt NdChar) (/ (sqrt NdChar) (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1.0)))

simplify650.0ms

Counts

181 → 181

Iterations

Useful iterations: done (639.0ms)

Iter	Nodes	Cost
0	341	3323
1	813	3111
2	2470	2862
done	5001	2835

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

regimes918.0ms

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.6s

Algorithm

intervals

Results

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

Details

sample57.0ms

simplify649.0ms

prune20.0ms

localize22.0ms

rewrite65.0ms

series170.0ms

simplify1.1s

prune209.0ms

localize28.0ms

rewrite70.0ms

series208.0ms

simplify867.0ms

prune187.0ms

localize25.0ms

rewrite114.0ms

series302.0ms

simplify714.0ms

prune329.0ms

localize25.0ms

rewrite78.0ms

series174.0ms

simplify650.0ms

prune197.0ms

regimes918.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling