Metrics for Maksimov and Kolovsky, Equation (32)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 31 to 23 computations (25.8% saved)

Memory

807.9MiB live, 807.9MiB allocated

Samples

866.0ms	7 836×	0	valid
114.0ms	420×	1	valid

Precisions

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

ival-sub: 185.0ms (25% of total)

ival-div: 107.0ms (14.5% of total)

ival-mult: 104.0ms (14.1% of total)

ival-pow2: 80.0ms (10.8% of total)

ival-cos: 60.0ms (8.1% of total)

ival-exp: 52.0ms (7% of total)

ival-add: 49.0ms (6.6% of total)

ival-fabs: 35.0ms (4.7% of total)

ival-neg: 33.0ms (4.5% of total)

adjust: 17.0ms (2.3% of total)

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

exact: 5.0ms (0.7% of total)

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

Bogosity

Profiling