preprocess393.0ms (27.5%)

Algorithm

1×	egg-herbie

Rules

492×	distribute-lft-in
352×	fma-neg
278×	fma-def
269×	distribute-rgt-in
193×	*-commutative

Problems

256×

No Errors

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	220
1	70	204
2	251	196
3	788	195
4	2396	195
5	3521	195
6	3760	195
7	3761	195
8	3761	195

Stop Event

1×

saturated

Calls

Call 1

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

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

Compiler

Compiled 19 to 10 computations (47.4% saved)