Details

Time bar (total: 2.0m)

sample119.0ms

Algorithm
intervals
Results
79.0ms256×body80valid

simplify1.5s

Counts
1 → 1

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
134×*-un-lft-identity
66×times-frac
62×add-sqr-sqrt
46×add-cube-cbrt
36×distribute-lft-out--
20×distribute-lft-out associate-/l*
14×associate-/r*
12×add-cbrt-cube add-exp-log
8×difference-of-squares
4×pow1 cbrt-undiv clear-num frac-2neg div-exp associate-/r/ insert-posit16 div-inv add-log-exp associate-/l/
2×flip3-+ flip3-- div-sub flip-+ flip--
Counts
4 → 162
Calls
4 calls:
Slowest
656.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
398.0ms
(/ NaChar (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))
267.0ms
(/ (- (+ (+ EAccept Vef) Ev) mu) KbT)
97.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

series558.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
208.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
171.0ms
(/ NaChar (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))
101.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
78.0ms
(/ (- (+ (+ EAccept Vef) Ev) mu) KbT)

simplify838.0ms

Counts
174 → 174

prune3.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize109.0ms

Local error

Found 4 expressions with local error:

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

rewrite938.0ms

Algorithm
rewrite-expression-head
Rules
119×*-un-lft-identity
54×times-frac
53×add-sqr-sqrt
37×add-cube-cbrt
36×distribute-lft-out--
17×distribute-lft-out associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
8×difference-of-squares
6×add-log-exp
4×pow1 insert-posit16 associate-/l/
3×cbrt-undiv clear-num frac-2neg div-exp div-inv
2×flip3-+ flip3-- div-sub associate-/r/ flip-+ flip--
1×+-commutative sum-log
Counts
4 → 141
Calls
4 calls:
Slowest
328.0ms
(/ NaChar (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))
282.0ms
(/ (- (+ (+ EAccept Vef) Ev) mu) KbT)
165.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
160.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))

series510.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
223.0ms
(/ NaChar (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))
104.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))
101.0ms
(/ (- (+ (+ EAccept Vef) Ev) mu) KbT)
81.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

simplify663.0ms

Counts
153 → 153

prune3.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize79.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
420×times-frac
396×*-un-lft-identity
228×add-sqr-sqrt
224×sqrt-prod
212×add-cube-cbrt
68×distribute-lft-out
44×associate-/l*
36×distribute-lft-out--
20×associate-/r* sqrt-div associate-/r/
15×add-cbrt-cube add-exp-log
12×div-inv
10×flip3-+ flip-+
8×difference-of-squares
6×cbrt-undiv div-exp
5×associate-/l/
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
2×flip3-- div-sub flip--
Counts
4 → 381
Calls
4 calls:
Slowest
906.0ms
(/ (/ NaChar (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))) (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))
391.0ms
(/ NaChar (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))
271.0ms
(/ (- (+ (+ EAccept Vef) Ev) mu) KbT)
117.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

series579.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
226.0ms
(/ NaChar (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))
209.0ms
(/ (/ NaChar (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))) (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))
84.0ms
(/ (- (+ (+ EAccept Vef) Ev) mu) KbT)
60.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

simplify1.9s

Counts
393 → 393

prune10.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize93.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.9s

Algorithm
rewrite-expression-head
Rules
8583×times-frac
8090×sqrt-prod
5550×*-un-lft-identity
3584×add-sqr-sqrt
3576×add-cube-cbrt
969×distribute-lft-out
412×associate-/l*
406×sqrt-div
204×associate-/r/
103×div-inv
102×flip3-+ flip-+
30×associate-/r*
24×distribute-lft-out--
22×add-cbrt-cube add-exp-log
11×cbrt-undiv div-exp
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp difference-of-squares associate-/l/
1×flip3-- div-sub flip--
Counts
4 → 3484
Calls
4 calls:
Slowest
1.3s
(/ (/ (/ NaChar (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))) (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))) (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))
881.0ms
(/ (/ NaChar (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))) (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))))
321.0ms
(/ NaChar (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))))
104.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

series824.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
276.0ms
(/ NaChar (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))))
241.0ms
(/ (/ NaChar (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))) (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT))))))
221.0ms
(/ (/ (/ NaChar (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))) (sqrt (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))) (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))
86.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

simplify7.9s

Counts
3496 → 3496

prune1.3m

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

regimes459.0ms

Accuracy

0% (0.0b remaining)

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

bsearch6.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.6s7998×body80valid
1.0ms1×body1280valid
1.0ms1×body640valid