Details

analyze3.2s (24%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 123 to 87 computations (29.3% saved)

sample6.5s (48.8%)

Results

6.5s

8256×

body

128

valid

preprocess58.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

593×	`fma-def_binary32`
355×	`associate-/l*_binary32`
350×	`times-frac_binary32`
251×	`associate-*l/_binary32`
241×	`associate-/r*_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	142	966
1	321	931
2	644	875
3	1822	819
4	4225	819
0	4	4

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3

Call 2

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

Compiler

Compiled 92 to 64 computations (30.4% saved)

simplify22.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

790×	`fma-def_binary32`
601×	`times-frac_binary32`
347×	`distribute-rgt-in_binary32`
336×	`associate-/l/_binary32`
284×	`distribute-lft-in_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	138
1	66	133
2	121	125
3	235	117
4	495	117
5	1791	117

Stop Event

1×	node limit

Counts

1 → 2

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

eval3.0ms (0%)

Compiler: Compiled 165 to 113 computations (31.5% saved)

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.2b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (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))))))

Status

Error

Program

▶

0.2b

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (*.f32 (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))))))

Compiler

Compiled 154 to 112 computations (27.3% saved)

localize153.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))
✓	0.5b	(*.f32 (PI.f32) (fma.f32 2 u1 1/2))
✓	11.4b	(tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))
✓	11.9b	(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))

series25.0ms (0.2%)

Counts

4 → 96

Calls

24 calls:

Time	Variable		Point	Expression
3.0ms	u1	@	0	(tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))
3.0ms	alphax	@	0	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))
2.0ms	u1	@	0	(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))
2.0ms	alphay	@	-inf	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))
1.0ms	u1	@	inf	(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))

rewrite72.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

307×	`log1p-udef_binary32`
172×	`add-sqr-sqrt_binary32`
168×	`*-un-lft-identity_binary32`
168×	`pow1_binary32`
159×	`add-exp-log_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	68
1	337	67
2	4317	67

Stop Event

1×	node limit

Counts

4 → 95

Calls

Call 1

Inputs
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))
(tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))
(*.f32 (PI.f32) (fma.f32 2 u1 1/2))
(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (cbrt.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 2)) (cbrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 -1 (neg.f32 (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) (cbrt.f32 (pow.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 2)) (cbrt.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) (sqrt.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 1 (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) (neg.f32 (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (.f32 2 u1) (PI.f32)) (.f32 1/2 (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (PI.f32) (.f32 2 u1)) (.f32 (PI.f32) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (exp.f32 (PI.f32)) (fma.f32 2 u1 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 (fma.f32 2 u1 1/2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (fma.f32 2 u1 1/2) 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (pow.f32 alphax -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 2)) (.f32 (cbrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (pow.f32 alphax -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (pow.f32 (cbrt.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) 2) (cbrt.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (pow.f32 alphax -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) alphax) (/.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) alphax))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 -1 (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 1 (neg.f32 (.f32 alphax alphax))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 alphax) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) alphax))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 alphax -2) (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) alphax) (/.f32 1 alphax))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (cbrt.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 2)) 1) (/.f32 (cbrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (.f32 alphax alphax)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) 1) (/.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (.f32 alphax alphax)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (cbrt.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 2)) alphax) (/.f32 (cbrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) alphax))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (cbrt.f32 (pow.f32 alphax 4))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (pow.f32 (cbrt.f32 alphax) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (cbrt.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 2)) (cbrt.f32 (pow.f32 alphax 4))) (cbrt.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (cbrt.f32 (pow.f32 alphax 4))) (/.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) (pow.f32 (cbrt.f32 alphax) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (sqrt.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) alphax) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 alphax (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) alphax)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (neg.f32 (.f32 alphax alphax))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) 3) (pow.f32 (.f32 alphax alphax) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (/.f32 (pow.f32 alphax -2) (hypot.f32 1 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))) 1))))))

simplify72.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

481×	`cancel-sign-sub-inv_binary32`
331×	`associate-r_binary32`
275×	`associate-l_binary32`
198×	`unswap-sqr_binary32`
195×	`times-frac_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	67	2543
1	178	2484
2	577	2469
3	3611	2469

Stop Event

1×	node limit

Counts

191 → 111

Calls

Call 1

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

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

eval524.0ms (4%)

Compiler: Compiled 24171 to 16783 computations (30.6% saved)

prune2.5s (19.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	288	0	288
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	288	1	289

Error

0.2b

Counts

289 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (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))))))

Status

Error

Program

✓

0.2b

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (*.f32 (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))))))

Compiler

Compiled 77 to 56 computations (27.3% saved)

regimes74.0ms (0.6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (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)))))

Inputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (*.f32 (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)))))

Outputs
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (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))))))

Outputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (*.f32 (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))))))

Results

Time	Error	Segments	Branch
3.0ms	0.2b	1	`u0`
3.0ms	0.2b	1	`u1`
3.0ms	0.2b	1	`alphax`
3.0ms	0.2b	1	`alphay`
8.0ms	0.2b	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)))))
4.0ms	0.2b	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))))
4.0ms	0.2b	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)))
9.0ms	0.2b	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))
5.0ms	0.2b	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))))
5.0ms	0.2b	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)))
3.0ms	0.2b	1	`(tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))`
12.0ms	0.2b	1	`(+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))`
3.0ms	0.2b	1	`(.f32 (.f32 2 (PI.f32)) u1)`

Compiler

Compiled 739 to 514 computations (30.4% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary32`
3×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	117
1	38	117
2	42	117
3	44	117
4	45	117

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (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))))))

Inputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (*.f32 (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))))))

Outputs
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (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))))))

Outputs

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (*.f32 (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))))))

end54.0ms (0.4%)

Stop Event

1×

done

Compiler

Compiled 154 to 112 computations (27.3% saved)

Details

analyze3.2s (24%)

sample6.5s (48.8%)

preprocess58.0ms (0.4%)

simplify22.0ms (0.2%)

eval3.0ms (0%)

prune4.0ms (0%)

localize153.0ms (1.2%)

series25.0ms (0.2%)

rewrite72.0ms (0.5%)

simplify72.0ms (0.5%)

eval524.0ms (4%)

prune2.5s (19.2%)

regimes74.0ms (0.6%)

simplify7.0ms (0%)

end54.0ms (0.4%)

Profiling