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

start0.0ms (0.0%)

Memory: 1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

analyze30.4s (50.8%)

Memory

410.4MiB live, 2 390.5MiB allocated; 1.1s collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0.0%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	0
0.0%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	1
0.0%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	2
0.0%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	3
0.0%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	4
0.0%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	5
0.0%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	6
6.2%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	7
9.4%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	8
14.1%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	9
21.1%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	10
31.6%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	11
36.9%	0.0%	0.0%	100.0%	0.0%	0.0%	0.0%	12

Compiler

Compiled 120 to 50 computations (58.3% saved)

sample23.4s (39.1%)

Memory

339.8MiB live, 4 967.9MiB allocated; 2.2s collecting garbage

Samples

23.0s

8 256×

valid

Precisions

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

ival-mult!: 16.1s (75.7% of total, 518.5 MiB)

ival-cos: 2.3s (10.8% of total, 2221.4 MiB)

ival-and: 918.0ms (4.3% of total, 23.8 MiB)

ival-sin: 586.0ms (2.8% of total, 261.8 MiB)

ival-add!: 405.0ms (1.9% of total, 70.0 MiB)

ival-tan: 311.0ms (1.5% of total, 279.1 MiB)

ival-div!: 220.0ms (1.0% of total, 219.0 MiB)

ival-sqrt: 182.0ms (0.9% of total, 66.1 MiB)

ival-<=: 135.0ms (0.6% of total, 22.2 MiB)

ival-atan: 86.0ms (0.4% of total, 82.5 MiB)

ival-sub!: 21.0ms (0.1% of total, 22.6 MiB)

adjust: 8.0ms (0.0% of total, 4.6 MiB)

ival-assert: 3.0ms (0.0% of total, 5.2 MiB)

Bogosity

preprocess206.0ms (0.3%)

Memory

11.1MiB live, 57.6MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	207	880
1	1807	769
2	19801	709

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Status

Accuracy

Program

▶

99.4%

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

Symmetry

(abs alphax)

(abs alphay)

Compiler

Compiled 176 to 64 computations (63.6% saved)

sample0.0ms (0.0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Calls

Call 1

Inputs
1
2
(PI)
(* 2 (PI))
1/2
(* 1/2 (PI))

Outputs
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal 13176795/4194304 binary32)
#s(literal 13176795/2097152 binary32)
#s(literal 1/2 binary32)
#s(literal 13176795/8388608 binary32)

Samples

0.0ms

1×

valid

Compiler

Compiled 12 to 8 computations (33.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

adjust: 0.0ms (0.0% of total, 0.0 MiB)

series108.0ms (0.2%)

Memory

-19.9MiB live, 246.4MiB allocated; 26ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1060	44253

Stop Event

1×	iter-limit

Counts

32 → 11

Calls

Call 1

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

Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx u0 u0)
#s(approx (- 1 u0) #s(literal 1 binary32))
#s(approx (- 1 u0) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) u0)))
#s(approx (- 1 u0) (*.f32 #s(literal -1 binary32) u0))
#s(approx u1 u1)
#s(approx (* (* 2 (PI)) u1) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32))))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (fma.f32 #s(literal 1/2 binary32) (PI.f32) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32)))))
#s(approx alphax alphax)
#s(approx alphay alphay)

Calls

12 calls:

Time	Variable	Point
32.0ms	alphay	inf
7.0ms	alphax	inf
6.0ms	alphax	0
5.0ms	u1	0
5.0ms	alphay	0

rewrite1.5s (2.6%)

Memory

6.7MiB live, 104.9MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	824
0	57	554
1	270	511
2	2517	463
3	24861	463
0	51659	37

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

32 → 0

Calls

Call 1

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

Outputs

eval2.0ms (0.0%)

Memory: 5.9MiB live, 5.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 276 to 165 computations (87.1% saved)

prune2.0ms (0.0%)

Memory

3.6MiB live, 3.6MiB allocated; 0ms collecting garbage

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	13	2	15
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	14	2	16

Accuracy

99.4%

Counts

16 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
▶	97.9%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Status

Accuracy

Program

▶

99.4%

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

▶

97.9%

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

Compiler

Compiled 144 to 49 computations (66.0% saved)

sample0.0ms (0.0%)

Memory

1.3MiB live, 1.3MiB allocated; 0ms collecting garbage

Calls

Call 1

Inputs
1
2
(PI)
(* 2 (PI))
1/2
(* 1/2 (PI))
13176795/8388608

Outputs
#s(literal 1 binary32)
#s(literal 2 binary32)
#s(literal 13176795/4194304 binary32)
#s(literal 13176795/2097152 binary32)
#s(literal 1/2 binary32)
#s(literal 13176795/8388608 binary32)
#s(literal 13176795/8388608 binary32)

Samples

0.0ms

1×

valid

Compiler

Compiled 13 to 9 computations (30.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

adjust: 0.0ms (0.0% of total, 0.0 MiB)

series507.0ms (0.8%)

Memory

16.4MiB live, 320.5MiB allocated; 90ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2050	85364

Stop Event

1×	iter-limit

Counts

50 → 13

Calls

Call 1

Inputs
#s(literal 1 binary32)
alphay
alphax
(/.f32 alphay alphax)
#s(literal 2 binary32)
(PI.f32)
(*.f32 #s(literal 2 binary32) (PI.f32))
u1
(.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1)
#s(literal 1/2 binary32)
(*.f32 #s(literal 1/2 binary32) (PI.f32))
(*.f32 alphax alphax)
(*.f32 alphay alphay)
u0
(-.f32 #s(literal 1 binary32) u0)
#s(literal 13176795/8388608 binary32)
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))
(+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))
(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))
(.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx u0 u0)
#s(approx (- 1 u0) #s(literal 1 binary32))
#s(approx (- 1 u0) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) u0)))
#s(approx (- 1 u0) (*.f32 #s(literal -1 binary32) u0))
#s(approx u1 u1)
#s(approx (* (* 2 (PI)) u1) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32))))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (fma.f32 #s(literal 1/2 binary32) (PI.f32) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32)))))
#s(approx (+ (* (* 2 (PI)) u1) 13176795/8388608) #s(literal 13176795/8388608 binary32))
#s(approx (+ (* (* 2 (PI)) u1) 13176795/8388608) (+.f32 #s(literal 13176795/8388608 binary32) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32)))))
#s(approx alphax alphax)
#s(approx alphay alphay)

Calls

12 calls:

Time	Variable	Point
130.0ms	alphay	0
22.0ms	alphax	inf
16.0ms	u1	inf
11.0ms	alphay	inf
11.0ms	alphay	-inf

rewrite1.3s (2.2%)

Memory

1 083.1MiB live, 1 156.0MiB allocated; 537ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	1702
0	97	1126
1	453	1040
2	4365	992
3	42666	992
0	52229	130

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

50 → 0

Calls

Call 1

Inputs
#s(literal 1 binary32)
alphay
alphax
(/.f32 alphay alphax)
#s(literal 2 binary32)
(PI.f32)
(*.f32 #s(literal 2 binary32) (PI.f32))
u1
(.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1)
#s(literal 1/2 binary32)
(*.f32 #s(literal 1/2 binary32) (PI.f32))
(*.f32 alphax alphax)
(*.f32 alphay alphay)
u0
(-.f32 #s(literal 1 binary32) u0)
#s(literal 13176795/8388608 binary32)
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))
(+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))
(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))
(.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Outputs

eval3.0ms (0.0%)

Memory: 6.6MiB live, 6.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 804 to 215 computations (88.1% saved)

prune2.0ms (0.0%)

Memory

3.8MiB live, 3.8MiB allocated; 0ms collecting garbage

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	22	3	25
Fresh	0	0	0
Picked	2	0	2
Done	0	0	0
Total	24	3	27

Accuracy

99.4%

Counts

27 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
▶	94.7%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
▶	97.9%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Status

Accuracy

Program

▶

99.4%

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

▶

94.7%

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

▶

97.9%

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Compiler

Compiled 190 to 64 computations (66.3% saved)

sample0.0ms (0.0%)

Memory

1.1MiB live, 1.1MiB allocated; 0ms collecting garbage

Calls

Call 1

Inputs
1
(PI)
1/2
(* 1/2 (PI))
13176795/2097152
13176795/8388608

Outputs
#s(literal 1 binary32)
#s(literal 13176795/4194304 binary32)
#s(literal 1/2 binary32)
#s(literal 13176795/8388608 binary32)
#s(literal 13176795/2097152 binary32)
#s(literal 13176795/8388608 binary32)

Samples

0.0ms

1×

valid

Compiler

Compiled 10 to 8 computations (20.0% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

adjust: 0.0ms (0.0% of total, 0.0 MiB)

series316.0ms (0.5%)

Memory

-60.5MiB live, 272.8MiB allocated; 122ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2088	81625

Stop Event

1×	iter-limit

Counts

67 → 14

Calls

Call 1

Inputs
#s(literal 1 binary32)
alphay
alphax
(/.f32 alphay alphax)
(PI.f32)
u1
#s(literal 1/2 binary32)
(*.f32 #s(literal 1/2 binary32) (PI.f32))
(*.f32 alphax alphax)
(*.f32 alphay alphay)
u0
(-.f32 #s(literal 1 binary32) u0)
#s(literal 13176795/2097152 binary32)
#s(literal 13176795/8388608 binary32)
#s(approx (- 1 u0) #s(literal 1 binary32))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))
(*.f32 #s(literal 13176795/2097152 binary32) u1)
(tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))
(.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0)
(+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))
(tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))
(tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx u0 u0)
#s(approx (- 1 u0) #s(literal 1 binary32))
#s(approx (- 1 u0) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) u0)))
#s(approx (- 1 u0) (*.f32 #s(literal -1 binary32) u0))
#s(approx u1 u1)
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (fma.f32 #s(literal 1/2 binary32) (PI.f32) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32)))))
#s(approx (* 13176795/2097152 u1) (*.f32 #s(literal 13176795/2097152 binary32) u1))
#s(approx (+ (* 13176795/2097152 u1) 13176795/8388608) #s(literal 13176795/8388608 binary32))
#s(approx (+ (* 13176795/2097152 u1) 13176795/8388608) (+.f32 #s(literal 13176795/8388608 binary32) (*.f32 #s(literal 13176795/2097152 binary32) u1)))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32))))
#s(approx alphax alphax)
#s(approx alphay alphay)

Calls

12 calls:

Time	Variable	Point
194.0ms	alphay	inf
10.0ms	alphax	0
8.0ms	alphax	inf
8.0ms	alphay	0
6.0ms	u1	-inf

rewrite741.0ms (1.2%)

Memory

18.4MiB live, 103.5MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	2503
0	131	1657
1	621	1528
2	6144	1432
3	48933	1432
0	50173	213

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

67 → 0

Calls

Call 1

Inputs
#s(literal 1 binary32)
alphay
alphax
(/.f32 alphay alphax)
(PI.f32)
u1
#s(literal 1/2 binary32)
(*.f32 #s(literal 1/2 binary32) (PI.f32))
(*.f32 alphax alphax)
(*.f32 alphay alphay)
u0
(-.f32 #s(literal 1 binary32) u0)
#s(literal 13176795/2097152 binary32)
#s(literal 13176795/8388608 binary32)
#s(approx (- 1 u0) #s(literal 1 binary32))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))
(*.f32 #s(literal 13176795/2097152 binary32) u1)
(tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))
(.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0)
(+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))
(tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))
(tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Outputs

eval3.0ms (0.0%)

Memory: 6.1MiB live, 6.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 820 to 182 computations (90.0% saved)

prune2.0ms (0.0%)

Memory

5.1MiB live, 5.1MiB allocated; 0ms collecting garbage

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	26	2	28
Fresh	0	0	0
Picked	1	2	3
Done	0	0	0
Total	27	4	31

Accuracy

99.4%

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
▶	95.3%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
✓	97.9%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
▶	94.7%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Compiler

Compiled 252 to 53 computations (79.0% saved)

sample0.0ms (0.0%)

Memory

1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

Calls

Call 1

Inputs
1
13176795/2097152
13176795/8388608

Outputs
#s(literal 1 binary32)
#s(literal 13176795/2097152 binary32)
#s(literal 13176795/8388608 binary32)

Samples

0.0ms

1×

valid

Compiler

Compiled 5 to 5 computations (0.0% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

adjust: 0.0ms (0.0% of total, 0.0 MiB)

series221.0ms (0.4%)

Memory

8.5MiB live, 239.1MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2088	81625

Stop Event

1×	iter-limit

Counts

46 → 14

Calls

Call 1

Inputs
#s(literal 1 binary32)
alphay
alphax
(/.f32 alphay alphax)
u1
(*.f32 alphax alphax)
(*.f32 alphay alphay)
u0
#s(literal 13176795/2097152 binary32)
#s(literal 13176795/8388608 binary32)
#s(approx (- 1 u0) #s(literal 1 binary32))
(*.f32 #s(literal 13176795/2097152 binary32) u1)
(+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))
(tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))
(tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx u0 u0)
#s(approx (- 1 u0) #s(literal 1 binary32))
#s(approx (- 1 u0) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) u0)))
#s(approx (- 1 u0) (*.f32 #s(literal -1 binary32) u0))
#s(approx u1 u1)
#s(approx (* 13176795/2097152 u1) (*.f32 #s(literal 13176795/2097152 binary32) u1))
#s(approx (+ (* 13176795/2097152 u1) 13176795/8388608) #s(literal 13176795/8388608 binary32))
#s(approx (+ (* 13176795/2097152 u1) 13176795/8388608) (+.f32 #s(literal 13176795/8388608 binary32) (*.f32 #s(literal 13176795/2097152 binary32) u1)))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (*.f32 #s(literal 1/2 binary32) (PI.f32)))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (fma.f32 #s(literal 1/2 binary32) (PI.f32) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32)))))
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 2 binary32) (.f32 u1 (PI.f32))))
#s(approx alphax alphax)
#s(approx alphay alphay)

Calls

12 calls:

Time	Variable	Point
6.0ms	alphay	0
6.0ms	alphax	0
5.0ms	alphax	inf
5.0ms	u1	inf
5.0ms	u1	0

rewrite775.0ms (1.3%)

Memory

-16.5MiB live, 122.5MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	1542
0	91	1038
1	450	952
2	4362	904
3	42418	904
0	51949	144

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

46 → 0

Calls

Call 1

Inputs
#s(literal 1 binary32)
alphay
alphax
(/.f32 alphay alphax)
u1
(*.f32 alphax alphax)
(*.f32 alphay alphay)
u0
#s(literal 13176795/2097152 binary32)
#s(literal 13176795/8388608 binary32)
#s(approx (- 1 u0) #s(literal 1 binary32))
(*.f32 #s(literal 13176795/2097152 binary32) u1)
(+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))
(tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
#s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))
(tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))
(.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))
(atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))
(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))
(.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax))
(sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))
(.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))))
(/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay))
(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))
(/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0)
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))
(sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Outputs

eval3.0ms (0.0%)

Memory: 8.6MiB live, 8.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 358 to 148 computations (89.1% saved)

prune3.0ms (0.0%)

Memory

10.2MiB live, 10.2MiB allocated; 0ms collecting garbage

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	21	4	25

Accuracy

99.4%

Counts

25 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
✓	95.3%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
✓	97.9%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
✓	94.7%	(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Compiler

Compiled 252 to 53 computations (79.0% saved)

regimes286.0ms (0.5%)

Memory

-1 099.8MiB live, 382.5MiB allocated; 116ms collecting garbage

Counts

1 → 1

5 → 1

8 → 1

Calls

Call 1

Inputs

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Outputs

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Call 2

Inputs
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))

Outputs

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Call 3

Inputs
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ ( (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 #s(approx (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) #s(approx (- 1 u0) #s(literal 1 binary32))))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))
(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Outputs

(/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 #s(literal 13176795/2097152 binary32) u1) #s(literal 13176795/8388608 binary32))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))))

Calls

39 calls:

175.0ms	(+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphay alphay)))
8.0ms	alphay
6.0ms	alphax
5.0ms	(+.f32 #s(literal 1 binary32) (/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0)))
5.0ms	(/.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (.f32 (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (.f32 alphax alphax)) (/.f32 (.f32 (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))

Results

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

Compiler

Compiled 2 112 to 701 computations (66.8% saved)

derivations9.0ms (0.0%)

Memory

24.6MiB live, 24.6MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 182 to 49 computations (73.1% saved)

preprocess48.0ms (0.1%)

Memory: -5.2MiB live, 133.0MiB allocated; 30ms collecting garbage
Compiler: Compiled 998 to 393 computations (60.6% saved)

end0.0ms (0.0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

start0.0ms (0.0%)

analyze30.4s (50.8%)

sample23.4s (39.1%)

preprocess206.0ms (0.3%)

sample0.0ms (0.0%)

series108.0ms (0.2%)

rewrite1.5s (2.6%)

eval2.0ms (0.0%)

prune2.0ms (0.0%)

sample0.0ms (0.0%)

series507.0ms (0.8%)

rewrite1.3s (2.2%)

eval3.0ms (0.0%)

prune2.0ms (0.0%)

sample0.0ms (0.0%)

series316.0ms (0.5%)

rewrite741.0ms (1.2%)

eval3.0ms (0.0%)

prune2.0ms (0.0%)

sample0.0ms (0.0%)

series221.0ms (0.4%)

rewrite775.0ms (1.3%)

eval3.0ms (0.0%)

prune3.0ms (0.0%)

regimes286.0ms (0.5%)

derivations9.0ms (0.0%)

preprocess48.0ms (0.1%)

end0.0ms (0.0%)

Profiling