Details

sample48.0ms

Algorithm

intervals

Results

20.0ms

256×

body

valid

simplify9.0s

Counts

1 → 1

Iterations

Useful iterations: 4 (114.0ms)

Iter	Nodes	Cost
0	27	31
1	49	30
2	120	30
3	279	30
4	509	29
5	880	29
6	1493	29
7	2244	29
8	3059	29
9	3642	29
10	3881	29
done	3881	29

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.7s

Algorithm

rewrite-expression-head

Rules

153×	`*-un-lft-identity`
69×	`times-frac`
54×	`add-sqr-sqrt`
46×	`add-cube-cbrt`
37×	`distribute-lft-out`
33×	`distribute-lft-out--`
22×	`exp-prod`
16×	`associate-/l*`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
5×	`add-log-exp`
4×	`pow1` `div-inv` `associate-/l/` `difference-of-squares`
3×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num`
2×	`associate-+r-` `flip3-+` `associate-/r/` `flip-+`
1×	`flip3--` `exp-diff` `flip--` `rem-exp-log`

Counts

4 → 152

Calls

4 calls:

797.0ms	(/ NdChar (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0))
428.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
178.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
266.0ms	(exp (/ (+ mu (- EDonor (- Ec Vef))) KbT))

series458.0ms

Counts

4 → 12

Calls

4 calls:

211.0ms	(/ NdChar (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0))
86.0ms	(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
93.0ms	(/ (+ mu (- EDonor (- Ec Vef))) KbT)
67.0ms	(exp (/ (+ mu (- EDonor (- Ec Vef))) KbT))

simplify973.0ms

Counts

164 → 164

Iterations

Useful iterations: done (964.0ms)

Iter	Nodes	Cost
0	236	2552
1	525	2451
2	1480	2311
done	5000	2295

prune849.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT)) (cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT)))
20.1b	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))
20.1b	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))
20.1b	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))

rewrite613.0ms

Algorithm

rewrite-expression-head

Rules

471×	`*-un-lft-identity`
238×	`cbrt-prod`
204×	`times-frac`
126×	`add-sqr-sqrt`
117×	`distribute-lft-out` `distribute-lft-out--`
102×	`add-cube-cbrt`
61×	`swap-sqr`
25×	`associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 234

Calls

4 calls:

459.0ms	(* (cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT)) (cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT)))
44.0ms	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))
42.0ms	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))
48.0ms	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))

series2.0s

Counts

4 → 12

Calls

4 calls:

669.0ms	(* (cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT)) (cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT)))
468.0ms	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))
430.0ms	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))
431.0ms	(cbrt (/ (+ mu (- EDonor (- Ec Vef))) KbT))

simplify1.6s

Counts

246 → 246

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	193	6183
1	350	5838
2	912	5640
3	2077	5262
done	5000	5197

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.4s

Algorithm

rewrite-expression-head

Rules

414×	`times-frac`
374×	`*-un-lft-identity`
224×	`sqrt-prod`
208×	`add-sqr-sqrt` `add-cube-cbrt`
74×	`distribute-lft-out`
44×	`exp-prod`
30×	`associate-/l*`
20×	`sqrt-div` `associate-/r/`
18×	`distribute-lft-out--`
14×	`associate-/r*`
12×	`div-inv`
11×	`add-exp-log` `add-cbrt-cube`
10×	`flip3-+` `flip-+`
6×	`add-log-exp`
4×	`pow1` `cbrt-undiv` `div-exp`
2×	`associate-+r-` `frac-2neg` `exp-diff` `div-sub` `clear-num` `rem-exp-log`
1×	`associate-/l/`

Counts

4 → 347

Calls

4 calls:

255.0ms	(exp (/ (+ mu (- EDonor (- Ec Vef))) KbT))
244.0ms	(exp (/ (+ mu (- EDonor (- Ec Vef))) KbT))
767.0ms	(/ NdChar (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)))
2.0s	(/ (/ NdChar (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0))) (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)))

series694.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(exp (/ (+ mu (- EDonor (- Ec Vef))) KbT))
121.0ms	(exp (/ (+ mu (- EDonor (- Ec Vef))) KbT))
268.0ms	(/ NdChar (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)))
207.0ms	(/ (/ NdChar (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0))) (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)))

simplify2.6s

Counts

359 → 359

Iterations

Useful iterations: done (2.6s)

Iter	Nodes	Cost
0	375	15496
1	835	13442
2	1760	12511
3	4563	11827
done	5000	11494

prune1.9s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes302.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	52
1	35	52
done	35	52

end0.0ms

sample1.5s

Algorithm

intervals

Results

688.0ms	7998×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid