a parameter of renormalized beta distribution

Time bar (total: 1.0s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%12.5%87.5%0%0%0%0
100%12.5%0%87.5%0%0%0%1
Compiler

Compiled 24 to 17 computations (29.2% saved)

sample864.0ms (86%)

Results
499.0ms4832×body256valid
351.0ms3424×body256infinite
Bogosity

preprocess141.0ms (14%)

Algorithm
1×egg-herbie
Rules
573×associate-+r-
507×*-commutative
472×fma-neg
403×associate-+l+
335×+-commutative
Problems
256×No Errors
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
031341
179325
2213293
3788276
43837273
57000273
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
(*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 1 (neg.f64 m))) v) 1) (neg.f64 m))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) 1) m)
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 1 (neg.f64 m))) v) 1) (neg.f64 m)))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) 1) m))
(*.f64 (-.f64 (/.f64 (*.f64 v (-.f64 1 v)) m) 1) v)
Outputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
(*.f64 m (+.f64 (/.f64 m (/.f64 v (-.f64 1 m))) -1))
(*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 m (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
(*.f64 m (+.f64 (/.f64 m (/.f64 v (-.f64 1 m))) -1))
(*.f64 m (+.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) -1))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 m (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 1 (neg.f64 m))) v) 1) (neg.f64 m))
(*.f64 (neg.f64 m) (+.f64 (/.f64 (neg.f64 m) (/.f64 v (-.f64 1 (neg.f64 m)))) -1))
(*.f64 (neg.f64 m) (+.f64 (*.f64 (/.f64 (neg.f64 m) v) (+.f64 m 1)) -1))
(*.f64 m (+.f64 1 (*.f64 (/.f64 m v) (+.f64 m 1))))
(*.f64 m (fma.f64 (/.f64 m v) (+.f64 m 1) 1))
(*.f64 m (fma.f64 m (/.f64 (+.f64 m 1) v) 1))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) 1) m)
(*.f64 m (+.f64 (/.f64 m (/.f64 (neg.f64 v) (-.f64 1 m))) -1))
(*.f64 m (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) -1))
(*.f64 m (fma.f64 (/.f64 m (neg.f64 v)) (-.f64 1 m) -1))
(*.f64 m (fma.f64 (/.f64 m v) (+.f64 m -1) -1))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 1 (neg.f64 m))) v) 1) (neg.f64 m)))
(*.f64 (+.f64 (/.f64 (neg.f64 m) (/.f64 v (-.f64 1 (neg.f64 m)))) -1) (neg.f64 (neg.f64 m)))
(*.f64 m (+.f64 (*.f64 (/.f64 (neg.f64 m) v) (+.f64 m 1)) -1))
(*.f64 m (fma.f64 (/.f64 (neg.f64 m) v) (+.f64 m 1) -1))
(*.f64 m (-.f64 -1 (/.f64 (fma.f64 m m m) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 -1 m) -1))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) 1) m))
(*.f64 (+.f64 (/.f64 m (/.f64 (neg.f64 v) (-.f64 1 m))) -1) (neg.f64 m))
(*.f64 m (+.f64 (neg.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v))) 1))
(*.f64 m (-.f64 1 (*.f64 (-.f64 1 m) (/.f64 m (neg.f64 v)))))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) 1))
(*.f64 (-.f64 (/.f64 (*.f64 v (-.f64 1 v)) m) 1) v)
(*.f64 v (+.f64 (/.f64 v (/.f64 m (-.f64 1 v))) -1))
(*.f64 v (+.f64 (*.f64 (/.f64 v m) (-.f64 1 v)) -1))
(*.f64 v (fma.f64 (/.f64 v m) (-.f64 1 v) -1))
(*.f64 v (fma.f64 v (/.f64 (-.f64 1 v) m) -1))
Compiler

Compiled 41 to 26 computations (36.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...