preprocess62.0ms (9.9%)

Algorithm

1×	egg-herbie

Rules

66×	fma-def
34×	associate-*r*
26×	*-commutative
17×	associate-*l*
13×	distribute-lft-in

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	88
1	30	76
2	84	76
3	160	76
4	257	76
5	315	76

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(abs x)

Compiler

Compiled 12 to 8 computations (33.3% saved)