Details

Time bar (total: 4.4m)

sample537.0ms

Algorithm
intervals
Results
206.0ms62×body1280valid
173.0ms65×body640valid
66.0ms156×body80valid
51.0ms32×body320valid
10.0ms10×body160valid

simplify289.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
289.0ms
(/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)))

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 19.4b

localize74.0ms

Local error

Found 4 expressions with local error:

12.7b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
10.0b
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
0.9b
(/ t (* (/ l t) (/ l t)))
0.2b
(* (sin k) (tan k))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
233×add-cbrt-cube add-exp-log
102×cbrt-undiv div-exp
83×prod-exp cbrt-unprod
39×times-frac
26×add-sqr-sqrt
24×*-un-lft-identity add-cube-cbrt
18×associate-/l*
13×associate-*r* associate-/r/
11×pow1
9×associate-*r/
5×tan-quot div-inv
4×frac-times associate-*l* pow-prod-down associate-*l/ insert-posit16 add-log-exp
2×clear-num associate-/r* frac-2neg flip3-+ *-commutative flip-+
1×unswap-sqr associate-/l/
Counts
4 → 198
Calls
4 calls:
Slowest
100.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
62.0ms
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
12.0ms
(* (sin k) (tan k))
10.0ms
(/ t (* (/ l t) (/ l t)))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
881.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
248.0ms
(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
84.0ms
(* (sin k) (tan k))
62.0ms
(/ t (* (/ l t) (/ l t)))

simplify46.1s

Counts
181 → 210
Calls
181 calls:
Slowest
1.7s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k))) (/ (* (* t t) t) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t))))))
1.7s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (tan k)) (* (sin k) (tan k))) (* (sin k) (tan k))) (/ (* (* t t) t) (* (* (* (/ l t) (/ l t)) (* (/ l t) (/ l t))) (* (/ l t) (/ l t))))))
1.6s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (sin k)) (sin k)) (* (* (tan k) (tan k)) (tan k))) (/ (* (* t t) t) (* (* (* (/ l t) (/ l t)) (* (/ l t) (/ l t))) (* (/ l t) (/ l t))))))
1.6s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))))
1.4s
(/ (/ (* (* 2 2) 2) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2))) (* (* (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))))

prune3.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 11.0b

localize79.0ms

Local error

Found 4 expressions with local error:

12.7b
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)))
5.2b
(/ (sin k) (/ l t))
5.2b
(/ (sin k) (/ l t))
0.2b
(* (/ k t) (/ k t))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
415×times-frac
216×add-sqr-sqrt
206×add-cbrt-cube add-exp-log
204×*-un-lft-identity add-cube-cbrt
120×cbrt-undiv div-exp
46×prod-exp cbrt-unprod
39×div-inv
33×associate-/r*
21×associate-/l*
19×associate-/r/
13×swap-sqr associate-*r* associate-*l*
11×pow1
8×flip3-+ flip-+
4×insert-posit16 add-log-exp unswap-sqr
3×clear-num frac-2neg
1×pow2 frac-times pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up associate-/l/
Counts
4 → 406
Calls
4 calls:
Slowest
88.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)))
15.0ms
(* (/ k t) (/ k t))
10.0ms
(/ (sin k) (/ l t))
9.0ms
(/ (sin k) (/ l t))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
896.0ms
(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)))
95.0ms
(/ (sin k) (/ l t))
93.0ms
(/ (sin k) (/ l t))
38.0ms
(* (/ k t) (/ k t))

simplify1.6m

Counts
568 → 418
Calls
568 calls:
Slowest
1.8s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* (* t t) t) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (cos k) (cos k)) (cos k))))
1.6s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* (* t (/ (sin k) (/ l t))) (* t (/ (sin k) (/ l t)))) (* t (/ (sin k) (/ l t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (cos k) (cos k)) (cos k))))
1.5s
(/ (* (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (cos k) (cos k)) (cos k))))
915.0ms
(/ (/ (* (* 2 2) 2) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2))) (* (* (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k)) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k))) (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k))))
798.0ms
(/ (/ (cbrt 2) (+ (* (/ k t) (/ k t)) 2)) (cbrt (/ (* (* t (/ (sin k) (/ l t))) (/ (sin k) (/ l t))) (cos k))))

prune6.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 10.5b

localize85.0ms

Local error

Found 4 expressions with local error:

18.2b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
18.2b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
18.2b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
11.6b
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k)))))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
97×add-exp-log
63×add-cbrt-cube
46×cbrt-undiv div-exp
45×cbrt-prod
34×times-frac
29×prod-exp cbrt-unprod
27×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×cbrt-div associate-/r/
6×div-inv
5×associate-/r*
4×pow1 insert-posit16 add-log-exp
3×flip3-+ pow1/3 flip-+ associate-/l/
1×frac-times clear-num frac-2neg associate-*l/ associate-*r/ associate-/l*
Counts
4 → 137
Calls
4 calls:
Slowest
56.0ms
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k)))))
16.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
11.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
8.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
844.0ms
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k)))))
297.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
292.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
265.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))

simplify33.5s

Counts
116 → 149
Calls
116 calls:
Slowest
2.2s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (/ (* (* (* t (/ (sin k) (/ l t))) (* t (/ (sin k) (/ l t)))) (* t (/ (sin k) (/ l t)))) (* (* (* (cbrt (cos k)) (cbrt (cos k))) (* (cbrt (cos k)) (cbrt (cos k)))) (* (cbrt (cos k)) (cbrt (cos k))))))
1.6s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))))) (/ (* (* (* t t) t) (/ (* (* (sin k) (sin k)) (sin k)) (/ (* (* l l) l) (* (* t t) t)))) (* (cos k) (cos k))))
1.5s
(/ (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* t t) t) (/ (* (* (sin k) (sin k)) (sin k)) (/ (* (* l l) l) (* (* t t) t)))) (* (* (* (cbrt (cos k)) (cbrt (cos k))) (* (cbrt (cos k)) (cbrt (cos k)))) (* (cbrt (cos k)) (cbrt (cos k))))))
1.4s
(/ (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* t t) t) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (* (cbrt (cos k)) (cbrt (cos k))) (* (cbrt (cos k)) (cbrt (cos k)))) (* (cbrt (cos k)) (cbrt (cos k))))))
1.4s
(/ (* (/ 2 (+ (* (/ k t) (/ k t)) 2)) (/ 2 (+ (* (/ k t) (/ k t)) 2))) (/ (* (* (* t t) t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (cbrt (cos k)) (cbrt (cos k))) (* (cbrt (cos k)) (cbrt (cos k)))) (* (cbrt (cos k)) (cbrt (cos k))))))

prune3.0s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 10.5b

localize158.0ms

Local error

Found 4 expressions with local error:

18.2b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
18.2b
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
11.6b
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))))) (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k)))))
11.0b
(sqrt (+ (* (/ k t) (/ k t)) 2))

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
157×add-exp-log
97×add-cbrt-cube
69×cbrt-undiv div-exp
57×prod-exp cbrt-unprod
30×cbrt-prod
25×times-frac
22×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
14×cbrt-div
7×associate-/l/
5×frac-times pow1 associate-/r* associate-*r/ associate-/r/ div-inv
4×insert-posit16 add-log-exp
3×flip3-+ associate-*l/ sqrt-prod flip-+
2×pow1/3 sqrt-div
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 associate-/l*
Counts
4 → 150
Calls
4 calls:
Slowest
153.0ms
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))))) (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k)))))
13.0ms
(sqrt (+ (* (/ k t) (/ k t)) 2))
8.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
8.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
1.2s
(/ (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))))) (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k)))))
274.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
266.0ms
(cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2)))
52.0ms
(sqrt (+ (* (/ k t) (/ k t)) 2))

simplify50.5s

Counts
129 → 162
Calls
129 calls:
Slowest
3.4s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (* (* (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k)))) (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k))))) (/ (* t (/ (sin k) (/ l t))) (* (cbrt (cos k)) (cbrt (cos k))))))
3.1s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (/ (* (* (* t t) t) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (cos k) (cos k))))
2.9s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (/ (* (* (* t t) t) (/ (* (* (sin k) (sin k)) (sin k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (cos k) (cos k))))
2.8s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (/ (* (* (* t t) t) (/ (* (* (sin k) (sin k)) (sin k)) (/ (* (* l l) l) (* (* t t) t)))) (* (cos k) (cos k))))
2.7s
(/ (* (* (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (* (cbrt (/ 2 (+ (* (/ k t) (/ k t)) 2))) (* (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2)))) (cbrt (/ (sqrt 2) (sqrt (+ (* (/ k t) (/ k t)) 2))))))) (/ (* (* (* t (/ (sin k) (/ l t))) (* t (/ (sin k) (/ l t)))) (* t (/ (sin k) (/ l t)))) (* (cos k) (cos k))))

prune4.1s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.5b

regimes394.0ms

Accuracy

65% (0.6b remaining)

Error of 11.5b against oracle of 10.9b and baseline of 12.6b

bsearch601.0ms

end0.0ms

sample15.4s

Algorithm
intervals
Results
6.5s2147×body1280valid
3.5s1749×body640valid
3.4s5800×body80valid
1.2s856×body320valid
533.0ms430×body160valid