analyze0.0ms (99.3%)

Algorithm

1×

search

Search

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

Compiler

Compiled 19 to 12 computations (36.8% saved)

Precisions

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

ival-div: 0.0ms (0% of total)

ival-add: 0.0ms (0% of total)

ival-sub: 0.0ms (0% of total)

ival-and: 0.0ms (0% of total)

ival-sqrt: 0.0ms (0% of total)

const: 0.0ms (0% of total)

ival->: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

...c/correct-round.rkt:130:19: 0.0ms (0% of total)

ival-<: 0.0ms (0% of total)