Data.Random.Dice:roll from dice-0.1

Time bar (total: 1.1s)

analyze0.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample799.0ms (74.2%)

Results
652.0ms6202×body256valid
136.0ms2054×body256infinite
Bogosity

preprocess278.0ms (25.8%)

Algorithm
egg-herbie
Rules
701×+-commutative
555×fma-def
506×associate-+r+
435×*-commutative
429×distribute-lft-out--
Problems
256×No Errors
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01364
13964
28464
325464
453564
5136364
6212564
7367464
8513664
9576264
10598564
11613164
12621564
13632964
14715464
15790064
Stop Event
node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) 1)
(-.f64 (*.f64 x x) 1)
(-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1)
(neg.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))
Outputs
(-.f64 (*.f64 x x) 1)
(fma.f64 x x -1)
(-.f64 (*.f64 x x) 1)
(fma.f64 x x -1)
(-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1)
(fma.f64 x x -1)
(neg.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))
(neg.f64 (fma.f64 x x -1))
(-.f64 1 (*.f64 x x))
Symmetry

(abs x)

Compiler

Compiled 12 to 6 computations (50% saved)

end0.0ms (0%)

Profiling

Loading profile data...