Details

Time bar (total: 41.6s)

sample84.0ms

Algorithm
intervals
Results
50.0ms256×body80valid

simplify1.4s

Counts
1 → 1

prune48.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize110.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
73×*-un-lft-identity
33×add-sqr-sqrt times-frac
25×add-cube-cbrt
24×distribute-lft-out--
10×associate-/l*
8×add-cbrt-cube add-exp-log add-log-exp
7×associate-/r*
6×distribute-lft-out
4×pow1 insert-posit16 difference-of-squares
3×flip3-+ flip-+
2×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp associate-/r/ div-inv associate-/l/
1×flip3-- div-sub flip--
Counts
4 → 107
Calls
4 calls:
Slowest
659.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
403.0ms
(+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)
158.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))
123.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

series505.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
201.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
116.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))
101.0ms
(+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)
85.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

simplify1.8s

Counts
119 → 119

prune3.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize92.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
129×*-un-lft-identity
117×times-frac
73×add-sqr-sqrt
65×add-cube-cbrt
24×distribute-lft-out--
19×associate-/r*
17×add-exp-log
14×distribute-lft-out
11×add-cbrt-cube
10×associate-/l*
8×div-exp add-log-exp
6×div-inv
5×pow1
4×cbrt-undiv insert-posit16 difference-of-squares
2×+-commutative rec-exp clear-num sum-log frac-2neg flip3-+ 1-exp flip-+ associate-/l/
1×flip3-- div-sub associate-/r/ pow-flip flip-- inv-pow
Counts
4 → 162
Calls
4 calls:
Slowest
649.0ms
(/ 1 (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
486.0ms
(+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)
189.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
150.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))

series495.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
220.0ms
(/ 1 (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
102.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))
93.0ms
(+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)
80.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

simplify1.1s

Counts
174 → 174

prune5.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (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
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))
0.0b
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity
44×add-sqr-sqrt
26×sqrt-prod
24×add-cube-cbrt distribute-lft-out--
21×times-frac
19×pow1
12×sqrt-div
11×swap-sqr
8×sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ distribute-lft-out add-log-exp
7×associate-*r* associate-*l* associate-/l*
5×pow-prod-up
4×frac-times insert-posit16 difference-of-squares unswap-sqr
3×associate-/r* pow-prod-down pow-sqr
2×+-commutative sum-log associate-*l/ associate-*r/ associate-/l/
1×pow2 cbrt-undiv clear-num rem-square-sqrt frac-2neg pow-plus flip3-- sqrt-unprod div-sub div-exp prod-exp *-commutative cbrt-unprod div-inv flip--
Counts
4 → 136
Calls
4 calls:
Slowest
1.5s
(* (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))) (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))
202.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))
156.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
136.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))

series363.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
118.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))
90.0ms
(+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))
86.0ms
(* (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))) (sqrt (+ 1 (exp (/ (- (+ (+ EAccept Vef) Ev) mu) KbT)))))
69.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)

simplify1.8s

Counts
148 → 148

prune4.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize121.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
0.3b
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
0.3b
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
0.3b
(* (cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar)) (cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar)))

rewrite3.5s

Algorithm
rewrite-expression-head
Rules
136×cbrt-prod
128×*-un-lft-identity
102×times-frac
92×add-sqr-sqrt
68×add-cube-cbrt
27×distribute-lft-out
25×swap-sqr
19×associate-*r* associate-*l*
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 172
Calls
4 calls:
Slowest
2.6s
(* (cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar)) (cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar)))
324.0ms
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
321.0ms
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
318.0ms
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
449.0ms
(* (cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar)) (cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar)))
344.0ms
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
331.0ms
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))
316.0ms
(cbrt (/ (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1) NdChar))

simplify1.0s

Counts
184 → 184

prune5.9s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes1.3s

Accuracy

0% (0.1b remaining)

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

bsearch8.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.0s8000×body80valid
3.0ms1×body10240exit