Details

Time bar (total: 16.0s)

sample72.0ms

Algorithm
intervals
Results
30.0ms256×body80valid

simplify773.0ms

Counts
1 → 1
Iterations

Useful iterations: 4 (218.0ms)

IterNodesCost
02731
14930
212030
336230
4134029
done500029

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
118×*-un-lft-identity
51×times-frac
44×add-sqr-sqrt
36×add-cube-cbrt
29×distribute-lft-out
24×distribute-lft-out--
16×associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
6×add-log-exp
4×pow1 difference-of-squares associate-/l/
3×cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ div-inv
2×div-sub associate-/r/
1×+-commutative associate-+r- sum-log flip3-- flip--
Counts
4 → 133
Calls
4 calls:
468.0ms
(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
514.0ms
(+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)
315.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
160.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)

series546.0ms

Counts
4 → 12
Calls
4 calls:
237.0ms
(/ NaChar (+ 1.0 (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))))
106.0ms
(+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)
97.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
107.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)

simplify928.0ms

Counts
145 → 145
Iterations

Useful iterations: done (922.0ms)

IterNodesCost
02362463
15702396
220422222
done50002216

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.4s

Algorithm
rewrite-expression-head
Rules
168×*-un-lft-identity
66×add-sqr-sqrt
57×times-frac
46×add-cube-cbrt
42×distribute-lft-out
36×distribute-lft-out--
26×sqrt-prod
19×pow1 associate-/l*
12×add-cbrt-cube sqrt-div add-exp-log
11×swap-sqr
9×associate-/r*
8×sqrt-pow1 flip3-+ pow1/2 flip-+
7×associate-*r* associate-*l*
6×associate-/l/
5×pow-prod-up
4×frac-times add-log-exp difference-of-squares unswap-sqr
3×cbrt-undiv clear-num frac-2neg div-sub div-exp pow-prod-down pow-sqr div-inv
2×associate-+r- associate-*l/ associate-*r/
1×pow2 rem-square-sqrt pow-plus flip3-- sqrt-unprod prod-exp *-commutative cbrt-unprod flip--
Counts
4 → 192
Calls
4 calls:
289.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
153.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)
130.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)
2.8s
(* (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)) (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)))

series377.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(/ (- (+ (+ Ev Vef) EAccept) mu) KbT)
67.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)
109.0ms
(/ (+ mu (- EDonor (- Ec Vef))) KbT)
101.0ms
(* (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)) (sqrt (+ (exp (/ (+ mu (- EDonor (- Ec Vef))) KbT)) 1.0)))

simplify1.2s

Counts
204 → 204
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02174277
15003398
221093093
done50003030

prune2.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes947.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02529
13129
done3129

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.0s8000×body80valid