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

analyze15.0ms (0.1%)

Memory

4.5MiB live, 4.5MiB allocated

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 63 to 49 computations (22.2% saved)

sample9.8s (98.2%)

Memory

-4.9MiB live, 2 873.3MiB allocated

Samples

3.5s	6 283×	1	valid-baseline
2.6s	6 283×	1	valid-sollya
1.6s	6 283×	1	valid-rival
243.0ms	1 973×	0	valid-sollya
228.0ms	1 973×	0	valid-baseline
213.0ms	1 973×	0	valid-rival

Bogosity

preprocess127.0ms (1.3%)

Memory

1.2MiB live, 34.6MiB allocated

Algorithm

1×	egg-herbie

Rules

874×	`distribute-lft-in`
806×	`distribute-rgt-in`
670×	`unsub-neg`
398×	`*-commutative`
392×	`fmm-def`

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%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 6 to 6 computations (0% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	27.6%	(.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

27.6%

(*.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%)

Memory

0.5MiB live, 0.5MiB allocated

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%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 33 to 23 computations (30.3% saved)

preprocess36.0ms (0.4%)

Memory

-4.3MiB live, 43.2MiB allocated

Remove

(negabs x)

(abs b)

(abs t)

(abs z)

Compiler

Compiled 712 to 496 computations (30.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze15.0ms (0.1%)

sample9.8s (98.2%)

preprocess127.0ms (1.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

preprocess36.0ms (0.4%)

end0.0ms (0%)

Profiling