Metrics for bug323 (missed optimization)

Memory

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

-10.6MiB live, 886.7MiB allocated

Samples

790.0ms	7 973×	1	valid
15.0ms	283×	0	valid

Precisions

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

ival-acos: 305.0ms (50.9% of total)

adjust: 110.0ms (18.4% of total)

ival-sub: 98.0ms (16.4% of total)

ival-<=: 58.0ms (9.7% of total)

exact: 13.0ms (2.2% of total)

ival-and: 11.0ms (1.8% of total)

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

Bogosity

Profiling