Linear.Quaternion:$clog from linear-1.19.1.3

Time bar (total: 2.1s)

analyze31.0ms (1.5%)

Memory
10.8MiB live, 10.8MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
62.5%62.4%37.5%0.1%0%0%0%5
66.7%62.4%31.2%0.1%0%6.2%0%6
75%65.6%21.9%0.1%0%12.5%0%7
80%68.7%17.2%0.1%0%14%0%8
85.7%70.2%11.7%0.1%0%18%0%9
88.9%71.8%9%0.1%0%19.1%0%10
92.3%72.6%6%0.1%0%21.3%0%11
94.1%73.4%4.6%0.1%0%22%0%12
Compiler

Compiled 17 to 13 computations (23.5% saved)

sample2.0s (94.4%)

Memory
7.2MiB live, 573.7MiB allocated
Samples
380.0ms8 256×0valid-baseline
379.0ms8 256×0valid-sollya
352.0ms8 256×0valid-rival
Precisions
Click to see Rival histograms. Total time spent on operations: 188.0ms
ival-mult: 80.0ms (42.6% of total)
ival-sqrt: 60.0ms (31.9% of total)
ival-add: 37.0ms (19.7% of total)
ival-true: 7.0ms (3.7% of total)
ival-assert: 3.0ms (1.6% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 171.0ms
ival-mult: 66.0ms (38.6% of total)
ival-sqrt: 58.0ms (33.9% of total)
ival-add: 41.0ms (24% of total)
const: 6.0ms (3.5% of total)
Bogosity

preprocess57.0ms (2.7%)

Memory
5.4MiB live, 20.2MiB allocated
Algorithm
1×egg-herbie
Rules
110×fmm-def
74×fma-define
29×sub-neg
18×associate--r+
17×associate-+l-
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023170
146170
283170
3162170
4268170
5361170
6458170
7508170
8522170
9525170
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 x x) y))
(sqrt.f64 (+.f64 (*.f64 x x) y))
(sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y))
(sqrt.f64 (+.f64 (*.f64 x x) (neg.f64 y)))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y)))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 x x) (neg.f64 y))))
(sqrt.f64 (+.f64 (*.f64 y y) x))
Outputs
(sqrt.f64 (+.f64 (*.f64 x x) y))
(sqrt.f64 (fma.f64 x x y))
(sqrt.f64 (+.f64 (*.f64 x x) y))
(sqrt.f64 (fma.f64 x x y))
(sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y))
(sqrt.f64 (fma.f64 x x y))
(sqrt.f64 (+.f64 (*.f64 x x) (neg.f64 y)))
(sqrt.f64 (-.f64 (*.f64 x x) y))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y)))
(neg.f64 (sqrt.f64 (fma.f64 x x y)))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 x x) (neg.f64 y))))
(neg.f64 (sqrt.f64 (-.f64 (*.f64 x x) y)))
(sqrt.f64 (+.f64 (*.f64 y y) x))
(sqrt.f64 (fma.f64 y y x))
Symmetry

(abs x)

Compiler

Compiled 8 to 5 computations (37.5% saved)

eval1.0ms (0%)

Memory
-15.7MiB live, 0.2MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
68.8%
(sqrt.f64 (+.f64 (*.f64 x x) y))
Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify1.0ms (0.1%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×egg-herbie
Rules
1×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01126
11226
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 x x) y))
Outputs
(sqrt.f64 (+.f64 (*.f64 x x) y))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 8 to 5 computations (37.5% saved)

preprocess26.0ms (1.2%)

Memory
-0.4MiB live, 32.9MiB allocated
Remove

(abs x)

Compiler

Compiled 126 to 72 computations (42.9% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...