preprocess110.0ms (10%)

Memory

-28.6MiB live, 140.3MiB allocated

Algorithm

2×	egg-herbie

Rules

1 032×	accelerator-lowering-fma.f32
1 032×	accelerator-lowering-fma.f64
1 028×	associate-+r+
910×	associate-+l+
910×	associate-+l-

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	235
1	269	195
2	989	195
3	4323	195
0	12	15
1	31	13
2	87	13
3	294	13
4	714	13
5	947	13
6	958	13
0	958	11

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5))

Outputs
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5))
(fma.f64 x (fma.f64 (+.f64 y z) #s(literal 2 binary64) t) (*.f64 y #s(literal 5 binary64)))

Call 2

Inputs
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5))
(+ (* (neg x) (+ (+ (+ (+ y z) z) y) t)) (* y 5))
(+ (* x (+ (+ (+ (+ (neg y) z) z) (neg y)) t)) (* (neg y) 5))
(+ (* x (+ (+ (+ (+ y (neg z)) (neg z)) y) t)) (* y 5))
(+ (* x (+ (+ (+ (+ y z) z) y) (neg t))) (* y 5))
(neg (+ (* (neg x) (+ (+ (+ (+ y z) z) y) t)) (* y 5)))
(neg (+ (* x (+ (+ (+ (+ (neg y) z) z) (neg y)) t)) (* (neg y) 5)))
(neg (+ (* x (+ (+ (+ (+ y (neg z)) (neg z)) y) t)) (* y 5)))
(neg (+ (* x (+ (+ (+ (+ y z) z) y) (neg t))) (* y 5)))
(+ (* y (+ (+ (+ (+ x z) z) x) t)) (* x 5))
(+ (* z (+ (+ (+ (+ y x) x) y) t)) (* y 5))
(+ (* t (+ (+ (+ (+ y z) z) y) x)) (* y 5))
(+ (* x (+ (+ (+ (+ z y) y) z) t)) (* z 5))
(+ (* x (+ (+ (+ (+ t z) z) t) y)) (* t 5))
(+ (* x (+ (+ (+ (+ y t) t) y) z)) (* y 5))

Outputs
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5))
(+ (* x (+ (* (+ y z) 2) t)) (* y 5))
(+ (* (neg x) (+ (+ (+ (+ y z) z) y) t)) (* y 5))
(+ (* y 5) (* x (- (* (+ y z) -2) t)))
(+ (* x (+ (+ (+ (+ (neg y) z) z) (neg y)) t)) (* (neg y) 5))
(- (* y -5) (* x (- (* (- z y) -2) t)))
(+ (* x (+ (+ (+ (+ y (neg z)) (neg z)) y) t)) (* y 5))
(+ (* y 5) (* x (+ t (* (- z y) -2))))
(+ (* x (+ (+ (+ (+ y z) z) y) (neg t))) (* y 5))
(- (* y 5) (* x (- t (* (+ y z) 2))))
(neg (+ (* (neg x) (+ (+ (+ (+ y z) z) y) t)) (* y 5)))
(+ (* x (+ (* (+ y z) 2) t)) (* y -5))
(neg (+ (* x (+ (+ (+ (+ (neg y) z) z) (neg y)) t)) (* (neg y) 5)))
(+ (* y 5) (* x (- (* (- z y) -2) t)))
(neg (+ (* x (+ (+ (+ (+ y (neg z)) (neg z)) y) t)) (* y 5)))
(+ (* y -5) (* x (- (* (- z y) 2) t)))
(neg (+ (* x (+ (+ (+ (+ y z) z) y) (neg t))) (* y 5)))
(+ (* y -5) (* x (- t (* (+ y z) 2))))
(+ (* y (+ (+ (+ (+ x z) z) x) t)) (* x 5))
(+ (* y (+ t (* (+ x z) 2))) (* x 5))
(+ (* z (+ (+ (+ (+ y x) x) y) t)) (* y 5))
(+ (* y 5) (* z (+ t (* (+ x y) 2))))
(+ (* t (+ (+ (+ (+ y z) z) y) x)) (* y 5))
(+ (* y 5) (* t (+ x (* (+ y z) 2))))
(+ (* x (+ (+ (+ (+ z y) y) z) t)) (* z 5))
(+ (* x (+ (* (+ y z) 2) t)) (* z 5))
(+ (* x (+ (+ (+ (+ t z) z) t) y)) (* t 5))
(+ (* x (+ y (* (+ z t) 2))) (* t 5))
(+ (* x (+ (+ (+ (+ y t) t) y) z)) (* y 5))
(+ (* y 5) (* x (+ z (* (+ y t) 2))))