preprocess594.0ms (31.2%)

Memory

-43.5MiB live, 152.3MiB allocated

Algorithm

2×	egg-herbie

Rules

14 508×	accelerator-lowering-fma.f32
14 508×	accelerator-lowering-fma.f64
3 456×	unsub-neg
2 936×	associate-+r+
2 832×	+-lowering-+.f64

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	39	110
1	132	10
2	535	10
3	1670	10
4	2529	10
5	2785	10
6	2796	10
7	2804	10
8	2804	10
9	2804	10
10	2804	10
11	2804	10
0	8	11
1	20	1
2	84	1
3	356	1
4	1161	1
5	1803	1
6	3895	1
7	5055	1
8	5885	1
9	6339	1
10	6373	1
11	6377	1
12	6495	1
13	6504	1
14	6505	1
15	6505	1
16	6505	1
17	7354	1
18	7506	1
19	7658	1
20	7772	1
21	7810	1
22	7810	1
0	8194	1

Stop Event

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

Calls

Call 1

Inputs
(- (+ (+ x y) z) (+ x (+ y z)))

Outputs
(- (+ (+ x y) z) (+ x (+ y z)))
#s(literal 0 binary64)

Call 2

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

Outputs
(- (+ (+ x y) z) (+ x (+ y z)))
#s(literal 0 binary64)
(- (+ (+ (neg x) y) z) (+ (neg x) (+ y z)))
#s(literal 0 binary64)
(- (+ (+ x (neg y)) z) (+ x (+ (neg y) z)))
#s(literal 0 binary64)
(- (+ (+ x y) (neg z)) (+ x (+ y (neg z))))
#s(literal 0 binary64)
(neg (- (+ (+ (neg x) y) z) (+ (neg x) (+ y z))))
#s(literal 0 binary64)
(neg (- (+ (+ x (neg y)) z) (+ x (+ (neg y) z))))
#s(literal 0 binary64)
(neg (- (+ (+ x y) (neg z)) (+ x (+ y (neg z)))))
#s(literal 0 binary64)
(- (+ (+ y x) z) (+ y (+ x z)))
#s(literal 0 binary64)
(- (+ (+ z y) x) (+ z (+ y x)))
#s(literal 0 binary64)
(- (+ (+ x z) y) (+ x (+ z y)))
#s(literal 0 binary64)

Symmetry

(abs x)

(abs y)

(abs z)

(negabs x)

(negabs y)

(negabs z)

(sort x y z)