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

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze245.0ms (13.5%)

Memory

8.7MiB live, 111.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

sample29.0ms (1.6%)

Memory

-4.1MiB live, 11.1MiB allocated

Samples

19.0ms

260×

valid

Precisions

Click to see histograms. Total time spent on operations: 12.0ms

ival-add: 5.0ms (40.4% of total)

ival-mult: 4.0ms (32.3% of total)

ival-sub: 1.0ms (8.1% of total)

ival-div: 1.0ms (8.1% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

Bogosity

explain1.3s (73.3%)

Memory

7.0MiB live, 1 091.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
89	-	-	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`
6	-	-	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`
5	-	-	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`
0	-	-	`a`
0	-	-	`t`
0	-	-	`z`
0	-	-	`(*.f64 y b)`
0	-	-	`y`
0	-	-	`(*.f64 (+.f64 x y) z)`
0	-	-	`(+.f64 x y)`
0	-	-	`(*.f64 (+.f64 t y) a)`
0	-	-	`(+.f64 x t)`
0	-	-	`(+.f64 (+.f64 x t) y)`
0	-	-	`b`
0	-	-	`(+.f64 t y)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`	o/n	89	0
↳	`(*.f64 y b)`	overflow	28
↳	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`	overflow	89
↳	`(*.f64 (+.f64 x y) z)`	overflow	49
↳	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	overflow	79
↳	`(*.f64 (+.f64 t y) a)`	overflow	41
`-.f64`	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`	nan-rescue	6	0
↳	`(*.f64 (+.f64 x y) z)`	overflow	49
↳	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	overflow	79
↳	`(*.f64 (+.f64 t y) a)`	overflow	41
↳	`(*.f64 y b)`	overflow	28
`+.f64`	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	nan-rescue	5	0
↳	`(*.f64 (+.f64 x y) z)`	overflow	49
↳	`(*.f64 (+.f64 t y) a)`	overflow	41

Confusion

	Predicted +	Predicted -
+	89	0
-	0	167

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	89	0	0
-	0	0	167

Precision?

1.0

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	167
1	79
2	9
3	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Total Time

11.21826171875

Average Time

0.04382133483886719

Samples

268.0ms

3 072×

valid

Compiler

Compiled 3 156 to 792 computations (74.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 147.0ms

ival-add: 63.0ms (42.8% of total)

ival-mult: 51.0ms (34.6% of total)

ival-div: 18.0ms (12.2% of total)

ival-sub: 12.0ms (8.2% of total)

ival-true: 2.0ms (1.4% of total)

ival-assert: 1.0ms (0.7% of total)

preprocess183.0ms (10.1%)

Memory

-5.4MiB live, 43.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	163	585
1	510	573
2	1175	568
3	4566	568
0	16	21
0	26	21
1	45	21
2	90	21
3	237	21
4	501	21
5	1182	21
6	2382	21
7	5124	21
8	7472	21
0	8176	19

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%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	66.9%	(/.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 (1.1%)

Memory

2.8MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	21
1	29	21
2	41	21
3	47	21
4	51	21
5	52	21

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)

preprocess6.0ms (0.3%)

Memory: -5.2MiB live, 4.1MiB allocated
Compiler: Compiled 246 to 118 computations (52% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze245.0ms (13.5%)

sample29.0ms (1.6%)

explain1.3s (73.3%)

preprocess183.0ms (10.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (1.1%)

soundness0.0ms (0%)

preprocess6.0ms (0.3%)

end0.0ms (0%)

Profiling