preprocess353.0ms (19.3%)

Memory

-18.5MiB live, 466.3MiB allocated

Algorithm

2×	egg-herbie

Rules

10 128×	accelerator-lowering-fma.f32
10 128×	accelerator-lowering-fma.f64
1 758×	unsub-neg
1 684×	*-lowering-*.f32
1 684×	*-lowering-*.f64

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	85	290
1	201	280
2	640	273
3	2210	273
4	6402	273
0	11	13
1	20	13
2	47	13
3	121	13
4	403	13
5	1219	13
6	3068	13
7	6915	13
0	8145	12

Stop Event

1×	iter limit
1×	node limit
1×	node limit

Calls

Call 1

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

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

Call 2

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

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