preprocess243.0ms (12.7%)

Algorithm

1×	egg-herbie

Rules

1384×	associate-+r+
1243×	associate-+r-
1235×	associate-+l+
875×	fma-def
456×	fma-neg

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	539
1	123	11
2	557	11
3	2360	11
4	3622	11
5	4481	11
6	4509	11
7	4517	11
8	4517	11
9	4899	11
10	4899	11
11	4899	11
12	4899	11

Stop Event

1×	node limit

Calls

Call 1

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

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

Symmetry

(abs x)

(abs y)

(abs z)

(negabs x)

(negabs y)

(negabs z)

(sort x y z)

Compiler

Compiled 34 to 9 computations (73.5% saved)