Details

analyze3.1s (30.1%)

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)

sample5.9s (56.6%)

Results

5.9s

8256×

body

128

valid

Compiler

Compiled 246 to 174 computations (29.3% saved)

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

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

localize119.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax 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))))

series30.0ms (0.3%)

Counts

4 → 96

Calls

24 calls:

Time	Variable		Point	Expression
5.0ms	u1	@	0	(cos.f32 (atan.f32 (.f32 alphay (/.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	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))
2.0ms	alphay	@	inf	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))
1.0ms	u1	@	inf	(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))

rewrite68.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 95

Calls

Call 1

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

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

simplify52.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

714×	`times-frac_binary32`
573×	`associate-r_binary32`
481×	`associate-l_binary32`
462×	`associate-/l*_binary32`
278×	`associate-/r*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	72	2477
1	213	2437
2	809	2434

Stop Event

1×	node limit

Counts

191 → 113

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

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

prune723.0ms (7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	296	0	296
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	296	1	297

Error

0.2b

Counts

297 → 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 24608 to 16987 computations (31% saved)

regimes177.0ms (1.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

18 → 1

Compiler

Compiled 1875 to 1271 computations (32.2% 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))))))

Inputs

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

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

Outputs

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

end122.0ms (1.2%)

Stop Event

1×

done

Compiler

Compiled 231 to 168 computations (27.3% saved)

Details

analyze3.1s (30.1%)

sample5.9s (56.6%)

preprocess54.0ms (0.5%)

simplify20.0ms (0.2%)

prune7.0ms (0.1%)

localize119.0ms (1.1%)

series30.0ms (0.3%)

rewrite68.0ms (0.7%)

simplify52.0ms (0.5%)

prune723.0ms (7%)

regimes177.0ms (1.7%)

simplify4.0ms (0%)

end122.0ms (1.2%)

Profiling