Details

analyze3.0s (25.8%)

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.1s (52.9%)

Results

6.1s

8256×

body

128

valid

Compiler

Compiled 246 to 174 computations (29.3% saved)

preprocess56.0ms (0.5%)

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)

simplify24.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))))))

prune7.0ms (0.1%)

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

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 319 to 225 computations (29.5% saved)

localize105.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series29.0ms (0.3%)

Counts

4 → 84

Calls

21 calls:

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

rewrite67.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

267×	`expm1-udef_binary32`
267×	`log1p-udef_binary32`
224×	`log-pow_binary32`
148×	`add-sqr-sqrt_binary32`
144×	`*-un-lft-identity_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	55
1	290	55
2	3554	55

Stop Event

1×	node limit

Counts

4 → 99

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 (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)

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

simplify56.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

654×	`associate-/r*_binary32`
585×	`associate-l_binary32`
543×	`fma-def_binary32`
283×	`associate-*r/_binary32`
272×	`associate-*l/_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	110	2510
1	352	2470
2	1432	2447

Stop Event

1×	node limit

Counts

183 → 126

Calls

Call 1

Inputs
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) alphax)))
(cos.f32 (atan.f32 (/.f32 (.f32 alphay (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2)))) 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 2 (.f32 (PI.f32) u1)) (.f32 2 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 2) (.f32 (PI.f32) u1)) (pow.f32 (cos.f32 (*.f32 1/2 (PI.f32))) 2)))))
(+.f32 (/.f32 (sin.f32 (.f32 1/2 (PI.f32))) (cos.f32 (.f32 1/2 (PI.f32)))) (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (+.f32 (.f32 4 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 3) (.f32 (pow.f32 (PI.f32) 2) (pow.f32 u1 2))) (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 3))) (+.f32 (.f32 2 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 2) (.f32 (PI.f32) u1)) (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 2))) (.f32 4 (/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) (.f32 (pow.f32 (PI.f32) 2) (pow.f32 u1 2))) (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 (PI.f32) u1)) (+.f32 (.f32 4 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 3) (.f32 (pow.f32 (PI.f32) 2) (pow.f32 u1 2))) (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 3))) (+.f32 (.f32 8 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 4) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u1 3))) (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 4))) (+.f32 (.f32 2 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 2) (.f32 (PI.f32) u1)) (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 2))) (+.f32 (.f32 8/3 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u1 3))) (+.f32 (.f32 32/3 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 2) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u1 3))) (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 2))) (.f32 4 (/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) (.f32 (pow.f32 (PI.f32) 2) (pow.f32 u1 2))) (cos.f32 (*.f32 1/2 (PI.f32))))))))))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (cos.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))))
(*.f32 1/2 (PI.f32))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u1))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(.f32 2 (.f32 (PI.f32) u1))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(+.f32 (.f32 2 (.f32 (PI.f32) u1)) (*.f32 1/2 (PI.f32)))
(/.f32 (sin.f32 (.f32 1/2 (PI.f32))) (.f32 (cos.f32 (*.f32 1/2 (PI.f32))) alphax))
(+.f32 (.f32 2 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 2) (.f32 (PI.f32) u1)) (.f32 (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 2) alphax))) (+.f32 (.f32 2 (/.f32 (.f32 (PI.f32) u1) alphax)) (/.f32 (sin.f32 (.f32 1/2 (PI.f32))) (.f32 (cos.f32 (*.f32 1/2 (PI.f32))) alphax))))
(+.f32 (.f32 2 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 2) (.f32 (PI.f32) u1)) (.f32 (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 2) alphax))) (+.f32 (.f32 4 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 3) (.f32 (pow.f32 (PI.f32) 2) (pow.f32 u1 2))) (.f32 (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 3) alphax))) (+.f32 (.f32 2 (/.f32 (.f32 (PI.f32) u1) alphax)) (+.f32 (.f32 4 (/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) (.f32 (pow.f32 (PI.f32) 2) (pow.f32 u1 2))) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))) (/.f32 (sin.f32 (.f32 1/2 (PI.f32))) (.f32 (cos.f32 (*.f32 1/2 (PI.f32))) alphax))))))
(+.f32 (.f32 2 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 2) (.f32 (PI.f32) u1)) (.f32 (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 2) alphax))) (+.f32 (.f32 8 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 4) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u1 3))) (.f32 (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 4) alphax))) (+.f32 (.f32 4 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 3) (.f32 (pow.f32 (PI.f32) 2) (pow.f32 u1 2))) (.f32 (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 3) alphax))) (+.f32 (.f32 8/3 (/.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u1 3)) alphax)) (+.f32 (.f32 2 (/.f32 (.f32 (PI.f32) u1) alphax)) (+.f32 (.f32 32/3 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 1/2 (PI.f32))) 2) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u1 3))) (.f32 (pow.f32 (cos.f32 (.f32 1/2 (PI.f32))) 2) alphax))) (+.f32 (.f32 4 (/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) (.f32 (pow.f32 (PI.f32) 2) (pow.f32 u1 2))) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))) (/.f32 (sin.f32 (.f32 1/2 (PI.f32))) (.f32 (cos.f32 (*.f32 1/2 (PI.f32))) alphax)))))))))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (.f32 (cos.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (.f32 (cos.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (.f32 (cos.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (.f32 (cos.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (.f32 (cos.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (.f32 (cos.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (.f32 (cos.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) (.f32 (cos.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))
(/.f32 (sin.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (.f32 (cos.f32 (.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))) alphax))

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

prune1.2s (10.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	453	1	454
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	453	2	455

Error

0.2b

Counts

455 → 2

Alt Table

Status	Error	Program
▶	0.6b	(/.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 1/2 (PI.f32))) 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))))))
✓	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.6b

(/.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 1/2 (PI.f32))) 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))))))

✓

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 39157 to 26916 computations (31.3% saved)

localize132.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	11.8b	(tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))
	12.6b	(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))
✓	29.7b	(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
✓	31.7b	(tan.f32 (*.f32 1/2 (PI.f32)))

series5.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite45.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

576×	`log-prod_binary32`
214×	`expm1-udef_binary32`
214×	`log1p-udef_binary32`
182×	`log-pow_binary32`
118×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	24
1	229	24
2	2879	24

Stop Event

1×	node limit

Counts

2 → 51

Calls

Call 1

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

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (tan.f32 (*.f32 1/2 (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (*.f32 (cbrt.f32 (exp.f32 (tan.f32 (*.f32 1/2 (PI.f32))))) (cbrt.f32 (exp.f32 (tan.f32 (*.f32 1/2 (PI.f32))))))) (log.f32 (cbrt.f32 (exp.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (log.f32 (sqrt.f32 (exp.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))) (log.f32 (sqrt.f32 (exp.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (tan.f32 (*.f32 1/2 (PI.f32))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (tan.f32 (*.f32 1/2 (PI.f32))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (tan.f32 (*.f32 1/2 (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (tan.f32 (*.f32 1/2 (PI.f32)))) (pow.f32 (cbrt.f32 (tan.f32 (*.f32 1/2 (PI.f32)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (tan.f32 (*.f32 1/2 (PI.f32)))) 2) (cbrt.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (tan.f32 (*.f32 1/2 (PI.f32)))) (sqrt.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 1/2 (PI.f32))) (/.f32 1 (cos.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 1 (/.f32 (cos.f32 (*.f32 1/2 (PI.f32))) (sin.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (sin.f32 (*.f32 1/2 (PI.f32))) (cos.f32 (*.f32 1/2 (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (sin.f32 (*.f32 1/2 (PI.f32)))) (neg.f32 (cos.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (tan.f32 (*.f32 1/2 (PI.f32))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (tan.f32 (*.f32 1/2 (PI.f32))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (tan.f32 (*.f32 1/2 (PI.f32)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (tan.f32 (*.f32 1/2 (PI.f32)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (tan.f32 (*.f32 1/2 (PI.f32))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (tan.f32 (*.f32 1/2 (PI.f32))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (tan.f32 (*.f32 1/2 (PI.f32))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (tan.f32 (*.f32 1/2 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (tan.f32 (*.f32 1/2 (PI.f32)))) 1))))))

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

simplify18.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary32`
2×	`associate-/l*_binary32`
2×	`associate-/r/_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	408
1	15	408
2	19	408
3	22	408
4	23	408

Stop Event

1×

saturated

Counts

75 → 53

Calls

Call 1

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

Outputs
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))
(cos.f32 (atan.f32 (/.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphay) alphax)))
(cos.f32 (atan.f32 (/.f32 (tan.f32 (*.f32 1/2 (PI.f32))) (/.f32 alphax alphay))))
(cos.f32 (atan.f32 (.f32 (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax) alphay)))
(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 1/2 (PI.f32))) alphax))))
(cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 1/2 (PI.f32))) (/.f32 alphay alphax))))

prune411.0ms (3.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	174	2	176

Error

0.2b

Counts

176 → 2

Alt Table

Status

Error

Program

✓

0.6b

(/.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 1/2 (PI.f32))) 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))))))

✓

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 14539 to 10084 computations (30.6% saved)

regimes180.0ms (1.6%)

Accuracy

Total 0.0b remaining (0.2%)

Threshold costs 0.0b (0.2%)

Counts

20 → 1

Compiler

Compiled 2028 to 1377 computations (32.1% saved)

simplify4.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))))))

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))))))

end155.0ms (1.3%)

Stop Event

1×

done

Compiler

Compiled 305 to 222 computations (27.2% saved)

Details

analyze3.0s (25.8%)

sample6.1s (52.9%)

preprocess56.0ms (0.5%)

simplify24.0ms (0.2%)

prune7.0ms (0.1%)

localize105.0ms (0.9%)

series29.0ms (0.3%)

rewrite67.0ms (0.6%)

simplify56.0ms (0.5%)

prune1.2s (10.1%)

localize132.0ms (1.1%)

series5.0ms (0%)

rewrite45.0ms (0.4%)

simplify18.0ms (0.2%)

prune411.0ms (3.6%)

regimes180.0ms (1.6%)

simplify4.0ms (0%)

end155.0ms (1.3%)

Profiling