preprocess112.0ms (14.6%)

Algorithm

1×	egg-herbie

Rules

105×	fma-def
104×	associate-*r*
61×	*-commutative
37×	associate-+r+
30×	associate--r+

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	141
1	43	133
2	85	133
3	234	133
4	575	133
5	833	133
6	870	133
7	877	133

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(/.f64 (*.f64 x y) 2)
(/.f64 x (/.f64 2 y))
(*.f64 (/.f64 y 2) x)
(*.f64 y (/.f64 x 2))
(*.f64 x (*.f64 1/2 y))
(*.f64 x (*.f64 y 1/2))
(/.f64 (*.f64 x y) 2)
(/.f64 x (/.f64 2 y))
(*.f64 (/.f64 y 2) x)
(*.f64 y (/.f64 x 2))
(*.f64 x (*.f64 1/2 y))
(*.f64 x (*.f64 y 1/2))
(/.f64 (*.f64 (neg.f64 x) y) 2)
(/.f64 x (/.f64 2 (neg.f64 y)))
(/.f64 x (/.f64 -2 y))
(*.f64 y (/.f64 x -2))
(*.f64 x (*.f64 -1/2 y))
(*.f64 x (*.f64 y -1/2))
(/.f64 (*.f64 x (neg.f64 y)) 2)
(/.f64 x (/.f64 2 (neg.f64 y)))
(/.f64 x (/.f64 -2 y))
(*.f64 y (/.f64 x -2))
(*.f64 x (*.f64 -1/2 y))
(*.f64 x (*.f64 y -1/2))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) 2))
(/.f64 x (/.f64 2 y))
(*.f64 (/.f64 y 2) x)
(*.f64 y (/.f64 x 2))
(*.f64 x (*.f64 1/2 y))
(*.f64 x (*.f64 y 1/2))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) 2))
(/.f64 x (/.f64 2 y))
(*.f64 (/.f64 y 2) x)
(*.f64 y (/.f64 x 2))
(*.f64 x (*.f64 1/2 y))
(*.f64 x (*.f64 y 1/2))
(/.f64 (*.f64 y x) 2)
(/.f64 x (/.f64 2 y))
(*.f64 (/.f64 y 2) x)
(*.f64 y (/.f64 x 2))
(*.f64 x (*.f64 1/2 y))
(*.f64 x (*.f64 y 1/2))

Symmetry

(negabs x)

(negabs y)

(sort x y)

Compiler

Compiled 14 to 7 computations (50% saved)