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

Time bar (total: 1.9s)

analyze13.0ms (0.7%)

Memory
4.2MiB live, 4.2MiB 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 15 to 11 computations (26.7% saved)

sample1.8s (94.7%)

Memory
6.1MiB live, 514.9MiB allocated
Samples
378.0ms8 256×0valid-sollya
319.0ms8 256×0valid-baseline
283.0ms8 256×0valid-rival
Precisions
Click to see Rival histograms. Total time spent on operations: 113.0ms
ival-mult: 66.0ms (58.5% of total)
ival-sub: 37.0ms (32.8% of total)
ival-true: 6.0ms (5.3% of total)
ival-assert: 3.0ms (2.7% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 108.0ms
ival-mult: 63.0ms (58.1% of total)
ival-sub: 39.0ms (36% of total)
const: 6.0ms (5.5% of total)
Bogosity

preprocess62.0ms (3.4%)

Memory
-10.9MiB live, 19.6MiB allocated
Algorithm
1×egg-herbie
Rules
208×fmm-def
175×fma-define
40×unsub-neg
31×distribute-lft-neg-in
31×associate-*r*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
020174
147148
2121136
3321132
4639132
5876132
6979132
7987132
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
(-.f64 (*.f64 x y) x)
(-.f64 (*.f64 (neg.f64 x) y) (neg.f64 x))
(-.f64 (*.f64 x (neg.f64 y)) x)
(neg.f64 (-.f64 (*.f64 (neg.f64 x) y) (neg.f64 x)))
(neg.f64 (-.f64 (*.f64 x (neg.f64 y)) x))
(-.f64 (*.f64 y x) y)
Outputs
(-.f64 (*.f64 x y) x)
(*.f64 x (+.f64 y #s(literal -1 binary64)))
(-.f64 (*.f64 x y) x)
(*.f64 x (+.f64 y #s(literal -1 binary64)))
(-.f64 (*.f64 (neg.f64 x) y) (neg.f64 x))
(-.f64 (*.f64 x (neg.f64 y)) (neg.f64 x))
(fma.f64 x (neg.f64 y) x)
(*.f64 x (fma.f64 y #s(literal -1 binary64) #s(literal 1 binary64)))
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(-.f64 (*.f64 x (neg.f64 y)) x)
(*.f64 x (+.f64 (neg.f64 y) #s(literal -1 binary64)))
(*.f64 x (fma.f64 y #s(literal -1 binary64) #s(literal -1 binary64)))
(*.f64 x (-.f64 #s(literal -1 binary64) y))
(neg.f64 (-.f64 (*.f64 (neg.f64 x) y) (neg.f64 x)))
(-.f64 (*.f64 x y) x)
(*.f64 x (+.f64 y #s(literal -1 binary64)))
(neg.f64 (-.f64 (*.f64 x (neg.f64 y)) x))
(neg.f64 (*.f64 x (+.f64 (neg.f64 y) #s(literal -1 binary64))))
(fma.f64 x y x)
(-.f64 (*.f64 y x) y)
(fma.f64 y x (neg.f64 y))
(*.f64 y (+.f64 x #s(literal -1 binary64)))
Symmetry

(negabs x)

Compiler

Compiled 7 to 4 computations (42.9% 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 x y) x)
Compiler

Compiled 14 to 8 computations (42.9% saved)

simplify2.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Rules
2×sub-neg
2×*-commutative
2×+-commutative
1×neg-sub0
1×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0922
11322
21822
32022
42122
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
Outputs
(-.f64 (*.f64 x y) x)

soundness0.0ms (0%)

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

Compiled 7 to 4 computations (42.9% saved)

preprocess19.0ms (1%)

Memory
2.4MiB live, 22.4MiB allocated
Remove

(negabs x)

Compiler

Compiled 56 to 32 computations (42.9% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...