Metrics for Diagrams.TwoD.Apollonian:initialConfig from diagrams-contrib-1.3.0.5, A

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze36.0ms (3%)

Memory

5.0MiB live, 14.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
50%	49.9%	49.9%	0.1%	0%	0%	0%	3
50%	49.9%	49.9%	0.1%	0%	0%	0%	4
50%	49.9%	49.9%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
75%	74.9%	25%	0.1%	0%	0%	0%	7
75%	74.9%	25%	0.1%	0%	0%	0%	8
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	9
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	10
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	11
93.8%	93.6%	6.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample22.0ms (1.9%)

Memory

0.8MiB live, 8.6MiB allocated

Samples

15.0ms

260×

valid

Precisions

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

ival-mult: 6.0ms (60.7% of total)

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

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

ival-add: 1.0ms (10.1% of total)

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

exact: 0.0ms (0% of total)

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

Bogosity

explain920.0ms (76.8%)

Memory

5.3MiB live, 744.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
65	-	1	(-4.2698274544589675e-158 -1.8925461875785377e-216 1.7937366852263304e-220)	`(/.f64 (-.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) (.f64 y #s(literal 2 binary64)))`
30	-	0	-	`(-.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))`
0	-	0	-	`z`
0	-	0	-	`(*.f64 x x)`
0	-	0	-	`(*.f64 y #s(literal 2 binary64))`
0	-	0	-	`(+.f64 (.f64 x x) (.f64 y y))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`y`
0	-	0	-	`(*.f64 z z)`
0	-	0	-	`(*.f64 y y)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) (.f64 y #s(literal 2 binary64)))`	o/n	60	0
↳	`(-.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))`	overflow	140
↳	`(*.f64 y y)`	overflow	59
↳	`(*.f64 x x)`	overflow	53
↳	`(+.f64 (.f64 x x) (.f64 y y))`	overflow	99
↳	`(*.f64 z z)`	overflow	71
`-.f64`	`(-.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))`	nan-rescue	30	0
↳	`(*.f64 y y)`	overflow	59
↳	`(*.f64 x x)`	overflow	53
↳	`(+.f64 (.f64 x x) (.f64 y y))`	overflow	99
↳	`(*.f64 z z)`	overflow	71
`/.f64`	`(/.f64 (-.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) (.f64 y #s(literal 2 binary64)))`	u/n	4	0
↳	`(-.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z))`	underflow	4
↳	`(*.f64 y y)`	underflow	69
↳	`(*.f64 x x)`	underflow	62
↳	`(+.f64 (.f64 x x) (.f64 y y))`	underflow	16
↳	`(*.f64 z z)`	underflow	55

Confusion

	Predicted +	Predicted -
+	82	1
-	0	173

Precision

1.0

Recall

0.9879518072289156

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	82	0	1
-	0	0	173

Precision?

1.0

Recall?

0.9879518072289156

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	174
1	70
2	12

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

6.28955078125

Average Time

0.024568557739257813

Samples

208.0ms

3 072×

valid

Compiler

Compiled 1 968 to 552 computations (72% saved)

Precisions

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

ival-mult: 71.0ms (59.9% of total)

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

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

ival-add: 12.0ms (10.1% of total)

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

exact: 2.0ms (1.7% of total)

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

preprocess177.0ms (14.8%)

Memory

-2.1MiB live, 39.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	138
1	147	135
2	489	135
3	2191	135
4	6834	117
0	11	15
0	18	15
1	32	15
2	69	15
3	136	15
4	295	15
5	630	15
6	1505	13
7	3475	13
8	7859	13
0	8033	12

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (-.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) (.f64 y #s(literal 2 binary64)))

Outputs
(/.f64 (-.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) (.f64 y #s(literal 2 binary64)))
(/.f64 (fma.f64 (/.f64 (-.f64 x z) y) (+.f64 z x) y) #s(literal 2 binary64))

Symmetry

(abs z)

(abs x)

(negabs y)

Compiler

Compiled 15 to 11 computations (26.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	69.1%	(/.f64 (-.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) (.f64 y #s(literal 2 binary64)))

Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify20.0ms (1.7%)

Memory

-5.1MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	18	15
2	26	15
3	30	15
4	32	15

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) (.f64 y #s(literal 2 binary64)))

Outputs
(/.f64 (-.f64 (+.f64 (.f64 x x) (.f64 y y)) (.f64 z z)) (.f64 y #s(literal 2 binary64)))
(/.f64 (-.f64 (+.f64 (.f64 y y) (.f64 x x)) (.f64 z z)) (.f64 #s(literal 2 binary64) y))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 15 to 11 computations (26.7% saved)

preprocess22.0ms (1.8%)

Memory

1.1MiB live, 10.1MiB allocated

Remove

(negabs y)

(abs x)

(abs z)

Compiler

Compiled 270 to 198 computations (26.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze36.0ms (3%)

sample22.0ms (1.9%)

explain920.0ms (76.8%)

preprocess177.0ms (14.8%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify20.0ms (1.7%)

soundness0.0ms (0%)

preprocess22.0ms (1.8%)

end0.0ms (0%)

Profiling