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

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation ival-div, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.4s (54.3%)

Results

1.3s	8255×	256	valid
0.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 198.0ms

Operation ival-sub, time spent: 69.0ms, 35.0% of total-time

Operation ival-div, time spent: 68.0ms, 34.0% of total-time

Operation ival-add, time spent: 47.0ms, 24.0% of total-time

Operation const, time spent: 14.0ms, 7.0% of total-time

Bogosity

preprocess533.0ms (20.9%)

Algorithm

1×	egg-herbie

Rules

5960×	`fma-neg`
1276×	`fma-define`
1000×	`sub-neg`
732×	`distribute-lft-out`
660×	`+-commutative`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 y x)`
-	-	`y`
-	-	`2`
-	-	`(/.f64 (-.f64 y x) 2)`
-	-	`(+.f64 x (/.f64 (-.f64 y x) 2))`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	220
1	56	196
2	161	196
3	463	133
4	845	133
5	1493	133
6	2927	133
7	3527	133
8	3552	133
9	3570	133
10	3570	133
11	5243	133
12	6216	133
13	6442	133
14	6507	133
15	6571	133
16	6571	133
17	6594	133
18	6602	133
19	6602	133

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(+.f64 x (/.f64 (-.f64 y x) 2))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2)))
(neg.f64 (+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2)))
(+.f64 y (/.f64 (-.f64 x y) 2))

Outputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(*.f64 (+.f64 x y) 1/2)
(+.f64 x (/.f64 (-.f64 y x) 2))
(*.f64 (+.f64 x y) 1/2)
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2))
(-.f64 (/.f64 (+.f64 x y) 2) x)
(/.f64 (-.f64 y x) 2)
(*.f64 -1/2 (-.f64 x y))
(*.f64 (-.f64 x y) -1/2)
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2))
(+.f64 x (/.f64 (+.f64 x y) -2))
(/.f64 (-.f64 x y) 2)
(*.f64 1/2 (-.f64 x y))
(*.f64 (-.f64 x y) 1/2)
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2)))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2))
(+.f64 x (/.f64 (+.f64 x y) -2))
(/.f64 (-.f64 x y) 2)
(*.f64 1/2 (-.f64 x y))
(*.f64 (-.f64 x y) 1/2)
(neg.f64 (+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2)))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2))
(-.f64 (/.f64 (+.f64 x y) 2) x)
(/.f64 (-.f64 y x) 2)
(*.f64 -1/2 (-.f64 x y))
(*.f64 (-.f64 x y) -1/2)
(+.f64 y (/.f64 (-.f64 x y) 2))
(+.f64 x (/.f64 (-.f64 y x) 2))
(*.f64 (+.f64 x y) 1/2)

Symmetry

(sort x y)

Compiler

Compiled 60 to 32 computations (46.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 15.0ms

Operation ival-div, time spent: 7.0ms, 47.0% of total-time

Operation ival-sub, time spent: 4.0ms, 27.0% of total-time

Operation ival-add, time spent: 3.0ms, 20.0% of total-time

Operation const, time spent: 2.0ms, 13.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (+.f64 x y) 1/2)

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize31.0ms (1.2%)

Compiler: Compiled 14 to 7 computations (50% saved)
Precisions: Click to see histograms. Total time spent on operations: 4.0ms
Operation ival-mult, time spent: 2.0ms, 45.0% of total-time
Operation ival-add, time spent: 2.0ms, 45.0% of total-time
Operation const, time spent: 1.0ms, 22.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accuracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 x y) 1/2)

Compiler

Compiled 21 to 14 computations (33.3% saved)

regimes9.0ms (0.4%)

Accuracy

Total -0.0b remaining (-∞%)

Threshold costs -0b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) 1/2)
(+.f64 x (/.f64 (-.f64 y x) 2))

Outputs
(*.f64 (+.f64 x y) 1/2)

Calls

3 calls:

3.0ms	(+.f64 x (/.f64 (-.f64 y x) 2))
3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(+.f64 x (/.f64 (-.f64 y x) 2))`

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	12	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) 1/2)

Outputs
(*.f64 (+.f64 x y) 1/2)

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness553.0ms (21.7%)

Rules

5960×	`fma-neg`
1276×	`fma-define`
1000×	`sub-neg`
732×	`distribute-lft-out`
660×	`+-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	220
1	56	196
2	161	196
3	463	133
4	845	133
5	1493	133
6	2927	133
7	3527	133
8	3552	133
9	3570	133
10	3570	133
11	5243	133
12	6216	133
13	6442	133
14	6507	133
15	6571	133
16	6571	133
17	6594	133
18	6602	133
19	6602	133

Stop Event

1×	node limit

Compiler

Compiled 198 to 139 computations (29.8% saved)

end0.0ms (0%)

preprocess34.0ms (1.3%)

Remove: (sort x y)
Compiler: Compiled 74 to 52 computations (29.7% saved)

analyze0.0ms (0%)

sample1.4s (54.3%)

preprocess533.0ms (20.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize31.0ms (1.2%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes9.0ms (0.4%)

simplify2.0ms (0.1%)

soundness553.0ms (21.7%)

end0.0ms (0%)

preprocess34.0ms (1.3%)

Profiling