Data.Random.Distribution.T:$ccdf from random-fu-0.2.6.2

Time bar (total: 9.6s)

analyze21.0ms (0.2%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
87.5%87.4%12.5%0.1%0%0%0%7
87.5%87.4%12.5%0.1%0%0%0%8
93.8%93.7%6.2%0.1%0%0%0%9
93.8%93.7%6.2%0.1%0%0%0%10
96.9%96.8%3.1%0.1%0%0%0%11
96.9%96.8%3.1%0.1%0%0%0%12
Compiler

Compiled 10 to 6 computations (40% saved)

sample9.1s (94.8%)

Results
1.2s8256×0valid-rival
596.0ms8207×0valid-sollya
245.0ms49×0exit-sollya
Bogosity

preprocess380.0ms (4%)

Algorithm
1×egg-herbie
Rules
981×fma-neg
501×times-frac
486×div-sub
474×distribute-lft-in
444×distribute-rgt-in
Iterations

Useful iterations: 7 (0.0ms)

IterNodesCost
023220
150196
2119196
3340184
41369162
53017151
64389151
75089147
85561147
95865147
106107147
116577147
126783147
136787147
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (+.f64 (neg.f64 x) y) (+.f64 y y))
(/.f64 (+.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) (neg.f64 y)))
(neg.f64 (/.f64 (+.f64 (neg.f64 x) y) (+.f64 y y)))
(neg.f64 (/.f64 (+.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) (neg.f64 y))))
(/.f64 (+.f64 y x) (+.f64 x x))
Outputs
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (+.f64 x y) (*.f64 #s(literal 2 binary64) y))
(/.f64 (+.f64 x y) (*.f64 y #s(literal 2 binary64)))
(-.f64 (*.f64 x (/.f64 #s(literal 1/2 binary64) y)) #s(literal -1/2 binary64))
(fma.f64 x (/.f64 #s(literal 1/2 binary64) y) #s(literal 1/2 binary64))
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (+.f64 x y) (*.f64 #s(literal 2 binary64) y))
(/.f64 (+.f64 x y) (*.f64 y #s(literal 2 binary64)))
(-.f64 (*.f64 x (/.f64 #s(literal 1/2 binary64) y)) #s(literal -1/2 binary64))
(fma.f64 x (/.f64 #s(literal 1/2 binary64) y) #s(literal 1/2 binary64))
(/.f64 (+.f64 (neg.f64 x) y) (+.f64 y y))
(/.f64 (+.f64 y (neg.f64 x)) (*.f64 #s(literal 2 binary64) y))
(/.f64 (-.f64 y x) (*.f64 y #s(literal 2 binary64)))
(*.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 x y) y))
(+.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 x y)) #s(literal 1/2 binary64))
(fma.f64 x (/.f64 #s(literal -1/2 binary64) y) #s(literal 1/2 binary64))
(/.f64 (+.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) (neg.f64 y)))
(/.f64 (+.f64 y (neg.f64 x)) (*.f64 #s(literal 2 binary64) y))
(/.f64 (-.f64 y x) (*.f64 y #s(literal 2 binary64)))
(*.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 x y) y))
(+.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 x y)) #s(literal 1/2 binary64))
(fma.f64 x (/.f64 #s(literal -1/2 binary64) y) #s(literal 1/2 binary64))
(neg.f64 (/.f64 (+.f64 (neg.f64 x) y) (+.f64 y y)))
(/.f64 (+.f64 y (neg.f64 x)) (*.f64 #s(literal 2 binary64) (neg.f64 y)))
(/.f64 (-.f64 y x) (*.f64 y #s(literal -2 binary64)))
(*.f64 #s(literal 1/2 binary64) (/.f64 (-.f64 x y) y))
(+.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 x y)) #s(literal -1/2 binary64))
(fma.f64 x (/.f64 #s(literal 1/2 binary64) y) #s(literal -1/2 binary64))
(neg.f64 (/.f64 (+.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) (neg.f64 y))))
(/.f64 (+.f64 y (neg.f64 x)) (*.f64 #s(literal 2 binary64) (neg.f64 y)))
(/.f64 (-.f64 y x) (*.f64 y #s(literal -2 binary64)))
(*.f64 #s(literal 1/2 binary64) (/.f64 (-.f64 x y) y))
(+.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 x y)) #s(literal -1/2 binary64))
(fma.f64 x (/.f64 #s(literal 1/2 binary64) y) #s(literal -1/2 binary64))
(/.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (+.f64 x y) (*.f64 #s(literal 2 binary64) x))
(/.f64 (+.f64 x y) (*.f64 x #s(literal 2 binary64)))
(*.f64 #s(literal 1/2 binary64) (/.f64 (+.f64 x y) x))
(-.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 y #s(literal -1/2 binary64)) x))
(fma.f64 y (/.f64 #s(literal 1/2 binary64) x) #s(literal 1/2 binary64))
Compiler

Compiled 9 to 5 computations (44.4% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(/.f64 (+.f64 x y) (+.f64 y y))
Compiler

Compiled 18 to 10 computations (44.4% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01031
11131
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) (+.f64 y y))
Outputs
(/.f64 (+.f64 x y) (+.f64 y y))

soundness1.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 9 to 5 computations (44.4% saved)

preprocess94.0ms (1%)

Compiler

Compiled 54 to 32 computations (40.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...