preprocess582.0ms (34.4%)

Algorithm

1×	egg-herbie

Rules

5432×	fma-def
775×	distribute-lft-in
721×	associate--r+
440×	associate-+l-
407×	distribute-rgt-in

Problems

185×	(+.f64 a (+.f64 b (+.f64 c d)))
71×	No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	616
1	156	592
2	446	592
3	1773	592
4	5548	592
5	6355	592
6	6734	592
7	6893	592
8	6919	592
9	6924	592
10	6979	592
11	6987	592
12	6987	592
13	6987	592
14	7364	592
15	7364	592
16	7364	592

Stop Event

1×	node limit

Calls

Call 1

Inputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2)
(*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) 2)
(*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) 2)
(*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2)
(neg.f64 (*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2))
(neg.f64 (*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) 2))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) 2))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2))
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2)
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2)
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2)
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2)
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2)
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2)

Outputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2)
(*.f64 2 (+.f64 (neg.f64 a) (+.f64 c (+.f64 b d))))
(*.f64 2 (-.f64 (+.f64 b (+.f64 c d)) a))
(*.f64 2 (+.f64 b (+.f64 c (-.f64 d a))))
(*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 (+.f64 c d) (neg.f64 b))))
(*.f64 2 (+.f64 a (-.f64 (+.f64 c d) b)))
(*.f64 2 (+.f64 a (+.f64 d (-.f64 c b))))
(*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) 2)
(*.f64 2 (+.f64 a (+.f64 b (+.f64 d (neg.f64 c)))))
(*.f64 2 (+.f64 a (+.f64 b (-.f64 d c))))
(*.f64 2 (+.f64 a (-.f64 d (-.f64 c b))))
(*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2)
(*.f64 2 (+.f64 a (+.f64 b (-.f64 c d))))
(*.f64 2 (+.f64 a (+.f64 c (-.f64 b d))))
(*.f64 -2 (-.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (-.f64 d (+.f64 a (+.f64 b c))) -2)
(neg.f64 (*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) 2))
(*.f64 (+.f64 (neg.f64 a) (+.f64 c (+.f64 b d))) -2)
(*.f64 (-.f64 (+.f64 b (+.f64 c d)) a) -2)
(*.f64 2 (-.f64 (-.f64 a d) (+.f64 b c)))
(*.f64 2 (-.f64 a (+.f64 b (+.f64 c d))))
(neg.f64 (*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) 2))
(*.f64 (+.f64 a (+.f64 (+.f64 c d) (neg.f64 b))) -2)
(*.f64 (+.f64 a (-.f64 (+.f64 c d) b)) -2)
(*.f64 (+.f64 a (+.f64 d (-.f64 c b))) -2)
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) 2))
(*.f64 (+.f64 a (+.f64 b (+.f64 d (neg.f64 c)))) -2)
(*.f64 (+.f64 a (+.f64 b (-.f64 d c))) -2)
(*.f64 2 (-.f64 (-.f64 c d) (+.f64 a b)))
(*.f64 2 (-.f64 c (+.f64 a (+.f64 b d))))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) 2))
(*.f64 (+.f64 a (+.f64 b (-.f64 c d))) -2)
(*.f64 (+.f64 a (+.f64 c (-.f64 b d))) -2)
(*.f64 2 (-.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2)
(*.f64 2 (+.f64 a (+.f64 c (+.f64 b d))))
(*.f64 2 (+.f64 a (+.f64 b (+.f64 c d))))
(*.f64 2 (+.f64 d (+.f64 a (+.f64 b c))))

Symmetry

(sort a b c d)

Compiler

Compiled 34 to 11 computations (67.6% saved)