preprocess67.0ms (9.2%)

Algorithm

1×	egg-herbie

Rules

140×	fma-def
82×	associate-*r*
53×	*-commutative
47×	associate-+r+
40×	distribute-lft-in

Problems

255×	No Errors
1×	(*.f64 x (+.f64 y y))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	141
1	58	133
2	145	133
3	384	133
4	677	133
5	799	133

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(*.f64 x (+.f64 y y))
(*.f64 x (*.f64 2 y))
(*.f64 x (*.f64 y 2))
(*.f64 x (+.f64 y y))
(*.f64 x (*.f64 2 y))
(*.f64 x (*.f64 y 2))
(*.f64 (neg.f64 x) (+.f64 y y))
(*.f64 (*.f64 2 y) (neg.f64 x))
(*.f64 x (*.f64 y -2))
(*.f64 x (+.f64 (neg.f64 y) (neg.f64 y)))
(*.f64 (*.f64 2 y) (neg.f64 x))
(*.f64 x (*.f64 y -2))
(neg.f64 (*.f64 (neg.f64 x) (+.f64 y y)))
(*.f64 x (*.f64 2 y))
(*.f64 x (*.f64 y 2))
(neg.f64 (*.f64 x (+.f64 (neg.f64 y) (neg.f64 y))))
(*.f64 x (*.f64 2 y))
(*.f64 x (*.f64 y 2))
(*.f64 y (+.f64 x x))
(*.f64 x (*.f64 2 y))
(*.f64 x (*.f64 y 2))

Symmetry

(negabs x)

(negabs y)

(sort x y)

Compiler

Compiled 13 to 5 computations (61.5% saved)