preprocess208.0ms (15.7%)

Algorithm

1×	egg-herbie

Rules

699×	unswap-sqr
422×	*-commutative
417×	associate-*r*
349×	fma-def
333×	+-commutative

Problems

256×	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	401
1	104	352
2	320	336
3	1120	328
4	2969	328
5	5059	328
6	7043	328
7	7787	328

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 (neg.f64 x) 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 (neg.f64 y) 4)) (*.f64 2 (*.f64 (neg.f64 y) (neg.f64 y))))
(neg.f64 (+.f64 (-.f64 (*.f64 9 (pow.f64 (neg.f64 x) 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y))))
(neg.f64 (+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 (neg.f64 y) 4)) (*.f64 2 (*.f64 (neg.f64 y) (neg.f64 y)))))
(+.f64 (-.f64 (*.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (*.f64 2 (*.f64 x x)))

Outputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(fma.f64 2 (pow.f64 y 2) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (fma.f64 2 (pow.f64 y 2) (*.f64 9 (pow.f64 x 4))) (pow.f64 y 4))
(-.f64 (*.f64 9 (pow.f64 x 4)) (fma.f64 (pow.f64 y 2) -2 (pow.f64 y 4)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(fma.f64 2 (pow.f64 y 2) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (fma.f64 2 (pow.f64 y 2) (*.f64 9 (pow.f64 x 4))) (pow.f64 y 4))
(-.f64 (*.f64 9 (pow.f64 x 4)) (fma.f64 (pow.f64 y 2) -2 (pow.f64 y 4)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 (neg.f64 x) 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(fma.f64 2 (pow.f64 y 2) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (fma.f64 2 (pow.f64 y 2) (*.f64 9 (pow.f64 x 4))) (pow.f64 y 4))
(-.f64 (*.f64 9 (pow.f64 x 4)) (fma.f64 (pow.f64 y 2) -2 (pow.f64 y 4)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 (neg.f64 y) 4)) (*.f64 2 (*.f64 (neg.f64 y) (neg.f64 y))))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(fma.f64 2 (pow.f64 y 2) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (fma.f64 2 (pow.f64 y 2) (*.f64 9 (pow.f64 x 4))) (pow.f64 y 4))
(-.f64 (*.f64 9 (pow.f64 x 4)) (fma.f64 (pow.f64 y 2) -2 (pow.f64 y 4)))
(neg.f64 (+.f64 (-.f64 (*.f64 9 (pow.f64 (neg.f64 x) 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y))))
(neg.f64 (+.f64 (*.f64 2 (*.f64 y y)) (-.f64 (*.f64 9 (pow.f64 (neg.f64 x) 4)) (pow.f64 y 4))))
(-.f64 (*.f64 (pow.f64 y 2) -2) (fma.f64 9 (pow.f64 (neg.f64 x) 4) (neg.f64 (pow.f64 y 4))))
(fma.f64 (pow.f64 y 2) -2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))
(fma.f64 (pow.f64 x 4) -9 (fma.f64 (pow.f64 y 2) -2 (pow.f64 y 4)))
(neg.f64 (+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 (neg.f64 y) 4)) (*.f64 2 (*.f64 (neg.f64 y) (neg.f64 y)))))
(neg.f64 (+.f64 (*.f64 2 (*.f64 y y)) (-.f64 (*.f64 9 (pow.f64 (neg.f64 x) 4)) (pow.f64 y 4))))
(-.f64 (*.f64 (pow.f64 y 2) -2) (fma.f64 9 (pow.f64 (neg.f64 x) 4) (neg.f64 (pow.f64 y 4))))
(fma.f64 (pow.f64 y 2) -2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))
(fma.f64 (pow.f64 x 4) -9 (fma.f64 (pow.f64 y 2) -2 (pow.f64 y 4)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (*.f64 2 (*.f64 x x)))
(fma.f64 2 (pow.f64 x 2) (fma.f64 9 (pow.f64 y 4) (neg.f64 (pow.f64 x 4))))
(-.f64 (fma.f64 2 (pow.f64 x 2) (*.f64 9 (pow.f64 y 4))) (pow.f64 x 4))
(fma.f64 9 (pow.f64 y 4) (-.f64 (*.f64 2 (pow.f64 x 2)) (pow.f64 x 4)))
(-.f64 (*.f64 9 (pow.f64 y 4)) (fma.f64 (pow.f64 x 2) -2 (pow.f64 x 4)))

Symmetry

(abs x)

(abs y)

Compiler

Compiled 51 to 34 computations (33.3% saved)