Metrics for UniformSampleCone, z

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze82.0ms (2.6%)

Memory

25.9MiB live, 104.6MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 31 to 21 computations (32.3% saved)

sample974.0ms (31.2%)

Memory

41.1MiB live, 1 325.1MiB allocated

Samples

646.0ms	8 156×	0	valid
11.0ms	100×	1	valid

Precisions

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

const: 134.0ms (30.1% of total)

ival-<=: 116.0ms (26.1% of total)

ival-add: 56.0ms (12.6% of total)

ival-mult: 53.0ms (11.9% of total)

ival-sub: 43.0ms (9.7% of total)

ival-and: 29.0ms (6.5% of total)

exact: 8.0ms (1.8% of total)

ival-assert: 3.0ms (0.7% of total)

adjust: 2.0ms (0.4% of total)

Bogosity

explain57.0ms (1.8%)

Memory

8.0MiB live, 88.4MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`#s(literal 1 binary32)`
-	-	`(*.f32 ux maxCos)`
-	-	`maxCos`
-	-	`ux`
-	-	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`
-	-	`(-.f32 #s(literal 1 binary32) ux)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

23.0ms

512×

valid

Compiler

Compiled 59 to 32 computations (45.8% saved)

Precisions

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

ival-mult: 3.0ms (33.9% of total)

ival-sub: 2.0ms (22.6% of total)

ival-add: 2.0ms (22.6% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess60.0ms (1.9%)

Memory

18.6MiB live, 55.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	72
1	78	63
2	215	63
3	597	63
4	1317	63
5	1722	63
6	1860	63
7	1891	63
0	6	7
0	9	7
1	17	7
2	35	7
3	64	7
4	143	7
5	297	7
6	436	7
7	477	7
8	484	7
0	484	6

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))

Outputs
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))

Symmetry

(abs uy)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))

Compiler

Compiled 7 to 7 computations (0% saved)

simplify19.0ms (0.6%)

Memory

-16.9MiB live, 20.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f32 ux maxCos)
cost-diff	0	(-.f32 #s(literal 1 binary32) ux)
cost-diff	64	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	16
0	9	16
1	17	16
2	35	16
3	64	16
4	143	16
5	297	16
6	436	16
7	477	16
8	484	16
0	484	15

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
ux
(*.f32 ux maxCos)
maxCos

Outputs
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
ux
(*.f32 ux maxCos)
(*.f32 maxCos ux)
maxCos

localize15.0ms (0.5%)

Memory

22.9MiB live, 22.9MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f32 #s(literal 1 binary32) ux)
accuracy	0.0	(*.f32 ux maxCos)
accuracy	0.0234375	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))

Samples

10.0ms

256×

valid

Compiler

Compiled 34 to 16 computations (52.9% saved)

Precisions

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

ival-mult: 2.0ms (45.6% of total)

ival-sub: 1.0ms (22.8% of total)

ival-add: 1.0ms (22.8% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series4.0ms (0.1%)

Memory

5.6MiB live, 5.6MiB allocated

Counts

3 → 15

Calls

Call 1

Inputs
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(-.f32 #s(literal 1 binary32) ux)
(*.f32 ux maxCos)

Outputs
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* -1 ux))
(* maxCos ux)
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* -1 ux)
(* ux (- (/ 1 ux) 1))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	ux	@	inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) (* ux maxCos))
1.0ms	ux	@	-inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) (* ux maxCos))
1.0ms	maxCos	@	0	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) (* ux maxCos))
0.0ms	ux	@	0	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) (* ux maxCos))
0.0ms	maxCos	@	-inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) (* ux maxCos))

simplify142.0ms (4.5%)

Memory

-25.8MiB live, 86.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	70
1	110	70
2	322	70
3	927	70
4	2389	70
5	3686	70
6	4761	70
7	5807	70
8	7386	70
9	7923	70
0	8059	64

Stop Event

1×	iter limit
1×	node limit

Counts

15 → 15

Calls

Call 1

Inputs
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* -1 ux))
(* maxCos ux)
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* -1 ux)
(* ux (- (/ 1 ux) 1))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))

Outputs
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* ux (- maxCos 1))
(-.f32 (*.f32 maxCos ux) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 ux)
(neg.f32 ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (+ 1 (* -1 maxCos))))
(-.f32 (*.f32 maxCos ux) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)

rewrite171.0ms (5.5%)

Memory

38.8MiB live, 223.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
0	9	13
1	42	13
2	343	13
3	5314	13
0	9014	12

Stop Event

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

Counts

3 → 311

Calls

Call 1

Inputs
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(-.f32 #s(literal 1 binary32) ux)
(*.f32 ux maxCos)

Outputs
(.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))))
(.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (fma.f32 (-.f32 ux (*.f32 maxCos ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(*.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (neg.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)))) (neg.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))) (neg.f32 (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(*.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(.f32 (/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)))) (-.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (*.f32 (fma.f32 ux ux ux) maxCos)))
(.f32 (/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (+.f32 (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)))) (fma.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (-.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32))))
(*.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(.f32 (/.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (/.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (/.f32 #s(literal 1 binary32) (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))))
(.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))))
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 3 binary32))))
(*.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)))
(.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (*.f32 maxCos ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(*.f32 (neg.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))))
(*.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (/.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(*.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (/.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))))
(.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(*.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (+.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (+.f32 (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))
(/.f32 (.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 9 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 9 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))) (-.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (pow.f32 (*.f32 (fma.f32 ux ux ux) maxCos) #s(literal 3 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) #s(literal 1 binary32)) (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 maxCos ux ux) #s(literal 2 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32))) (+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux)) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (neg.f32 ux)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 maxCos ux (neg.f32 ux)) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (neg.f32 ux))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 maxCos ux ux) #s(literal 3 binary32))) (+.f32 #s(literal 1 binary32) (+.f32 (pow.f32 (fma.f32 maxCos ux ux) #s(literal 2 binary32)) (*.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (fma.f32 ux ux (*.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 3 binary32))) (+.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)) (+.f32 (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)) (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))))
(/.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)) #s(literal 3 binary32))) (+.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)) #s(literal 2 binary32)) (.f32 #s(literal 1 binary32) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))))))
(/.f32 (+.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (-.f32 (.f32 ux ux) (.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (neg.f32 ux)))))
(/.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 maxCos ux (neg.f32 ux)) #s(literal 3 binary32))) (+.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 maxCos ux (neg.f32 ux)) #s(literal 2 binary32)) (*.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (neg.f32 ux))))))
(/.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (+.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (-.f32 ux (*.f32 maxCos ux)))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)))) (neg.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (neg.f32 (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (neg.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) #s(literal 1 binary32)) (.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) #s(literal 1 binary32)) (.f32 (+.f32 (pow.f32 (.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) #s(literal 1 binary32)) (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 9 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 9 binary32))) #s(literal 1 binary32)) (.f32 (-.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (pow.f32 (.f32 (fma.f32 ux ux ux) maxCos) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (+.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (+.f32 (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))))
(/.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))))
(/.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 9 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 9 binary32))) (.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (-.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (pow.f32 (*.f32 (fma.f32 ux ux ux) maxCos) #s(literal 3 binary32)))))
(/.f32 (neg.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))) (neg.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)))))
(/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))) (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))))
(/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 0 binary32)) ux)
(-.f32 (fma.f32 maxCos ux (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))) (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (fma.f32 maxCos ux (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (*.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(-.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (*.f32 maxCos ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)) (*.f32 maxCos ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (-.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))) (.f32 (neg.f32 ux) maxCos)))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (-.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))) (.f32 maxCos ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (+.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (*.f32 maxCos ux)))
(-.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (-.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (*.f32 (neg.f32 ux) maxCos)))
(-.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (-.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (*.f32 maxCos ux)))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 (neg.f32 ux) maxCos)))
(-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(fma.f32 (exp.f32 (log1p.f32 (.f32 (neg.f32 ux) ux))) (exp.f32 (neg.f32 (log1p.f32 ux))) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (exp.f32 (log1p.f32 (.f32 (neg.f32 ux) ux))) (exp.f32 (neg.f32 (log1p.f32 ux))) (.f32 maxCos ux))
(fma.f32 (exp.f32 (log.f32 maxCos)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (exp.f32 (log1p.f32 (pow.f32 ux #s(literal 3 binary32)))) (exp.f32 (neg.f32 (log1p.f32 (fma.f32 ux ux ux)))) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (exp.f32 (log1p.f32 (pow.f32 ux #s(literal 3 binary32)))) (exp.f32 (neg.f32 (log1p.f32 (fma.f32 ux ux ux)))) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)) (.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 maxCos ux))
(fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (.f32 maxCos ux))
(fma.f32 (*.f32 (neg.f32 maxCos) #s(literal 1 binary32)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (*.f32 maxCos #s(literal 1 binary32)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (fma.f32 #s(literal -1 binary32) maxCos #s(literal 1 binary32)) ux #s(literal 1 binary32))
(fma.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (*.f32 maxCos ux))
(fma.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (.f32 maxCos ux))
(fma.f32 (neg.f32 maxCos) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (.f32 ux (-.f32 ux (.f32 (*.f32 maxCos maxCos) ux))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal -1 binary32) ux (-.f32 #s(literal 1 binary32) (*.f32 maxCos ux)))
(fma.f32 #s(literal -1 binary32) ux (+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 ux) maxCos)))
(fma.f32 #s(literal -1 binary32) ux (fma.f32 maxCos ux #s(literal 1 binary32)))
(fma.f32 (*.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (.f32 maxCos ux))
(fma.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux))) #s(literal 1 binary32))
(fma.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (*.f32 maxCos ux))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))) (.f32 maxCos ux))
(fma.f32 (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (*.f32 maxCos ux))
(fma.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) (*.f32 maxCos ux))
(fma.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 maxCos ux))
(fma.f32 (neg.f32 ux) maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 maxCos ux)))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 ux) maxCos)))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (fma.f32 maxCos ux #s(literal 1 binary32)))
(fma.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) #s(literal 1 binary32)) (.f32 (neg.f32 ux) maxCos))
(fma.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) #s(literal 1 binary32)) (.f32 maxCos ux))
(fma.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (*.f32 maxCos ux))
(fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (*.f32 maxCos ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos (neg.f32 ux) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (/.f32 (-.f32 #s(literal 1 binary32) ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 maxCos ux))
(fma.f32 ux (exp.f32 (log.f32 maxCos)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (*.f32 #s(literal 1 binary32) maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (-.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
(fma.f32 ux (+.f32 #s(literal 1 binary32) (neg.f32 maxCos)) #s(literal 1 binary32))
(fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
(fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))
(fma.f32 ux (neg.f32 maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 maxCos ux)))
(fma.f32 ux #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 ux) maxCos)))
(fma.f32 ux #s(literal -1 binary32) (fma.f32 maxCos ux #s(literal 1 binary32)))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (-.f32 #s(literal 1 binary32) (*.f32 maxCos ux)))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 ux) maxCos)))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (fma.f32 maxCos ux #s(literal 1 binary32)))
(fma.f32 #s(literal 1 binary32) (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(pow.f32 (/.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)))) #s(literal -1 binary32))
(pow.f32 (/.f32 (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))) (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) #s(literal -1 binary32))
(pow.f32 (/.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) #s(literal -1 binary32))
(pow.f32 (/.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 1 binary32)) #s(literal -1 binary32))
(pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #s(literal -1 binary32))
(+.f32 (*.f32 ux (-.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32))
(+.f32 (fma.f32 maxCos ux (neg.f32 ux)) #s(literal 1 binary32))
(+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (neg.f32 ux))
(+.f32 (*.f32 (neg.f32 ux) maxCos) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))))
(+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))
(+.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) (*.f32 maxCos ux)))
(+.f32 (neg.f32 ux) (+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 ux) maxCos)))
(+.f32 (neg.f32 ux) (fma.f32 maxCos ux #s(literal 1 binary32)))
(+.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(+.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 maxCos ux ux)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (-.f32 #s(literal -1 binary32) maxCos)))
(+.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (neg.f32 ux)))
(+.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(exp.f32 (*.f32 (log.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #s(literal -1 binary32)))
(neg.f32 (neg.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(.f32 (exp.f32 (log1p.f32 (.f32 (neg.f32 ux) ux))) (exp.f32 (neg.f32 (log1p.f32 ux))))
(*.f32 (exp.f32 (log1p.f32 (pow.f32 ux #s(literal 3 binary32)))) (exp.f32 (neg.f32 (log1p.f32 (fma.f32 ux ux ux)))))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (*.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))
(.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)))
(.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))))
(.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux)))
(*.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))))
(*.f32 (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))))
(.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (*.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)))
(.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) #s(literal 1 binary32)))
(*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))))
(*.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (exp.f32 (log.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux)))) (exp.f32 (log.f32 (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))))
(/.f32 (exp.f32 (log.f32 (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (exp.f32 (log.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))))
(/.f32 (exp.f32 (log1p.f32 (*.f32 (neg.f32 ux) ux))) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (exp.f32 (log1p.f32 (pow.f32 ux #s(literal 3 binary32)))) (exp.f32 (log1p.f32 (fma.f32 ux ux ux))))
(/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 4 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))) (fma.f32 ux ux #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))) (+.f32 (fma.f32 ux ux (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))) (+.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal -2 binary32)) (pow.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32))) (+.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(/.f32 (-.f32 (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal -2 binary32)) (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) #s(literal 2 binary32))) (+.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))))
(/.f32 (-.f32 (*.f32 ux ux) #s(literal 1 binary32)) (-.f32 ux #s(literal 1 binary32)))
(/.f32 (-.f32 (*.f32 ux ux) #s(literal 1 binary32)) (-.f32 (neg.f32 ux) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal -3 binary32)) (.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal -3 binary32)))) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal -2 binary32)) (+.f32 (pow.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)) (.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))))
(/.f32 (-.f32 (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal -3 binary32)) (.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal -3 binary32)))) (+.f32 (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal -2 binary32)) (+.f32 (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) #s(literal 2 binary32)) (.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))))))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))))
(/.f32 (.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) #s(literal 1 binary32)) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(/.f32 (*.f32 (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))
(/.f32 (.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(/.f32 (*.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))
(/.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (*.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32)) (.f32 (fma.f32 ux ux #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) #s(literal 1 binary32)) (.f32 (+.f32 (fma.f32 ux ux (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) #s(literal 1 binary32)) (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) #s(literal 1 binary32)) (.f32 (+.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(/.f32 (-.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux ux))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 4 binary32))) (*.f32 (-.f32 #s(literal 1 binary32) ux) (fma.f32 ux ux #s(literal 1 binary32))))
(/.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (-.f32 #s(literal 1 binary32) ux) (+.f32 (fma.f32 ux ux (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (*.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (+.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32)))))
(/.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux)) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(/.f32 (+.f32 #s(literal -1 binary32) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (exp.f32 (neg.f32 (log1p.f32 ux))))
(/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))))
(-.f32 #s(literal 0 binary32) (-.f32 ux #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) (neg.f32 ux))
(-.f32 #s(literal 1 binary32) ux)
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 4 binary32)))) (fma.f32 ux ux #s(literal 1 binary32)) (neg.f32 (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32)))) (+.f32 (fma.f32 ux ux (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32)) (neg.f32 (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32)))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (neg.f32 (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32)))) (+.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))) (neg.f32 (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (neg.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (neg.f32 (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 #s(literal -1 binary32) ux #s(literal 1 binary32))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (neg.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 ux #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 ux #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (neg.f32 (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) ux #s(literal 1 binary32))
(pow.f32 (/.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) #s(literal -1 binary32))
(pow.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) #s(literal -1 binary32))
(pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(+.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (neg.f32 (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(+.f32 (/.f32 #s(literal -1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32))) (neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal -1 binary32)))))
(+.f32 (neg.f32 ux) #s(literal 1 binary32))
(+.f32 ux #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (neg.f32 (neg.f32 ux)))
(+.f32 #s(literal 1 binary32) (neg.f32 ux))
(+.f32 #s(literal 1 binary32) ux)
(exp.f32 (*.f32 (log1p.f32 ux) #s(literal 1 binary32)))
(exp.f32 (*.f32 (neg.f32 (log1p.f32 ux)) #s(literal -1 binary32)))
(exp.f32 (log1p.f32 ux))
(neg.f32 (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(*.f32 (exp.f32 (log.f32 maxCos)) ux)
(.f32 (.f32 maxCos #s(literal 1 binary32)) ux)
(.f32 (.f32 maxCos ux) #s(literal 1 binary32))
(*.f32 maxCos ux)
(*.f32 ux (exp.f32 (log.f32 maxCos)))
(.f32 ux (.f32 #s(literal 1 binary32) maxCos))
(*.f32 ux maxCos)
(.f32 #s(literal 1 binary32) (.f32 maxCos ux))
(pow.f32 (*.f32 maxCos ux) #s(literal 1 binary32))
(exp.f32 (.f32 (log.f32 (.f32 maxCos ux)) #s(literal 1 binary32)))
(exp.f32 (log.f32 (*.f32 maxCos ux)))

eval302.0ms (9.7%)

Memory: -23.8MiB live, 76.0MiB allocated
Compiler: Compiled 5 938 to 782 computations (86.8% saved)

prune4.0ms (0.1%)

Memory

17.3MiB live, 17.3MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	315	3	318
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	316	3	319

Accuracy

100.0%

Counts

319 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
▶	98.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	71.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 27 to 26 computations (3.7% saved)

simplify20.0ms (0.6%)

Memory

-28.3MiB live, 10.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f32 maxCos ux)
cost-diff	0	(-.f32 ux (*.f32 maxCos ux))
cost-diff	64	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
cost-diff	0	(-.f32 #s(literal 1 binary32) ux)
cost-diff	0	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
cost-diff	0	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
0	16	44
1	32	44
2	58	44
3	126	44
4	269	44
5	422	44
6	469	44
7	500	44
0	500	41

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(literal 1 binary32)
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
ux
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
#s(literal 1 binary32)
(-.f32 ux (*.f32 maxCos ux))
ux
(*.f32 maxCos ux)
maxCos

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(literal 1 binary32)
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
ux
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
#s(literal 1 binary32)
(-.f32 ux (*.f32 maxCos ux))
ux
(*.f32 maxCos ux)
maxCos

localize32.0ms (1%)

Memory

4.6MiB live, 40.9MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f32 ux (*.f32 maxCos ux))
accuracy	0.0	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
accuracy	0.0	(*.f32 maxCos ux)
accuracy	0.0	(-.f32 #s(literal 1 binary32) ux)
accuracy	0.44229785831716517	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
accuracy	9.147578766967632	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Samples

25.0ms

256×

valid

Compiler

Compiled 84 to 26 computations (69% saved)

Precisions

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

ival-sub: 3.0ms (38.8% of total)

ival-mult: 3.0ms (38.8% of total)

ival-add: 1.0ms (12.9% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series3.0ms (0.1%)

Memory

6.3MiB live, 6.3MiB allocated

Counts

6 → 22

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) ux)
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(-.f32 ux (*.f32 maxCos ux))
(*.f32 maxCos ux)

Outputs
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* -1 ux))
(* ux (- 1 maxCos))
(* maxCos ux)
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* -1 ux)
(* ux (- (/ 1 ux) 1))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(* ux (+ 1 (* -1 maxCos)))
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
ux
(+ ux (* -1 (* maxCos ux)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* -1 (* maxCos ux))
(* maxCos (- (/ ux maxCos) ux))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	ux	@	-inf	((+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (- 1 (- ux (* maxCos ux))) (- ux (* maxCos ux)) (* maxCos ux))
1.0ms	ux	@	inf	((+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (- 1 (- ux (* maxCos ux))) (- ux (* maxCos ux)) (* maxCos ux))
0.0ms	maxCos	@	-inf	((+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (- 1 (- ux (* maxCos ux))) (- ux (* maxCos ux)) (* maxCos ux))
0.0ms	ux	@	0	((+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (- 1 (- ux (* maxCos ux))) (- ux (* maxCos ux)) (* maxCos ux))
0.0ms	maxCos	@	inf	((+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (- 1 (- ux (* maxCos ux))) (- ux (* maxCos ux)) (* maxCos ux))

simplify146.0ms (4.7%)

Memory

-10.3MiB live, 108.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	100
1	141	100
2	385	100
3	1244	100
4	3152	100
5	4378	100
6	5249	100
7	6401	100
8	7673	100
0	8011	94

Stop Event

1×	iter limit
1×	node limit

Counts

22 → 21

Calls

Call 1

Inputs
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* -1 ux))
(* ux (- 1 maxCos))
(* maxCos ux)
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* -1 ux)
(* ux (- (/ 1 ux) 1))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(* ux (+ 1 (* -1 maxCos)))
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
ux
(+ ux (* -1 (* maxCos ux)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* -1 (* maxCos ux))
(* maxCos (- (/ ux maxCos) ux))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))

Outputs
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* ux (- maxCos 1))
(-.f32 (*.f32 maxCos ux) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(* -1 ux)
(neg.f32 ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (+ 1 (* -1 maxCos))))
(-.f32 (*.f32 maxCos ux) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* ux (+ 1 (* -1 maxCos)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
(- (+ 1 (* maxCos ux)) ux)
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
ux
(+ ux (* -1 (* maxCos ux)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(* -1 (* maxCos ux))
(*.f32 (neg.f32 maxCos) ux)
(* maxCos (- (/ ux maxCos) ux))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)

rewrite156.0ms (5%)

Memory

11.5MiB live, 208.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
0	16	38
1	82	38
2	625	38
0	8392	35

Stop Event

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

Counts

6 → 366

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) ux)
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(-.f32 ux (*.f32 maxCos ux))
(*.f32 maxCos ux)

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux #s(literal 1 binary32)) ux))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux))
(.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (-.f32 #s(literal 1 binary32) (.f32 ux ux)))
(*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))))
(*.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) #s(literal 1 binary32)))
(.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))))
(.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) #s(literal 1 binary32)))
(*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(*.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) #s(literal 1 binary32)) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(/.f32 (*.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) #s(literal 1 binary32)) (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 4 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32)))) (fma.f32 ux ux #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32)))) (+.f32 (fma.f32 ux ux (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))))
(/.f32 (.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(/.f32 (*.f32 #s(literal 1 binary32) (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (*.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(/.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (+.f32 ux #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) #s(literal 1 binary32)) (+.f32 ux #s(literal 1 binary32)))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32)))) (.f32 (.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32)))) (.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32)))))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (*.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32))))))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))) (.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(/.f32 (-.f32 (*.f32 ux ux) #s(literal 1 binary32)) (-.f32 (neg.f32 ux) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) #s(literal 3 binary32)) (pow.f32 (.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32)))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (fma.f32 (.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32)))) (.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32)))) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (*.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32))))))))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux))) (neg.f32 (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (.f32 (+.f32 ux #s(literal 1 binary32)) (*.f32 ux ux))) (pow.f32 (+.f32 ux #s(literal 1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (pow.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 4 binary32))) (*.f32 (+.f32 ux #s(literal 1 binary32)) (fma.f32 ux ux #s(literal 1 binary32))))
(/.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (+.f32 ux #s(literal 1 binary32)) (+.f32 (fma.f32 ux ux (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (*.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32)))))
(/.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux)) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (+.f32 ux #s(literal 1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (*.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32)))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(-.f32 #s(literal 0 binary32) (-.f32 ux #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) ux)
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (neg.f32 (.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32))))))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux #s(literal 1 binary32)) ux) (neg.f32 (*.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32))))))
(fma.f32 #s(literal -1 binary32) ux #s(literal 1 binary32))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 ux #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (neg.f32 (*.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32))))))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) #s(literal 1 binary32))
(pow.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) #s(literal -1 binary32))
(+.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (neg.f32 (*.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32))))))
(+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(+.f32 (neg.f32 ux) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (neg.f32 ux))
(neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (+.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (-.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))
(.f32 (/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (fma.f32 (.f32 maxCos ux) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) #s(literal 2 binary32)))) (-.f32 (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (-.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32))) #s(literal 1 binary32)) #s(literal 1 binary32)))
(.f32 (/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 maxCos ux)) #s(literal 2 binary32)))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 maxCos ux))))
(.f32 (/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (+.f32 (pow.f32 (.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 maxCos ux)) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)))) (fma.f32 (.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (.f32 maxCos ux)) (-.f32 (.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (*.f32 maxCos ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32))))
(.f32 (/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)))) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))))
(.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (+.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))))
(.f32 (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))))
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 3 binary32))))
(.f32 (+.f32 #s(literal -1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))))
(.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 #s(literal 1 binary32) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))
(.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))))))
(.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))))
(.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))))
(.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (/.f32 (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (.f32 (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))))
(.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(*.f32 (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (/.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(.f32 (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(*.f32 #s(literal 1 binary32) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 4 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))) (+.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 6 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 4 binary32))) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))) (+.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))) (+.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (pow.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) #s(literal 2 binary32))))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))) (+.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 9 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 6 binary32))) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 3 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))
(/.f32 (.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 9 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 9 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))) (-.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (pow.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) #s(literal 3 binary32))))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) #s(literal 1 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))
(/.f32 (.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) #s(literal 1 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))
(/.f32 (.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) #s(literal 1 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))) (.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))))) (+.f32 (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (/.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))) (+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))) (.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))) (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (fma.f32 maxCos ux #s(literal 1 binary32))) (.f32 ux ux)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(/.f32 (-.f32 (.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (fma.f32 maxCos ux #s(literal 1 binary32))) (.f32 ux ux)) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (neg.f32 ux)))
(/.f32 (-.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) #s(literal 1 binary32)) (-.f32 (-.f32 (.f32 maxCos ux) ux) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (fma.f32 maxCos ux #s(literal 1 binary32)) (fma.f32 ux ux (*.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (fma.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))) (.f32 (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (/.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (fma.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 (neg.f32 maxCos) ux) #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))
(/.f32 (+.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 (neg.f32 ux) #s(literal 3 binary32))) (fma.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (fma.f32 maxCos ux #s(literal 1 binary32)) (-.f32 (.f32 ux ux) (.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (neg.f32 ux)))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)))) (neg.f32 (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))))) (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))))
(/.f32 (neg.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))) (.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))) (.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))))
(/.f32 (-.f32 (.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (.f32 (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (.f32 (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (+.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 4 binary32))) (.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (+.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) #s(literal 1 binary32))))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)))
(/.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (+.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (pow.f32 (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 6 binary32))) (.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 4 binary32))) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 6 binary32))) (.f32 (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) (+.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 9 binary32))) (.f32 (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 6 binary32))) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 3 binary32)))))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 9 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 9 binary32))) (.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (pow.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) #s(literal 3 binary32)))))
(/.f32 (+.f32 #s(literal -1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32))) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))
(/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32))) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))
(/.f32 #s(literal 1 binary32) (/.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)))
(-.f32 (-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) ux)) ux)
(-.f32 (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 0 binary32)) ux)
(-.f32 (fma.f32 maxCos ux (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32)))) (*.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32)))))
(-.f32 (fma.f32 maxCos ux (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(-.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (fma.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32))) (*.f32 (neg.f32 maxCos) ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (-.f32 (.f32 ux (/.f32 ux (+.f32 ux #s(literal 1 binary32)))) (.f32 maxCos ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (+.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (*.f32 (neg.f32 maxCos) ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (-.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (*.f32 maxCos ux)))
(-.f32 (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (/.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))))
(-.f32 #s(literal 0 binary32) (-.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 maxCos) ux))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(fma.f32 (/.f32 (fma.f32 (neg.f32 ux) ux (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (.f32 (+.f32 (pow.f32 maxCos #s(literal 3 binary32)) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 (.f32 maxCos ux) ux) (.f32 maxCos ux) (*.f32 ux ux)) #s(literal 1 binary32))
(fma.f32 (/.f32 (fma.f32 (neg.f32 ux) ux (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux)))) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))
(fma.f32 (/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (-.f32 (pow.f32 ux #s(literal 4 binary32)) (pow.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) #s(literal 2 binary32)))) (-.f32 (.f32 ux ux) (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux))) #s(literal 1 binary32))
(fma.f32 (/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (+.f32 (pow.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 6 binary32)))) (fma.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) (-.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) (.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) #s(literal 2 binary32)))) (-.f32 (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (neg.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (pow.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (-.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux #s(literal 1 binary32)) ux) (.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (*.f32 maxCos ux))
(fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (fma.f32 (.f32 maxCos ux) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(fma.f32 (*.f32 #s(literal -1 binary32) (fma.f32 #s(literal -1 binary32) maxCos #s(literal 1 binary32))) ux #s(literal 1 binary32))
(fma.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (.f32 maxCos ux))
(fma.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (*.f32 maxCos ux))
(fma.f32 (neg.f32 (fma.f32 #s(literal -1 binary32) maxCos #s(literal 1 binary32))) ux #s(literal 1 binary32))
(fma.f32 (neg.f32 (neg.f32 maxCos)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 (neg.f32 ux)) maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (neg.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))))
(fma.f32 (*.f32 maxCos #s(literal 1 binary32)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (-.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))))
(fma.f32 (fma.f32 #s(literal -1 binary32) maxCos #s(literal 1 binary32)) (neg.f32 ux) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (*.f32 (neg.f32 maxCos) ux) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal -1 binary32) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) ux (-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) ux)))
(fma.f32 #s(literal -1 binary32) ux (fma.f32 maxCos ux #s(literal 1 binary32)))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (.f32 maxCos ux))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (*.f32 maxCos ux))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))) (.f32 maxCos ux))
(fma.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))) (*.f32 maxCos ux))
(fma.f32 (fma.f32 (neg.f32 ux) ux (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) #s(literal 1 binary32))
(fma.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux))) #s(literal 1 binary32))
(fma.f32 (neg.f32 maxCos) (neg.f32 ux) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) #s(literal 1 binary32)) (*.f32 maxCos ux))
(fma.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (.f32 maxCos ux))
(fma.f32 (fma.f32 maxCos ux ux) (/.f32 (-.f32 ux (.f32 maxCos ux)) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))
(fma.f32 (.f32 ux (-.f32 ux (.f32 (*.f32 maxCos maxCos) ux))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 1 binary32))
(fma.f32 (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux))) (/.f32 #s(literal 1 binary32) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))
(fma.f32 (neg.f32 ux) (neg.f32 maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) ux)))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (fma.f32 maxCos ux #s(literal 1 binary32)))
(fma.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) #s(literal 1 binary32)) (.f32 maxCos ux))
(fma.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (*.f32 maxCos ux))
(fma.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)) (/.f32 (-.f32 ux (.f32 maxCos ux)) (neg.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))) #s(literal 1 binary32))
(fma.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))) #s(literal 1 binary32))
(fma.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))) #s(literal 1 binary32))
(fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(fma.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 (*.f32 maxCos ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (/.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 maxCos ux))
(fma.f32 maxCos (neg.f32 (neg.f32 ux)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (*.f32 #s(literal 1 binary32) maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
(fma.f32 ux (neg.f32 (neg.f32 maxCos)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) ux)))
(fma.f32 ux #s(literal -1 binary32) (fma.f32 maxCos ux #s(literal 1 binary32)))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (neg.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) ux)))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (fma.f32 maxCos ux #s(literal 1 binary32)))
(fma.f32 #s(literal 1 binary32) (-.f32 (*.f32 maxCos ux) ux) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(pow.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)) #s(literal -1 binary32))
(+.f32 (-.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 0 binary32)) (*.f32 maxCos ux))
(+.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)))
(+.f32 (-.f32 #s(literal 1 binary32) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux))))
(+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (neg.f32 ux))
(+.f32 (/.f32 #s(literal -1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (neg.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))
(+.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) ux)))
(+.f32 (neg.f32 ux) (fma.f32 maxCos ux #s(literal 1 binary32)))
(+.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal 1 binary32))
(+.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(+.f32 #s(literal 1 binary32) (-.f32 (*.f32 maxCos ux) ux))
(neg.f32 (/.f32 (+.f32 #s(literal -1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32))) (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))))
(neg.f32 (/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(neg.f32 (/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))
(neg.f32 (/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(neg.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32))) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))))
(neg.f32 (/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(neg.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (neg.f32 (fma.f32 (fma.f32 ux (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))))
(neg.f32 (/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))))
(.f32 (/.f32 (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux))) (.f32 (+.f32 (pow.f32 maxCos #s(literal 3 binary32)) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 (.f32 maxCos ux) ux) (.f32 maxCos ux) (.f32 ux ux)))
(.f32 (/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (-.f32 (pow.f32 ux #s(literal 4 binary32)) (pow.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) #s(literal 2 binary32)))) (-.f32 (.f32 ux ux) (.f32 (fma.f32 maxCos ux ux) (*.f32 maxCos ux))))
(.f32 (/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (+.f32 (pow.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 6 binary32)))) (fma.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) (-.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) (*.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32))))
(.f32 (/.f32 (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux))) (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux)))) (-.f32 ux (.f32 maxCos ux)))
(.f32 (.f32 (fma.f32 #s(literal -1 binary32) maxCos #s(literal 1 binary32)) #s(literal 1 binary32)) ux)
(.f32 (.f32 #s(literal 1 binary32) (fma.f32 #s(literal -1 binary32) maxCos #s(literal 1 binary32))) ux)
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 maxCos #s(literal 1 binary32))) (/.f32 (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux))) ux))
(.f32 (/.f32 (fma.f32 maxCos ux ux) (+.f32 maxCos #s(literal 1 binary32))) (/.f32 (-.f32 ux (.f32 maxCos ux)) ux))
(*.f32 (fma.f32 #s(literal -1 binary32) maxCos #s(literal 1 binary32)) ux)
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux))))
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))
(.f32 (fma.f32 (neg.f32 ux) ux (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (/.f32 #s(literal 1 binary32) (*.f32 ux (-.f32 #s(literal -1 binary32) maxCos))))
(.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))))
(.f32 (fma.f32 maxCos ux ux) (/.f32 (-.f32 ux (.f32 maxCos ux)) (fma.f32 maxCos ux ux)))
(.f32 (fma.f32 maxCos ux ux) (.f32 (-.f32 ux (*.f32 maxCos ux)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(.f32 (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux))) (*.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) #s(literal 1 binary32)))
(.f32 (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)) (/.f32 (-.f32 ux (.f32 maxCos ux)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))))
(.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)) (.f32 (-.f32 ux (.f32 maxCos ux)) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))))
(.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux))) #s(literal 1 binary32)))
(.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 (neg.f32 maxCos) ux) (-.f32 (.f32 (neg.f32 maxCos) ux) ux) (*.f32 ux ux))))
(.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))))
(.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))
(*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))
(*.f32 ux (fma.f32 #s(literal -1 binary32) maxCos #s(literal 1 binary32)))
(.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux)))
(/.f32 (.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (fma.f32 ux ux (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (+.f32 (fma.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 maxCos maxCos) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (pow.f32 ux #s(literal 4 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))) (*.f32 (+.f32 (pow.f32 maxCos #s(literal 3 binary32)) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32))))
(/.f32 (.f32 (-.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 9 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))) (+.f32 (pow.f32 ux #s(literal 6 binary32)) (fma.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 maxCos #s(literal 3 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 6 binary32)))))
(/.f32 (.f32 (fma.f32 (neg.f32 ux) ux (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) #s(literal 1 binary32)) (*.f32 ux (-.f32 #s(literal -1 binary32) maxCos)))
(/.f32 (.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) #s(literal 1 binary32)) (neg.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))))
(/.f32 (.f32 #s(literal 1 binary32) (fma.f32 (neg.f32 ux) ux (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (*.f32 ux (-.f32 #s(literal -1 binary32) maxCos)))
(/.f32 (.f32 #s(literal 1 binary32) (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))) (neg.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))))
(/.f32 (-.f32 (.f32 (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux))) (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux)))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)))) (fma.f32 ux (/.f32 ux (fma.f32 maxCos ux ux)) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))))) (+.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 ux ux)) (-.f32 (*.f32 (neg.f32 maxCos) ux) ux))
(/.f32 (-.f32 (pow.f32 (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)) #s(literal 3 binary32))) (fma.f32 (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux))) (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux))) (fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)) (.f32 (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))))))
(/.f32 (/.f32 (.f32 ux (-.f32 ux (.f32 (*.f32 maxCos maxCos) ux))) (+.f32 maxCos #s(literal 1 binary32))) ux)
(/.f32 (neg.f32 (fma.f32 (neg.f32 ux) ux (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))))
(/.f32 (-.f32 (.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (.f32 (fma.f32 maxCos ux ux) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (pow.f32 (fma.f32 maxCos ux ux) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (pow.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)) #s(literal 2 binary32)))
(/.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (.f32 (fma.f32 maxCos ux ux) (fma.f32 ux ux (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(/.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))))
(/.f32 (-.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (.f32 (fma.f32 maxCos ux ux) (+.f32 (fma.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 maxCos maxCos) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (pow.f32 ux #s(literal 4 binary32)))))
(/.f32 (-.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)) (*.f32 (+.f32 (pow.f32 maxCos #s(literal 3 binary32)) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32)))))
(/.f32 (-.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 9 binary32))) (.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)) (+.f32 (pow.f32 ux #s(literal 6 binary32)) (fma.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 maxCos #s(literal 3 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 6 binary32))))))
(/.f32 (fma.f32 (neg.f32 ux) ux (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 (neg.f32 maxCos) ux) (-.f32 (.f32 (neg.f32 maxCos) ux) ux) (.f32 ux ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux))))
(/.f32 (.f32 ux (-.f32 ux (.f32 (*.f32 maxCos maxCos) ux))) (fma.f32 maxCos ux ux))
(/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (.f32 ux ux) (.f32 (*.f32 (neg.f32 ux) ux) maxCos))))
(/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (fma.f32 (.f32 (neg.f32 maxCos) ux) (-.f32 (.f32 (neg.f32 maxCos) ux) ux) (.f32 ux ux)))
(/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))
(/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 (.f32 (neg.f32 maxCos) ux) (-.f32 (.f32 (neg.f32 maxCos) ux) ux) (.f32 ux ux)) (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))))
(/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux))) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux))))
(-.f32 (+.f32 ux #s(literal 0 binary32)) (*.f32 maxCos ux))
(-.f32 (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)))
(-.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux))))
(-.f32 #s(literal 0 binary32) (-.f32 (*.f32 maxCos ux) ux))
(-.f32 ux (*.f32 maxCos ux))
(fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (pow.f32 ux #s(literal 4 binary32)) (pow.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) #s(literal 2 binary32)))) (-.f32 (.f32 ux ux) (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux))) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))))
(fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 6 binary32)))) (fma.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) (-.f32 (.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux)) (.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32))) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))))
(fma.f32 (/.f32 (.f32 ux ux) (.f32 (+.f32 (pow.f32 maxCos #s(literal 3 binary32)) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 (.f32 maxCos ux) ux) (.f32 maxCos ux) (.f32 ux ux)) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))
(fma.f32 (/.f32 (.f32 ux ux) (.f32 ux (-.f32 ux (.f32 (.f32 maxCos maxCos) ux)))) (-.f32 ux (.f32 maxCos ux)) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))
(fma.f32 (*.f32 #s(literal 1 binary32) (neg.f32 maxCos)) ux ux)
(fma.f32 (*.f32 #s(literal 1 binary32) maxCos) (neg.f32 ux) ux)
(fma.f32 (*.f32 (neg.f32 maxCos) #s(literal 1 binary32)) ux ux)
(fma.f32 (/.f32 ux (+.f32 maxCos #s(literal 1 binary32))) (/.f32 ux ux) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))
(fma.f32 (pow.f32 ux #s(literal 3/2 binary32)) (/.f32 (pow.f32 ux #s(literal 3/2 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))))
(fma.f32 #s(literal -1 binary32) (*.f32 maxCos ux) ux)
(fma.f32 (neg.f32 maxCos) ux ux)
(fma.f32 (neg.f32 ux) (*.f32 maxCos #s(literal 1 binary32)) ux)
(fma.f32 (neg.f32 ux) maxCos ux)
(fma.f32 (*.f32 (neg.f32 maxCos) ux) #s(literal 1 binary32) ux)
(fma.f32 (.f32 ux ux) (/.f32 ux (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))))
(fma.f32 (.f32 ux ux) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))
(fma.f32 (pow.f32 ux #s(literal 3 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))))
(fma.f32 (*.f32 maxCos ux) #s(literal -1 binary32) ux)
(fma.f32 maxCos (neg.f32 ux) ux)
(fma.f32 ux (/.f32 (.f32 ux ux) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux)))))
(fma.f32 ux (/.f32 ux (fma.f32 maxCos ux ux)) (neg.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))
(fma.f32 ux (*.f32 #s(literal 1 binary32) (neg.f32 maxCos)) ux)
(fma.f32 ux (*.f32 (neg.f32 maxCos) #s(literal 1 binary32)) ux)
(fma.f32 ux (neg.f32 maxCos) ux)
(fma.f32 ux #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) ux))
(fma.f32 #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) ux) ux)
(fma.f32 #s(literal 1 binary32) ux (*.f32 (neg.f32 maxCos) ux))
(pow.f32 (/.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux))) #s(literal -1 binary32))
(+.f32 (.f32 ux (/.f32 ux (fma.f32 maxCos ux ux))) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))
(+.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (.f32 ux ux))) (neg.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (fma.f32 maxCos ux ux) (.f32 maxCos ux) (*.f32 ux ux)))))
(+.f32 (*.f32 (neg.f32 maxCos) ux) ux)
(+.f32 ux (*.f32 (neg.f32 maxCos) ux))
(neg.f32 (-.f32 (*.f32 maxCos ux) ux))
(*.f32 (neg.f32 (neg.f32 maxCos)) ux)
(*.f32 (neg.f32 (neg.f32 ux)) maxCos)
(.f32 (.f32 maxCos #s(literal 1 binary32)) ux)
(.f32 #s(literal -1 binary32) (.f32 (neg.f32 maxCos) ux))
(*.f32 (neg.f32 maxCos) (neg.f32 ux))
(*.f32 (neg.f32 ux) (neg.f32 maxCos))
(.f32 (.f32 maxCos ux) #s(literal 1 binary32))
(*.f32 maxCos (neg.f32 (neg.f32 ux)))
(*.f32 maxCos ux)
(.f32 ux (.f32 #s(literal 1 binary32) maxCos))
(*.f32 ux (neg.f32 (neg.f32 maxCos)))
(*.f32 ux maxCos)
(.f32 #s(literal 1 binary32) (.f32 maxCos ux))
(-.f32 #s(literal 0 binary32) (*.f32 (neg.f32 maxCos) ux))
(neg.f32 (*.f32 (neg.f32 maxCos) ux))

eval56.0ms (1.8%)

Memory: 1.7MiB live, 97.7MiB allocated
Compiler: Compiled 8 951 to 1 071 computations (88% saved)

prune7.0ms (0.2%)

Memory

-15.3MiB live, 22.9MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	373	0	373
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	373	3	376

Accuracy

100.0%

Counts

376 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
✓	98.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
✓	71.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 61 to 42 computations (31.1% saved)

regimes8.0ms (0.3%)

Memory

20.1MiB live, 20.1MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))

Outputs
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))

Calls

4 calls:

2.0ms	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
2.0ms	uy
2.0ms	ux
2.0ms	maxCos

Results

Accuracy	Segments	Branch
100.0%	1	`ux`
100.0%	1	`uy`
100.0%	1	`maxCos`
100.0%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes9.0ms (0.3%)

Memory

-21.3MiB live, 17.3MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))

Outputs
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))

Calls

4 calls:

3.0ms	maxCos
2.0ms	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
2.0ms	uy
2.0ms	ux

Results

Accuracy	Segments	Branch
99.9%	1	`ux`
99.9%	1	`uy`
99.9%	1	`maxCos`
99.9%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes6.0ms (0.2%)

Memory

12.4MiB live, 12.4MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))

Calls

4 calls:

1.0ms	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
1.0ms	uy
1.0ms	maxCos
1.0ms	ux

Results

Accuracy	Segments	Branch
98.6%	1	`ux`
98.6%	1	`uy`
98.6%	1	`maxCos`
98.6%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes5.0ms (0.1%)

Memory

10.5MiB live, 10.5MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Calls

4 calls:

1.0ms	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
1.0ms	uy
1.0ms	ux
1.0ms	maxCos

Results

Accuracy	Segments	Branch
71.4%	1	`ux`
71.4%	1	`uy`
71.4%	1	`maxCos`
71.4%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`

Compiler

Compiled 10 to 16 computations (-60% saved)

simplify145.0ms (4.6%)

Memory

-12.8MiB live, 68.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	31	34
2	63	34
3	113	34
4	221	34
5	461	34
6	1007	34
7	4287	34
8	5381	34
9	7348	34

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Outputs
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

soundness683.0ms (21.9%)

Memory

17.0MiB live, 243.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
0	9	13
1	42	13
2	343	13
3	5314	13
0	9014	12
0	39	70
1	110	70
2	322	70
3	927	70
4	2389	70
5	3686	70
6	4761	70
7	5807	70
8	7386	70
9	7923	70
0	8059	64

Stop Event

1×	done
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 59 to 37 computations (37.3% saved)

preprocess21.0ms (0.7%)

Memory: 2.9MiB live, 38.9MiB allocated
Remove: (abs uy)
Compiler: Compiled 110 to 74 computations (32.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze82.0ms (2.6%)

sample974.0ms (31.2%)

explain57.0ms (1.8%)

preprocess60.0ms (1.9%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify19.0ms (0.6%)

localize15.0ms (0.5%)

series4.0ms (0.1%)

simplify142.0ms (4.5%)

rewrite171.0ms (5.5%)

eval302.0ms (9.7%)

prune4.0ms (0.1%)

simplify20.0ms (0.6%)

localize32.0ms (1%)

series3.0ms (0.1%)

simplify146.0ms (4.7%)

rewrite156.0ms (5%)

eval56.0ms (1.8%)

prune7.0ms (0.2%)

regimes8.0ms (0.3%)

regimes9.0ms (0.3%)

regimes6.0ms (0.2%)

regimes5.0ms (0.1%)

simplify145.0ms (4.6%)

soundness683.0ms (21.9%)

preprocess21.0ms (0.7%)

end0.0ms (0%)

Profiling