Details

Time bar (total: 1.5m)

sample439.0ms

Algorithm
intervals
Results
342.0ms256×body80valid

simplify719.0ms

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

prune85.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize194.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

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

series452.0ms

Calls
4 calls:
Slowest
161.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
158.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
72.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
61.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify16.7s

Calls
40 calls:
Slowest
1.5s
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
1.3s
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))
1.1s
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
980.0ms
(- (+ (/ mu KbT) (+ (/ Vef KbT) (+ (/ EDonor KbT) 1))) (/ Ec KbT))
958.0ms
(- (+ (/ mu KbT) (+ (/ Vef KbT) (+ (/ EDonor KbT) 1))) (/ Ec KbT))

prune4.0s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt exp-prod *-un-lft-identity add-cube-cbrt
6×associate-/l* add-log-exp
4×pow1 add-cbrt-cube div-sub add-exp-log insert-posit16 div-inv associate-/l/
2×clear-num associate-+r- frac-2neg exp-diff rem-exp-log
1×flip3-+ flip3-- flip-+ flip--
Calls
4 calls:
Slowest
151.0ms
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)
24.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
18.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
4.0ms
(exp (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))

series424.0ms

Calls
4 calls:
Slowest
140.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
140.0ms
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)
79.0ms
(exp (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))
63.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify9.4s

Calls
34 calls:
Slowest
1.3s
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
1.2s
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))
758.0ms
(exp (- Ec (+ (+ Vef mu) EDonor)))
694.0ms
(exp (sqrt (/ (- Ec (+ (+ Vef mu) EDonor)) KbT)))
589.0ms
(- (+ (/ Ev KbT) (+ (/ EAccept KbT) (+ 1 (/ Vef KbT)))) (/ mu KbT))

prune4.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize119.0ms

Local error

Found 4 expressions with local error:

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

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-/l*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt associate-/l/
4×pow1 clear-num frac-2neg add-cbrt-cube div-sub add-exp-log insert-posit16 div-inv add-log-exp
3×associate-+r- flip3-+ flip-+
1×flip3-- flip--
Calls
4 calls:
Slowest
118.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
63.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
59.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
16.0ms
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)

series395.0ms

Calls
4 calls:
Slowest
183.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
77.0ms
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)
68.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
63.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify12.3s

Calls
32 calls:
Slowest
2.3s
(* (cbrt (- Ec (+ (+ Vef mu) EDonor))) (cbrt (- Ec (+ (+ Vef mu) EDonor))))
2.0s
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
1.5s
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
1.5s
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
730.0ms
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))

prune3.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt associate-/l*
6×pow1 add-cbrt-cube add-exp-log associate-/l/
4×flip3-+ associate-*r* flip-+ insert-posit16 div-inv add-log-exp
3×clear-num frac-2neg div-sub associate-*l*
2×frac-times associate-+r- associate-*l/
1×flip3-- pow-prod-down prod-exp associate-*r/ un-div-inv *-commutative cbrt-unprod flip--
Calls
4 calls:
Slowest
197.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
20.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
13.0ms
(* (+ EAccept (- (+ Ev Vef) mu)) (/ 1 KbT))
4.0ms
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)

series259.0ms

Calls
4 calls:
Slowest
69.0ms
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)
62.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
60.0ms
(* (+ EAccept (- (+ Ev Vef) mu)) (/ 1 KbT))
57.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify22.0s

Calls
42 calls:
Slowest
3.1s
(* (+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3)) (/ 1 KbT))
2.6s
(* (+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3)) 1)
2.4s
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
2.2s
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
2.0s
(* (- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu))) (/ 1 KbT))

prune5.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes1.1s

Accuracy

0% (0.0b remaining)

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

bsearch10.0ms

end0.0ms

sample6.1s

Algorithm
intervals
Results
5.6s7999×body80valid
1.0ms1×body640valid