b parameter of renormalized beta distribution

Time bar (total: 2.4s)

analyze30.0ms (1.3%)

Memory
-14.9MiB live, 8.2MiB allocated
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 31 to 19 computations (38.7% saved)

sample2.2s (93%)

Memory
28.4MiB live, 663.0MiB allocated
Samples
478.0ms8 256×0valid-baseline
419.0ms8 256×0valid-sollya
419.0ms8 256×0valid-rival
Precisions
Click to see Rival histograms. Total time spent on operations: 241.0ms
ival-mult: 94.0ms (39% of total)
ival-sub: 81.0ms (33.6% of total)
ival-div: 53.0ms (22% of total)
ival-true: 7.0ms (2.9% of total)
ival-assert: 3.0ms (1.2% of total)
...in/eval/compile.rkt:76:19: 2.0ms (0.8% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 244.0ms
ival-mult: 96.0ms (39.3% of total)
ival-sub: 80.0ms (32.8% of total)
ival-div: 58.0ms (23.8% of total)
const: 10.0ms (4.1% of total)
Bogosity

preprocess113.0ms (4.8%)

Memory
5.4MiB live, 20.6MiB allocated
Algorithm
1×egg-herbie
Rules
651×div-sub
344×fma-define
330×unsub-neg
322×associate-*r*
313×distribute-lft-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
031383
180335
2251323
31006315
44423315
57708315
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)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.8%
(*.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)

simplify2.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
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)))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 15 to 9 computations (40% saved)

preprocess19.0ms (0.8%)

Memory
-11.4MiB live, 21.8MiB allocated
Compiler

Compiled 60 to 34 computations (43.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...