Metrics for From Warwick Tucker's Validated Numerics

analyze0.0ms (0%)

Algorithm

1×

random

Compiler

Compiled 45 to 45 computations (0% saved)

Precisions

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

sample4.0s (75.3%)

Results

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

Precisions

Click to see histograms. Total time spent on operations: 2.3s

Operation ival-mult, time spent: 1.0s, 45.0% of total-time

Operation ival-pow, time spent: 752.0ms, 32.0% of total-time

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

Operation const, time spent: 98.0ms, 4.0% of total-time

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

Operation ival-neg, time spent: 47.0ms, 2.0% of total-time

Bogosity

preprocess1.3s (23.4%)

Algorithm

1×	egg-herbie

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
256	-	-	`(+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))`
0	-	-	`(*.f64 33096 33096)`
0	-	-	`2`
0	-	-	`(/.f64 77617 (*.f64 2 33096))`
0	-	-	`4`
0	-	-	`6`
0	-	-	`8`
0	-	-	`-121`
0	-	-	`(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))`
0	-	-	`(+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2)`
0	-	-	`(+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6)))`
0	-	-	`33096`
0	-	-	`(+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4)))`
0	-	-	`(.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096))`
0	-	-	`11`
0	-	-	`1335/4`
0	-	-	`(*.f64 1335/4 (pow.f64 33096 6))`
0	-	-	`(pow.f64 33096 6)`
0	-	-	`(*.f64 77617 77617)`
0	-	-	`-2`
0	-	-	`(pow.f64 33096 8)`
0	-	-	`(*.f64 2 33096)`
0	-	-	`11/2`
0	-	-	`(+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2)))`
0	-	-	`(*.f64 -121 (pow.f64 33096 4))`
0	-	-	`(pow.f64 33096 4)`
0	-	-	`(neg.f64 (pow.f64 33096 6))`
0	-	-	`(.f64 11 (.f64 77617 77617))`
0	-	-	`(.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))`
0	-	-	`(*.f64 11/2 (pow.f64 33096 8))`
0	-	-	`77617`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8)))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	256	0
-	0	0

Precision

1.0

Recall

1.0

Confusion?

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

Precision?

1.0

Recall?

1.0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	2

Stop Event

1×

saturated

Calls

Call 1

Inputs

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 33096 6)) (*.f64 (*.f64 77617 77617) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 11 (*.f64 77617 77617)) (*.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (*.f64 -121 (pow.f64 33096 4))) -2))) (*.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (*.f64 2 33096)))

Outputs
(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
-54767/66192
(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 33096 6)) (.f64 (.f64 77617 77617) (+.f64 (+.f64 (+.f64 (.f64 (.f64 11 (.f64 77617 77617)) (.f64 33096 33096)) (neg.f64 (pow.f64 33096 6))) (.f64 -121 (pow.f64 33096 4))) -2))) (.f64 11/2 (pow.f64 33096 8))) (/.f64 77617 (.f64 2 33096)))
-54767/66192

Compiler

Compiled 616 to 616 computations (0% saved)

Precisions

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

Operation ival-mult, time spent: 241.0ms, 39.0% of total-time

Operation ival-pow, time spent: 229.0ms, 37.0% of total-time

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

Operation const, time spent: 40.0ms, 6.0% of total-time

Operation ival-neg, time spent: 30.0ms, 5.0% of total-time

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

eval0.0ms (0%)

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

prune0.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	-54767/66192

Compiler

Compiled 1 to 1 computations (0% saved)

localize14.0ms (0.3%)

Compiler: Compiled 2 to 2 computations (0% saved)
Precisions: Click to see histograms. Total time spent on operations: 0.0ms
Operation const, time spent: 0.0ms, 0.0% of total-time

eval0.0ms (0%)

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

prune2.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%	-54767/66192

Compiler

Compiled 46 to 46 computations (0% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
-54767/66192

Outputs
-54767/66192

Compiler

Compiled 1 to 1 computations (0% saved)

soundness11.0ms (0.2%)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	2

Stop Event

1×

saturated

Compiler

Compiled 44 to 44 computations (0% saved)

end0.0ms (0%)

preprocess40.0ms (0.8%)

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

analyze0.0ms (0%)

sample4.0s (75.3%)

preprocess1.3s (23.4%)

eval0.0ms (0%)

prune0.0ms (0%)

localize14.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify2.0ms (0%)

soundness11.0ms (0.2%)

end0.0ms (0%)

preprocess40.0ms (0.8%)

Profiling