Data.Random.Distribution.Normal:normalTail from random-fu-0.2.6.2

Time bar (total: 2.0s)

analyze15.0ms (0.8%)

Memory
-14.8MiB live, 4.5MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 19 to 13 computations (31.6% saved)

sample1.8s (94.4%)

Memory
15.0MiB live, 571.2MiB allocated
Samples
408.0ms8 256×0valid-sollya
310.0ms8 256×0valid-baseline
278.0ms8 256×0valid-rival
Bogosity

preprocess70.0ms (3.6%)

Memory
1.7MiB live, 19.9MiB allocated
Algorithm
1×egg-herbie
Rules
248×fmm-def
174×fma-define
42×unsub-neg
41×sub-neg
36×associate-+l-
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
023205
162176
2172176
3469176
4782176
51037176
61108176
71118176
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y) y)
(+.f64 (+.f64 (*.f64 x x) (neg.f64 y)) (neg.f64 y))
(neg.f64 (+.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y) y))
(neg.f64 (+.f64 (+.f64 (*.f64 x x) (neg.f64 y)) (neg.f64 y)))
(+.f64 (+.f64 (*.f64 y y) x) x)
Outputs
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 y (fma.f64 x x y))
(fma.f64 x x (*.f64 #s(literal 2 binary64) y))
(fma.f64 #s(literal 2 binary64) y (*.f64 x x))
(fma.f64 y #s(literal 2 binary64) (*.f64 x x))
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 y (fma.f64 x x y))
(fma.f64 x x (*.f64 #s(literal 2 binary64) y))
(fma.f64 #s(literal 2 binary64) y (*.f64 x x))
(fma.f64 y #s(literal 2 binary64) (*.f64 x x))
(+.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y) y)
(+.f64 y (fma.f64 x x y))
(fma.f64 x x (*.f64 #s(literal 2 binary64) y))
(fma.f64 #s(literal 2 binary64) y (*.f64 x x))
(fma.f64 y #s(literal 2 binary64) (*.f64 x x))
(+.f64 (+.f64 (*.f64 x x) (neg.f64 y)) (neg.f64 y))
(-.f64 (-.f64 (*.f64 x x) y) y)
(fma.f64 x x (*.f64 y #s(literal -2 binary64)))
(fma.f64 y #s(literal -2 binary64) (*.f64 x x))
(neg.f64 (+.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y) y))
(neg.f64 (+.f64 y (fma.f64 x x y)))
(neg.f64 (fma.f64 x x (*.f64 #s(literal 2 binary64) y)))
(neg.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 x x)))
(neg.f64 (fma.f64 y #s(literal 2 binary64) (*.f64 x x)))
(neg.f64 (+.f64 (+.f64 (*.f64 x x) (neg.f64 y)) (neg.f64 y)))
(neg.f64 (-.f64 (-.f64 (*.f64 x x) y) y))
(neg.f64 (fma.f64 x x (*.f64 y #s(literal -2 binary64))))
(-.f64 (*.f64 y #s(literal 2 binary64)) (*.f64 x x))
(+.f64 (+.f64 (*.f64 y y) x) x)
(+.f64 x (fma.f64 y y x))
(fma.f64 y y (*.f64 #s(literal 2 binary64) x))
(fma.f64 y y (*.f64 x #s(literal 2 binary64)))
(fma.f64 x #s(literal 2 binary64) (*.f64 y y))
Symmetry

(abs x)

Compiler

Compiled 9 to 5 computations (44.4% 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
100.0%
(+.f64 (+.f64 (*.f64 x x) y) y)
Compiler

Compiled 18 to 10 computations (44.4% saved)

simplify2.0ms (0.1%)

Memory
-15.5MiB live, 0.3MiB allocated
Algorithm
1×egg-herbie
Rules
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

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

soundness0.0ms (0%)

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

Compiled 9 to 5 computations (44.4% saved)

preprocess21.0ms (1.1%)

Memory
0.9MiB live, 32.1MiB allocated
Remove

(abs x)

Compiler

Compiled 90 to 50 computations (44.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...