Details

analyze2.6s (11.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
25%	0%	0%	100%	0%	0%	0%	3
25%	0%	0%	100%	0%	0%	0%	4
25%	0%	0%	100%	0%	0%	0%	5
37.5%	0%	0%	100%	0%	0%	0%	6
56.3%	0%	0%	100%	0%	0%	0%	7
56.3%	0%	0%	100%	0%	0%	0%	8
56.3%	0%	0%	100%	0%	0%	0%	9
65.6%	0%	0%	100%	0%	0%	0%	10
76.6%	0%	0%	100%	0%	0%	0%	11
76.6%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 123 to 87 computations (29.3% saved)

sample16.0s (69.1%)

Results

16.0s

8256×

body

256

valid

Bogosity

preprocess185.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

1136×	`trig.json-simplify-20`
702×	`rational.json-simplify-1`
522×	`rational.json-simplify-2`
482×	`rational.json-simplify-44`
436×	`rational.json-simplify-45`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	145	2037
1	330	2037
2	837	1813
3	2329	1365
4	6187	1365
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 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))))))) (*.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 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))))))) (*.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 (PI.f32) (+.f32 1/2 (.f32 2 u1))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2))) 2) (.f32 alphax alphax)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2))) 2) (*.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 u1 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 (.f32 2 (PI.f32)) u0)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 (.f32 2 (PI.f32)) u0))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 (.f32 2 (PI.f32)) u0)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 (.f32 2 (PI.f32)) u0))))))) (*.f32 alphay alphay))))) (-.f32 1 u1)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u1 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 2 (.f32 (PI.f32) u0))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 2 (.f32 (PI.f32) u0)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 2 (.f32 (PI.f32) u0))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 2 (.f32 (PI.f32) u0)))))))) (*.f32 alphay alphay))))) (-.f32 1 u1)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u1 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0)))))))) (*.f32 alphay alphay))))) (-.f32 1 u1)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u1 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0)))))) -2))) 2) (.f32 alphax alphax)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u0)))))) -2))) 2) (*.f32 alphay alphay))))) (-.f32 1 u1)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 u0 u0)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u0) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) alphax) (-.f32 1 alphax)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 alphax (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0))))) (.f32 u0 u0)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0))))) (*.f32 alphay alphay))))) (-.f32 1 alphax)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 alphax (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0))))) (.f32 u0 u0)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 alphay u0))))) (*.f32 alphay alphay))))) (-.f32 1 alphax)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 alphax (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphay u0)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphay u0))))) (.f32 u0 u0)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphay u0)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphay u0))))) (*.f32 alphay alphay))))) (-.f32 1 alphax)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 alphax (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphay u0))) -2))) 2) (.f32 u0 u0)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphay u0))) -2))) 2) (*.f32 alphay alphay))))) (-.f32 1 alphax)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u0 alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 u0 u0)))) alphay) (-.f32 1 alphay)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 alphay (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax))))) (*.f32 u0 u0))))) (-.f32 1 alphay)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 alphay (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 u0 alphax))))) (*.f32 u0 u0))))) (-.f32 1 alphay)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 alphay (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 u0 alphax)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 u0 alphax))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 u0 alphax)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 u0 alphax))))) (*.f32 u0 u0))))) (-.f32 1 alphay)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 alphay (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 u0 alphax))) -2))) 2) (.f32 alphax alphax)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 u0 alphax))) -2))) 2) (*.f32 u0 u0))))) (-.f32 1 alphay)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32)))))))) (.f32 u1 u1)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) alphax) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 alphax (.f32 2 (PI.f32)))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 alphax (.f32 2 (PI.f32))))))))) (.f32 u1 u1)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 alphax (.f32 2 (PI.f32)))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 alphax (.f32 2 (PI.f32))))))))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2)))))))) (.f32 u1 u1)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2)))))))) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2)))))) -2))) 2) (.f32 u1 u1)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay u1) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphax 2)))))) -2))) 2) (*.f32 alphay alphay))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 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 u0 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 alphay (.f32 2 (PI.f32)))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 alphay (.f32 2 (PI.f32))))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 alphay (.f32 2 (PI.f32)))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (+.f32 (.f32 (PI.f32) 1/2) (.f32 alphay (.f32 2 (PI.f32))))))))) (*.f32 u1 u1))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphay 2))))))) (cos.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphay 2)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphay 2))))))) (sin.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphay 2)))))))) (*.f32 u1 u1))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphay 2)))))) -2))) 2) (.f32 alphax alphax)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 u1 alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 alphay 2)))))) -2))) 2) (*.f32 u1 u1))))) (-.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)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay))))) (.f32 alphay alphay)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay))))) (*.f32 alphax alphax))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay))))) (.f32 alphay alphay)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (+.f32 (.f32 2 (.f32 (PI.f32) u1)) (.f32 (PI.f32) 1/2))) (/.f32 alphax alphay))))) (*.f32 alphax alphax))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphax alphay)))) (cos.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphax alphay))))) (.f32 alphay alphay)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphax alphay)))) (sin.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphax alphay))))) (*.f32 alphax alphax))))) (-.f32 1 u0)))))
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 u0 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphax alphay))) -2))) 2) (.f32 alphay alphay)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))) (/.f32 alphax alphay))) -2))) 2) (*.f32 alphax alphax))))) (-.f32 1 u0)))))

Compiler

Compiled 96 to 68 computations (29.2% saved)

simplify112.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1452×	`trig.json-simplify-43`
1452×	`rational.json-simplify-1`
866×	`rational.json-simplify-64`
688×	`trig.json-simplify-20`
404×	`rational.json-simplify-41`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	291
1	69	291
2	152	259
3	386	195
4	969	195
5	2400	195
6	4588	195

Stop Event

1×	node limit

Counts

1 → 5

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

eval9.0ms (0%)

Compiler: Compiled 410 to 272 computations (33.7% saved)

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	4	1	5
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	5	1	6

Error

0.2b

Counts

6 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2))) 2) (.f32 alphax alphax)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2))) 2) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Status

Error

Program

▶

0.2b

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

Compiler

Compiled 66 to 52 computations (21.2% saved)

localize432.0ms (1.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))
✓	0.6b	(-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2)))
✓	12.2b	(tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1))))
✓	19.3b	(+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2)))

Compiler

Compiled 619 to 425 computations (31.3% saved)

series21.0ms (0.1%)

Counts

4 → 96

Calls

24 calls:

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

rewrite104.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1236×	`rational.json-5`
1234×	`exponential.json-3`
1234×	`rational.json-1`
1234×	`rational.json-2`
1234×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	160
1	197	160
2	603	160
3	2367	160

Stop Event

1×	node limit

Counts

4 → 47

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) (/.f32 1 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) (.f32 (/.f32 1 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) (.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) (.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))))) (/.f32 (/.f32 1 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) (.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))) (/.f32 1 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))) (.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))) (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))))) (/.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))) (.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (/.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 -1 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1) (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1)) (/.f32 1 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1) (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1)) (.f32 (/.f32 1 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) (.f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1) (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (.f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1) (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1)) (.f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1) (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1))) (/.f32 (/.f32 1 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))) (.f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1) (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (+.f32 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))) -2)) -1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))) (/.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))) (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (PI.f32) (+.f32 1/2 (+.f32 u1 u1))) 1)))))

simplify247.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1108×	`rational.json-simplify-49`
1072×	`rational.json-simplify-2`
918×	`rational.json-simplify-54`
732×	`rational.json-simplify-50`
672×	`rational.json-simplify-1`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	7877
1	343	7871
2	829	7799
3	2298	7799
4	6254	7799

Stop Event

1×	node limit

Counts

143 → 77

Calls

Call 1

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

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

eval397.0ms (1.7%)

Compiler: Compiled 10803 to 7719 computations (28.5% saved)

prune242.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	116	2	118
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	3	119

Error

0.2b

Counts

119 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2))) 2) (.f32 alphax alphax)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2))) 2) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
▶	0.2b	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2))) 2) (.f32 alphax alphax)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 1/2 (PI.f32))))) -2))) 2) (.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
▶	0.5b	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (/.f32 (+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 1/2 (PI.f32))))) -2))) 2) (.f32 alphax alphax)) (/.f32 (/.f32 (-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2))) 2) (.f32 alphay alphay)))) u0) (-.f32 1 u0)))))

Status

Error

Program

✓

0.2b

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

▶

0.2b

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

▶

0.5b

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

Compiler

Compiled 190 to 150 computations (21.1% saved)

localize601.0ms (2.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(-.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2)))
✓	9.1b	(.f32 (/.f32 alphay alphax) (tan.f32 (.f32 1/2 (PI.f32))))
	12.2b	(tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1))))
✓	31.7b	(tan.f32 (*.f32 1/2 (PI.f32)))

Compiler

Compiled 626 to 424 computations (32.3% saved)

series7.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite123.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

792×	`rational.json-simplify-49`
790×	`rational.json-simplify-54`
766×	`rational.json-simplify-47`
630×	`rational.json-simplify-58`
592×	`rational.json-simplify-50`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	101	38
2	326	38
3	1203	38
4	4719	38

Stop Event

1×	node limit

Counts

2 → 29

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (tan.f32 (.f32 (PI.f32) 5/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (tan.f32 (.f32 (PI.f32) 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (tan.f32 (.f32 (PI.f32) 5/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (tan.f32 (.f32 (PI.f32) -3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (-.f32 0 (-.f32 -1 (tan.f32 (.f32 (PI.f32) 5/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (tan.f32 (.f32 (PI.f32) 5/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (tan.f32 (.f32 (PI.f32) 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (tan.f32 (.f32 (PI.f32) 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (/.f32 (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (tan.f32 (.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (/.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (/.f32 (.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) 1) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))))) (/.f32 (/.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (tan.f32 (.f32 (PI.f32) 5/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (tan.f32 (.f32 (PI.f32) 5/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (tan.f32 (.f32 (PI.f32) -3/2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (neg.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (-.f32 0 (-.f32 -1 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) (/.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (neg.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (tan.f32 (*.f32 (PI.f32) 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (tan.f32 (*.f32 (PI.f32) -3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (-.f32 0 (-.f32 -1 (tan.f32 (*.f32 (PI.f32) 5/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))) (tan.f32 (*.f32 (PI.f32) 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))) (/.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))) (*.f32 (/.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))) (/.f32 (/.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))) (tan.f32 (*.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2))) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))) (/.f32 (/.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2))) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))) (/.f32 (*.f32 (/.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2))) 1) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))))) (/.f32 (/.f32 (/.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2))) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (tan.f32 (*.f32 (PI.f32) -3/2)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (neg.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (-.f32 0 (-.f32 -1 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) (/.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (neg.f32 (*.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))))))

simplify171.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1210×	`rational.json-simplify-54`
1100×	`rational.json-simplify-50`
1010×	`rational.json-simplify-43`
890×	`rational.json-simplify-58`
622×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	1525
1	146	1525
2	418	1525
3	2085	1525
4	5333	1525

Stop Event

1×	node limit

Counts

53 → 32

Calls

Call 1

Inputs
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(+.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 0)
(+.f32 0 (tan.f32 (*.f32 (PI.f32) 5/2)))
(-.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 0)
(-.f32 0 (tan.f32 (*.f32 (PI.f32) -3/2)))
(-.f32 (-.f32 0 (-.f32 -1 (tan.f32 (*.f32 (PI.f32) 5/2)))) 1)
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) 1)
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))
(.f32 1 (tan.f32 (.f32 (PI.f32) 5/2)))
(.f32 (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (tan.f32 (.f32 (PI.f32) 5/2)))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (/.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2))))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) 1))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (/.f32 (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (tan.f32 (*.f32 (PI.f32) 5/2))))
(.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (/.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (/.f32 (.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) 1) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))))
(.f32 (.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))))) (/.f32 (/.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))))))
(/.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 1)
(/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))
(pow.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 1)
(neg.f32 (tan.f32 (*.f32 (PI.f32) -3/2)))
(+.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 0)
(+.f32 0 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)))
(-.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 0)
(-.f32 0 (neg.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))
(-.f32 (-.f32 0 (-.f32 -1 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)))) 1)
(/.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 1)
(/.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) (/.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))
(pow.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 1)
(neg.f32 (neg.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))

Outputs
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(/.f32 (.f32 (sin.f32 (.f32 1/2 (PI.f32))) alphay) (.f32 (cos.f32 (.f32 1/2 (PI.f32))) alphax))
(+.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 0)
(tan.f32 (*.f32 (PI.f32) 5/2))
(+.f32 0 (tan.f32 (*.f32 (PI.f32) 5/2)))
(tan.f32 (*.f32 (PI.f32) 5/2))
(-.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 0)
(tan.f32 (*.f32 (PI.f32) 5/2))
(-.f32 0 (tan.f32 (*.f32 (PI.f32) -3/2)))
(neg.f32 (tan.f32 (*.f32 (PI.f32) -3/2)))
(-.f32 (-.f32 0 (-.f32 -1 (tan.f32 (*.f32 (PI.f32) 5/2)))) 1)
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) 1)
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 1 (tan.f32 (.f32 (PI.f32) 5/2)))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (tan.f32 (.f32 (PI.f32) 5/2)))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (/.f32 1 (tan.f32 (*.f32 (PI.f32) 5/2))))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) 1))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (/.f32 (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))) (tan.f32 (*.f32 (PI.f32) 5/2))))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (/.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (/.f32 (.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) 1) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))))
(tan.f32 (*.f32 (PI.f32) 5/2))
(.f32 (.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2))))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))))) (/.f32 (/.f32 (/.f32 1 (tan.f32 (.f32 (PI.f32) 5/2))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (.f32 (PI.f32) 5/2)))) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2)))))))
(tan.f32 (*.f32 (PI.f32) 5/2))
(/.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 1)
(tan.f32 (*.f32 (PI.f32) 5/2))
(/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (tan.f32 (*.f32 (PI.f32) 5/2))))
(tan.f32 (*.f32 (PI.f32) 5/2))
(pow.f32 (tan.f32 (*.f32 (PI.f32) 5/2)) 1)
(tan.f32 (*.f32 (PI.f32) 5/2))
(neg.f32 (tan.f32 (*.f32 (PI.f32) -3/2)))
(+.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 0)
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))
(+.f32 0 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)))
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))
(-.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 0)
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))
(-.f32 0 (neg.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))
(-.f32 (-.f32 0 (-.f32 -1 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)))) 1)
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))
(/.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 1)
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))
(/.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) (/.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))
(pow.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax)) 1)
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))
(neg.f32 (neg.f32 (.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))))
(.f32 (tan.f32 (.f32 (PI.f32) 5/2)) (/.f32 alphay alphax))

localize504.0ms (2.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	9.1b	(.f32 (/.f32 alphay alphax) (tan.f32 (.f32 1/2 (PI.f32))))
	12.2b	(tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1))))
	19.3b	(+.f32 1 (cos.f32 (.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (.f32 (PI.f32) (+.f32 1/2 (.f32 2 u1)))))) -2)))
	31.7b	(tan.f32 (*.f32 1/2 (PI.f32)))

Compiler

Compiled 626 to 424 computations (32.3% saved)

eval296.0ms (1.3%)

Compiler: Compiled 13309 to 9574 computations (28.1% saved)

prune59.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.2b

Counts

163 → 3

Alt Table

Click to see full alt table

Status

Error

Program

✓

0.2b

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

✓

0.2b

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

✓

0.5b

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

Compiler

Compiled 190 to 150 computations (21.1% saved)

regimes145.0ms (0.6%)

Counts

4 → 1

Calls

Call 1

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

Outputs

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

Calls

13 calls:

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

Results

Error	Segments	Branch
0.2b	1	`u0`
0.2b	1	`u1`
0.2b	1	`alphax`
0.2b	1	`alphay`
0.2b	1	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))))
0.2b	1	(sqrt.f32 (+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))))
0.2b	1	(+.f32 1 (/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0)))
0.2b	1	(/.f32 (.f32 (/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 1 u0))
0.2b	1	(/.f32 1 (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay))))
0.2b	1	(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (.f32 1/2 (PI.f32)))))))) (.f32 alphay alphay)))
0.2b	1	`(tan.f32 (+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32))))`
0.2b	1	`(+.f32 (.f32 (.f32 2 (PI.f32)) u1) (*.f32 1/2 (PI.f32)))`
0.2b	1	`(.f32 (.f32 2 (PI.f32)) u1)`

Compiler

Compiled 844 to 591 computations (30% saved)

regimes39.0ms (0.2%)

Accuracy

Total -0.3b remaining (-135.9%)

Threshold costs -0.3b (-135.9%)

Counts

2 → 1

Calls

Call 1

Inputs

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

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

Outputs

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

Calls

4 calls:

9.0ms	alphay
7.0ms	u1
7.0ms	alphax
6.0ms	u0

Results

Error	Segments	Branch
0.2b	1	`u0`
0.2b	1	`u1`
0.2b	1	`alphax`
0.2b	1	`alphay`

Compiler

Compiled 140 to 106 computations (24.3% saved)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	561

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

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

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

Outputs

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

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

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

Compiler

Compiled 190 to 150 computations (21.1% saved)

soundness685.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1452×	`trig.json-simplify-43`
1452×	`rational.json-simplify-1`
866×	`rational.json-simplify-64`
688×	`trig.json-simplify-20`
404×	`rational.json-simplify-41`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	291
1	69	291
2	152	259
3	386	195
4	969	195
5	2400	195
6	4588	195

Stop Event

1×	node limit

Compiler

Compiled 92 to 64 computations (30.4% saved)

end100.0ms (0.4%)

Compiler: Compiled 182 to 134 computations (26.4% saved)

Details

analyze2.6s (11.4%)

sample16.0s (69.1%)

preprocess185.0ms (0.8%)

simplify112.0ms (0.5%)

eval9.0ms (0%)

prune3.0ms (0%)

localize432.0ms (1.9%)

series21.0ms (0.1%)

rewrite104.0ms (0.5%)

simplify247.0ms (1.1%)

eval397.0ms (1.7%)

prune242.0ms (1%)

localize601.0ms (2.6%)

series7.0ms (0%)

rewrite123.0ms (0.5%)

simplify171.0ms (0.7%)

localize504.0ms (2.2%)

eval296.0ms (1.3%)

prune59.0ms (0.3%)

regimes145.0ms (0.6%)

regimes39.0ms (0.2%)

simplify21.0ms (0.1%)

soundness685.0ms (3%)

end100.0ms (0.4%)

Profiling