Details

Time bar (total: 2.9m)

sample127.0ms

Algorithm
intervals
Results
87.0ms255×body80valid
1.0ms1×body160valid

simplify243.0ms

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

prune41.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.9s

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
1.0s
(+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)
363.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
285.0ms
(/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
261.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

series438.0ms

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

simplify58.8s

Counts
292 → 205
Calls
292 calls:
Slowest
840.0ms
(* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
594.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) (cbrt KbT))
538.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)
514.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)))))
487.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) (sqrt KbT))

prune4.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite630.0ms

Algorithm
rewrite-expression-head
Rules
117×*-un-lft-identity
51×times-frac
45×add-sqr-sqrt
37×add-cube-cbrt
28×distribute-lft-out--
24×distribute-lft-out
16×associate-/l*
10×associate-/r* add-cbrt-cube add-exp-log
5×add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u difference-of-squares associate-/l/
3×cbrt-undiv exp-prod clear-num frac-2neg div-exp div-inv
2×flip3-+ div-sub associate-/r/ flip-+ rem-exp-log
1×log1p-udef associate-+r- flip3-- flip--
Counts
4 → 145
Calls
4 calls:
Slowest
282.0ms
(/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
209.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
131.0ms
(/ (- EDonor (- Ec (+ Vef mu))) KbT)
3.0ms
(exp (log1p (exp (/ (- EDonor (- Ec (+ Vef mu))) KbT))))

series489.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
187.0ms
(/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
130.0ms
(exp (log1p (exp (/ (- EDonor (- Ec (+ Vef mu))) KbT))))
87.0ms
(/ (- EDonor (- Ec (+ Vef mu))) KbT)
84.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify39.1s

Counts
211 → 157
Calls
211 calls:
Slowest
890.0ms
(* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
724.0ms
(* (* (/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))) (/ NaChar (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
547.0ms
(* KbT (+ (* EDonor EDonor) (+ (* (- Ec (+ Vef mu)) (- Ec (+ Vef mu))) (* EDonor (- Ec (+ Vef mu))))))
418.0ms
(- (+ (/ mu KbT) (+ (/ Vef KbT) (+ (/ EDonor KbT) 2))) (/ Ec KbT))
418.0ms
(/ (- EDonor (- Ec (+ Vef mu))) (sqrt KbT))

prune3.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
244×*-un-lft-identity
180×times-frac
120×add-sqr-sqrt
104×add-cube-cbrt
56×distribute-lft-out
32×distribute-lft-out--
31×associate-/l*
28×distribute-lft-neg-in distribute-rgt-neg-in
25×associate-/r*
21×add-exp-log
15×add-cbrt-cube
10×div-exp
8×div-inv difference-of-squares
6×cbrt-undiv associate-/l/
5×pow1
4×expm1-log1p-u clear-num neg-mul-1 frac-2neg insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp flip3-+ 1-exp div-sub flip-+ distribute-neg-frac
1×neg-sub0 associate-+r- flip3-- distribute-frac-neg associate-/r/ pow-flip flip-- inv-pow
Counts
4 → 266
Calls
4 calls:
Slowest
331.0ms
(/ (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) NaChar)
288.0ms
(/ 1 (/ (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) NaChar))
262.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
190.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

series570.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
233.0ms
(/ 1 (/ (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) NaChar))
169.0ms
(/ (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) NaChar)
88.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
79.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify57.5s

Counts
415 → 278
Calls
415 calls:
Slowest
551.0ms
(* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
544.0ms
(/ (cbrt 1) (/ (sqrt (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (sqrt NaChar)))
469.0ms
(/ (sqrt (- Ec (+ (+ Vef mu) EDonor))) (cbrt KbT))
416.0ms
(/ NaChar (sqrt (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
338.0ms
(/ 1 (/ (* (cbrt (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (cbrt (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))) (* (cbrt NaChar) (cbrt NaChar))))

prune3.9s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes450.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.7s7998×body80valid
1.0ms1×body10240exit
1.0ms1×body640valid
0.0ms1×body160valid