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)

sample42.0ms (0.3%)

Memory

1.5MiB live, 16.6MiB allocated

Samples

29.0ms

260×

valid

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

Bogosity

explain11.4s (95%)

Memory

-70.5MiB live, 6 985.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
25	-	1	(6.770111808345081e-107 1.2624040227776099e-217 -1.553890355204319e+236 8.766438822037996e-145 3.536695814772805e+262 3.015517108288804e+266 -1.1910767786406435e+255 -9.742782670463547e+295 2.3177076137127104e+299 -2.263173814809276e-17)	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`
23	-	3	(-1.3573335539908057e-82 2772909254.515665 -4.384094153228088e-248 210645800117135680.0 5.155797275620875e+124 3.0710386096797064e+258 9.208353027715004e-149 -3.4517595714180265e-136 -6.989212026153073e-295 5.968228485491901e-233)	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`
14	-	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))`
6	-	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))`
2	-	0	-	`(.f64 (.f64 x #s(literal 4 binary64)) i)`
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	-	`#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	14	0
↳	`(*.f64 b c)`	overflow	31
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	44
↳	`(*.f64 a #s(literal 4 binary64))`	overflow	1
↳	`(*.f64 x #s(literal 18 binary64))`	overflow	3
↳	`(+.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	95
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	36
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	53
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	79
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	43
↳	`(.f64 (.f64 x #s(literal 4 binary64)) i)`	overflow	42
↳	`(*.f64 x #s(literal 4 binary64))`	overflow	3
`*.f64`	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	*no**	13	0
`*.f64`	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	*no**	9	0
`-.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	6	0
↳	`(*.f64 b c)`	overflow	31
↳	`(.f64 (.f64 x #s(literal 4 binary64)) i)`	overflow	42
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	44
↳	`(*.f64 x #s(literal 18 binary64))`	overflow	3
↳	`(+.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	95
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	36
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	53
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	79
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	43
↳	`(*.f64 x #s(literal 4 binary64))`	overflow	3
↳	`(*.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	25
`-.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	53
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	44
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	43
↳	`(*.f64 x #s(literal 18 binary64))`	overflow	3
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	36
↳	`(*.f64 a #s(literal 4 binary64))`	overflow	1
`*.f64`	`(.f64 (.f64 x #s(literal 4 binary64)) i)`	*no**	2	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	1	0
↳	`(.f64 (.f64 (*.f64 x #s(literal 18 binary64)) y) z)`	overflow	44
↳	`(*.f64 a #s(literal 4 binary64))`	overflow	1
↳	`(*.f64 x #s(literal 18 binary64))`	overflow	3
↳	`(.f64 (.f64 a #s(literal 4 binary64)) t)`	overflow	36
↳	`(.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t)`	overflow	53
↳	`(-.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 18 binary64)) y) z) t) (.f64 (.f64 a #s(literal 4 binary64)) t))`	overflow	79
↳	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	overflow	43
↳	`(*.f64 b c)`	overflow	31
`*.f64`	`(.f64 (.f64 x #s(literal 18 binary64)) y)`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	34	0
-	9	213

Precision

0.7906976744186046

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	34	0	0
-	9	0	213

Precision?

0.7906976744186046

Recall?

1.0

Freqs

test

number	freq
0	213
1	38
2	3
3	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

37.736083984375

Average Time

0.14740657806396484

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.8s

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

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

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

exact: 34.0ms (1.9% of total)

ival-true: 21.0ms (1.2% of total)

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

preprocess511.0ms (4.2%)

Memory

1.5MiB 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
	86.4%	(-.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

86.4%

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

1.1MiB 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)))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 31 to 28 computations (9.7% saved)

preprocess19.0ms (0.2%)

Memory

-1.9MiB 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%)

sample42.0ms (0.3%)

explain11.4s (95%)

preprocess511.0ms (4.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify22.0ms (0.2%)

soundness0.0ms (0%)

preprocess19.0ms (0.2%)

end0.0ms (0%)

Profiling