Details

Time bar (total: 4.4m)

sample99.0ms

Algorithm
intervals
Results
68.0ms256×body80valid

simplify213.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
213.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

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

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
173×*-un-lft-identity
84×times-frac
71×add-sqr-sqrt
55×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×pow1 neg-mul-1 insert-posit16 associate-/l/
3×cbrt-undiv clear-num 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 → 182
Calls
4 calls:
Slowest
1.2s
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
280.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
191.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
157.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series431.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
207.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
84.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
73.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
68.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify38.9s

Counts
221 → 194
Calls
221 calls:
Slowest
701.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
623.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
452.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)
449.0ms
(/ (* (* NdChar NdChar) NdChar) (* (* (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1) (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)) (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1)))
444.0ms
(* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))))

prune4.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

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

rewrite530.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×add-cbrt-cube insert-posit16 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 → 238
Calls
4 calls:
Slowest
361.0ms
(* (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
63.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
59.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
39.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

series1.9s

Counts
4 → 12
Calls
4 calls:
Slowest
600.0ms
(* (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
452.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
446.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))
423.0ms
(cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))

simplify35.7s

Counts
287 → 250
Calls
287 calls:
Slowest
582.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (log (/ -1 KbT)) (log -1)) (log (/ -1 EAccept))))))
376.0ms
(- (exp (* 1/3 (- (* 2 (log mu)) (* 2 (log KbT))))) (+ (* 2/3 (* (exp (* -1/3 (+ (* 2 (log KbT)) (log mu)))) EAccept)) (* 2/3 (* (exp (* -1/3 (+ (* 2 (log KbT)) (log mu)))) Ev))))
317.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)))))))))
309.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)))))
282.0ms
(* (cbrt (/ (sqrt (+ EAccept (- (+ Ev Vef) mu))) (sqrt KbT))) (sqrt (cbrt (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))

prune6.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

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

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
1025×*-un-lft-identity
521×times-frac
330×add-sqr-sqrt
240×distribute-lft-out distribute-lft-out--
239×add-cube-cbrt
229×distribute-rgt-neg-in
205×distribute-lft-neg-in
154×swap-sqr
116×associate-*r*
59×add-cbrt-cube associate-*l* add-exp-log
38×difference-of-squares
30×pow1
22×prod-exp cbrt-unprod
19×neg-mul-1
18×cbrt-undiv div-exp associate-/l*
11×frac-times associate-*l/
8×distribute-frac-neg
7×cbrt-div pow-plus associate-*r/ pow-prod-up
6×div-inv unswap-sqr
4×distribute-lft-neg-out pow-prod-down insert-posit16 add-log-exp
3×pow2 associate-/r* pow-sqr distribute-rgt-neg-out
2×pow3 *-commutative distribute-neg-frac associate-/l/
1×cbrt-prod neg-sub0 clear-num frac-2neg flip3-- pow1/3 div-sub sqr-neg rem-cbrt-cube flip--
Counts
4 → 523
Calls
4 calls:
Slowest
1.1s
(* (* (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
799.0ms
(cbrt (* (* (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))
704.0ms
(* (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
250.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series2.3s

Counts
4 → 12
Calls
4 calls:
Slowest
1.7s
(* (* (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
383.0ms
(* (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
165.0ms
(cbrt (* (* (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))
81.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify2.0m

Counts
709 → 535
Calls
709 calls:
Slowest
1.5s
(* (/ (- 1) (* (cbrt KbT) (cbrt KbT))) (/ (- 1) (* (cbrt KbT) (cbrt KbT))))
1.2s
(* (/ (- 1) (* (cbrt KbT) (cbrt KbT))) (/ (- 1) (* (cbrt KbT) (cbrt KbT))))
1.1s
(* (/ (- 1) (* (cbrt KbT) (cbrt KbT))) (/ (- 1) (* (cbrt KbT) (cbrt KbT))))
1.1s
(* (/ (- 1) (* (cbrt KbT) (cbrt KbT))) (/ (- 1) (* (cbrt KbT) (cbrt KbT))))
1.1s
(* (/ (- 1) (* (cbrt KbT) (cbrt KbT))) (/ (- 1) (* (cbrt KbT) (cbrt KbT))))

prune8.5s

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.1s

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×frac-times neg-mul-1 associate-*r* associate-*l* insert-posit16 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 → 219
Calls
4 calls:
Slowest
674.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
174.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
128.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
128.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

series276.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
100.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
63.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
58.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)
55.0ms
(/ (+ EAccept (- (+ Ev Vef) mu)) KbT)

simplify29.3s

Counts
272 → 231
Calls
272 calls:
Slowest
523.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)))))
466.0ms
(- (* EAccept EAccept) (* (- (+ Ev Vef) mu) (- (+ Ev Vef) mu)))
452.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
444.0ms
(+ (pow EAccept 3) (pow (- (+ Ev Vef) mu) 3))
438.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))))))

prune3.6s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes581.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.6s8000×body80valid