Metrics for Commute and associate

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample47.0ms (2.1%)

Memory

-2.9MiB live, 12.7MiB allocated

Samples

23.0ms	121×	2	valid
16.0ms	139×	1	valid

Precisions

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

adjust: 18.0ms (60% of total)

ival-add: 9.0ms (30% of total)

ival-sub: 2.0ms (6.7% of total)

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

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

Bogosity

explain1.7s (75.4%)

Memory

12.7MiB live, 702.9MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(+.f64 (+.f64 x y) z)`
-	-	`(+.f64 y z)`
-	-	`y`
-	-	`(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))`
-	-	`(+.f64 x y)`
-	-	`(+.f64 x (+.f64 y z))`
-	-	`z`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Total Time

43.688720703125

Average Time

0.17065906524658203

Samples

583.0ms	2 880×	2	valid
424.0ms	3 264×	1	valid

Compiler

Compiled 1 260 to 432 computations (65.7% saved)

Precisions

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

adjust: 432.0ms (59.1% of total)

ival-add: 237.0ms (32.4% of total)

ival-sub: 55.0ms (7.5% of total)

ival-true: 4.0ms (0.5% of total)

ival-assert: 2.0ms (0.3% of total)

preprocess373.0ms (16.9%)

Memory

4.2MiB live, 38.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	36	117
1	122	9
2	525	9
3	1660	9
4	2510	9
5	2766	9
6	2777	9
7	2785	9
8	2785	9
9	2785	9
10	2785	9
11	2785	9
0	8	11
0	13	11
1	26	1
2	90	1
3	361	1
4	1162	1
5	1808	1
6	3880	1
7	5044	1
8	5872	1
9	6326	1
10	6360	1
11	6364	1
12	6482	1
13	6491	1
14	6492	1
15	6492	1
16	6492	1
17	7341	1
18	7493	1
19	7645	1
20	7759	1
21	7797	1
22	7797	1
0	8181	1

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))

Outputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
#s(literal 0 binary64)

Symmetry

(abs z)

(abs y)

(abs x)

(negabs z)

(negabs y)

(negabs x)

(sort x y z)

Compiler

Compiled 11 to 8 computations (27.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify20.0ms (0.9%)

Memory

-5.9MiB live, 17.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	14	11
2	23	11
3	35	11
4	46	11
5	52	11
6	54	11

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))

Outputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
(-.f64 (+.f64 z (+.f64 y x)) (+.f64 (+.f64 z y) x))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 11 to 8 computations (27.3% saved)

preprocess101.0ms (4.6%)

Memory

3.3MiB live, 44.0MiB allocated

Remove

(sort x y z)

(negabs x)

(negabs y)

(negabs z)

(abs x)

(abs y)

(abs z)

Compiler

Compiled 352 to 256 computations (27.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample47.0ms (2.1%)

explain1.7s (75.4%)

preprocess373.0ms (16.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (0.9%)

soundness0.0ms (0%)

preprocess101.0ms (4.6%)

end0.0ms (0%)

Profiling