preprocess102.0ms (11.8%)

Algorithm

1×	egg-herbie

Rules

304×	fma-def
95×	associate-*r*
70×	associate-+r+
63×	associate--r+
61×	*-commutative

Problems

251×	No Errors
5×	(+.f64 (*.f64 x y) (*.f64 z t))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	464
1	96	464
2	171	464
3	373	464
4	872	464
5	1016	464
6	1169	464
7	1211	464
8	1215	464

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 22 to 8 computations (63.6% saved)