Metrics for VandenBroeck and Keller, Equation (23)

Memory

11.9MiB live, 441.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	6
15.6%	15.6%	84.3%	0.1%	0%	0%	0%	7
16.7%	15.6%	78%	0.1%	0%	6.2%	0%	8
25%	23.4%	70.2%	0.1%	0%	6.2%	0%	9
29.7%	26.9%	63.6%	0.1%	0%	9.4%	0%	10
30.8%	26.9%	60.5%	0.1%	0%	12.5%	0%	11
35.9%	31.4%	56%	0.1%	0%	12.5%	0%	12

Compiler

Compiled 29 to 22 computations (24.1% saved)

Memory

90.9MiB live, 1 782.5MiB allocated

Samples

1.4s	8 256×	0	valid
47.0ms	318×	0	invalid

Precisions

Click to see histograms. Total time spent on operations: 1.2s

ival-mult: 275.0ms (22.9% of total)

ival-tan: 188.0ms (15.6% of total)

ival-pow: 186.0ms (15.5% of total)

ival-sin: 175.0ms (14.5% of total)

ival-div: 167.0ms (13.9% of total)

ival-add: 121.0ms (10.1% of total)

ival-neg: 70.0ms (5.8% of total)

exact: 10.0ms (0.8% of total)

ival-true: 6.0ms (0.5% of total)

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

Bogosity

Profiling