Details

Time bar (total: 1.5m)

sample126.0ms

Algorithm
intervals
Results
85.0ms256×body80valid

simplify1.2s

Counts
1 → 1

prune49.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.7b

localize179.0ms

Local error

Found 4 expressions with local error:

26.6b
(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
11.1b
(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
0.5b
(* 0.0424060604 (* (* x x) (* x x)))
0.4b
(* 0.1049934947 (* x x))

rewrite25.0s

Algorithm
rewrite-expression-head
Rules
34×add-cbrt-cube add-exp-log
29×add-sqr-sqrt pow1
22×*-un-lft-identity add-cube-cbrt
21×associate-*l*
19×times-frac
18×prod-exp cbrt-unprod
17×pow-prod-down
5×associate-*r*
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 124
Calls
4 calls:
Slowest
16.1s
(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
8.7s
(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
89.0ms
(* 0.0424060604 (* (* x x) (* x x)))
19.0ms
(* 0.1049934947 (* x x))

series798.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
381.0ms
(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
310.0ms
(/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
57.0ms
(* 0.1049934947 (* x x))
50.0ms
(* 0.0424060604 (* (* x x) (* x x)))

simplify2.6s

Counts
136 → 136

prune3.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize151.0ms

Local error

Found 4 expressions with local error:

26.6b
(/ (+ (+ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
11.1b
(* (/ (+ (+ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
0.5b
(* 0.0424060604 (* (* x x) (* x x)))
0.4b
(* (* x x) 0.1049934947)

rewrite24.9s

Algorithm
rewrite-expression-head
Rules
34×add-cbrt-cube add-exp-log
29×add-sqr-sqrt pow1
22×*-un-lft-identity add-cube-cbrt
19×times-frac associate-*l*
18×prod-exp cbrt-unprod
17×pow-prod-down
7×associate-*r*
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 124
Calls
4 calls:
Slowest
16.0s
(* (/ (+ (+ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
8.8s
(/ (+ (+ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
58.0ms
(* 0.0424060604 (* (* x x) (* x x)))
29.0ms
(* (* x x) 0.1049934947)

series852.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
451.0ms
(* (/ (+ (+ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
302.0ms
(/ (+ (+ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
56.0ms
(* 0.0424060604 (* (* x x) (* x x)))
43.0ms
(* (* x x) 0.1049934947)

simplify3.7s

Counts
136 → 136

prune4.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize177.0ms

Local error

Found 4 expressions with local error:

26.6b
(* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (/ 1 (fma 2 (* 0.0001789971 (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x)))) (fma (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* x x)) 0.0008327945 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) 0.0140005442 (fma (* 0.0694555761 (* (* x x) (* x x))) (* x x) (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1))))))))
11.1b
(* (* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (/ 1 (fma 2 (* 0.0001789971 (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x)))) (fma (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* x x)) 0.0008327945 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) 0.0140005442 (fma (* 0.0694555761 (* (* x x) (* x x))) (* x x) (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)))))))) x)
0.5b
(* 0.0694555761 (* (* x x) (* x x)))
0.5b
(* 0.0424060604 (* (* x x) (* x x)))

rewrite9.9s

Algorithm
rewrite-expression-head
Rules
64×add-exp-log
54×add-cbrt-cube
47×pow1
39×prod-exp
33×cbrt-unprod
30×pow-prod-down
24×add-sqr-sqrt
18×associate-*r*
16×*-un-lft-identity
15×add-cube-cbrt
11×times-frac
10×associate-*l* associate-*l/
5×unswap-sqr
4×expm1-log1p-u frac-times flip3-+ div-exp *-commutative flip-+ insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-undiv rec-exp 1-exp associate-*r/ un-div-inv
1×div-inv
Counts
4 → 136
Calls
4 calls:
Slowest
5.4s
(* (* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (/ 1 (fma 2 (* 0.0001789971 (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x)))) (fma (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* x x)) 0.0008327945 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) 0.0140005442 (fma (* 0.0694555761 (* (* x x) (* x x))) (* x x) (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)))))))) x)
4.4s
(* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (/ 1 (fma 2 (* 0.0001789971 (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x)))) (fma (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* x x)) 0.0008327945 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) 0.0140005442 (fma (* 0.0694555761 (* (* x x) (* x x))) (* x x) (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1))))))))
94.0ms
(* 0.0694555761 (* (* x x) (* x x)))
58.0ms
(* 0.0424060604 (* (* x x) (* x x)))

series780.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
404.0ms
(* (* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (/ 1 (fma 2 (* 0.0001789971 (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x)))) (fma (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* x x)) 0.0008327945 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) 0.0140005442 (fma (* 0.0694555761 (* (* x x) (* x x))) (* x x) (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)))))))) x)
285.0ms
(* (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (/ 1 (fma 2 (* 0.0001789971 (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x)))) (fma (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* x x)) 0.0008327945 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) 0.0140005442 (fma (* 0.0694555761 (* (* x x) (* x x))) (* x x) (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1))))))))
49.0ms
(* 0.0694555761 (* (* x x) (* x x)))
41.0ms
(* 0.0424060604 (* (* x x) (* x x)))

simplify3.2s

Counts
148 → 148

prune4.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

14.4b
(- (fma 0.265709700396151 (* (* x x) (* (* x x) x)) x) (* 0.6665536072 (* (* x x) x)))
0.1b
(* (* x x) x)
0.1b
(* (* x x) x)
0.1b
(* 0.6665536072 (* (* x x) x))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
51×pow1
23×add-cbrt-cube add-exp-log
12×pow-plus pow-prod-down prod-exp pow-prod-up cbrt-unprod
11×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
7×associate-*r*
6×add-log-exp
5×associate-*l*
4×pow2 expm1-log1p-u pow-sqr insert-posit16 log1p-expm1-u
3×fma-neg prod-diff *-commutative
2×pow3 unswap-sqr
1×sub-neg flip3-- diff-log associate--l+ fma-udef flip--
Counts
4 → 108
Calls
4 calls:
Slowest
42.0ms
(* 0.6665536072 (* (* x x) x))
24.0ms
(* (* x x) x)
18.0ms
(* (* x x) x)
6.0ms
(- (fma 0.265709700396151 (* (* x x) (* (* x x) x)) x) (* 0.6665536072 (* (* x x) x)))

series272.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
105.0ms
(- (fma 0.265709700396151 (* (* x x) (* (* x x) x)) x) (* 0.6665536072 (* (* x x) x)))
63.0ms
(* (* x x) x)
52.0ms
(* (* x x) x)
52.0ms
(* 0.6665536072 (* (* x x) x))

simplify999.0ms

Counts
120 → 120

prune941.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes49.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 29.2b

bsearch696.0ms

end0.0ms

sample3.8s

Algorithm
intervals
Results
3.7s8000×body80valid