Linear.Matrix:fromQuaternion from linear-1.19.1.3, B

Time bar (total: 1.3s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 12 to 8 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation ival-add, time spent: 0.0ms, 0.0% of total-time
Operation ival-mult, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.2s (86.8%)

Results
655.0ms5945×256valid
442.0ms2310×256infinite
0.0ms1×256valid
Precisions
Click to see histograms. Total time spent on operations: 267.0ms
Operation ival-mult, time spent: 194.0ms, 73.0% of total-time
Operation ival-add, time spent: 59.0ms, 22.0% of total-time
Operation const, time spent: 14.0ms, 5.0% of total-time
Bogosity

preprocess176.0ms (13.2%)

Algorithm
1×egg-herbie
Rules
1674×fma-define
1108×fma-neg
286×unsub-neg
228×distribute-lft-neg-in
208×distribute-lft-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
028212
195196
2276196
3788196
41499196
52581196
62976196
73094196
83126196
93136196
103137196
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) y)))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x (neg.f64 y))))
(neg.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) y))))
(neg.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x (neg.f64 y)))))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 y y) (*.f64 y x)))
Outputs
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 #s(literal 2 binary64) (*.f64 x (+.f64 x y)))
(*.f64 (+.f64 x y) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 #s(literal 2 binary64) (*.f64 x (+.f64 x y)))
(*.f64 (+.f64 x y) (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) y)))
(*.f64 #s(literal 2 binary64) (*.f64 x (+.f64 x (neg.f64 y))))
(*.f64 #s(literal 2 binary64) (*.f64 x (-.f64 x y)))
(*.f64 (-.f64 y x) (*.f64 x #s(literal -2 binary64)))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x (neg.f64 y))))
(*.f64 #s(literal 2 binary64) (*.f64 x (+.f64 x (neg.f64 y))))
(*.f64 #s(literal 2 binary64) (*.f64 x (-.f64 x y)))
(*.f64 (-.f64 y x) (*.f64 x #s(literal -2 binary64)))
(neg.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) y))))
(*.f64 #s(literal -2 binary64) (*.f64 x (+.f64 x (neg.f64 y))))
(*.f64 (*.f64 x (-.f64 x y)) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 x (-.f64 y x)))
(neg.f64 (*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x (neg.f64 y)))))
(*.f64 #s(literal -2 binary64) (*.f64 x (+.f64 x (neg.f64 y))))
(*.f64 (*.f64 x (-.f64 x y)) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 x (-.f64 y x)))
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 y y) (*.f64 y x)))
(*.f64 #s(literal 2 binary64) (*.f64 y (+.f64 y x)))
(*.f64 #s(literal 2 binary64) (*.f64 y (+.f64 x y)))
Compiler

Compiled 30 to 9 computations (70% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
Operation ival-mult, time spent: 6.0ms, 77.0% of total-time
Operation ival-add, time spent: 2.0ms, 26.0% of total-time
Operation const, time spent: 1.0ms, 13.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...