Details

Time bar (total: 43.2s)

sample96.0ms

Algorithm
intervals
Results
44.0ms256×body80valid

simplify10.1s

Counts
1 → 1
Iterations

Useful iterations: 4 (200.0ms)

IterNodesCost
02731
14930
212030
327930
450929
588029
6149329
7224429
8305929
9364229
10388129
done388129

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize55.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.3s

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:
539.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
617.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
653.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
449.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

series382.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
133.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
73.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
86.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)

simplify1.1s

Counts
213 → 213
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02473240
15473023
215832894
done50012884

prune1.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (exp (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))

rewrite810.0ms

Algorithm
rewrite-expression-head
Rules
226×*-un-lft-identity
131×cbrt-prod
111×times-frac
88×add-sqr-sqrt
72×distribute-lft-out
64×add-cube-cbrt
36×distribute-lft-out--
29×pow-pow
28×pow-unpow exp-prod
12×difference-of-squares
9×distribute-rgt-neg-in
5×pow1 div-inv
4×add-exp-log add-cbrt-cube add-log-exp
3×unpow-prod-down cbrt-div pow1/3
1×pow-to-exp pow-exp sqr-pow
Counts
4 → 178
Calls
4 calls:
509.0ms
(pow (exp (cbrt (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))) (cbrt (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))
114.0ms
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
91.0ms
(cbrt (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
77.0ms
(cbrt (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))

series2.9s

Counts
4 → 12
Calls
4 calls:
1.6s
(pow (exp (cbrt (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))) (cbrt (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)))
471.0ms
(cbrt (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))
408.0ms
(cbrt (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))
432.0ms
(cbrt (/ (- (+ (+ Ev Vef) EAccept) mu) KbT))

simplify1.9s

Counts
190 → 190
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02384099
14863898
210803800
326363714
done50003650

prune1.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize59.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)

rewrite13.8s

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:
770.0ms
(pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
289.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
10.0s
(/ (+ (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.7s
(- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)

series1.4s

Counts
4 → 12
Calls
4 calls:
114.0ms
(pow (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 3)
65.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
1.2s
(/ (+ (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)))
89.0ms
(- (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)) 1.0)

simplify1.4s

Counts
220 → 220
Iterations

Useful iterations: done (1.4s)

IterNodesCost
03186623
17676348
224835990
done50025692

prune1.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes367.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03354
14154
done4154

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.4s8000×body80valid
2.0ms2×body10240exit