preprocess202.0ms (13.6%)

Memory

-9.7MiB live, 269.0MiB allocated

Algorithm

2×	egg-herbie

Rules

2 912×	accelerator-lowering-fma.f32
2 912×	accelerator-lowering-fma.f64
978×	distribute-lft-in
950×	distribute-rgt-in
838×	associate--r+

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	85	288
1	239	280
2	818	273
3	2454	273
0	11	13
1	22	13
2	56	13
3	151	13
4	421	13
5	1177	13
6	2870	13
7	3530	13
8	3747	13
9	3832	13
10	3875	13
11	3875	13
0	3875	12

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(- (+ x y) (/ (* (- z t) y) (- a t)))

Outputs
(- (+ x y) (/ (* (- z t) y) (- a t)))
(fma.f64 y (+.f64 (/.f64 (-.f64 z t) (-.f64 t a)) #s(literal 1 binary64)) x)

Call 2

Inputs
(- (+ x y) (/ (* (- z t) y) (- a t)))
(- (+ (neg x) y) (/ (* (- z t) y) (- a t)))
(- (+ x (neg y)) (/ (* (- z t) (neg y)) (- a t)))
(- (+ x y) (/ (* (- (neg z) t) y) (- a t)))
(- (+ x y) (/ (* (- z (neg t)) y) (- a (neg t))))
(- (+ x y) (/ (* (- z t) y) (- (neg a) t)))
(neg (- (+ (neg x) y) (/ (* (- z t) y) (- a t))))
(neg (- (+ x (neg y)) (/ (* (- z t) (neg y)) (- a t))))
(neg (- (+ x y) (/ (* (- (neg z) t) y) (- a t))))
(neg (- (+ x y) (/ (* (- z (neg t)) y) (- a (neg t)))))
(neg (- (+ x y) (/ (* (- z t) y) (- (neg a) t))))
(- (+ y x) (/ (* (- z t) x) (- a t)))
(- (+ z y) (/ (* (- x t) y) (- a t)))
(- (+ t y) (/ (* (- z x) y) (- a x)))
(- (+ a y) (/ (* (- z t) y) (- x t)))
(- (+ x z) (/ (* (- y t) z) (- a t)))
(- (+ x t) (/ (* (- z y) t) (- a y)))
(- (+ x a) (/ (* (- z t) a) (- y t)))
(- (+ x y) (/ (* (- t z) y) (- a z)))
(- (+ x y) (/ (* (- a t) y) (- z t)))
(- (+ x y) (/ (* (- z a) y) (- t a)))

Outputs
(- (+ x y) (/ (* (- z t) y) (- a t)))
(+ (+ x y) (* (- z t) (/ y (- t a))))
(- (+ (neg x) y) (/ (* (- z t) y) (- a t)))
(+ (- y x) (* (- z t) (/ y (- t a))))
(- (+ x (neg y)) (/ (* (- z t) (neg y)) (- a t)))
(+ (- x y) (* (- z t) (/ y (- a t))))
(- (+ x y) (/ (* (- (neg z) t) y) (- a t)))
(+ (+ x y) (* (+ z t) (/ y (- a t))))
(- (+ x y) (/ (* (- z (neg t)) y) (- a (neg t))))
(- (+ x y) (* (+ z t) (/ y (+ t a))))
(- (+ x y) (/ (* (- z t) y) (- (neg a) t)))
(+ (+ x y) (/ (* y (- z t)) (+ t a)))
(neg (- (+ (neg x) y) (/ (* (- z t) y) (- a t))))
(+ (- x y) (* (- z t) (/ y (- a t))))
(neg (- (+ x (neg y)) (/ (* (- z t) (neg y)) (- a t))))
(+ (- y x) (* (- z t) (/ y (- t a))))
(neg (- (+ x y) (/ (* (- (neg z) t) y) (- a t))))
(- (* (+ z t) (/ y (- t a))) (+ x y))
(neg (- (+ x y) (/ (* (- z (neg t)) y) (- a (neg t)))))
(- (* (+ z t) (/ y (+ t a))) (+ x y))
(neg (- (+ x y) (/ (* (- z t) y) (- (neg a) t))))
(- (* y (/ (- t z) (+ t a))) (+ x y))
(- (+ y x) (/ (* (- z t) x) (- a t)))
(+ (+ x y) (* (- z t) (/ x (- t a))))
(- (+ z y) (/ (* (- x t) y) (- a t)))
(+ (+ y z) (* (- x t) (/ y (- t a))))
(- (+ t y) (/ (* (- z x) y) (- a x)))
(+ (+ y t) (* (- z x) (/ y (- x a))))
(- (+ a y) (/ (* (- z t) y) (- x t)))
(+ (+ y a) (* (- z t) (/ y (- t x))))
(- (+ x z) (/ (* (- y t) z) (- a t)))
(+ (+ x z) (* (- y t) (/ z (- t a))))
(- (+ x t) (/ (* (- z y) t) (- a y)))
(+ (+ x t) (* (- z y) (/ t (- y a))))
(- (+ x a) (/ (* (- z t) a) (- y t)))
(+ (+ x a) (* (- z t) (/ a (- t y))))
(- (+ x y) (/ (* (- t z) y) (- a z)))
(+ (+ x y) (* (- z t) (/ y (- a z))))
(- (+ x y) (/ (* (- a t) y) (- z t)))
(+ (+ x y) (* (- a t) (/ y (- t z))))
(- (+ x y) (/ (* (- z a) y) (- t a)))
(+ (+ x y) (* (- a z) (/ y (- t a))))