Metrics for Maksimov and Kolovsky, Equation (4)

Memory

1.1MiB live, 1.1MiB 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 17 to 16 computations (5.9% saved)

Memory

31.9MiB live, 2 624.1MiB allocated

Samples

796.0ms	6 388×	0	valid
760.0ms	1 868×	1	valid

Precisions

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

ival-exp: 531.0ms (42.5% of total)

ival-cos: 313.0ms (25.1% of total)

ival-mult: 143.0ms (11.5% of total)

adjust: 51.0ms (4.1% of total)

ival-add: 51.0ms (4.1% of total)

ival-sub: 50.0ms (4% of total)

ival-div: 49.0ms (3.9% of total)

ival-neg: 46.0ms (3.7% of total)

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

exact: 5.0ms (0.4% of total)

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

Bogosity

Profiling