preprocess96.0ms (12.2%)

Algorithm

1×	egg-herbie

Rules

378×	fma-def
121×	associate--r+
108×	associate-+l-
98×	associate-+r-
92×	associate-+r+

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	262
1	67	242
2	212	242
3	738	242
4	1319	242
5	1488	242
6	1532	242
7	1538	242

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(sort x y z)

Compiler

Compiled 15 to 6 computations (60% saved)