preprocess163.0ms (20.4%)

Algorithm

1×	egg-herbie

Rules

214×	fma-def
89×	associate-+r+
86×	associate-*r*
72×	distribute-lft-in
70×	associate-+r-

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	149
1	69	136
2	198	129
3	458	129
4	961	129
5	1216	129
6	1276	129
7	1277	129

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 x (+.f64 y 1))
(*.f64 x (+.f64 y 1))
(*.f64 (neg.f64 x) (+.f64 y 1))
(*.f64 x (+.f64 (neg.f64 y) 1))
(neg.f64 (*.f64 (neg.f64 x) (+.f64 y 1)))
(neg.f64 (*.f64 x (+.f64 (neg.f64 y) 1)))
(*.f64 y (+.f64 x 1))

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

Symmetry

(negabs x)

Compiler

Compiled 14 to 9 computations (35.7% saved)