b parameter of renormalized beta distribution

Time bar (total: 7.1s)

analyze1.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 26 to 15 computations (42.3% saved)

sample6.6s (92.9%)

Results
1.0s8256×0valid-rival
684.0ms8236×0valid-sollya
100.0ms20×0exit-sollya
Bogosity

preprocess331.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
649×div-sub
369×unsub-neg
344×fma-define
322×associate-*r*
313×distribute-lft-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
031383
180335
2251323
31006315
44423315
57702315
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 #s(literal 1 binary64) (neg.f64 m))) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (neg.f64 m)))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 #s(literal 1 binary64) (neg.f64 m))) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (neg.f64 m))))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m)))
(*.f64 (-.f64 (/.f64 (*.f64 v (-.f64 #s(literal 1 binary64) v)) m) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) v))
Outputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 #s(literal 1 binary64) m) (+.f64 (*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v)) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 #s(literal 1 binary64) m) (+.f64 (*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v)) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal -1 binary64)))
(*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 #s(literal 1 binary64) (neg.f64 m))) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (neg.f64 m)))
(*.f64 (-.f64 #s(literal 1 binary64) (neg.f64 m)) (+.f64 (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) (neg.f64 m)) v)) #s(literal -1 binary64)))
(*.f64 (+.f64 m #s(literal 1 binary64)) (fma.f64 (neg.f64 m) (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal -1 binary64)))
(*.f64 (+.f64 m #s(literal 1 binary64)) (+.f64 (*.f64 (-.f64 #s(literal -1 binary64) m) (/.f64 m v)) #s(literal -1 binary64)))
(*.f64 (+.f64 m #s(literal 1 binary64)) (fma.f64 m (/.f64 (-.f64 #s(literal -1 binary64) m) v) #s(literal -1 binary64)))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 #s(literal 1 binary64) m) (+.f64 (*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v))) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v)) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (fma.f64 m (/.f64 (+.f64 m #s(literal -1 binary64)) v) #s(literal -1 binary64)))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 (neg.f64 m) (-.f64 #s(literal 1 binary64) (neg.f64 m))) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (neg.f64 m))))
(*.f64 (+.f64 (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) (neg.f64 m)) v)) #s(literal -1 binary64)) (neg.f64 (-.f64 #s(literal 1 binary64) (neg.f64 m))))
(*.f64 (fma.f64 (neg.f64 m) (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal -1 binary64)) (neg.f64 (+.f64 m #s(literal 1 binary64))))
(*.f64 (+.f64 m #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 m (/.f64 (+.f64 m #s(literal 1 binary64)) v))))
(*.f64 (+.f64 m #s(literal 1 binary64)) (fma.f64 m (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal 1 binary64)))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m)))
(*.f64 (+.f64 (*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v))) #s(literal -1 binary64)) (neg.f64 (-.f64 #s(literal 1 binary64) m)))
(*.f64 (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v)) #s(literal -1 binary64)) (+.f64 #s(literal -1 binary64) m))
(*.f64 (fma.f64 m (/.f64 (+.f64 m #s(literal -1 binary64)) v) #s(literal -1 binary64)) (+.f64 m #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v) #s(literal 1 binary64)))
(*.f64 (-.f64 (/.f64 (*.f64 v (-.f64 #s(literal 1 binary64) v)) m) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) v))
(*.f64 (-.f64 #s(literal 1 binary64) v) (+.f64 (*.f64 v (/.f64 (-.f64 #s(literal 1 binary64) v) m)) #s(literal -1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) v) (fma.f64 v (/.f64 (-.f64 #s(literal 1 binary64) v) m) #s(literal -1 binary64)))
Compiler

Compiled 15 to 8 computations (46.7% saved)

eval1.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune13.0ms (0.2%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
Compiler

Compiled 30 to 16 computations (46.7% saved)

simplify18.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
6×unsub-neg
5×neg-mul-1
4×sub-neg
4×*-commutative
4×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01349
12549
23249
33849
44649
55749
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
Outputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
(*.f64 (-.f64 #s(literal 1 binary64) m) (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) m) (+.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal -1 binary64)))

soundness1.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 15 to 9 computations (40% saved)

preprocess138.0ms (2%)

Compiler

Compiled 60 to 34 computations (43.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...