Data.Histogram.Bin.LogBinD:$cbinSizeN from histogram-fill-0.8.4.1

Time bar (total: 848.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 8 to 5 computations (37.5% saved)

sample755.0ms (89.1%)

Results
673.0ms7250×body256valid
71.0ms1006×body256infinite
Bogosity

preprocess35.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
678×fma-def
106×associate-*r*
92×unsub-neg
76×distribute-rgt-in
66×associate-*l*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01564
13856
28952
324552
456952
583052
689452
798252
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
(-.f64 (*.f64 (neg.f64 x) y) (neg.f64 x))
(-.f64 (*.f64 x (neg.f64 y)) x)
(-.f64 (*.f64 y x) y)
Outputs
(-.f64 (*.f64 x y) x)
(-.f64 (*.f64 (neg.f64 x) y) (neg.f64 x))
(fma.f64 (neg.f64 x) y (neg.f64 (neg.f64 x)))
(fma.f64 x (neg.f64 y) x)
(-.f64 x (*.f64 x y))
(-.f64 (*.f64 x (neg.f64 y)) x)
(fma.f64 x (neg.f64 y) (neg.f64 x))
(neg.f64 (fma.f64 x y x))
(*.f64 x (-.f64 -1 y))
(-.f64 (*.f64 y x) y)
(-.f64 (*.f64 x y) y)
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify14.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
390×fma-def
42×cancel-sign-sub-inv
40×distribute-lft-neg-in
32×sub-neg
30×distribute-rgt-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
11213
21813
32913
44613
57013
615313
729613
843813
947313
1047513
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
Outputs
(-.f64 (*.f64 x y) x)
(fma.f64 x y (neg.f64 x))

eval0.0ms (0%)

Compiler

Compiled 12 to 6 computations (50% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Accurracy
100.0%
Counts
3 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (*.f64 x y) x)
▶100.0%
(-.f64 (*.f64 x y) x)
Compiler

Compiled 14 to 8 computations (42.9% saved)

localize20.0ms (2.4%)

Compiler

Compiled 13 to 5 computations (61.5% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accurracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (*.f64 x y) x)
Compiler

Compiled 14 to 8 computations (42.9% saved)

simplify4.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
4×sub-neg
4×+-commutative
4×*-commutative
2×neg-mul-1
2×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
11013
21513
31713
41813
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
Outputs
(-.f64 (*.f64 x y) x)
Compiler

Compiled 7 to 4 computations (42.9% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess16.0ms (1.9%)

Compiler

Compiled 28 to 16 computations (42.9% saved)

Profiling

Loading profile data...