Metrics for Linear.V3:cross from linear-1.19.1.3

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 9 to 9 computations (0% saved)

sample740.0ms (55.9%)

Memory

9.1MiB live, 983.7MiB allocated; 315ms collecting garbage

Samples

355.0ms	8 254×	0	valid
0.0ms	2×	1	valid

Precisions

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

ival-mult!: 91.0ms (82.6% of total)

ival-sub!: 17.0ms (15.4% of total)

adjust: 2.0ms (1.8% of total)

Bogosity

preprocess22.0ms (1.7%)

Memory

-17.3MiB live, 32.6MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	109
1	106	109
2	216	109
3	355	109
4	356	109

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(-.f64 (.f64 x y) (.f64 z t))

Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 14 to 14 computations (0% saved)

rewrite223.0ms (16.8%)

Memory

30.7MiB live, 122.1MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
0	10	17
1	36	17
2	101	17
3	239	17
4	424	17
5	751	17
6	3431	17
0	4585	17

Stop Event

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

Counts

7 → 39

Calls

Call 1

Inputs
(-.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t

Outputs
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 z) t))) (.f64 (neg.f64 z) t))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y x) (.f64 (neg.f64 z) t))) (.f64 (neg.f64 z) t))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 z) t) (.f64 y x))) (.f64 y x))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 t z) (.f64 y x))) (.f64 y x))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t)) (.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x))) (+.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 y) x)))
(/.f64 (-.f64 (pow.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 y) x) #s(literal 3 binary64))) (fma.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t) (fma.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x) (.f64 (.f64 (neg.f64 z) t) (*.f64 (neg.f64 y) x)))))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t)) (.f64 (.f64 y x) (.f64 y x))) (-.f64 (.f64 (neg.f64 z) t) (.f64 y x)))
(/.f64 (+.f64 (pow.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (fma.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t) (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 (neg.f64 z) t) (.f64 y x)))))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t))) (-.f64 (.f64 y x) (.f64 (neg.f64 z) t)))
(/.f64 (+.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 z) t) #s(literal 3 binary64))) (fma.f64 (.f64 y x) (.f64 y x) (-.f64 (.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) t)) (.f64 (.f64 y x) (.f64 (neg.f64 z) t)))))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 y x)) (.f64 (.f64 t z) (.f64 t z))) (+.f64 (.f64 y x) (.f64 t z)))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 t z) #s(literal 3 binary64))) (fma.f64 (.f64 y x) (.f64 y x) (fma.f64 (.f64 t z) (.f64 t z) (.f64 (.f64 y x) (*.f64 t z)))))
(neg.f64 (-.f64 (.f64 t z) (.f64 y x)))
(fma.f64 (neg.f64 y) (neg.f64 x) (*.f64 (neg.f64 z) t))
(fma.f64 (neg.f64 x) (neg.f64 y) (*.f64 (neg.f64 z) t))
(fma.f64 (neg.f64 t) z (*.f64 y x))
(fma.f64 (neg.f64 z) t (*.f64 y x))
(fma.f64 t (neg.f64 z) (*.f64 y x))
(fma.f64 z (neg.f64 t) (*.f64 y x))
(fma.f64 y x (*.f64 (neg.f64 z) t))
(fma.f64 x y (*.f64 (neg.f64 z) t))
(-.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 y) x))
(-.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 (neg.f64 z) t) (.f64 y x))
(+.f64 (.f64 y x) (.f64 (neg.f64 z) t))
(*.f64 (neg.f64 y) (neg.f64 x))
(*.f64 (neg.f64 x) (neg.f64 y))
(*.f64 y x)
(*.f64 x y)
(neg.f64 (*.f64 (neg.f64 y) x))
x
y
(*.f64 (neg.f64 t) (neg.f64 z))
(*.f64 (neg.f64 z) (neg.f64 t))
(*.f64 t z)
(*.f64 z t)
(neg.f64 (*.f64 (neg.f64 z) t))
z
t

eval6.0ms (0.4%)

Memory: -38.0MiB live, 8.5MiB allocated; 2ms collecting garbage
Compiler: Compiled 480 to 96 computations (80% saved)

prune3.0ms (0.2%)

Memory

5.1MiB live, 5.1MiB allocated; 0ms collecting garbage

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	3	34

Accuracy

100.0%

Counts

34 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(fma.f64 (neg.f64 z) t (*.f64 y x))
▶	100.0%	(fma.f64 y x (*.f64 (neg.f64 z) t))
✓	99.6%	(-.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 21 to 21 computations (0% saved)

rewrite241.0ms (18.2%)

Memory

31.3MiB live, 172.0MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
0	14	27
1	57	27
2	171	27
3	259	27
4	361	27
5	677	27
6	3357	27
0	4511	27

Stop Event

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

Counts

9 → 65

Calls

Call 1

Inputs
(fma.f64 y x (*.f64 (neg.f64 z) t))
y
x
(*.f64 (neg.f64 z) t)
(neg.f64 z)
z
t
(fma.f64 (neg.f64 z) t (*.f64 y x))
(*.f64 y x)

Outputs
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 t z) (.f64 x y))) (.f64 x y))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 y) x) (.f64 t (neg.f64 z)))) (.f64 t (neg.f64 z)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 t (neg.f64 z)) (.f64 x y))) (.f64 x y))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x y) (.f64 t (neg.f64 z)))) (.f64 t (neg.f64 z)))
(/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 (.f64 t z) (.f64 t z))) (+.f64 (.f64 x y) (.f64 t z)))
(/.f64 (-.f64 (.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z))) (.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x))) (+.f64 (.f64 t (neg.f64 z)) (.f64 (neg.f64 y) x)))
(/.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 (.f64 t z) #s(literal 3 binary64))) (fma.f64 (.f64 x y) (.f64 x y) (fma.f64 (.f64 t z) (.f64 t z) (.f64 (.f64 x y) (*.f64 t z)))))
(/.f64 (-.f64 (pow.f64 (.f64 t (neg.f64 z)) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 y) x) #s(literal 3 binary64))) (fma.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z)) (fma.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x) (.f64 (.f64 t (neg.f64 z)) (*.f64 (neg.f64 y) x)))))
(/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z)))) (-.f64 (.f64 x y) (.f64 t (neg.f64 z))))
(/.f64 (-.f64 (.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z))) (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 t (neg.f64 z)) (.f64 x y)))
(/.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 (.f64 t (neg.f64 z)) #s(literal 3 binary64))) (fma.f64 (.f64 x y) (.f64 x y) (-.f64 (.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z))) (.f64 (.f64 x y) (.f64 t (neg.f64 z))))))
(/.f64 (+.f64 (pow.f64 (.f64 t (neg.f64 z)) #s(literal 3 binary64)) (pow.f64 (.f64 x y) #s(literal 3 binary64))) (fma.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z)) (-.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 (.f64 t (neg.f64 z)) (.f64 x y)))))
(neg.f64 (-.f64 (.f64 t z) (.f64 x y)))
(fma.f64 (neg.f64 t) z (*.f64 x y))
(fma.f64 (neg.f64 x) (neg.f64 y) (*.f64 t (neg.f64 z)))
(fma.f64 (neg.f64 y) (neg.f64 x) (*.f64 t (neg.f64 z)))
(fma.f64 t (neg.f64 z) (*.f64 x y))
(fma.f64 (neg.f64 z) t (*.f64 x y))
(fma.f64 z (neg.f64 t) (*.f64 x y))
(fma.f64 x y (*.f64 t (neg.f64 z)))
(fma.f64 y x (*.f64 t (neg.f64 z)))
(-.f64 (.f64 x y) (.f64 t z))
(-.f64 (.f64 t (neg.f64 z)) (.f64 (neg.f64 y) x))
(+.f64 (.f64 x y) (.f64 t (neg.f64 z)))
(+.f64 (.f64 t (neg.f64 z)) (.f64 x y))
y
x
(*.f64 (neg.f64 t) z)
(*.f64 t (neg.f64 z))
(*.f64 (neg.f64 z) t)
(*.f64 z (neg.f64 t))
(neg.f64 (*.f64 t z))
(neg.f64 z)
z
t
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 t z) (.f64 x y))) (.f64 x y))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 y) x) (.f64 t (neg.f64 z)))) (.f64 t (neg.f64 z)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 t (neg.f64 z)) (.f64 x y))) (.f64 x y))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x y) (.f64 t (neg.f64 z)))) (.f64 t (neg.f64 z)))
(/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 (.f64 t z) (.f64 t z))) (+.f64 (.f64 x y) (.f64 t z)))
(/.f64 (-.f64 (.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z))) (.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x))) (+.f64 (.f64 t (neg.f64 z)) (.f64 (neg.f64 y) x)))
(/.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 (.f64 t z) #s(literal 3 binary64))) (fma.f64 (.f64 x y) (.f64 x y) (fma.f64 (.f64 t z) (.f64 t z) (.f64 (.f64 x y) (*.f64 t z)))))
(/.f64 (-.f64 (pow.f64 (.f64 t (neg.f64 z)) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 y) x) #s(literal 3 binary64))) (fma.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z)) (fma.f64 (.f64 (neg.f64 y) x) (.f64 (neg.f64 y) x) (.f64 (.f64 t (neg.f64 z)) (*.f64 (neg.f64 y) x)))))
(/.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z)))) (-.f64 (.f64 x y) (.f64 t (neg.f64 z))))
(/.f64 (-.f64 (.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z))) (.f64 (.f64 x y) (.f64 x y))) (-.f64 (.f64 t (neg.f64 z)) (.f64 x y)))
(/.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 (.f64 t (neg.f64 z)) #s(literal 3 binary64))) (fma.f64 (.f64 x y) (.f64 x y) (-.f64 (.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z))) (.f64 (.f64 x y) (.f64 t (neg.f64 z))))))
(/.f64 (+.f64 (pow.f64 (.f64 t (neg.f64 z)) #s(literal 3 binary64)) (pow.f64 (.f64 x y) #s(literal 3 binary64))) (fma.f64 (.f64 t (neg.f64 z)) (.f64 t (neg.f64 z)) (-.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 (.f64 t (neg.f64 z)) (.f64 x y)))))
(neg.f64 (-.f64 (.f64 t z) (.f64 x y)))
(fma.f64 (neg.f64 t) z (*.f64 x y))
(fma.f64 (neg.f64 x) (neg.f64 y) (*.f64 t (neg.f64 z)))
(fma.f64 (neg.f64 y) (neg.f64 x) (*.f64 t (neg.f64 z)))
(fma.f64 t (neg.f64 z) (*.f64 x y))
(fma.f64 (neg.f64 z) t (*.f64 x y))
(fma.f64 z (neg.f64 t) (*.f64 x y))
(fma.f64 x y (*.f64 t (neg.f64 z)))
(fma.f64 y x (*.f64 t (neg.f64 z)))
(-.f64 (.f64 x y) (.f64 t z))
(-.f64 (.f64 t (neg.f64 z)) (.f64 (neg.f64 y) x))
(+.f64 (.f64 x y) (.f64 t (neg.f64 z)))
(+.f64 (.f64 t (neg.f64 z)) (.f64 x y))
(*.f64 (neg.f64 x) (neg.f64 y))
(*.f64 (neg.f64 y) (neg.f64 x))
(*.f64 x y)
(*.f64 y x)
(neg.f64 (*.f64 (neg.f64 y) x))

eval13.0ms (1%)

Memory: -31.3MiB live, 10.7MiB allocated; 12ms collecting garbage
Compiler: Compiled 474 to 92 computations (80.6% saved)

prune1.0ms (0.1%)

Memory

4.8MiB live, 4.8MiB allocated; 0ms collecting garbage

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	33	0	33
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	33	3	36

Accuracy

100.0%

Counts

36 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(fma.f64 (neg.f64 z) t (*.f64 y x))
✓	100.0%	(fma.f64 y x (*.f64 (neg.f64 z) t))
✓	99.6%	(-.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 21 to 21 computations (0% saved)

regimes36.0ms (2.7%)

Memory

1.5MiB live, 52.9MiB allocated; 20ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

3 → 1

Calls

Call 1

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

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

Call 2

Inputs
(-.f64 (.f64 x y) (.f64 z t))
(fma.f64 y x (*.f64 (neg.f64 z) t))
(fma.f64 (neg.f64 z) t (*.f64 y x))

Outputs
(fma.f64 y x (*.f64 (neg.f64 z) t))

Calls

14 calls:

19.0ms	y
1.0ms	z
1.0ms	t
1.0ms	x
1.0ms	y

Results

Accuracy	Segments	Branch
99.6%	1	`(*.f64 z t)`
99.6%	1	`(*.f64 x y)`
99.6%	1	`(-.f64 (.f64 x y) (.f64 z t))`
99.6%	1	`x`
99.6%	1	`y`
99.6%	1	`z`
99.6%	1	`t`
100.0%	1	`(*.f64 z t)`
100.0%	1	`(*.f64 x y)`
100.0%	1	`(-.f64 (.f64 x y) (.f64 z t))`
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`t`

Compiler

Compiled 55 to 78 computations (-41.8% saved)

derivations20.0ms (1.5%)

Memory

20.9MiB live, 20.9MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 14 to 10 computations (28.6% saved)

preprocess18.0ms (1.4%)

Memory

-12.7MiB live, 34.6MiB allocated; 5ms collecting garbage

Remove

(sort z t)

(sort x y)

Compiler

Compiled 77 to 73 computations (5.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze0.0ms (0%)

sample740.0ms (55.9%)

preprocess22.0ms (1.7%)

rewrite223.0ms (16.8%)

eval6.0ms (0.4%)

prune3.0ms (0.2%)

rewrite241.0ms (18.2%)

eval13.0ms (1%)

prune1.0ms (0.1%)

regimes36.0ms (2.7%)

derivations20.0ms (1.5%)

preprocess18.0ms (1.4%)

end0.0ms (0%)

Profiling