Metrics for sqrtexp (problem 3.4.4)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
75%	75%	25%	0%	0%	0%	0%	3
87.5%	87.5%	12.5%	0%	0%	0%	0%	4
93.8%	93.7%	6.2%	0%	0%	0%	0%	5
96.9%	96.8%	3.1%	0%	0%	0%	0%	6
98.4%	98.4%	1.6%	0%	0%	0%	0%	7
99.2%	99.2%	0.8%	0%	0%	0%	0%	8
99.6%	99.6%	0.4%	0%	0%	0%	0%	9
99.8%	99.8%	0.2%	0%	0%	0%	0%	10
99.9%	99.9%	0.1%	0%	0%	0%	0%	11
100%	99.9%	0%	0%	0%	0%	0%	12

Compiler

Compiled 14 to 9 computations (35.7% saved)

Memory

12.8MiB live, 892.5MiB allocated

Samples

429.0ms	8 256×	0	valid
157.0ms	2 611×	0	exit

Precisions

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

ival-expm1: 122.0ms (31.2% of total)

ival-div: 100.0ms (25.6% of total)

ival-mult: 77.0ms (19.7% of total)

ival-sqrt: 74.0ms (18.9% of total)

ival-true: 8.0ms (2% of total)

exact: 6.0ms (1.5% of total)

ival-assert: 4.0ms (1% of total)

Bogosity

Profiling