preprocess195.0ms (11.6%)

Algorithm

1×	egg-herbie

Rules

524×	fma-def
522×	*-commutative
466×	+-commutative
399×	associate--l-
362×	distribute-lft-in

Problems

247×	No Errors
7×	(-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
2×	(+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	178	2518
1	511	2482
2	1362	2226
3	4555	2226
4	7687	2226

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 (neg.f64 x) y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x (neg.f64 y)) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 (neg.f64 z) t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z (neg.f64 t)) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 (neg.f64 a) b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a (neg.f64 b)) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (neg.f64 c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 (neg.f64 x) y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x (neg.f64 y)) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 (neg.f64 z) t) 16)) (/.f64 (*.f64 a b) 4)) c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z (neg.f64 t)) 16)) (/.f64 (*.f64 a b) 4)) c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 (neg.f64 a) b) 4)) c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a (neg.f64 b)) 4)) c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (neg.f64 c)))
(+.f64 (-.f64 (+.f64 (*.f64 y x) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 z y) (/.f64 (*.f64 x t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 t y) (/.f64 (*.f64 z x) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 a y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 x b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 b y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a x) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 c y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) x)
(+.f64 (-.f64 (+.f64 (*.f64 x z) (/.f64 (*.f64 y t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x t) (/.f64 (*.f64 z y) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x a) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 y b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x b) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a y) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x c) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) y)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 t z) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 a t) 16)) (/.f64 (*.f64 z b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 b t) 16)) (/.f64 (*.f64 a z) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 c t) 16)) (/.f64 (*.f64 a b) 4)) z)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z a) 16)) (/.f64 (*.f64 t b) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z b) 16)) (/.f64 (*.f64 a t) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z c) 16)) (/.f64 (*.f64 a b) 4)) t)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 b a) 4)) c)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 c b) 4)) a)
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a c) 4)) b)

Outputs
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))) c)
(+.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (/.f64 a -4) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))) c)
(+.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (/.f64 a -4) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 (neg.f64 x) y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x (neg.f64 y) (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))))
(+.f64 (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 x y)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 x (neg.f64 y) (fma.f64 (/.f64 z 16) t (fma.f64 (/.f64 a -4) b c)))
(-.f64 (fma.f64 (/.f64 z 16) t (fma.f64 (*.f64 -1/4 a) b c)) (*.f64 x y))
(-.f64 (fma.f64 (/.f64 z 16) t (fma.f64 (*.f64 a -1/4) b c)) (*.f64 x y))
(+.f64 (-.f64 (+.f64 (*.f64 x (neg.f64 y)) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x (neg.f64 y) (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))))
(+.f64 (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 x y)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 x (neg.f64 y) (fma.f64 (/.f64 z 16) t (fma.f64 (/.f64 a -4) b c)))
(-.f64 (fma.f64 (/.f64 z 16) t (fma.f64 (*.f64 -1/4 a) b c)) (*.f64 x y))
(-.f64 (fma.f64 (/.f64 z 16) t (fma.f64 (*.f64 a -1/4) b c)) (*.f64 x y))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 (neg.f64 z) t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 (neg.f64 t)))) (/.f64 a (/.f64 4 b))))
(+.f64 (fma.f64 x y (/.f64 z (/.f64 -16 t))) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 x y (fma.f64 (/.f64 z -16) t (fma.f64 (/.f64 a -4) b c)))
(fma.f64 x y (fma.f64 (*.f64 -1/16 z) t (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 x y (fma.f64 (*.f64 z -1/16) t (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z (neg.f64 t)) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 (neg.f64 t)))) (/.f64 a (/.f64 4 b))))
(+.f64 (fma.f64 x y (/.f64 z (/.f64 -16 t))) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 x y (fma.f64 (/.f64 z -16) t (fma.f64 (/.f64 a -4) b c)))
(fma.f64 x y (fma.f64 (*.f64 -1/16 z) t (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 x y (fma.f64 (*.f64 z -1/16) t (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 (neg.f64 a) b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 (neg.f64 b)))))
(+.f64 c (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (/.f64 a (/.f64 -4 b))))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 (/.f64 a 4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a (neg.f64 b)) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 (neg.f64 b)))))
(+.f64 c (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (/.f64 a (/.f64 -4 b))))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 (/.f64 a 4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (neg.f64 c))
(-.f64 (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))) c)
(+.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (-.f64 (/.f64 a (/.f64 -4 b)) c))
(-.f64 (fma.f64 (/.f64 z 16) t (fma.f64 x y (/.f64 a (/.f64 -4 b)))) c)
(-.f64 (fma.f64 (/.f64 z 16) t (fma.f64 x y (*.f64 -1/4 (*.f64 a b)))) c)
(-.f64 (fma.f64 (/.f64 z 16) t (fma.f64 x y (*.f64 (*.f64 a b) -1/4))) c)
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 (neg.f64 x) y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
(neg.f64 (+.f64 c (-.f64 (fma.f64 x (neg.f64 y) (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b)))))
(-.f64 (neg.f64 c) (+.f64 (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 x y)) (/.f64 a (/.f64 -4 b))))
(-.f64 (fma.f64 x y (*.f64 t (/.f64 z -16))) (fma.f64 (/.f64 a -4) b c))
(-.f64 (fma.f64 x y (*.f64 t (*.f64 -1/16 z))) (fma.f64 (*.f64 -1/4 a) b c))
(-.f64 (fma.f64 x y (*.f64 t (*.f64 z -1/16))) (fma.f64 (*.f64 a -1/4) b c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x (neg.f64 y)) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c))
(neg.f64 (+.f64 c (-.f64 (fma.f64 x (neg.f64 y) (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b)))))
(-.f64 (neg.f64 c) (+.f64 (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 x y)) (/.f64 a (/.f64 -4 b))))
(-.f64 (fma.f64 x y (*.f64 t (/.f64 z -16))) (fma.f64 (/.f64 a -4) b c))
(-.f64 (fma.f64 x y (*.f64 t (*.f64 -1/16 z))) (fma.f64 (*.f64 -1/4 a) b c))
(-.f64 (fma.f64 x y (*.f64 t (*.f64 z -1/16))) (fma.f64 (*.f64 a -1/4) b c))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 (neg.f64 z) t) 16)) (/.f64 (*.f64 a b) 4)) c))
(neg.f64 (+.f64 c (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 (neg.f64 t)))) (/.f64 a (/.f64 4 b)))))
(neg.f64 (+.f64 (fma.f64 x y (/.f64 z (/.f64 -16 t))) (+.f64 (/.f64 a (/.f64 -4 b)) c)))
(neg.f64 (fma.f64 x y (fma.f64 (/.f64 z -16) t (fma.f64 (/.f64 a -4) b c))))
(-.f64 (*.f64 z (/.f64 t 16)) (fma.f64 x y (fma.f64 (*.f64 -1/4 a) b c)))
(-.f64 (*.f64 z (/.f64 t 16)) (fma.f64 x y (fma.f64 (*.f64 a -1/4) b c)))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z (neg.f64 t)) 16)) (/.f64 (*.f64 a b) 4)) c))
(neg.f64 (+.f64 c (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 (neg.f64 t)))) (/.f64 a (/.f64 4 b)))))
(neg.f64 (+.f64 (fma.f64 x y (/.f64 z (/.f64 -16 t))) (+.f64 (/.f64 a (/.f64 -4 b)) c)))
(neg.f64 (fma.f64 x y (fma.f64 (/.f64 z -16) t (fma.f64 (/.f64 a -4) b c))))
(-.f64 (*.f64 z (/.f64 t 16)) (fma.f64 x y (fma.f64 (*.f64 -1/4 a) b c)))
(-.f64 (*.f64 z (/.f64 t 16)) (fma.f64 x y (fma.f64 (*.f64 a -1/4) b c)))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 (neg.f64 a) b) 4)) c))
(neg.f64 (+.f64 c (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 (neg.f64 b))))))
(-.f64 (neg.f64 c) (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (/.f64 a (/.f64 -4 b))))
(-.f64 (*.f64 t (/.f64 z -16)) (fma.f64 x y (fma.f64 (/.f64 a 4) b c)))
(-.f64 (*.f64 t (*.f64 -1/16 z)) (fma.f64 x y (fma.f64 (/.f64 a 4) b c)))
(-.f64 (*.f64 t (*.f64 z -1/16)) (fma.f64 x y (fma.f64 (/.f64 a 4) b c)))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a (neg.f64 b)) 4)) c))
(neg.f64 (+.f64 c (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 (neg.f64 b))))))
(-.f64 (neg.f64 c) (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (/.f64 a (/.f64 -4 b))))
(-.f64 (*.f64 t (/.f64 z -16)) (fma.f64 x y (fma.f64 (/.f64 a 4) b c)))
(-.f64 (*.f64 t (*.f64 -1/16 z)) (fma.f64 x y (fma.f64 (/.f64 a 4) b c)))
(-.f64 (*.f64 t (*.f64 z -1/16)) (fma.f64 x y (fma.f64 (/.f64 a 4) b c)))
(neg.f64 (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (neg.f64 c)))
(neg.f64 (-.f64 (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))) c))
(-.f64 c (+.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (/.f64 a (/.f64 -4 b))))
(-.f64 c (fma.f64 (/.f64 z 16) t (fma.f64 x y (/.f64 a (/.f64 -4 b)))))
(-.f64 c (fma.f64 (/.f64 z 16) t (fma.f64 x y (*.f64 -1/4 (*.f64 a b)))))
(-.f64 c (fma.f64 (/.f64 z 16) t (fma.f64 x y (*.f64 (*.f64 a b) -1/4))))
(+.f64 (-.f64 (+.f64 (*.f64 y x) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))) c)
(+.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (/.f64 a -4) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 z y) (/.f64 (*.f64 x t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 z y (/.f64 (*.f64 x t) 16)) (/.f64 a (/.f64 4 b))))
(+.f64 (fma.f64 y z (*.f64 (/.f64 x 16) t)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 y z (fma.f64 (/.f64 x 16) t (fma.f64 (/.f64 a -4) b c)))
(fma.f64 y z (fma.f64 (/.f64 x 16) t (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 y z (fma.f64 (/.f64 x 16) t (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 t y) (/.f64 (*.f64 z x) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 t y (/.f64 z (/.f64 16 x))) (/.f64 a (/.f64 4 b))))
(+.f64 (fma.f64 y t (*.f64 (/.f64 z 16) x)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 y t (fma.f64 (/.f64 z 16) x (fma.f64 (/.f64 a -4) b c)))
(fma.f64 y t (fma.f64 (/.f64 z 16) x (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 y t (fma.f64 (/.f64 z 16) x (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 a y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 x b) 4)) c)
(-.f64 (fma.f64 a y (/.f64 t (/.f64 16 z))) (-.f64 (/.f64 x (/.f64 4 b)) c))
(+.f64 c (fma.f64 y a (-.f64 (*.f64 (/.f64 z 16) t) (/.f64 x (/.f64 4 b)))))
(+.f64 c (fma.f64 y a (fma.f64 (/.f64 z 16) t (/.f64 x (/.f64 -4 b)))))
(+.f64 c (fma.f64 y a (fma.f64 (/.f64 z 16) t (*.f64 b (/.f64 x -4)))))
(+.f64 c (fma.f64 y a (fma.f64 (/.f64 z 16) t (*.f64 x (*.f64 b -1/4)))))
(+.f64 (-.f64 (+.f64 (*.f64 b y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a x) 4)) c)
(-.f64 (fma.f64 b y (/.f64 t (/.f64 16 z))) (-.f64 (/.f64 a (/.f64 4 x)) c))
(+.f64 c (fma.f64 y b (-.f64 (*.f64 (/.f64 z 16) t) (*.f64 (/.f64 a 4) x))))
(+.f64 c (fma.f64 y b (fma.f64 (/.f64 z 16) t (*.f64 (/.f64 a -4) x))))
(fma.f64 (/.f64 z 16) t (fma.f64 y b (-.f64 c (*.f64 x (/.f64 a 4)))))
(+.f64 (-.f64 (+.f64 (*.f64 c y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) x)
(+.f64 x (-.f64 (fma.f64 c y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))))
(+.f64 (fma.f64 y c (*.f64 (/.f64 z 16) t)) (+.f64 (/.f64 a (/.f64 -4 b)) x))
(fma.f64 y c (fma.f64 (/.f64 z 16) t (fma.f64 (/.f64 a -4) b x)))
(fma.f64 y c (fma.f64 (/.f64 z 16) t (fma.f64 (*.f64 -1/4 a) b x)))
(fma.f64 y c (fma.f64 (/.f64 z 16) t (fma.f64 (*.f64 a -1/4) b x)))
(+.f64 (-.f64 (+.f64 (*.f64 x z) (/.f64 (*.f64 y t) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x z (/.f64 y (/.f64 16 t))) (/.f64 a (/.f64 4 b))))
(+.f64 c (fma.f64 x z (+.f64 (*.f64 (/.f64 y 16) t) (/.f64 a (/.f64 -4 b)))))
(fma.f64 x z (fma.f64 (/.f64 y 16) t (fma.f64 (/.f64 a -4) b c)))
(fma.f64 x z (fma.f64 (/.f64 y 16) t (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 x z (fma.f64 (/.f64 y 16) t (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x t) (/.f64 (*.f64 z y) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x t (/.f64 z (/.f64 16 y))) (/.f64 a (/.f64 4 b))))
(+.f64 c (fma.f64 x t (-.f64 (*.f64 (/.f64 z 16) y) (*.f64 (/.f64 a 4) b))))
(fma.f64 x t (fma.f64 (/.f64 z 16) y (fma.f64 (/.f64 a -4) b c)))
(fma.f64 x t (fma.f64 (/.f64 z 16) y (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 x t (fma.f64 (/.f64 z 16) y (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x a) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 y b) 4)) c)
(-.f64 (fma.f64 x a (/.f64 t (/.f64 16 z))) (-.f64 (/.f64 y (/.f64 4 b)) c))
(-.f64 (fma.f64 x a (*.f64 (/.f64 z 16) t)) (-.f64 (/.f64 y (/.f64 4 b)) c))
(+.f64 c (fma.f64 (/.f64 z 16) t (fma.f64 x a (/.f64 y (/.f64 -4 b)))))
(+.f64 c (fma.f64 (/.f64 z 16) t (fma.f64 x a (*.f64 b (/.f64 y -4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x b) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a y) 4)) c)
(+.f64 c (-.f64 (fma.f64 x b (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 y))))
(+.f64 c (-.f64 (fma.f64 x b (*.f64 (/.f64 z 16) t)) (*.f64 (/.f64 a 4) y)))
(+.f64 c (fma.f64 x b (fma.f64 (/.f64 z 16) t (*.f64 (/.f64 a -4) y))))
(+.f64 c (fma.f64 x b (fma.f64 (/.f64 z 16) t (*.f64 y (*.f64 -1/4 a)))))
(+.f64 c (fma.f64 x b (fma.f64 (/.f64 z 16) t (*.f64 y (*.f64 a -1/4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x c) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) y)
(+.f64 y (-.f64 (fma.f64 x c (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))))
(+.f64 (fma.f64 x c (*.f64 (/.f64 z 16) t)) (+.f64 (/.f64 a (/.f64 -4 b)) y))
(fma.f64 x c (fma.f64 (/.f64 z 16) t (fma.f64 (/.f64 a -4) b y)))
(fma.f64 x c (fma.f64 (/.f64 z 16) t (fma.f64 (*.f64 -1/4 a) b y)))
(fma.f64 x c (fma.f64 (/.f64 z 16) t (fma.f64 (*.f64 a -1/4) b y)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 t z) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))) c)
(+.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (/.f64 a -4) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 a t) 16)) (/.f64 (*.f64 z b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 (*.f64 t a) 16)) (/.f64 z (/.f64 4 b))))
(-.f64 (fma.f64 x y (/.f64 t (/.f64 16 a))) (-.f64 (*.f64 (/.f64 z 4) b) c))
(+.f64 c (fma.f64 (/.f64 a 16) t (fma.f64 x y (/.f64 z (/.f64 -4 b)))))
(+.f64 c (fma.f64 (/.f64 a 16) t (fma.f64 x y (*.f64 b (/.f64 z -4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 b t) 16)) (/.f64 (*.f64 a z) 4)) c)
(-.f64 (fma.f64 x y (/.f64 b (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 z)) c))
(+.f64 c (fma.f64 x y (-.f64 (*.f64 (/.f64 b 16) t) (*.f64 (/.f64 a 4) z))))
(+.f64 c (fma.f64 x y (fma.f64 (/.f64 b 16) t (*.f64 (/.f64 a -4) z))))
(+.f64 c (fma.f64 x y (fma.f64 (/.f64 b 16) t (*.f64 (/.f64 z -4) a))))
(+.f64 c (fma.f64 x y (fma.f64 (/.f64 b 16) t (*.f64 a (/.f64 z -4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 c t) 16)) (/.f64 (*.f64 a b) 4)) z)
(+.f64 z (-.f64 (fma.f64 x y (/.f64 c (/.f64 16 t))) (/.f64 a (/.f64 4 b))))
(+.f64 (fma.f64 x y (/.f64 t (/.f64 16 c))) (+.f64 (/.f64 a (/.f64 -4 b)) z))
(fma.f64 x y (fma.f64 (/.f64 c 16) t (fma.f64 (/.f64 a -4) b z)))
(fma.f64 x y (fma.f64 (*.f64 1/16 c) t (fma.f64 (*.f64 -1/4 a) b z)))
(fma.f64 x y (fma.f64 (*.f64 c 1/16) t (fma.f64 (*.f64 a -1/4) b z)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z a) 16)) (/.f64 (*.f64 t b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 a))) (/.f64 t (/.f64 4 b))))
(+.f64 c (fma.f64 x y (-.f64 (*.f64 (/.f64 z 16) a) (*.f64 (/.f64 t 4) b))))
(+.f64 c (fma.f64 (/.f64 z 16) a (fma.f64 x y (/.f64 t (/.f64 -4 b)))))
(+.f64 c (fma.f64 (/.f64 z 16) a (fma.f64 x y (*.f64 b (/.f64 t -4)))))
(+.f64 c (fma.f64 (/.f64 z 16) a (fma.f64 x y (*.f64 t (*.f64 b -1/4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z b) 16)) (/.f64 (*.f64 a t) 4)) c)
(+.f64 c (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 b))) (/.f64 (*.f64 t a) 4)))
(+.f64 c (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) b)) (*.f64 (/.f64 a 4) t)))
(+.f64 c (fma.f64 x y (fma.f64 (/.f64 z 16) b (*.f64 (/.f64 a -4) t))))
(+.f64 c (fma.f64 x y (fma.f64 (/.f64 z 16) b (*.f64 t (*.f64 -1/4 a)))))
(+.f64 c (fma.f64 x y (fma.f64 (/.f64 z 16) b (*.f64 t (*.f64 a -1/4)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z c) 16)) (/.f64 (*.f64 a b) 4)) t)
(+.f64 t (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 c))) (/.f64 a (/.f64 4 b))))
(+.f64 t (+.f64 (fma.f64 x y (/.f64 z (/.f64 16 c))) (/.f64 a (/.f64 -4 b))))
(fma.f64 x y (fma.f64 (/.f64 z 16) c (fma.f64 (/.f64 a -4) b t)))
(fma.f64 x y (fma.f64 (/.f64 z 16) c (fma.f64 (*.f64 -1/4 a) b t)))
(fma.f64 x y (fma.f64 (/.f64 z 16) c (fma.f64 (*.f64 a -1/4) b t)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 b a) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 a (/.f64 4 b))) c)
(+.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (+.f64 (/.f64 a (/.f64 -4 b)) c))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (/.f64 a -4) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 -1/4 a) b c)))
(fma.f64 (/.f64 z 16) t (fma.f64 x y (fma.f64 (*.f64 a -1/4) b c)))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 c b) 4)) a)
(+.f64 a (-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (/.f64 c (/.f64 4 b))))
(+.f64 a (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (/.f64 c (/.f64 4 b))))
(+.f64 a (fma.f64 (/.f64 z 16) t (fma.f64 x y (/.f64 c (/.f64 -4 b)))))
(+.f64 a (fma.f64 (/.f64 z 16) t (fma.f64 x y (/.f64 b (/.f64 -4 c)))))
(+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a c) 4)) b)
(-.f64 (fma.f64 x y (/.f64 t (/.f64 16 z))) (-.f64 (/.f64 a (/.f64 4 c)) b))
(-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (-.f64 (*.f64 (/.f64 a 4) c) b))
(+.f64 b (fma.f64 (/.f64 z 16) t (fma.f64 x y (*.f64 (/.f64 a -4) c))))
(+.f64 b (fma.f64 (/.f64 z 16) t (fma.f64 x y (*.f64 c (*.f64 -1/4 a)))))
(+.f64 b (fma.f64 (/.f64 z 16) t (fma.f64 x y (*.f64 a (/.f64 c -4)))))

Symmetry

(sort x y)

(sort z t)

(sort a b)

Compiler

Compiled 77 to 33 computations (57.1% saved)