Metrics for Optimisation.CirclePacking:place from circle-packing-0.1.0.4, F

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze93.0ms (10.4%)

Memory

1.4MiB live, 41.6MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
50%	49.9%	49.9%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
75%	74.8%	24.9%	0.2%	0%	0%	0%	11
75%	74.8%	24.9%	0.2%	0%	0%	0%	12

Compiler

Compiled 11 to 11 computations (0% saved)

sample19.0ms (2.2%)

Memory

-0.4MiB live, 7.3MiB allocated

Samples

12.0ms

260×

valid

Precisions

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

ival-div: 2.0ms (35.1% of total)

ival-sub: 2.0ms (35.1% of total)

ival-mult: 2.0ms (35.1% of total)

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

adjust: 0.0ms (0% of total)

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

Bogosity

explain652.0ms (73.3%)

Memory

5.1MiB live, 482.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
24	0	-	2	(-4.354303111841393e-111 1.0015549724569039e-146 -1.0143321614449537e-181 8.994994407125885e-171 -5.310621996073794e-239)	`(/.f64 (*.f64 y (-.f64 z t)) a)`
0	0	-	0	-	`a`
0	0	-	0	-	`t`
0	0	-	0	-	`z`
0	26	(1.9074155145493906e-54 3.2459998477847694e-142 -1.1395452544138184e-247 -1.0422710792960476e-113 4.842967685291005e-126)	0	-	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
0	0	-	0	-	`(-.f64 z t)`
0	0	-	0	-	`y`
0	0	-	0	-	`(*.f64 y (-.f64 z t))`
0	0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`	cancellation	26	0
`/.f64`	`(/.f64 (*.f64 y (-.f64 z t)) a)`	o/n	18	0
↳	`(*.f64 y (-.f64 z t))`	overflow	59
`/.f64`	`(/.f64 (*.f64 y (-.f64 z t)) a)`	u/n	1	0
↳	`(*.f64 y (-.f64 z t))`	underflow	9

Confusion

	Predicted +	Predicted -
+	19	1
-	25	211

Precision

0.4318181818181818

Recall

0.95

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	19	0	1
-	25	0	211

Precision?

0.4318181818181818

Recall?

0.95

Freqs

test

number	freq
0	212
1	43
2	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

4.892333984375

Average Time

0.019110679626464844

Samples

165.0ms

3 072×

valid

Compiler

Compiled 1 176 to 456 computations (61.2% saved)

Precisions

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

ival-sub: 30.0ms (41.8% of total)

ival-div: 19.0ms (26.5% of total)

ival-mult: 19.0ms (26.5% of total)

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

adjust: 1.0ms (1.4% of total)

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

preprocess96.0ms (10.7%)

Memory

3.1MiB live, 10.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	193
1	174	187
2	552	181
3	1659	181
4	5973	181
0	9	9
0	13	9
1	20	9
2	49	9
3	108	9
4	259	9
5	762	9
6	1595	9
7	2233	9
8	2287	9
9	2313	9
10	2328	9
11	2329	9
0	2329	8

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))

Outputs
(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
(fma.f64 (-.f64 t z) (/.f64 y a) x)

Compiler

Compiled 9 to 9 computations (0% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 5 computations (-∞% saved)

prune1.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	92.8%	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))

Compiler

Compiled 18 to 18 computations (0% saved)

simplify27.0ms (3%)

Memory

-7.3MiB live, 18.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	14	9
2	26	9
3	40	9
4	54	9
5	76	9
6	101	9
7	116	9
8	175	9
9	305	9
10	383	9

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))

Outputs
(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
(-.f64 x (/.f64 (*.f64 (-.f64 z t) y) a))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 9 to 9 computations (0% saved)

preprocess3.0ms (0.3%)

Memory: 2.0MiB live, 2.0MiB allocated
Compiler: Compiled 110 to 80 computations (27.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze93.0ms (10.4%)

sample19.0ms (2.2%)

explain652.0ms (73.3%)

preprocess96.0ms (10.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify27.0ms (3%)

soundness0.0ms (0%)

preprocess3.0ms (0.3%)

end0.0ms (0%)

Profiling