Kahan's Monster

analyze4.3s (85.9%)

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 139 to 90 computations (35.3% saved)

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	176	53205	43.0ms
const	128	40980	34.0ms
ival-<=	128	8190	44.0ms
ival-==	128	4095	32.0ms
ival-add	176	49126	305.0ms
ival-add	128	24584	706.0ms
ival-and	128	4095	7.0ms
ival-div	169	12314	109.0ms
ival-div	128	16351	126.0ms
ival-exp	163	4079	55.0ms
ival-exp	128	16	0.0ms
ival-fabs	169	12314	67.0ms
ival-fabs	128	12256	57.0ms
ival-if	128	4095	14.0ms
ival-mult	167	8162	104.0ms
ival-mult	128	8218	131.0ms
ival-sqrt	176	36812	508.0ms
ival-sqrt	128	12328	162.0ms
ival-sub	100-169	20472	118.0ms
ival-sub	128	32763	190.0ms

sample704.0ms (14.1%)

Results

703.0ms

101×

body

8192

exit

Mixed Sampling

Click to see full mixed sampling table

op	prec	x	time
const	10000	2525	2.0ms
const	8192	404	0.0ms
const	8000-8100	1313	1.0ms
const	6800-6900	606	0.0ms
const	4096	404	0.0ms
const	3900-4000	1089	1.0ms
const	3800-3900	224	0.0ms
const	2900-3000	606	0.0ms
const	2048	404	0.0ms
const	1800-1900	1313	1.0ms
const	1000-1100	606	1.0ms
const	1024	404	0.0ms
const	800-900	849	1.0ms
const	700-800	464	0.0ms
const	512	404	0.0ms
const	256	2323	2.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	1.0ms
ival-add	10000	2424	17.0ms
ival-add	8000-8100	1212	8.0ms
ival-add	6800-6900	606	4.0ms
ival-add	3900-4000	988	6.0ms
ival-add	3800-3900	224	1.0ms
ival-add	2900-3000	606	3.0ms
ival-add	1800-1900	1212	8.0ms
ival-add	1000-1100	606	3.0ms
ival-add	800-900	748	4.0ms
ival-add	700-800	464	3.0ms
ival-add	256	1818	11.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	20.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	4.0ms
ival-div	3800-3900	112	1.0ms
ival-div	2900-3000	202	3.0ms
ival-div	2048	101	0.0ms
ival-div	1800-1900	404	4.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	2.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	6.0ms
ival-fabs	8000-8100	404	3.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	2.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	4.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	202	3.0ms
ival-mult	8192	202	5.0ms
ival-mult	8000-8100	202	3.0ms
ival-mult	4096	202	4.0ms
ival-mult	3900-4000	202	3.0ms
ival-mult	2048	202	3.0ms
ival-mult	1800-1900	202	2.0ms
ival-mult	1024	202	3.0ms
ival-mult	800-900	202	3.0ms
ival-mult	512	202	3.0ms
ival-mult	256	404	6.0ms
ival-sqrt	10000	1616	51.0ms
ival-sqrt	8000-8100	808	43.0ms
ival-sqrt	6800-6900	404	9.0ms
ival-sqrt	3900-4000	696	13.0ms
ival-sqrt	3800-3900	112	3.0ms
ival-sqrt	2900-3000	404	6.0ms
ival-sqrt	1800-1900	808	11.0ms
ival-sqrt	1000-1100	404	5.0ms
ival-sqrt	800-900	576	8.0ms
ival-sqrt	700-800	232	3.0ms
ival-sqrt	256	1212	75.0ms
ival-sub	10000	1010	7.0ms
ival-sub	8192	505	4.0ms
ival-sub	8000-8100	606	4.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	1.0ms
ival-sub	1024	505	3.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...