Details

Time bar (total: 1.9m)

sample77.0ms

Algorithm
intervals
Results
47.0ms256×body80valid

simplify217.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
217.0ms
(+ (/ NdChar (+ 1 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
173×*-un-lft-identity
84×times-frac
71×add-sqr-sqrt
55×add-cube-cbrt
45×distribute-lft-out
32×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
27×associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
8×difference-of-squares
6×add-log-exp
4×pow1 neg-mul-1 insert-posit16 associate-/l/
3×cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ div-inv
2×div-sub associate-/r/ distribute-neg-frac
1×neg-sub0 +-commutative associate-+r- sum-log flip3-- distribute-frac-neg flip--
Counts
4 → 182
Calls
4 calls:
Slowest
1.3s
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
931.0ms
(+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)
288.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
240.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

series439.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
177.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
106.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
78.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
78.0ms
(+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)

simplify39.4s

Counts
221 → 194
Calls
221 calls:
Slowest
693.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
676.0ms
(- (* (cbrt (- Ec (+ (+ Vef mu) EDonor))) (cbrt (- Ec (+ (+ Vef mu) EDonor)))))
491.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)
471.0ms
(/ (* (* NdChar NdChar) NdChar) (* (* (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)) (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)))
442.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))

prune4.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize105.0ms

Local error

Found 4 expressions with local error:

1.9b
(- 1 (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
316×*-un-lft-identity
162×times-frac
148×add-sqr-sqrt
97×add-cube-cbrt
84×distribute-lft-neg-in distribute-rgt-neg-in
73×distribute-lft-out--
72×distribute-lft-out
54×associate-/l*
26×difference-of-squares
12×neg-mul-1
10×add-cbrt-cube add-exp-log
9×associate-/r*
6×distribute-neg-frac add-log-exp associate-/l/
4×pow1 flip3-- insert-posit16 flip--
3×neg-sub0 cbrt-undiv clear-num frac-2neg div-sub div-exp distribute-frac-neg div-inv
1×sub-neg diff-log
Counts
4 → 292
Calls
4 calls:
Slowest
479.0ms
(- 1 (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))
346.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
318.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
251.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series371.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
108.0ms
(- 1 (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))
92.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
85.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
85.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify57.7s

Counts
402 → 304
Calls
402 calls:
Slowest
682.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (cbrt KbT))
524.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) (* (cbrt KbT) (cbrt KbT)))
476.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (* (cbrt KbT) (cbrt KbT)))
463.0ms
(/ (* (cbrt (- Ec (+ (+ Vef mu) EDonor))) (cbrt (- Ec (+ (+ Vef mu) EDonor)))) 1)
461.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt KbT))

prune6.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes519.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.6s8000×body80valid
2.0ms2×body10240exit