preprocess92.0ms (10.3%)

Algorithm

1×	egg-herbie

Rules

336×	fma-def
90×	associate-+l-
84×	associate--r+
81×	associate-+r+
75×	associate-+r-

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	205
1	64	176
2	180	176
3	472	176
4	924	176
5	1232	176
6	1297	176
7	1307	176

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 y (fma.f64 x x y))
(fma.f64 x x (*.f64 2 y))
(fma.f64 2 y (*.f64 x x))
(fma.f64 y 2 (*.f64 x x))
(fma.f64 x x (*.f64 y 2))
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 y (fma.f64 x x y))
(fma.f64 x x (*.f64 2 y))
(fma.f64 2 y (*.f64 x x))
(fma.f64 y 2 (*.f64 x x))
(fma.f64 x x (*.f64 y 2))
(+.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y) y)
(+.f64 y (fma.f64 x x y))
(fma.f64 x x (*.f64 2 y))
(fma.f64 2 y (*.f64 x x))
(fma.f64 y 2 (*.f64 x x))
(fma.f64 x x (*.f64 y 2))
(+.f64 (+.f64 (*.f64 x x) (neg.f64 y)) (neg.f64 y))
(-.f64 (-.f64 (*.f64 x x) y) y)
(fma.f64 x x (*.f64 y -2))
(fma.f64 y -2 (*.f64 x x))
(neg.f64 (+.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) y) y))
(neg.f64 (+.f64 y (fma.f64 x x y)))
(neg.f64 (fma.f64 x x (*.f64 2 y)))
(neg.f64 (fma.f64 2 y (*.f64 x x)))
(neg.f64 (fma.f64 y 2 (*.f64 x x)))
(-.f64 (*.f64 y -2) (*.f64 x x))
(neg.f64 (+.f64 (+.f64 (*.f64 x x) (neg.f64 y)) (neg.f64 y)))
(neg.f64 (-.f64 (-.f64 (*.f64 x x) y) y))
(neg.f64 (fma.f64 x x (*.f64 y -2)))
(-.f64 (*.f64 y 2) (*.f64 x x))
(fma.f64 x (neg.f64 x) (*.f64 y 2))
(+.f64 (+.f64 (*.f64 y y) x) x)
(+.f64 x (fma.f64 y y x))
(fma.f64 y y (*.f64 2 x))
(fma.f64 y y (*.f64 x 2))
(fma.f64 x 2 (*.f64 y y))

Symmetry

(abs x)

Compiler

Compiled 20 to 6 computations (70% saved)