preprocess253.0ms (27.8%)

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 a a) (*.f64 b b))

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 a a) (*.f64 b b))
(-.f64 (*.f64 a a) (*.f64 b b))
(-.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b))
(-.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b)))
(neg.f64 (-.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)))
(neg.f64 (-.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))))
(-.f64 (*.f64 b b) (*.f64 a a))

Outputs
(-.f64 (*.f64 a a) (*.f64 b b))
(-.f64 (*.f64 a a) (*.f64 b b))
(-.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b))
(-.f64 (*.f64 a a) (*.f64 b b))
(-.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b)))
(-.f64 (*.f64 a a) (*.f64 b b))
(neg.f64 (-.f64 (*.f64 (neg.f64 a) (neg.f64 a)) (*.f64 b b)))
(neg.f64 (-.f64 (*.f64 a a) (*.f64 b b)))
(-.f64 (*.f64 b b) (*.f64 a a))
(fma.f64 a (neg.f64 a) (*.f64 b b))
(neg.f64 (-.f64 (*.f64 a a) (*.f64 (neg.f64 b) (neg.f64 b))))
(neg.f64 (-.f64 (*.f64 a a) (*.f64 b b)))
(-.f64 (*.f64 b b) (*.f64 a a))
(fma.f64 a (neg.f64 a) (*.f64 b b))
(-.f64 (*.f64 b b) (*.f64 a a))
(neg.f64 (-.f64 (*.f64 a a) (*.f64 b b)))
(fma.f64 a (neg.f64 a) (*.f64 b b))

Symmetry

(abs a)

(abs b)

Compiler

Compiled 18 to 6 computations (66.7% saved)