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

analyze1.2s (0.9%)

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: 752.0ms

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

Operation ival-tan, time spent: 148.0ms, 20.0% of total-time

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

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

Operation ival-atan, time spent: 51.0ms, 7.0% of total-time

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

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

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

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

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

Operation ival-and, 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

sample11.0s (7.9%)

Results

9.9s	8255×	0	valid
1.0ms	1×	0	valid

Precisions

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

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

Operation ival-mult, time spent: 1.4s, 19.0% of total-time

Operation ival-atan, time spent: 966.0ms, 12.0% of total-time

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

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

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

Operation ival-div, time spent: 540.0ms, 7.0% of total-time

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

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

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

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

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

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

Bogosity

preprocess1.1min (48.3%)

Algorithm

1×	egg-herbie

Rules

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

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
256	-	256	(2.136729762014511e-7 0.00029760453617200255 0.000844421680085361 0.1727498471736908)	`(PI.f32)`
0	-	0	-	`(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax))`
0	-	0	-	`(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))))`
0	-	0	-	`alphay`
0	-	0	-	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
0	-	0	-	`(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))))`
0	-	0	-	`(.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))`
0	-	0	-	(/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))
0	-	0	-	(/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay))))
0	-	0	-	`(tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))`
0	-	0	-	`(*.f32 alphay alphay)`
0	-	0	-	`(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))`
0	-	0	-	(+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))
0	-	0	-	`(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))`
0	-	0	-	`(*.f32 2 (PI.f32))`
0	-	0	-	(sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))
0	-	0	-	(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay)))
0	-	0	-	`(.f32 (.f32 2 (PI.f32)) u1)`
0	-	0	-	`(*.f32 1/2 (PI.f32))`
0	-	0	-	`u0`
0	-	0	-	`alphax`
0	-	0	-	`u1`
0	-	0	-	`1/2`
0	-	0	-	`(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))`
0	-	0	-	`(+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))`
0	-	0	-	`(/.f32 alphay alphax)`
0	-	0	-	`2`
0	-	0	-	`(-.f32 1 u0)`
0	-	0	-	`1`
0	-	0	-	(.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0)
0	-	0	-	`(*.f32 alphax alphax)`
0	-	0	-	`(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay))`

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 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) (neg.f32 u0)) (-.f32 1 (neg.f32 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (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 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 (neg.f32 alphay) (neg.f32 alphay))))) u0) (-.f32 1 u0)))))
(neg.f32 (/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) (neg.f32 u0)) (-.f32 1 (neg.f32 u0)))))))
(neg.f32 (/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))))
(neg.f32 (/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (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 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))))
(neg.f32 (/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 (neg.f32 alphay) (neg.f32 alphay))))) u0) (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u0) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u0) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u0) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u0) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u1) (-.f32 1 u1)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 u0 u0)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) alphax) (-.f32 1 alphax)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 u0 u0)))) alphay) (-.f32 1 alphay)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32)))))))) (.f32 u1 u1)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphay) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphay) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphay) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphay) (.f32 1/2 (PI.f32)))))))) (*.f32 u1 u1)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)))) u0) (-.f32 1 u0)))))

Outputs
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (*.f32 alphay alphay))))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (*.f32 alphay alphay))))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) (neg.f32 u0)) (-.f32 1 (neg.f32 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (*.f32 alphay alphay))))) (/.f32 (neg.f32 u0) (-.f32 1 (neg.f32 u0)))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (neg.f32 u0) (.f32 (+.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (-.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (+.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (-.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphay alphay))))) (+.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (-.f32 -1 u0)) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphay alphay))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) 1/2)))))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) 1/2)))))) alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) 1/2)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) 1/2))))))) (.f32 alphay alphay)))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) 1/2 (.f32 -2 (.f32 (PI.f32) u1)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) 1/2 (.f32 -2 (.f32 (PI.f32) u1)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) 1/2 (.f32 -2 (.f32 (PI.f32) u1)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) 1/2 (.f32 -2 (.f32 (PI.f32) u1)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 -2) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 -2) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 -2) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 -2) 1/2))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 -2 1/2)))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 -2 1/2)))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 -2 1/2)))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 -2 1/2)))))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (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 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (.f32 alphay alphay))) (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphay))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 (neg.f32 alphay) (neg.f32 alphay))))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (.f32 alphay alphay))) (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphay))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(neg.f32 (/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) (neg.f32 u0)) (-.f32 1 (neg.f32 u0)))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2)))))) (*.f32 alphay alphay))))) (/.f32 (neg.f32 u0) (-.f32 1 (neg.f32 u0)))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 (neg.f32 u0) (.f32 (+.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 -1 (sqrt.f32 (-.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (+.f32 1 u0)))))
(/.f32 -1 (sqrt.f32 (-.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphay alphay))))) (+.f32 1 u0)))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (-.f32 -1 u0)) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphay alphay))))))))
(neg.f32 (/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) (neg.f32 u1)) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) 1/2)))))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) 1/2)))))) alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) 1/2)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) (neg.f32 u1) (.f32 (PI.f32) 1/2))))))) (.f32 alphay alphay)))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) 1/2 (.f32 -2 (.f32 (PI.f32) u1)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) 1/2 (.f32 -2 (.f32 (PI.f32) u1)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) 1/2 (.f32 -2 (.f32 (PI.f32) u1)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 (PI.f32) 1/2 (.f32 -2 (.f32 (PI.f32) u1)))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 -2) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 -2) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 -2) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 u1 -2) 1/2))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 -2 1/2)))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 -2 1/2)))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 -2 1/2)))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (fma.f32 u1 -2 1/2)))))) (.f32 alphay alphay)))))))))
(neg.f32 (/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (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 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay (neg.f32 alphax)) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (.f32 alphay alphay))) (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphay))))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(neg.f32 (/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 (neg.f32 alphay) alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 (neg.f32 alphay) (neg.f32 alphay))))) u0) (-.f32 1 u0))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (.f32 alphay alphay))) (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay (neg.f32 alphax))))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphax) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 (neg.f32 alphay) alphax)))) alphay))))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 -1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (neg.f32 alphax))))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u0) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u0) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u0) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u0) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u1) (-.f32 1 u1)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u0 (.f32 (PI.f32) 1/2)))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u0 (.f32 (PI.f32) 1/2)))))) (.f32 alphax alphax))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u0 (.f32 (PI.f32) 1/2)))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u0 (.f32 (PI.f32) 1/2)))))) (*.f32 alphay alphay))))) (/.f32 u1 (-.f32 1 u1))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u1 (.f32 (-.f32 1 u1) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u0) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u0) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u0) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u0) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u1 (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0)))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0)))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0)))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0)))) alphax)))) (.f32 alphay alphay)))) (-.f32 1 u1))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u1 (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u0 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u0 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u0 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u0 1/2))) alphax)))) (.f32 alphay alphay)))) (-.f32 1 u1))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 u0 u0)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) alphax) (-.f32 1 alphax)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (.f32 u0 u0))) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphay u0))))) (*.f32 alphay alphay)))) (/.f32 alphax (-.f32 1 alphax))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 alphax (.f32 (-.f32 1 alphax) (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (.f32 u0 u0)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (.f32 alphay alphay)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 alphax (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (/.f32 alphay u0)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (/.f32 alphay u0)))) (.f32 u0 u0)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (/.f32 alphay u0)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) (/.f32 alphay u0)))) alphay))) (-.f32 1 alphax))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 alphax (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 alphay u0)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 alphay u0)))) (.f32 u0 u0)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 alphay u0)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 alphay u0)))) alphay))) (-.f32 1 alphax))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 u0 u0)))) alphay) (-.f32 1 alphay)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax))))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (*.f32 u0 u0))))) (/.f32 alphay (-.f32 1 alphay))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 alphay (.f32 (-.f32 1 alphay) (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (.f32 u0 u0)))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 alphay (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (/.f32 u0 alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (/.f32 u0 alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (/.f32 u0 alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) (/.f32 u0 alphax)))) (.f32 u0 u0)))) (-.f32 1 alphay))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 alphay (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 u0 alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 u0 alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 u0 alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 u0 alphax)))) (.f32 u0 u0)))) (-.f32 1 alphay))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32)))))))) (.f32 u1 u1)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) alphax (.f32 (PI.f32) 1/2)))))) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) alphax (.f32 (PI.f32) 1/2)))))) (.f32 u1 u1))) (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) alphax (.f32 (PI.f32) 1/2)))))) (/.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) alphax (.f32 (PI.f32) 1/2)))))) (*.f32 alphay alphay))))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 alphax (.f32 2 (PI.f32)) (.f32 (PI.f32) 1/2))) u1)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 alphax (.f32 2 (PI.f32)) (.f32 (PI.f32) 1/2))) u1)))) (.f32 u1 u1)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 alphax (.f32 2 (PI.f32)) (.f32 (PI.f32) 1/2))) u1)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (fma.f32 alphax (.f32 2 (PI.f32)) (*.f32 (PI.f32) 1/2))) u1)))) alphay))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2)))) u1)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2)))) u1)))) (.f32 u1 u1)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2)))) u1)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 alphax 2)))) u1)))) alphay))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphax 2 1/2))) u1)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphax 2 1/2))) u1)))) (.f32 u1 u1)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphax 2 1/2))) u1)))) alphay) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 alphax 2 1/2))) u1)))) alphay))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphay) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphay) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphay) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphay) (.f32 1/2 (PI.f32)))))))) (*.f32 u1 u1)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) alphay (.f32 (PI.f32) 1/2)))))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) alphay (.f32 (PI.f32) 1/2)))))) alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) alphay (.f32 (PI.f32) 1/2)))))) (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (fma.f32 (.f32 2 (PI.f32)) alphay (.f32 (PI.f32) 1/2))))))) (.f32 u1 u1)))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (fma.f32 alphay (.f32 2 (PI.f32)) (.f32 (PI.f32) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (fma.f32 alphay (.f32 2 (PI.f32)) (.f32 (PI.f32) 1/2))) alphax)))) (.f32 u1 u1)) (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (fma.f32 alphay (.f32 2 (PI.f32)) (.f32 (PI.f32) 1/2))) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (fma.f32 alphay (.f32 2 (PI.f32)) (*.f32 (PI.f32) 1/2))) alphax)))) alphax))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 alphay 2) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 alphay 2) 1/2))) alphax)))) (.f32 u1 u1)) (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 alphay 2) 1/2))) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (*.f32 alphay 2) 1/2))) alphax)))) alphax))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphay 2 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphay 2 1/2))) alphax)))) (.f32 u1 u1)) (.f32 (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 alphay 2 1/2))) alphax)))) alphax) (/.f32 (cos.f32 (atan.f32 (.f32 u1 (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 alphay 2 1/2))) alphax)))) alphax))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphax alphay) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (.f32 (/.f32 1 (+.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay)))) (/.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay)))) (.f32 alphay alphay))) (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay)))) (/.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (fma.f32 (.f32 2 (PI.f32)) u1 (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay)))) (*.f32 alphax alphax))))) (/.f32 u0 (-.f32 1 u0))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphay)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphay)))) (.f32 alphay alphay)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (.f32 (PI.f32) 1/2))) alphay)))) alphax) (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (fma.f32 2 (.f32 (PI.f32) u1) (*.f32 (PI.f32) 1/2))) alphay)))) alphax))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphay)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphay)))) (.f32 alphay alphay)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphay)))) alphax) (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphay)))) alphax))))))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (-.f32 1 u0) (fma.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphay)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphay)))) (.f32 alphay alphay)) (.f32 (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphay)))) alphax) (/.f32 (sin.f32 (atan.f32 (.f32 alphax (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphay)))) alphax))))))))

Compiler

Compiled 1750 to 1086 computations (37.9% saved)

Precisions

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

Operation ival-tan, time spent: 24.9s, 42.0% of total-time

Operation ival-atan, time spent: 12.8s, 21.0% of total-time

Operation ival-mult, time spent: 7.8s, 13.0% of total-time

Operation ival-sin, time spent: 4.6s, 8.0% of total-time

Operation ival-cos, time spent: 4.5s, 7.0% of total-time

Operation ival-add, time spent: 3.7s, 6.0% of total-time

Operation ival-div, time spent: 940.0ms, 2.0% of total-time

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

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

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

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

eval22.0ms (0%)

Compiler: Compiled 319 to 212 computations (33.5% saved)

prune4.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
▶	99.4%	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Status

Accuracy

Program

▶

99.4%

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphax alphax)) (*.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))

▶

99.4%

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (*.f32 (/.f32 1 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Compiler

Compiled 173 to 124 computations (28.3% saved)

localize56.9s (40.9%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	6.3%	(PI.f32)
✓	6.3%	(PI.f32)

Compiler

Compiled 1433 to 912 computations (36.4% saved)

Precisions

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

Operation ival-tan, time spent: 20.4s, 40.0% of total-time

Operation ival-atan, time spent: 9.8s, 19.0% of total-time

Operation ival-mult, time spent: 6.6s, 13.0% of total-time

Operation ival-add, time spent: 3.7s, 7.0% of total-time

Operation ival-sin, time spent: 3.7s, 7.0% of total-time

Operation ival-cos, time spent: 3.7s, 7.0% of total-time

Operation ival-div, time spent: 1.6s, 3.0% of total-time

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

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

Operation composed, time spent: 331.0ms, 1.0% of total-time

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

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

series0.0ms (0%)

Counts: 2 → 0

rewrite213.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

737×	`log1p-expm1-u`
737×	`expm1-log1p-u`
647×	`prod-diff`
460×	`log-prod`
276×	`fma-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	6
1	24	6
2	235	6
3	2422	6

Stop Event

1×	node limit

Counts

2 → 126

Calls

Call 1

Inputs
(PI.f32)
(PI.f32)

Outputs
(+.f32 (PI.f32) 0)
(+.f32 (+.f32 (PI.f32) 1) -1)
(+.f32 0 (PI.f32))
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(-.f32 (+.f32 (PI.f32) 1) 1)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(*.f32 1 (PI.f32))
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(.f32 2 (.f32 1/2 (PI.f32)))
(.f32 1/3 (.f32 3 (PI.f32)))
(.f32 3 (.f32 1/3 (PI.f32)))
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(*.f32 (log.f32 (E.f32)) (PI.f32))
(*.f32 (pow.f32 1 1/3) (PI.f32))
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(pow.f32 (PI.f32) 1)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(fabs.f32 (PI.f32))
(log.f32 (exp.f32 (PI.f32)))
(cbrt.f32 (pow.f32 (PI.f32) 3))
(expm1.f32 (log1p.f32 (PI.f32)))
(log1p.f32 (expm1.f32 (PI.f32)))
(exp.f32 (log.f32 (PI.f32)))
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)
(+.f32 (PI.f32) 0)
(+.f32 (+.f32 (PI.f32) 1) -1)
(+.f32 0 (PI.f32))
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(-.f32 (+.f32 (PI.f32) 1) 1)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(*.f32 1 (PI.f32))
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(.f32 2 (.f32 1/2 (PI.f32)))
(.f32 1/3 (.f32 3 (PI.f32)))
(.f32 3 (.f32 1/3 (PI.f32)))
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(*.f32 (log.f32 (E.f32)) (PI.f32))
(*.f32 (pow.f32 1 1/3) (PI.f32))
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(pow.f32 (PI.f32) 1)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(fabs.f32 (PI.f32))
(log.f32 (exp.f32 (PI.f32)))
(cbrt.f32 (pow.f32 (PI.f32) 3))
(expm1.f32 (log1p.f32 (PI.f32)))
(log1p.f32 (expm1.f32 (PI.f32)))
(exp.f32 (log.f32 (PI.f32)))
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)

simplify110.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

835×	`log-prod`
512×	`associate-+l+`
489×	`associate-+r+`
257×	`unswap-sqr`
231×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	1602
1	368	1522
2	1436	1490
3	7030	1490

Stop Event

1×	node limit

Counts

126 → 83

Calls

Call 1

Inputs
(+.f32 (PI.f32) 0)
(+.f32 (+.f32 (PI.f32) 1) -1)
(+.f32 0 (PI.f32))
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(-.f32 (+.f32 (PI.f32) 1) 1)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(*.f32 1 (PI.f32))
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(.f32 2 (.f32 1/2 (PI.f32)))
(.f32 1/3 (.f32 3 (PI.f32)))
(.f32 3 (.f32 1/3 (PI.f32)))
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(*.f32 (log.f32 (E.f32)) (PI.f32))
(*.f32 (pow.f32 1 1/3) (PI.f32))
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(pow.f32 (PI.f32) 1)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(fabs.f32 (PI.f32))
(log.f32 (exp.f32 (PI.f32)))
(cbrt.f32 (pow.f32 (PI.f32) 3))
(expm1.f32 (log1p.f32 (PI.f32)))
(log1p.f32 (expm1.f32 (PI.f32)))
(exp.f32 (log.f32 (PI.f32)))
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)
(+.f32 (PI.f32) 0)
(+.f32 (+.f32 (PI.f32) 1) -1)
(+.f32 0 (PI.f32))
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(-.f32 (+.f32 (PI.f32) 1) 1)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(*.f32 1 (PI.f32))
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(.f32 2 (.f32 1/2 (PI.f32)))
(.f32 1/3 (.f32 3 (PI.f32)))
(.f32 3 (.f32 1/3 (PI.f32)))
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(*.f32 (log.f32 (E.f32)) (PI.f32))
(*.f32 (pow.f32 1 1/3) (PI.f32))
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(pow.f32 (PI.f32) 1)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(fabs.f32 (PI.f32))
(log.f32 (exp.f32 (PI.f32)))
(cbrt.f32 (pow.f32 (PI.f32) 3))
(expm1.f32 (log1p.f32 (PI.f32)))
(log1p.f32 (expm1.f32 (PI.f32)))
(exp.f32 (log.f32 (PI.f32)))
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)

Outputs
(+.f32 (PI.f32) 0)
(PI.f32)
(+.f32 (+.f32 (PI.f32) 1) -1)
(PI.f32)
(+.f32 0 (PI.f32))
(PI.f32)
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(PI.f32)
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(PI.f32)
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(PI.f32)
(-.f32 (+.f32 (PI.f32) 1) 1)
(PI.f32)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(PI.f32)
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log1p.f32 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32)))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(PI.f32)
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(-.f32 (log1p.f32 (neg.f32 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log1p.f32 (neg.f32 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(PI.f32)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(PI.f32)
(*.f32 1 (PI.f32))
(PI.f32)
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(PI.f32)
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(PI.f32)
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(PI.f32)
(.f32 2 (.f32 1/2 (PI.f32)))
(PI.f32)
(.f32 1/3 (.f32 3 (PI.f32)))
(PI.f32)
(.f32 3 (.f32 1/3 (PI.f32)))
(PI.f32)
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(PI.f32)
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(PI.f32)
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (exp.f32 (sqrt.f32 (PI.f32))))))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/6)))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(*.f32 (pow.f32 (PI.f32) 1/4) (fabs.f32 (pow.f32 (PI.f32) 3/4)))
(*.f32 (pow.f32 (PI.f32) 1/4) (pow.f32 (PI.f32) 3/4))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(PI.f32)
(*.f32 (log.f32 (E.f32)) (PI.f32))
(PI.f32)
(*.f32 (pow.f32 1 1/3) (PI.f32))
(PI.f32)
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (cbrt.f32 (pow.f32 (PI.f32) 5/2)))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (exp.f32 (sqrt.f32 (PI.f32))))))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/6)))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (cbrt.f32 (pow.f32 (PI.f32) 5/2)))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(PI.f32)
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(*.f32 (pow.f32 (PI.f32) 1/4) (fabs.f32 (pow.f32 (PI.f32) 3/4)))
(*.f32 (pow.f32 (PI.f32) 1/4) (pow.f32 (PI.f32) 3/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)))
(*.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 5/2))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(PI.f32)
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(PI.f32)
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (+.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) -1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (PI.f32) 1) 3)) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (PI.f32) 1) 3)) (+.f32 1 (*.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (PI.f32) 2))
(/.f32 (*.f32 (+.f32 (PI.f32) 2) (PI.f32)) (+.f32 (PI.f32) 2))
(*.f32 (+.f32 (PI.f32) 2) (/.f32 (PI.f32) (+.f32 (PI.f32) 2)))
(pow.f32 (PI.f32) 1)
(PI.f32)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(PI.f32)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(PI.f32)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(PI.f32)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(PI.f32)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(PI.f32)
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(PI.f32)
(fabs.f32 (PI.f32))
(PI.f32)
(log.f32 (exp.f32 (PI.f32)))
(PI.f32)
(cbrt.f32 (pow.f32 (PI.f32) 3))
(PI.f32)
(expm1.f32 (log1p.f32 (PI.f32)))
(PI.f32)
(log1p.f32 (expm1.f32 (PI.f32)))
(PI.f32)
(exp.f32 (log.f32 (PI.f32)))
(PI.f32)
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(PI.f32)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(PI.f32)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(PI.f32)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)
(PI.f32)
(+.f32 (PI.f32) 0)
(PI.f32)
(+.f32 (+.f32 (PI.f32) 1) -1)
(PI.f32)
(+.f32 0 (PI.f32))
(PI.f32)
(+.f32 (.f32 2 (.f32 1/3 (PI.f32))) (*.f32 1/3 (PI.f32)))
(PI.f32)
(+.f32 (.f32 1/3 (PI.f32)) (.f32 2 (*.f32 1/3 (PI.f32))))
(PI.f32)
(+.f32 (.f32 1/2 (PI.f32)) (.f32 1/2 (PI.f32)))
(PI.f32)
(-.f32 (+.f32 (PI.f32) 1) 1)
(PI.f32)
(-.f32 (+.f32 (PI.f32) 1) (log.f32 (E.f32)))
(PI.f32)
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log.f32 (+.f32 1 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32))))))
(-.f32 (log1p.f32 (pow.f32 (expm1.f32 (PI.f32)) 3)) (log1p.f32 (-.f32 (pow.f32 (expm1.f32 (PI.f32)) 2) (expm1.f32 (PI.f32)))))
(-.f32 (log.f32 (pow.f32 (E.f32) (+.f32 (PI.f32) 1))) (log.f32 (E.f32)))
(PI.f32)
(-.f32 (log.f32 (-.f32 1 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log.f32 (-.f32 1 (expm1.f32 (PI.f32)))))
(-.f32 (log1p.f32 (neg.f32 (pow.f32 (expm1.f32 (PI.f32)) 2))) (log1p.f32 (neg.f32 (expm1.f32 (PI.f32)))))
(*.f32 (PI.f32) 1)
(PI.f32)
(*.f32 (PI.f32) (log.f32 (E.f32)))
(PI.f32)
(*.f32 1 (PI.f32))
(PI.f32)
(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (PI.f32)) 2))
(PI.f32)
(*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (cbrt.f32 (PI.f32)))
(PI.f32)
(*.f32 (sqrt.f32 (PI.f32)) (sqrt.f32 (PI.f32)))
(PI.f32)
(.f32 2 (.f32 1/2 (PI.f32)))
(PI.f32)
(.f32 1/3 (.f32 3 (PI.f32)))
(PI.f32)
(.f32 3 (.f32 1/3 (PI.f32)))
(PI.f32)
(.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(PI.f32)
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))))
(PI.f32)
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (PI.f32))))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 2)))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2)) (pow.f32 (PI.f32) 1/6))))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/6) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (exp.f32 (sqrt.f32 (PI.f32))))))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/6)))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(*.f32 (pow.f32 (PI.f32) 1/4) (fabs.f32 (pow.f32 (PI.f32) 3/4)))
(*.f32 (pow.f32 (PI.f32) 1/4) (pow.f32 (PI.f32) 3/4))
(.f32 (pow.f32 (PI.f32) 1/4) (.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (PI.f32))))
(PI.f32)
(*.f32 (pow.f32 (PI.f32) 1/4) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/4))))
(PI.f32)
(*.f32 (log.f32 (E.f32)) (PI.f32))
(PI.f32)
(*.f32 (pow.f32 1 1/3) (PI.f32))
(PI.f32)
(*.f32 (pow.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2) 1/3) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))
(*.f32 (pow.f32 (pow.f32 (PI.f32) 5/2) 1/3) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (cbrt.f32 (pow.f32 (PI.f32) 5/2)))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (pow.f32 (PI.f32) 1/6))
(.f32 (pow.f32 (PI.f32) 1/6) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (exp.f32 (sqrt.f32 (PI.f32))))))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/6)))
(*.f32 (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) 2)))
(*.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 8)))
(*.f32 (cbrt.f32 (pow.f32 (PI.f32) 5/2)) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (cbrt.f32 (pow.f32 (PI.f32) 5/2)))
(.f32 (.f32 (sqrt.f32 (PI.f32)) (pow.f32 (PI.f32) 1/4)) (pow.f32 (PI.f32) 1/4))
(PI.f32)
(*.f32 (sqrt.f32 (pow.f32 (PI.f32) 3/2)) (pow.f32 (PI.f32) 1/4))
(*.f32 (pow.f32 (PI.f32) 1/4) (sqrt.f32 (pow.f32 (PI.f32) 3/2)))
(*.f32 (pow.f32 (PI.f32) 1/4) (fabs.f32 (pow.f32 (PI.f32) 3/4)))
(*.f32 (pow.f32 (PI.f32) 1/4) (pow.f32 (PI.f32) 3/4))
(*.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)) (pow.f32 (PI.f32) 1/6))
(*.f32 (pow.f32 (PI.f32) 1/6) (sqrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5)))
(*.f32 (pow.f32 (PI.f32) 1/6) (pow.f32 (cbrt.f32 (PI.f32)) 5/2))
(.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2))
(.f32 (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4)) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)))
(.f32 (cbrt.f32 (PI.f32)) (.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2) (cbrt.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4))))
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (cbrt.f32 (cbrt.f32 (PI.f32))) 2)) (cbrt.f32 (cbrt.f32 (PI.f32))))
(PI.f32)
(.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (pow.f32 (PI.f32) 1/6)) (pow.f32 (PI.f32) 1/6))
(PI.f32)
(/.f32 (-.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) 1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 1 (+.f32 (PI.f32) 1))))
(/.f32 (+.f32 (pow.f32 (+.f32 (PI.f32) 1) 3) -1) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (PI.f32) 1) 3)) (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2)))
(/.f32 (+.f32 -1 (pow.f32 (+.f32 (PI.f32) 1) 3)) (+.f32 1 (*.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 2))))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (+.f32 (PI.f32) 1) 1))
(/.f32 (fma.f32 (+.f32 (PI.f32) 1) (+.f32 (PI.f32) 1) -1) (+.f32 (PI.f32) 2))
(/.f32 (*.f32 (+.f32 (PI.f32) 2) (PI.f32)) (+.f32 (PI.f32) 2))
(*.f32 (+.f32 (PI.f32) 2) (/.f32 (PI.f32) (+.f32 (PI.f32) 2)))
(pow.f32 (PI.f32) 1)
(PI.f32)
(pow.f32 (cbrt.f32 (PI.f32)) 3)
(PI.f32)
(pow.f32 (pow.f32 (PI.f32) 2) 1/2)
(PI.f32)
(pow.f32 (pow.f32 (PI.f32) 3) 1/3)
(PI.f32)
(pow.f32 (sqrt.f32 (PI.f32)) 2)
(PI.f32)
(pow.f32 (E.f32) (log.f32 (PI.f32)))
(PI.f32)
(pow.f32 (exp.f32 (pow.f32 (cbrt.f32 (log.f32 (PI.f32))) 2)) (cbrt.f32 (log.f32 (PI.f32))))
(pow.f32 (exp.f32 (sqrt.f32 (log.f32 (PI.f32)))) (sqrt.f32 (log.f32 (PI.f32))))
(sqrt.f32 (pow.f32 (PI.f32) 2))
(PI.f32)
(fabs.f32 (PI.f32))
(PI.f32)
(log.f32 (exp.f32 (PI.f32)))
(PI.f32)
(cbrt.f32 (pow.f32 (PI.f32) 3))
(PI.f32)
(expm1.f32 (log1p.f32 (PI.f32)))
(PI.f32)
(log1p.f32 (expm1.f32 (PI.f32)))
(PI.f32)
(exp.f32 (log.f32 (PI.f32)))
(PI.f32)
(fma.f32 1 (+.f32 (PI.f32) 1) -1)
(PI.f32)
(fma.f32 (+.f32 (PI.f32) 1) 1 -1)
(PI.f32)
(fma.f32 (*.f32 (cbrt.f32 (+.f32 (PI.f32) 1)) (cbrt.f32 (+.f32 (PI.f32) 1))) (cbrt.f32 (+.f32 (PI.f32) 1)) -1)
(PI.f32)
(fma.f32 (sqrt.f32 (+.f32 (PI.f32) 1)) (sqrt.f32 (+.f32 (PI.f32) 1)) -1)
(PI.f32)

eval1.5s (1.1%)

Compiler: Compiled 91620 to 59966 computations (34.5% saved)

prune588.0ms (0.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	996	0	996
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	996	2	998

Accuracy

99.4%

Counts

998 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
✓	99.4%	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Status

Accuracy

Program

✓

99.4%

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphax alphax)) (*.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))

✓

99.4%

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (*.f32 (/.f32 1 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Compiler

Compiled 342 to 241 computations (29.5% saved)

regimes59.0ms (0%)

Counts

2 → 1

Calls

Call 1

Inputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (*.f32 (/.f32 1 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphax alphax)) (*.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))

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

Outputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphax alphax)) (*.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))

Calls

13 calls:

8.0ms	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
7.0ms	(/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay))))
6.0ms	(.f32 (.f32 2 (PI.f32)) u1)
5.0ms	(/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))
5.0ms	(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay)))

Results

Accuracy	Segments	Branch
99.4%	1	`u0`
99.4%	1	`u1`
99.4%	1	`alphax`
99.4%	1	`alphay`
99.4%	1	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
99.4%	1	(sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))
99.4%	1	(+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))
99.4%	1	(/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))
99.4%	1	(/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay))))
99.4%	1	(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay)))
99.4%	1	`(tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))`
99.4%	1	`(+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))`
99.4%	1	`(.f32 (.f32 2 (PI.f32)) u1)`

Compiler

Compiled 574 to 401 computations (30.1% saved)

regimes49.0ms (0%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (*.f32 (/.f32 1 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Outputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (*.f32 (/.f32 1 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Calls

13 calls:

6.0ms	(/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay))))
4.0ms	(sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))
4.0ms	(/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))
4.0ms	(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay)))
4.0ms	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Results

Accuracy	Segments	Branch
99.4%	1	`u0`
99.4%	1	`u1`
99.4%	1	`alphax`
99.4%	1	`alphay`
99.4%	1	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
99.4%	1	(sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))
99.4%	1	(+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))
99.4%	1	(/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))
99.4%	1	(/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay))))
99.4%	1	(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay)))
99.4%	1	`(tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))`
99.4%	1	`(+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))`
99.4%	1	`(.f32 (.f32 2 (PI.f32)) u1)`

Compiler

Compiled 574 to 401 computations (30.1% saved)

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
7×	`+-commutative`
3×	`1-exp`
2×	`sub-neg`
1×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	648
1	80	648
2	84	648
3	86	648
4	87	648

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 (.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Inputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphax alphax)) (*.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (*.f32 (/.f32 1 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

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

Outputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphax alphax)) (*.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (+.f32 (*.f32 2 u1) 1/2))) alphax)))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (*.f32 (/.f32 1 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (*.f32 u0 (/.f32 1 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 u1 (*.f32 (PI.f32) 2)) (*.f32 (PI.f32) 1/2)))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 u1 (*.f32 (PI.f32) 2)) (*.f32 (PI.f32) 1/2))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 u1 (*.f32 (PI.f32) 2)) (*.f32 (PI.f32) 1/2)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 u1 (*.f32 (PI.f32) 2)) (*.f32 (PI.f32) 1/2))))))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))

Compiler

Compiled 173 to 124 computations (28.3% saved)

soundness167.0ms (0.1%)

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

end0.0ms (0%)

preprocess116.0ms (0.1%)

Compiler: Compiled 522 to 362 computations (30.7% saved)

analyze1.2s (0.9%)

sample11.0s (7.9%)

preprocess1.1min (48.3%)

eval22.0ms (0%)

prune4.0ms (0%)

localize56.9s (40.9%)

series0.0ms (0%)

rewrite213.0ms (0.2%)

simplify110.0ms (0.1%)

eval1.5s (1.1%)

prune588.0ms (0.4%)

regimes59.0ms (0%)

regimes49.0ms (0%)

simplify12.0ms (0%)

soundness167.0ms (0.1%)

end0.0ms (0%)

preprocess116.0ms (0.1%)

Profiling