Average Error: 29.0 → 19.0
Time: 43.9s
Precision: 64
Internal Precision: 128
\[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
↓
\[\begin{array}{l} \mathbf{if}\;n \le -964894.1011799229:\\ \;\;\;\;\left(\frac{1}{x \cdot n} - \frac{\frac{\frac{1}{2}}{x}}{x \cdot n}\right) + \frac{\frac{\log x}{n \cdot n}}{x}\\ \mathbf{elif}\;n \le -1.85624215534225 \cdot 10^{-310}:\\ \;\;\;\;\log \left(e^{\sqrt[3]{{\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \sqrt[3]{\log \left(\sqrt{e^{{\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right) + \log \left(\sqrt{e^{{\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)}\\ \mathbf{elif}\;n \le 7.586550074092197:\\ \;\;\;\;e^{\frac{\log_* (1 + x)}{n}} - {x}^{\left(\frac{1}{n}\right)}\\ \mathbf{else}:\\ \;\;\;\;\left(\frac{\frac{1}{x}}{n} + \frac{\log x}{n \cdot \left(x \cdot n\right)}\right) + \frac{\frac{\frac{-1}{2}}{x}}{x \cdot n}\\ \end{array}\]

Error

Bits error versus x

Bits error versus n

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Split input into 4 regimes

  2. if n < -964894.1011799229

    1. Initial program 44.8

      \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]

    2. Taylor expanded around inf 32.8

      \[\leadsto \color{blue}{\frac{1}{x \cdot n} - \left(\frac{\log \left(\frac{1}{x}\right)}{x \cdot {n}^{2}} + \frac{1}{2} \cdot \frac{1}{{x}^{2} \cdot n}\right)}\]

    3. Simplified32.8

      \[\leadsto \color{blue}{\left(\frac{1}{n \cdot x} - \frac{\frac{\frac{1}{2}}{x}}{n \cdot x}\right) + \frac{\frac{\log x}{n \cdot n}}{x}}\]

    if -964894.1011799229 < n < -1.85624215534225e-310

    1. Initial program 0.7

      \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
    2. Using strategy rm

    3. Applied add-log-exp0.8

      \[\leadsto \color{blue}{\log \left(e^{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right)}\]
    4. Using strategy rm

    5. Applied add-cube-cbrt0.8

      \[\leadsto \log \left(e^{\color{blue}{\left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right) \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}}\right)\]

    6. Applied exp-prod0.8

      \[\leadsto \log \color{blue}{\left({\left(e^{\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)}^{\left(\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right)}\right)}\]

    7. Applied log-pow0.8

      \[\leadsto \color{blue}{\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \log \left(e^{\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)}\]
    8. Using strategy rm

    9. Applied add-log-exp0.8

      \[\leadsto \sqrt[3]{\color{blue}{\log \left(e^{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right)}} \cdot \log \left(e^{\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)\]
    10. Using strategy rm

    11. Applied add-sqr-sqrt0.8

      \[\leadsto \sqrt[3]{\log \color{blue}{\left(\sqrt{e^{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}} \cdot \sqrt{e^{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)}} \cdot \log \left(e^{\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)\]

    12. Applied log-prod0.8

      \[\leadsto \sqrt[3]{\color{blue}{\log \left(\sqrt{e^{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right) + \log \left(\sqrt{e^{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)}} \cdot \log \left(e^{\sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)\]

    if -1.85624215534225e-310 < n < 7.586550074092197

    1. Initial program 23.5

      \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
    2. Using strategy rm

    3. Applied add-exp-log23.5

      \[\leadsto {\color{blue}{\left(e^{\log \left(x + 1\right)}\right)}}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]

    4. Applied pow-exp23.5

      \[\leadsto \color{blue}{e^{\log \left(x + 1\right) \cdot \frac{1}{n}}} - {x}^{\left(\frac{1}{n}\right)}\]

    5. Simplified0.4

      \[\leadsto e^{\color{blue}{\frac{\log_* (1 + x)}{n}}} - {x}^{\left(\frac{1}{n}\right)}\]

    if 7.586550074092197 < n

    1. Initial program 44.2

      \[{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}\]
    2. Using strategy rm

    3. Applied add-log-exp44.2

      \[\leadsto \color{blue}{\log \left(e^{{\left(x + 1\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}\right)}\]

    4. Taylor expanded around -inf 62.7

      \[\leadsto \color{blue}{\left(\frac{\log -1}{x \cdot {n}^{2}} + \frac{1}{x \cdot n}\right) - \left(\frac{1}{2} \cdot \frac{1}{{x}^{2} \cdot n} + \frac{\log \left(\frac{-1}{x}\right)}{x \cdot {n}^{2}}\right)}\]

    5. Simplified32.1

      \[\leadsto \color{blue}{\frac{\frac{\frac{-1}{2}}{x}}{x \cdot n} + \left(\left(\frac{\frac{1}{x}}{n} + 0\right) + \frac{\log x}{n \cdot \left(x \cdot n\right)}\right)}\]
  3. Recombined 4 regimes into one program.

  4. Final simplification19.0

    \[\leadsto \begin{array}{l} \mathbf{if}\;n \le -964894.1011799229:\\ \;\;\;\;\left(\frac{1}{x \cdot n} - \frac{\frac{\frac{1}{2}}{x}}{x \cdot n}\right) + \frac{\frac{\log x}{n \cdot n}}{x}\\ \mathbf{elif}\;n \le -1.85624215534225 \cdot 10^{-310}:\\ \;\;\;\;\log \left(e^{\sqrt[3]{{\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}} \cdot \sqrt[3]{{\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right) \cdot \sqrt[3]{\log \left(\sqrt{e^{{\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right) + \log \left(\sqrt{e^{{\left(1 + x\right)}^{\left(\frac{1}{n}\right)} - {x}^{\left(\frac{1}{n}\right)}}}\right)}\\ \mathbf{elif}\;n \le 7.586550074092197:\\ \;\;\;\;e^{\frac{\log_* (1 + x)}{n}} - {x}^{\left(\frac{1}{n}\right)}\\ \mathbf{else}:\\ \;\;\;\;\left(\frac{\frac{1}{x}}{n} + \frac{\log x}{n \cdot \left(x \cdot n\right)}\right) + \frac{\frac{\frac{-1}{2}}{x}}{x \cdot n}\\ \end{array}\]

Reproduce

herbie shell --seed 2019022 +o rules:numerics
(FPCore (x n)
  :name "2nthrt (problem 3.4.6)"
  (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))))

Details

Time bar (total: 42.8s)Debug log

sample309.0ms

Algorithm
intervals
Results
90.0ms93×body1280valid
47.0ms146×body80valid
42.0ms54×body640valid
32.0ms41×body10240exit
21.0ms28×body640nan
16.0ms14×body1280nan
14.0ms134×body80nan
14.0ms26×body320valid
7.0ms13×body320nan
6.0ms14×body160valid
1.0ms5×body160nan

simplify12.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
12.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.4b

localize25.0ms

Local error

Found 3 expressions with local error:

2.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.0b
(pow x (/ 1 n))
0.8b
(pow (+ x 1) (/ 1 n))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×*-un-lft-identity
20×add-cube-cbrt
18×prod-diff
16×unpow-prod-down
8×pow-unpow
6×fma-neg
5×add-log-exp
4×add-exp-log
4×pow1
3×log1p-expm1-u
3×add-cbrt-cube
3×expm1-log1p-u
2×difference-of-squares
2×div-inv
2×pow-to-exp
1×distribute-lft-out--
1×flip--
1×pow-exp
1×diff-log
1×flip3--
1×pow-pow
1×sub-neg
Counts
3 → 74
Calls
3 calls:
Slowest
15.0ms
(pow x (/ 1 n))
9.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.0ms
(pow (+ x 1) (/ 1 n))

series353.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
206.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
95.0ms
(pow (+ x 1) (/ 1 n))
53.0ms
(pow x (/ 1 n))

simplify2.6s

Counts
69 → 83
Calls
69 calls:
Slowest
586.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
386.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
360.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
230.0ms
(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
65.0ms
(- (+ (/ (log -1) n) (+ (* 1/2 (/ (pow (log -1) 2) (pow n 2))) (+ (* 1/2 (/ (pow (log (/ -1 x)) 2) (pow n 2))) 1))) (+ (/ (log (/ -1 x)) n) (/ (* (log (/ -1 x)) (log -1)) (pow n 2))))

prune792.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 17.3b

localize5.0ms

Local error

Found 4 expressions with local error:

2.4b
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
2.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.0b
(pow x (/ 1 n))
0.8b
(pow (+ x 1) (/ 1 n))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
39×*-un-lft-identity
36×prod-diff
35×add-cube-cbrt
26×unpow-prod-down
23×log-prod
20×exp-sum
8×pow-unpow
7×log-pow
6×add-log-exp
6×fma-neg
6×exp-prod
6×pow1
5×add-exp-log
4×difference-of-squares
4×log1p-expm1-u
4×add-cbrt-cube
4×expm1-log1p-u
2×distribute-lft-out--
2×div-inv
2×sub-neg
2×pow-to-exp
1×flip--
1×pow-exp
1×rem-log-exp
1×diff-log
1×exp-diff
1×flip3--
1×pow-pow
1×log-div
Counts
4 → 115
Calls
4 calls:
Slowest
20.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
16.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(pow (+ x 1) (/ 1 n))
1.0ms
(pow x (/ 1 n))

series504.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
196.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
177.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
70.0ms
(pow (+ x 1) (/ 1 n))
61.0ms
(pow x (/ 1 n))

simplify4.6s

Counts
103 → 127
Calls
103 calls:
Slowest
526.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))
381.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
366.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
360.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
335.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 17.3b

localize29.0ms

Local error

Found 4 expressions with local error:

2.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
1.9b
(log (exp (* (cbrt (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))) (cbrt (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
54×prod-diff
53×*-un-lft-identity
47×add-cube-cbrt
39×unpow-prod-down
18×fma-neg
11×add-log-exp
6×difference-of-squares
5×pow1
4×log1p-expm1-u
4×add-exp-log
4×add-cbrt-cube
4×expm1-log1p-u
3×distribute-lft-out--
3×flip--
3×log-pow
3×diff-log
3×flip3--
3×sub-neg
3×log-prod
1×rem-log-exp
1×exp-to-pow
1×exp-prod
Counts
4 → 139
Calls
4 calls:
Slowest
10.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
10.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
10.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.0ms
(log (exp (* (cbrt (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))) (cbrt (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
528.0ms
(log (exp (* (cbrt (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))) (cbrt (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))))
219.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
184.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
172.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

simplify5.7s

Counts
159 → 151
Calls
159 calls:
Slowest
659.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
442.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
327.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
294.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
282.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))

prune2.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 17.3b

localize14.0ms

Local error

Found 4 expressions with local error:

2.4b
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
2.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
2.4b
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
72×prod-diff
68×*-un-lft-identity
60×add-cube-cbrt
49×unpow-prod-down
23×log-prod
20×exp-sum
18×fma-neg
10×add-log-exp
8×difference-of-squares
7×log-pow
6×exp-prod
5×pow1
4×distribute-lft-out--
4×log1p-expm1-u
4×add-exp-log
4×add-cbrt-cube
4×sub-neg
4×expm1-log1p-u
3×flip--
3×diff-log
3×flip3--
1×rem-log-exp
1×exp-diff
1×log-div
Counts
4 → 164
Calls
4 calls:
Slowest
37.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
14.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
10.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
9.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

series755.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
196.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
192.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
187.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
180.0ms
(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

simplify7.3s

Counts
184 → 176
Calls
184 calls:
Slowest
487.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
430.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))
404.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
395.0ms
(- (+ (/ (log -1) (* x (pow n 2))) (/ 1 (* x n))) (+ (* 1/2 (/ 1 (* (pow x 2) n))) (/ (log (/ -1 x)) (* x (pow n 2)))))
388.0ms
(- (/ 1 (* x n)) (+ (/ (log (/ 1 x)) (* x (pow n 2))) (* 1/2 (/ 1 (* (pow x 2) n)))))

prune3.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 17.3b

regimes293.0ms

Accuracy

86.2% (1.6b remaining)

Error of 19.0b against oracle of 17.4b and baseline of 29.0b

bsearch1.0s

end0.0ms

sample10.1s

Algorithm
intervals
Results
3.5s3133×body1280valid
1.3s1543×body640valid
1.0s1134×body10240exit
865.0ms4787×body80valid
665.0ms640×body1280nan
600.0ms5030×body80nan
509.0ms661×body640nan
456.0ms831×body320valid
412.0ms166×body160nan
187.0ms377×body320nan
170.0ms473×body160valid