Details

sample84.0ms

Algorithm

intervals

Results

41.0ms

256×

body

valid

simplify790.0ms

Counts: 1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.5s

Algorithm

rewrite-expression-head

Rules

342×	`*-un-lft-identity`
162×	`times-frac`
118×	`add-sqr-sqrt`
90×	`add-cube-cbrt`
89×	`exp-prod`
84×	`distribute-lft-out` `distribute-lft-out--`
70×	`distribute-rgt-neg-in`
49×	`distribute-lft-neg-in`
27×	`associate-/l*`
14×	`difference-of-squares`
8×	`add-exp-log` `div-sub` `add-cbrt-cube`
7×	`neg-mul-1`
6×	`associate-/r*` `add-log-exp`
4×	`pow1` `neg-sub0` `exp-diff` `div-inv` `associate-/l/`
2×	`cbrt-undiv` `associate-+r-` `frac-2neg` `distribute-frac-neg` `div-exp` `unsub-neg` `clear-num` `rem-exp-log` `distribute-neg-frac`
1×	`exp-neg` `flip3--` `flip3-+` `flip--` `flip-+`

Counts

4 → 257

Calls

4 calls:

405.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
723.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
868.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
426.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

series344.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
87.0ms	(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
89.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
92.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

simplify725.0ms

Counts: 269 → 269

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.7s

Algorithm

rewrite-expression-head

Rules

287×	`*-un-lft-identity`
151×	`exp-prod`
135×	`times-frac`
108×	`distribute-lft-out`
83×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
48×	`distribute-rgt-neg-in`
36×	`distribute-lft-out--`
21×	`distribute-lft-neg-in`
10×	`exp-diff` `div-sub`
8×	`add-log-exp`
6×	`difference-of-squares`
4×	`pow1` `add-exp-log` `neg-sub0` `add-cbrt-cube` `div-inv` `rem-exp-log`
3×	`associate-+r-` `neg-mul-1` `unsub-neg`
1×	`exp-neg` `distribute-frac-neg`

Counts

4 → 194

Calls

4 calls:

1.0s	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
591.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
487.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
556.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

series383.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
85.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
109.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
97.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

simplify851.0ms

Counts: 206 → 206

prune1.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.3s

Algorithm

rewrite-expression-head

Rules

287×	`*-un-lft-identity`
151×	`exp-prod`
135×	`times-frac`
108×	`distribute-lft-out`
83×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
48×	`distribute-rgt-neg-in`
36×	`distribute-lft-out--`
21×	`distribute-lft-neg-in`
10×	`exp-diff` `div-sub`
8×	`add-log-exp`
6×	`difference-of-squares`
4×	`pow1` `add-exp-log` `neg-sub0` `add-cbrt-cube` `div-inv` `rem-exp-log`
3×	`associate-+r-` `neg-mul-1` `unsub-neg`
1×	`exp-neg` `distribute-frac-neg`

Counts

4 → 194

Calls

4 calls:

913.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
503.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
466.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
442.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

series441.0ms

Counts

4 → 12

Calls

4 calls:

124.0ms	(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))
98.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
94.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
124.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

simplify823.0ms

Counts: 206 → 206

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.1b	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
0.1b	(exp (sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
8.1b	(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
8.1b	(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

273×	`*-un-lft-identity`
144×	`distribute-lft-out`
110×	`times-frac`
93×	`sqrt-prod`
65×	`exp-prod`
63×	`add-sqr-sqrt`
57×	`add-cube-cbrt`
36×	`distribute-rgt-neg-in`
6×	`pow1` `add-log-exp`
4×	`add-exp-log` `rem-sqrt-square` `add-cbrt-cube` `div-inv`
3×	`exp-diff` `div-sub`
2×	`sqrt-pow1` `pow1/2` `sqrt-div` `rem-exp-log`
1×	`neg-sub0` `associate-+r-` `unsub-neg`

Counts

4 → 170

Calls

4 calls:

419.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
418.0ms	(exp (sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
179.0ms	(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
190.0ms	(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

series1.2s

Counts

4 → 12

Calls

4 calls:

86.0ms	(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
727.0ms	(exp (sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
200.0ms	(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
227.0ms	(sqrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

simplify631.0ms

Counts: 182 → 182

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes531.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify770.0ms

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.8s	7999×	body	80	valid
2.0ms	2×	body	10240	exit
0.0ms	1×	body	160	valid