a parameter of renormalized beta distribution

Time bar (total: 2.7s)

analyze18.0ms (0.7%)

Memory
-10.8MiB live, 5.1MiB 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 27 to 19 computations (29.6% saved)

sample2.3s (83.2%)

Memory
17.6MiB live, 671.0MiB allocated
Samples
474.0ms8 256×0valid-baseline
453.0ms8 256×0valid-sollya
429.0ms8 256×0valid-rival
Precisions
Click to see Rival histograms. Total time spent on operations: 252.0ms
ival-mult: 98.0ms (39% of total)
ival-sub: 89.0ms (35.4% of total)
ival-div: 53.0ms (21.1% of total)
ival-true: 7.0ms (2.8% 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: 245.0ms
ival-mult: 101.0ms (41.3% of total)
ival-sub: 80.0ms (32.7% of total)
ival-div: 54.0ms (22.1% of total)
const: 10.0ms (4.1% of total)
Bogosity

preprocess416.0ms (15.3%)

Memory
6.0MiB live, 23.1MiB allocated
Algorithm
1×egg-herbie
Rules
2 395×fma-define
625×div-sub
525×fmm-def
376×sub-neg
302×associate-*r*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
031341
180297
2218289
3810273
43188273
54851273
65793273
76386273
86738273
96883273
107004273
117156273
127352273
137436273
147436273
157492273
167564273
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)) m)
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #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)) (neg.f64 m))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #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)) (neg.f64 m)))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) m))
(*.f64 (-.f64 (/.f64 (*.f64 v (-.f64 #s(literal 1 binary64) v)) m) #s(literal 1 binary64)) v)
Outputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(*.f64 m (+.f64 (*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v)) #s(literal -1 binary64)))
(*.f64 m (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal -1 binary64)))
(*.f64 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)) m)
(*.f64 m (+.f64 (*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v)) #s(literal -1 binary64)))
(*.f64 m (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) v) #s(literal -1 binary64)))
(*.f64 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)) (neg.f64 m))
(*.f64 (neg.f64 m) (+.f64 (*.f64 (neg.f64 m) (/.f64 (-.f64 #s(literal 1 binary64) (neg.f64 m)) v)) #s(literal -1 binary64)))
(*.f64 (neg.f64 m) (fma.f64 (neg.f64 m) (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal -1 binary64)))
(*.f64 m (+.f64 #s(literal 1 binary64) (*.f64 m (/.f64 (+.f64 m #s(literal 1 binary64)) v))))
(*.f64 m (fma.f64 m (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal 1 binary64)))
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #s(literal 1 binary64)) m)
(*.f64 m (+.f64 (*.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v))) #s(literal -1 binary64)))
(*.f64 m (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v)) #s(literal -1 binary64)))
(*.f64 m (fma.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m (neg.f64 v)) #s(literal -1 binary64)))
(*.f64 m (fma.f64 (/.f64 m v) (+.f64 m #s(literal -1 binary64)) #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)) (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 (neg.f64 m)))
(*.f64 m (fma.f64 (neg.f64 m) (/.f64 (+.f64 m #s(literal 1 binary64)) v) #s(literal -1 binary64)))
(*.f64 m (-.f64 #s(literal -1 binary64) (*.f64 m (/.f64 (+.f64 m #s(literal 1 binary64)) v))))
(*.f64 m (fma.f64 (-.f64 #s(literal -1 binary64) m) (/.f64 m v) #s(literal -1 binary64)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 #s(literal -1 binary64) m) #s(literal -1 binary64)))
(neg.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) (neg.f64 v)) #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 m))
(*.f64 (neg.f64 m) (fma.f64 m (/.f64 (-.f64 #s(literal 1 binary64) m) (neg.f64 v)) #s(literal -1 binary64)))
(*.f64 m (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) m) (/.f64 m v))))
(*.f64 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)) v)
(*.f64 v (+.f64 (*.f64 v (/.f64 (-.f64 #s(literal 1 binary64) v) m)) #s(literal -1 binary64)))
(*.f64 v (fma.f64 v (/.f64 (-.f64 #s(literal 1 binary64) v) m) #s(literal -1 binary64)))
Compiler

Compiled 13 to 8 computations (38.5% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB 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.7%
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
Compiler

Compiled 26 to 16 computations (38.5% saved)

simplify2.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB 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
01343
12543
23243
33843
44643
55743
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
Outputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(*.f64 m (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)))
(*.f64 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 13 to 9 computations (30.8% saved)

preprocess19.0ms (0.7%)

Memory
-5.6MiB live, 25.6MiB allocated
Compiler

Compiled 52 to 34 computations (34.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...