Details

Time bar (total: 9.2m)

sample364.0ms

Algorithm
intervals
Results
149.0ms77×body1280valid
94.0ms186×body80valid
70.0ms53×body640valid
26.0ms26×body320valid
6.0ms9×body160valid

simplify691.0ms

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

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.4b

localize46.0ms

Local error

Found 4 expressions with local error:

14.9b
(/ (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (fma (/ k t) (/ k t) 2))
3.8b
(/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))
2.8b
(/ (* t (tan k)) (* (/ l t) (/ l t)))
0.3b
(* (/ l t) (/ l t))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
293×times-frac
110×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
71×associate-/r/ div-inv
42×associate-/l*
34×add-cbrt-cube add-exp-log
24×associate-*r/
23×frac-times associate-*l/
16×cbrt-undiv div-exp
12×associate-/r*
9×pow1
4×expm1-log1p-u associate-*r* associate-*l* prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-/l/
1×pow2 pow-plus pow-prod-down tan-quot *-commutative pow-prod-up
Calls
4 calls:
Slowest
17.0ms
(/ (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (fma (/ k t) (/ k t) 2))
8.0ms
(/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))
7.0ms
(/ (* t (tan k)) (* (/ l t) (/ l t)))
6.0ms
(* (/ l t) (/ l t))

series1.2s

Calls
4 calls:
Slowest
727.0ms
(/ (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (fma (/ k t) (/ k t) 2))
268.0ms
(/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))
154.0ms
(/ (* t (tan k)) (* (/ l t) (/ l t)))
40.0ms
(* (/ l t) (/ l t))

simplify1.6m

Calls
385 calls:
Slowest
1.3s
(/ (/ (* (* (/ 2 (sin k)) (/ 2 (sin k))) (/ 2 (sin k))) (/ (* (* (* t (tan k)) (* t (tan k))) (* t (tan k))) (* (* (* (/ l t) (/ l t)) (* (/ l t) (/ l t))) (* (/ l t) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
1.3s
(/ (/ (* (* (/ 2 (sin k)) (/ 2 (sin k))) (/ 2 (sin k))) (/ (* (* (* t (tan k)) (* t (tan k))) (* t (tan k))) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
1.1s
(/ (/ (* (* (/ 2 (sin k)) (/ 2 (sin k))) (/ 2 (sin k))) (* (* (/ (* t (tan k)) (* (/ l t) (/ l t))) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (/ (* t (tan k)) (* (/ l t) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
1.1s
(/ (* (* (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))) (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
940.0ms
(/ (* (* (/ 2 (sin k)) (/ 2 (sin k))) (/ 2 (sin k))) (/ (* (* (* t (tan k)) (* t (tan k))) (* t (tan k))) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))))

prune4.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 12.7b

localize21.0ms

Local error

Found 4 expressions with local error:

12.2b
(* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2)))
6.3b
(/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))
3.8b
(/ (tan k) (/ l t))
0.6b
(/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
2392×times-frac
1000×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
548×cbrt-prod
380×div-inv
376×associate-*r*
134×associate-/l*
66×associate-/r/
52×add-exp-log
44×add-cbrt-cube
24×associate-/r*
22×cbrt-undiv div-exp
12×prod-exp cbrt-unprod
9×pow1 associate-*l/
5×frac-times
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg pow-prod-down associate-*r/ associate-/l/
1×cbrt-div associate-*l* tan-quot *-commutative
Calls
4 calls:
Slowest
42.0ms
(* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2)))
11.0ms
(/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))
6.0ms
(/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))
4.0ms
(/ (tan k) (/ l t))

series2.2s

Calls
4 calls:
Slowest
1.0s
(* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2)))
630.0ms
(/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))
410.0ms
(/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))
168.0ms
(/ (tan k) (/ l t))

simplify3.8m

Calls
1593 calls:
Slowest
1.9s
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (/ (cbrt (/ 2 (sin k))) t)) (/ (cbrt (/ 2 (sin k))) t)) (* (* (* (/ (cbrt (/ 2 (sin k))) t) l) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (* (* (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
1.5s
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l))) (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (* (* (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
1.4s
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (/ (cbrt (/ 2 (sin k))) t)) (/ (cbrt (/ 2 (sin k))) t)) (* (* (* (/ (cbrt (/ 2 (sin k))) t) l) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (/ (/ 2 (sin k)) (/ (* (* (tan k) (tan k)) (tan k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
1.2s
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l))) (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (/ (/ 2 (sin k)) (/ (* (* (tan k) (tan k)) (tan k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
1.1s
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (/ (cbrt (/ 2 (sin k))) t)) (/ (cbrt (/ 2 (sin k))) t)) (* (* (* (/ (cbrt (/ 2 (sin k))) t) l) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (/ (/ 2 (sin k)) (* (* (/ (tan k) (/ l t)) (/ (tan k) (/ l t))) (/ (tan k) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))

prune12.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 12.7b

localize14.0ms

Local error

Found 4 expressions with local error:

12.2b
(* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2)))
6.3b
(/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2))
3.8b
(/ (tan k) (/ l t))
0.5b
(cbrt (/ 2 (sin k)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
29×add-cbrt-cube
24×prod-exp
18×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
16×div-exp
12×cbrt-unprod
10×associate-*l/
9×pow1
8×div-inv
7×cbrt-undiv associate-/r* associate-*r*
6×frac-times rec-exp
5×associate-/l/
4×cbrt-prod expm1-log1p-u associate-*r/ insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×cbrt-div pow-prod-down
2×clear-num frac-2neg
1×pow1/3 associate-*l* tan-quot associate-/r/ un-div-inv *-commutative
Calls
4 calls:
Slowest
33.0ms
(* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2)))
9.0ms
(/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2))
4.0ms
(/ (tan k) (/ l t))
1.0ms
(cbrt (/ 2 (sin k)))

series1.3s

Calls
4 calls:
Slowest
643.0ms
(* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2)))
423.0ms
(/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2))
130.0ms
(cbrt (/ 2 (sin k)))
111.0ms
(/ (tan k) (/ l t))

simplify12.6s

Calls
106 calls:
Slowest
1.0s
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l))) (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (* (* (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t))))) (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
985.0ms
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (/ (cbrt (/ 2 (sin k))) t)) (/ (cbrt (/ 2 (sin k))) t)) (* (* (* (/ (cbrt (/ 2 (sin k))) t) l) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (* (* (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t))))) (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
949.0ms
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l))) (* (/ (cbrt (/ 2 (sin k))) t) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (* (/ 2 (sin k)) (* (* (/ 1 (/ (tan k) (/ l t))) (/ 1 (/ (tan k) (/ l t)))) (/ 1 (/ (tan k) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
947.0ms
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (/ (cbrt (/ 2 (sin k))) t)) (/ (cbrt (/ 2 (sin k))) t)) (* (* (* (/ (cbrt (/ 2 (sin k))) t) l) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) l))) (/ (* (/ 2 (sin k)) (* (* (/ 1 (/ (tan k) (/ l t))) (/ 1 (/ (tan k) (/ l t)))) (/ 1 (/ (tan k) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
730.0ms
(* (* (* (* (/ (cbrt (/ 2 (sin k))) t) (/ (cbrt (/ 2 (sin k))) t)) (/ (cbrt (/ 2 (sin k))) t)) (* (* (* (/ (cbrt (/ 2 (sin k))) t) l) (* (/ (cbrt (/ 2 (sin k))) t) l)) (* (/ (cbrt (/ 2 (sin k))) t) l))) (* (* (/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2)) (/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2))) (/ (* (cbrt (/ 2 (sin k))) (/ 1 (/ (tan k) (/ l t)))) (fma (/ k t) (/ k t) 2))))

prune1.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 12.7b

localize13.0ms

Local error

Found 4 expressions with local error:

6.9b
(* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2)))
6.3b
(/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))
4.2b
(/ (* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))) t)
3.8b
(/ (tan k) (/ l t))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
2604×times-frac
1079×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
720×cbrt-prod
448×div-inv
376×associate-*r*
236×associate-*l*
128×associate-/l*
69×add-exp-log
65×associate-/r/
49×add-cbrt-cube
37×cbrt-undiv div-exp
12×prod-exp cbrt-unprod
7×cbrt-div associate-/r*
6×pow1
5×associate-/l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×frac-times associate-*l/ associate-*r/
1×pow-prod-down tan-quot *-commutative
Calls
4 calls:
Slowest
22.0ms
(* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2)))
18.0ms
(/ (* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))) t)
10.0ms
(/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))
4.0ms
(/ (tan k) (/ l t))

series1.7s

Calls
4 calls:
Slowest
616.0ms
(/ (* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))) t)
566.0ms
(* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2)))
404.0ms
(/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2))
108.0ms
(/ (tan k) (/ l t))

simplify2.9m

Calls
1566 calls:
Slowest
750.0ms
(* (* (* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k)))))) (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k)))))) (/ (* (* (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
711.0ms
(* (/ (/ 2 (sin k)) (/ (* (* (/ t l) (/ t l)) (/ t l)) (/ 2 (sin k)))) (/ (* (* (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
706.0ms
(* (/ (/ 2 (sin k)) (* (* (/ (/ t l) (cbrt (/ 2 (sin k)))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (/ t l) (cbrt (/ 2 (sin k)))))) (/ (* (* (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))
616.0ms
(* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (/ (cbrt (/ 2 (sin k))) (/ (tan k) (/ l t))) (fma (/ k t) (/ k t) 2)))
602.0ms
(* (* (* (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k))))) (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k)))))) (/ (cbrt (/ 2 (sin k))) (/ (/ t l) (cbrt (/ 2 (sin k)))))) (/ (/ (/ 2 (sin k)) (/ (* (* (tan k) (tan k)) (tan k)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))))

prune13.4s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 12.7b

regimes275.0ms

Accuracy

27.4% (2.2b remaining)

Error of 12.9b against oracle of 10.7b and baseline of 13.7b

bsearch567.0ms

end0.0ms

sample9.4s

Algorithm
intervals
Results
3.6s2047×body1280valid
2.4s1757×body640valid
1.8s5852×body80valid
1.1s893×body320valid
284.0ms464×body160valid