Statistics.Distribution.Beta:$cdensity from math-functions-0.1.5.2

Time bar (total: 2.6s)

analyze84.0ms (3.2%)

Memory
21.0MiB live, 212.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%49.9%0.2%0%49.9%0%3
0%0%49.9%0.2%0%49.9%0%4
0%0%49.9%0.2%0%49.9%0%5
0%0%49.9%0.2%0%49.9%0%6
0%0%25%0.2%0%74.9%0%7
0%0%25%0.2%0%74.9%0%8
0%0%25%0.2%0%74.9%0%9
0%0%25%0.2%0%74.9%0%10
50%12.5%12.5%0.2%0%74.9%0%11
50%12.5%12.5%0.2%0%74.9%0%12
Compiler

Compiled 19 to 16 computations (15.8% saved)

sample2.2s (85.1%)

Memory
25.6MiB live, 3 573.6MiB allocated
Samples
1.1s2 078×1valid
717.0ms6 168×0valid
3.0ms10×2valid
0.0ms5×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-log: 846.0ms (54.9% of total)
ival-sub: 345.0ms (22.4% of total)
ival-mult: 200.0ms (13% of total)
ival-add: 81.0ms (5.3% of total)
adjust: 55.0ms (3.6% of total)
exact: 7.0ms (0.5% of total)
ival-true: 6.0ms (0.4% of total)
ival-assert: 3.0ms (0.2% of total)
Bogosity

preprocess308.0ms (11.7%)

Memory
23.7MiB live, 322.8MiB allocated
Algorithm
2×egg-herbie
Rules
4 252×accelerator-lowering-fma.f32
4 252×accelerator-lowering-fma.f64
1 446×sub-neg
1 062×associate-+l+
1 040×+-lowering-+.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
071269
1162265
2476258
31754257
44328257
57121257
01417
12917
25517
313717
429417
581717
6235417
7353117
8389417
9394017
10394017
11432317
12442517
13442517
14442717
0442715
Stop Event
1×iter limit
1×saturated
1×node limit
Calls
Call 1
Inputs
(- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t)
Outputs
(- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t)
(fma.f64 (+.f64 z #s(literal -1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)) (-.f64 (fma.f64 (+.f64 x #s(literal -1 binary64)) (log.f64 y) #s(literal 0 binary64)) t))
Call 2
Inputs
(- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t)
(- (+ (* (- (neg x) 1) (log y)) (* (- z 1) (log (- 1 y)))) t)
(- (+ (* (- x 1) (log (neg y))) (* (- z 1) (log (- 1 (neg y))))) t)
(- (+ (* (- x 1) (log y)) (* (- (neg z) 1) (log (- 1 y)))) t)
(- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (neg t))
(neg (- (+ (* (- (neg x) 1) (log y)) (* (- z 1) (log (- 1 y)))) t))
(neg (- (+ (* (- x 1) (log (neg y))) (* (- z 1) (log (- 1 (neg y))))) t))
(neg (- (+ (* (- x 1) (log y)) (* (- (neg z) 1) (log (- 1 y)))) t))
(neg (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (neg t)))
(- (+ (* (- y 1) (log x)) (* (- z 1) (log (- 1 x)))) t)
(- (+ (* (- z 1) (log y)) (* (- x 1) (log (- 1 y)))) t)
(- (+ (* (- t 1) (log y)) (* (- z 1) (log (- 1 y)))) x)
(- (+ (* (- x 1) (log z)) (* (- y 1) (log (- 1 z)))) t)
(- (+ (* (- x 1) (log t)) (* (- z 1) (log (- 1 t)))) y)
(- (+ (* (- x 1) (log y)) (* (- t 1) (log (- 1 y)))) z)
Outputs
(- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t)
(+ (* (+ x -1) (log y)) (- (* (+ z -1) (log (- 1 y))) t))
(- (+ (* (- (neg x) 1) (log y)) (* (- z 1) (log (- 1 y)))) t)
(+ (* (+ z -1) (log (- 1 y))) (- (* (log y) (- -1 x)) t))
(- (+ (* (- x 1) (log (neg y))) (* (- z 1) (log (- 1 (neg y))))) t)
(- (* (+ z -1) (log (+ 1 y))) (+ t (* (log (neg y)) (- 1 x))))
(- (+ (* (- x 1) (log y)) (* (- (neg z) 1) (log (- 1 y)))) t)
(+ (* (+ x -1) (log y)) (- (* (log (- 1 y)) (- -1 z)) t))
(- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (neg t))
(+ (* (+ x -1) (log y)) (+ (* (+ z -1) (log (- 1 y))) t))
(neg (- (+ (* (- (neg x) 1) (log y)) (* (- z 1) (log (- 1 y)))) t))
(+ (* (log y) (+ x 1)) (+ t (* (log (- 1 y)) (- 1 z))))
(neg (- (+ (* (- x 1) (log (neg y))) (* (- z 1) (log (- 1 (neg y))))) t))
(+ t (+ (* (log (neg y)) (- 1 x)) (* (log (+ 1 y)) (- 1 z))))
(neg (- (+ (* (- x 1) (log y)) (* (- (neg z) 1) (log (- 1 y)))) t))
(+ (* (log y) (- 1 x)) (+ t (* (log (- 1 y)) (+ 1 z))))
(neg (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (neg t)))
(+ (* (log y) (- 1 x)) (- (* (log (- 1 y)) (- 1 z)) t))
(- (+ (* (- y 1) (log x)) (* (- z 1) (log (- 1 x)))) t)
(+ (* (+ z -1) (log (- 1 x))) (- (* (+ y -1) (log x)) t))
(- (+ (* (- z 1) (log y)) (* (- x 1) (log (- 1 y)))) t)
(+ (* (+ x -1) (log (- 1 y))) (- (* (log y) (+ z -1)) t))
(- (+ (* (- t 1) (log y)) (* (- z 1) (log (- 1 y)))) x)
(+ (* (log y) (+ t -1)) (- (* (+ z -1) (log (- 1 y))) x))
(- (+ (* (- x 1) (log z)) (* (- y 1) (log (- 1 z)))) t)
(+ (* (+ y -1) (log (- 1 z))) (- (* (+ x -1) (log z)) t))
(- (+ (* (- x 1) (log t)) (* (- z 1) (log (- 1 t)))) y)
(+ (* (+ x -1) (log t)) (- (* (+ z -1) (log (- 1 t))) y))
(- (+ (* (- x 1) (log y)) (* (- t 1) (log (- 1 y)))) z)
(+ (* (+ x -1) (log y)) (- (* (log (- 1 y)) (+ t -1)) z))

explain0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Compiler

Compiled 68 to 16 computations (76.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...