Details

Time bar (total: 34.2s)

sample69.0ms

Algorithm
intervals
Results
29.0ms256×body80valid

simplify771.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
41340
3362
2120
149
027

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
0.0b
(/ NaChar (+ 1.0 (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)))

rewrite2.5s

Algorithm
rewrite-expression-head
Rules
126×*-un-lft-identity
57×distribute-lft-out
51×times-frac
36×add-sqr-sqrt add-cube-cbrt
15×associate-/l*
12×distribute-rgt-neg-in
11×associate-/r*
10×add-cbrt-cube add-exp-log
6×add-log-exp
4×pow1 flip3-+ associate-/r/ flip-+
3×cbrt-undiv clear-num frac-2neg div-sub div-exp div-inv
2×associate-/l/
1×neg-sub0 +-commutative associate-+r- sum-log unsub-neg
Counts
4 → 134
Calls
4 calls:
355.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
544.0ms
(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
1.0s
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
541.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))

series673.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
230.0ms
(/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))
239.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
125.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))

simplify949.0ms

Counts
146 → 146
Iterations
IterNodes
done5002
22148
1579
0243

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize90.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
143×*-un-lft-identity
78×times-frac
69×add-sqr-sqrt
53×add-cube-cbrt
48×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
24×associate-/l*
12×add-exp-log
11×associate-/r*
10×add-cbrt-cube
9×distribute-lft-out
8×difference-of-squares
6×add-log-exp
5×pow1
4×neg-mul-1 div-exp associate-/r/
3×cbrt-undiv clear-num frac-2neg flip3-+ flip-+ div-inv
2×distribute-neg-frac associate-/l/
1×neg-sub0 +-commutative rec-exp sum-log flip3-- 1-exp div-sub distribute-frac-neg pow-flip flip-- inv-pow
Counts
4 → 173
Calls
4 calls:
465.0ms
(/ 1 (+ (exp (/ (+ (+ Vef Ev) (- EAccept mu)) KbT)) 1.0))
536.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
1.1s
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
551.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))

series565.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(/ 1 (+ (exp (/ (+ (+ Vef Ev) (- EAccept mu)) KbT)) 1.0))
76.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
224.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
108.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))

simplify933.0ms

Counts
185 → 185
Iterations
IterNodes
done5000
22272
1687
0295

prune1.9s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize80.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0)
0.0b
(/ NdChar (cbrt (pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3)))
0.0b
(cbrt (pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3))
0.0b
(pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3)

rewrite4.9s

Algorithm
rewrite-expression-head
Rules
70×cbrt-prod *-un-lft-identity
51×times-frac
44×add-sqr-sqrt add-cube-cbrt
24×unpow-prod-down cube-prod
17×associate-/r*
13×distribute-lft-out
7×add-exp-log
6×cube-div cube-mult add-cbrt-cube unpow3 add-log-exp sqr-pow
5×pow1
4×cbrt-div flip3-+ flip-+
3×pow-unpow associate-/l*
2×associate-/r/
1×pow-to-exp cbrt-undiv +-commutative clear-num sum-log pow-pow frac-2neg pow1/3 div-exp pow-exp rem-cbrt-cube div-inv rem-cube-cbrt
Counts
4 → 149
Calls
4 calls:
744.0ms
(+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0)
2.1s
(/ NdChar (cbrt (pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3)))
961.0ms
(cbrt (pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3))
1.1s
(pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3)

series510.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0)
163.0ms
(/ NdChar (cbrt (pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3)))
84.0ms
(cbrt (pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3))
188.0ms
(pow (+ (exp (- (/ (- (- Ec Vef) (+ EDonor mu)) KbT))) 1.0) 3)

simplify1.3s

Counts
161 → 161
Iterations
IterNodes
done5000
22477
1498
0206

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize129.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.3s

Algorithm
rewrite-expression-head
Rules
390×times-frac
319×*-un-lft-identity
224×sqrt-prod
197×add-sqr-sqrt add-cube-cbrt
61×distribute-lft-out
33×associate-/l*
22×associate-/r/
20×sqrt-div
18×associate-/r*
13×add-cbrt-cube add-exp-log
12×flip3-+ flip-+
11×div-inv
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1
3×clear-num frac-2neg
1×+-commutative sum-log associate-/l/
Counts
4 → 330
Calls
4 calls:
1.0s
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
516.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
444.0ms
(/ NaChar (sqrt (+ (exp (/ (+ (+ Vef Ev) (- EAccept mu)) KbT)) 1.0)))
1.3s
(/ (/ NaChar (sqrt (+ (exp (/ (+ (+ Vef Ev) (- EAccept mu)) KbT)) 1.0))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

series797.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
101.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
242.0ms
(/ NaChar (sqrt (+ (exp (/ (+ (+ Vef Ev) (- EAccept mu)) KbT)) 1.0)))
243.0ms
(/ (/ NaChar (sqrt (+ (exp (/ (+ (+ Vef Ev) (- EAccept mu)) KbT)) 1.0))) (sqrt (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

simplify1.7s

Counts
342 → 342
Iterations
IterNodes
done5000
24343
11119
0461

prune3.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes1.2s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done42
142
031

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.8s7999×body80valid
1.0ms1×body320valid