Given's Rotation SVD example, simplified

Time bar (total: 2.1s)

analyze0.0ms (0%)

Memory
0.8MiB live, 0.8MiB 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 14 to 11 computations (21.4% saved)

sample2.0s (98.7%)

Memory
78.7MiB live, 2 943.7MiB allocated
Samples
790.0ms2 894×2valid
353.0ms4 200×0valid
178.0ms1 162×1valid
Precisions
Click to see histograms. Total time spent on operations: 999.0ms
ival-hypot: 362.0ms (36.2% of total)
ival-sqrt: 129.0ms (12.9% of total)
ival-div: 117.0ms (11.7% of total)
ival-add: 111.0ms (11.1% of total)
ival-mult: 95.0ms (9.5% of total)
ival-sub: 83.0ms (8.3% of total)
adjust: 82.0ms (8.2% of total)
exact: 13.0ms (1.3% of total)
ival-true: 5.0ms (0.5% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

preprocess27.0ms (1.3%)

Memory
-11.8MiB live, 24.9MiB allocated
Algorithm
2×egg-herbie
Rules
38×sub-neg
36×+-lowering-+.f64
36×+-lowering-+.f32
22×+-commutative
20×associate--r+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01739
14232
27032
39432
413032
515232
616432
717032
817132
01215
12513
23213
33713
44313
55113
66113
77213
87513
07512
Stop Event
1×iter limit
1×saturated
1×saturated
Calls
Call 1
Inputs
(- 1 (sqrt (* 1/2 (+ 1 (/ 1 (sqrt (+ (* 1 1) (* x x))))))))
Outputs
(- 1 (sqrt (* 1/2 (+ 1 (/ 1 (sqrt (+ (* 1 1) (* x x))))))))
(-.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 (fma.f64 x x #s(literal 1 binary64)))))))
Call 2
Inputs
(- 1 (sqrt (* 1/2 (+ 1 (/ 1 (hypot 1 x))))))
(- 1 (sqrt (* 1/2 (+ 1 (/ 1 (hypot 1 (neg x)))))))
(neg (- 1 (sqrt (* 1/2 (+ 1 (/ 1 (hypot 1 (neg x))))))))
Outputs
(- 1 (sqrt (* 1/2 (+ 1 (/ 1 (hypot 1 x))))))
(- 1 (sqrt (+ 1/2 (/ 1/2 (hypot 1 x)))))
(- 1 (sqrt (* 1/2 (+ 1 (/ 1 (hypot 1 (neg x)))))))
(- 1 (sqrt (+ 1/2 (/ 1/2 (hypot 1 (neg x))))))
(neg (- 1 (sqrt (* 1/2 (+ 1 (/ 1 (hypot 1 (neg x))))))))
(+ (sqrt (+ 1/2 (/ 1/2 (hypot 1 (neg x))))) -1)

explain0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 51 to 11 computations (78.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...