Details

Time bar (total: 2.4m)

sample88.0ms

Algorithm
intervals
Results
57.0ms256×body80valid

simplify289.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
289.0ms
(+ (/ NdChar (+ 1 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT)))))

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
174×*-un-lft-identity
84×times-frac
72×add-sqr-sqrt
56×add-cube-cbrt
45×distribute-lft-out
32×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
27×associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
8×difference-of-squares
6×add-log-exp
4×expm1-log1p-u pow1 neg-mul-1 insert-posit16 log1p-expm1-u associate-/l/
3×cbrt-undiv clear-num fma-def frac-2neg flip3-+ div-exp flip-+ div-inv
2×div-sub associate-/r/ distribute-neg-frac
1×neg-sub0 +-commutative associate-+r- sum-log flip3-- distribute-frac-neg flip--
Counts
4 → 193
Calls
4 calls:
Slowest
344.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
308.0ms
(/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
249.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
163.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series437.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
201.0ms
(/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
84.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
83.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
68.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify39.0s

Counts
223 → 205
Calls
223 calls:
Slowest
795.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt KbT))
787.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
756.0ms
(- (+ (/ Ev KbT) (+ (/ EAccept KbT) (+ 2 (/ Vef KbT)))) (/ mu KbT))
465.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) (* (cbrt KbT) (cbrt KbT)))
463.0ms
(/ (* (* NaChar NaChar) NaChar) (* (* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))

prune4.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize101.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
173×*-un-lft-identity
86×times-frac
79×add-sqr-sqrt
56×add-cube-cbrt
44×distribute-lft-out
32×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
24×associate-/l*
18×associate-*r*
17×add-exp-log
13×add-cbrt-cube
8×difference-of-squares
6×pow1 associate-/r* add-log-exp
4×expm1-log1p-u neg-mul-1 div-exp prod-exp insert-posit16 log1p-expm1-u associate-/l/
3×cbrt-undiv fma-def flip3-+ associate-*l* flip-+ div-inv unswap-sqr
2×clear-num frac-2neg div-sub associate-/r/ cbrt-unprod distribute-neg-frac
1×neg-sub0 +-commutative rec-exp associate-+r- sum-log flip3-- 1-exp pow-prod-down associate-*r/ distribute-frac-neg un-div-inv *-commutative flip--
Counts
4 → 201
Calls
4 calls:
Slowest
614.0ms
(* NaChar (/ 1 (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
357.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
196.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
187.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series494.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
191.0ms
(* NaChar (/ 1 (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
101.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
101.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
100.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

simplify37.7s

Counts
224 → 213
Calls
224 calls:
Slowest
854.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
659.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (sqrt KbT))
467.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))
461.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)
460.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)

prune4.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

0.2b
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
0.0b
(/ (- Ev (- (- mu Vef) EAccept)) KbT)
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0b
(* NaChar (/ 1 (log (* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT)))))))

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
168×*-un-lft-identity
92×add-sqr-sqrt times-frac
59×add-cube-cbrt
48×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
25×associate-/l*
24×distribute-lft-out
22×associate-*r*
18×add-exp-log
17×pow1
15×add-cbrt-cube
12×difference-of-squares
6×associate-/r* associate-*l* prod-exp log-pow
5×pow-prod-down
4×expm1-log1p-u neg-mul-1 div-exp insert-posit16 log1p-expm1-u add-log-exp unswap-sqr associate-/l/
3×cbrt-undiv cbrt-unprod div-inv
2×clear-num frac-2neg flip3-- div-sub *-commutative flip-- distribute-neg-frac
1×neg-sub0 e-exp-1 rec-exp 1-exp associate-*r/ distribute-frac-neg un-div-inv
Counts
4 → 210
Calls
4 calls:
Slowest
1.7s
(* NaChar (/ 1 (log (* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT)))))))
572.0ms
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
308.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
150.0ms
(/ (- Ev (- (- mu Vef) EAccept)) KbT)

series720.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
420.0ms
(* NaChar (/ 1 (log (* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT)))))))
154.0ms
(* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))
84.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
62.0ms
(/ (- Ev (- (- mu Vef) EAccept)) KbT)

simplify30.5s

Counts
239 → 222
Calls
239 calls:
Slowest
558.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))
430.0ms
(/ 1 (log (* E (exp (exp (/ (- Ev (- (- mu Vef) EAccept)) KbT))))))
304.0ms
(- (pow Ev 3) (pow (- (- mu Vef) EAccept) 3))
296.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (* (cbrt KbT) (cbrt KbT)))
285.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)

prune3.9s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize68.0ms

Local error

Found 4 expressions with local error:

6.5b
(* NaChar (+ (/ Vef KbT) (/ Ev KbT)))
5.1b
(/ (* NaChar mu) KbT)
3.8b
(fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))
2.9b
(- (/ (* NaChar mu) KbT) (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT)))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
29×add-sqr-sqrt
25×add-cube-cbrt
21×times-frac prod-diff
11×add-cbrt-cube add-exp-log
8×associate-*r*
7×fma-neg div-inv
6×pow1 add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u distribute-lft-out
3×associate-/r* associate-*l* associate-*r/
2×cbrt-undiv div-exp prod-exp cbrt-unprod fma-udef
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in flip3-+ distribute-rgt-out flip3-- diff-log pow-prod-down frac-add *-commutative flip-+ flip-- associate-/l* associate--r+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 112
Calls
4 calls:
Slowest
35.0ms
(* NaChar (+ (/ Vef KbT) (/ Ev KbT)))
16.0ms
(- (/ (* NaChar mu) KbT) (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT)))))
10.0ms
(/ (* NaChar mu) KbT)
0.0ms
(fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))

series205.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
98.0ms
(- (/ (* NaChar mu) KbT) (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT)))))
46.0ms
(fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))
42.0ms
(* NaChar (+ (/ Vef KbT) (/ Ev KbT)))
20.0ms
(/ (* NaChar mu) KbT)

simplify11.9s

Counts
97 → 124
Calls
97 calls:
Slowest
313.0ms
(- (+ (/ (* EAccept NaChar) KbT) (+ (/ (* NaChar Ev) KbT) (/ (* Vef NaChar) KbT))))
313.0ms
(- (+ (/ (* EAccept NaChar) KbT) (+ (/ (* NaChar Ev) KbT) (/ (* Vef NaChar) KbT))))
276.0ms
(fma (* NaChar mu) (/ 1 KbT) (- (* (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))) (* (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))) (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT)))))))))
274.0ms
(fma (/ NaChar (* (cbrt KbT) (cbrt KbT))) (/ mu (cbrt KbT)) (- (* (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))) (* (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))) (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT)))))))))
273.0ms
(fma 1 (/ (* NaChar mu) KbT) (- (* (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))) (* (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT))))) (cbrt (fma (/ EAccept KbT) NaChar (* NaChar (+ (/ Vef KbT) (/ Ev KbT)))))))))

prune2.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes543.0ms

Accuracy

0% (0.0b remaining)

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

bsearch7.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.8s8000×body80valid
1.0ms1×body10240exit