preprocess258.0ms (27.9%)

Algorithm

1×	egg-herbie

Rules

615×	associate-+r-
603×	fma-def
490×	distribute-lft-in
484×	associate-+l+
433×	+-commutative

Problems

241×	No Errors
15×	(-.f64 (*.f64 re re) (*.f64 im im))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	229
1	68	217
2	188	217
3	522	217
4	1115	217
5	2038	217
6	3005	217
7	3712	217
8	5493	217
9	6101	217
10	6214	217
11	6328	217
12	6408	217
13	6408	217
14	7789	217

Stop Event

1×	node limit

Calls

Call 1

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

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

Symmetry

(abs re)

(abs im)

Compiler

Compiled 18 to 6 computations (66.7% saved)