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

Memory

-1.0MiB live, 16.6MiB allocated

Samples

29.0ms

260×

valid

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

Bogosity

explain11.3s (94.8%)

Memory

50.9MiB live, 6 889.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
25	-	4	(-3.098939593260985e-198 -2.0347843389697236e+71 6.060080604840855e-192 -1.7988140111235595e+129 -7.89591910192814e-276 23.625322454967986 -4.6019114215405505e+51 -4.844157553541049e+263 -7.595280445851054e+257 3.7801741181647424e+182)	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`
21	-	3	(9.190954000623855e-162 -6.0821888164432794e-158 8.68029078511184e+245 9.11426719252389e-18 3.9506541304119244e-89 -2.614746714898428e-199 -4.181009751865864e-301 2.7706923270189335e-116 -1.1383132895094139e+211 -3.598987436117627e+180)	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`
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)) (.f64 (*.f64 x #s(literal 4 binary64)) i))`
9	-	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))`
4	-	0	-	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`
1	-	0	-	`(.f64 (.f64 x #s(literal 18 binary64)) y)`
1	-	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))`
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	-	`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 x #s(literal 18 binary64)) y) z) t)`	*no**	13	0
`*.f64`	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	*no**	11	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))`	nan-rescue	10	0
↳	`(*.f64 b c)`	overflow	30
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	42
↳	`(*.f64 x #s(literal 18 binary64))`	overflow	2
↳	`(+.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	86
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	20
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	48
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	59
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	26
↳	`(.f64 (.f64 x #s(literal 4 binary64)) i)`	overflow	30
`-.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	9	0
↳	`(*.f64 b c)`	overflow	30
↳	`(.f64 (.f64 x #s(literal 4 binary64)) i)`	overflow	30
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	42
↳	`(-.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	101
↳	`(*.f64 x #s(literal 18 binary64))`	overflow	2
↳	`(+.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	86
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	20
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	48
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	59
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	26
↳	`(.f64 (.f64 j #s(literal 27 binary64)) k)`	overflow	45
`-.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	48
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	42
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	26
↳	`(*.f64 x #s(literal 18 binary64))`	overflow	2
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	20
`+.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	1	0
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	42
↳	`(*.f64 x #s(literal 18 binary64))`	overflow	2
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	20
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	48
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	59
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	26
↳	`(*.f64 b c)`	overflow	30
`*.f64`	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	38	0
-	5	213

Precision

0.8837209302325582

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	38	0	0
-	5	0	213

Precision?

0.8837209302325582

Recall?

1.0

Freqs

test

number	freq
0	213
1	37
2	6

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

37.24072265625

Average Time

0.14547157287597656

Samples

3.2s

23 040×

valid

Compiler

Compiled 22 365 to 5 220 computations (76.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.7s

ival-mult: 1.3s (76.2% of total)

ival-sub: 260.0ms (14.9% of total)

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

exact: 31.0ms (1.8% of total)

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

ival-assert: 9.0ms (0.5% of total)

preprocess528.0ms (4.4%)

Memory

-0.1MiB 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
	84.8%	(-.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

84.8%

(-.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)

simplify22.0ms (0.2%)

Memory

2.9MiB live, 18.7MiB 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)))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 31 to 28 computations (9.7% saved)

preprocess20.0ms (0.2%)

Memory

-3.0MiB 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 (0.3%)

explain11.3s (94.8%)

preprocess528.0ms (4.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify22.0ms (0.2%)

soundness0.0ms (0%)

preprocess20.0ms (0.2%)

end0.0ms (0%)

Profiling