Details

Time bar (total: 35.0s)

sample109.0ms

Algorithm
intervals
Results
57.0ms256×body80valid

simplify779.0ms

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
262×*-un-lft-identity
108×times-frac
85×distribute-lft-out
78×add-sqr-sqrt
62×add-cube-cbrt
49×distribute-rgt-neg-in
48×distribute-lft-out--
31×exp-prod
28×distribute-lft-neg-in
27×associate-/l*
8×add-exp-log add-cbrt-cube difference-of-squares
7×div-sub add-log-exp
6×associate-/r*
4×pow1 neg-mul-1 associate-/l/
3×neg-sub0 exp-diff div-inv
2×cbrt-undiv associate-+r- frac-2neg flip3-+ div-exp unsub-neg clear-num flip-+ distribute-neg-frac
1×+-commutative flip3-- distribute-frac-neg sum-log flip-- rem-exp-log
Counts
4 → 201
Calls
4 calls:
443.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
646.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
650.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
465.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

series366.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
97.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
80.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
85.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

simplify864.0ms

Counts
213 → 213

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) (cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
21.5b
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
21.5b
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
21.5b
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
1245×*-un-lft-identity
684×distribute-lft-out
481×cbrt-prod
447×times-frac
207×add-sqr-sqrt
183×add-cube-cbrt
171×distribute-rgt-neg-in
160×swap-sqr
34×associate-*r* associate-*l*
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×add-cbrt-cube add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*r/ associate-*l/ prod-exp *-commutative cbrt-unprod
Counts
4 → 378
Calls
4 calls:
994.0ms
(* (cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) (cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
90.0ms
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
139.0ms
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
99.0ms
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

series2.0s

Counts
4 → 12
Calls
4 calls:
616.0ms
(* (cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)) (cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
401.0ms
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
413.0ms
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
520.0ms
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))

simplify1.0s

Counts
390 → 390

prune1.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
0.0b
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
1.0b
(/ (+ (pow 1.0 3) (pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)) (+ (* (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) (- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)) (* 1.0 1.0)))
3.5b
(- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)

rewrite16.3s

Algorithm
rewrite-expression-head
Rules
231×*-un-lft-identity
108×times-frac
77×add-sqr-sqrt
68×distribute-lft-out
63×add-cube-cbrt
59×pow-pow
58×exp-prod
37×distribute-lft-out--
33×distribute-rgt-neg-in
21×distribute-lft-neg-in
19×unpow-prod-down cube-prod
18×associate-/l*
9×add-cbrt-cube
8×add-exp-log
7×difference-of-squares
6×associate-/r* add-log-exp
5×pow1
4×div-sub sum-cubes associate-/l/
3×neg-mul-1 pow-unpow flip3-+ flip-+ div-inv
2×cbrt-undiv cube-div neg-sub0 frac-2neg div-exp clear-num associate-/r/
1×exp-neg cube-mult pow-to-exp associate-+r- sub-neg flip3-- exp-diff diff-log unpow3 distribute-frac-neg unsub-neg pow-exp flip-- rem-cube-cbrt sqr-pow
Counts
4 → 208
Calls
4 calls:
911.0ms
(pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
345.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
12.1s
(/ (+ (pow 1.0 3) (pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)) (+ (* (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) (- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)) (* 1.0 1.0)))
2.9s
(- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)

series1.3s

Counts
4 → 12
Calls
4 calls:
118.0ms
(pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
62.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
989.0ms
(/ (+ (pow 1.0 3) (pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)) (+ (* (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) (- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)) (* 1.0 1.0)))
103.0ms
(- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)

simplify1.2s

Counts
220 → 220

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes380.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify825.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.4s8000×body80valid
2.0ms2×body10240exit