preprocess118.0ms (14.6%)

Algorithm

1×	egg-herbie

Rules

551×	fma-def
186×	associate-+r+
161×	associate--r+
147×	associate-*r*
142×	associate-+l-

Problems

256×

No Errors

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	24	221
1	71	209
2	205	177
3	722	171
4	1723	168
5	2549	168
6	2678	168
7	2682	168

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(sort x y)

Compiler

Compiled 20 to 6 computations (70% saved)