Metrics for Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
100%	99.7%	0%	0.3%	0%	0%	0%	1

Compiler

Compiled 34 to 24 computations (29.4% saved)

sample10.9s (95.3%)

Results

3.9s	6289×	1	valid-rival
2.9s	6287×	1	valid-sollya
279.0ms	1967×	0	valid-sollya
482.0ms	1967×	0	valid-rival
10.0ms	2×	1	exit-sollya

Bogosity

preprocess489.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

874×	`distribute-lft-in`
806×	`distribute-rgt-in`
683×	`unsub-neg`
398×	`*-commutative`
392×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	2766
1	506	2766
2	1389	2750
3	4394	2750
4	6426	2750

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 (neg.f64 x) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 (neg.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) (neg.f64 z)) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) (neg.f64 t)) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) (neg.f64 t)) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 (neg.f64 a) #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) (neg.f64 b)) t) #s(literal 16 binary64))))
(neg.f64 (.f64 (.f64 (neg.f64 x) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 (neg.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) (neg.f64 z)) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) (neg.f64 t)) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) (neg.f64 t)) #s(literal 16 binary64)))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 (neg.f64 a) #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) (neg.f64 b)) t) #s(literal 16 binary64)))))
(.f64 (.f64 y (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 z (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) x) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 t (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) x) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) x) #s(literal 16 binary64))))
(.f64 (.f64 a (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 b (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) x) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 z #s(literal 2 binary64)) #s(literal 1 binary64)) y) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 t #s(literal 2 binary64)) #s(literal 1 binary64)) z) y) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) y) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 b #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) y) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) t) z) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) z) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) a) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 z #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) a) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 t #s(literal 2 binary64)) #s(literal 1 binary64)) b) a) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) b) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) t) b) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 b #s(literal 2 binary64)) #s(literal 1 binary64)) a) t) #s(literal 16 binary64))))

Outputs
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64)))))))
(.f64 (.f64 (neg.f64 x) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64)))) (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (neg.f64 x)))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 (neg.f64 x) (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (neg.f64 x)))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (neg.f64 x)))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (neg.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 (neg.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 z (fma.f64 (neg.f64 y) #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 x (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64))))) (cos.f64 (.f64 z (.f64 (+.f64 #s(literal 1 binary64) (*.f64 y #s(literal -2 binary64))) (/.f64 t #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 z (/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal 1 binary64)) #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 z (*.f64 t (/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal 1 binary64)) #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))) (cos.f64 (.f64 z (*.f64 t (/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal 1 binary64)) #s(literal 16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) (neg.f64 z)) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) (neg.f64 t)) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) (neg.f64 t)) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 (neg.f64 a) #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 b (fma.f64 (neg.f64 a) #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64))))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64)))))) (cos.f64 (.f64 b (.f64 (+.f64 #s(literal 1 binary64) (*.f64 a #s(literal -2 binary64))) (/.f64 t #s(literal 16 binary64))))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64)))))) (cos.f64 (.f64 t (.f64 (fma.f64 a #s(literal -2 binary64) #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64))))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64)))))) (cos.f64 (.f64 t (.f64 (fma.f64 a #s(literal -2 binary64) #s(literal 1 binary64)) (.f64 b #s(literal 1/16 binary64))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (cos.f64 (.f64 t (.f64 (fma.f64 a #s(literal -2 binary64) #s(literal 1 binary64)) (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) (neg.f64 b)) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64)))))))
(neg.f64 (.f64 (.f64 (neg.f64 x) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64)))))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 (neg.f64 y) #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))))
(.f64 (.f64 x (cos.f64 (.f64 (.f64 z (fma.f64 (neg.f64 y) #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64))))) (neg.f64 (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 x (neg.f64 (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64))))) (cos.f64 (.f64 z (.f64 (+.f64 #s(literal 1 binary64) (*.f64 y #s(literal -2 binary64))) (/.f64 t #s(literal 16 binary64))))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (.f64 (neg.f64 x) (cos.f64 (.f64 t (.f64 z (/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal 1 binary64)) #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (.f64 (neg.f64 x) (cos.f64 (.f64 z (*.f64 t (/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal 1 binary64)) #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 t (/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal 1 binary64)) #s(literal 16 binary64))))) (neg.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (*.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) (neg.f64 z)) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))))
(.f64 (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64)))) (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (neg.f64 x)))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 (neg.f64 x) (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (neg.f64 x)))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (neg.f64 x)))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (neg.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) (neg.f64 t)) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) (neg.f64 t)) #s(literal 16 binary64)))))
(.f64 (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64)))) (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (neg.f64 x)))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 (neg.f64 x) (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (neg.f64 x)))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (neg.f64 x)))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (neg.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 (neg.f64 a) #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))))
(.f64 (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (neg.f64 x)) (cos.f64 (.f64 (.f64 b (fma.f64 (neg.f64 a) #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64)))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64)))))) (neg.f64 (cos.f64 (.f64 b (.f64 (+.f64 #s(literal 1 binary64) (*.f64 a #s(literal -2 binary64))) (/.f64 t #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 a #s(literal -2 binary64) #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64))))) (neg.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))))))
(.f64 x (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 a #s(literal -2 binary64) #s(literal 1 binary64)) (.f64 b #s(literal 1/16 binary64))))) (neg.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))))))
(neg.f64 (.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) (neg.f64 b)) t) #s(literal 16 binary64)))))
(.f64 (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64)))) (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (neg.f64 x)))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 (neg.f64 x) (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (neg.f64 x)))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (neg.f64 x)))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (neg.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))))))
(.f64 (.f64 y (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64)))) (.f64 y (cos.f64 (.f64 (.f64 z (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 z (.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64)) (/.f64 t #s(literal 16 binary64))))) (.f64 y (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (.f64 y (cos.f64 (.f64 z (.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64)) (/.f64 t #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (.f64 y (cos.f64 (.f64 z (.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))) (.f64 y (cos.f64 (.f64 z (.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t #s(literal 1/16 binary64)))))))
(.f64 (.f64 z (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) x) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64)))) (.f64 z (cos.f64 (.f64 (.f64 x (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64))))))
(.f64 (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64))))) z) (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 x (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (.f64 z (cos.f64 (.f64 x (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (/.f64 t #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (.f64 z (cos.f64 (.f64 x (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))) (.f64 z (cos.f64 (.f64 x (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t #s(literal 1/16 binary64)))))))
(.f64 (.f64 t (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) x) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) x) #s(literal 16 binary64))))
(.f64 (.f64 t (cos.f64 (/.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z x)) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 b x)) #s(literal 16 binary64))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 x #s(literal 16 binary64))))) (.f64 t (cos.f64 (.f64 x (/.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) b) #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (/.f64 (.f64 x z) #s(literal 16 binary64)))) (.f64 t (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 x (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (/.f64 (.f64 x z) #s(literal 16 binary64)))) (.f64 t (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 x (*.f64 b #s(literal 1/16 binary64)))))))
(.f64 (.f64 a (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) a) (cos.f64 (.f64 (.f64 b (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64)))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 a (cos.f64 (.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 b (/.f64 t #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 a (cos.f64 (.f64 t (.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (.f64 a (cos.f64 (.f64 t (.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (.f64 b (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) x) t) #s(literal 16 binary64))))
(.f64 b (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 x (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 b (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 x (/.f64 t #s(literal 16 binary64)))))))
(.f64 b (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 x (/.f64 t #s(literal 16 binary64)))))))
(.f64 b (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 x (.f64 t #s(literal 1/16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 z #s(literal 2 binary64)) #s(literal 1 binary64)) y) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 y (fma.f64 z #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 x (.f64 (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64))))) (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) z #s(literal 1 binary64)) (.f64 y (/.f64 t #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) z #s(literal 1 binary64)) (/.f64 y #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) z #s(literal 1 binary64)) (.f64 y #s(literal 1/16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))) (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) z #s(literal 1 binary64)) (.f64 y #s(literal 1/16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 t #s(literal 2 binary64)) #s(literal 1 binary64)) z) y) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) y) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (.f64 (.f64 z (fma.f64 t #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 y #s(literal 16 binary64))))) (cos.f64 (/.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 b y)) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 (fma.f64 #s(literal 2 binary64) t #s(literal 1 binary64)) (/.f64 y #s(literal 16 binary64))))) (cos.f64 (.f64 y (/.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) b) #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 y (.f64 (fma.f64 #s(literal 2 binary64) t #s(literal 1 binary64)) (/.f64 z #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 y (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 y (.f64 (fma.f64 #s(literal 2 binary64) t #s(literal 1 binary64)) (.f64 z #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 y (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z t)) #s(literal 16 binary64))) (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 z (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 b (/.f64 t #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 t (/.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) #s(literal 16 binary64))))) (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 t (/.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) #s(literal 16 binary64))))) (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t (*.f64 b #s(literal 1/16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 b #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) y) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (.f64 (.f64 z (fma.f64 b #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64))))) (cos.f64 (.f64 (.f64 y (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64)))))
(.f64 (cos.f64 (.f64 z (.f64 (fma.f64 #s(literal 2 binary64) b #s(literal 1 binary64)) (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 y (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 t #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 t (.f64 z (/.f64 (fma.f64 #s(literal 2 binary64) b #s(literal 1 binary64)) #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 y #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 z (.f64 t (/.f64 (fma.f64 #s(literal 2 binary64) b #s(literal 1 binary64)) #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (*.f64 y #s(literal 1/16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) t) z) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) z) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) t) (/.f64 z #s(literal 16 binary64))))) (cos.f64 (/.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 b z)) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (cos.f64 (.f64 z (/.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) b) #s(literal 16 binary64))))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64)))))) (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 z (/.f64 b #s(literal 16 binary64))))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64)))))) (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 z (.f64 b #s(literal 1/16 binary64))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) a) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 z #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) a) (/.f64 t #s(literal 16 binary64))))) (cos.f64 (/.f64 (.f64 (fma.f64 z #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 b t)) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 a (/.f64 t #s(literal 16 binary64)))))) (cos.f64 (.f64 b (.f64 (fma.f64 #s(literal 2 binary64) z #s(literal 1 binary64)) (/.f64 t #s(literal 16 binary64))))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t (/.f64 a #s(literal 16 binary64)))))) (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) z #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64))))))
(.f64 (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t (.f64 a #s(literal 1/16 binary64)))))) (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) z #s(literal 1 binary64)) (.f64 b #s(literal 1/16 binary64))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (/.f64 (.f64 (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z t)) #s(literal 16 binary64))) (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) b) (/.f64 t #s(literal 16 binary64))))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 z (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 b (/.f64 t #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 t (/.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) #s(literal 16 binary64))))) (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 z (.f64 t (/.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) #s(literal 16 binary64))))) (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 t (*.f64 b #s(literal 1/16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) a) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 t #s(literal 2 binary64)) #s(literal 1 binary64)) b) a) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z a)) #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 b (fma.f64 t #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 a #s(literal 16 binary64)))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 a #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 b (.f64 (fma.f64 #s(literal 2 binary64) t #s(literal 1 binary64)) (/.f64 a #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 a #s(literal 16 binary64))))) (cos.f64 (.f64 (/.f64 a #s(literal 16 binary64)) (.f64 b (fma.f64 #s(literal 2 binary64) t #s(literal 1 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 a #s(literal 1/16 binary64))))) (cos.f64 (.f64 (.f64 a #s(literal 1/16 binary64)) (.f64 b (fma.f64 #s(literal 2 binary64) t #s(literal 1 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) b) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) t) b) #s(literal 16 binary64))))
(.f64 (.f64 x (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 b #s(literal 16 binary64))))) (cos.f64 (.f64 (.f64 t (fma.f64 a #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 b #s(literal 16 binary64)))))
(.f64 (cos.f64 (.f64 t (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (/.f64 b #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (/.f64 b #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 b #s(literal 16 binary64)))))))
(.f64 (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) a #s(literal 1 binary64)) (.f64 t (.f64 b #s(literal 1/16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (cos.f64 (.f64 (.f64 b #s(literal 1/16 binary64)) (.f64 t (fma.f64 a #s(literal -2 binary64) #s(literal -1 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 b #s(literal 1/16 binary64)))))))
(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 b #s(literal 2 binary64)) #s(literal 1 binary64)) a) t) #s(literal 16 binary64))))
(.f64 x (.f64 (cos.f64 (.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) z) (/.f64 t #s(literal 16 binary64)))) (cos.f64 (.f64 (.f64 a (fma.f64 b #s(literal 2 binary64) #s(literal 1 binary64))) (/.f64 t #s(literal 16 binary64))))))
(.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (.f64 x (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) b #s(literal 1 binary64)) (.f64 a (/.f64 t #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (/.f64 t #s(literal 16 binary64))))) (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) b #s(literal 1 binary64)) (.f64 t (/.f64 a #s(literal 16 binary64)))))))
(.f64 x (.f64 (cos.f64 (.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) (.f64 z (.f64 t #s(literal 1/16 binary64))))) (cos.f64 (.f64 (fma.f64 #s(literal 2 binary64) b #s(literal 1 binary64)) (.f64 t (.f64 a #s(literal 1/16 binary64)))))))

Symmetry

(abs z)

(abs t)

(abs b)

(negabs x)

Compiler

Compiled 33 to 23 computations (30.3% saved)

eval0.0ms (0%)

Compiler: Compiled 6 to 6 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	30.2%	(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))

Status

Accuracy

Program

30.2%

(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))

Compiler

Compiled 66 to 46 computations (30.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`
3×	`1-exp`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	102
1	48	102

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))

Outputs

(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a #s(literal 2 binary64)) #s(literal 1 binary64)) b) t) #s(literal 16 binary64))))

(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y #s(literal 2 binary64)) #s(literal 1 binary64)) z) t) #s(literal 16 binary64)))) (cos.f64 (/.f64 (*.f64 t (*.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) a)) b)) #s(literal 16 binary64))))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 33 to 23 computations (30.3% saved)

preprocess45.0ms (0.4%)

Remove

(negabs x)

(abs b)

(abs t)

(abs z)

Compiler

Compiled 712 to 496 computations (30.3% saved)

Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1

analyze1.0ms (0%)

sample10.9s (95.3%)

preprocess489.0ms (4.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

preprocess45.0ms (0.4%)

end0.0ms (0%)

Profiling