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)

sample38.0ms (0.4%)

Memory

-0.4MiB live, 14.6MiB allocated

Samples

27.0ms

260×

valid

Precisions

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

ival-mult: 13.0ms (72.9% of total)

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

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

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

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

Bogosity

explain9.5s (94.3%)

Memory

57.5MiB live, 5 640.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
31	-	-	`(+.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))))`
23	-	-	`(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))`
19	-	-	`(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))`
17	-	-	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`
11	-	-	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))`
1	-	-	`(-.f64 (.f64 c z) (.f64 i a))`
1	-	-	`(-.f64 (.f64 y z) (.f64 t a))`
0	-	-	`(*.f64 i a)`
0	-	-	`a`
0	-	-	`t`
0	-	-	`(-.f64 (.f64 c t) (.f64 i y))`
0	-	-	`c`
0	-	-	`(*.f64 c t)`
0	-	-	`i`
0	-	-	`y`
0	-	-	`(*.f64 c z)`
0	-	-	`(*.f64 y z)`
0	-	-	`j`
0	-	-	`z`
0	-	-	`b`
0	-	-	`(*.f64 i y)`
0	-	-	`(*.f64 t a)`
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	31	0
↳	`(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))`	overflow	70
↳	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	overflow	84
↳	`(-.f64 (.f64 c z) (.f64 i a))`	overflow	49
↳	`(*.f64 t a)`	overflow	27
↳	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))`	overflow	130
↳	`(*.f64 c z)`	overflow	24
↳	`(*.f64 i a)`	overflow	27
↳	`(*.f64 y z)`	overflow	41
↳	`(-.f64 (.f64 y z) (.f64 t a))`	overflow	65
↳	`(*.f64 i y)`	overflow	34
↳	`(*.f64 c t)`	overflow	31
↳	`(-.f64 (.f64 c t) (.f64 i y))`	overflow	62
↳	`(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))`	overflow	78
`*.f64`	`(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))`	*no**	22	0
`*.f64`	`(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))`	*no**	19	0
`*.f64`	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	*no**	17	0
`-.f64`	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))`	nan-rescue	11	0
↳	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	overflow	84
↳	`(*.f64 t a)`	overflow	27
↳	`(*.f64 y z)`	overflow	41
↳	`(-.f64 (.f64 y z) (.f64 t a))`	overflow	65
↳	`(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))`	overflow	70
↳	`(*.f64 i a)`	overflow	27
↳	`(-.f64 (.f64 c z) (.f64 i a))`	overflow	49
↳	`(*.f64 c z)`	overflow	24
`-.f64`	`(-.f64 (.f64 c z) (.f64 i a))`	nan-rescue	1	0
↳	`(*.f64 c z)`	overflow	24
↳	`(*.f64 i a)`	overflow	27
`-.f64`	`(-.f64 (.f64 y z) (.f64 t a))`	nan-rescue	1	0
↳	`(*.f64 y z)`	overflow	41
↳	`(*.f64 t a)`	overflow	27

Confusion

	Predicted +	Predicted -
+	73	0
-	14	169

Precision

0.8390804597701149

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	73	0	0
-	14	0	169

Precision?

0.8390804597701149

Recall?

1.0

Freqs

test

number	freq
0	169
1	72
2	15

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

34.32275390625

Average Time

0.13407325744628906

Samples

2.9s

23 040×

valid

Compiler

Compiled 18 090 to 4 320 computations (76.1% saved)

Precisions

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

ival-mult: 1.2s (70.1% of total)

ival-sub: 376.0ms (22.6% of total)

ival-add: 91.0ms (5.5% of total)

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

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

preprocess483.0ms (4.8%)

Memory

-2.6MiB 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: 0.1MiB 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
	71.7%	(+.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)

simplify44.0ms (0.4%)

Memory

3.5MiB live, 19.4MiB 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.1%)

Memory: -7.0MiB live, 8.8MiB 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%)

sample38.0ms (0.4%)

explain9.5s (94.3%)

preprocess483.0ms (4.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify44.0ms (0.4%)

soundness0.0ms (0%)

preprocess12.0ms (0.1%)

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