Metrics for Trowbridge-Reitz Sample, sample surface normal, cosTheta

analyze1.6s (10.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
25%	0%	0%	100%	0%	0%	0%	3
25%	0%	0%	100%	0%	0%	0%	4
25%	0%	0%	100%	0%	0%	0%	5
37.5%	0%	0%	100%	0%	0%	0%	6
56.3%	0%	0%	100%	0%	0%	0%	7
56.3%	0%	0%	100%	0%	0%	0%	8
56.3%	0%	0%	100%	0%	0%	0%	9
65.6%	0%	0%	100%	0%	0%	0%	10
76.6%	0%	0%	100%	0%	0%	0%	11
76.6%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 123 to 87 computations (29.3% saved)

Precisions

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

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

Operation ival-tan, time spent: 156.0ms, 16.0% of total-time

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

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

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

Operation ival-atan, time spent: 56.0ms, 6.0% of total-time

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

Operation ival-div, time spent: 47.0ms, 5.0% of total-time

Operation const, time spent: 16.0ms, 2.0% of total-time

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

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

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

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

sample10.0s (67%)

Results

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

Precisions

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

Operation ival-mult, time spent: 1.7s, 24.0% of total-time

Operation ival-tan, time spent: 1.6s, 22.0% of total-time

Operation ival-atan, time spent: 760.0ms, 10.0% of total-time

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

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

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

Operation ival-div, time spent: 446.0ms, 6.0% of total-time

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

Operation const, time spent: 100.0ms, 1.0% of total-time

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

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

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

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

Bogosity

preprocess3.3s (22.3%)

Algorithm

1×	egg-herbie

Rules

772×	`unsub-neg`
516×	`associate-/r*`
420×	`fma-define`
407×	`div-sub`
387×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	215	5376
1	516	5176
2	1118	4912
3	3472	4656
4	6926	4656

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) (neg.f32 u0)) (-.f32 #s(literal 1 binary32) (neg.f32 u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 (neg.f32 alphax) (neg.f32 alphax))) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 (neg.f32 alphay) (neg.f32 alphay))))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(neg.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) (neg.f32 u0)) (-.f32 #s(literal 1 binary32) (neg.f32 u0)))))))
(neg.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))))
(neg.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 (neg.f32 alphax) (neg.f32 alphax))) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))))
(neg.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 (neg.f32 alphay) (neg.f32 alphay))))) u0) (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u1) (-.f32 #s(literal 1 binary32) u1)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 u0 u0)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) alphax) (-.f32 #s(literal 1 binary32) alphax)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 u0 u0)))) alphay) (-.f32 #s(literal 1 binary32) alphay)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 u1 u1)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 u1 u1)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphax alphax)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Outputs
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (*.f32 alphay alphay))))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (*.f32 alphay alphay))))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) (neg.f32 u0)) (-.f32 #s(literal 1 binary32) (neg.f32 u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (*.f32 alphay alphay))))) (/.f32 (neg.f32 u0) (-.f32 #s(literal 1 binary32) (neg.f32 u0)))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (neg.f32 u0) (.f32 (+.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (+.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (-.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (+.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (-.f32 #s(literal -1 binary32) u0)) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) #s(literal 1/2 binary32))))))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) #s(literal 1/2 binary32))))))) alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))))))) (.f32 alphay alphay)))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) #s(literal 1/2 binary32) (.f32 #s(literal -2 binary32) (.f32 (PI.f32) u1)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) #s(literal 1/2 binary32) (.f32 #s(literal -2 binary32) (.f32 (PI.f32) u1)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) #s(literal 1/2 binary32) (.f32 #s(literal -2 binary32) (.f32 (PI.f32) u1)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) #s(literal 1/2 binary32) (.f32 #s(literal -2 binary32) (.f32 (PI.f32) u1)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 #s(literal -2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 #s(literal -2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 #s(literal -2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 #s(literal -2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 #s(literal -2 binary32) #s(literal 1/2 binary32))))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 #s(literal -2 binary32) #s(literal 1/2 binary32))))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 #s(literal -2 binary32) #s(literal 1/2 binary32))))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 #s(literal -2 binary32) #s(literal 1/2 binary32))))))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 (neg.f32 alphax) (neg.f32 alphax))) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (.f32 alphay alphay))) (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphay))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 (neg.f32 alphay) (neg.f32 alphay))))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (.f32 alphay alphay))) (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphay))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(neg.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) (neg.f32 u0)) (-.f32 #s(literal 1 binary32) (neg.f32 u0)))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (*.f32 alphay alphay))))) (/.f32 (neg.f32 u0) (-.f32 #s(literal 1 binary32) (neg.f32 u0)))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (neg.f32 u0) (.f32 (+.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (-.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (+.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (-.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))) (+.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (/.f32 u0 (-.f32 #s(literal -1 binary32) u0)) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphax)))) (*.f32 alphay alphay))))))))
(neg.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1)) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) #s(literal 1/2 binary32))))))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) #s(literal 1/2 binary32))))))) alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))))))) (.f32 alphay alphay)))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) #s(literal 1/2 binary32) (.f32 #s(literal -2 binary32) (.f32 (PI.f32) u1)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) #s(literal 1/2 binary32) (.f32 #s(literal -2 binary32) (.f32 (PI.f32) u1)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) #s(literal 1/2 binary32) (.f32 #s(literal -2 binary32) (.f32 (PI.f32) u1)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) #s(literal 1/2 binary32) (.f32 #s(literal -2 binary32) (.f32 (PI.f32) u1)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 #s(literal -2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 #s(literal -2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 #s(literal -2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 #s(literal -2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 #s(literal -2 binary32) #s(literal 1/2 binary32))))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 #s(literal -2 binary32) #s(literal 1/2 binary32))))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 #s(literal -2 binary32) #s(literal 1/2 binary32))))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 #s(literal -2 binary32) #s(literal 1/2 binary32))))))) (.f32 alphay alphay)))))))))
(neg.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 (neg.f32 alphax) (neg.f32 alphax))) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (.f32 alphay alphay))) (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphay))))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(neg.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 (neg.f32 alphay) (neg.f32 alphay))))) u0) (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (.f32 alphay alphay))) (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay (neg.f32 alphax))))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 (neg.f32 alphay) alphax)))) alphay))))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal -1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u1) (-.f32 #s(literal 1 binary32) u1)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u0 (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (*.f32 alphay alphay))))) (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u1 (.f32 (-.f32 #s(literal 1 binary32) u1) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u0) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u0) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u0) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u0) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u1 (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 2 binary32) u0)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 2 binary32) u0)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 2 binary32) u0)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (.f32 #s(literal 2 binary32) u0)))) alphax)))) (.f32 alphay alphay)))) (-.f32 #s(literal 1 binary32) u1))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u1 (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u0 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u0 #s(literal 1/2 binary32)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u0 #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u0 #s(literal 1/2 binary32)))) alphax)))) (.f32 alphay alphay)))) (-.f32 #s(literal 1 binary32) u1))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 u0 u0)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) alphax) (-.f32 #s(literal 1 binary32) alphax)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (.f32 u0 u0))) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay u0))))) (*.f32 alphay alphay)))) (/.f32 alphax (-.f32 #s(literal 1 binary32) alphax))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 alphax (.f32 (-.f32 #s(literal 1 binary32) alphax) (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (.f32 u0 u0)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (.f32 alphay alphay)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 alphax (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (.f32 u0 u0)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (*.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) alphay))) (-.f32 #s(literal 1 binary32) alphax))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 alphax (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) (.f32 u0 u0)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (/.f32 alphay u0)))) alphay))) (-.f32 #s(literal 1 binary32) alphax))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 u0 u0)))) alphay) (-.f32 #s(literal 1 binary32) alphay)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 u0 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (*.f32 u0 u0))))) (/.f32 alphay (-.f32 #s(literal 1 binary32) alphay))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 alphay (.f32 (-.f32 #s(literal 1 binary32) alphay) (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (.f32 u0 u0)))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 alphay (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (.f32 u0 u0)))) (-.f32 #s(literal 1 binary32) alphay))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 alphay (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) (/.f32 u0 alphax)))) (.f32 u0 u0)))) (-.f32 #s(literal 1 binary32) alphay))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 u1 u1)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (.f32 u1 u1))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphax (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (*.f32 alphay alphay))))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 alphax (.f32 #s(literal 2 binary32) (PI.f32)) (.f32 (PI.f32) #s(literal 1/2 binary32)))) u1)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 alphax (.f32 #s(literal 2 binary32) (PI.f32)) (.f32 (PI.f32) #s(literal 1/2 binary32)))) u1)))) (.f32 u1 u1)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 alphax (.f32 #s(literal 2 binary32) (PI.f32)) (.f32 (PI.f32) #s(literal 1/2 binary32)))) u1)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 alphax (.f32 #s(literal 2 binary32) (PI.f32)) (*.f32 (PI.f32) #s(literal 1/2 binary32)))) u1)))) alphay))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (.f32 alphax #s(literal 2 binary32))))) u1)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (.f32 alphax #s(literal 2 binary32))))) u1)))) (.f32 u1 u1)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (.f32 alphax #s(literal 2 binary32))))) u1)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 #s(literal 1/2 binary32) (*.f32 alphax #s(literal 2 binary32))))) u1)))) alphay))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphax #s(literal 2 binary32) #s(literal 1/2 binary32)))) u1)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphax #s(literal 2 binary32) #s(literal 1/2 binary32)))) u1)))) (.f32 u1 u1)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphax #s(literal 2 binary32) #s(literal 1/2 binary32)))) u1)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 alphax #s(literal 2 binary32) #s(literal 1/2 binary32)))) u1)))) alphay))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 u1 u1)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay (.f32 (PI.f32) #s(literal 1/2 binary32))))))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay (.f32 (PI.f32) #s(literal 1/2 binary32))))))) alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay (.f32 (PI.f32) #s(literal 1/2 binary32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) alphay (.f32 (PI.f32) #s(literal 1/2 binary32)))))))) (.f32 u1 u1)))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (fma.f32 alphay (.f32 #s(literal 2 binary32) (PI.f32)) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (fma.f32 alphay (.f32 #s(literal 2 binary32) (PI.f32)) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) (.f32 u1 u1)) (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (fma.f32 alphay (.f32 #s(literal 2 binary32) (PI.f32)) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (fma.f32 alphay (.f32 #s(literal 2 binary32) (PI.f32)) (*.f32 (PI.f32) #s(literal 1/2 binary32)))) alphax)))) alphax))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 alphay #s(literal 2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 alphay #s(literal 2 binary32)) #s(literal 1/2 binary32)))) alphax)))) (.f32 u1 u1)) (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 alphay #s(literal 2 binary32)) #s(literal 1/2 binary32)))) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (*.f32 alphay #s(literal 2 binary32)) #s(literal 1/2 binary32)))) alphax)))) alphax))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphay #s(literal 2 binary32) #s(literal 1/2 binary32)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphay #s(literal 2 binary32) #s(literal 1/2 binary32)))) alphax)))) (.f32 u1 u1)) (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphay #s(literal 2 binary32) #s(literal 1/2 binary32)))) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 alphay #s(literal 2 binary32) #s(literal 1/2 binary32)))) alphax)))) alphax))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphax alphax)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphax alphay)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphax alphay)))) (.f32 alphay alphay))) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphax alphay)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1 (.f32 (PI.f32) #s(literal 1/2 binary32)))) (/.f32 alphax alphay)))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 #s(literal 1 binary32) u0))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphay)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphay)))) (.f32 alphay alphay)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (.f32 (PI.f32) #s(literal 1/2 binary32)))) alphay)))) alphax) (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (fma.f32 #s(literal 2 binary32) (.f32 (PI.f32) u1) (*.f32 (PI.f32) #s(literal 1/2 binary32)))) alphay)))) alphax))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphay)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphay)))) (.f32 alphay alphay)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphay)))) alphax) (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (*.f32 #s(literal 2 binary32) u1) #s(literal 1/2 binary32)))) alphay)))) alphax))))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 u0 (.f32 (-.f32 #s(literal 1 binary32) u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphay)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphay)))) (.f32 alphay alphay)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphay)))) alphax) (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 #s(literal 2 binary32) u1 #s(literal 1/2 binary32)))) alphay)))) alphax))))))))

Compiler

Compiled 1077 to 653 computations (39.4% saved)

Precisions

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

Operation ival-tan, time spent: 705.0ms, 34.0% of total-time

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

Operation ival-atan, time spent: 232.0ms, 11.0% of total-time

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

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

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

Operation ival-div, time spent: 58.0ms, 3.0% of total-time

Operation const, time spent: 24.0ms, 1.0% of total-time

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

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

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

Trowbridge-Reitz Sample, sample surface normal, cosTheta

analyze1.6s (10.7%)

sample10.0s (67%)

preprocess3.3s (22.3%)

end0.0ms (0%)

Profiling