Given's Rotation SVD example, simplified

Time bar (total: 1.3s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 19 to 11 computations (42.1% saved)

sample1.3s (100%)

Memory
433.2MiB live, 433.2MiB allocated
Samples
617.0ms2 857×2valid
257.0ms4 186×0valid
163.0ms1 213×1valid
Precisions
Click to see histograms. Total time spent on operations: 838.0ms
ival-hypot: 301.0ms (35.9% of total)
ival-sqrt: 104.0ms (12.4% of total)
ival-div: 102.0ms (12.2% of total)
adjust: 98.0ms (11.7% of total)
ival-mult: 85.0ms (10.1% of total)
ival-sub: 66.0ms (7.9% of total)
ival-add: 64.0ms (7.6% of total)
exact: 7.0ms (0.8% of total)
ival-true: 6.0ms (0.7% of total)
ival-assert: 3.0ms (0.4% of total)
Bogosity

explain0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 81 to 11 computations (86.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...