Kahan's Unum-Targeted Monster

analyze7.0s (76.5%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.3%	99.7%	0%	0%	0%	0
0%	0%	0.3%	99.7%	0%	0%	0%	1
0%	0%	0.3%	99.7%	0%	0%	0%	2
0%	0%	0.3%	99.7%	0%	0%	0%	3
0%	0%	0.3%	99.7%	0%	0%	0%	4
0%	0%	0.3%	99.7%	0%	0%	0%	5
0%	0%	0.3%	99.7%	0%	0%	0%	6
0%	0%	0.3%	99.7%	0%	0%	0%	7
0%	0%	0.3%	99.7%	0%	0%	0%	8
0%	0%	0.3%	99.7%	0%	0%	0%	9
0%	0%	0.3%	99.7%	0%	0%	0%	10
0%	0%	0.3%	99.7%	0%	0%	0%	11
0%	0%	0.3%	99.7%	0%	0%	0%	12

Compiler

Compiled 169 to 117 computations (30.8% saved)

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	176	69521	62.0ms
const	128	73804	67.0ms
ival-<=	128	8190	46.0ms
ival-==	128	4095	30.0ms
ival-add	176	57284	564.0ms
ival-add	128	40996	341.0ms
ival-and	128	4095	8.0ms
ival-div	169	12314	127.0ms
ival-div	128	16351	132.0ms
ival-exp	163	4079	99.0ms
ival-exp	128	16	0.0ms
ival-fabs	169	12314	76.0ms
ival-fabs	128	12256	59.0ms
ival-if	128	4095	15.0ms
ival-mult	167	12241	187.0ms
ival-mult	128	16424	221.0ms
ival-pow	163	8158	283.0ms
ival-pow	128	16412	541.0ms
ival-sqrt	176	36812	632.0ms
ival-sqrt	128	12328	229.0ms
ival-sub	100-169	20472	157.0ms
ival-sub	128	32763	222.0ms

sample2.2s (23.5%)

Results

2.2s

101×

body

8192

exit

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	10000	2929	2.0ms
const	8192	1212	1.0ms
const	8000-8100	1717	1.0ms
const	6800-6900	606	0.0ms
const	4096	1212	1.0ms
const	3900-4000	1493	1.0ms
const	3800-3900	224	0.0ms
const	2900-3000	606	0.0ms
const	2048	1212	1.0ms
const	1800-1900	1717	1.0ms
const	1000-1100	606	0.0ms
const	1024	1212	1.0ms
const	800-900	1253	1.0ms
const	700-800	464	0.0ms
const	512	1212	1.0ms
const	256	3535	3.0ms
ival-<=	8192	202	1.0ms
ival-<=	4096	202	1.0ms
ival-<=	2048	202	1.0ms
ival-<=	1024	202	1.0ms
ival-<=	512	202	1.0ms
ival-<=	256	202	1.0ms
ival-==	8192	101	1.0ms
ival-==	4096	101	1.0ms
ival-==	2048	101	1.0ms
ival-==	1024	101	1.0ms
ival-==	512	101	1.0ms
ival-==	256	101	3.0ms
ival-add	10000	2626	25.0ms
ival-add	8192	404	3.0ms
ival-add	8000-8100	1414	11.0ms
ival-add	6800-6900	606	4.0ms
ival-add	4096	404	3.0ms
ival-add	3900-4000	1190	10.0ms
ival-add	3800-3900	224	1.0ms
ival-add	2900-3000	606	4.0ms
ival-add	2048	404	3.0ms
ival-add	1800-1900	1414	8.0ms
ival-add	1000-1100	606	4.0ms
ival-add	1024	404	3.0ms
ival-add	800-900	950	6.0ms
ival-add	700-800	464	3.0ms
ival-add	512	404	3.0ms
ival-add	256	2424	17.0ms
ival-and	8192	101	0.0ms
ival-and	4096	101	0.0ms
ival-and	2048	101	0.0ms
ival-and	1024	101	0.0ms
ival-and	512	101	0.0ms
ival-and	256	101	0.0ms
ival-div	10000	808	25.0ms
ival-div	8192	101	0.0ms
ival-div	8000-8100	404	8.0ms
ival-div	6800-6900	202	3.0ms
ival-div	4096	101	0.0ms
ival-div	3900-4000	292	3.0ms
ival-div	3800-3900	112	17.0ms
ival-div	2900-3000	202	2.0ms
ival-div	2048	101	0.0ms
ival-div	1800-1900	404	6.0ms
ival-div	1000-1100	202	2.0ms
ival-div	1024	101	0.0ms
ival-div	800-900	172	1.0ms
ival-div	700-800	232	38.0ms
ival-div	512	101	0.0ms
ival-div	256	707	5.0ms
ival-exp	10000	101	1.0ms
ival-exp	8000-8100	101	1.0ms
ival-exp	3900-4000	101	1.0ms
ival-exp	1800-1900	101	1.0ms
ival-exp	800-900	101	1.0ms
ival-exp	256	101	1.0ms
ival-fabs	10000	808	5.0ms
ival-fabs	8000-8100	404	2.0ms
ival-fabs	6800-6900	202	1.0ms
ival-fabs	3900-4000	292	2.0ms
ival-fabs	3800-3900	112	1.0ms
ival-fabs	2900-3000	202	1.0ms
ival-fabs	1800-1900	404	7.0ms
ival-fabs	1000-1100	202	1.0ms
ival-fabs	800-900	172	1.0ms
ival-fabs	700-800	232	1.0ms
ival-fabs	256	606	6.0ms
ival-if	8192	101	0.0ms
ival-if	4096	101	0.0ms
ival-if	2048	101	0.0ms
ival-if	1024	101	0.0ms
ival-if	512	101	0.0ms
ival-if	256	101	0.0ms
ival-mult	10000	303	4.0ms
ival-mult	8192	404	5.0ms
ival-mult	8000-8100	303	3.0ms
ival-mult	4096	404	5.0ms
ival-mult	3900-4000	303	3.0ms
ival-mult	2048	404	7.0ms
ival-mult	1800-1900	303	3.0ms
ival-mult	1024	404	5.0ms
ival-mult	800-900	303	3.0ms
ival-mult	512	404	7.0ms
ival-mult	256	707	10.0ms
ival-pow	10000	202	349.0ms
ival-pow	8192	404	397.0ms
ival-pow	8000-8100	202	165.0ms
ival-pow	4096	404	109.0ms
ival-pow	3900-4000	202	50.0ms
ival-pow	2048	404	44.0ms
ival-pow	1800-1900	202	21.0ms
ival-pow	1024	404	22.0ms
ival-pow	800-900	202	9.0ms
ival-pow	512	404	15.0ms
ival-pow	256	606	18.0ms
ival-sqrt	10000	1616	89.0ms
ival-sqrt	8000-8100	808	20.0ms
ival-sqrt	6800-6900	404	11.0ms
ival-sqrt	3900-4000	696	14.0ms
ival-sqrt	3800-3900	112	2.0ms
ival-sqrt	2900-3000	404	12.0ms
ival-sqrt	1800-1900	808	13.0ms
ival-sqrt	1000-1100	404	6.0ms
ival-sqrt	800-900	576	10.0ms
ival-sqrt	700-800	232	3.0ms
ival-sqrt	256	1212	16.0ms
ival-sub	10000	1010	7.0ms
ival-sub	8192	505	4.0ms
ival-sub	8000-8100	606	6.0ms
ival-sub	6800-6900	202	1.0ms
ival-sub	4096	505	3.0ms
ival-sub	3900-4000	494	3.0ms
ival-sub	3800-3900	112	1.0ms
ival-sub	2900-3000	202	1.0ms
ival-sub	2048	505	3.0ms
ival-sub	1800-1900	606	4.0ms
ival-sub	1000-1100	202	2.0ms
ival-sub	1024	505	5.0ms
ival-sub	800-900	374	2.0ms
ival-sub	700-800	232	1.0ms
ival-sub	512	505	3.0ms
ival-sub	256	1313	8.0ms

end0.0ms (0%)

Profiling

Loading profile data...