preprocess311.0ms (31.3%)

Memory

3.1MiB live, 124.8MiB allocated

Algorithm

2×	egg-herbie

Rules

2 202×	unsub-neg
1 340×	distribute-neg-in
1 114×	associate-+r+
876×	sub-neg
768×	associate-+l-

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	115
1	145	92
2	571	90
3	2404	90
4	4317	90
5	5679	90
6	6085	90
7	6199	90
8	6210	90
9	6210	90
10	6865	90
11	7074	90
12	7098	90
13	7106	90
14	7106	90
15	7106	90
16	7110	90
17	7842	90
0	8	11
1	21	9
2	66	9
3	161	9
4	254	9
5	259	9
0	259	7

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

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

Outputs
(+ (+ (+ (+ (+ x y) y) x) z) x)
(fma.f64 x #s(literal 3 binary64) (fma.f64 y #s(literal 2 binary64) z))

Call 2

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

Outputs
(+ (+ (+ (+ (+ x y) y) x) z) x)
(+ x (+ (* (+ x y) 2) z))
(+ (+ (+ (+ (+ (neg x) y) y) (neg x)) z) (neg x))
(+ z (- (* (- x y) -2) x))
(+ (+ (+ (+ (+ x (neg y)) (neg y)) x) z) x)
(+ z (+ x (* (- x y) 2)))
(+ (+ (+ (+ (+ x y) y) x) (neg z)) x)
(+ y (- y (+ z (* x -3))))
(neg (+ (+ (+ (+ (+ (neg x) y) y) (neg x)) z) (neg x)))
(- x (+ z (* (- x y) -2)))
(neg (+ (+ (+ (+ (+ x (neg y)) (neg y)) x) z) x))
(+ y (+ y (- (* x -3) z)))
(neg (+ (+ (+ (+ (+ x y) y) x) (neg z)) x))
(+ z (- (- (* x -3) y) y))
(+ (+ (+ (+ (+ y x) x) y) z) y)
(+ x (+ z (+ x (* y 3))))
(+ (+ (+ (+ (+ z y) y) z) x) z)
(+ y (+ y (+ x (* z 3))))
(+ (+ (+ (+ (+ x z) z) x) y) x)
(+ (+ x y) (* (+ x z) 2))