Details

Time bar (total: 29.4s)

sample91.0ms

Algorithm
intervals
Results
67.0ms256×body80valid

simplify210.0ms

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-/l*
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×add-log-exp
4×pow1 exp-prod add-cbrt-cube add-exp-log insert-posit16 div-inv associate-/l/
3×distribute-lft-neg-in clear-num associate-/r* distribute-rgt-neg-in frac-2neg div-sub
2×associate-+r- flip3-+ associate-/r/ flip-+ distribute-neg-frac
1×neg-sub0 neg-mul-1 flip3-- exp-diff distribute-frac-neg flip-- rem-exp-log
Calls
4 calls:
Slowest
18.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
14.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
10.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
9.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

series362.0ms

Calls
4 calls:
Slowest
138.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
77.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
75.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
72.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify6.7s

Calls
39 calls:
Slowest
517.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
388.0ms
(- (+ (/ Ev KbT) (+ (/ EAccept KbT) (+ 1 (/ Vef KbT)))) (/ mu KbT))
355.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
350.0ms
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))
347.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))

prune1.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-/l*
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×pow1 add-exp-log div-inv add-log-exp
4×exp-prod associate-/r* add-cbrt-cube insert-posit16 associate-/l/
3×distribute-lft-neg-in clear-num distribute-rgt-neg-in frac-2neg div-sub
2×associate-+r- distribute-neg-frac
1×neg-sub0 rec-exp neg-mul-1 flip3-+ flip3-- exp-diff distribute-frac-neg associate-/r/ flip-+ pow-flip flip-- inv-pow rem-exp-log
Calls
4 calls:
Slowest
17.0ms
(/ 1 (/ (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) NdChar))
13.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
12.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
5.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series495.0ms

Calls
4 calls:
Slowest
204.0ms
(/ 1 (/ (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) NdChar))
114.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
96.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
81.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify5.7s

Calls
39 calls:
Slowest
470.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
344.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
340.0ms
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))
335.0ms
(cbrt (/ (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) NdChar))
330.0ms
(sqrt (/ (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) NdChar))

prune1.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-/l*
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×add-log-exp
4×pow1 exp-prod add-cbrt-cube add-exp-log insert-posit16 associate-/l/
3×distribute-lft-neg-in distribute-rgt-neg-in div-sub div-inv
2×clear-num associate-+r- frac-2neg flip3-- flip-- distribute-neg-frac
1×neg-sub0 neg-mul-1 sub-neg flip3-+ exp-diff distribute-frac-neg flip-+ rem-exp-log
Calls
4 calls:
Slowest
12.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
8.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
5.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
2.0ms
(- 1 (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))

series347.0ms

Calls
4 calls:
Slowest
97.0ms
(- 1 (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))
85.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
84.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
79.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

simplify5.5s

Calls
34 calls:
Slowest
625.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
379.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))
340.0ms
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))
336.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))
335.0ms
(- (+ (/ Ev KbT) (+ (/ EAccept KbT) (+ 1 (/ Vef KbT)))) (/ mu KbT))

prune2.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes761.0ms

Accuracy

0% (0.1b remaining)

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

bsearch12.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.8s8000×body80valid
2.0ms1×body10240exit