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

Time bar (total: 903.0ms)

analyze0.0ms (0%)

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 9 to 6 computations (33.3% saved)

sample776.0ms (85.9%)

Results
586.0ms6215×body256valid
159.0ms2041×body256infinite
Bogosity

preprocess127.0ms (14.1%)

Algorithm
1×egg-herbie
Rules
642×associate-/r*
457×*-commutative
432×associate-*r/
286×associate-*r*
282×associate-+r+
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
024206
160198
2138198
3425196
41153196
52763196
66926196
Stop Event
1×node limit
Calls
Call 1
Inputs
(exp.f64 (*.f64 (*.f64 x y) y))
(exp.f64 (*.f64 (*.f64 x y) y))
(exp.f64 (*.f64 (*.f64 (neg.f64 x) y) y))
(exp.f64 (*.f64 (*.f64 x (neg.f64 y)) (neg.f64 y)))
(neg.f64 (exp.f64 (*.f64 (*.f64 (neg.f64 x) y) y)))
(neg.f64 (exp.f64 (*.f64 (*.f64 x (neg.f64 y)) (neg.f64 y))))
(exp.f64 (*.f64 (*.f64 y x) x))
Outputs
(exp.f64 (*.f64 (*.f64 x y) y))
(pow.f64 (exp.f64 (*.f64 x y)) y)
(pow.f64 (pow.f64 (exp.f64 y) x) y)
(pow.f64 (exp.f64 x) (*.f64 y y))
(exp.f64 (*.f64 (*.f64 x y) y))
(pow.f64 (exp.f64 (*.f64 x y)) y)
(pow.f64 (pow.f64 (exp.f64 y) x) y)
(pow.f64 (exp.f64 x) (*.f64 y y))
(exp.f64 (*.f64 (*.f64 (neg.f64 x) y) y))
(pow.f64 (exp.f64 (*.f64 x (neg.f64 y))) y)
(pow.f64 (pow.f64 (exp.f64 x) (neg.f64 y)) y)
(pow.f64 (pow.f64 (exp.f64 y) x) (neg.f64 y))
(pow.f64 (pow.f64 (exp.f64 x) y) (neg.f64 y))
(exp.f64 (*.f64 (*.f64 x (neg.f64 y)) (neg.f64 y)))
(pow.f64 (exp.f64 (*.f64 x y)) y)
(pow.f64 (pow.f64 (exp.f64 y) x) y)
(pow.f64 (exp.f64 x) (*.f64 y y))
(neg.f64 (exp.f64 (*.f64 (*.f64 (neg.f64 x) y) y)))
(neg.f64 (pow.f64 (exp.f64 (*.f64 x (neg.f64 y))) y))
(neg.f64 (pow.f64 (pow.f64 (exp.f64 x) (neg.f64 y)) y))
(neg.f64 (pow.f64 (pow.f64 (exp.f64 y) x) (neg.f64 y)))
(/.f64 -1 (pow.f64 (pow.f64 (exp.f64 y) x) y))
(/.f64 -1 (pow.f64 (exp.f64 x) (*.f64 y y)))
(neg.f64 (exp.f64 (*.f64 (*.f64 x (neg.f64 y)) (neg.f64 y))))
(neg.f64 (pow.f64 (exp.f64 (*.f64 x (neg.f64 y))) (neg.f64 y)))
(neg.f64 (pow.f64 (pow.f64 (exp.f64 y) x) y))
(neg.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(exp.f64 (*.f64 (*.f64 y x) x))
(pow.f64 (exp.f64 (*.f64 x y)) x)
(pow.f64 (pow.f64 (exp.f64 y) x) x)
(pow.f64 (exp.f64 (*.f64 x x)) y)
(pow.f64 (exp.f64 y) (*.f64 x x))
Symmetry

(abs y)

Compiler

Compiled 19 to 6 computations (68.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...