preprocess261.0ms (22.1%)

Algorithm

1×	egg-herbie

Rules

472×	associate-+r+
468×	+-commutative
451×	associate-+r-
415×	associate-*r*
406×	associate-+l-

Problems

235×	No Errors
11×	(*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t))
10×	(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	912
1	195	824
2	656	824
3	2929	824
4	6925	824

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
(-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
(-.f64 (*.f64 x x) (*.f64 (*.f64 (neg.f64 y) 4) (-.f64 (*.f64 z z) t)))
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 (neg.f64 z) (neg.f64 z)) t)))
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) (neg.f64 t))))
(neg.f64 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t))))
(neg.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (neg.f64 y) 4) (-.f64 (*.f64 z z) t))))
(neg.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 (neg.f64 z) (neg.f64 z)) t))))
(neg.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) (neg.f64 t)))))
(-.f64 (*.f64 y y) (*.f64 (*.f64 x 4) (-.f64 (*.f64 z z) t)))
(-.f64 (*.f64 z z) (*.f64 (*.f64 y 4) (-.f64 (*.f64 x x) t)))
(-.f64 (*.f64 t t) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) x)))
(-.f64 (*.f64 x x) (*.f64 (*.f64 z 4) (-.f64 (*.f64 y y) t)))
(-.f64 (*.f64 x x) (*.f64 (*.f64 t 4) (-.f64 (*.f64 z z) y)))
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 t t) z)))

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

Symmetry

(abs x)

(abs z)

Compiler

Compiled 46 to 18 computations (60.9% saved)