Data.HyperLogLog.Config:hll from hyperloglog-0.3.4

Time bar (total: 1.6s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Algorithm
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 7 to 6 computations (14.3% saved)

sample556.0ms (34.1%)

Memory
13.9MiB live, 663.9MiB allocated; 159ms collecting garbage
Samples
382.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 90.0ms
ival-mult!: 89.0ms (98.5% of total)
adjust: 1.0ms (1.1% of total)
Bogosity

preprocess122.0ms (7.5%)

Memory
-26.5MiB live, 58.9MiB allocated; 20ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01432
13732
28332
314932
424432
549832
6209932
7475432
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.8%
(*.f64 (*.f64 x y) y)
Symmetry

(abs y)

(negabs x)

Compiler

Compiled 8 to 8 computations (0% saved)

series15.0ms (0.9%)

Memory
10.0MiB live, 40.7MiB allocated; 13ms collecting garbage
Counts
4 → 4
Calls
Call 1
Inputs
(*.f64 (*.f64 x y) y)
(*.f64 x y)
x
y
Outputs
#s(approx (* (* x y) y) #s(hole binary64 (* x (pow y 2))))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx y #s(hole binary64 y))
Calls

6 calls:

TimeVariablePointExpression
10.0ms
y
@-inf
((* (* x y) y) (* x y) x y)
1.0ms
x
@inf
((* (* x y) y) (* x y) x y)
1.0ms
x
@-inf
((* (* x y) y) (* x y) x y)
1.0ms
x
@0
((* (* x y) y) (* x y) x y)
1.0ms
y
@inf
((* (* x y) y) (* x y) x y)

rewrite441.0ms (27.1%)

Memory
50.9MiB live, 233.8MiB allocated; 72ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01334
01534
12234
23034
36234
415234
555834
6390134
0822734
Stop Event
iter-limit
iter-limit
node-limit
iter-limit
Counts
8 → 28
Calls
Call 1
Inputs
(*.f64 (*.f64 x y) y)
(*.f64 x y)
x
y
#s(approx (* (* x y) y) #s(hole binary64 (* x (pow y 2))))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx y #s(hole binary64 y))
Outputs
(*.f64 (*.f64 (neg.f64 x) (neg.f64 (fabs.f64 y))) (fabs.f64 y))
(*.f64 (neg.f64 x) (*.f64 (neg.f64 y) y))
(*.f64 (*.f64 (neg.f64 x) (fabs.f64 y)) (neg.f64 (fabs.f64 y)))
(*.f64 (*.f64 (fabs.f64 y) x) (fabs.f64 y))
(*.f64 (*.f64 (neg.f64 y) x) (neg.f64 y))
(*.f64 (*.f64 (neg.f64 y) y) (neg.f64 x))
(*.f64 (neg.f64 (fabs.f64 y)) (*.f64 (neg.f64 x) (fabs.f64 y)))
(*.f64 (fabs.f64 y) (*.f64 (neg.f64 (fabs.f64 y)) (neg.f64 x)))
(*.f64 (fabs.f64 y) (*.f64 (fabs.f64 y) x))
(*.f64 (neg.f64 y) (*.f64 (neg.f64 y) x))
(*.f64 (*.f64 y y) x)
(*.f64 (*.f64 y x) y)
(*.f64 y (*.f64 y x))
(*.f64 x (*.f64 y y))
(neg.f64 (*.f64 (*.f64 (neg.f64 y) x) y))
(*.f64 (neg.f64 (neg.f64 x)) y)
(*.f64 (neg.f64 x) (neg.f64 y))
(*.f64 (neg.f64 y) (neg.f64 x))
(*.f64 y (neg.f64 (neg.f64 x)))
(*.f64 y x)
(*.f64 x y)
(neg.f64 (*.f64 (neg.f64 y) x))
x
y
#s(approx (* (* x y) y) (*.f64 (*.f64 y x) y))
#s(approx (* x y) (*.f64 y x))
#s(approx x x)
#s(approx y y)

eval58.0ms (3.6%)

Memory
-46.9MiB live, 18.4MiB allocated; 58ms collecting garbage
Compiler

Compiled 100 to 52 computations (48% saved)

prune1.0ms (0.1%)

Memory
1.9MiB live, 1.9MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New24125
Fresh000
Picked011
Done000
Total24226
Accuracy
99.9%
Counts
26 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
89.4%
(*.f64 (*.f64 y y) x)
99.8%
(*.f64 (*.f64 x y) y)
Compiler

Compiled 8 to 8 computations (0% saved)

series3.0ms (0.2%)

Memory
4.3MiB live, 4.3MiB allocated; 0ms collecting garbage
Counts
4 → 4
Calls
Call 1
Inputs
(*.f64 (*.f64 y y) x)
(*.f64 y y)
y
x
Outputs
#s(approx (* (* y y) x) #s(hole binary64 (* x (pow y 2))))
#s(approx x #s(hole binary64 x))
#s(approx (* y y) #s(hole binary64 (pow y 2)))
#s(approx y #s(hole binary64 y))
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@-inf
((* (* y y) x) (* y y) y x)
1.0ms
y
@inf
((* (* y y) x) (* y y) y x)
1.0ms
x
@-inf
((* (* y y) x) (* y y) y x)
0.0ms
x
@inf
((* (* y y) x) (* y y) y x)
0.0ms
x
@0
((* (* y y) x) (* y y) y x)

rewrite386.0ms (23.7%)

Memory
26.3MiB live, 162.4MiB allocated; 20ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01334
01534
12634
25634
311634
428934
5133734
6542634
0812834
Stop Event
iter-limit
iter-limit
node-limit
iter-limit
Counts
8 → 37
Calls
Call 1
Inputs
(*.f64 (*.f64 y y) x)
(*.f64 y y)
y
x
#s(approx (* (* y y) x) #s(hole binary64 (* x (pow y 2))))
#s(approx x #s(hole binary64 x))
#s(approx (* y y) #s(hole binary64 (pow y 2)))
#s(approx y #s(hole binary64 y))
Outputs
(*.f64 (neg.f64 x) (*.f64 (neg.f64 y) y))
(*.f64 (*.f64 (neg.f64 x) (fabs.f64 y)) (neg.f64 (fabs.f64 y)))
(*.f64 (*.f64 (fabs.f64 y) x) (fabs.f64 y))
(*.f64 (*.f64 (neg.f64 y) x) (neg.f64 y))
(*.f64 (*.f64 (neg.f64 y) y) (neg.f64 x))
(*.f64 (neg.f64 (fabs.f64 y)) (*.f64 (neg.f64 x) (fabs.f64 y)))
(*.f64 (*.f64 x y) y)
(*.f64 (fabs.f64 y) (*.f64 (fabs.f64 y) x))
(*.f64 (neg.f64 y) (*.f64 (neg.f64 y) x))
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 x y))
(neg.f64 (*.f64 (*.f64 (neg.f64 y) x) y))
(*.f64 (neg.f64 (fabs.f64 y)) (neg.f64 (fabs.f64 y)))
(*.f64 (fabs.f64 y) (fabs.f64 y))
(*.f64 (neg.f64 y) (neg.f64 y))
(*.f64 y y)
(pow.f64 (pow.f64 y #s(literal 16 binary64)) #s(literal 1/8 binary64))
(pow.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 (*.f64 (*.f64 (*.f64 y y) y) y) #s(literal 1/2 binary64))
(pow.f64 (neg.f64 (fabs.f64 y)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 y) #s(literal 2 binary64))
(pow.f64 (neg.f64 y) #s(literal 2 binary64))
(pow.f64 (*.f64 y y) #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 y) y))
(sqrt.f64 (*.f64 (*.f64 (*.f64 y y) y) y))
(fabs.f64 (*.f64 (fabs.f64 y) (neg.f64 y)))
(fabs.f64 (*.f64 (fabs.f64 y) y))
(fabs.f64 (*.f64 (neg.f64 y) y))
(fabs.f64 (*.f64 y y))
y
x
#s(approx (* (* y y) x) (*.f64 x (*.f64 y y)))
#s(approx x x)
#s(approx (* y y) (*.f64 y y))
#s(approx y y)

eval3.0ms (0.2%)

Memory
5.7MiB live, 5.7MiB allocated; 0ms collecting garbage
Compiler

Compiled 134 to 81 computations (39.6% saved)

prune27.0ms (1.7%)

Memory
-28.0MiB live, 18.6MiB allocated; 13ms collecting garbage
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New32032
Fresh000
Picked011
Done011
Total32234
Accuracy
99.9%
Counts
34 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
89.4%
(*.f64 (*.f64 y y) x)
99.8%
(*.f64 (*.f64 x y) y)
Compiler

Compiled 14 to 14 computations (0% saved)

regimes4.0ms (0.2%)

Memory
9.2MiB live, 9.2MiB allocated; 0ms collecting garbage
Accuracy

Total -6.7b remaining (-5221.6%)

Threshold costs -6.7b (-5221.6%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 x y) y)
(*.f64 (*.f64 y y) x)
Outputs
(*.f64 (*.f64 x y) y)
Calls

3 calls:

1.0ms
y
1.0ms
x
1.0ms
(*.f64 (*.f64 x y) y)
Results
AccuracySegmentsBranch
99.8%1(*.f64 (*.f64 x y) y)
99.8%1x
99.8%1y
Compiler

Compiled 6 to 8 computations (-33.3% saved)

derivations0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Stop Event
done
Compiler

Compiled 4 to 4 computations (0% saved)

preprocess12.0ms (0.7%)

Memory
21.6MiB live, 21.6MiB allocated; 0ms collecting garbage
Remove

(negabs x)

(abs y)

Compiler

Compiled 24 to 24 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...