Details

Time bar (total: 3.0m)

sample90.0ms

Algorithm
intervals
Results
51.0ms256×body80valid

simplify270.0ms

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

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize58.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
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
0.0b
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))

rewrite2.0s

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.3s
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
335.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
208.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
178.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series426.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
160.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
92.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
91.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
83.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify39.4s

Counts
223 → 205
Calls
223 calls:
Slowest
837.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
770.0ms
(/ (* (cbrt NdChar) (cbrt NdChar)) (* (cbrt (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)) (cbrt (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))))
484.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) 1)
440.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (* (cbrt KbT) (cbrt KbT)))
435.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)

prune4.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize73.0ms

Local error

Found 4 expressions with local error:

19.5b
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
19.5b
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
19.5b
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
0.5b
(* (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

rewrite581.0ms

Algorithm
rewrite-expression-head
Rules
471×*-un-lft-identity
238×cbrt-prod
204×times-frac
156×distribute-lft-out
126×add-sqr-sqrt
102×add-cube-cbrt
78×distribute-lft-out--
61×swap-sqr
25×associate-*r* associate-*l*
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 246
Calls
4 calls:
Slowest
427.0ms
(* (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
49.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
47.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
46.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
596.0ms
(* (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
496.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
447.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
442.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

simplify37.3s

Counts
287 → 258
Calls
287 calls:
Slowest
757.0ms
(* (* (cbrt (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (cbrt (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (* (cbrt (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (cbrt (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
374.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)))))))))
343.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)))))))))
329.0ms
(* (pow (cbrt -1) 2) (exp (* 1/3 (- (* 2 (log (/ -1 KbT))) (* 2 (log (/ -1 EAccept)))))))
323.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)))))))))

prune6.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize69.0ms

Local error

Found 4 expressions with local error:

22.7b
(cbrt (* (- (* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT)))
0.2b
(* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))
0.1b
(* (- (* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))
0.0b
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)

rewrite666.0ms

Algorithm
rewrite-expression-head
Rules
447×*-un-lft-identity
203×times-frac
151×add-sqr-sqrt
111×distribute-lft-out distribute-lft-out--
96×add-cube-cbrt
61×swap-sqr
50×associate-*r*
31×associate-*l*
23×add-cbrt-cube add-exp-log
19×difference-of-squares
13×pow1
12×distribute-neg-frac
11×frac-times associate-*l/
7×cbrt-div associate-*r/ associate-/l*
6×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r*
2×pow-prod-down *-commutative associate-/l/
1×distribute-lft-neg-out cbrt-prod pow2 distribute-lft-neg-in clear-num neg-mul-1 distribute-rgt-neg-in frac-2neg pow-plus flip3-- pow1/3 div-sub pow-sqr pow-prod-up flip--
Counts
4 → 267
Calls
4 calls:
Slowest
328.0ms
(* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))
158.0ms
(* (- (* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))
123.0ms
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)
50.0ms
(cbrt (* (- (* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT)))

series3.9s

Counts
4 → 12
Calls
4 calls:
Slowest
2.4s
(* (- (* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))
1.2s
(cbrt (* (- (* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT)))
267.0ms
(* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))
61.0ms
(/ (- Ec (+ (+ Vef mu) EDonor)) KbT)

simplify38.2s

Counts
316 → 279
Calls
316 calls:
Slowest
578.0ms
(+ (log (- (* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT)))) (- (log (- Ec (+ (+ Vef mu) EDonor))) (log KbT)))
494.0ms
(* (/ (sqrt (- Ec (+ (+ Vef mu) EDonor))) (* (cbrt KbT) (cbrt KbT))) (/ (sqrt (- Ec (+ (+ Vef mu) EDonor))) (* (cbrt KbT) (cbrt KbT))))
493.0ms
(cbrt (* (- (* (- Ec (+ (+ Vef mu) EDonor)) (- Ec (+ (+ Vef mu) EDonor)))) (- Ec (+ (+ Vef mu) EDonor))))
412.0ms
(* (* (/ (- Ec (+ (+ Vef mu) EDonor)) KbT) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT)) (/ (- Ec (+ (+ Vef mu) EDonor)) KbT))
387.0ms
(* (- (* (- Ec (+ (+ Vef mu) EDonor)) (- Ec (+ (+ Vef mu) EDonor)))) (- Ec (+ (+ Vef mu) EDonor)))

prune4.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
219×*-un-lft-identity
90×times-frac
79×add-sqr-sqrt
62×distribute-lft-out
61×add-cube-cbrt
40×distribute-lft-out--
30×associate-/l*
28×distribute-lft-neg-in distribute-rgt-neg-in
12×add-cbrt-cube add-exp-log
11×pow1
9×associate-/r*
8×flip3-+ flip-+ difference-of-squares
6×swap-sqr associate-/l/
4×expm1-log1p-u frac-times neg-mul-1 associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv clear-num frac-2neg div-sub div-exp div-inv
2×associate-+r- associate-*l/ associate-*r/ distribute-neg-frac
1×pow2 neg-sub0 distribute-rgt-in distribute-lft-in pow-plus flip3-- pow-prod-down prod-exp distribute-frac-neg pow-sqr *-commutative pow-prod-up cbrt-unprod flip-- unswap-sqr
Counts
4 → 227
Calls
4 calls:
Slowest
709.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
200.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
134.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
133.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

series280.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
101.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
60.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
60.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
59.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify31.1s

Counts
272 → 239
Calls
272 calls:
Slowest
636.0ms
(* (* (* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (* (* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))))
617.0ms
(* (+ (* 1 1) (- (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (* 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))) (+ (* 1 1) (- (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (* 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))))
493.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
493.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
464.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (sqrt KbT))

prune3.9s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes592.0ms

Accuracy

0% (0.0b remaining)

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

bsearch6.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.7s8000×body80valid