Details

Time bar (total: 28.5s)

sample86.0ms

Algorithm
intervals
Results
66.0ms256×body80valid

simplify186.0ms

Calls
1 calls:
Slowest
186.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

localize55.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))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-/l*
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×add-log-exp
4×expm1-log1p-u pow1 exp-prod add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u 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
15.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
13.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
8.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
5.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series453.0ms

Calls
4 calls:
Slowest
234.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
78.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
77.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
64.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify7.1s

Calls
39 calls:
Slowest
841.0ms
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))
698.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
436.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))
369.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
324.0ms
(- (+ (/ Ev KbT) (+ (/ EAccept KbT) (+ 1 (/ Vef KbT)))) (/ mu KbT))

prune1.8s

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×expm1-log1p-u exp-prod associate-/r* add-cbrt-cube insert-posit16 log1p-expm1-u 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
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
16.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
9.0ms
(/ 1 (/ (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) NdChar))
5.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series431.0ms

Calls
4 calls:
Slowest
196.0ms
(/ 1 (/ (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) NdChar))
103.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
68.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
64.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

simplify6.8s

Calls
39 calls:
Slowest
782.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
402.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))
394.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
367.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))
357.0ms
(/ (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) NdChar)

prune2.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize24.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)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-/l*
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×add-log-exp
4×expm1-log1p-u pow1 exp-prod add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u 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
15.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
12.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
5.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
3.0ms
(- 1 (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))

series366.0ms

Calls
4 calls:
Slowest
114.0ms
(- 1 (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))
94.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
87.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
71.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

simplify4.9s

Calls
34 calls:
Slowest
574.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
374.0ms
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))
314.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
310.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))
290.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes490.0ms

Accuracy

0% (0.1b remaining)

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

bsearch7.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.8s8000×body80valid
1.0ms1×body10240exit