Numeric.Histogram:binBounds from Chart-1.5.3

Time bar (total: 1.3s)

analyze64.0ms (4.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
0%0%99.8%0.2%0%0%0%3
0%0%99.8%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
50%49.9%49.9%0.2%0%0%0%7
50%49.9%49.9%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
75%74.9%25%0.2%0%0%0%11
75%74.9%25%0.2%0%0%0%12
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.1s (85.9%)

Results
896.0ms6184×body256valid
207.0ms2072×body256infinite
Bogosity

preprocess118.0ms (9.1%)

Algorithm
1×egg-herbie
Rules
607×associate-/r/
563×associate-+l-
452×*-commutative
375×fma-def
350×+-commutative
Problems
236×No Errors
20×(/.f64 (*.f64 (-.f64 y x) z) t)
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
060688
1136664
2408608
31303600
45113600
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
(+.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y (neg.f64 x)) z) t))
(+.f64 x (/.f64 (*.f64 (-.f64 (neg.f64 y) x) z) t))
(+.f64 x (/.f64 (*.f64 (-.f64 y x) (neg.f64 z)) t))
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) (neg.f64 t)))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y (neg.f64 x)) z) t)))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 (neg.f64 y) x) z) t)))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (neg.f64 z)) t)))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) z) (neg.f64 t))))
(+.f64 y (/.f64 (*.f64 (-.f64 x y) z) t))
(+.f64 z (/.f64 (*.f64 (-.f64 y z) x) t))
(+.f64 t (/.f64 (*.f64 (-.f64 y t) z) x))
(+.f64 x (/.f64 (*.f64 (-.f64 z x) y) t))
(+.f64 x (/.f64 (*.f64 (-.f64 t x) z) y))
(+.f64 x (/.f64 (*.f64 (-.f64 y x) t) z))
Outputs
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
(fma.f64 (/.f64 (-.f64 y x) t) z x)
(fma.f64 z (/.f64 (-.f64 y x) t) x)
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
(fma.f64 (/.f64 (-.f64 y x) t) z x)
(fma.f64 z (/.f64 (-.f64 y x) t) x)
(+.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y (neg.f64 x)) z) t))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) (/.f64 t z)))
(-.f64 (*.f64 (/.f64 (+.f64 x y) t) z) x)
(fma.f64 (/.f64 (+.f64 x y) t) z (neg.f64 x))
(-.f64 (*.f64 z (/.f64 (+.f64 x y) t)) x)
(+.f64 x (/.f64 (*.f64 (-.f64 (neg.f64 y) x) z) t))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) (/.f64 t z)))
(-.f64 x (*.f64 (/.f64 (+.f64 x y) t) z))
(fma.f64 (/.f64 (-.f64 (neg.f64 y) x) t) z x)
(-.f64 x (*.f64 z (/.f64 (+.f64 x y) t)))
(+.f64 x (/.f64 (*.f64 (-.f64 y x) (neg.f64 z)) t))
(+.f64 x (/.f64 (-.f64 y x) (/.f64 t (neg.f64 z))))
(+.f64 x (*.f64 z (/.f64 (-.f64 x y) t)))
(fma.f64 z (/.f64 (-.f64 x y) t) x)
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) (neg.f64 t)))
(+.f64 x (/.f64 (-.f64 y x) (/.f64 t (neg.f64 z))))
(+.f64 x (*.f64 z (/.f64 (-.f64 x y) t)))
(fma.f64 z (/.f64 (-.f64 x y) t) x)
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y (neg.f64 x)) z) t)))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) (/.f64 t z)))
(-.f64 x (*.f64 (/.f64 (+.f64 x y) t) z))
(fma.f64 (/.f64 (-.f64 (neg.f64 y) x) t) z x)
(-.f64 x (*.f64 z (/.f64 (+.f64 x y) t)))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 (neg.f64 y) x) z) t)))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) (/.f64 t z)))
(-.f64 (*.f64 (/.f64 (+.f64 x y) t) z) x)
(fma.f64 (/.f64 (+.f64 x y) t) z (neg.f64 x))
(-.f64 (*.f64 z (/.f64 (+.f64 x y) t)) x)
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (neg.f64 z)) t)))
(neg.f64 (+.f64 x (/.f64 (-.f64 y x) (/.f64 t (neg.f64 z)))))
(-.f64 (neg.f64 x) (/.f64 (-.f64 y x) (/.f64 t (neg.f64 z))))
(-.f64 (*.f64 (/.f64 z t) (-.f64 y x)) x)
(fma.f64 (/.f64 z t) (-.f64 y x) (neg.f64 x))
(fma.f64 (-.f64 y x) (/.f64 z t) (neg.f64 x))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) z) (neg.f64 t))))
(neg.f64 (+.f64 x (/.f64 (-.f64 y x) (/.f64 t (neg.f64 z)))))
(-.f64 (neg.f64 x) (/.f64 (-.f64 y x) (/.f64 t (neg.f64 z))))
(-.f64 (*.f64 (/.f64 z t) (-.f64 y x)) x)
(fma.f64 (/.f64 z t) (-.f64 y x) (neg.f64 x))
(fma.f64 (-.f64 y x) (/.f64 z t) (neg.f64 x))
(+.f64 y (/.f64 (*.f64 (-.f64 x y) z) t))
(+.f64 y (/.f64 (*.f64 z (-.f64 x y)) t))
(+.f64 y (/.f64 z (/.f64 t (-.f64 x y))))
(fma.f64 (/.f64 (-.f64 x y) t) z y)
(fma.f64 z (/.f64 (-.f64 x y) t) y)
(+.f64 z (/.f64 (*.f64 (-.f64 y z) x) t))
(+.f64 z (/.f64 (-.f64 y z) (/.f64 t x)))
(fma.f64 (/.f64 (-.f64 y z) t) x z)
(fma.f64 (/.f64 x t) (-.f64 y z) z)
(+.f64 t (/.f64 (*.f64 (-.f64 y t) z) x))
(+.f64 t (/.f64 (-.f64 y t) (/.f64 x z)))
(fma.f64 (/.f64 (-.f64 y t) x) z t)
(fma.f64 z (/.f64 (-.f64 y t) x) t)
(+.f64 x (/.f64 (*.f64 (-.f64 z x) y) t))
(+.f64 x (/.f64 (-.f64 z x) (/.f64 t y)))
(+.f64 x (*.f64 (/.f64 (-.f64 z x) t) y))
(fma.f64 (/.f64 (-.f64 z x) t) y x)
(fma.f64 y (/.f64 (-.f64 z x) t) x)
(+.f64 x (/.f64 (*.f64 (-.f64 t x) z) y))
(+.f64 x (/.f64 (-.f64 t x) (/.f64 y z)))
(fma.f64 (/.f64 (-.f64 t x) y) z x)
(fma.f64 z (/.f64 (-.f64 t x) y) x)
(+.f64 x (/.f64 (*.f64 (-.f64 y x) t) z))
(+.f64 x (*.f64 (/.f64 (-.f64 y x) z) t))
(fma.f64 (/.f64 (-.f64 y x) z) t x)
(fma.f64 t (/.f64 (-.f64 y x) z) x)
Compiler

Compiled 33 to 9 computations (72.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...