Metrics for Maksimov and Kolovsky, Equation (32)

Memory

0.8MiB live, 0.8MiB 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

62.5MiB live, 2 207.6MiB allocated

Samples

1.2s	7 817×	0	valid
186.0ms	439×	1	valid

Precisions

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

ival-sub: 210.0ms (20.5% of total)

ival-div: 170.0ms (16.6% of total)

ival-mult: 162.0ms (15.8% of total)

ival-pow2: 127.0ms (12.4% of total)

ival-add: 85.0ms (8.3% of total)

ival-cos: 78.0ms (7.6% of total)

ival-exp: 71.0ms (6.9% of total)

ival-neg: 41.0ms (4% of total)

ival-fabs: 39.0ms (3.8% of total)

adjust: 24.0ms (2.3% of total)

ival-true: 7.0ms (0.7% of total)

exact: 5.0ms (0.5% of total)

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

Bogosity

Profiling