preprocess74.0ms (9.7%)

Algorithm

1×	egg-herbie

Rules

136×	fma-def
85×	associate-+r+
78×	associate-*r*
47×	*-commutative
37×	associate--r+

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	205
1	45	141
2	87	133
3	279	133
4	639	133
5	918	133
6	920	133

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (*.f64 re im) (*.f64 im re))
(+.f64 (*.f64 re im) (*.f64 im re))
(+.f64 (*.f64 (neg.f64 re) im) (*.f64 im (neg.f64 re)))
(+.f64 (*.f64 re (neg.f64 im)) (*.f64 (neg.f64 im) re))
(neg.f64 (+.f64 (*.f64 (neg.f64 re) im) (*.f64 im (neg.f64 re))))
(neg.f64 (+.f64 (*.f64 re (neg.f64 im)) (*.f64 (neg.f64 im) re)))
(+.f64 (*.f64 im re) (*.f64 re im))

Outputs
(+.f64 (*.f64 re im) (*.f64 im re))
(fma.f64 re im (*.f64 re im))
(*.f64 2 (*.f64 re im))
(*.f64 im (*.f64 2 re))
(*.f64 im (*.f64 re 2))
(+.f64 (*.f64 re im) (*.f64 im re))
(fma.f64 re im (*.f64 re im))
(*.f64 2 (*.f64 re im))
(*.f64 im (*.f64 2 re))
(*.f64 im (*.f64 re 2))
(+.f64 (*.f64 (neg.f64 re) im) (*.f64 im (neg.f64 re)))
(fma.f64 re (neg.f64 im) (*.f64 re (neg.f64 im)))
(*.f64 2 (*.f64 re (neg.f64 im)))
(*.f64 im (*.f64 re -2))
(+.f64 (*.f64 re (neg.f64 im)) (*.f64 (neg.f64 im) re))
(fma.f64 re (neg.f64 im) (*.f64 re (neg.f64 im)))
(*.f64 2 (*.f64 re (neg.f64 im)))
(*.f64 im (*.f64 re -2))
(neg.f64 (+.f64 (*.f64 (neg.f64 re) im) (*.f64 im (neg.f64 re))))
(fma.f64 re im (*.f64 re im))
(*.f64 2 (*.f64 re im))
(*.f64 im (*.f64 2 re))
(*.f64 im (*.f64 re 2))
(neg.f64 (+.f64 (*.f64 re (neg.f64 im)) (*.f64 (neg.f64 im) re)))
(fma.f64 re im (*.f64 re im))
(*.f64 2 (*.f64 re im))
(*.f64 im (*.f64 2 re))
(*.f64 im (*.f64 re 2))
(+.f64 (*.f64 im re) (*.f64 re im))
(fma.f64 re im (*.f64 re im))
(*.f64 2 (*.f64 re im))
(*.f64 im (*.f64 2 re))
(*.f64 im (*.f64 re 2))

Symmetry

(negabs re)

(negabs im)

(sort re im)

Compiler

Compiled 18 to 6 computations (66.7% saved)