b parameter of renormalized beta distribution

Time bar (total: 1.2s)

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)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-div: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
ival-and: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
const: 0.0ms (0% of total)
ival-<: 0.0ms (0% of total)

sample941.0ms (75.7%)

Results
697.0ms8256×256valid
Precisions
Click to see histograms. Total time spent on operations: 463.0ms
ival-mult: 145.0ms (31.3% of total)
ival-sub: 107.0ms (23.1% of total)
ival-<: 92.0ms (19.9% of total)
ival-div: 89.0ms (19.2% of total)
ival-and: 18.0ms (3.9% of total)
const: 13.0ms (2.8% of total)
Bogosity

preprocess119.0ms (9.5%)

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)))

explain156.0ms (12.6%)

FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) m))
00-0-(*.f64 m (-.f64 #s(literal 1 binary64) m))
00-0-m
00-0-#s(literal 1 binary64)
00-0-(-.f64 #s(literal 1 binary64) m)
00-0-(/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v)
00-0-v
00-0-(-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64))
Results
45.0ms512×256valid
Compiler

Compiled 101 to 26 computations (74.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.0ms
ival-mult: 9.0ms (44.6% of total)
ival-sub: 6.0ms (29.7% of total)
ival-div: 4.0ms (19.8% of total)
const: 1.0ms (5% of total)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

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)

simplify3.0ms (0.2%)

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)))

soundness2.0ms (0.1%)

Stop Event
1×fuel
Compiler

Compiled 15 to 9 computations (40% saved)

preprocess21.0ms (1.7%)

Compiler

Compiled 60 to 34 computations (43.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...