Metrics for Linear.Quaternion:$c/ from linear-1.19.1.3, A

analyze1.0ms (0%)

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 19 to 9 computations (52.6% saved)

sample19.5s (95.9%)

Results

1.9s	8256×	valid-rival
927.0ms	8150×	valid-sollya
530.0ms	106×	exit-sollya

Bogosity

preprocess574.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1324×	`fma-neg`
560×	`fma-define`
361×	`unsub-neg`
154×	`associate-+l-`
142×	`sub-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	47	721
1	124	545
2	291	383
3	815	375
4	1776	375
5	2657	375
6	3410	375
7	3927	375
8	3994	375
9	3994	375
10	4609	375
11	4609	375

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z z)) (.f64 z z)) (.f64 z z))
(+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x y (*.f64 z z))))
(fma.f64 z z (fma.f64 x y (.f64 #s(literal 2 binary64) (.f64 z z))))
(fma.f64 x y (.f64 (.f64 z z) #s(literal 3 binary64)))
(fma.f64 x y (.f64 z (.f64 z #s(literal 3 binary64))))
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z z)) (.f64 z z)) (.f64 z z))
(+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x y (*.f64 z z))))
(fma.f64 z z (fma.f64 x y (.f64 #s(literal 2 binary64) (.f64 z z))))
(fma.f64 x y (.f64 (.f64 z z) #s(literal 3 binary64)))
(fma.f64 x y (.f64 z (.f64 z #s(literal 3 binary64))))
(+.f64 (+.f64 (+.f64 (.f64 (neg.f64 x) y) (.f64 z z)) (.f64 z z)) (.f64 z z))
(+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x (neg.f64 y) (*.f64 z z))))
(fma.f64 z z (fma.f64 x (neg.f64 y) (.f64 #s(literal 2 binary64) (.f64 z z))))
(-.f64 (.f64 (.f64 z z) #s(literal 3 binary64)) (*.f64 x y))
(fma.f64 x (neg.f64 y) (.f64 z (.f64 z #s(literal 3 binary64))))
(+.f64 (+.f64 (+.f64 (.f64 x (neg.f64 y)) (.f64 z z)) (.f64 z z)) (.f64 z z))
(+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x (neg.f64 y) (*.f64 z z))))
(fma.f64 z z (fma.f64 x (neg.f64 y) (.f64 #s(literal 2 binary64) (.f64 z z))))
(-.f64 (.f64 (.f64 z z) #s(literal 3 binary64)) (*.f64 x y))
(fma.f64 x (neg.f64 y) (.f64 z (.f64 z #s(literal 3 binary64))))
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 (neg.f64 z) (neg.f64 z))) (.f64 (neg.f64 z) (neg.f64 z))) (.f64 (neg.f64 z) (neg.f64 z)))
(+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x y (*.f64 z z))))
(fma.f64 z z (fma.f64 x y (.f64 #s(literal 2 binary64) (.f64 z z))))
(fma.f64 x y (.f64 (.f64 z z) #s(literal 3 binary64)))
(fma.f64 x y (.f64 z (.f64 z #s(literal 3 binary64))))
(neg.f64 (+.f64 (+.f64 (+.f64 (.f64 (neg.f64 x) y) (.f64 z z)) (.f64 z z)) (.f64 z z)))
(neg.f64 (+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x (neg.f64 y) (*.f64 z z)))))
(neg.f64 (fma.f64 z z (fma.f64 x (neg.f64 y) (.f64 #s(literal 2 binary64) (.f64 z z)))))
(-.f64 (.f64 x y) (.f64 (*.f64 z z) #s(literal 3 binary64)))
(fma.f64 x y (.f64 z (.f64 z #s(literal -3 binary64))))
(neg.f64 (+.f64 (+.f64 (+.f64 (.f64 x (neg.f64 y)) (.f64 z z)) (.f64 z z)) (.f64 z z)))
(neg.f64 (+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x (neg.f64 y) (*.f64 z z)))))
(neg.f64 (fma.f64 z z (fma.f64 x (neg.f64 y) (.f64 #s(literal 2 binary64) (.f64 z z)))))
(-.f64 (.f64 x y) (.f64 (*.f64 z z) #s(literal 3 binary64)))
(fma.f64 x y (.f64 z (.f64 z #s(literal -3 binary64))))
(neg.f64 (+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 (neg.f64 z) (neg.f64 z))) (.f64 (neg.f64 z) (neg.f64 z))) (.f64 (neg.f64 z) (neg.f64 z))))
(neg.f64 (+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x y (*.f64 z z)))))
(neg.f64 (fma.f64 z z (fma.f64 x y (.f64 #s(literal 2 binary64) (.f64 z z)))))
(neg.f64 (fma.f64 x y (.f64 (.f64 z z) #s(literal 3 binary64))))
(-.f64 (.f64 z (.f64 z #s(literal -3 binary64))) (*.f64 x y))
(+.f64 (+.f64 (+.f64 (.f64 y x) (.f64 z z)) (.f64 z z)) (.f64 z z))
(+.f64 (.f64 z z) (+.f64 (.f64 z z) (fma.f64 x y (*.f64 z z))))
(fma.f64 z z (fma.f64 x y (.f64 #s(literal 2 binary64) (.f64 z z))))
(fma.f64 x y (.f64 (.f64 z z) #s(literal 3 binary64)))
(fma.f64 x y (.f64 z (.f64 z #s(literal 3 binary64))))
(+.f64 (+.f64 (+.f64 (.f64 z y) (.f64 x x)) (.f64 x x)) (.f64 x x))
(+.f64 (.f64 x x) (+.f64 (.f64 x x) (fma.f64 z y (*.f64 x x))))
(fma.f64 x x (fma.f64 y z (.f64 #s(literal 2 binary64) (.f64 x x))))
(fma.f64 y z (.f64 #s(literal 3 binary64) (.f64 x x)))
(fma.f64 x (.f64 #s(literal 3 binary64) x) (.f64 y z))
(fma.f64 x (.f64 x #s(literal 3 binary64)) (.f64 y z))
(+.f64 (+.f64 (+.f64 (.f64 x z) (.f64 y y)) (.f64 y y)) (.f64 y y))
(+.f64 (.f64 y y) (+.f64 (.f64 y y) (fma.f64 x z (*.f64 y y))))
(fma.f64 y y (fma.f64 x z (.f64 #s(literal 2 binary64) (.f64 y y))))
(fma.f64 x z (.f64 #s(literal 3 binary64) (.f64 y y)))
(fma.f64 x z (.f64 y (.f64 #s(literal 3 binary64) y)))
(fma.f64 x z (.f64 y (.f64 y #s(literal 3 binary64))))

Symmetry

(abs z)

(sort x y)

Compiler

Compiled 18 to 8 computations (55.6% saved)

eval1.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune3.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 36 to 16 computations (55.6% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative`
1×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	67
1	18	67

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness13.0ms (0.1%)

Stop Event

1×

fuel

Compiler

Compiled 18 to 8 computations (55.6% saved)

preprocess245.0ms (1.2%)

Remove

(sort x y)

(abs z)

Compiler

Compiled 240 to 112 computations (53.3% saved)

Linear.Quaternion:$c/ from linear-1.19.1.3, A

analyze1.0ms (0%)

sample19.5s (95.9%)

preprocess574.0ms (2.8%)

eval1.0ms (0%)

prune3.0ms (0%)

simplify6.0ms (0%)

soundness13.0ms (0.1%)

preprocess245.0ms (1.2%)

end0.0ms (0%)

Profiling