Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, E

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.5%	0.5%	0%	0%	0%	0
100%	99.5%	0%	0.5%	0%	0%	0%	1

Compiler

Compiled 33 to 30 computations (9.1% saved)

sample41.0ms (1.4%)

Memory

0.3MiB live, 16.6MiB allocated

Samples

28.0ms

260×

valid

Precisions

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

ival-mult: 15.0ms (79.3% of total)

ival-sub: 3.0ms (15.9% of total)

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

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

exact: 0.0ms (0% of total)

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

Bogosity

explain2.3s (78.5%)

Memory

14.4MiB live, 1 837.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
21	-	0	-	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`
16	-	1	(-1.7012870790770035e-214 -8.796700565760479e-164 9.592826666694103e+60 -7.875630083984157e+298 -7.435054223657795e-102 5.6311994097475025e-78 -1.2389666772707542e+160 9.504628839877981e+33 -4.5899424539601985e-290 7.947101551794754e+217)	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`
13	-	0	-	`(-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (*.f64 x #s(literal 4 binary64)) i))`
10	-	0	-	`(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (.f64 x #s(literal 4 binary64)) i)) (.f64 (*.f64 j #s(literal 27 binary64)) k))`
9	-	0	-	`(+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (*.f64 b c))`
4	-	0	-	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`
0	-	0	-	`k`
0	-	0	-	`(*.f64 a #s(literal 4 binary64))`
0	-	0	-	`a`
0	-	0	-	`(*.f64 j #s(literal 27 binary64))`
0	-	0	-	`t`
0	-	0	-	`(*.f64 b c)`
0	-	0	-	`(.f64 (.f64 a #s(literal 4 binary64)) t)`
0	-	0	-	`c`
0	-	0	-	`y`
0	-	0	-	`i`
0	-	0	-	`(*.f64 x #s(literal 4 binary64))`
0	-	0	-	`#s(literal 27 binary64)`
0	-	0	-	`(.f64 (.f64 x #s(literal 18 binary64)) y)`
0	-	0	-	`z`
0	-	0	-	`#s(literal 4 binary64)`
0	-	0	-	`j`
0	-	0	-	`(*.f64 x #s(literal 18 binary64))`
0	-	0	-	`(.f64 (.f64 x #s(literal 4 binary64)) i)`
0	-	0	-	`#s(literal 18 binary64)`
0	-	0	-	`(.f64 (.f64 j #s(literal 27 binary64)) k)`
0	-	0	-	`b`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (*.f64 x #s(literal 4 binary64)) i))`	nan-rescue	13	0
↳	`(*.f64 b c)`	overflow	38
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	37
↳	`(*.f64 a #s(literal 4 binary64))`	overflow	1
↳	`(+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (*.f64 b c))`	overflow	100
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	34
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	52
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	74
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	28
↳	`(.f64 (.f64 x #s(literal 4 binary64)) i)`	overflow	36
`-.f64`	`(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (.f64 x #s(literal 4 binary64)) i)) (.f64 (*.f64 j #s(literal 27 binary64)) k))`	nan-rescue	10	0
↳	`(*.f64 b c)`	overflow	38
↳	`(.f64 (.f64 x #s(literal 4 binary64)) i)`	overflow	36
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	37
↳	`(+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (*.f64 b c))`	overflow	100
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	34
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	52
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	74
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	28
↳	`(*.f64 a #s(literal 4 binary64))`	overflow	1
↳	`(-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (*.f64 x #s(literal 4 binary64)) i))`	overflow	112
↳	`(.f64 (.f64 j #s(literal 27 binary64)) k)`	overflow	39
`*.f64`	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	*no**	10	0
`+.f64`	`(+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (*.f64 b c))`	nan-rescue	9	0
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	37
↳	`(*.f64 a #s(literal 4 binary64))`	overflow	1
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	34
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	52
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	74
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	28
↳	`(*.f64 b c)`	overflow	38
`*.f64`	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	*no**	8	0
`-.f64`	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	nan-rescue	4	0
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	52
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	37
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	28
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	34
↳	`(*.f64 a #s(literal 4 binary64))`	overflow	1

Confusion

	Predicted +	Predicted -
+	42	0
-	4	210

Precision

0.9130434782608695

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	0
-	4	0	210

Precision?

0.9130434782608695

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	210
1	39
2	6
3	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

12.254638671875

Average Time

0.04786968231201172

Samples

415.0ms

3 072×

valid

Compiler

Compiled 5 940 to 1 368 computations (77% saved)

Precisions

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

ival-mult: 179.0ms (76.9% of total)

ival-sub: 35.0ms (15% of total)

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

exact: 4.0ms (1.7% of total)

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

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

preprocess546.0ms (18.7%)

Memory

-3.0MiB live, 39.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	427	1917
1	1745	1897
2	6134	1893
0	28	31
0	43	29
1	90	29
2	268	29
3	763	29
4	1902	29
5	3846	29
6	5240	29
7	5703	29
8	5980	29
9	6003	29
10	6021	29
11	6021	29
12	6216	29
13	6239	29
14	6239	29
15	6432	29
16	6432	29
17	6924	29
18	7152	29
19	7152	29
20	7152	29
21	7152	29
22	7152	29
23	7162	29
0	7162	25

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (.f64 x #s(literal 4 binary64)) i)) (.f64 (*.f64 j #s(literal 27 binary64)) k))

Inputs

(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k))

Outputs
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (.f64 x #s(literal 4 binary64)) i)) (.f64 (*.f64 j #s(literal 27 binary64)) k))
(fma.f64 (.f64 i x) #s(literal -4 binary64) (fma.f64 (fma.f64 #s(literal -4 binary64) a (.f64 z (.f64 y (.f64 #s(literal 18 binary64) x)))) t (fma.f64 (.f64 k j) #s(literal -27 binary64) (.f64 c b))))

Outputs

(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k))

(fma.f64 (*.f64 i x) #s(literal -4 binary64) (fma.f64 (fma.f64 #s(literal -4 binary64) a (*.f64 z (*.f64 y (*.f64 #s(literal 18 binary64) x)))) t (fma.f64 (*.f64 k j) #s(literal -27 binary64) (*.f64 c b))))

Symmetry

(sort y z)

(sort b c)

(sort j k)

Compiler

Compiled 31 to 28 computations (9.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	82.9%	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (.f64 x #s(literal 4 binary64)) i)) (.f64 (*.f64 j #s(literal 27 binary64)) k))

Status

Accuracy

Program

82.9%

(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k))

Compiler

Compiled 62 to 56 computations (9.7% saved)

simplify21.0ms (0.7%)

Memory

2.9MiB live, 18.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	31
1	55	31
2	104	31
3	132	31
4	154	31
5	162	31

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (.f64 x #s(literal 4 binary64)) i)) (.f64 (*.f64 j #s(literal 27 binary64)) k))

Inputs

(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k))

Outputs
(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t)) (.f64 b c)) (.f64 (.f64 x #s(literal 4 binary64)) i)) (.f64 (*.f64 j #s(literal 27 binary64)) k))
(-.f64 (-.f64 (+.f64 (.f64 c b) (-.f64 (.f64 t (.f64 z (.f64 y (.f64 #s(literal 18 binary64) x)))) (.f64 (.f64 #s(literal 4 binary64) a) t))) (.f64 i (.f64 #s(literal 4 binary64) x))) (.f64 k (*.f64 #s(literal 27 binary64) j)))

Outputs

(-.f64 (-.f64 (+.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x #s(literal 18 binary64)) y) z) t) (*.f64 (*.f64 a #s(literal 4 binary64)) t)) (*.f64 b c)) (*.f64 (*.f64 x #s(literal 4 binary64)) i)) (*.f64 (*.f64 j #s(literal 27 binary64)) k))

(-.f64 (-.f64 (+.f64 (*.f64 c b) (-.f64 (*.f64 t (*.f64 z (*.f64 y (*.f64 #s(literal 18 binary64) x)))) (*.f64 (*.f64 #s(literal 4 binary64) a) t))) (*.f64 i (*.f64 #s(literal 4 binary64) x))) (*.f64 k (*.f64 #s(literal 27 binary64) j)))

soundness1.0ms (0%)

Memory

-7.6MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 31 to 28 computations (9.7% saved)

preprocess19.0ms (0.7%)

Memory

4.2MiB live, 13.8MiB allocated

Remove

(sort b c)

(sort y z)

Compiler

Compiled 810 to 642 computations (20.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0%)

sample41.0ms (1.4%)

explain2.3s (78.5%)

preprocess546.0ms (18.7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify21.0ms (0.7%)

soundness1.0ms (0%)

preprocess19.0ms (0.7%)

end0.0ms (0%)

Profiling