preprocess139.0ms (12.4%)

Algorithm

1×	egg-herbie

Rules

580×	associate-/l*
564×	distribute-lft-in
490×	fma-def
414×	distribute-rgt-in
355×	*-commutative

Problems

221×	No Errors
31×	(/.f64 (/.f64 1 x) (*.f64 y (+.f64 1 (*.f64 z z))))
4×	(*.f64 y (+.f64 1 (*.f64 z z)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	485
1	140	429
2	358	429
3	1041	429
4	3153	429
5	6180	429

Stop Event

1×	node limit

Calls

Call 1

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

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

Symmetry

(abs z)

(negabs x)

(negabs y)

(sort x y)

Compiler

Compiled 37 to 19 computations (48.6% saved)