Details

sample42.0ms

Algorithm

intervals

Results

21.0ms

256×

body

valid

simplify6.7s

Counts

1 → 1

Iterations

Useful iterations: 4 (105.0ms)

Iter	Nodes	Cost
0	27	31
1	49	30
2	117	30
3	279	30
4	503	29
5	925	29
6	1565	29
7	2623	29
8	3682	29
9	4630	29
done	5000	29

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite555.0ms

Algorithm

rewrite-expression-head

Rules

103×	`*-un-lft-identity`
39×	`times-frac`
35×	`add-sqr-sqrt`
27×	`add-cube-cbrt`
26×	`distribute-lft-out`
24×	`distribute-lft-out--`
13×	`associate-/l*`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`associate-/r*`
4×	`pow1` `associate-/l/` `difference-of-squares`
3×	`flip3-+` `flip-+`
2×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-sub` `div-exp` `clear-num` `sum-log` `div-inv`
1×	`associate-+r-` `flip3--` `flip--`

Counts

4 → 112

Calls

4 calls:

111.0ms	(+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))
221.0ms	(+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)
65.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
153.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

series245.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))
69.0ms	(+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)
57.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
55.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)

simplify1.6s

Counts

124 → 124

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	185	1928
1	453	1870
2	1222	1726
3	4362	1722
done	5000	1721

prune494.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

168×	`*-un-lft-identity`
66×	`add-sqr-sqrt`
57×	`times-frac`
46×	`add-cube-cbrt`
42×	`distribute-lft-out`
36×	`distribute-lft-out--`
26×	`sqrt-prod`
19×	`pow1` `associate-/l*`
12×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
11×	`swap-sqr`
9×	`associate-/r*`
8×	`sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
7×	`associate-r` `associate-l`
6×	`associate-/l/`
5×	`pow-prod-up`
4×	`frac-times` `add-log-exp` `difference-of-squares` `unswap-sqr`
3×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `clear-num` `pow-sqr` `div-inv`
2×	`associate-+r-` `associate-r/` `associate-l/`
1×	`pow2` `flip3--` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `flip--` `cbrt-unprod`

Counts

4 → 192

Calls

4 calls:

65.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
63.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
147.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
1.2s	(* (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)) (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)))

series235.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
54.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
56.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
70.0ms	(* (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)) (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)))

simplify1.9s

Counts

204 → 204

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	216	4277
1	459	3387
2	1288	3087
3	4748	3014
done	5000	3014

prune804.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

169×	`*-un-lft-identity`
75×	`add-sqr-sqrt`
60×	`times-frac`
47×	`add-cube-cbrt`
42×	`distribute-lft-out`
36×	`distribute-lft-out--`
26×	`sqrt-prod`
20×	`associate-/l*`
19×	`pow1`
12×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
11×	`swap-sqr`
9×	`associate-/r*`
8×	`sqrt-pow1` `pow1/2` `difference-of-squares`
7×	`flip3-+` `associate-r` `associate-l` `flip-+`
6×	`associate-/l/`
5×	`pow-prod-up`
4×	`frac-times` `add-log-exp` `unswap-sqr`
3×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `clear-num` `pow-sqr` `div-inv`
2×	`flip3--` `associate-r/` `associate-l/` `flip--`
1×	`pow2` `associate-+r-` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 196

Calls

4 calls:

65.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
145.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
147.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
1.0s	(* (sqrt (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))) (sqrt (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))))

series237.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
57.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
58.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
68.0ms	(* (sqrt (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))) (sqrt (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))))

simplify1.9s

Counts

208 → 208

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	217	4361
1	460	3449
2	1294	3173
3	4812	3096
done	5000	3096

prune844.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt KbT) (cbrt KbT))
0.6b	(cbrt KbT)
0.6b	(cbrt KbT)
0.6b	(cbrt KbT)

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

6.0ms	(* (cbrt KbT) (cbrt KbT))
0.0ms	(cbrt KbT)
0.0ms	(cbrt KbT)
1.0ms	(cbrt KbT)

series742.0ms

Counts

4 → 12

Calls

4 calls:

203.0ms	(* (cbrt KbT) (cbrt KbT))
182.0ms	(cbrt KbT)
178.0ms	(cbrt KbT)
178.0ms	(cbrt KbT)

simplify3.7s

Counts

85 → 85

Iterations

Useful iterations: 4 (1.9s)

Iter	Nodes	Cost
0	61	524
1	115	465
2	319	397
3	1162	379
4	3669	374
done	5000	374

prune542.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes268.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	44
1	33	44
done	33	44

end0.0ms

sample966.0ms

Algorithm

intervals

Results

577.0ms	7999×	body	80	valid
0.0ms	1×	body	160	valid