b parameter of renormalized beta distribution

Time bar (total: 1.0s)

analyze1.0ms (0.1%)

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 26 to 19 computations (26.9% saved)

sample914.0ms (87.5%)

Results
530.0ms4832×body256valid
371.0ms3424×body256infinite
Bogosity

preprocess130.0ms (12.5%)

Algorithm
1×egg-herbie
Rules
688×associate-+l-
452×*-commutative
399×associate--l+
348×+-commutative
345×associate--r-
Problems
256×No Errors
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
031383
179363
2254331
3976318
44778315
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
(*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 1 (neg.f64 m))) v) 1) (-.f64 1 (neg.f64 m)))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) 1) (-.f64 1 m))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 1 (neg.f64 m))) v) 1) (-.f64 1 (neg.f64 m))))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) 1) (-.f64 1 m)))
(*.f64 (-.f64 (/.f64 (*.f64 v (-.f64 1 v)) m) 1) (-.f64 1 v))
Outputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
(*.f64 (-.f64 1 m) (+.f64 (/.f64 m (/.f64 v (-.f64 1 m))) -1))
(*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 1 m) (/.f64 v m)) -1))
(*.f64 (-.f64 1 m) (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
(*.f64 (-.f64 1 m) (+.f64 (/.f64 m (/.f64 v (-.f64 1 m))) -1))
(*.f64 (-.f64 1 m) (+.f64 (/.f64 (-.f64 1 m) (/.f64 v m)) -1))
(*.f64 (-.f64 1 m) (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
(*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 1 (neg.f64 m))) v) 1) (-.f64 1 (neg.f64 m)))
(*.f64 (-.f64 1 (neg.f64 m)) (+.f64 (/.f64 (neg.f64 m) (/.f64 v (-.f64 1 (neg.f64 m)))) -1))
(*.f64 (+.f64 m 1) (+.f64 (*.f64 (/.f64 (neg.f64 m) v) (+.f64 m 1)) -1))
(*.f64 (+.f64 m 1) (+.f64 (/.f64 (*.f64 m (-.f64 -1 m)) v) -1))
(*.f64 (+.f64 m 1) (-.f64 -1 (/.f64 (fma.f64 m m m) v)))
(*.f64 (fma.f64 (/.f64 m v) (+.f64 m 1) 1) (-.f64 -1 m))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) 1) (-.f64 1 m))
(*.f64 (-.f64 1 m) (+.f64 (/.f64 m (/.f64 (neg.f64 v) (-.f64 1 m))) -1))
(*.f64 (-.f64 1 m) (+.f64 (*.f64 (/.f64 m (neg.f64 v)) (-.f64 1 m)) -1))
(*.f64 (-.f64 1 m) (fma.f64 (/.f64 m (neg.f64 v)) (-.f64 1 m) -1))
(*.f64 (-.f64 1 m) (fma.f64 (+.f64 m -1) (/.f64 m v) -1))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 1 (neg.f64 m))) v) 1) (-.f64 1 (neg.f64 m))))
(*.f64 (+.f64 (/.f64 (neg.f64 m) (/.f64 v (-.f64 1 (neg.f64 m)))) -1) (neg.f64 (-.f64 1 (neg.f64 m))))
(*.f64 (+.f64 m 1) (+.f64 (neg.f64 (*.f64 (/.f64 (neg.f64 m) v) (+.f64 m 1))) 1))
(*.f64 (+.f64 m 1) (-.f64 1 (/.f64 (*.f64 m (-.f64 -1 m)) v)))
(*.f64 (+.f64 m 1) (fma.f64 (/.f64 m v) (+.f64 m 1) 1))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) (neg.f64 v)) 1) (-.f64 1 m)))
(*.f64 (+.f64 (/.f64 m (/.f64 (neg.f64 v) (-.f64 1 m))) -1) (neg.f64 (-.f64 1 m)))
(*.f64 (+.f64 (*.f64 (/.f64 m (neg.f64 v)) (-.f64 1 m)) -1) (+.f64 -1 m))
(*.f64 (fma.f64 (/.f64 m (neg.f64 v)) (-.f64 1 m) -1) (+.f64 m -1))
(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) 1))
(*.f64 (-.f64 (/.f64 (*.f64 v (-.f64 1 v)) m) 1) (-.f64 1 v))
(*.f64 (-.f64 1 v) (+.f64 (/.f64 v (/.f64 m (-.f64 1 v))) -1))
(*.f64 (-.f64 1 v) (+.f64 (*.f64 (/.f64 v m) (-.f64 1 v)) -1))
(*.f64 (-.f64 1 v) (fma.f64 (/.f64 v m) (-.f64 1 v) -1))
(*.f64 (-.f64 1 v) (fma.f64 v (/.f64 (-.f64 1 v) m) -1))
Compiler

Compiled 43 to 28 computations (34.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...