Numeric.Interval.Internal:bisect from intervals-0.7.1, A

Time bar (total: 1.8s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 10 to 7 computations (30% saved)

sample848.0ms (47.4%)

Results
826.0ms8256×body256valid
Bogosity

preprocess216.0ms (12.1%)

Algorithm
2×egg-herbie
Rules
6846×fma-def
1094×fma-neg
792×sub-neg
628×distribute-lft-out
536×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01138
12238
24238
37738
416038
533038
664326
7133526
8293726
9346326
10354526
11355926
12355926
13484626
14558226
15578626
16584326
17589926
18589926
19591826
20592226
022
122
Stop Event
1×unsound
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(+.f64 y (/.f64 (-.f64 x y) 2))
Outputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 (+.f64 x y))
(+.f64 y (/.f64 (-.f64 x y) 2))
(+.f64 x (/.f64 (-.f64 y x) 2))
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 (+.f64 x y))
Symmetry

(sort x y)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify193.0ms (10.8%)

Algorithm
1×egg-herbie
Rules
1698×fma-def
1426×distribute-rgt-in
1420×fma-neg
1232×distribute-lft-in
676×sub-neg
Iterations

Useful iterations: 8 (0.0ms)

IterNodesCost
0819
11519
22619
34519
49119
516719
636615
759115
889113
9213613
10352713
11393013
12394813
13396213
14396213
15522713
16576613
17592213
18599313
19607713
20663913
Stop Event
1×node limit
Counts
1 → 5
Calls
Call 1
Inputs
(+.f64 x (/.f64 (-.f64 y x) 2))
Outputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(fma.f64 x 1/2 (/.f64 y 2))
(fma.f64 -1/2 (-.f64 x y) x)
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 (+.f64 x y))

eval1.0ms (0.1%)

Compiler

Compiled 31 to 19 computations (38.7% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New415
Fresh101
Picked000
Done000
Total516
Accurracy
100.0%
Counts
6 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 1/2 (+.f64 y x))
▶100.0%
(*.f64 1/2 (+.f64 y x))
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize31.0ms (1.7%)

Compiler

Compiled 14 to 7 computations (50% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accurracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 1/2 (+.f64 y x))
Compiler

Compiled 21 to 14 computations (33.3% saved)

regimes20.0ms (1.1%)

Accuracy

Total -0.0b remaining (-∞%)

Threshold costs -0b (-∞%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 1/2 (+.f64 y x))
(+.f64 x (/.f64 (-.f64 y x) 2))
Outputs
(*.f64 1/2 (+.f64 y x))
Calls

3 calls:

14.0ms
(+.f64 x (/.f64 (-.f64 y x) 2))
3.0ms
y
2.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(+.f64 x (/.f64 (-.f64 y x) 2))
Compiler

Compiled 29 to 19 computations (34.5% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×+-commutative
2×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
1913
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 1/2 (+.f64 y x))
Outputs
(*.f64 1/2 (+.f64 y x))
Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness442.0ms (24.7%)

Rules
1698×fma-def
1426×distribute-rgt-in
1420×fma-neg
1232×distribute-lft-in
676×sub-neg
Iterations

Useful iterations: 8 (0.0ms)

IterNodesCost
0819
11519
22619
34519
49119
516719
636615
759115
889113
9213613
10352713
11393013
12394813
13396213
14396213
15522713
16576613
17592213
18599313
19607713
20663913
Stop Event
1×node limit
Compiler

Compiled 346 to 266 computations (23.1% saved)

end29.0ms (1.6%)

Remove

(sort x y)

Compiler

Compiled 60 to 42 computations (30% saved)

Profiling

Loading profile data...