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

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze250.0ms (13.9%)

Memory

8.6MiB live, 111.5MiB 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)

sample30.0ms (1.7%)

Memory

-3.8MiB live, 11.4MiB allocated

Samples

20.0ms

260×

valid

Precisions

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

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

ival-mult: 5.0ms (39.4% of total)

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

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

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

adjust: 0.0ms (0% of total)

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

Bogosity

explain1.3s (72.7%)

Memory

0.7MiB live, 1 094.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
102	-	1	(-8.83299497209564e-149 1.3920839993814112e-236 -9.158574917409123e-182 1.1770328598285137e-47 -1.1634270415922991e-265 -5.9004271176855605e-161)	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`
7	-	0	-	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`
6	-	0	-	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`
0	-	0	-	`a`
0	-	0	-	`t`
0	-	0	-	`z`
0	-	0	-	`(*.f64 y b)`
0	-	0	-	`y`
0	-	0	-	`(*.f64 (+.f64 x y) z)`
0	-	0	-	`(+.f64 x y)`
0	-	0	-	`(*.f64 (+.f64 t y) a)`
0	-	0	-	`(+.f64 x t)`
0	-	0	-	`(+.f64 (+.f64 x t) y)`
0	-	0	-	`b`
0	-	0	-	`(+.f64 t y)`
0	-	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	101	0
↳	`(*.f64 y b)`	overflow	31
↳	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`	overflow	101
↳	`(*.f64 (+.f64 x y) z)`	overflow	58
↳	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	overflow	91
↳	`(*.f64 (+.f64 t y) a)`	overflow	48
`-.f64`	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`	nan-rescue	7	0
↳	`(*.f64 (+.f64 x y) z)`	overflow	58
↳	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	overflow	91
↳	`(*.f64 (+.f64 t y) a)`	overflow	48
↳	`(*.f64 y b)`	overflow	31
`+.f64`	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	nan-rescue	6	0
↳	`(*.f64 (+.f64 x y) z)`	overflow	58
↳	`(*.f64 (+.f64 t y) a)`	overflow	48

Confusion

	Predicted +	Predicted -
+	101	1
-	0	154

Precision

1.0

Recall

0.9901960784313726

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	101	0	1
-	0	0	154

Precision?

1.0

Recall?

0.9901960784313726

Freqs

test

number	freq
0	155
1	89
2	11
3	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

12.086181640625

Average Time

0.047211647033691406

Samples

272.0ms	3 060×	0	valid
4.0ms	12×	2	valid

Compiler

Compiled 3 156 to 792 computations (74.9% saved)

Precisions

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

ival-add: 66.0ms (43.1% of total)

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

ival-div: 17.0ms (11.1% of total)

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

adjust: 2.0ms (1.3% of total)

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

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

preprocess171.0ms (9.6%)

Memory

5.5MiB 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
	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 (1.1%)

Memory

2.7MiB live, 18.5MiB 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))

soundness1.0ms (0.1%)

Memory

-10.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 21 to 16 computations (23.8% saved)

preprocess17.0ms (0.9%)

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

start0.0ms (0%)

analyze250.0ms (13.9%)

sample30.0ms (1.7%)

explain1.3s (72.7%)

preprocess171.0ms (9.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (1.1%)

soundness1.0ms (0.1%)

preprocess17.0ms (0.9%)

end0.0ms (0%)

Profiling