preprocess144.0ms (13.9%)

Algorithm

1×	egg-herbie

Rules

504×	fma-neg
335×	distribute-lft-in
228×	fma-def
211×	associate-*r*
195×	*-commutative

Problems

244×	No Errors
12×	(-.f64 (*.f64 x x) (*.f64 x y))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	212
1	85	196
2	238	196
3	683	196
4	1751	196
5	2787	196
6	3141	196
7	3250	196
8	3250	196

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 2 (-.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 2 (-.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 2 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) y)))
(*.f64 2 (-.f64 (*.f64 x x) (*.f64 x (neg.f64 y))))
(neg.f64 (*.f64 2 (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) y))))
(neg.f64 (*.f64 2 (-.f64 (*.f64 x x) (*.f64 x (neg.f64 y)))))
(*.f64 2 (-.f64 (*.f64 y y) (*.f64 y x)))

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

Compiler

Compiled 28 to 9 computations (67.9% saved)