preprocess57.0ms (7.6%)

Memory

-3.2MiB live, 72.0MiB allocated

Algorithm

2×	egg-herbie

Rules

496×	accelerator-lowering-fma.f32
496×	accelerator-lowering-fma.f64
236×	cancel-sign-sub-inv
206×	sub-neg
192×	*-lowering-*.f32

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	48
1	60	42
2	166	42
3	457	42
4	977	42
5	1249	42
6	1273	42
0	5	7
1	14	7
2	34	7
3	63	7
4	105	7
5	218	7
6	344	7
7	507	7
8	543	7
9	545	7
0	545	6

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(- (+ x y) (* x y))

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

Call 2

Inputs
(- (+ x y) (* x y))
(- (+ (neg x) y) (* (neg x) y))
(- (+ x (neg y)) (* x (neg y)))
(neg (- (+ (neg x) y) (* (neg x) y)))
(neg (- (+ x (neg y)) (* x (neg y))))
(- (+ y x) (* y x))

Outputs
(- (+ x y) (* x y))
(+ x (- y (* x y)))
(- (+ (neg x) y) (* (neg x) y))
(+ y (- (* x y) x))
(- (+ x (neg y)) (* x (neg y)))
(+ x (- (* x y) y))
(neg (- (+ (neg x) y) (* (neg x) y)))
(- (- x (* x y)) y)
(neg (- (+ x (neg y)) (* x (neg y))))
(- y (+ x (* x y)))
(- (+ y x) (* y x))
(+ x (- y (* x y)))

Symmetry

(sort x y)