AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1

Time bar (total: 901.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze245.0ms (27.2%)

Memory
8.3MiB live, 111.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
12.5%12.5%87.2%0.3%0%0%0%5
12.5%12.5%87.2%0.3%0%0%0%6
12.5%12.5%87.2%0.3%0%0%0%7
18.8%18.7%81%0.3%0%0%0%8
28.1%28%71.7%0.3%0%0%0%9
28.1%28%71.7%0.3%0%0%0%10
42.2%42.1%57.6%0.3%0%0%0%11
42.2%42.1%57.6%0.3%0%0%0%12
Compiler

Compiled 23 to 18 computations (21.7% saved)

sample30.0ms (3.3%)

Memory
-3.8MiB live, 11.4MiB allocated
Samples
20.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 13.0ms
ival-add: 5.0ms (39.8% of total)
ival-mult: 4.0ms (31.8% of total)
ival-div: 2.0ms (15.9% of total)
ival-sub: 1.0ms (8% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain423.0ms (47%)

Memory
4.6MiB live, 192.2MiB allocated
Confusion
Predicted +Predicted -
+8913
-0154
Precision
1.0
Recall
0.8725490196078431
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
238.0ms3 072×0valid
Compiler

Compiled 780 to 600 computations (23.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 145.0ms
ival-add: 63.0ms (43.3% of total)
ival-mult: 51.0ms (35.1% of total)
ival-div: 17.0ms (11.7% of total)
ival-sub: 11.0ms (7.6% of total)
ival-true: 2.0ms (1.4% of total)
adjust: 1.0ms (0.7% of total)
ival-assert: 1.0ms (0.7% of total)

preprocess177.0ms (19.7%)

Memory
2.3MiB live, 43.8MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0163585
1510573
21175568
34566568
01621
02621
14521
29021
323721
450121
5118221
6238221
7512421
8747221
0817619
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
Outputs
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
(/.f64 (fma.f64 (+.f64 (-.f64 z b) a) y (fma.f64 a t (*.f64 z x))) (+.f64 (+.f64 t x) y))
Compiler

Compiled 21 to 16 computations (23.8% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 6 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
62.5%
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
Compiler

Compiled 42 to 32 computations (23.8% saved)

simplify20.0ms (2.2%)

Memory
-5.2MiB live, 18.5MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01621
12921
24121
34721
45121
55221
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
Outputs
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
(/.f64 (-.f64 (+.f64 (*.f64 a (+.f64 t y)) (*.f64 z (+.f64 y x))) (*.f64 b y)) (+.f64 (+.f64 t x) y))

soundness0.0ms (0%)

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

Compiled 21 to 16 computations (23.8% saved)

preprocess5.0ms (0.6%)

Memory
4.1MiB live, 4.1MiB allocated
Compiler

Compiled 246 to 118 computations (52% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...