Metrics for UniformSampleCone 2

analyze3.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 118 to 85 computations (28% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.0ms

Operation ival-pi, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation ival-cos, time spent: 0.0ms, 0.0% of total-time

Operation ival-and, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

Operation ival-sqrt, time spent: 0.0ms, 0.0% of total-time

Operation ival-<=, time spent: 0.0ms, 0.0% of total-time

sample6.2s (82.5%)

Results

5.4s	8255×	256	valid
1.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 3.3s

Operation ival-mult, time spent: 1.5s, 46.0% of total-time

Operation ival-sub, time spent: 425.0ms, 13.0% of total-time

Operation ival-<=, time spent: 390.0ms, 12.0% of total-time

Operation ival-cos, time spent: 244.0ms, 7.0% of total-time

Operation ival-sin, time spent: 179.0ms, 5.0% of total-time

Operation ival-sqrt, time spent: 138.0ms, 4.0% of total-time

Operation ival-pi, time spent: 119.0ms, 4.0% of total-time

Operation ival-add, time spent: 104.0ms, 3.0% of total-time

Operation ival-and, time spent: 101.0ms, 3.0% of total-time

Operation const, time spent: 98.0ms, 3.0% of total-time

Bogosity

preprocess1.3s (17.4%)

Algorithm

1×	egg-herbie

Rules

618×	`distribute-lft-neg-in`
565×	`distribute-rgt-neg-in`
467×	`distribute-lft-in`
453×	`distribute-rgt-in`
432×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	255	7597
1	809	7397
2	3109	5265

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) (neg.f32 xi)) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) (neg.f32 yi))) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (neg.f32 zi)))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 (neg.f32 uy) #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 (neg.f32 uy) #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) zi))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) (neg.f32 xi)) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) (neg.f32 yi))) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (neg.f32 zi))))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) zi)))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 (neg.f32 uy) #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 (neg.f32 uy) #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) zi)))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) zi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) xi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi))))) ux) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 xi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) uy) (.f32 (.f32 (sin.f32 (.f32 (.f32 xi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux))))) maxCos) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) zi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) yi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi))))) ux)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 yi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 yi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) uy)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux))))) maxCos)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi) ux))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 zi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 zi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) uy))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux) maxCos))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 ux #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy) (.f32 (.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 ux #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy) (.f32 (.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos) (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos) (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos) zi))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 maxCos #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 maxCos #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux) zi))

Outputs
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) yi) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) yi) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) (neg.f32 xi)) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) (neg.f32 xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi))))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (neg.f32 xi)) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) yi) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (-.f32 (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi) (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) (neg.f32 yi))) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (neg.f32 yi)))))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (neg.f32 yi)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy #s(literal -2 binary32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (neg.f32 zi)))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux (neg.f32 zi))))
(-.f32 (fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (.f32 ux maxCos))))
(fma.f32 zi (.f32 ux (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux))) (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux))))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux))) (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux)))))) yi))) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux)))))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 xi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (+.f32 #s(literal 1 binary32) ux)))))))) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (+.f32 #s(literal 1 binary32) ux)))))))) (.f32 maxCos (.f32 (+.f32 #s(literal 1 binary32) ux) (neg.f32 (*.f32 ux zi))))))
(-.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos maxCos) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) ux))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))) (.f32 ux (.f32 (*.f32 maxCos (+.f32 #s(literal 1 binary32) ux)) zi)))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 (neg.f32 uy) #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 (neg.f32 uy) #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (neg.f32 yi)))))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (neg.f32 yi)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy #s(literal -2 binary32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux (neg.f32 zi))))
(-.f32 (fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (.f32 ux maxCos))))
(fma.f32 zi (.f32 ux (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) (neg.f32 xi)) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)))
(neg.f32 (+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) (neg.f32 xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi)))))
(neg.f32 (fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (neg.f32 xi)) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) yi) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos))))))
(fma.f32 ux (.f32 (.f32 maxCos (+.f32 ux #s(literal -1 binary32))) zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy #s(literal -2 binary32)))) yi))))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) (neg.f32 yi))) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)))
(neg.f32 (+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (neg.f32 yi))))))
(neg.f32 (fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (neg.f32 yi)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos))))))
(fma.f32 ux (.f32 (.f32 maxCos (+.f32 ux #s(literal -1 binary32))) zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (-.f32 (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi) (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi))))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (neg.f32 zi))))
(neg.f32 (+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux (neg.f32 zi)))))
(-.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (.f32 ux maxCos))) (fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(-.f32 (.f32 ux (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) maxCos)) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) maxCos) (neg.f32 ux)) zi)))
(neg.f32 (+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux))) (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux))))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux))) (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux)))))) yi))) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) (neg.f32 ux)) (.f32 maxCos (neg.f32 ux))))))
(-.f32 (.f32 zi (.f32 ux (.f32 maxCos (+.f32 #s(literal 1 binary32) ux)))) (fma.f32 xi (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (+.f32 #s(literal 1 binary32) ux)))))))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (+.f32 #s(literal 1 binary32) ux))))))) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(-.f32 (.f32 ux (.f32 (.f32 maxCos (+.f32 #s(literal 1 binary32) ux)) zi)) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos maxCos) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) ux))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 (neg.f32 uy) #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 (neg.f32 uy) #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)))
(neg.f32 (+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (neg.f32 yi))))))
(neg.f32 (fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (neg.f32 yi)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos))))))
(fma.f32 ux (.f32 (.f32 maxCos (+.f32 ux #s(literal -1 binary32))) zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (-.f32 (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi) (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi))))
(neg.f32 (+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 maxCos)) ux) zi)))
(neg.f32 (+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux (neg.f32 zi)))))
(-.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (.f32 ux maxCos))) (fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(-.f32 (.f32 ux (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) maxCos)) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) yi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) xi))))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) yi) (fma.f32 xi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) zi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) xi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) zi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) yi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux xi)))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) zi) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) yi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)) xi)))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux xi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi) (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) zi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi))))) ux) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) xi) maxCos) xi) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos xi)) (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos xi)))))) ux (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos xi)) (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos xi))))) yi))) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos xi))))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 ux (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 xi (.f32 xi (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos (.f32 maxCos (-.f32 #s(literal 1 binary32) xi))))))))) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 xi (.f32 xi (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos (.f32 maxCos (-.f32 #s(literal 1 binary32) xi))))))))) (.f32 xi (.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) xi)) zi))))
(fma.f32 zi (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos xi)) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 xi (.f32 (-.f32 #s(literal 1 binary32) xi) (.f32 maxCos xi))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) ux) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 xi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) uy) (.f32 (.f32 (sin.f32 (.f32 (.f32 xi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (cos.f32 (.f32 xi (.f32 #s(literal 2 binary32) (PI.f32))))) uy (.f32 yi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (sin.f32 (.f32 xi (.f32 #s(literal 2 binary32) (PI.f32))))))))
(fma.f32 uy (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (cos.f32 (.f32 #s(literal 2 binary32) (.f32 xi (PI.f32))))) (fma.f32 yi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (sin.f32 (.f32 #s(literal 2 binary32) (.f32 xi (PI.f32))))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 xi (PI.f32)))) uy) (.f32 (sin.f32 (.f32 #s(literal 2 binary32) (.f32 xi (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux))))) maxCos) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) xi) ux) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 xi ux))))))) maxCos (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 xi ux)))))) yi))) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 xi ux))))
(fma.f32 zi (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) xi)) (fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 maxCos (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) (.f32 (.f32 xi xi) (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux))))))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) (.f32 (.f32 xi xi) (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)))))) (.f32 (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(fma.f32 zi (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) xi)) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) xi) (.f32 (.f32 ux ux) (.f32 xi (+.f32 ux #s(literal -1 binary32))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) maxCos) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) zi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) yi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) zi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) yi))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) zi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)) yi)))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux yi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) zi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi))))) ux)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) yi) maxCos) yi) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) yi)) (.f32 yi (.f32 (-.f32 #s(literal 1 binary32) yi) (.f32 maxCos yi))))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) yi)) (.f32 yi (.f32 (-.f32 #s(literal 1 binary32) yi) (.f32 maxCos yi)))))) ux))) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) yi) (.f32 maxCos yi))))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 xi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 yi (.f32 yi (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) yi)) (.f32 maxCos (-.f32 #s(literal 1 binary32) yi)))))))) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 ux (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 yi (.f32 yi (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) yi)) (.f32 maxCos (-.f32 #s(literal 1 binary32) yi)))))))) (.f32 (.f32 zi (-.f32 #s(literal 1 binary32) yi)) (*.f32 maxCos yi))))
(fma.f32 zi (.f32 (.f32 yi (-.f32 #s(literal 1 binary32) yi)) maxCos) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 yi (.f32 (-.f32 #s(literal 1 binary32) yi) (.f32 (.f32 maxCos yi) (.f32 maxCos (-.f32 #s(literal 1 binary32) yi))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) ux))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 yi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 yi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) uy)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi))
(+.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) zi) (fma.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (cos.f32 (.f32 yi (.f32 #s(literal 2 binary32) (PI.f32))))) xi (.f32 (sin.f32 (.f32 yi (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) uy))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (fma.f32 (cos.f32 (.f32 (PI.f32) (.f32 #s(literal 2 binary32) yi))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) xi) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (.f32 (sin.f32 (.f32 (PI.f32) (*.f32 #s(literal 2 binary32) yi))) uy))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux zi) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 yi (PI.f32)))) xi) (.f32 (sin.f32 (.f32 #s(literal 2 binary32) (.f32 yi (PI.f32)))) uy))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux))))) maxCos)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) yi) ux) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 yi ux))))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 yi ux)))))) maxCos))) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 yi ux))))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 xi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 yi (.f32 (.f32 ux ux) (.f32 (-.f32 #s(literal 1 binary32) ux) yi))))))) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 maxCos (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 yi (.f32 (.f32 ux ux) (.f32 (-.f32 #s(literal 1 binary32) ux) yi))))))) (.f32 ux (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) yi) zi))))
(fma.f32 zi (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) yi)) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) yi) (.f32 (.f32 ux yi) (+.f32 ux #s(literal -1 binary32))))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) maxCos))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi) (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) zi) maxCos) zi) ux))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) zi)) (.f32 zi (.f32 zi (.f32 maxCos (-.f32 #s(literal 1 binary32) zi)))))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) zi)) (.f32 zi (.f32 zi (.f32 maxCos (-.f32 #s(literal 1 binary32) zi))))))) yi))) (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) zi)) (.f32 zi ux)))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 xi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) zi) (.f32 (.f32 maxCos zi) (.f32 maxCos (-.f32 #s(literal 1 binary32) zi)))))))) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) zi) (.f32 (.f32 maxCos zi) (.f32 maxCos (-.f32 #s(literal 1 binary32) zi)))))))) (.f32 zi (.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) zi)) ux))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) zi) (.f32 maxCos zi)) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) zi) (.f32 maxCos zi)) (.f32 (.f32 maxCos zi) (+.f32 zi #s(literal -1 binary32)))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 zi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 zi #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) uy))
(+.f32 (fma.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (cos.f32 (.f32 zi (.f32 #s(literal 2 binary32) (PI.f32))))) xi (.f32 yi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))) (sin.f32 (.f32 zi (.f32 #s(literal 2 binary32) (PI.f32))))))) (.f32 uy (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))))
(fma.f32 xi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (cos.f32 (.f32 #s(literal 2 binary32) (.f32 zi (PI.f32))))) (fma.f32 yi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))) (sin.f32 (.f32 #s(literal 2 binary32) (.f32 zi (PI.f32))))) (.f32 uy (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)))))
(fma.f32 uy (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))) (+.f32 (.f32 xi (cos.f32 (.f32 #s(literal 2 binary32) (.f32 zi (PI.f32))))) (.f32 yi (sin.f32 (.f32 #s(literal 2 binary32) (.f32 zi (PI.f32))))))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) zi) ux) maxCos))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) (.f32 (-.f32 #s(literal 1 binary32) ux) zi)) (.f32 ux ux))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) (.f32 (-.f32 #s(literal 1 binary32) ux) zi)) (.f32 ux ux)))) yi))) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) zi) (.f32 ux maxCos)))
(fma.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 xi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux zi) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) ux) ux))))))) (fma.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux zi) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) ux) ux))))))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 maxCos (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) zi)) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 ux ux) (.f32 (-.f32 #s(literal 1 binary32) ux) zi)) (.f32 zi (+.f32 ux #s(literal -1 binary32)))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 ux #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy) (.f32 (.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 ux #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy) (.f32 (.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) uy) maxCos) uy) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 ux (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) uy)) (.f32 uy (.f32 uy (.f32 maxCos (-.f32 #s(literal 1 binary32) uy)))))))) xi (.f32 yi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) uy)) (.f32 uy (.f32 uy (.f32 maxCos (-.f32 #s(literal 1 binary32) uy))))))) (sin.f32 (.f32 ux (.f32 #s(literal 2 binary32) (PI.f32))))))) (.f32 (.f32 maxCos (-.f32 #s(literal 1 binary32) uy)) (.f32 uy zi)))
(fma.f32 xi (.f32 (cos.f32 (.f32 (PI.f32) (.f32 #s(literal 2 binary32) ux))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) uy) (.f32 (.f32 uy maxCos) (.f32 uy (.f32 maxCos (-.f32 #s(literal 1 binary32) uy)))))))) (fma.f32 yi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) uy) (.f32 (.f32 uy maxCos) (.f32 uy (.f32 maxCos (-.f32 #s(literal 1 binary32) uy))))))) (sin.f32 (.f32 (PI.f32) (.f32 #s(literal 2 binary32) ux)))) (.f32 uy (.f32 (*.f32 maxCos (-.f32 #s(literal 1 binary32) uy)) zi))))
(fma.f32 zi (.f32 (.f32 uy (-.f32 #s(literal 1 binary32) uy)) maxCos) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) uy) (.f32 (.f32 uy maxCos) (.f32 (.f32 uy (-.f32 #s(literal 1 binary32) uy)) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 ux (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 ux (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos) (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos) (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux) maxCos) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) maxCos) (.f32 ux maxCos)))))) xi (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) (.f32 ux maxCos)) (.f32 (-.f32 #s(literal 1 binary32) maxCos) (.f32 ux maxCos))))) yi))) (.f32 zi (.f32 (-.f32 #s(literal 1 binary32) maxCos) (.f32 ux maxCos))))
(fma.f32 zi (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos)) (fma.f32 xi (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) (.f32 maxCos maxCos)))))) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) (.f32 maxCos maxCos))))) (.f32 (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(fma.f32 zi (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos)) (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 (.f32 (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos)) ux) (-.f32 #s(literal 1 binary32) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) xi) (.f32 (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) yi))))
(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 maxCos #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 maxCos #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) uy) ux) zi))
(+.f32 (fma.f32 (.f32 (cos.f32 (.f32 maxCos (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 uy (-.f32 #s(literal 1 binary32) ux))) (.f32 ux (.f32 uy (-.f32 #s(literal 1 binary32) ux))))))) xi (.f32 yi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 uy (-.f32 #s(literal 1 binary32) ux))) (.f32 ux (.f32 uy (-.f32 #s(literal 1 binary32) ux)))))) (sin.f32 (.f32 maxCos (.f32 #s(literal 2 binary32) (PI.f32))))))) (.f32 (.f32 uy (-.f32 #s(literal 1 binary32) ux)) (.f32 ux zi)))
(fma.f32 xi (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 maxCos (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 uy (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 uy (-.f32 #s(literal 1 binary32) ux)))))))) (fma.f32 yi (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 uy (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 uy (-.f32 #s(literal 1 binary32) ux))))))) (sin.f32 (.f32 #s(literal 2 binary32) (.f32 maxCos (PI.f32))))) (.f32 uy (.f32 zi (*.f32 (-.f32 #s(literal 1 binary32) ux) ux)))))
(fma.f32 zi (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 uy ux)) (.f32 (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 uy ux)) (.f32 ux (.f32 uy (+.f32 ux #s(literal -1 binary32))))))) (+.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 maxCos (PI.f32)))) xi) (.f32 (sin.f32 (.f32 #s(literal 2 binary32) (.f32 maxCos (PI.f32)))) yi))))

Compiler

Compiled 474 to 300 computations (36.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 401.0ms

Operation ival-mult, time spent: 233.0ms, 58.0% of total-time

Operation ival-sub, time spent: 83.0ms, 21.0% of total-time

Operation ival-cos, time spent: 23.0ms, 6.0% of total-time

Operation ival-sqrt, time spent: 22.0ms, 5.0% of total-time

Operation ival-sin, time spent: 22.0ms, 5.0% of total-time

Operation const, time spent: 11.0ms, 3.0% of total-time

Operation ival-add, time spent: 4.0ms, 1.0% of total-time

Operation ival-pi, time spent: 3.0ms, 1.0% of total-time

UniformSampleCone 2

analyze3.0ms (0%)

sample6.2s (82.5%)

preprocess1.3s (17.4%)

end0.0ms (0%)

Profiling