Details

Time bar (total: 42.4s)

sample123.0ms

Algorithm
intervals
Results
80.0ms256×body80valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
73217
61672
5860
4480
3252
2113
149
027

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
146×*-un-lft-identity
66×times-frac
54×add-sqr-sqrt
46×add-cube-cbrt
32×distribute-lft-out distribute-lft-out--
20×associate-/l*
14×associate-/r*
12×add-cbrt-cube add-exp-log
8×associate-/l/
5×flip3-+ flip-+
4×pow1 cbrt-undiv clear-num frac-2neg div-exp frac-add associate-/r/ insert-posit16 div-inv add-log-exp difference-of-squares
3×flip3-- flip--
2×div-sub
1×associate-+r-
Counts
4 → 166
Calls
4 calls:
745.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
182.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
112.0ms
(/ NaChar (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
70.0ms
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)

series638.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
90.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
259.0ms
(/ NaChar (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
113.0ms
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)

simplify775.0ms

Counts
178 → 178
Iterations
IterNodes
22099
1737
0303

prune4.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite711.0ms

Algorithm
rewrite-expression-head
Rules
202×*-un-lft-identity
150×times-frac
94×add-sqr-sqrt
86×add-cube-cbrt
40×distribute-lft-out
32×distribute-lft-out--
25×associate-/r*
21×add-exp-log associate-/l*
15×add-cbrt-cube
10×div-exp associate-/l/
8×div-inv
6×cbrt-undiv
5×pow1
4×clear-num frac-2neg flip3-+ frac-add flip-+ insert-posit16 add-log-exp difference-of-squares
3×flip3-- flip--
2×rec-exp 1-exp div-sub
1×associate-+r- associate-/r/ pow-flip inv-pow
Counts
4 → 221
Calls
4 calls:
159.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
267.0ms
(/ (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))) NaChar)
96.0ms
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)
180.0ms
(/ 1 (/ (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))) NaChar))

series716.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
225.0ms
(/ (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))) NaChar)
103.0ms
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)
291.0ms
(/ 1 (/ (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))) NaChar))

simplify1.5s

Counts
233 → 233
Iterations
IterNodes
22402
1839
0329

prune5.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize86.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
411×times-frac
377×*-un-lft-identity
224×sqrt-prod
209×add-sqr-sqrt add-cube-cbrt
84×distribute-lft-out
40×associate-/l*
22×associate-/r/
21×associate-/r*
20×sqrt-div
15×add-cbrt-cube add-exp-log
14×flip3-+ flip-+
12×div-inv
8×distribute-lft-out--
7×associate-/l/
6×cbrt-undiv div-exp
4×pow1 clear-num frac-2neg frac-add insert-posit16 add-log-exp
2×flip3-- flip--
1×associate-+r- div-sub
Counts
4 → 372
Calls
4 calls:
143.0ms
(/ NaChar (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
120.0ms
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)
1.6s
(/ (/ NdChar (sqrt (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))) (sqrt (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)))
701.0ms
(/ NdChar (sqrt (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)))

series805.0ms

Counts
4 → 12
Calls
4 calls:
239.0ms
(/ NaChar (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
84.0ms
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)
221.0ms
(/ (/ NdChar (sqrt (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))) (sqrt (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)))
261.0ms
(/ NdChar (sqrt (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1)))

simplify1.6s

Counts
384 → 384
Iterations
IterNodes
23008
11148
0485

prune10.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize77.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ NaChar (* (cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT)))) (cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))))
0.2b
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
0.2b
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
0.2b
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))

rewrite465.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×*-un-lft-identity
12×cbrt-prod
9×add-sqr-sqrt flip3-+ add-exp-log add-cube-cbrt flip-+
8×associate-/r/
7×add-cbrt-cube
4×frac-times pow1 insert-posit16 add-log-exp
3×times-frac pow1/3 distribute-lft-out associate-/l*
2×cbrt-undiv div-exp associate-*l/ associate-*r/
1×clear-num associate-/r* frac-2neg prod-exp cbrt-unprod div-inv
Counts
4 → 75
Calls
4 calls:
147.0ms
(/ NaChar (* (cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT)))) (cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))))
101.0ms
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
104.0ms
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
112.0ms
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))

series1.6s

Counts
4 → 12
Calls
4 calls:
415.0ms
(/ NaChar (* (cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT)))) (cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))))
366.0ms
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
380.0ms
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))
408.0ms
(cbrt (+ 1 (exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))))

simplify933.0ms

Counts
87 → 87
Iterations
IterNodes
32466
2842
1317
0135

prune2.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes827.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations
IterNodes
231
131
026

end0.0ms

sample3.4s

Algorithm
intervals
Results
2.8s8000×body80valid
2.0ms2×body10240exit