Metrics for ln(1 + x)

Memory

0.9MiB live, 0.9MiB 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
66.7%	50%	25%	0%	0%	25%	0%	3
83.3%	62.5%	12.5%	0%	0%	25%	0%	4
91.7%	68.7%	6.2%	0%	0%	25%	0%	5
95.8%	71.8%	3.1%	0%	0%	25%	0%	6
97.9%	73.4%	1.6%	0%	0%	25%	0%	7
99%	74.2%	0.8%	0%	0%	25%	0%	8
99.5%	74.6%	0.4%	0%	0%	25%	0%	9
99.7%	74.8%	0.2%	0%	0%	25%	0%	10
99.9%	74.9%	0.1%	0%	0%	25%	0%	11
99.9%	74.9%	0%	0%	0%	25%	0%	12

Compiler

Compiled 6 to 4 computations (33.3% saved)

Memory

15.7MiB live, 472.9MiB allocated

Samples

213.0ms	8 256×	0	valid
0.0ms	1×	0	invalid

Precisions

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

ival-log1p: 85.0ms (91.9% of total)

ival-true: 5.0ms (5.4% of total)

ival-assert: 3.0ms (3.2% of total)

Bogosity

Memory

23.2MiB live, 61.4MiB allocated

Samples

17.0ms

512×

valid

Compiler

Compiled 22 to 12 computations (45.5% saved)

Precisions

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

ival-log1p: 5.0ms (61.6% of total)

ival-add: 3.0ms (37% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

Profiling