System.Random.MWC.Distributions:standard from mwc-random-0.13.3.2

Time bar (total: 824.0ms)

analyze0.0ms (0.1%)

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 10 to 7 computations (30% saved)

sample716.0ms (86.8%)

Results
540.0ms6197×body256valid
164.0ms2059×body256infinite
Bogosity

preprocess108.0ms (13.1%)

Algorithm
1×egg-herbie
Rules
387×fma-def
99×associate-*r*
96×associate-+r+
88×*-commutative
85×associate--r+
Problems
256×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
024204
160188
2147188
3438188
4906188
51439188
61533188
71555188
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 1/2 (-.f64 (*.f64 x x) y))
(*.f64 1/2 (-.f64 (*.f64 x x) y))
(*.f64 1/2 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y))
(*.f64 1/2 (-.f64 (*.f64 x x) (neg.f64 y)))
(neg.f64 (*.f64 1/2 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y)))
(neg.f64 (*.f64 1/2 (-.f64 (*.f64 x x) (neg.f64 y))))
(*.f64 1/2 (-.f64 (*.f64 y y) x))
Outputs
(*.f64 1/2 (-.f64 (*.f64 x x) y))
(*.f64 1/2 (-.f64 (*.f64 x x) y))
(*.f64 1/2 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y))
(*.f64 1/2 (-.f64 (*.f64 x x) y))
(*.f64 1/2 (-.f64 (*.f64 x x) (neg.f64 y)))
(*.f64 1/2 (fma.f64 x x y))
(neg.f64 (*.f64 1/2 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y)))
(*.f64 -1/2 (-.f64 (*.f64 x x) y))
(*.f64 (-.f64 (*.f64 x x) y) -1/2)
(*.f64 1/2 (-.f64 y (*.f64 x x)))
(neg.f64 (*.f64 1/2 (-.f64 (*.f64 x x) (neg.f64 y))))
(*.f64 -1/2 (-.f64 (*.f64 x x) (neg.f64 y)))
(*.f64 (fma.f64 x x y) -1/2)
(*.f64 1/2 (-.f64 (*.f64 y y) x))
(*.f64 1/2 (fma.f64 y y (neg.f64 x)))
Symmetry

(abs x)

Compiler

Compiled 21 to 8 computations (61.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...