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

Time bar (total: 3.2s)

analyze88.0ms (2.8%)

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 22 to 17 computations (22.7% saved)

sample2.7s (84.2%)

Results
2.1s6910×body256valid
292.0ms502×body1024valid
286.0ms818×body512valid
4.0ms26×body256infinite
1.0ms5×body256invalid
Bogosity

preprocess419.0ms (13%)

Algorithm
1×egg-herbie
Rules
514×distribute-neg-in
513×+-commutative
474×*-commutative
429×distribute-lft-out--
392×associate--r+
Problems
256×(log.f64 (-.f64 1 y))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0791048
1184976
2598956
31806956
45024956
57323956
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (*.f64 (-.f64 (neg.f64 x) 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 (neg.f64 y))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 (neg.f64 y))))) t)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 (neg.f64 z) 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) (neg.f64 t))
(neg.f64 (-.f64 (+.f64 (*.f64 (-.f64 (neg.f64 x) 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t))
(neg.f64 (-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 (neg.f64 y))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 (neg.f64 y))))) t))
(neg.f64 (-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 (neg.f64 z) 1) (log.f64 (-.f64 1 y)))) t))
(neg.f64 (-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) (neg.f64 t)))
(-.f64 (+.f64 (*.f64 (-.f64 y 1) (log.f64 x)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 x)))) t)
(-.f64 (+.f64 (*.f64 (-.f64 z 1) (log.f64 y)) (*.f64 (-.f64 x 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (+.f64 (*.f64 (-.f64 t 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) x)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 z)) (*.f64 (-.f64 y 1) (log.f64 (-.f64 1 z)))) t)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 t)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 t)))) y)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 t 1) (log.f64 (-.f64 1 y)))) z)
Outputs
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))) t)
(-.f64 (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) (*.f64 (+.f64 x -1) (log.f64 y))) t)
(fma.f64 (+.f64 x -1) (log.f64 y) (-.f64 (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y))) t))
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))) t)
(-.f64 (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) (*.f64 (+.f64 x -1) (log.f64 y))) t)
(fma.f64 (+.f64 x -1) (log.f64 y) (-.f64 (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y))) t))
(-.f64 (+.f64 (*.f64 (-.f64 (neg.f64 x) 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (+.f64 (neg.f64 x) -1) (log.f64 y) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (log.f64 y) (fma.f64 -1 x -1) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))) t)
(-.f64 (fma.f64 (log.f64 y) (-.f64 -1 x) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))) t)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 (neg.f64 y))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 (neg.f64 y))))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 (neg.f64 y)) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 (neg.f64 y))))) t)
(fma.f64 (+.f64 x -1) (log.f64 (neg.f64 y)) (-.f64 (*.f64 (+.f64 z -1) (log1p.f64 y)) t))
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 (neg.f64 y)) (*.f64 (+.f64 z -1) (log1p.f64 y))) t)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 (neg.f64 z) 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (+.f64 (neg.f64 z) -1))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (log1p.f64 (neg.f64 y)) (fma.f64 -1 z -1))) t)
(-.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 -1 z) (*.f64 (+.f64 x -1) (log.f64 y))) t)
(fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 -1 z) (fma.f64 (+.f64 x -1) (log.f64 y) (neg.f64 t)))
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) (neg.f64 t))
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 y)))) (neg.f64 t))
(fma.f64 (+.f64 x -1) (log.f64 y) (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) t))
(fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) (fma.f64 (+.f64 x -1) (log.f64 y) t))
(neg.f64 (-.f64 (+.f64 (*.f64 (-.f64 (neg.f64 x) 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t))
(neg.f64 (-.f64 (fma.f64 (+.f64 (neg.f64 x) -1) (log.f64 y) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 y)))) t))
(+.f64 (neg.f64 (fma.f64 (log.f64 y) (fma.f64 -1 x -1) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y))))) t)
(-.f64 t (fma.f64 (log.f64 y) (-.f64 -1 x) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))))
(neg.f64 (-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 (neg.f64 y))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 (neg.f64 y))))) t))
(neg.f64 (-.f64 (fma.f64 (+.f64 x -1) (log.f64 (neg.f64 y)) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 (neg.f64 y))))) t))
(neg.f64 (fma.f64 (+.f64 x -1) (log.f64 (neg.f64 y)) (-.f64 (*.f64 (+.f64 z -1) (log1p.f64 y)) t)))
(-.f64 t (fma.f64 (+.f64 x -1) (log.f64 (neg.f64 y)) (*.f64 (+.f64 z -1) (log1p.f64 y))))
(neg.f64 (-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 (neg.f64 z) 1) (log.f64 (-.f64 1 y)))) t))
(neg.f64 (-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (+.f64 (neg.f64 z) -1))) t))
(+.f64 (neg.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (log1p.f64 (neg.f64 y)) (fma.f64 -1 z -1)))) t)
(-.f64 t (fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 -1 z) (*.f64 (+.f64 x -1) (log.f64 y))))
(-.f64 t (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (log1p.f64 (neg.f64 y)) (-.f64 -1 z))))
(+.f64 t (fma.f64 (log.f64 y) (-.f64 1 x) (*.f64 (log1p.f64 (neg.f64 y)) (+.f64 1 z))))
(neg.f64 (-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) (neg.f64 t)))
(neg.f64 (-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 y)))) (neg.f64 t)))
(neg.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) t)))
(neg.f64 (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) (fma.f64 (+.f64 x -1) (log.f64 y) t)))
(-.f64 (*.f64 (log.f64 y) (-.f64 1 x)) (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) t))
(-.f64 (+.f64 (*.f64 (-.f64 y 1) (log.f64 x)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 x)))) t)
(-.f64 (fma.f64 (+.f64 y -1) (log.f64 x) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 x)))) t)
(-.f64 (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 x)) (*.f64 (+.f64 y -1) (log.f64 x))) t)
(fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 x)) (fma.f64 (+.f64 y -1) (log.f64 x) (neg.f64 t)))
(-.f64 (+.f64 (*.f64 (-.f64 z 1) (log.f64 y)) (*.f64 (-.f64 x 1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (+.f64 z -1) (log.f64 y) (*.f64 (+.f64 x -1) (log.f64 (-.f64 1 y)))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log1p.f64 (neg.f64 y)) (*.f64 (log.f64 y) (+.f64 z -1))) t)
(fma.f64 (+.f64 x -1) (log1p.f64 (neg.f64 y)) (fma.f64 (log.f64 y) (+.f64 z -1) (neg.f64 t)))
(-.f64 (+.f64 (*.f64 (-.f64 t 1) (log.f64 y)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) x)
(-.f64 (fma.f64 (+.f64 t -1) (log.f64 y) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 y)))) x)
(-.f64 (fma.f64 (log.f64 y) (+.f64 t -1) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)))) x)
(fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) (-.f64 (*.f64 (log.f64 y) (+.f64 t -1)) x))
(-.f64 (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 y)) (*.f64 (log.f64 y) (+.f64 t -1))) x)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 z)) (*.f64 (-.f64 y 1) (log.f64 (-.f64 1 z)))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 z) (*.f64 (+.f64 y -1) (log.f64 (-.f64 1 z)))) t)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 z) (*.f64 (+.f64 y -1) (log1p.f64 (neg.f64 z)))) t)
(fma.f64 (+.f64 x -1) (log.f64 z) (-.f64 (*.f64 (+.f64 y -1) (log1p.f64 (neg.f64 z))) t))
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 t)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 t)))) y)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 t) (*.f64 (+.f64 z -1) (log.f64 (-.f64 1 t)))) y)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 t) (*.f64 (+.f64 z -1) (log1p.f64 (neg.f64 t)))) y)
(-.f64 (fma.f64 (+.f64 z -1) (log1p.f64 (neg.f64 t)) (*.f64 (+.f64 x -1) (log.f64 t))) y)
(-.f64 (+.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (*.f64 (-.f64 t 1) (log.f64 (-.f64 1 y)))) z)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (+.f64 t -1))) z)
(-.f64 (fma.f64 (+.f64 x -1) (log.f64 y) (*.f64 (log1p.f64 (neg.f64 y)) (+.f64 t -1))) z)
(-.f64 (fma.f64 (log1p.f64 (neg.f64 y)) (+.f64 t -1) (*.f64 (+.f64 x -1) (log.f64 y))) z)
Compiler

Compiled 71 to 46 computations (35.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...