Details

Time bar (total: 4.5s)

sample59.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify53.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
0548229

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
142×*-un-lft-identity
66×times-frac
54×distribute-lft-out
44×add-sqr-sqrt add-cube-cbrt exp-prod
10×distribute-lft-out--
9×associate-/l*
8×add-exp-log add-cbrt-cube
7×associate-/r*
6×associate-+r- add-log-exp
4×pow1 div-inv
3×div-sub
2×cbrt-undiv frac-2neg flip3-+ exp-diff div-exp clear-num associate-/r/ flip-+ rem-exp-log associate-/l/
Counts
4 → 137
Calls
4 calls:
12.0ms
(exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))
14.0ms
(/ NdChar (+ 1.0 (exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))
12.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
11.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)

series122.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))
57.0ms
(/ NdChar (+ 1.0 (exp (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))
25.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
16.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)

simplify66.0ms

Algorithm
egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
061961953

prune175.0ms

Filtered
96 candidates to 149 candidates (-55.2%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1472149
Fresh000
Picked101
Done000
Total1482150

Merged error: 0.0b

Counts
150 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
107×*-un-lft-identity
48×times-frac
40×distribute-lft-out
34×add-sqr-sqrt add-cube-cbrt
22×exp-prod
9×associate-/l*
8×add-exp-log add-cbrt-cube
7×associate-/r* distribute-lft-out-- add-log-exp
4×pow1 associate-+r-
3×flip3-+ flip-+ div-inv
2×cbrt-undiv frac-2neg div-sub div-exp clear-num associate-/r/ associate-/l/
1×+-commutative exp-diff sum-log rem-exp-log
Counts
4 → 118
Calls
4 calls:
11.0ms
(+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))
7.0ms
(/ NdChar (+ 1.0 (pow E (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))
12.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
11.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)

series126.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(+ 1.0 (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)))
64.0ms
(/ NdChar (+ 1.0 (pow E (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))
22.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
15.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)

simplify44.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
051251901

prune155.0ms

Filtered
87 candidates to 130 candidates (-49.4%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1282130
Fresh101
Picked011
Done000
Total1293132

Merged error: 0b

Counts
132 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
147×*-un-lft-identity
56×distribute-lft-out
55×add-sqr-sqrt
54×times-frac
44×exp-prod
43×add-cube-cbrt
26×sqrt-prod
19×pow1
12×sqrt-div
11×swap-sqr
10×distribute-lft-out--
8×add-exp-log sqrt-pow1 pow1/2 add-cbrt-cube
7×flip3-+ associate-*r* associate-*l* flip-+
6×associate-+r- associate-/l* add-log-exp
5×pow-prod-up
4×frac-times unswap-sqr
3×div-sub pow-prod-down associate-/r* pow-sqr div-inv
2×exp-diff associate-*r/ associate-*l/ rem-exp-log associate-/l/
1×cbrt-undiv pow2 frac-2neg pow-plus sqrt-unprod div-exp prod-exp clear-num rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 166
Calls
4 calls:
13.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
12.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
11.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
39.0ms
(* (sqrt (+ (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)) 1.0)) (sqrt (+ (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)) 1.0)))

series93.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
23.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
16.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
31.0ms
(* (sqrt (+ (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)) 1.0)) (sqrt (+ (exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT)) 1.0)))

simplify69.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
064862367

prune229.0ms

Filtered
99 candidates to 178 candidates (-79.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1780178
Fresh011
Picked011
Done011
Total1783181

Merged error: 0b

Counts
181 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
0.0b
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
0.0b
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
0.2b
(* (sqrt (/ NdChar (+ 1.0 (pow E (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))) (sqrt (/ NdChar (+ 1.0 (pow E (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
217×*-un-lft-identity
120×times-frac
104×add-sqr-sqrt
98×sqrt-prod
76×add-cube-cbrt
73×distribute-lft-out
29×swap-sqr
22×exp-prod
21×associate-*r* associate-*l*
19×pow1
12×associate-/l*
11×distribute-lft-out--
10×add-exp-log add-cbrt-cube
9×unswap-sqr
8×sqrt-pow1 pow1/2 associate-/r/
7×div-inv
6×associate-+r- flip3-+ associate-/r* flip-+
5×pow-prod-up add-log-exp
4×sqrt-div associate-/l/
3×div-sub pow-prod-down pow-sqr
2×cbrt-undiv frac-2neg div-exp clear-num
1×pow2 frac-times pow-plus exp-diff sqrt-unprod associate-*r/ associate-*l/ prod-exp rem-square-sqrt *-commutative cbrt-unprod rem-exp-log
Counts
4 → 223
Calls
4 calls:
12.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
11.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
12.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
26.0ms
(* (sqrt (/ NdChar (+ 1.0 (pow E (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))) (sqrt (/ NdChar (+ 1.0 (pow E (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))))

series141.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(exp (/ (+ Vef (+ Ev (- EAccept mu))) KbT))
15.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
15.0ms
(/ (+ Vef (+ EDonor (- mu Ec))) KbT)
88.0ms
(* (sqrt (/ NdChar (+ 1.0 (pow E (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))) (sqrt (/ NdChar (+ 1.0 (pow E (/ (+ Vef (+ EDonor (- mu Ec))) KbT))))))

simplify85.0ms

Algorithm
egg-herbie
Counts
235 → 235
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049644299
149644299

prune287.0ms

Filtered
134 candidates to 235 candidates (-75.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2350235
Fresh000
Picked011
Done022
Total2353238

Merged error: 0b

Counts
238 → 3

regimes895.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05430
15430

end0.0ms

sample1.5s

Algorithm
intervals
Results
710.0ms7999×body80valid
1.0ms1×body5120exit
0.0ms1×body160valid

Profiling

Loading profile data...