Details

Time bar (total: 26.9s)

sample97.0ms

Algorithm
intervals
Results
43.0ms256×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5000
64837
51990
4793
3284
2114
149
027

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite648.0ms

Algorithm
rewrite-expression-head
Rules
166×*-un-lft-identity
72×times-frac
55×add-sqr-sqrt
47×add-cube-cbrt distribute-lft-out
31×distribute-lft-out--
22×exp-prod
17×associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
8×associate-/l/
5×add-log-exp
4×pow1 associate-+r- flip3-+ frac-sub flip-+ div-inv difference-of-squares
3×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp flip--
2×associate-/r/
1×exp-diff rem-exp-log
Counts
4 → 160
Calls
4 calls:
91.0ms
(/ (- (+ Vef Ev) (- mu EAccept)) KbT)
217.0ms
(/ NaChar (+ 1.0 (exp (/ (- (+ Vef Ev) (- mu EAccept)) KbT))))
144.0ms
(/ (+ EDonor (+ Vef (- mu Ec))) KbT)
183.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

series521.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(/ (- (+ Vef Ev) (- mu EAccept)) KbT)
193.0ms
(/ NaChar (+ 1.0 (exp (/ (- (+ Vef Ev) (- mu EAccept)) KbT))))
100.0ms
(/ (+ EDonor (+ Vef (- mu Ec))) KbT)
120.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

simplify1.8s

Counts
172 → 172
Iterations
IterNodes
done5001
22090
1643
0259

prune1.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize69.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))) (cbrt (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))))
0.0b
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
0.0b
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
0.0b
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

rewrite956.0ms

Algorithm
rewrite-expression-head
Rules
123×*-un-lft-identity
66×exp-prod
54×times-frac
50×add-sqr-sqrt
45×distribute-lft-out
42×add-cube-cbrt
16×cbrt-prod
14×associate-+r-
11×pow1
9×distribute-lft-out--
7×exp-diff div-sub add-log-exp
6×pow1/3 swap-sqr associate-*r* associate-*l* add-exp-log
4×cbrt-div add-cbrt-cube unswap-sqr
3×div-inv rem-exp-log
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 → 136
Calls
4 calls:
368.0ms
(* (cbrt (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))) (cbrt (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))))
194.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
193.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
193.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

series567.0ms

Counts
4 → 12
Calls
4 calls:
287.0ms
(* (cbrt (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))) (cbrt (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))))
86.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
112.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
82.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

simplify3.0s

Counts
148 → 148
Iterations
IterNodes
done5000
44882
31455
2538
1219
0113

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite664.0ms

Algorithm
rewrite-expression-head
Rules
118×*-un-lft-identity
66×exp-prod
54×times-frac
45×distribute-lft-out
37×add-sqr-sqrt add-cube-cbrt
23×pow-pow
9×distribute-lft-out--
6×associate-+r- add-log-exp
5×pow1
4×add-cbrt-cube add-exp-log
3×cbrt-prod pow-unpow unpow-prod-down exp-diff div-sub div-inv
2×rem-exp-log
1×pow-to-exp cbrt-div pow1/3 pow-exp sqr-pow
Counts
4 → 113
Calls
4 calls:
199.0ms
(cbrt (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT)))
182.0ms
(pow (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT)) 2/3)
132.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
141.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

series515.0ms

Counts
4 → 12
Calls
4 calls:
127.0ms
(cbrt (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT)))
171.0ms
(pow (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT)) 2/3)
122.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
94.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

simplify1.7s

Counts
125 → 125
Iterations
IterNodes
done5003
32425
2802
1307
0134

prune1.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize121.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT)) 2/3)
0.0b
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
9.4b
(sqrt (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
9.4b
(sqrt (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

rewrite603.0ms

Algorithm
rewrite-expression-head
Rules
154×*-un-lft-identity
74×times-frac
60×distribute-lft-out
52×add-sqr-sqrt
46×add-cube-cbrt
44×exp-prod sqrt-prod
23×pow-pow
12×distribute-lft-out--
7×pow1
5×add-log-exp
4×rem-sqrt-square add-cbrt-cube add-exp-log div-inv
3×pow-unpow unpow-prod-down
2×associate-+r- sqrt-pow1 pow1/2 sqrt-div
1×pow-to-exp exp-diff div-sub pow-exp sqr-pow rem-exp-log
Counts
4 → 138
Calls
4 calls:
236.0ms
(pow (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT)) 2/3)
194.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
89.0ms
(sqrt (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
78.0ms
(sqrt (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

series653.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(pow (exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT)) 2/3)
98.0ms
(exp (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
200.0ms
(sqrt (/ (+ EDonor (+ Vef (- mu Ec))) KbT))
232.0ms
(sqrt (/ (+ EDonor (+ Vef (- mu Ec))) KbT))

simplify1.8s

Counts
150 → 150
Iterations
IterNodes
done5014
32323
2806
1325
0151

prune1.7s

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

simplify12.0ms

Iterations
IterNodes
done36
136
029

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.9s8000×body80valid