Metrics for Linear.Matrix:det33 from linear-1.19.1.3

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.6%	0.4%	0%	0%	0%	0
100%	99.6%	0%	0.4%	0%	0%	0%	1

Compiler

Compiled 31 to 25 computations (19.4% saved)

sample37.0ms (1.5%)

Memory

6.1MiB live, 14.9MiB allocated

Samples

26.0ms

260×

valid

Precisions

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

ival-mult: 12.0ms (68.3% of total)

ival-sub: 4.0ms (22.8% of total)

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

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

adjust: 0.0ms (0% of total)

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

Bogosity

explain2.0s (78.2%)

Memory

2.7MiB live, 1 555.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
22	-	0	-	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))`
21	-	0	-	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`
20	-	1	(-1.4473474774341004e+168 2.0750634291010938e-137 1.3951115764622637e-227 -4.304423682993348e-33 1.1685730905719226e-8 -2.991620086661092e-210 2.5926821915850616e-285 4.673706850570982e-292 1.5406821716673271e+295)	`(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))`
20	-	0	-	`(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))`
10	-	0	-	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))`
1	-	0	-	`(-.f64 (.f64 c t) (.f64 i y))`
1	-	0	-	`(-.f64 (.f64 y z) (.f64 t a))`
0	-	0	-	`(*.f64 i a)`
0	-	0	-	`a`
0	-	0	-	`t`
0	-	0	-	`c`
0	-	0	-	`(*.f64 c t)`
0	-	0	-	`i`
0	-	0	-	`y`
0	-	0	-	`(*.f64 c z)`
0	-	0	-	`(*.f64 y z)`
0	-	0	-	`j`
0	-	0	-	`z`
0	-	0	-	`(-.f64 (.f64 c z) (.f64 i a))`
0	-	0	-	`b`
0	-	0	-	`(*.f64 i y)`
0	-	0	-	`(*.f64 t a)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))`	nan-rescue	22	0
↳	`(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))`	overflow	70
↳	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	overflow	68
↳	`(-.f64 (.f64 c z) (.f64 i a))`	overflow	57
↳	`(*.f64 t a)`	overflow	35
↳	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))`	overflow	119
↳	`(*.f64 c z)`	overflow	28
↳	`(*.f64 i a)`	overflow	30
↳	`(*.f64 y z)`	overflow	27
↳	`(-.f64 (.f64 y z) (.f64 t a))`	overflow	59
↳	`(*.f64 i y)`	overflow	37
↳	`(*.f64 c t)`	overflow	22
↳	`(-.f64 (.f64 c t) (.f64 i y))`	overflow	55
↳	`(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))`	overflow	77
`*.f64`	`(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))`	*no**	20	0
`*.f64`	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	*no**	19	0
`*.f64`	`(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))`	*no**	16	0
`-.f64`	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))`	nan-rescue	10	0
↳	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	overflow	68
↳	`(*.f64 t a)`	overflow	35
↳	`(*.f64 y z)`	overflow	27
↳	`(-.f64 (.f64 y z) (.f64 t a))`	overflow	59
↳	`(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))`	overflow	70
↳	`(*.f64 i a)`	overflow	30
↳	`(-.f64 (.f64 c z) (.f64 i a))`	overflow	57
↳	`(*.f64 c z)`	overflow	28
`-.f64`	`(-.f64 (.f64 y z) (.f64 t a))`	nan-rescue	1	0
↳	`(*.f64 y z)`	overflow	27
↳	`(*.f64 t a)`	overflow	35
`*.f64`	`(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))`	*nu**	1	0
`-.f64`	`(-.f64 (.f64 c t) (.f64 i y))`	nan-rescue	1	0
↳	`(*.f64 c t)`	overflow	22
↳	`(*.f64 i y)`	overflow	37

Confusion

	Predicted +	Predicted -
+	69	0
-	9	178

Precision

0.8846153846153846

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	69	0	0
-	9	0	178

Precision?

0.8846153846153846

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	178
1	66
2	12

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

12.82861328125

Average Time

0.05011177062988281

Samples

376.0ms

3 072×

valid

Compiler

Compiled 4 800 to 1 128 computations (76.5% saved)

Precisions

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

ival-mult: 152.0ms (72.1% of total)

ival-sub: 44.0ms (20.9% of total)

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

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

adjust: 1.0ms (0.5% of total)

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

preprocess463.0ms (18%)

Memory

11.0MiB live, 53.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	378	1591
1	1205	1588
2	3096	1575
0	23	29
0	37	29
1	68	29
2	146	29
3	492	29
4	1521	29
5	3648	29
6	5148	29
7	6069	29
8	6514	29
9	6693	29
10	6778	29
11	6806	29
12	7201	29
13	7528	29
14	7594	29
15	7599	29
16	7599	29
17	7601	29
18	7603	29
19	7603	29
20	7863	29
21	7967	29
22	7967	29
23	7967	29
0	8651	27

Stop Event

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

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Outputs

(+.f64 (-.f64 (*.f64 x (-.f64 (*.f64 y z) (*.f64 t a))) (*.f64 b (-.f64 (*.f64 c z) (*.f64 i a)))) (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))))

(fma.f64 (fma.f64 (neg.f64 c) b (*.f64 y x)) z (fma.f64 (fma.f64 (neg.f64 x) t (*.f64 i b)) a (*.f64 (fma.f64 (neg.f64 y) i (*.f64 c t)) j)))

Compiler

Compiled 29 to 23 computations (20.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	73.3%	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Compiler

Compiled 58 to 46 computations (20.7% saved)

simplify45.0ms (1.8%)

Memory

0.4MiB live, 19.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	29
1	52	29
2	91	29
3	115	29
4	157	29
5	199	29
6	243	29
7	358	29
8	538	29
9	637	29
10	671	29
11	723	29
12	775	29
13	840	29
14	889	29
15	929	29
16	951	29
17	958	29
18	959	29

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Outputs

(+.f64 (-.f64 (*.f64 x (-.f64 (*.f64 y z) (*.f64 t a))) (*.f64 b (-.f64 (*.f64 c z) (*.f64 i a)))) (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))))

(-.f64 (*.f64 (-.f64 (*.f64 c t) (*.f64 i y)) j) (-.f64 (*.f64 (-.f64 (*.f64 a t) (*.f64 z y)) x) (*.f64 (-.f64 (*.f64 i a) (*.f64 c z)) b)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 29 to 23 computations (20.7% saved)

preprocess12.0ms (0.5%)

Memory: 1.1MiB live, 8.9MiB allocated
Compiler: Compiled 486 to 198 computations (59.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	23	29
1	52	29
2	91	29
3	115	29
4	157	29
5	199	29
6	243	29
7	358	29
8	538	29
9	637	29
10	671	29
11	723	29
12	775	29
13	840	29
14	889	29
15	929	29
16	951	29
17	958	29
18	959	29

Iter	Nodes	Cost
0	23	29
1	52	29
2	91	29
3	115	29
4	157	29
5	199	29
6	243	29
7	358	29
8	538	29
9	637	29
10	671	29
11	723	29
12	775	29
13	840	29
14	889	29
15	929	29
16	951	29
17	958	29
18	959	29

start0.0ms (0%)

analyze1.0ms (0%)

sample37.0ms (1.5%)

explain2.0s (78.2%)

preprocess463.0ms (18%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify45.0ms (1.8%)

soundness0.0ms (0%)

preprocess12.0ms (0.5%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	23	29
1	52	29
2	91	29
3	115	29
4	157	29
5	199	29
6	243	29
7	358	29
8	538	29
9	637	29
10	671	29
11	723	29
12	775	29
13	840	29
14	889	29
15	929	29
16	951	29
17	958	29
18	959	29