Details

Time bar (total: 20.8s)

sample105.0ms

Algorithm
intervals
Results
66.0ms256×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
73213
61677
5863
4480
3252
2113
149
027

prune37.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize80.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
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)
0.0b
(exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))

rewrite875.0ms

Algorithm
rewrite-expression-head
Rules
176×*-un-lft-identity
75×times-frac
56×add-sqr-sqrt
48×add-cube-cbrt
46×distribute-lft-out
38×distribute-lft-out--
25×exp-prod
17×associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
8×associate-/l/
5×add-log-exp
4×expm1-log1p-u pow1 flip3-+ frac-add flip-+ insert-posit16 log1p-expm1-u div-inv difference-of-squares
3×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp flip--
2×associate-+r- associate-/r/
1×exp-diff rem-exp-log
Counts
4 → 175
Calls
4 calls:
549.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
128.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
106.0ms
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)
89.0ms
(exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))

series532.0ms

Counts
4 → 12
Calls
4 calls:
210.0ms
(/ NdChar (+ (exp (/ (- mu (- (- Ec Vef) EDonor)) KbT)) 1))
101.0ms
(/ (- mu (- (- Ec Vef) EDonor)) KbT)
108.0ms
(/ (+ (+ EAccept Ev) (- Vef mu)) KbT)
112.0ms
(exp (/ (+ (+ EAccept Ev) (- Vef mu)) KbT))

simplify3.3s

Counts
187 → 187
Iterations
IterNodes
37648
21947
1656
0271

prune4.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize104.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt NdChar) (cbrt NdChar))
0.6b
(cbrt NdChar)
0.6b
(cbrt NdChar)
0.6b
(cbrt NdChar)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
8.0ms
(* (cbrt NdChar) (cbrt NdChar))
1.0ms
(cbrt NdChar)
1.0ms
(cbrt NdChar)
1.0ms
(cbrt NdChar)

series1.3s

Counts
4 → 12
Calls
4 calls:
319.0ms
(* (cbrt NdChar) (cbrt NdChar))
295.0ms
(cbrt NdChar)
353.0ms
(cbrt NdChar)
338.0ms
(cbrt NdChar)

simplify1.3s

Counts
97 → 97
Iterations
IterNodes
43178
3858
2330
1135
067

prune2.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes714.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
230
130
025

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.6s7999×body80valid
3.0ms1×body10240exit
1.0ms1×body1280valid