Details

Time bar (total: 2.1m)

sample95.0ms

Algorithm
intervals
Results
66.0ms256×body80valid

simplify253.0ms

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

prune42.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize88.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
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

rewrite826.0ms

Algorithm
rewrite-expression-head
Rules
193×*-un-lft-identity
90×times-frac
72×add-sqr-sqrt
56×add-cube-cbrt
53×distribute-lft-out
38×distribute-lft-out--
28×distribute-lft-neg-in distribute-rgt-neg-in
24×associate-/l*
22×exp-prod
8×add-cbrt-cube add-exp-log difference-of-squares
7×add-log-exp
6×associate-/r*
4×pow1 neg-mul-1 insert-posit16 associate-/l/
3×div-sub div-inv
2×cbrt-undiv clear-num associate-+r- frac-2neg flip3-+ div-exp flip-+ distribute-neg-frac
1×neg-sub0 +-commutative sum-log flip3-- exp-diff distribute-frac-neg flip-- rem-exp-log
Counts
4 → 180
Calls
4 calls:
Slowest
262.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
217.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
187.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
152.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series385.0ms

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

simplify33.9s

Counts
211 → 192
Calls
211 calls:
Slowest
749.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
678.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
491.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (* (cbrt KbT) (cbrt KbT)))
476.0ms
(- (log (- (- Ec (+ (+ Vef mu) EDonor)))) (log KbT))
451.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt KbT))

prune4.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize114.0ms

Local error

Found 4 expressions with local error:

20.7b
(cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
0.2b
(* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
0.1b
(* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
0.0b
(exp (cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
394×*-un-lft-identity
167×times-frac
132×distribute-lft-out
94×add-sqr-sqrt
79×add-cube-cbrt
66×distribute-lft-out--
58×swap-sqr
57×add-cbrt-cube add-exp-log
44×associate-*r*
30×pow1
23×associate-*l*
22×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
11×frac-times associate-*l/
7×cbrt-div pow-plus associate-*r/ pow-prod-up
6×unswap-sqr
5×div-inv add-log-exp
4×exp-prod pow-prod-down insert-posit16
3×pow2 pow-sqr
2×cbrt-prod pow3 *-commutative
1×pow1/3 rem-cbrt-cube rem-exp-log
Counts
4 → 234
Calls
4 calls:
Slowest
631.0ms
(* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
401.0ms
(cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
383.0ms
(* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
11.0ms
(exp (cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))

series2.3s

Counts
4 → 12
Calls
4 calls:
Slowest
1.6s
(* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
366.0ms
(* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
200.0ms
(cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
109.0ms
(exp (cbrt (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))

simplify56.3s

Counts
281 → 246
Calls
281 calls:
Slowest
1.4s
(* (* (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT))) (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
974.0ms
(* (* (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT))) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)))
859.0ms
(* (* (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)) (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)))
849.0ms
(* (* (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT))) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT)))
805.0ms
(* (* (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (* (* (+ EAccept (- (+ Ev Vef) mu)) (+ EAccept (- (+ Ev Vef) mu))) (+ EAccept (- (+ Ev Vef) mu))) (* (* KbT KbT) KbT))) (* (* (/ (+ EAccept (- (+ Ev Vef) mu)) KbT) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

prune5.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize109.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
115×*-un-lft-identity
66×exp-prod
54×times-frac
36×distribute-lft-out
34×add-sqr-sqrt add-cube-cbrt
18×distribute-lft-out--
14×associate-+r- exp-diff div-sub
9×add-log-exp
7×associate-*r/
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×frac-sub div-inv rem-exp-log
2×associate-*l/ sub-div
1×frac-times sub-neg flip3-- distribute-rgt-out-- diff-log flip--
Counts
4 → 115
Calls
4 calls:
Slowest
1.2s
(- (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (* 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
228.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
189.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
164.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

series479.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
191.0ms
(- (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (* 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
111.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
96.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
81.0ms
(exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

simplify13.0s

Counts
97 → 127
Calls
97 calls:
Slowest
652.0ms
(exp (/ (* (cbrt (+ EAccept (- (+ Ev Vef) mu))) (cbrt (+ EAccept (- (+ Ev Vef) mu)))) (* (cbrt KbT) (cbrt KbT))))
421.0ms
(- (+ (/ Ev KbT) (+ (/ EAccept KbT) (+ 1 (/ Vef KbT)))) (/ mu KbT))
400.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))
383.0ms
(- (* (* (exp (/ (+ EAccept (+ Ev Vef)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (exp (/ mu KbT))) (* (exp (/ mu KbT)) (* 1 (exp (/ (+ EAccept (+ Ev Vef)) KbT)))))
353.0ms
(- (+ (/ Ev KbT) (+ (/ Vef KbT) (+ (/ EAccept KbT) 1))) (/ mu KbT))

prune3.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes639.0ms

Accuracy

0% (0.0b remaining)

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

bsearch7.0ms

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.2s7999×body80valid
1.0ms1×body10240exit
1.0ms1×body320valid