preprocess1.0s (51.8%)

Memory

6.0MiB live, 1 110.8MiB allocated

Algorithm

2×	egg-herbie

Rules

30 512×	accelerator-lowering-fma.f32
30 512×	accelerator-lowering-fma.f64
3 744×	*-lowering-*.f32
3 744×	*-lowering-*.f64
2 596×	+-lowering-+.f64

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	62
1	48	55
2	147	54
3	632	54
4	2211	42
5	3860	42
6	4928	42
7	5456	42
8	5713	42
9	5865	42
10	5954	42
11	6074	42
12	6415	42
13	7128	42
14	7479	42
15	7744	42
16	7903	42
17	7952	42
18	7960	42
0	7	9
1	15	9
2	34	9
3	102	9
4	358	7
5	1286	7
6	3156	7
7	4817	7
8	5526	7
9	5785	7
10	5981	7
11	6073	7
12	6231	7
13	6610	7
14	6823	7
15	6975	7
16	7051	7
17	7094	7
18	7226	7
19	7732	7
0	8185	6

Stop Event

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

Calls

Call 1

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

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

Call 2

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

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