preprocess545.0ms (41.5%)

Algorithm

1×	egg-herbie

Rules

2174×	fma-def
675×	associate-+l-
547×	distribute-lft-in
544×	+-commutative
427×	*-commutative

Problems

247×	No Errors
9×	(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	402
1	115	378
2	370	342
3	1236	330
4	4080	330
5	5824	330
6	6882	330
7	7088	330
8	7212	330
9	7247	330
10	7296	330
11	7296	330
12	7296	330

Stop Event

1×	node limit

Calls

Call 1

Inputs
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))
(*.f64 (neg.f64 x) (-.f64 1 (*.f64 (-.f64 1 y) z)))
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 (neg.f64 y)) z)))
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) (neg.f64 z))))
(neg.f64 (*.f64 (neg.f64 x) (-.f64 1 (*.f64 (-.f64 1 y) z))))
(neg.f64 (*.f64 x (-.f64 1 (*.f64 (-.f64 1 (neg.f64 y)) z))))
(neg.f64 (*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) (neg.f64 z)))))
(*.f64 y (-.f64 1 (*.f64 (-.f64 1 x) z)))
(*.f64 z (-.f64 1 (*.f64 (-.f64 1 y) x)))
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 z) y)))

Outputs
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))
(*.f64 x (+.f64 1 (*.f64 z (+.f64 -1 y))))
(*.f64 x (fma.f64 (+.f64 y -1) z 1))
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))
(*.f64 x (+.f64 1 (*.f64 z (+.f64 -1 y))))
(*.f64 x (fma.f64 (+.f64 y -1) z 1))
(*.f64 (neg.f64 x) (-.f64 1 (*.f64 (-.f64 1 y) z)))
(*.f64 (-.f64 1 (*.f64 (-.f64 1 y) z)) (neg.f64 x))
(*.f64 x (+.f64 -1 (*.f64 (-.f64 1 y) z)))
(*.f64 x (+.f64 (*.f64 (-.f64 1 y) z) -1))
(*.f64 x (fma.f64 (-.f64 1 y) z -1))
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 (neg.f64 y)) z)))
(*.f64 x (-.f64 1 (*.f64 z (-.f64 1 (neg.f64 y)))))
(*.f64 x (-.f64 1 (*.f64 z (+.f64 1 y))))
(*.f64 x (fma.f64 (-.f64 -1 y) z 1))
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) (neg.f64 z))))
(*.f64 x (+.f64 1 (*.f64 (-.f64 1 y) z)))
(*.f64 x (fma.f64 (-.f64 1 y) z 1))
(neg.f64 (*.f64 (neg.f64 x) (-.f64 1 (*.f64 (-.f64 1 y) z))))
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) z)))
(*.f64 x (+.f64 1 (*.f64 z (+.f64 -1 y))))
(*.f64 x (fma.f64 (+.f64 y -1) z 1))
(neg.f64 (*.f64 x (-.f64 1 (*.f64 (-.f64 1 (neg.f64 y)) z))))
(*.f64 (neg.f64 x) (-.f64 1 (*.f64 z (-.f64 1 (neg.f64 y)))))
(*.f64 (neg.f64 x) (-.f64 1 (*.f64 z (+.f64 1 y))))
(*.f64 x (+.f64 (*.f64 (+.f64 1 y) z) -1))
(*.f64 x (fma.f64 (+.f64 1 y) z -1))
(neg.f64 (*.f64 x (-.f64 1 (*.f64 (-.f64 1 y) (neg.f64 z)))))
(*.f64 (neg.f64 x) (-.f64 1 (*.f64 (-.f64 1 y) (neg.f64 z))))
(*.f64 x (+.f64 -1 (*.f64 z (+.f64 -1 y))))
(*.f64 (neg.f64 x) (fma.f64 (-.f64 1 y) z 1))
(*.f64 x (fma.f64 (+.f64 y -1) z -1))
(*.f64 y (-.f64 1 (*.f64 (-.f64 1 x) z)))
(*.f64 y (-.f64 1 (*.f64 z (-.f64 1 x))))
(*.f64 y (+.f64 1 (*.f64 z (+.f64 -1 x))))
(*.f64 y (fma.f64 (+.f64 x -1) z 1))
(*.f64 z (-.f64 1 (*.f64 (-.f64 1 y) x)))
(*.f64 z (-.f64 1 (*.f64 x (-.f64 1 y))))
(*.f64 z (+.f64 1 (*.f64 x (+.f64 -1 y))))
(*.f64 (fma.f64 x (+.f64 y -1) 1) z)
(*.f64 x (-.f64 1 (*.f64 (-.f64 1 z) y)))
(*.f64 x (-.f64 1 (*.f64 y (-.f64 1 z))))
(*.f64 x (fma.f64 y (+.f64 -1 z) 1))

Symmetry

(negabs x)

Compiler

Compiled 32 to 21 computations (34.4% saved)