preprocess72.0ms (7.8%)

Algorithm

1×	egg-herbie

Rules

130×	fma-def
101×	associate-*r*
62×	*-commutative
55×	distribute-lft-in
54×	associate-*l*

Problems

256×

No Errors

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	162
1	56	162
2	141	162
3	306	162
4	643	162
5	771	162
6	783	162

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(*.f64 (*.f64 x y) y)
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 x y) y)
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 (neg.f64 x) y) y)
(*.f64 y (*.f64 x (neg.f64 y)))
(*.f64 (*.f64 x (neg.f64 y)) (neg.f64 y))
(*.f64 x (*.f64 y y))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) y) y))
(*.f64 x (*.f64 y y))
(neg.f64 (*.f64 (*.f64 x (neg.f64 y)) (neg.f64 y)))
(*.f64 y (*.f64 x (neg.f64 y)))
(*.f64 (*.f64 y x) x)
(*.f64 y (*.f64 x x))
(*.f64 x (*.f64 x y))

Symmetry

(abs y)

(negabs x)

Compiler

Compiled 13 to 5 computations (61.5% saved)