Details

Time bar (total: 20.1s)

sample54.0ms

Algorithm
intervals
Results
25.0ms256×body80valid

simplify39.0ms

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
111×*-un-lft-identity
54×distribute-lft-out
39×times-frac
27×add-sqr-sqrt add-cube-cbrt
12×distribute-rgt-neg-in associate-/l*
8×add-exp-log add-cbrt-cube add-log-exp
7×associate-/r*
4×pow1 flip3-+ flip-+
3×div-sub
2×cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log associate-/r/ div-inv associate-/l/
1×neg-sub0 associate-+r- unsub-neg
Counts
4 → 113
Calls
4 calls:
221.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
299.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
937.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
479.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))

series380.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
63.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
159.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
76.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))

simplify45.0ms

Counts
125 → 125

prune539.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.3s

Algorithm
rewrite-expression-head
Rules
378×times-frac
304×*-un-lft-identity
224×sqrt-prod
188×add-sqr-sqrt add-cube-cbrt
58×distribute-lft-out
30×associate-/l*
20×sqrt-div associate-/r/
14×associate-/r*
12×flip3-+ flip-+
11×add-exp-log add-cbrt-cube
10×div-inv
8×add-log-exp
4×pow1 cbrt-undiv div-exp
2×+-commutative frac-2neg clear-num sum-log
1×associate-/l/
Counts
4 → 309
Calls
4 calls:
469.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
468.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
927.0ms
(/ NdChar (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))))
2.4s
(/ (/ NdChar (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))))

series526.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
82.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
201.0ms
(/ NdChar (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))))
161.0ms
(/ (/ NdChar (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))) (sqrt (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))))

simplify99.0ms

Counts
321 → 321

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.4s

Algorithm
rewrite-expression-head
Rules
131×*-un-lft-identity
59×distribute-lft-out
47×add-sqr-sqrt
39×times-frac
35×add-cube-cbrt
26×sqrt-prod
19×pow1
12×distribute-rgt-neg-in sqrt-div associate-/l*
11×swap-sqr
10×add-exp-log add-cbrt-cube
9×flip3-+ flip-+
8×sqrt-pow1 pow1/2
7×associate-*r* associate-*l* associate-/r*
6×add-log-exp
5×pow-prod-up
4×frac-times unswap-sqr
3×div-sub pow-prod-down pow-sqr
2×cbrt-undiv frac-2neg associate-*r/ div-exp associate-*l/ clear-num associate-/r/ div-inv associate-/l/
1×+-commutative pow2 neg-sub0 associate-+r- pow-plus sqrt-unprod unsub-neg prod-exp sum-log rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 163
Calls
4 calls:
293.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
925.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
466.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
1.7s
(* (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

series368.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
148.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
77.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
81.0ms
(* (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

simplify61.0ms

Counts
175 → 175

prune739.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
12×times-frac
8×add-cbrt-cube
7×add-log-exp
6×pow1 add-exp-log
5×exp-prod distribute-lft-out
4×associate-/r*
3×associate-*r* associate-*l* associate-/l*
2×flip3-+ associate-/r/ flip-+
1×cbrt-undiv +-commutative frac-2neg div-exp pow-prod-down prod-exp clear-num sum-log *-commutative pow-prod-up cbrt-unprod div-inv rem-exp-log unswap-sqr
Counts
4 → 75
Calls
4 calls:
375.0ms
(exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
948.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
474.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
998.0ms
(* (exp 1.0) (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

series551.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
154.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
82.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
211.0ms
(* (exp 1.0) (exp (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))

simplify80.0ms

Counts
87 → 87

prune511.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes344.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.4s8000×body80valid