Details

Time bar (total: 35.9s)

sample61.0ms

Algorithm
intervals
Results
26.0ms256×body80valid

simplify5.6s

Counts
1 → 1
Iterations

Useful iterations: 3 (519.0ms)

IterNodesCost
02731
16030
231030
3127529
4413929
done500029

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
168×*-un-lft-identity
81×times-frac
69×add-sqr-sqrt
53×exp-prod
51×distribute-lft-out--
49×add-cube-cbrt
27×distribute-lft-out
11×associate-/l*
10×difference-of-squares
8×add-exp-log add-cbrt-cube
7×associate-/r*
6×associate-/l/ add-log-exp
4×pow1 expm1-log1p-u frac-sub log1p-expm1-u div-inv
3×flip3-- flip3-+ div-sub flip-- flip-+
2×cbrt-undiv frac-2neg exp-diff div-exp clear-num associate-/r/ rem-exp-log
Counts
4 → 166
Calls
4 calls:
517.0ms
(/ NdChar (+ (exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT)) 1.0))
175.0ms
(/ (- (+ mu EDonor) (- Ec Vef)) KbT)
405.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
171.0ms
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))

series473.0ms

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

simplify2.4s

Counts
178 → 178
Iterations

Useful iterations: done (2.4s)

IterNodesCost
02672596
111802468
done50012339

prune1.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3)
0.0b
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
0.1b
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))
0.3b
(cbrt (pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3))

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
134×*-un-lft-identity
78×exp-prod
66×times-frac
62×add-sqr-sqrt
44×add-cube-cbrt
36×distribute-lft-out--
26×pow-pow
24×distribute-lft-out
12×cbrt-prod
9×difference-of-squares
6×unpow-prod-down cube-prod add-log-exp
5×pow1 add-cbrt-cube
4×add-exp-log expm1-log1p-u exp-diff div-sub log1p-expm1-u
3×pow-unpow div-inv
2×cube-div cube-mult unpow3 rem-exp-log sqr-pow
1×pow-to-exp cbrt-div pow1/3 pow-exp rem-cbrt-cube rem-cube-cbrt
Counts
4 → 150
Calls
4 calls:
584.0ms
(pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3)
418.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
185.0ms
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))
267.0ms
(cbrt (pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3))

series438.0ms

Counts
4 → 12
Calls
4 calls:
152.0ms
(pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3)
112.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
86.0ms
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))
88.0ms
(cbrt (pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3))

simplify4.5s

Counts
162 → 162
Iterations

Useful iterations: done (4.5s)

IterNodesCost
02092273
121501944
done50001888

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3)
0.0b
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
0.1b
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))
0.3b
(cbrt (expm1 (log1p (pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
132×*-un-lft-identity
78×exp-prod
66×times-frac
60×add-sqr-sqrt
42×add-cube-cbrt
36×distribute-lft-out--
26×pow-pow
24×distribute-lft-out
9×difference-of-squares
6×add-log-exp
5×pow1 add-cbrt-cube
4×add-exp-log expm1-log1p-u log1p-expm1-u
3×cbrt-prod unpow-prod-down pow-unpow exp-diff div-sub cube-prod div-inv
2×rem-exp-log
1×cube-div cube-mult pow-to-exp pow1/3 unpow3 pow-exp rem-cube-cbrt sqr-pow
Counts
4 → 139
Calls
4 calls:
573.0ms
(pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3)
437.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
190.0ms
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))
1.0ms
(cbrt (expm1 (log1p (pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3))))

series756.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3)
118.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
103.0ms
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))
366.0ms
(cbrt (expm1 (log1p (pow (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 3))))

simplify4.3s

Counts
151 → 151
Iterations

Useful iterations: done (4.2s)

IterNodesCost
02052025
121381752
done50001688

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
224×*-un-lft-identity
165×times-frac
109×add-sqr-sqrt
89×add-cube-cbrt
53×exp-prod
51×distribute-lft-out--
35×distribute-lft-out
19×associate-/r*
17×add-exp-log
11×add-cbrt-cube associate-/l*
10×difference-of-squares
8×div-exp div-inv
6×associate-/l/ add-log-exp
5×pow1
4×cbrt-undiv expm1-log1p-u frac-sub log1p-expm1-u
3×flip3-- div-sub flip--
2×rec-exp frac-2neg flip3-+ exp-diff 1-exp clear-num flip-+ rem-exp-log
1×pow-flip associate-/r/ inv-pow
Counts
4 → 221
Calls
4 calls:
179.0ms
(/ (- (+ mu EDonor) (- Ec Vef)) KbT)
437.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
139.0ms
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))
511.0ms
(/ 1 (/ (+ (exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT)) 1.0) NdChar))

series566.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(/ (- (+ mu EDonor) (- Ec Vef)) KbT)
86.0ms
(exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
88.0ms
(exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT))
314.0ms
(/ 1 (/ (+ (exp (/ (- (+ mu EDonor) (- Ec Vef)) KbT)) 1.0) NdChar))

simplify3.3s

Counts
233 → 233
Iterations

Useful iterations: done (3.3s)

IterNodesCost
03474285
120883916
done50003756

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes438.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02731
13531
done3531

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.0s7999×body80valid
1.0ms1×body320valid