Metrics for bug323 (missed optimization)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
100%	25%	0%	75%	0%	0%	0%	1

Compiler

Compiled 12 to 10 computations (16.7% saved)

Memory

24.5MiB live, 1 841.0MiB allocated

Samples

1.4s	7 954×	1	valid
35.0ms	302×	0	valid

Precisions

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

ival-acos: 418.0ms (50.2% of total)

ival-sub: 151.0ms (18.1% of total)

adjust: 138.0ms (16.6% of total)

ival-<=: 96.0ms (11.5% of total)

exact: 14.0ms (1.7% of total)

ival-and: 13.0ms (1.6% of total)

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

Bogosity

Profiling