Details

Time bar (total: 1.1m)

sample344.0ms

Algorithm
intervals
Results
134.0ms76×body10240exit
77.0ms42×body1280valid
64.0ms341×body80valid
26.0ms34×body640valid
14.0ms24×body320valid
6.0ms16×body160valid

simplify226.0ms

Calls
1 calls:
Slowest
226.0ms
(/ (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) 2)

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.6b

localize67.0ms

Local error

Found 4 expressions with local error:

3.7b
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
0.0b
(exp (* x (+ eps -1)))
0.0b
(exp (* x (+ eps -1)))
0.0b
(exp (* x (- -1 eps)))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
16×*-un-lft-identity
8×exp-sum
6×add-sqr-sqrt diff-log distribute-lft-out--
4×distribute-rgt-in pow1 sub-neg distribute-lft-in add-cbrt-cube add-exp-log frac-sub add-cube-cbrt insert-posit16
3×exp-prod flip3-- flip-- rem-exp-log
2×sum-log flip3-+ flip-+ distribute-lft-out associate--r+
1×associate--l+ associate--r- difference-of-squares
Calls
4 calls:
Slowest
114.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
2.0ms
(exp (* x (- -1 eps)))
2.0ms
(exp (* x (+ eps -1)))
2.0ms
(exp (* x (+ eps -1)))

series138.0ms

Calls
4 calls:
Slowest
109.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
11.0ms
(exp (* x (- -1 eps)))
10.0ms
(exp (* x (+ eps -1)))
9.0ms
(exp (* x (+ eps -1)))

simplify8.5s

Calls
48 calls:
Slowest
676.0ms
(- (* (+ (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (+ (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (+ (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (* (+ (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (- (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps)) (* (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)))) (- (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3))))
573.0ms
(- (* (- (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps))) (+ (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (+ (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (* (- (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3))))
469.0ms
(- (* (+ (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (+ (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))) (* (+ (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (- (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps)) (* (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)))) (- (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))))))
419.0ms
(/ (* (exp (exp (* x (+ eps -1)))) (exp (/ (exp (* x (+ eps -1))) eps))) (exp (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))
400.0ms
(exp (* -1 (* (- 1 eps) x)))

prune985.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.8b

localize28.0ms

Local error

Found 4 expressions with local error:

4.1b
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
0.2b
(log (exp (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps)))))
0.0b
(exp (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))
0.0b
(exp (* (+ eps -1) x))

rewrite419.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
21×add-log-exp
17×exp-prod
13×add-sqr-sqrt distribute-lft-out--
9×log-pow
8×exp-sum
7×log-prod diff-log add-cube-cbrt
6×rem-exp-log
5×pow1
4×add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out
3×sub-neg difference-of-squares
2×sum-log exp-diff associate--l+ div-inv associate--r-
1×log-div flip3-- exp-to-pow distribute-rgt-out-- rem-log-exp frac-sub flip-- sub-div
Calls
4 calls:
Slowest
209.0ms
(log (exp (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps)))))
193.0ms
(exp (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))
12.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
3.0ms
(exp (* (+ eps -1) x))

series328.0ms

Calls
4 calls:
Slowest
162.0ms
(exp (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))
102.0ms
(log (exp (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps)))))
53.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
12.0ms
(exp (* (+ eps -1) x))

simplify10.2s

Calls
59 calls:
Slowest
689.0ms
(- (+ (* 1/2 (/ (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (pow (exp (* -1 (* (- 1 eps) x))) 2)) (pow eps 2))) (+ (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (+ (/ (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (exp (* -1 (* (- 1 eps) x)))) eps) (* 1/2 (/ (* (pow (exp (* -1 (* x (+ eps 1)))) 2) (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x)))))) (pow eps 2)))))) (+ (/ (* (exp (* -1 (* x (+ eps 1)))) (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (exp (* -1 (* (- 1 eps) x))))) (pow eps 2)) (/ (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x)))))) eps)))
675.0ms
(- (+ (/ (* (exp (* (- eps 1) x)) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) eps) (+ (* 1/2 (/ (* (pow (exp (* (- eps 1) x)) 2) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) (pow eps 2))) (+ (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1)))))) (* 1/2 (/ (* (pow (exp (* -1 (* x (+ eps 1)))) 2) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) (pow eps 2)))))) (+ (/ (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) eps) (/ (* (exp (* (- eps 1) x)) (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1)))))))) (pow eps 2))))
372.0ms
(/ (- (exp (* -1 (* x (+ eps 1)))) (exp (* (- eps 1) x))) eps)
329.0ms
(- (+ (exp (* (- eps 1) x)) (+ (/ (exp (* (- eps 1) x)) eps) (exp (* -1 (* x (+ eps 1)))))) (/ (exp (* -1 (* x (+ eps 1)))) eps))
306.0ms
(log (exp (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (/ (exp (* x (- -1 eps))) eps))))

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.8b

localize46.0ms

Local error

Found 4 expressions with local error:

4.1b
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
4.1b
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
0.7b
(pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps)))))
0.2b
(log (pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))))

rewrite512.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
19×add-sqr-sqrt
16×sqrt-prod
14×distribute-lft-out--
12×pow-pow
11×pow-unpow exp-prod add-cube-cbrt
8×add-log-exp
6×log-prod unpow-prod-down
5×pow1 add-exp-log
4×add-cbrt-cube insert-posit16 div-inv distribute-lft-out difference-of-squares
3×rem-log-exp
2×pow-to-exp sub-neg flip3-- distribute-rgt-out-- diff-log pow-exp frac-sub flip-- sub-div
1×log-pow
Calls
4 calls:
Slowest
377.0ms
(pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps)))))
85.0ms
(log (pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))))
24.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
22.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))

series908.0ms

Calls
4 calls:
Slowest
485.0ms
(log (pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))))
323.0ms
(pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps)))))
54.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
46.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))

simplify13.7s

Calls
67 calls:
Slowest
744.0ms
(- (+ (/ (* (exp (* (- eps 1) x)) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) eps) (+ (* 1/2 (/ (* (pow (exp (* (- eps 1) x)) 2) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) (pow eps 2))) (+ (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1)))))) (* 1/2 (/ (* (pow (exp (* -1 (* x (+ eps 1)))) 2) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) (pow eps 2)))))) (+ (/ (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) eps) (/ (* (exp (* (- eps 1) x)) (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1)))))))) (pow eps 2))))
718.0ms
(- (+ (* 1/2 (/ (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (pow (exp (* -1 (* (- 1 eps) x))) 2)) (pow eps 2))) (+ (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (+ (/ (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (exp (* -1 (* (- 1 eps) x)))) eps) (* 1/2 (/ (* (pow (exp (* -1 (* x (+ eps 1)))) 2) (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x)))))) (pow eps 2)))))) (+ (/ (* (exp (* -1 (* x (+ eps 1)))) (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (exp (* -1 (* (- 1 eps) x))))) (pow eps 2)) (/ (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x)))))) eps)))
642.0ms
(sqrt (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps)))))
398.0ms
(/ (- (exp (* -1 (* x (+ eps 1)))) (exp (* (- eps 1) x))) eps)
357.0ms
(/ (- (exp (* -1 (* x (+ eps 1)))) (exp (* (- eps 1) x))) eps)

prune1.8s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.8b

localize39.0ms

Local error

Found 4 expressions with local error:

5.1b
(sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2))))))
4.1b
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
0.7b
(pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2)))))))
0.2b
(log (pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2))))))))

rewrite549.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
17×add-sqr-sqrt
14×sqrt-prod
12×pow-pow add-cube-cbrt
11×exp-prod
7×distribute-lft-out--
6×pow-unpow log-prod unpow-prod-down sqrt-div add-log-exp
5×pow1 add-exp-log frac-sub
4×flip3-- add-cbrt-cube associate-*r/ insert-posit16 flip--
3×rem-log-exp
2×pow-to-exp flip3-+ pow-exp flip-+ div-inv distribute-lft-out difference-of-squares
1×rem-sqrt-square sub-neg distribute-rgt-out-- pow1/2 diff-log log-pow sub-div
Calls
4 calls:
Slowest
332.0ms
(pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2)))))))
106.0ms
(log (pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2))))))))
91.0ms
(sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2))))))
19.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))

series1.6s

Calls
4 calls:
Slowest
1.0s
(pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2)))))))
398.0ms
(log (pow (exp (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))) (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2))))))))
151.0ms
(sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2))))))
68.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))

simplify11.1s

Calls
63 calls:
Slowest
644.0ms
(sqrt (- (* (- (* (exp (* (+ eps -1) x)) (exp (* (+ eps -1) x))) (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps))))) (+ (* -2 -2) (+ (* (* x (+ x -2)) (* x (+ x -2))) (* -2 (* x (+ x -2)))))) (* (- (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- (pow -2 3) (pow (* x (+ x -2)) 3))))))
513.0ms
(sqrt (- (* (+ (pow (exp (* (+ eps -1) x)) 3) (pow (exp (* x (- -1 eps))) 3)) (+ -2 (* x (+ x -2)))) (* (+ (* (exp (* (+ eps -1) x)) (exp (* (+ eps -1) x))) (- (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))))) (* x (- (* -2 -2) (* (* x (+ x -2)) (* x (+ x -2))))))))
443.0ms
(sqrt (- (* (- (* (exp (* (+ eps -1) x)) (exp (* (+ eps -1) x))) (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps))))) (+ -2 (* x (+ x -2)))) (* (- (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- (* -2 -2) (* (* x (+ x -2)) (* x (+ x -2))))))))
353.0ms
(sqrt (* (cbrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2)))))) (cbrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2))))))))
345.0ms
(sqrt (sqrt (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (* x (- -2 (* x (+ x -2)))))))

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.8b

regimes127.0ms

Accuracy

0% (0.7b remaining)

Error of 1.2b against oracle of 0.5b and baseline of 1.2b

bsearch7.0ms

end0.0ms

sample9.6s

Algorithm
intervals
Results
3.0s1987×body10240exit
2.5s1722×body1280valid
1.9s10110×body80valid
1.3s1281×body640valid
381.0ms636×body320valid
149.0ms314×body160valid