Metrics for Given's Rotation SVD example, simplified

Memory

4.7MiB live, 4.7MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 28 to 21 computations (25% saved)

Memory: 0.0MiB live, 0.0MiB allocated
Precisions: Click to see Rival histograms. Total time spent on operations: 0.0ms
ival-sub: 0.0ms (0% of total)
ival-sqrt: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-div: 0.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)
...in/eval/compile.rkt:76:19: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Precisions: Click to see Base histograms. Total time spent on operations: 0.0ms
const: 0.0ms (0% of total)

Profiling