Details

analyze2.2s (41%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	99.7%	0.3%	13
0%	99.7%	0.3%	14

Compiler

Compiled 25 to 18 computations (28% saved)

sample2.0s (37.5%)

Results

1.3s	8256×	body	128	valid
630.0ms	4018×	body	128	invalid

Compiler

Compiled 50 to 36 computations (28% saved)

preprocess51.0ms (1%)

Algorithm

2×	egg-herbie

Rules

436×	`fma-neg_binary64`
395×	`associate-+l+_binary64`
365×	`cancel-sign-sub-inv_binary64`
360×	`associate-+r+_binary64`
358×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	127	506
1	355	506
2	947	484
3	2466	462
0	7	7
1	7	7

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3
4
5
6

Outputs
0
1
0
2
3
2
4
5
4
6

Call 2

Inputs
(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) 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 z (/.f64 16 t))) (/.f64 a (/.f64 4 b))) c)
(-.f64 (fma.f64 x y (.f64 (/.f64 z 16) t)) (-.f64 (.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 a (/.f64 b 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 z (/.f64 16 t))) (/.f64 a (/.f64 4 b))) c)
(-.f64 (fma.f64 x y (.f64 (/.f64 z 16) t)) (-.f64 (.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.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 x (/.f64 16 t))) (/.f64 a (/.f64 4 b))))
(+.f64 c (-.f64 (fma.f64 y z (.f64 (/.f64 x 16) t)) (.f64 (/.f64 a 4) b)))
(fma.f64 y z (fma.f64 (/.f64 x 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 y z (fma.f64 t (/.f64 x 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.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 c (-.f64 (fma.f64 y t (.f64 (/.f64 z 16) x)) (.f64 (/.f64 a 4) b)))
(fma.f64 y t (fma.f64 (/.f64 z 16) x (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 y t (fma.f64 x (/.f64 z 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (.f64 a y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 x b) 4)) c)
(-.f64 (fma.f64 a y (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 x (/.f64 4 b)) c))
(+.f64 c (fma.f64 y a (-.f64 (.f64 (/.f64 z 16) t) (.f64 (/.f64 x 4) b))))
(fma.f64 y a (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 x 4)) c)))
(fma.f64 y a (fma.f64 z (/.f64 t 16) (-.f64 c (/.f64 (*.f64 x b) 4))))
(+.f64 (-.f64 (+.f64 (.f64 b y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a x) 4)) c)
(-.f64 (fma.f64 b y (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 (*.f64 x a) 4) c))
(+.f64 c (fma.f64 y b (-.f64 (.f64 (/.f64 z 16) t) (.f64 (/.f64 a 4) x))))
(fma.f64 y b (fma.f64 (/.f64 z 16) t (fma.f64 -1 (/.f64 x (/.f64 4 a)) c)))
(fma.f64 y b (fma.f64 z (/.f64 t 16) (-.f64 c (/.f64 x (/.f64 4 a)))))
(+.f64 (-.f64 (+.f64 (.f64 c y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) x)
(-.f64 (fma.f64 c y (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) x))
(-.f64 (fma.f64 y c (.f64 (/.f64 z 16) t)) (-.f64 (.f64 (/.f64 a 4) b) x))
(fma.f64 y c (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) x)))
(fma.f64 y c (fma.f64 z (/.f64 t 16) (-.f64 x (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x z) (/.f64 (.f64 y t) 16)) (/.f64 (*.f64 a b) 4)) c)
(-.f64 (fma.f64 x z (/.f64 y (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) c))
(+.f64 c (-.f64 (fma.f64 x z (/.f64 y (/.f64 16 t))) (*.f64 (/.f64 a 4) b)))
(fma.f64 x z (fma.f64 (/.f64 y 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x z (fma.f64 t (/.f64 y 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.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 (-.f64 (fma.f64 x t (.f64 (/.f64 z 16) y)) (.f64 (/.f64 a 4) b)))
(fma.f64 (/.f64 z 16) y (fma.f64 x t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x t (fma.f64 y (/.f64 z 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x a) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 y b) 4)) c)
(+.f64 c (-.f64 (fma.f64 x a (/.f64 z (/.f64 16 t))) (/.f64 y (/.f64 4 b))))
(+.f64 c (fma.f64 x a (-.f64 (.f64 (/.f64 z 16) t) (.f64 (/.f64 y 4) b))))
(fma.f64 x a (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 y 4)) c)))
(fma.f64 x a (fma.f64 z (/.f64 t 16) (-.f64 c (*.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 z (/.f64 16 t))) (/.f64 a (/.f64 4 y))))
(+.f64 c (fma.f64 x b (-.f64 (.f64 (/.f64 z 16) t) (.f64 (/.f64 a 4) y))))
(fma.f64 (/.f64 z 16) t (fma.f64 x b (fma.f64 -1 (*.f64 y (/.f64 a 4)) c)))
(fma.f64 x b (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 y (/.f64 a 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x c) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) y)
(-.f64 (fma.f64 x c (/.f64 z (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) y))
(+.f64 y (-.f64 (fma.f64 x c (.f64 (/.f64 z 16) t)) (.f64 (/.f64 a 4) b)))
(fma.f64 x c (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) y)))
(fma.f64 x c (fma.f64 z (/.f64 t 16) (-.f64 y (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) (/.f64 (*.f64 a b) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 b))) c)
(-.f64 (fma.f64 x y (.f64 (/.f64 z 16) t)) (-.f64 (.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 a t) 16)) (/.f64 (*.f64 z b) 4)) c)
(-.f64 (fma.f64 x y (/.f64 a (/.f64 16 t))) (-.f64 (/.f64 z (/.f64 4 b)) c))
(+.f64 c (-.f64 (fma.f64 x y (*.f64 (/.f64 a 16) t)) (/.f64 z (/.f64 4 b))))
(fma.f64 x y (fma.f64 (/.f64 a 16) t (fma.f64 -1 (*.f64 b (/.f64 z 4)) c)))
(fma.f64 x y (fma.f64 t (/.f64 a 16) (-.f64 c (*.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 (fma.f64 x y (.f64 (/.f64 b 16) t)) (-.f64 (.f64 (/.f64 a 4) z) c))
(fma.f64 x y (fma.f64 (/.f64 b 16) t (fma.f64 -1 (*.f64 z (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 t (/.f64 b 16) (-.f64 c (*.f64 z (/.f64 a 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 c t) 16)) (/.f64 (*.f64 a b) 4)) z)
(-.f64 (fma.f64 x y (/.f64 c (/.f64 16 t))) (-.f64 (/.f64 a (/.f64 4 b)) z))
(+.f64 z (-.f64 (fma.f64 x y (.f64 (/.f64 c 16) t)) (.f64 (/.f64 a 4) b)))
(fma.f64 x y (fma.f64 (/.f64 c 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) z)))
(fma.f64 (/.f64 c 16) t (fma.f64 x y (-.f64 z (*.f64 a (/.f64 b 4)))))
(+.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 (fma.f64 x y (.f64 (/.f64 z 16) a)) (-.f64 (.f64 (/.f64 t 4) b) c))
(fma.f64 (/.f64 z 16) a (fma.f64 x y (fma.f64 -1 (*.f64 b (/.f64 t 4)) c)))
(fma.f64 x y (fma.f64 a (/.f64 z 16) (-.f64 c (*.f64 b (/.f64 t 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 a (/.f64 4 t))))
(-.f64 (fma.f64 x y (.f64 (/.f64 z 16) b)) (-.f64 (.f64 (/.f64 a 4) t) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) b (fma.f64 -1 (*.f64 t (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 b (/.f64 z 16) (-.f64 c (*.f64 t (/.f64 a 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z c) 16)) (/.f64 (*.f64 a b) 4)) t)
(-.f64 (fma.f64 x y (/.f64 z (/.f64 16 c))) (-.f64 (/.f64 a (/.f64 4 b)) t))
(+.f64 t (-.f64 (fma.f64 x y (.f64 (/.f64 z 16) c)) (.f64 (/.f64 a 4) b)))
(fma.f64 (/.f64 z 16) c (fma.f64 x y (fma.f64 -1 (*.f64 b (/.f64 a 4)) t)))
(fma.f64 x y (fma.f64 c (/.f64 z 16) (-.f64 t (*.f64 a (/.f64 b 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 b a) 4)) c)
(+.f64 (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 b))) c)
(-.f64 (fma.f64 x y (.f64 (/.f64 z 16) t)) (-.f64 (.f64 (/.f64 a 4) b) c))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 b (/.f64 a 4)) c)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 c (*.f64 a (/.f64 b 4)))))
(+.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 z (/.f64 16 t))) (/.f64 c (/.f64 4 b))))
(+.f64 a (-.f64 (fma.f64 x y (*.f64 (/.f64 z 16) t)) (/.f64 b (/.f64 4 c))))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (/.f64 b (/.f64 4 c)) a)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 a (*.f64 b (/.f64 c 4)))))
(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a c) 4)) b)
(+.f64 b (-.f64 (fma.f64 x y (/.f64 z (/.f64 16 t))) (/.f64 a (/.f64 4 c))))
(-.f64 (fma.f64 x y (.f64 (/.f64 z 16) t)) (-.f64 (.f64 (/.f64 a 4) c) b))
(fma.f64 x y (fma.f64 (/.f64 z 16) t (fma.f64 -1 (*.f64 c (/.f64 a 4)) b)))
(fma.f64 x y (fma.f64 z (/.f64 t 16) (-.f64 b (*.f64 c (/.f64 a 4)))))

Symmetry

(sort x y)

(sort z t)

(sort a b)

Compiler

Compiled 24 to 17 computations (29.2% saved)

simplify73.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1251×	`fma-neg_binary64`
526×	`fma-def_binary64`
259×	`cancel-sign-sub-inv_binary64`
148×	`distribute-rgt-in_binary64`
131×	`sub-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	18	23
1	34	23
2	77	22
3	175	21
4	412	19
5	940	19
6	1635	19
7	2686	19
8	3574	19
9	3739	19
10	3794	19
11	3804	19
12	3804	19
13	4120	19
14	4124	19
15	4124	19

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))

Compiler

Compiled 80 to 52 computations (35% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))
✓	0.0b	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))

series21.0ms (0.4%)

Counts

2 → 144

Calls

36 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))
1.0ms	x	@	0	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))
1.0ms	b	@	inf	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))
1.0ms	t	@	0	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))
1.0ms	a	@	0	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))

rewrite54.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

267×	`expm1-udef_binary64`
267×	`log1p-udef_binary64`
226×	`log-pow_binary64`
212×	`prod-diff_binary64`
148×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	34
1	298	34
2	3404	34

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

Inputs
(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))
(fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) (.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x y) (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x y) 1) (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x y (.f64 a (.f64 b -1/4))) (fma.f64 t (.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) (pow.f64 (cbrt.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) 2) (cbrt.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) (sqrt.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) 3)) (fma.f64 (.f64 x y) (.f64 x y) (-.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) 2) (.f64 (.f64 x y) (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 x y) (.f64 x y)) (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) 2)) (-.f64 (.f64 x y) (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) (exp.f64 (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) (exp.f64 (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (.f64 x y)) (+.f64 1 (expm1.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 t (.f64 z 1/16) c) (.f64 a (.f64 b -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 a (.f64 b -1/4)) (fma.f64 t (.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 a (.f64 b -1/4)) 1) (fma.f64 t (.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (.f64 b -1/4) (.f64 t (.f64 z 1/16))) c)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) (pow.f64 (cbrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 2) (cbrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) (sqrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 a (.f64 b -1/4)) 3) (pow.f64 (fma.f64 t (.f64 z 1/16) c) 3)) (fma.f64 (.f64 a (.f64 b -1/4)) (.f64 a (.f64 b -1/4)) (-.f64 (pow.f64 (fma.f64 t (.f64 z 1/16) c) 2) (.f64 (.f64 a (.f64 b -1/4)) (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 a (.f64 b -1/4)) (.f64 a (.f64 b -1/4))) (pow.f64 (fma.f64 t (.f64 z 1/16) c) 2)) (-.f64 (.f64 a (.f64 b -1/4)) (fma.f64 t (.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 t (.f64 z 1/16) c)) (exp.f64 (.f64 a (.f64 b -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (fma.f64 t (.f64 z 1/16) c))) (exp.f64 (.f64 a (.f64 b -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (.f64 a (.f64 b -1/4))) (+.f64 1 (expm1.f64 (fma.f64 t (.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c))) 1))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x y) 1) (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x y (*.f64 a (*.f64 b -1/4))) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) (pow.f64 (cbrt.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 2) (cbrt.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) (sqrt.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 3)) (fma.f64 (*.f64 x y) (*.f64 x y) (-.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 2) (*.f64 (*.f64 x y) (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 2)) (-.f64 (*.f64 x y) (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) (exp.f64 (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) (exp.f64 (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 x y)) (+.f64 1 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x y (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 t (*.f64 z 1/16) c) (*.f64 a (*.f64 b -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 a (*.f64 b -1/4)) 1) (fma.f64 t (*.f64 z 1/16) c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (*.f64 b -1/4) (*.f64 t (*.f64 z 1/16))) c)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2) (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 a (*.f64 b -1/4)) 3) (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 3)) (fma.f64 (*.f64 a (*.f64 b -1/4)) (*.f64 a (*.f64 b -1/4)) (-.f64 (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 2) (*.f64 (*.f64 a (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 a (*.f64 b -1/4)) (*.f64 a (*.f64 b -1/4))) (pow.f64 (fma.f64 t (*.f64 z 1/16) c) 2)) (-.f64 (*.f64 a (*.f64 b -1/4)) (fma.f64 t (*.f64 z 1/16) c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 t (*.f64 z 1/16) c)) (exp.f64 (*.f64 a (*.f64 b -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 t (*.f64 z 1/16) c))) (exp.f64 (*.f64 a (*.f64 b -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 a (*.f64 b -1/4))) (+.f64 1 (expm1.f64 (fma.f64 t (*.f64 z 1/16) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 t (*.f64 z 1/16) c))) 1))))))

simplify171.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1031×	`fma-neg_binary64`
623×	`fma-def_binary64`
401×	`cancel-sign-sub-inv_binary64`
140×	`associate--r+_binary64`
120×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	29	2610
1	73	2374
2	160	2146
3	377	2146
4	640	2146
5	955	2146
6	1744	2146
7	2433	2146
8	3051	2146
9	3365	2146
10	3430	2146
11	3430	2146
12	3648	2146
13	3648	2146
14	3648	2146

Stop Event

1×

saturated

Counts

198 → 76

Calls

Call 1

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

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

prune61.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	75	2	77

Error

Counts

77 → 2

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))
✓	0.0b	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))

Compiler

Compiled 1404 to 780 computations (44.4% saved)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))
✓	0.0b	(fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))

series25.0ms (0.5%)

Counts

2 → 144

Calls

36 calls:

Time	Variable		Point	Expression
8.0ms	x	@	0	(fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))
2.0ms	t	@	-inf	(fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))
1.0ms	t	@	0	(fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))
1.0ms	a	@	0	(fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))
1.0ms	z	@	0	(fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))

rewrite54.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

267×	`expm1-udef_binary64`
267×	`log1p-udef_binary64`
226×	`log-pow_binary64`
197×	`prod-diff_binary64`
148×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	31
1	298	31
2	3407	31

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) (.f64 1/16 (.f64 t z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/16 (.f64 t z)) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/16 (.f64 t z)) 1) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1/16 (.f64 t z) (.f64 (.f64 a b) -1/4)) (fma.f64 y x c))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) (pow.f64 (cbrt.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) 2) (cbrt.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) (sqrt.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 1/16 (.f64 t z)) 3) (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 3)) (fma.f64 (.f64 1/16 (.f64 t z)) (.f64 1/16 (.f64 t z)) (-.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 2) (.f64 (.f64 1/16 (.f64 t z)) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 1/16 (.f64 t z)) (.f64 1/16 (.f64 t z))) (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 2)) (-.f64 (.f64 1/16 (.f64 t z)) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) (exp.f64 (.f64 1/16 (.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) (exp.f64 (.f64 1/16 (.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (.f64 1/16 (.f64 t z))) (+.f64 1 (expm1.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 y x c) (.f64 (.f64 a b) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 a b) -1/4) (fma.f64 y x c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (.f64 a b) -1/4) 1) (fma.f64 y x c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (.f64 b -1/4) (.f64 y x)) c)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) (cbrt.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 2)) (cbrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) (sqrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 (.f64 a b) -1/4) 3) (pow.f64 (fma.f64 y x c) 3)) (fma.f64 (.f64 (.f64 a b) -1/4) (.f64 (.f64 a b) -1/4) (-.f64 (pow.f64 (fma.f64 y x c) 2) (.f64 (.f64 (.f64 a b) -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 (.f64 a b) -1/4) (.f64 (.f64 a b) -1/4)) (pow.f64 (fma.f64 y x c) 2)) (-.f64 (.f64 (.f64 a b) -1/4) (fma.f64 y x c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 y x c)) (exp.f64 (.f64 (.f64 a b) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (fma.f64 y x c))) (exp.f64 (.f64 (.f64 a b) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (.f64 (.f64 a b) -1/4)) (+.f64 1 (expm1.f64 (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 a (.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 1))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) (*.f64 1/16 (*.f64 t z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/16 (*.f64 t z)) 1) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1/16 (*.f64 t z) (*.f64 (*.f64 a b) -1/4)) (fma.f64 y x c))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) (pow.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) 2) (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) (sqrt.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 1/16 (*.f64 t z)) 3) (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 3)) (fma.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 1/16 (*.f64 t z)) (-.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 2) (*.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 1/16 (*.f64 t z))) (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 2)) (-.f64 (*.f64 1/16 (*.f64 t z)) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) (exp.f64 (*.f64 1/16 (*.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) (exp.f64 (*.f64 1/16 (*.f64 t z)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 1/16 (*.f64 t z))) (+.f64 1 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 1/16 (*.f64 t z) (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 y x c) (*.f64 (*.f64 a b) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 a b) -1/4) (fma.f64 y x c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (*.f64 a b) -1/4) 1) (fma.f64 y x c))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 a (*.f64 b -1/4) (*.f64 y x)) c)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) (cbrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 2)) (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (*.f64 a b) -1/4) 3) (pow.f64 (fma.f64 y x c) 3)) (fma.f64 (*.f64 (*.f64 a b) -1/4) (*.f64 (*.f64 a b) -1/4) (-.f64 (pow.f64 (fma.f64 y x c) 2) (*.f64 (*.f64 (*.f64 a b) -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 (*.f64 a b) -1/4) (*.f64 (*.f64 a b) -1/4)) (pow.f64 (fma.f64 y x c) 2)) (-.f64 (*.f64 (*.f64 a b) -1/4) (fma.f64 y x c)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 y x c)) (exp.f64 (*.f64 (*.f64 a b) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 y x c))) (exp.f64 (*.f64 (*.f64 a b) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 (*.f64 a b) -1/4)) (+.f64 1 (expm1.f64 (fma.f64 y x c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 a (*.f64 b -1/4) (fma.f64 y x c))) 1))))))

simplify168.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1279×	`fma-neg_binary64`
726×	`fma-def_binary64`
483×	`cancel-sign-sub-inv_binary64`
143×	`distribute-rgt-in_binary64`
142×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	31	2356
1	78	2218
2	165	1990
3	376	1990
4	611	1990
5	865	1990
6	1576	1990
7	2648	1990
8	3495	1990
9	3890	1990
10	3995	1990
11	3999	1990
12	3999	1990
13	4253	1990
14	4253	1990

Stop Event

1×

saturated

Counts

198 → 77

Calls

Call 1

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

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

prune50.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	77	2	79

Error

Counts

79 → 2

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 1/16 (.f64 t z) (fma.f64 a (.f64 b -1/4) (fma.f64 y x c)))
✓	0.0b	(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))

Compiler

Compiled 1395 to 633 computations (54.6% saved)

regimes318.0ms (6%)

Accuracy

Total 0.0b remaining (35.7%)

Threshold costs 0.0b (35.7%)

Counts

27 → 1

Compiler

Compiled 542 to 331 computations (38.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	19
1	17	19

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fma.f64 x y (fma.f64 a (.f64 b -1/4) (fma.f64 t (.f64 z 1/16) c)))

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

end63.0ms (1.2%)

Stop Event

1×

done

Remove

(sort a b)

(sort z t)

(sort x y)

Compiler

Compiled 210 to 140 computations (33.3% saved)

Details

analyze2.2s (41%)

sample2.0s (37.5%)

preprocess51.0ms (1%)

simplify73.0ms (1.4%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

series21.0ms (0.4%)

rewrite54.0ms (1%)

simplify171.0ms (3.2%)

prune61.0ms (1.2%)

localize12.0ms (0.2%)

series25.0ms (0.5%)

rewrite54.0ms (1%)

simplify168.0ms (3.2%)

prune50.0ms (0.9%)

regimes318.0ms (6%)

simplify2.0ms (0%)

end63.0ms (1.2%)

Profiling