preprocess555.0ms (42.2%)

Algorithm

1×	egg-herbie

Rules

2071×	fma-def
452×	associate--l+
412×	associate-+l-
410×	fma-neg
378×	distribute-lft-in

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	43	443
1	102	383
2	318	375
3	1050	375
4	3308	375
5	5205	375
6	5704	375
7	5981	375
8	5988	375
9	5988	375
10	6084	375
11	6958	375
12	6958	375

Stop Event

1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 32 to 15 computations (53.1% saved)