Details

Time bar (total: 41.4s)

sample68.0ms

Algorithm
intervals
Results
46.0ms256×body80valid

simplify256.0ms

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

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize94.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
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

rewrite64.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
26.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
18.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
10.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
7.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))

series231.0ms

Calls
4 calls:
Slowest
70.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
55.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
53.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
52.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))

simplify6.7s

Calls
40 calls:
Slowest
532.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
383.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
363.0ms
(exp (+ EAccept (- (+ Ev Vef) mu)))
361.0ms
(- (+ (/ mu KbT) (+ (/ Vef KbT) (+ (/ EDonor KbT) 1))) (/ Ec KbT))
355.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))

prune1.7s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize26.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
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

rewrite66.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
29.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
18.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
10.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
7.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))

series244.0ms

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

simplify6.8s

Calls
40 calls:
Slowest
652.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
427.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))
347.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))
335.0ms
(exp (- (- Ec (+ (+ Vef mu) EDonor))))
324.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))

prune2.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

7.6b
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
7.6b
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
0.0b
(pow (exp (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
0.0b
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-prod
14×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
8×pow-pow
7×pow-unpow exp-prod
5×pow1 div-inv
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×unpow-prod-down associate-/l*
2×rem-sqrt-square pow1/2 sqrt-div associate-/l/
1×pow-to-exp clear-num associate-+r- frac-2neg flip3-+ div-sub pow-exp flip-+
Calls
4 calls:
Slowest
26.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
25.0ms
(pow (exp (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
8.0ms
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
4.0ms
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

series3.1s

Calls
4 calls:
Slowest
2.8s
(pow (exp (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
154.0ms
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
152.0ms
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
64.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify6.7s

Calls
48 calls:
Slowest
642.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
585.0ms
(pow (* (cbrt (exp (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (cbrt (exp (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))) (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
348.0ms
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))
249.0ms
(exp (* (cbrt (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (cbrt (sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
226.0ms
(exp (sqrt (* (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))

prune2.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

16.4b
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
16.4b
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
16.4b
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
7.6b
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
9×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log sqrt-prod insert-posit16 div-inv add-log-exp
3×cbrt-div pow1/3
1×rem-sqrt-square pow1/2 sqrt-div
Calls
4 calls:
Slowest
5.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
5.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
5.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
4.0ms
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

series1.1s

Calls
4 calls:
Slowest
351.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
315.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
297.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
127.0ms
(sqrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

simplify4.7s

Calls
33 calls:
Slowest
232.0ms
(exp (* 1/3 (- (log (/ 1 KbT)) (log (/ 1 EAccept)))))
232.0ms
(sqrt (* (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
229.0ms
(+ (exp (* 1/3 (- (+ (log mu) (log -1)) (log KbT)))) (+ (* 1/3 (* Ev (exp (* -1/3 (+ (log KbT) (* 2 (log mu))))))) (* 1/3 (* EAccept (exp (* -1/3 (+ (log KbT) (* 2 (log mu)))))))))
217.0ms
(exp (* 1/3 (- (log (/ 1 KbT)) (log (/ 1 EAccept)))))
215.0ms
(+ (exp (* 1/3 (- (+ (log mu) (log -1)) (log KbT)))) (+ (* 1/3 (* Ev (exp (* -1/3 (+ (log KbT) (* 2 (log mu))))))) (* 1/3 (* EAccept (exp (* -1/3 (+ (log KbT) (* 2 (log mu)))))))))

prune2.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes776.0ms

Accuracy

0% (0.1b remaining)

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

bsearch8.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
2.2s8000×body80valid
1.0ms1×body10240exit