Details

Time bar (total: 19.6s)

sample49.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify831.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
41340
3362
2120
149
027

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
178×*-un-lft-identity
81×times-frac
60×add-sqr-sqrt
58×exp-prod
50×distribute-lft-out
48×add-cube-cbrt
36×distribute-lft-out--
33×distribute-rgt-neg-in
21×distribute-lft-neg-in
9×associate-/l* add-log-exp
6×fma-def add-cbrt-cube add-exp-log difference-of-squares
4×expm1-log1p-u pow1 div-sub log1p-expm1-u
3×associate-/r* neg-mul-1 flip3-+ flip-+
2×neg-sub0 +-commutative sum-log div-inv associate-/l/
1×exp-neg cbrt-undiv clear-num associate-+r- frac-2neg exp-diff div-exp unsub-neg distribute-frac-neg rem-exp-log
Counts
4 → 162
Calls
4 calls:
580.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
258.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
334.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
779.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

series386.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))
104.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
76.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
101.0ms
(exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))

simplify1.1s

Counts
174 → 174
Iterations
IterNodes
done5000
21960
1541
0243

prune1.8s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
180×*-un-lft-identity
81×times-frac
69×distribute-lft-out
61×add-sqr-sqrt
58×exp-prod
49×add-cube-cbrt
33×distribute-rgt-neg-in
21×distribute-lft-neg-in
18×distribute-lft-out--
9×associate-/l*
8×add-log-exp
6×fma-def add-cbrt-cube add-exp-log difference-of-squares
5×pow1
4×expm1-log1p-u div-sub log1p-expm1-u
3×associate-+r+ log-prod associate-/r* neg-mul-1 flip3-+ flip-+
2×neg-sub0 +-commutative sum-log div-inv associate-/l/
1×exp-neg cbrt-undiv clear-num associate-+r- frac-2neg exp-diff div-exp unsub-neg distribute-frac-neg log-pow rem-exp-log
Counts
4 → 166
Calls
4 calls:
1.1s
(+ 1.0 (log (exp (exp (/ (- (- Ec (+ Vef (+ EDonor mu)))) KbT)))))
289.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
380.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
443.0ms
(exp (/ (- (- Ec (+ Vef (+ EDonor mu)))) KbT))

series404.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(+ 1.0 (log (exp (exp (/ (- (- Ec (+ Vef (+ EDonor mu)))) KbT)))))
113.0ms
(+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))
107.0ms
(/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)
94.0ms
(exp (/ (- (- Ec (+ Vef (+ EDonor mu)))) KbT))

simplify1.2s

Counts
178 → 178
Iterations
IterNodes
done5001
22172
1567
0254

prune1.9s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize89.0ms

Local error

Found 4 expressions with local error:

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

rewrite787.0ms

Algorithm
rewrite-expression-head
Rules
134×*-un-lft-identity
75×times-frac
64×add-sqr-sqrt
58×exp-prod
44×add-cube-cbrt
30×distribute-lft-out distribute-lft-out--
21×distribute-lft-neg-in distribute-rgt-neg-in
10×difference-of-squares
7×associate-/l*
6×add-cbrt-cube add-exp-log
5×expm1-log1p-u add-log-exp
4×pow1 log1p-expm1-u
3×associate-/r* neg-mul-1
2×div-sub div-inv associate-/l/
1×neg-sub0 exp-neg cbrt-undiv log1p-udef expm1-log1p clear-num frac-2neg flip3-- exp-diff div-exp log1p-expm1 distribute-frac-neg flip-- expm1-udef rem-exp-log
Counts
4 → 140
Calls
4 calls:
370.0ms
(/ (- (+ (+ Vef EAccept) Ev) mu) KbT)
403.0ms
(exp (/ (- (- Ec (+ Vef (+ EDonor mu)))) KbT))
0.0ms
(expm1 (log1p (+ (exp (/ (- (+ (+ Vef EAccept) Ev) mu) KbT)) 1.0)))
0.0ms
(log1p (+ (exp (/ (- (+ (+ Vef EAccept) Ev) mu) KbT)) 1.0))

series502.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(/ (- (+ (+ Vef EAccept) Ev) mu) KbT)
84.0ms
(exp (/ (- (- Ec (+ Vef (+ EDonor mu)))) KbT))
153.0ms
(expm1 (log1p (+ (exp (/ (- (+ (+ Vef EAccept) Ev) mu) KbT)) 1.0)))
194.0ms
(log1p (+ (exp (/ (- (+ (+ Vef EAccept) Ev) mu) KbT)) 1.0))

simplify826.0ms

Counts
152 → 152
Iterations
IterNodes
done5000
21552
1499
0241

prune1.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done39
139
029

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.8s8000×body80valid