Details

Time bar (total: 8.8m)

sample535.0ms

Algorithm
intervals
Results
310.0ms447×body80valid
22.0ms13×body640valid
22.0ms9×body1280valid
8.0ms7×body320valid
2.0ms3×body160valid

simplify434.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
433.0ms
(+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))))

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize112.0ms

Local error

Found 4 expressions with local error:

6.2b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
2.2b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
0.2b
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
0.2b
(* (* 3 x1) x1)

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
89×*-un-lft-identity
62×times-frac
61×add-cube-cbrt
57×prod-diff
27×add-cbrt-cube add-exp-log
19×fma-neg
18×pow1
16×difference-of-squares
14×prod-exp cbrt-unprod distribute-lft-out--
9×pow-prod-down
7×associate-*l*
6×add-log-exp
4×expm1-log1p-u associate-*r* associate-*r/ insert-posit16 log1p-expm1-u div-inv
3×flip3-- flip--
2×frac-times cbrt-undiv div-exp associate-*l/ *-commutative
1×associate--l- sub-neg diff-log div-sub fma-udef
Counts
4 → 163
Calls
4 calls:
Slowest
137.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
37.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
15.0ms
(* (* 3 x1) x1)
4.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
985.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
308.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
109.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
50.0ms
(* (* 3 x1) x1)

simplify32.7s

Counts
184 → 175
Calls
184 calls:
Slowest
1.1s
(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 2) (* x1 2)) (* x1 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
1.0s
(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 x1) x1) (* (* 2 2) 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
813.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
800.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
763.0ms
(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (cbrt 3) (* (cbrt 3) (cbrt 3)))))

prune4.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize157.0ms

Local error

Found 4 expressions with local error:

6.2b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
2.2b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
0.2b
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
0.2b
(* (* 3 x1) x1)

rewrite268.0ms

Algorithm
rewrite-expression-head
Rules
119×add-sqr-sqrt
113×*-un-lft-identity
93×prod-diff
85×add-cube-cbrt
62×times-frac
48×distribute-rgt-in distribute-lft-in
19×fma-neg
18×pow1 add-cbrt-cube add-exp-log
16×difference-of-squares
14×distribute-lft-out--
9×pow-prod-down prod-exp cbrt-unprod
8×associate-*r/
7×flip3-- associate-*l* flip--
6×add-log-exp
5×sub-neg fma-udef
4×expm1-log1p-u frac-times associate-*r* associate--l+ insert-posit16 log1p-expm1-u div-inv
2×associate-*l/ *-commutative
1×associate--l- diff-log div-sub
Counts
4 → 210
Calls
4 calls:
Slowest
168.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
64.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
27.0ms
(* (* 3 x1) x1)
0.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
487.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
311.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
173.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
47.0ms
(* (* 3 x1) x1)

simplify50.6s

Counts
233 → 222
Calls
233 calls:
Slowest
880.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (fma (- x1) 1 (* x1 1))))
766.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* 3 1)))
731.0ms
(fma (/ (* (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1))) (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (cbrt (- (fma x2 2 (* (* 3 x1) x1)) x1)) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
692.0ms
(* (* (* x1 2) (- (* (* 3 x1) x1) x1)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3))
686.0ms
(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))

prune6.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize214.0ms

Local error

Found 4 expressions with local error:

58.7b
(fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1))))
6.9b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (+ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1))))) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1)))) (* x1 2)))) (fma x1 x1 1)))
2.2b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
2.2b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
172×add-sqr-sqrt
166×*-un-lft-identity
122×times-frac
114×prod-diff add-cube-cbrt
38×fma-neg
28×difference-of-squares
26×distribute-lft-out--
8×div-inv add-log-exp
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×associate--l- sub-neg flip3-- diff-log div-sub fma-udef flip--
Counts
4 → 212
Calls
4 calls:
Slowest
72.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
57.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
1.0ms
(fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1))))
0.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (+ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1))))) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1)))) (* x1 2)))) (fma x1 x1 1)))

series3.5m

Counts
4 → 12
Calls
4 calls:
Slowest
3.4m
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (+ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1))))) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1)))) (* x1 2)))) (fma x1 x1 1)))
777.0ms
(fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1))))
148.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
139.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

simplify40.3s

Counts
290 → 224
Calls
290 calls:
Slowest
714.0ms
(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* 3 1)))
705.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
701.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* 3 1)))
698.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
686.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))

prune8.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize259.0ms

Local error

Found 4 expressions with local error:

58.7b
(fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1))))
7.2b
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- 3))
6.9b
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (+ (* (fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- 3)) (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1))))) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1)))) (* x1 2)))) (fma x1 x1 1)))
2.2b
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
88×add-sqr-sqrt
85×*-un-lft-identity
61×times-frac
59×add-cube-cbrt
57×prod-diff
19×fma-neg
14×difference-of-squares
13×distribute-lft-out--
6×add-log-exp
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u div-inv
3×fma-udef
1×associate--l- sub-neg flip3-- diff-log div-sub flip--
Counts
4 → 128
Calls
4 calls:
Slowest
44.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
0.0ms
(fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1))))
0.0ms
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (+ (* (fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- 3)) (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1))))) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1)))) (* x1 2)))) (fma x1 x1 1)))
0.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- 3))

series2.6m

Counts
4 → 12
Calls
4 calls:
Slowest
2.5m
(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (+ (* (fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- 3)) (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1))))) (* x1 2))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1)))) (* x1 2)))) (fma x1 x1 1)))
880.0ms
(fma (- (cbrt x1)) (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (* (cbrt x1) (cbrt x1))))
178.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- 3))
99.0ms
(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)

simplify13.2s

Counts
151 → 140
Calls
151 calls:
Slowest
397.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* 3 1)))
395.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
393.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* 3 1)))
392.0ms
(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
265.0ms
(fma (/ (+ (sqrt (fma x2 2 (* (* 3 x1) x1))) (sqrt x1)) (sqrt (fma x1 x1 1))) (/ (- (sqrt (fma x2 2 (* (* 3 x1) x1))) (sqrt x1)) (sqrt (fma x1 x1 1))) (- (* (cbrt 3) (* (cbrt 3) (cbrt 3)))))

prune3.7s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

regimes400.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch19.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
4.3s14058×body80valid
470.0ms434×body640valid
246.0ms166×body1280valid
233.0ms292×body320valid
136.0ms153×body160valid