preprocess124.0ms (15.4%)

Algorithm

1×	egg-herbie

Rules

414×	fma-def
373×	distribute-lft-in
239×	distribute-rgt-in
207×	associate-+r+
171×	*-commutative

Problems

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	204
1	68	196
2	229	196
3	605	196
4	1369	196
5	2551	196
6	2647	196
7	2651	196
8	2651	196
9	2653	196

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(abs y)

(negabs x)

Compiler

Compiled 21 to 13 computations (38.1% saved)