preprocess176.0ms (13.7%)

Algorithm

1×	egg-herbie

Rules

558×	*-commutative
457×	distribute-lft-neg-in
455×	associate--l-
391×	associate--r-
349×	sub-neg

Problems

134×	No Errors
109×	(+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y))
11×	(-.f64 (*.f64 x y) (*.f64 y y))
2×	(-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	662
1	172	367
2	669	264
3	2221	250
4	5402	250
5	7205	250
6	7833	250

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))
(-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))
(-.f64 (+.f64 (-.f64 (*.f64 (neg.f64 x) y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))
(-.f64 (+.f64 (-.f64 (*.f64 x (neg.f64 y)) (*.f64 (neg.f64 y) (neg.f64 y))) (*.f64 (neg.f64 y) (neg.f64 y))) (*.f64 (neg.f64 y) z))
(-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y (neg.f64 z)))
(neg.f64 (-.f64 (+.f64 (-.f64 (*.f64 (neg.f64 x) y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)))
(neg.f64 (-.f64 (+.f64 (-.f64 (*.f64 x (neg.f64 y)) (*.f64 (neg.f64 y) (neg.f64 y))) (*.f64 (neg.f64 y) (neg.f64 y))) (*.f64 (neg.f64 y) z)))
(neg.f64 (-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y (neg.f64 z))))
(-.f64 (+.f64 (-.f64 (*.f64 y x) (*.f64 x x)) (*.f64 x x)) (*.f64 x z))
(-.f64 (+.f64 (-.f64 (*.f64 z y) (*.f64 y y)) (*.f64 y y)) (*.f64 y x))
(-.f64 (+.f64 (-.f64 (*.f64 x z) (*.f64 z z)) (*.f64 z z)) (*.f64 z y))

Outputs
(-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))
(+.f64 (*.f64 y (-.f64 x y)) (-.f64 (*.f64 y y) (*.f64 y z)))
(-.f64 (*.f64 x y) (*.f64 y z))
(*.f64 y (-.f64 x z))
(-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))
(+.f64 (*.f64 y (-.f64 x y)) (-.f64 (*.f64 y y) (*.f64 y z)))
(-.f64 (*.f64 x y) (*.f64 y z))
(*.f64 y (-.f64 x z))
(-.f64 (+.f64 (-.f64 (*.f64 (neg.f64 x) y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))
(+.f64 (*.f64 y (-.f64 (neg.f64 x) y)) (-.f64 (*.f64 y y) (*.f64 y z)))
(-.f64 (neg.f64 (*.f64 x y)) (*.f64 y z))
(*.f64 y (-.f64 (neg.f64 x) z))
(*.f64 y (-.f64 (neg.f64 z) x))
(-.f64 (+.f64 (-.f64 (*.f64 x (neg.f64 y)) (*.f64 (neg.f64 y) (neg.f64 y))) (*.f64 (neg.f64 y) (neg.f64 y))) (*.f64 (neg.f64 y) z))
(+.f64 (+.f64 (*.f64 y y) (*.f64 y (-.f64 (neg.f64 x) y))) (*.f64 y z))
(+.f64 (*.f64 y z) (fma.f64 x (neg.f64 y) 0))
(*.f64 y (+.f64 z (neg.f64 x)))
(*.f64 y (-.f64 z x))
(-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y (neg.f64 z)))
(+.f64 (*.f64 y (-.f64 x y)) (-.f64 (*.f64 y y) (*.f64 y (neg.f64 z))))
(+.f64 (fma.f64 x y 0) (*.f64 y z))
(*.f64 y (+.f64 z x))
(*.f64 y (+.f64 x z))
(neg.f64 (-.f64 (+.f64 (-.f64 (*.f64 (neg.f64 x) y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)))
(+.f64 (*.f64 y (-.f64 x y)) (-.f64 (*.f64 y y) (*.f64 y (neg.f64 z))))
(+.f64 (fma.f64 x y 0) (*.f64 y z))
(*.f64 y (+.f64 z x))
(*.f64 y (+.f64 x z))
(neg.f64 (-.f64 (+.f64 (-.f64 (*.f64 x (neg.f64 y)) (*.f64 (neg.f64 y) (neg.f64 y))) (*.f64 (neg.f64 y) (neg.f64 y))) (*.f64 (neg.f64 y) z)))
(+.f64 (*.f64 y (-.f64 x y)) (-.f64 (*.f64 y y) (*.f64 y z)))
(-.f64 (*.f64 x y) (*.f64 y z))
(*.f64 y (-.f64 x z))
(neg.f64 (-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y (neg.f64 z))))
(+.f64 (*.f64 y (-.f64 (neg.f64 x) y)) (-.f64 (*.f64 y y) (*.f64 y z)))
(-.f64 (neg.f64 (*.f64 x y)) (*.f64 y z))
(*.f64 y (-.f64 (neg.f64 x) z))
(*.f64 y (-.f64 (neg.f64 z) x))
(-.f64 (+.f64 (-.f64 (*.f64 y x) (*.f64 x x)) (*.f64 x x)) (*.f64 x z))
(+.f64 (*.f64 x (-.f64 y x)) (-.f64 (*.f64 x x) (*.f64 x z)))
(-.f64 (fma.f64 x y 0) (*.f64 x z))
(*.f64 x (-.f64 (-.f64 y 0) z))
(*.f64 x (-.f64 y z))
(-.f64 (+.f64 (-.f64 (*.f64 z y) (*.f64 y y)) (*.f64 y y)) (*.f64 y x))
(+.f64 (+.f64 (*.f64 y y) (*.f64 y (-.f64 (neg.f64 x) y))) (*.f64 y z))
(+.f64 (*.f64 y z) (fma.f64 x (neg.f64 y) 0))
(*.f64 y (+.f64 z (neg.f64 x)))
(*.f64 y (-.f64 z x))
(-.f64 (+.f64 (-.f64 (*.f64 x z) (*.f64 z z)) (*.f64 z z)) (*.f64 z y))
(-.f64 (+.f64 (*.f64 z z) (*.f64 z (-.f64 x z))) (*.f64 y z))
(-.f64 (*.f64 x z) (*.f64 y z))
(*.f64 z (-.f64 x y))

Symmetry

(negabs y)

Compiler

Compiled 49 to 10 computations (79.6% saved)