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

Time bar (total: 4.1s)

analyze1.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
100%99.7%0%0.3%0%0%0%1
Compiler

Compiled 34 to 27 computations (20.6% saved)

sample3.7s (90.1%)

Results
2.0s3206×body1024valid
626.0ms1651×body512valid
519.0ms2811×body256valid
500.0ms588×body2048valid
Bogosity

preprocess404.0ms (9.9%)

Algorithm
1×egg-herbie
Rules
837×fma-def
726×distribute-lft-in
699×distribute-rgt-in
447×associate-/l*
402×associate-+r+
Problems
94×(cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))
85×(cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16))
68×No Errors
5×(*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t)
4×(*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t)
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02002766
15062766
213582750
334692750
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 (neg.f64 x) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (neg.f64 y) 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) (neg.f64 z)) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) (neg.f64 t)) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) (neg.f64 t)) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (neg.f64 a) 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) (neg.f64 b)) t) 16)))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (neg.f64 y) 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) (neg.f64 z)) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) (neg.f64 t)) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) (neg.f64 t)) 16))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (neg.f64 a) 2) 1) b) t) 16))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) (neg.f64 b)) t) 16))))
(*.f64 (*.f64 y (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 x 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 z (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) x) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 t (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) x) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) x) 16)))
(*.f64 (*.f64 a (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 x 2) 1) b) t) 16)))
(*.f64 (*.f64 b (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) x) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 z 2) 1) y) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 t 2) 1) z) y) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) y) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 b 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) y) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) t) z) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) z) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) a) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 z 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) b) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) z) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) a) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 t 2) 1) b) a) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) b) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) t) b) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 b 2) 1) a) t) 16)))
Outputs
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t)))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16)))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t)))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16)))))
(*.f64 (*.f64 (neg.f64 x) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)) (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (neg.f64 x)))
(*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b)) (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (neg.f64 x)))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (*.f64 x (neg.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (neg.f64 (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16))))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (neg.f64 y) 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)) (*.f64 x (cos.f64 (/.f64 (*.f64 z (fma.f64 (neg.f64 y) 2 1)) (/.f64 16 t)))))
(*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 z (+.f64 1 (*.f64 y -2))) 16) t)) (*.f64 x (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b))))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (*.f64 x (cos.f64 (*.f64 t (/.f64 (*.f64 z (fma.f64 y -2 1)) 16)))))
(*.f64 (cos.f64 (*.f64 (/.f64 t 16) (*.f64 z (fma.f64 y -2 1)))) (*.f64 x (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16)))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) (neg.f64 z)) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t)))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16)))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) (neg.f64 t)) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) (neg.f64 t)) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t)))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16)))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (neg.f64 a) 2) 1) b) t) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 b (fma.f64 (neg.f64 a) 2 1)) (/.f64 16 t)))))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (+.f64 1 (*.f64 a -2)))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 a -2 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 t (*.f64 (/.f64 b 16) (fma.f64 a -2 1))))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) (neg.f64 b)) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t)))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16)))))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t)))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16)))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (neg.f64 y) 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 z (fma.f64 (neg.f64 y) 2 1)) (/.f64 16 t)))) (neg.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 z (+.f64 1 (*.f64 y -2))) 16) t)) (neg.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b)))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (neg.f64 (cos.f64 (*.f64 t (/.f64 (*.f64 z (fma.f64 y -2 1)) 16))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 t 16) (*.f64 z (fma.f64 y -2 1)))) (neg.f64 (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16))))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) (neg.f64 z)) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16))))
(*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)) (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (neg.f64 x)))
(*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b)) (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (neg.f64 x)))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (*.f64 x (neg.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (neg.f64 (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16))))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) (neg.f64 t)) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) (neg.f64 t)) 16))))
(*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)) (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (neg.f64 x)))
(*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b)) (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (neg.f64 x)))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (*.f64 x (neg.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (neg.f64 (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16))))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (neg.f64 a) 2) 1) b) t) 16))))
(*.f64 (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (neg.f64 x)) (cos.f64 (/.f64 (*.f64 b (fma.f64 (neg.f64 a) 2 1)) (/.f64 16 t))))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (neg.f64 (cos.f64 (/.f64 b (/.f64 (/.f64 16 t) (+.f64 1 (*.f64 a -2))))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (neg.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 a -2 1) (/.f64 16 b)))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (neg.f64 (cos.f64 (*.f64 t (*.f64 (/.f64 b 16) (fma.f64 a -2 1)))))))
(neg.f64 (*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) (neg.f64 b)) t) 16))))
(*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16)) (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (neg.f64 x)))
(*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b)) (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (neg.f64 x)))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (*.f64 x (neg.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (neg.f64 (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16))))))
(*.f64 (*.f64 y (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 x 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 y (*.f64 (cos.f64 (/.f64 (*.f64 z (fma.f64 x 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16))))
(*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 z (fma.f64 x 2 1)) 16) t)) (*.f64 y (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b))))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (*.f64 y (cos.f64 (*.f64 t (/.f64 (fma.f64 x 2 1) (/.f64 16 z))))))
(*.f64 (cos.f64 (*.f64 t (*.f64 (/.f64 z 16) (fma.f64 x 2 1)))) (*.f64 y (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16)))))
(*.f64 (*.f64 z (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) x) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 z (*.f64 (cos.f64 (/.f64 (*.f64 x (fma.f64 y 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16))))
(*.f64 z (*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b)) (cos.f64 (/.f64 x (/.f64 (/.f64 16 t) (fma.f64 y 2 1))))))
(*.f64 z (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (cos.f64 (*.f64 t (/.f64 x (/.f64 16 (fma.f64 y 2 1)))))))
(*.f64 z (*.f64 (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16))) (cos.f64 (*.f64 t (*.f64 (/.f64 x 16) (fma.f64 y 2 1))))))
(*.f64 (*.f64 t (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) x) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) x) 16)))
(*.f64 t (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 x))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) b) (/.f64 16 x)))))
(*.f64 t (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 x) z))) (cos.f64 (*.f64 (/.f64 (*.f64 (fma.f64 2 a 1) b) 16) x))))
(*.f64 t (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) (*.f64 x z)) 16)) (cos.f64 (*.f64 x (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(*.f64 t (*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 x z) 16) (fma.f64 y 2 1))) (cos.f64 (*.f64 x (*.f64 (/.f64 b 16) (fma.f64 2 a 1))))))
(*.f64 (*.f64 a (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 x 2) 1) b) t) 16)))
(*.f64 a (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 b (fma.f64 x 2 1)) (/.f64 16 t)))))
(*.f64 a (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (*.f64 (/.f64 (*.f64 b (fma.f64 x 2 1)) 16) t))))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (*.f64 a (cos.f64 (*.f64 t (/.f64 (fma.f64 x 2 1) (/.f64 16 b))))))
(*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (*.f64 a (cos.f64 (*.f64 t (*.f64 (/.f64 b 16) (fma.f64 x 2 1))))))
(*.f64 (*.f64 b (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) x) t) 16)))
(*.f64 b (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 x (fma.f64 a 2 1)) (/.f64 16 t)))))
(*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (*.f64 b (cos.f64 (/.f64 (fma.f64 2 a 1) (/.f64 (/.f64 16 t) x)))))
(*.f64 (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) b) (cos.f64 (*.f64 t (/.f64 x (/.f64 16 (fma.f64 2 a 1))))))
(*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (*.f64 b (cos.f64 (*.f64 t (/.f64 (*.f64 x (fma.f64 2 a 1)) 16)))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 z 2) 1) y) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 y (fma.f64 z 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b t)) 16))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b)) (cos.f64 (/.f64 y (/.f64 (/.f64 16 t) (fma.f64 2 z 1))))))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (*.f64 x (cos.f64 (*.f64 (/.f64 t 16) (*.f64 y (fma.f64 2 z 1))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16))) (cos.f64 (*.f64 (/.f64 t 16) (*.f64 y (fma.f64 2 z 1))))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 t 2) 1) z) y) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) y) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 z (fma.f64 t 2 1)) (/.f64 16 y))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b y)) 16))))
(*.f64 x (*.f64 (cos.f64 (/.f64 y (/.f64 16 (*.f64 z (fma.f64 2 t 1))))) (cos.f64 (*.f64 (/.f64 (*.f64 (fma.f64 2 a 1) b) 16) y))))
(*.f64 x (*.f64 (cos.f64 (*.f64 y (/.f64 z (/.f64 16 (fma.f64 2 t 1))))) (cos.f64 (*.f64 y (/.f64 (fma.f64 2 a 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 y (*.f64 (/.f64 z 16) (fma.f64 2 t 1)))) (cos.f64 (*.f64 y (*.f64 (/.f64 b 16) (fma.f64 2 a 1))))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) b) t) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 z (fma.f64 a 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) b) (/.f64 16 t)))))
(*.f64 (cos.f64 (/.f64 (fma.f64 2 a 1) (/.f64 (/.f64 16 t) z))) (*.f64 x (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 16 (*.f64 t b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) z)) (cos.f64 (*.f64 t (*.f64 (/.f64 b 16) (fma.f64 y 2 1))))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 b 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) y) t) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 z (fma.f64 b 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 y (fma.f64 a 2 1)) (/.f64 16 t)))))
(*.f64 x (*.f64 (cos.f64 (/.f64 z (/.f64 (/.f64 16 t) (fma.f64 2 b 1)))) (cos.f64 (/.f64 y (/.f64 (/.f64 16 t) (fma.f64 2 a 1))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 z (/.f64 16 (fma.f64 2 b 1))))) (cos.f64 (*.f64 (/.f64 (fma.f64 2 a 1) 16) (*.f64 y t)))))
(*.f64 x (*.f64 (cos.f64 (/.f64 t (/.f64 (/.f64 16 (fma.f64 2 b 1)) z))) (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) y))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) t) z) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) z) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) t) (/.f64 16 z))) (cos.f64 (/.f64 (*.f64 (fma.f64 a 2 1) (*.f64 b z)) 16))))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (cos.f64 (*.f64 (/.f64 (*.f64 (fma.f64 2 a 1) b) 16) z))))
(*.f64 (*.f64 x (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z))))) (cos.f64 (*.f64 z (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 z (*.f64 (/.f64 b 16) (fma.f64 2 a 1))))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) a) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 z 2) 1) b) t) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) (*.f64 a t)) 16))) (cos.f64 (/.f64 (*.f64 (fma.f64 z 2 1) (*.f64 b t)) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) a))) (cos.f64 (/.f64 (fma.f64 2 z 1) (/.f64 (/.f64 16 t) b)))))
(*.f64 (*.f64 x (cos.f64 (*.f64 (/.f64 a (/.f64 16 t)) (fma.f64 y 2 1)))) (cos.f64 (*.f64 t (/.f64 b (/.f64 16 (fma.f64 2 z 1))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 a (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 (*.f64 (/.f64 b 16) t) (fma.f64 2 z 1)))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) b) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) z) t) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 z (fma.f64 a 2 1)) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) b) (/.f64 16 t)))))
(*.f64 (cos.f64 (/.f64 (fma.f64 2 a 1) (/.f64 (/.f64 16 t) z))) (*.f64 x (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 16 (*.f64 t b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 z)))) (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) z)) (cos.f64 (*.f64 t (*.f64 (/.f64 b 16) (fma.f64 y 2 1))))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) a) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 t 2) 1) b) a) 16)))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) (*.f64 z a)) 16))) (cos.f64 (/.f64 (*.f64 b (fma.f64 t 2 1)) (/.f64 16 a))))
(*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 a) z))) (*.f64 x (cos.f64 (/.f64 (fma.f64 2 t 1) (/.f64 (/.f64 16 a) b)))))
(*.f64 (*.f64 x (cos.f64 (*.f64 a (/.f64 (fma.f64 y 2 1) (/.f64 16 z))))) (cos.f64 (*.f64 a (/.f64 b (/.f64 16 (fma.f64 2 t 1))))))
(*.f64 (cos.f64 (*.f64 (*.f64 (/.f64 z 16) a) (fma.f64 y 2 1))) (*.f64 x (cos.f64 (*.f64 (*.f64 (/.f64 b 16) a) (fma.f64 2 t 1)))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) b) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) t) b) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 b))) (cos.f64 (/.f64 (*.f64 t (fma.f64 a 2 1)) (/.f64 16 b)))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 (*.f64 t (fma.f64 2 a 1)) 16) b)) (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 16 (*.f64 z b))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 2 a 1) (/.f64 16 b)))) (cos.f64 (*.f64 b (/.f64 (fma.f64 y 2 1) (/.f64 16 z))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 b (/.f64 (*.f64 t (fma.f64 2 a 1)) 16))) (cos.f64 (*.f64 (*.f64 (/.f64 b 16) (fma.f64 y 2 1)) z))))
(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 b 2) 1) a) t) 16)))
(*.f64 x (*.f64 (cos.f64 (/.f64 (*.f64 (fma.f64 y 2 1) z) (/.f64 16 t))) (cos.f64 (/.f64 (*.f64 a (fma.f64 b 2 1)) (/.f64 16 t)))))
(*.f64 (cos.f64 (/.f64 (fma.f64 y 2 1) (/.f64 (/.f64 16 t) z))) (*.f64 x (cos.f64 (/.f64 a (/.f64 (/.f64 16 t) (fma.f64 2 b 1))))))
(*.f64 (cos.f64 (*.f64 t (/.f64 (fma.f64 y 2 1) (/.f64 16 z)))) (*.f64 x (cos.f64 (*.f64 t (/.f64 a (/.f64 16 (fma.f64 2 b 1)))))))
(*.f64 x (*.f64 (cos.f64 (*.f64 (/.f64 z (/.f64 16 t)) (fma.f64 y 2 1))) (cos.f64 (*.f64 t (*.f64 (/.f64 (fma.f64 2 b 1) 16) a)))))
Symmetry

(abs z)

(abs t)

(abs b)

(negabs x)

Compiler

Compiled 151 to 108 computations (28.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...