Metrics for UniformSampleCone 2

analyze1.0s (19.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
0%	0%	0%	100%	0%	0%	0%	3
0%	0%	0%	100%	0%	0%	0%	4
0%	0%	0%	100%	0%	0%	0%	5
25%	0%	0%	100%	0%	0%	0%	6
25%	0%	0%	100%	0%	0%	0%	7
25%	0%	0%	100%	0%	0%	0%	8
25%	0%	0%	100%	0%	0%	0%	9
25%	0%	0%	100%	0%	0%	0%	10
37.5%	0%	0%	100%	0%	0%	0%	11
56.2%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 118 to 53 computations (55.1% saved)

Precisions

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

ival-mult: 194.0ms (31.3% of total)

ival-<=: 152.0ms (24.5% of total)

...c/correct-round.rkt:130:19: 58.0ms (9.3% of total)

ival-cos: 44.0ms (7.1% of total)

ival-sin: 42.0ms (6.8% of total)

ival-sub: 30.0ms (4.8% of total)

ival-and: 28.0ms (4.5% of total)

ival-add: 27.0ms (4.4% of total)

ival-sqrt: 22.0ms (3.5% of total)

ival-pi: 15.0ms (2.4% of total)

const: 7.0ms (1.1% of total)

backward-pass: 1.0ms (0.2% of total)

sample3.6s (68.4%)

Results

2.9s

8256×

valid

Precisions

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

ival-mult: 880.0ms (37.8% of total)

ival-<=: 574.0ms (24.6% of total)

...c/correct-round.rkt:130:19: 179.0ms (7.7% of total)

ival-sin: 145.0ms (6.2% of total)

ival-cos: 134.0ms (5.8% of total)

ival-sub: 101.0ms (4.3% of total)

ival-add: 87.0ms (3.7% of total)

ival-and: 84.0ms (3.6% of total)

ival-sqrt: 70.0ms (3% of total)

ival-pi: 49.0ms (2.1% of total)

const: 22.0ms (0.9% of total)

backward-pass: 4.0ms (0.2% of total)

Bogosity

preprocess131.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1236×	`distribute-lft-neg-in`
1130×	`distribute-rgt-neg-in`
934×	`distribute-lft-in`
906×	`distribute-rgt-in`
864×	`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))))

explain357.0ms (6.8%)

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f32 #s(literal 1 binary32) ux)`
-	-	(+.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 uy #s(literal 2 binary32))`
-	-	`(.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)))))`
-	-	`(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))))`
-	-	`(sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))`
-	-	`maxCos`
-	-	`#s(literal 1 binary32)`
-	-	`(.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)`
-	-	`uy`
-	-	`(.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))`
-	-	(+.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))
-	-	`xi`
-	-	`(.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)`
-	-	`ux`
-	-	`(.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)`
-	-	`(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux)`
-	-	`(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))`
-	-	`(PI.f32)`
-	-	`#s(literal 2 binary32)`
-	-	`yi`
-	-	`(-.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)))`
-	-	`(*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)`

Results

235.0ms

512×

valid

Compiler

Compiled 739 to 80 computations (89.2% saved)

Precisions

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

ival-sqrt: 56.0ms (46.5% of total)

ival-mult: 35.0ms (29.1% of total)

ival-sin: 7.0ms (5.8% of total)

ival-cos: 7.0ms (5.8% of total)

ival-add: 6.0ms (5% of total)

ival-sub: 5.0ms (4.2% of total)

ival-pi: 2.0ms (1.7% of total)

ival-true: 1.0ms (0.8% of total)

const: 1.0ms (0.8% of total)

backward-pass: 0.0ms (0% of total)

eval1.0ms (0%)

Compiler: Compiled 178 to 52 computations (70.8% saved)

prune3.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(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))))
▶	99.2%	(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)))))
▶	99.2%	(+.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))
▶	99.2%	(+.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))

Compiler

Compiled 261 to 106 computations (59.4% saved)

localize133.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1402×	`fma-neg`
1078×	`sub-neg`
696×	`associate-+r+`
692×	`associate-+l+`
612×	`distribute-lft-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	4445
1	222	4445
2	596	3913
3	2312	3813
4	3826	3813
5	7628	3813

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 (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 (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 (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)))))
(cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
(*.f32 uy #s(literal 2 binary32))
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))))
(-.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)))
#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))
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux)
(*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)
(-.f32 #s(literal 1 binary32) ux)
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) ux) maxCos) ux) (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)
(.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)))))
(sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
yi
(.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)
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 (.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 (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))))))
(cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))
uy
(*.f32 #s(literal 2 binary32) (PI.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)))))
(-.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))))
#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)))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))
(-.f32 #s(literal 1 binary32) ux)
ux
(*.f32 maxCos 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) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))))) yi))
(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)
yi
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux)) zi)
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)))))
(cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))
uy
(*.f32 #s(literal 2 binary32) (PI.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)
(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 #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))))
#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 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))
(-.f32 #s(literal 1 binary32) ux)
ux
(*.f32 ux maxCos)
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))))
(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)
yi
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))
(.f32 zi (.f32 ux maxCos))
zi
(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 #s(literal 1 binary32) ux) maxCos)
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
ux
maxCos
(*.f32 ux zi)
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)))
(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 #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 maxCos (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (*.f32 maxCos (+.f32 ux #s(literal -1 binary32))))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))
(.f32 (.f32 ux ux) (*.f32 maxCos (+.f32 ux #s(literal -1 binary32))))
(*.f32 ux ux)
(*.f32 maxCos (+.f32 ux #s(literal -1 binary32)))
(+.f32 ux #s(literal -1 binary32))
#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 (cos.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) xi)
(cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))
uy
(*.f32 #s(literal 2 binary32) (PI.f32))
#s(literal 2 binary32)
(PI.f32)
xi
(.f32 (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) yi)
(sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
yi

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))
(fma.f32 (cos.f32 (.f32 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (fma.f32 (sin.f32 (.f32 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 zi maxCos)) (fma.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi)))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.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))
(fma.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))) (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi))
(fma.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi))
(.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.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 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))))) xi)
(.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))) xi)
(.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 xi (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32)))))
(.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 xi (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))))
(.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 xi (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))))
(.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)))))
(.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))))
(.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))))
(.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (*.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))))
(.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32))))
(cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
(.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))
(.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))
(*.f32 uy #s(literal 2 binary32))
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))))
(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))))
(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))
(sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32)))
(sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))
(sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))
(-.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)))
(-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)))))
(-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))
#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))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))
(.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))
(.f32 maxCos (.f32 maxCos (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 ux maxCos))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (*.f32 ux maxCos)))
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux)
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)
(-.f32 #s(literal 1 binary32) ux)
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) ux) maxCos) ux) (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi)
(.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))) (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi)
(.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi)
(.f32 (.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi)
(.f32 (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi)
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.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)))))
(.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))) (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))))
(.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))))
(.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))))
(sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(sin.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32))))
(sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
yi
(.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) zi)
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (*.f32 zi maxCos)))
(.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos zi)))
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)) zi)
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 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (fma.f32 (sin.f32 (.f32 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 zi maxCos)) (fma.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi)))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.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)))
(fma.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))) (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi))
(fma.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi))
(.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.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))))))
(.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))))
(.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))))
(.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (*.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))))
(.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(.f32 (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32))))
(.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))
(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
(.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))
uy
(*.f32 #s(literal 2 binary32) (PI.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)))))
(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))))
(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))
(sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32)))
(sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))
(sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))
(-.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))))
(-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)))))
(-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))
#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)))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))
(.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))
(.f32 maxCos (.f32 maxCos (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 ux maxCos))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (*.f32 ux maxCos)))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos ux))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))
(-.f32 #s(literal 1 binary32) ux)
ux
(*.f32 maxCos ux)
(*.f32 ux maxCos)
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) ux) (.f32 maxCos ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))))) yi))
(.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))) (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi)
(.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi)
(.f32 (.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi)
(.f32 (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi)
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))))
(sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(sin.f32 (.f32 #s(literal 2 binary32) (.f32 uy (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 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))))
(.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))))
(.f32 yi (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (*.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))))
(.f32 yi (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(.f32 yi (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
yi
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux)) zi)
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (*.f32 zi maxCos)))
(.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos zi)))
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)) zi)
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 (cos.f32 (.f32 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (fma.f32 (sin.f32 (.f32 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 zi maxCos)) (fma.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi)))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))))))
(cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32))))
(.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))
(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
(.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))
uy
(*.f32 #s(literal 2 binary32) (PI.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 xi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))))
(.f32 xi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))))
(.f32 xi (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (*.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))))
(.f32 xi (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(.f32 xi (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(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)))))
(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))))
(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))
(sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32)))
(sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))
(sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))
(-.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 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)))))
(-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))
#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 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))
(.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))
(.f32 maxCos (.f32 maxCos (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) ux)) (*.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 ux maxCos))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (*.f32 ux maxCos)))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))
(-.f32 #s(literal 1 binary32) ux)
ux
(*.f32 ux maxCos)
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 (sin.f32 (.f32 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos))))
(fma.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32))))) yi (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (*.f32 zi maxCos))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))))))
(sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(sin.f32 (.f32 #s(literal 2 binary32) (.f32 uy (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 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))))
(.f32 yi (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))))
(.f32 yi (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (*.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))))
(.f32 yi (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
(.f32 yi (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))))
yi
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (*.f32 zi maxCos)))
(.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos zi)))
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)) zi)
(.f32 zi (.f32 ux maxCos))
(.f32 ux (.f32 zi maxCos))
(.f32 ux (.f32 maxCos zi))
zi
(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))))
(fma.f32 (cos.f32 (.f32 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (fma.f32 (sin.f32 (.f32 (.f32 uy #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 maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 zi (*.f32 ux maxCos)))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 zi maxCos)) (fma.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi)))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))))))
(fma.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))))))
(*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
ux
maxCos
(*.f32 ux zi)
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)))
(fma.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)))))) (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))) yi))
(fma.f32 (.f32 (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))) xi (.f32 (.f32 (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))) (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))) yi))
(.f32 (sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))))))
(.f32 (sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))) (fma.f32 xi (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.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))))))))
(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))))))
(sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))
(sqrt.f32 (fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32)))
(sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))
(sqrt.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32)))
(+.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 #s(literal 1 binary32) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)))))
(-.f32 #s(literal 1 binary32) (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)))))
(fma.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (.f32 maxCos (neg.f32 ux))) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (.f32 maxCos (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (.f32 ux (+.f32 ux #s(literal -1 binary32)))))) #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 maxCos (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux ux)) (*.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (.f32 (*.f32 ux maxCos) (+.f32 ux #s(literal -1 binary32))))
(.f32 ux (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (.f32 ux (*.f32 maxCos (+.f32 ux #s(literal -1 binary32))))))
(.f32 ux (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (*.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (.f32 maxCos (.f32 ux (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))
(.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux ux)) (.f32 maxCos (+.f32 ux #s(literal -1 binary32))))
(.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 (.f32 ux ux) (+.f32 ux #s(literal -1 binary32))) maxCos))
(.f32 (.f32 maxCos (+.f32 ux #s(literal -1 binary32))) (.f32 ux (.f32 ux (-.f32 #s(literal 1 binary32) ux))))
(.f32 ux (.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 maxCos (+.f32 ux #s(literal -1 binary32))))))
(.f32 ux (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux (.f32 maxCos (+.f32 ux #s(literal -1 binary32))))))
(.f32 (.f32 ux ux) (*.f32 maxCos (+.f32 ux #s(literal -1 binary32))))
(.f32 (.f32 (*.f32 ux ux) (+.f32 ux #s(literal -1 binary32))) maxCos)
(.f32 ux (.f32 ux (*.f32 maxCos (+.f32 ux #s(literal -1 binary32)))))
(.f32 ux (.f32 maxCos (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))
(.f32 maxCos (.f32 ux (*.f32 ux (+.f32 ux #s(literal -1 binary32)))))
(*.f32 ux ux)
(*.f32 maxCos (+.f32 ux #s(literal -1 binary32)))
(+.f32 ux #s(literal -1 binary32))
#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))
(fma.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) xi (.f32 yi (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))))
(fma.f32 xi (cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))) (.f32 yi (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32))))))
(fma.f32 xi (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (.f32 yi (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))))
(fma.f32 xi (cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))) (.f32 yi (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32))))))
(.f32 (cos.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) xi)
(.f32 xi (cos.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))))
(.f32 xi (cos.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32)))))
(.f32 xi (cos.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))))
(cos.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(cos.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32))))
(.f32 uy (.f32 #s(literal 2 binary32) (PI.f32)))
(.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))
(.f32 #s(literal 2 binary32) (.f32 uy (PI.f32)))
uy
(*.f32 #s(literal 2 binary32) (PI.f32))
#s(literal 2 binary32)
(PI.f32)
xi
(.f32 (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))) yi)
(.f32 yi (sin.f32 (.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))))
(.f32 yi (sin.f32 (.f32 #s(literal 2 binary32) (*.f32 uy (PI.f32)))))
(.f32 yi (sin.f32 (.f32 uy (*.f32 #s(literal 2 binary32) (PI.f32)))))
(sin.f32 (.f32 uy (.f32 #s(literal 2 binary32) (PI.f32))))
(sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))
(sin.f32 (.f32 #s(literal 2 binary32) (.f32 uy (PI.f32))))
yi

Compiler

Compiled 1108 to 68 computations (93.9% saved)

UniformSampleCone 2

analyze1.0s (19.7%)

sample3.6s (68.4%)

preprocess131.0ms (2.5%)

explain357.0ms (6.8%)

eval1.0ms (0%)

prune3.0ms (0.1%)

localize133.0ms (2.5%)

end0.0ms (0%)

Profiling