preprocess136.0ms (12.3%)

Algorithm

1×	egg-herbie

Rules

477×	*-commutative
430×	div-sub
373×	distribute-lft-neg-in
364×	associate-/l*
357×	distribute-frac-neg

Problems

219×	No Errors
37×	(/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1)))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	526
1	164	518
2	588	482
3	3075	478
4	7396	478

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1)))
(/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1)))
(/.f64 (*.f64 (neg.f64 x) y) (*.f64 (*.f64 z z) (+.f64 z 1)))
(/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 z z) (+.f64 z 1)))
(/.f64 (*.f64 x y) (*.f64 (*.f64 (neg.f64 z) (neg.f64 z)) (+.f64 (neg.f64 z) 1)))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) (*.f64 (*.f64 z z) (+.f64 z 1))))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 z z) (+.f64 z 1))))
(neg.f64 (/.f64 (*.f64 x y) (*.f64 (*.f64 (neg.f64 z) (neg.f64 z)) (+.f64 (neg.f64 z) 1))))
(/.f64 (*.f64 y x) (*.f64 (*.f64 z z) (+.f64 z 1)))
(/.f64 (*.f64 z y) (*.f64 (*.f64 x x) (+.f64 x 1)))
(/.f64 (*.f64 x z) (*.f64 (*.f64 y y) (+.f64 y 1)))

Outputs
(/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1)))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 y (+.f64 z 1)))
(*.f64 x (/.f64 y (fma.f64 z z (pow.f64 z 3))))
(/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1)))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 y (+.f64 z 1)))
(*.f64 x (/.f64 y (fma.f64 z z (pow.f64 z 3))))
(/.f64 (*.f64 (neg.f64 x) y) (*.f64 (*.f64 z z) (+.f64 z 1)))
(/.f64 x (/.f64 (*.f64 (*.f64 z z) (+.f64 z 1)) (neg.f64 y)))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 (neg.f64 y) (+.f64 z 1)))
(*.f64 (neg.f64 y) (/.f64 x (fma.f64 z z (pow.f64 z 3))))
(/.f64 y (/.f64 (neg.f64 (fma.f64 z z (pow.f64 z 3))) x))
(/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 z z) (+.f64 z 1)))
(/.f64 x (/.f64 (*.f64 (*.f64 z z) (+.f64 z 1)) (neg.f64 y)))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 (neg.f64 y) (+.f64 z 1)))
(*.f64 (neg.f64 y) (/.f64 x (fma.f64 z z (pow.f64 z 3))))
(/.f64 y (/.f64 (neg.f64 (fma.f64 z z (pow.f64 z 3))) x))
(/.f64 (*.f64 x y) (*.f64 (*.f64 (neg.f64 z) (neg.f64 z)) (+.f64 (neg.f64 z) 1)))
(/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 1 (neg.f64 z))))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 y (-.f64 1 z)))
(/.f64 (/.f64 x (/.f64 z y)) (*.f64 z (-.f64 1 z)))
(*.f64 x (/.f64 y (-.f64 (*.f64 z z) (pow.f64 z 3))))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) (*.f64 (*.f64 z z) (+.f64 z 1))))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 y (+.f64 z 1)))
(*.f64 x (/.f64 y (fma.f64 z z (pow.f64 z 3))))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 z z) (+.f64 z 1))))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 y (+.f64 z 1)))
(*.f64 x (/.f64 y (fma.f64 z z (pow.f64 z 3))))
(neg.f64 (/.f64 (*.f64 x y) (*.f64 (*.f64 (neg.f64 z) (neg.f64 z)) (+.f64 (neg.f64 z) 1))))
(/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 z z) (+.f64 1 (neg.f64 z))))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 (neg.f64 y) (-.f64 1 z)))
(*.f64 y (/.f64 (/.f64 x z) (*.f64 z (+.f64 z -1))))
(/.f64 (*.f64 y x) (*.f64 (*.f64 z z) (+.f64 z 1)))
(*.f64 (/.f64 x (*.f64 z z)) (/.f64 y (+.f64 z 1)))
(*.f64 x (/.f64 y (fma.f64 z z (pow.f64 z 3))))
(/.f64 (*.f64 z y) (*.f64 (*.f64 x x) (+.f64 x 1)))
(/.f64 (*.f64 y z) (*.f64 (*.f64 x x) (+.f64 x 1)))
(/.f64 (/.f64 (*.f64 y z) x) (*.f64 x (+.f64 x 1)))
(*.f64 y (/.f64 z (fma.f64 x x (pow.f64 x 3))))
(/.f64 (*.f64 x z) (*.f64 (*.f64 y y) (+.f64 y 1)))
(*.f64 (/.f64 x (*.f64 y y)) (/.f64 z (+.f64 y 1)))
(*.f64 z (/.f64 x (fma.f64 y y (pow.f64 y 3))))
(*.f64 x (/.f64 z (fma.f64 y y (pow.f64 y 3))))

Symmetry

(negabs x)

(negabs y)

(sort x y)

Compiler

Compiled 35 to 16 computations (54.3% saved)