Details

Time bar (total: 3.9m)

sample87.0ms

Algorithm
intervals
Results
55.0ms256×body80valid

simplify223.0ms

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

prune31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
208×*-un-lft-identity
120×times-frac
100×add-sqr-sqrt
72×add-cube-cbrt
58×exp-prod
49×distribute-lft-neg-in distribute-rgt-neg-in
47×distribute-lft-out
42×distribute-lft-out--
21×associate-/l*
14×difference-of-squares
8×add-cbrt-cube add-exp-log
7×associate-/r* neg-mul-1 add-log-exp
4×pow1 insert-posit16
3×div-inv
2×neg-sub0 cbrt-undiv clear-num frac-2neg flip3-+ div-sub div-exp distribute-frac-neg associate-/r/ flip-+ distribute-neg-frac associate-/l/
1×exp-neg +-commutative sum-log flip3-- exp-diff flip-- rem-exp-log
Counts
4 → 208
Calls
4 calls:
Slowest
1.4s
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
358.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
341.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
115.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series500.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
199.0ms
(/ NdChar (+ (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)) 1))
107.0ms
(exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))
105.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
89.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify42.0s

Counts
236 → 220
Calls
236 calls:
Slowest
744.0ms
(sqrt (- (- Ec (+ (+ Vef mu) EDonor))))
477.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)))
469.0ms
(exp (/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT)))
462.0ms
(/ (* (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (cbrt (- (- Ec (+ (+ Vef mu) EDonor))))) (sqrt KbT))
450.0ms
(- (log (- (- Ec (+ (+ Vef mu) EDonor)))) (log KbT))

prune4.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0b
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
0.0b
(/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
321×*-un-lft-identity
171×times-frac
153×add-sqr-sqrt
105×add-cube-cbrt
84×distribute-lft-neg-in distribute-rgt-neg-in
72×distribute-lft-out distribute-lft-out--
57×associate-/l*
24×difference-of-squares
12×associate-/r* neg-mul-1 add-cbrt-cube add-exp-log
6×distribute-neg-frac associate-/l/
4×pow1 cbrt-undiv clear-num frac-2neg div-exp insert-posit16 div-inv add-log-exp
3×neg-sub0 flip3-- div-sub distribute-frac-neg flip--
2×associate-/r/
1×flip3-+ flip-+
Counts
4 → 306
Calls
4 calls:
Slowest
1.5s
(/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))
293.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
264.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
247.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

series477.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
197.0ms
(/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))
107.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
93.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
79.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify1.3m

Counts
423 → 318
Calls
423 calls:
Slowest
832.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) (sqrt KbT))
646.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (cbrt KbT))
600.0ms
(/ (sqrt (- Ec (+ (+ Vef mu) EDonor))) KbT)
464.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)
460.0ms
(/ (cbrt (- (- Ec (+ (+ Vef mu) EDonor)))) KbT)

prune9.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

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

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
129×*-un-lft-identity
57×add-sqr-sqrt
54×times-frac
39×add-cube-cbrt
32×distribute-lft-out
28×distribute-lft-neg-in distribute-rgt-neg-in
24×distribute-lft-out--
18×associate-/l*
11×pow1
8×flip3-+ add-cbrt-cube add-exp-log flip-+ add-log-exp difference-of-squares
6×swap-sqr
4×frac-times neg-mul-1 associate-*r* associate-*l* insert-posit16
3×associate-/r*
2×+-commutative sum-log associate-*l/ associate-*r/ distribute-neg-frac associate-/l/
1×pow2 neg-sub0 distribute-rgt-in cbrt-undiv clear-num frac-2neg distribute-lft-in pow-plus flip3-- div-sub div-exp pow-prod-down prod-exp distribute-frac-neg pow-sqr *-commutative pow-prod-up cbrt-unprod div-inv flip-- unswap-sqr
Counts
4 → 159
Calls
4 calls:
Slowest
1.2s
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
273.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)
172.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
151.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))

series465.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
169.0ms
(* (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
106.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
98.0ms
(+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))
92.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)

simplify37.6s

Counts
186 → 171
Calls
186 calls:
Slowest
828.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)))))
731.0ms
(/ (- (- Ec (+ (+ Vef mu) EDonor))) (cbrt KbT))
672.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))))))
596.0ms
(* (- (* 1 1) (* (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)) (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT)))) (+ 1 (exp (/ (+ EAccept (- (+ Ev Vef) mu)) KbT))))
466.0ms
(/ (sqrt (- (- Ec (+ (+ Vef mu) EDonor)))) (* (cbrt KbT) (cbrt KbT)))

prune4.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize123.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
0.3b
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
0.3b
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
0.3b
(* (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))) (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))

rewrite9.1s

Algorithm
rewrite-expression-head
Rules
117×cbrt-prod
81×add-sqr-sqrt
69×times-frac
57×*-un-lft-identity add-cube-cbrt
18×swap-sqr associate-*r* associate-*l*
14×associate-/r/
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div flip3-+ flip-+ 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 → 160
Calls
4 calls:
Slowest
6.6s
(* (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))) (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))
901.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
811.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
803.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
566.0ms
(* (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))) (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))
503.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
469.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))
464.0ms
(cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))

simplify30.0s

Counts
166 → 172
Calls
166 calls:
Slowest
420.0ms
(* (cbrt (/ NdChar (- (* (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))))) (* 1 1)))) (cbrt (/ NdChar (- (* (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))))) (* 1 1)))))
380.0ms
(cbrt (* (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))) (cbrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1)))))
380.0ms
(cbrt (/ (* (cbrt NdChar) (cbrt NdChar)) (sqrt (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))
365.0ms
(cbrt (/ (sqrt NdChar) (sqrt (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))
362.0ms
(cbrt (sqrt (/ NdChar (+ (* (* (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) (cbrt (exp (/ (- (- Ec (+ (+ Vef mu) EDonor))) KbT)))) 1))))

prune3.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes536.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.6s7998×body80valid
1.0ms1×body10240exit
1.0ms1×body1280valid
0.0ms1×body160valid