Metrics for From Warwick Tucker's Validated Numerics

analyze3.0ms (0.1%)

Algorithm

1×

random

Compiler

Compiled 45 to 45 computations (0% saved)

sample3.1s (85.4%)

Results

3.1s

8256×

body

256

valid

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	256	189888	143.0ms
ival-add	256	49536	274.0ms
ival-div	256	8256	80.0ms
ival-mult	256	82560	1.1s
ival-neg	256	8256	47.0ms
ival-pow	256	33024	349.0ms

Bogosity

preprocess477.0ms (13%)

Algorithm

1×	egg-herbie

Problems

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)))`

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 308 to 308 computations (0% saved)

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	256	36864	28.0ms
ival-add	256	6144	37.0ms
ival-div	256	512	4.0ms
ival-mult	256	15616	107.0ms
ival-neg	256	2048	11.0ms
ival-pow	256	6400	61.0ms

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	-54767/66192
	100.0%	-54767/66192

Compiler

Compiled 2 to 2 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
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
	100.0%	-54767/66192

Compiler

Compiled 2 to 2 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
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
	100.0%	-54767/66192

Compiler

Compiled 2 to 2 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
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
	100.0%	-54767/66192

Compiler

Compiled 2 to 2 computations (0% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
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)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
-54767/66192

Outputs
-54767/66192

Compiler

Compiled 1 to 1 computations (0% saved)

soundness7.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 (1.1%)

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

analyze3.0ms (0.1%)

sample3.1s (85.4%)

preprocess477.0ms (13%)

eval0.0ms (0%)

prune1.0ms (0%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize0.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize0.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

soundness7.0ms (0.2%)

end0.0ms (0%)

preprocess40.0ms (1.1%)

Profiling