Numeric.Signal.Multichannel:$cget from hsignal-0.2.7.1

Time bar (total: 1.1s)

analyze45.0ms (3.9%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
50%49.9%49.9%0.2%0%0%0%3
50%49.9%49.9%0.2%0%0%0%4
50%49.9%49.9%0.2%0%0%0%5
50%49.9%49.9%0.2%0%0%0%6
75%74.9%25%0.2%0%0%0%7
75%74.9%25%0.2%0%0%0%8
75%74.9%25%0.2%0%0%0%9
75%74.9%25%0.2%0%0%0%10
87.5%87.3%12.5%0.2%0%0%0%11
87.5%87.3%12.5%0.2%0%0%0%12
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample986.0ms (85.8%)

Results
736.0ms6325×body256valid
238.0ms1931×body256infinite
Bogosity

preprocess118.0ms (10.3%)

Algorithm
1×egg-herbie
Rules
590×fma-def
439×associate-/r/
426×associate-*l/
419×associate--r+
363×*-commutative
Problems
234×No Errors
22×(*.f64 (/.f64 x y) (-.f64 z t))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
058624
1150616
2464608
31499600
45269600
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(+.f64 (*.f64 (/.f64 (neg.f64 x) y) (-.f64 z t)) t)
(+.f64 (*.f64 (/.f64 x (neg.f64 y)) (-.f64 z t)) t)
(+.f64 (*.f64 (/.f64 x y) (-.f64 (neg.f64 z) t)) t)
(+.f64 (*.f64 (/.f64 x y) (-.f64 z (neg.f64 t))) (neg.f64 t))
(neg.f64 (+.f64 (*.f64 (/.f64 (neg.f64 x) y) (-.f64 z t)) t))
(neg.f64 (+.f64 (*.f64 (/.f64 x (neg.f64 y)) (-.f64 z t)) t))
(neg.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 (neg.f64 z) t)) t))
(neg.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z (neg.f64 t))) (neg.f64 t)))
(+.f64 (*.f64 (/.f64 y x) (-.f64 z t)) t)
(+.f64 (*.f64 (/.f64 z y) (-.f64 x t)) t)
(+.f64 (*.f64 (/.f64 t y) (-.f64 z x)) x)
(+.f64 (*.f64 (/.f64 x z) (-.f64 y t)) t)
(+.f64 (*.f64 (/.f64 x t) (-.f64 z y)) y)
(+.f64 (*.f64 (/.f64 x y) (-.f64 t z)) z)
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(+.f64 (*.f64 (/.f64 (neg.f64 x) y) (-.f64 z t)) t)
(fma.f64 (/.f64 (neg.f64 x) y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 (neg.f64 x) y) t)
(+.f64 t (*.f64 (/.f64 x y) (-.f64 t z)))
(fma.f64 (/.f64 x y) (-.f64 t z) t)
(+.f64 (*.f64 (/.f64 x (neg.f64 y)) (-.f64 z t)) t)
(fma.f64 (/.f64 (neg.f64 x) y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 (neg.f64 x) y) t)
(+.f64 t (*.f64 (/.f64 x y) (-.f64 t z)))
(fma.f64 (/.f64 x y) (-.f64 t z) t)
(+.f64 (*.f64 (/.f64 x y) (-.f64 (neg.f64 z) t)) t)
(fma.f64 (/.f64 x y) (-.f64 (neg.f64 z) t) t)
(-.f64 t (*.f64 (/.f64 x y) (+.f64 z t)))
(-.f64 t (/.f64 (+.f64 z t) (/.f64 y x)))
(+.f64 (*.f64 (/.f64 x y) (-.f64 z (neg.f64 t))) (neg.f64 t))
(-.f64 (*.f64 (/.f64 x y) (-.f64 z (neg.f64 t))) t)
(-.f64 (*.f64 (/.f64 x y) (+.f64 z t)) t)
(-.f64 (/.f64 (+.f64 z t) (/.f64 y x)) t)
(-.f64 (*.f64 x (/.f64 (+.f64 z t) y)) t)
(neg.f64 (+.f64 (*.f64 (/.f64 (neg.f64 x) y) (-.f64 z t)) t))
(neg.f64 (fma.f64 (/.f64 (neg.f64 x) y) (-.f64 z t) t))
(neg.f64 (fma.f64 (-.f64 z t) (/.f64 (neg.f64 x) y) t))
(fma.f64 (/.f64 x y) (-.f64 z t) (neg.f64 t))
(fma.f64 x (/.f64 (-.f64 z t) y) (neg.f64 t))
(neg.f64 (+.f64 (*.f64 (/.f64 x (neg.f64 y)) (-.f64 z t)) t))
(neg.f64 (fma.f64 (/.f64 (neg.f64 x) y) (-.f64 z t) t))
(neg.f64 (fma.f64 (-.f64 z t) (/.f64 (neg.f64 x) y) t))
(fma.f64 (/.f64 x y) (-.f64 z t) (neg.f64 t))
(fma.f64 x (/.f64 (-.f64 z t) y) (neg.f64 t))
(neg.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 (neg.f64 z) t)) t))
(-.f64 (*.f64 (/.f64 x y) (-.f64 z (neg.f64 t))) t)
(-.f64 (*.f64 (/.f64 x y) (+.f64 z t)) t)
(-.f64 (/.f64 (+.f64 z t) (/.f64 y x)) t)
(-.f64 (*.f64 x (/.f64 (+.f64 z t) y)) t)
(neg.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z (neg.f64 t))) (neg.f64 t)))
(fma.f64 (/.f64 x y) (-.f64 (neg.f64 z) t) t)
(-.f64 t (*.f64 (/.f64 x y) (+.f64 z t)))
(-.f64 t (/.f64 (+.f64 z t) (/.f64 y x)))
(+.f64 (*.f64 (/.f64 y x) (-.f64 z t)) t)
(fma.f64 (/.f64 y x) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 y x) t)
(+.f64 (*.f64 (/.f64 z y) (-.f64 x t)) t)
(fma.f64 (/.f64 z y) (-.f64 x t) t)
(+.f64 (*.f64 (/.f64 t y) (-.f64 z x)) x)
(fma.f64 (/.f64 t y) (-.f64 z x) x)
(+.f64 (*.f64 (/.f64 x z) (-.f64 y t)) t)
(fma.f64 (/.f64 x z) (-.f64 y t) t)
(+.f64 (*.f64 (/.f64 x t) (-.f64 z y)) y)
(fma.f64 (/.f64 x t) (-.f64 z y) y)
(fma.f64 x (/.f64 (-.f64 z y) t) y)
(+.f64 (*.f64 (/.f64 x y) (-.f64 t z)) z)
(fma.f64 (/.f64 x y) (-.f64 t z) z)
Compiler

Compiled 31 to 9 computations (71% saved)

end0.0ms (0%)

Profiling

Loading profile data...