Metrics for UniformSampleCone, z

analyze102.0ms (2.8%)

Memory

16.9MiB live, 124.1MiB 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)

sample1.0s (27.5%)

Memory

40.7MiB live, 1 370.6MiB allocated

Samples

671.0ms	8 166×	0	valid
9.0ms	90×	1	valid

Precisions

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

const: 163.0ms (35% of total)

ival-<=: 119.0ms (25.6% of total)

ival-mult: 52.0ms (11.2% of total)

ival-sub: 46.0ms (9.9% of total)

ival-add: 43.0ms (9.2% of total)

ival-and: 31.0ms (6.7% of total)

exact: 7.0ms (1.5% of total)

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

adjust: 1.0ms (0.2% of total)

Bogosity

preprocess64.0ms (1.7%)

Memory

34.2MiB live, 71.5MiB allocated

Algorithm

2×	egg-herbie

Rules

384×	`accelerator-lowering-fma.f32`
384×	`accelerator-lowering-fma.f64`
358×	`sub-neg`
248×	`cancel-sign-sub-inv`
204×	`associate-+l-`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	79
1	78	70
2	215	70
3	586	70
4	1301	70
5	1688	70
6	1819	70
7	1839	70
0	6	7
1	14	7
2	32	7
3	61	7
4	140	7
5	284	7
6	420	7
7	458	7
8	463	7
0	463	6

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

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

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

Call 2

Inputs
(+ (- 1 ux) (* ux maxCos))
(+ (- 1 (neg ux)) (* (neg ux) maxCos))
(+ (- 1 ux) (* ux maxCos))
(+ (- 1 ux) (* ux (neg maxCos)))
(neg (+ (- 1 (neg ux)) (* (neg ux) maxCos)))
(neg (+ (- 1 ux) (* ux maxCos)))
(neg (+ (- 1 ux) (* ux (neg maxCos))))
(+ (- 1 uy) (* uy maxCos))
(+ (- 1 maxCos) (* maxCos ux))
(+ (- 1 ux) (* ux uy))

Outputs
(+ (- 1 ux) (* ux maxCos))
(+ 1 (- (* ux maxCos) ux))
(+ (- 1 (neg ux)) (* (neg ux) maxCos))
(- 1 (- (* ux maxCos) ux))
(+ (- 1 ux) (* ux maxCos))
(+ 1 (- (* ux maxCos) ux))
(+ (- 1 ux) (* ux (neg maxCos)))
(- 1 (+ ux (* ux maxCos)))
(neg (+ (- 1 (neg ux)) (* (neg ux) maxCos)))
(+ -1 (- (* ux maxCos) ux))
(neg (+ (- 1 ux) (* ux maxCos)))
(+ ux (- -1 (* ux maxCos)))
(neg (+ (- 1 ux) (* ux (neg maxCos))))
(+ ux (+ (* ux maxCos) -1))
(+ (- 1 uy) (* uy maxCos))
(+ 1 (* uy (+ maxCos -1)))
(+ (- 1 maxCos) (* maxCos ux))
(- 1 (- maxCos (* ux maxCos)))
(+ (- 1 ux) (* ux uy))
(- 1 (- ux (* ux uy)))

Symmetry

(abs uy)

explain65.0ms (1.8%)

Memory

-13.8MiB live, 101.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

26.0ms

512×

valid

Compiler

Compiled 56 to 32 computations (42.9% saved)

Precisions

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

ival-add: 3.0ms (30% of total)

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

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

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

exact: 0.0ms (0% of total)

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 7 computations (30% saved)

simplify22.0ms (0.6%)

Memory

-8.8MiB live, 28.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	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))

Rules

384×	`accelerator-lowering-fma.f32`
384×	`accelerator-lowering-fma.f64`
160×	`-lowering-.f32`
160×	`-lowering-.f64`
120×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	16
1	14	16
2	32	16
3	61	16
4	140	16
5	284	16
6	420	16
7	458	16
8	463	16
0	463	15

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize17.0ms (0.5%)

Memory

27.5MiB live, 27.5MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(-.f32 #s(literal 1 binary32) ux)
✓	accuracy	100.0%	(*.f32 ux maxCos)
✓	accuracy	100.0%	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))

Samples

10.0ms

256×

valid

Compiler

Compiled 18 to 9 computations (50% saved)

Precisions

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

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

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

ival-mult: 1.0ms (23.1% of total)

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

exact: 0.0ms (0% of total)

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

series234.0ms (6.3%)

Memory

-50.5MiB live, 5.7MiB allocated

Counts

3 → 60

Calls

Call 1

Inputs
#<alt (+ (- 1 ux) (* ux maxCos))>
#<alt (- 1 ux)>
#<alt (* ux maxCos)>

Outputs
#<alt 1>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* -1 (* ux (+ 1 (* -1 maxCos))))>
#<alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))>
#<alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))>
#<alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))>
#<alt (- 1 ux)>
#<alt (- (+ 1 (* maxCos ux)) ux)>
#<alt (- (+ 1 (* maxCos ux)) ux)>
#<alt (- (+ 1 (* maxCos ux)) ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))>
#<alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))>
#<alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))>
#<alt (* maxCos ux)>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))>
#<alt 1>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (* -1 ux))>
#<alt (* -1 ux)>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* -1 ux)>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>

Calls

15 calls:

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

rewrite287.0ms (7.8%)

Memory

44.4MiB live, 423.3MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

5 750×	`accelerator-lowering-fma.f32`
5 750×	`accelerator-lowering-fma.f64`
4 062×	`-lowering-.f32`
4 062×	`-lowering-.f64`
2 014×	`/-lowering-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	39	13
2	340	13
3	5280	13
0	8979	12

Stop Event

1×	iter limit
1×	node limit

Counts

3 → 311

Calls

Call 1

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

Outputs
(neg.f32 (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(exp.f32 (*.f32 (log.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) #s(literal -1 binary32)))
(+.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 maxCos) ux))
(+.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (neg.f32 ux)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (-.f32 #s(literal -1 binary32) maxCos)))
(+.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 ux maxCos ux)))
(+.f32 (+.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(+.f32 (+.f32 #s(literal 1 binary32) ux) (*.f32 ux (neg.f32 maxCos)))
(+.f32 (*.f32 ux maxCos) (+.f32 #s(literal 1 binary32) ux))
(+.f32 (neg.f32 ux) (fma.f32 ux maxCos #s(literal 1 binary32)))
(+.f32 (neg.f32 ux) (+.f32 #s(literal 1 binary32) (*.f32 ux (neg.f32 maxCos))))
(+.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(+.f32 (fma.f32 ux (neg.f32 maxCos) ux) #s(literal 1 binary32))
(+.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (neg.f32 (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(+.f32 (*.f32 ux (neg.f32 maxCos)) (+.f32 #s(literal 1 binary32) ux))
(+.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (neg.f32 ux))
(+.f32 (fma.f32 ux maxCos (neg.f32 ux)) #s(literal 1 binary32))
(+.f32 (*.f32 ux (-.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32))
(pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) #s(literal -1 binary32))
(pow.f32 (/.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) #s(literal 1 binary32)) #s(literal -1 binary32))
(pow.f32 (/.f32 (fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux))))) #s(literal -1 binary32))
(pow.f32 (/.f32 (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (+.f32 (-.f32 (*.f32 ux maxCos) #s(literal 1 binary32)) ux))) #s(literal -1 binary32))
(pow.f32 (/.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (+.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux (neg.f32 maxCos) ux)))) #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 #s(literal 1 binary32) (*.f32 ux maxCos) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (fma.f32 ux maxCos #s(literal 1 binary32)))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (+.f32 #s(literal 1 binary32) (*.f32 ux (neg.f32 maxCos))))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (-.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 maxCos) ux) #s(literal 1 binary32))
(fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))
(fma.f32 ux #s(literal -1 binary32) (fma.f32 ux maxCos #s(literal 1 binary32)))
(fma.f32 ux #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux (neg.f32 maxCos))))
(fma.f32 ux #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 ux (neg.f32 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) 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) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (exp.f32 (log.f32 maxCos)) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 (+.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (+.f32 #s(literal 1 binary32) ux) (/.f32 (+.f32 #s(literal 1 binary32) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (neg.f32 (/.f32 (.f32 ux (.f32 maxCos (*.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(fma.f32 maxCos ux (+.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos (neg.f32 ux) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 (*.f32 ux maxCos) #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (neg.f32 (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (.f32 ux maxCos))
(fma.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (.f32 ux (neg.f32 maxCos)))
(fma.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) #s(literal 1 binary32)) (*.f32 ux maxCos))
(fma.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) #s(literal 1 binary32)) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (fma.f32 ux maxCos #s(literal 1 binary32)))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux (neg.f32 maxCos))))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 (neg.f32 ux) maxCos (+.f32 #s(literal 1 binary32) ux))
(fma.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (*.f32 ux maxCos))
(fma.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) (.f32 ux maxCos))
(fma.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) (.f32 ux (neg.f32 maxCos)))
(fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (*.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (+.f32 (neg.f32 ux) #s(literal -1 binary32))) (.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (+.f32 (neg.f32 ux) #s(literal -1 binary32))) (.f32 ux (neg.f32 maxCos)))
(fma.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (.f32 ux maxCos))
(fma.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (.f32 ux (neg.f32 maxCos)))
(fma.f32 (.f32 (fma.f32 (.f32 ux maxCos) (fma.f32 ux maxCos ux) (.f32 ux ux)) (fma.f32 ux (neg.f32 maxCos) ux)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux maxCos) (fma.f32 ux maxCos ux) (*.f32 ux ux))) #s(literal 1 binary32))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (*.f32 ux maxCos))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (*.f32 ux (neg.f32 maxCos)) #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal -1 binary32) ux (fma.f32 ux maxCos #s(literal 1 binary32)))
(fma.f32 #s(literal -1 binary32) ux (+.f32 #s(literal 1 binary32) (*.f32 ux (neg.f32 maxCos))))
(fma.f32 #s(literal -1 binary32) ux (-.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 #s(literal -1 binary32) (*.f32 ux maxCos) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal -1 binary32) (fma.f32 ux (neg.f32 maxCos) ux) #s(literal 1 binary32))
(fma.f32 (.f32 ux (-.f32 ux (.f32 maxCos (*.f32 ux maxCos)))) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos ux)) #s(literal 1 binary32))
(fma.f32 (neg.f32 maxCos) ux (+.f32 #s(literal 1 binary32) ux))
(fma.f32 (.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (*.f32 ux maxCos))
(fma.f32 (.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (.f32 ux maxCos))
(fma.f32 (.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (.f32 ux (neg.f32 maxCos)))
(fma.f32 (+.f32 (neg.f32 maxCos) #s(literal 1 binary32)) ux #s(literal 1 binary32))
(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 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (.f32 ux (neg.f32 maxCos)))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) ux) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (neg.f32 (/.f32 (.f32 ux (.f32 maxCos (*.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.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) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (neg.f32 (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(fma.f32 (/.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (fma.f32 (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)) (fma.f32 ux ux ux) #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 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (fma.f32 (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)) (fma.f32 ux ux ux) #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 ux (neg.f32 maxCos)))
(fma.f32 (/.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (*.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (*.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux)))) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)) (*.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux)))) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (+.f32 (neg.f32 ux) #s(literal -1 binary32)) (.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (+.f32 (neg.f32 ux) #s(literal -1 binary32)) (.f32 ux (neg.f32 maxCos)))
(fma.f32 (exp.f32 (log1p.f32 (.f32 ux (neg.f32 ux)))) (exp.f32 (neg.f32 (log1p.f32 ux))) (.f32 ux maxCos))
(fma.f32 (exp.f32 (log1p.f32 (.f32 ux (neg.f32 ux)))) (exp.f32 (neg.f32 (log1p.f32 ux))) (.f32 ux (neg.f32 maxCos)))
(fma.f32 (exp.f32 (log1p.f32 (.f32 ux (.f32 ux ux)))) (exp.f32 (neg.f32 (log1p.f32 (fma.f32 ux ux ux)))) (*.f32 ux maxCos))
(fma.f32 (exp.f32 (log1p.f32 (.f32 ux (.f32 ux ux)))) (exp.f32 (neg.f32 (log1p.f32 (fma.f32 ux ux ux)))) (*.f32 ux (neg.f32 maxCos)))
(fma.f32 (exp.f32 (log.f32 maxCos)) ux (+.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 maxCos) ux))
(-.f32 #s(literal 1 binary32) (fma.f32 ux maxCos ux))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux (neg.f32 maxCos))))
(-.f32 (+.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(-.f32 (+.f32 #s(literal 1 binary32) ux) (*.f32 ux (neg.f32 maxCos)))
(-.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(-.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (-.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (*.f32 ux maxCos)))
(-.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (-.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (*.f32 ux (neg.f32 maxCos))))
(-.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (fma.f32 ux (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (.f32 ux maxCos)))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (*.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (-.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 ux maxCos)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (-.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 ux (neg.f32 maxCos))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (/.f32 ux (+.f32 #s(literal 1 binary32) ux)) (*.f32 ux maxCos)))
(-.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) ux)
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))) (/.f32 (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux))) (fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(-.f32 (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux)) (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux)))
(-.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))) (/.f32 (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))))
(-.f32 (fma.f32 ux maxCos (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(-.f32 (fma.f32 ux maxCos (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))) (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)))
(-.f32 (+.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) #s(literal 0 binary32)) ux)
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux))))))
(/.f32 #s(literal 1 binary32) (/.f32 (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (+.f32 (-.f32 (*.f32 ux maxCos) #s(literal 1 binary32)) ux))))
(/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (+.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux (neg.f32 maxCos) ux)))))
(/.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(/.f32 (*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (neg.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))))
(/.f32 (neg.f32 (*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (fma.f32 (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))) (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (fma.f32 (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))) (-.f32 (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux)))) (fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(/.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux)) (+.f32 (-.f32 (*.f32 ux maxCos) #s(literal 1 binary32)) ux))
(/.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.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) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))))
(/.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (*.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))))))
(/.f32 (.f32 (fma.f32 ux (.f32 maxCos (.f32 ux maxCos)) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (.f32 maxCos (.f32 ux maxCos)) (*.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))
(/.f32 (+.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux (neg.f32 maxCos) ux))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (-.f32 (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (.f32 ux (.f32 maxCos (.f32 ux maxCos))))) (*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (.f32 (fma.f32 (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))) (-.f32 (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))))
(/.f32 (.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) #s(literal 1 binary32)) (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))))
(/.f32 (.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (.f32 (.f32 (fma.f32 ux (.f32 maxCos (.f32 ux maxCos)) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) #s(literal 1 binary32)) (.f32 (fma.f32 ux (.f32 maxCos (.f32 ux maxCos)) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (neg.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))) (neg.f32 (neg.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))))
(/.f32 (neg.f32 (neg.f32 (*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux))))) (neg.f32 (fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux))) (neg.f32 (+.f32 (-.f32 (*.f32 ux maxCos) #s(literal 1 binary32)) ux)))
(/.f32 (neg.f32 (+.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux (neg.f32 maxCos) ux)))) (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux maxCos (neg.f32 ux))) (fma.f32 ux maxCos (neg.f32 ux)))) (+.f32 #s(literal 1 binary32) (-.f32 (.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux maxCos (neg.f32 ux))) (.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (neg.f32 ux))))))
(/.f32 (fma.f32 (.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32))) (fma.f32 ux maxCos #s(literal 1 binary32)) (.f32 ux (.f32 ux ux))) (fma.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32)) (-.f32 (.f32 ux ux) (*.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (neg.f32 ux)))))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)))) (+.f32 #s(literal 1 binary32) (-.f32 (.f32 (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))) (.f32 #s(literal 1 binary32) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))))))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux)))) (+.f32 #s(literal 1 binary32) (-.f32 (*.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux)) (fma.f32 ux (neg.f32 maxCos) ux))))
(/.f32 (-.f32 (.f32 (.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (.f32 (.f32 (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))) (fma.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (fma.f32 (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 ux (.f32 maxCos (*.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))))
(/.f32 (-.f32 (.f32 (.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32))) (fma.f32 ux maxCos #s(literal 1 binary32))) (.f32 ux (.f32 ux ux))) (fma.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux ux (*.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) ux))))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (fma.f32 ux maxCos ux) (fma.f32 ux maxCos ux)) (fma.f32 ux maxCos ux))) (+.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux maxCos ux) (fma.f32 ux maxCos ux) (*.f32 #s(literal 1 binary32) (fma.f32 ux maxCos ux)))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux maxCos (neg.f32 ux)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (neg.f32 ux))))
(/.f32 (-.f32 (.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32))) (.f32 ux ux)) (-.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (neg.f32 ux)))
(/.f32 (-.f32 (.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32))) (.f32 ux ux)) (+.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) ux))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos)))) (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 #s(literal -1 binary32) maxCos))))
(/.f32 (-.f32 (.f32 (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (.f32 (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (/.f32 (+.f32 #s(literal 1 binary32) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 ux (.f32 maxCos (*.f32 ux maxCos))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux maxCos ux) (fma.f32 ux maxCos ux))) (+.f32 #s(literal 1 binary32) (fma.f32 ux maxCos ux)))
(/.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) #s(literal 1 binary32)) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(/.f32 (.f32 (fma.f32 (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))) (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))) (fma.f32 (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))) (-.f32 (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))))))
(/.f32 (.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.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) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))))
(/.f32 (.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (fma.f32 (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (*.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))
(/.f32 (.f32 (.f32 (fma.f32 ux (.f32 maxCos (.f32 ux maxCos)) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (fma.f32 ux (.f32 maxCos (.f32 ux maxCos)) (*.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.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) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))))
(/.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(*.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))))
(.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))))
(.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (/.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))))
(.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (/.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(.f32 (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))))
(.f32 (neg.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(.f32 (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (*.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux)))) (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.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) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (*.f32 ux maxCos)))))
(.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux)) (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux)))
(.f32 (+.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux (neg.f32 maxCos) ux))) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(.f32 (/.f32 (fma.f32 ux maxCos (+.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) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) (/.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))))
(.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.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) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos))))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))) (fma.f32 (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (-.f32 (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (*.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))
(.f32 (/.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux (.f32 ux maxCos)) (.f32 maxCos (.f32 ux maxCos)))) (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (-.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))) (-.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))) (neg.f32 (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (.f32 (*.f32 ux maxCos) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))))
(.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (neg.f32 (*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))) (neg.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux (neg.f32 maxCos) ux))))) (fma.f32 (fma.f32 ux (neg.f32 maxCos) ux) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (+.f32 (-.f32 (.f32 ux maxCos) #s(literal 1 binary32)) ux))) (+.f32 (-.f32 (*.f32 ux maxCos) #s(literal 1 binary32)) ux))
(.f32 (/.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) (+.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux maxCos (neg.f32 ux)) (fma.f32 ux (neg.f32 maxCos) ux)))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(neg.f32 (+.f32 (neg.f32 ux) #s(literal -1 binary32)))
(exp.f32 (log1p.f32 ux))
(exp.f32 (*.f32 (neg.f32 (log1p.f32 ux)) #s(literal -1 binary32)))
(exp.f32 (*.f32 (log1p.f32 ux) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) ux)
(+.f32 #s(literal 1 binary32) (neg.f32 ux))
(+.f32 #s(literal 1 binary32) (neg.f32 (neg.f32 ux)))
(+.f32 ux #s(literal 1 binary32))
(+.f32 (neg.f32 ux) #s(literal 1 binary32))
(+.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (neg.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(pow.f32 (+.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(pow.f32 (/.f32 #s(literal 1 binary32) (+.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))
(fma.f32 #s(literal 1 binary32) ux #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (neg.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (neg.f32 (/.f32 (*.f32 ux 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 (+.f32 #s(literal 1 binary32) ux) (/.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (/.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) ux #s(literal 1 binary32))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) ux) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))))) (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) (fma.f32 (.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux))))) (fma.f32 ux ux #s(literal 1 binary32)) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)) (fma.f32 ux ux ux) #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 (.f32 ux (*.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (neg.f32 (/.f32 (.f32 ux (*.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(-.f32 #s(literal 1 binary32) ux)
(-.f32 #s(literal 1 binary32) (neg.f32 ux))
(-.f32 #s(literal 0 binary32) (-.f32 ux #s(literal 1 binary32)))
(-.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) 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) (exp.f32 (neg.f32 (log1p.f32 ux))))
(/.f32 (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) ux))
(/.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux))) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)))
(/.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux)) (+.f32 (neg.f32 ux) #s(literal -1 binary32)))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (.f32 (+.f32 #s(literal 1 binary32) ux) (fma.f32 (*.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #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) (.f32 ux (.f32 ux (.f32 ux ux)))) (.f32 (+.f32 #s(literal 1 binary32) ux) (fma.f32 ux ux #s(literal 1 binary32))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (.f32 ux (.f32 ux ux)))) (*.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(/.f32 (-.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 ux ux))) (*.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) #s(literal 1 binary32)) (.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux)))) #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) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(/.f32 (.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(/.f32 (*.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) ux))
(/.f32 (.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (.f32 ux (*.f32 ux ux)))) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)))
(/.f32 (.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (+.f32 (neg.f32 ux) #s(literal -1 binary32)))
(/.f32 (.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(/.f32 (*.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) ux))
(/.f32 (.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (*.f32 ux ux))) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)))
(/.f32 (.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) #s(literal 1 binary32)) (+.f32 (neg.f32 ux) #s(literal -1 binary32)))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux)))) (neg.f32 (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux))) (+.f32 #s(literal 1 binary32) ux))
(/.f32 (-.f32 (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))) (.f32 (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))))) (+.f32 (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (fma.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (*.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))))
(/.f32 (-.f32 (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))) (.f32 (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))))) (+.f32 (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (fma.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))))
(/.f32 (-.f32 (*.f32 ux ux) #s(literal 1 binary32)) (-.f32 (neg.f32 ux) #s(literal 1 binary32)))
(/.f32 (-.f32 (*.f32 ux ux) #s(literal 1 binary32)) (-.f32 ux #s(literal 1 binary32)))
(/.f32 (-.f32 (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))) (+.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(/.f32 (-.f32 (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux))) (.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)))) (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)))) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))) (fma.f32 (*.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))) (fma.f32 ux ux #s(literal 1 binary32)))
(/.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))))
(/.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (exp.f32 (log1p.f32 (*.f32 ux (neg.f32 ux)))) (+.f32 #s(literal 1 binary32) ux))
(/.f32 (exp.f32 (log1p.f32 (.f32 ux (.f32 ux ux)))) (exp.f32 (log1p.f32 (fma.f32 ux ux ux))))
(/.f32 (exp.f32 (log.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux))))) (exp.f32 (log.f32 (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)))))
(/.f32 (exp.f32 (log.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux)))) (exp.f32 (log.f32 (+.f32 (neg.f32 ux) #s(literal -1 binary32)))))
(*.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))
(*.f32 (+.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))))
(.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (*.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) #s(literal 1 binary32)))
(*.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)))
(.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (*.f32 ux ux))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (+.f32 (neg.f32 ux) #s(literal -1 binary32))))
(.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)))
(*.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)))
(.f32 (.f32 #s(literal 1 binary32) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32))) (/.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))))
(.f32 (.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(*.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) ux))
(.f32 (/.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (fma.f32 (*.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)) (fma.f32 ux ux ux) #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 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(*.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux (*.f32 ux ux)))) (+.f32 #s(literal -1 binary32) (fma.f32 ux ux ux)))
(.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (+.f32 (neg.f32 ux) #s(literal -1 binary32)))
(.f32 (exp.f32 (log1p.f32 (.f32 ux (neg.f32 ux)))) (exp.f32 (neg.f32 (log1p.f32 ux))))
(.f32 (exp.f32 (log1p.f32 (.f32 ux (*.f32 ux ux)))) (exp.f32 (neg.f32 (log1p.f32 (fma.f32 ux ux ux)))))
(exp.f32 (log.f32 (*.f32 ux maxCos)))
(exp.f32 (.f32 (log.f32 (.f32 ux maxCos)) #s(literal 1 binary32)))
(pow.f32 (*.f32 ux maxCos) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (.f32 ux maxCos))
(*.f32 ux maxCos)
(.f32 ux (.f32 #s(literal 1 binary32) maxCos))
(*.f32 ux (exp.f32 (log.f32 maxCos)))
(*.f32 maxCos ux)
(.f32 (.f32 ux maxCos) #s(literal 1 binary32))
(.f32 (.f32 maxCos #s(literal 1 binary32)) ux)
(*.f32 (exp.f32 (log.f32 maxCos)) ux)

simplify242.0ms (6.6%)

Memory

27.4MiB live, 252.7MiB allocated

Algorithm

1×	egg-herbie

Rules

5 316×	`accelerator-lowering-fma.f32`
5 316×	`accelerator-lowering-fma.f64`
2 180×	`div-sub`
2 012×	`-lowering-.f32`
2 012×	`-lowering-.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	250
1	110	250
2	306	250
3	852	250
4	2100	250
5	3316	250
6	4299	250
7	5328	250
8	6757	250
9	7301	250
10	7633	250
11	7955	250
0	8006	232

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

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

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

eval45.0ms (1.2%)

Memory: -13.8MiB live, 68.4MiB allocated
Compiler: Compiled 8 059 to 762 computations (90.5% saved)

prune53.0ms (1.4%)

Memory

17.7MiB live, 92.0MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	368	3	371
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	369	3	372

Accuracy

100.0%

Counts

372 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
▶	98.2%	(-.f32 #s(literal 1 binary32) ux)
▶	70.0%	#s(literal 1 binary32)

Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify32.0ms (0.9%)

Memory

-16.1MiB live, 22.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Program
✓	cost-diff	(+.f32 #s(literal -1 binary32) maxCos)
✓	cost-diff	(fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
✓	cost-diff	(-.f32 #s(literal 1 binary32) ux)

Rules

384×	`accelerator-lowering-fma.f32`
384×	`accelerator-lowering-fma.f64`
160×	`-lowering-.f32`
160×	`-lowering-.f64`
120×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	21	20
2	34	20
3	51	20
4	84	20
5	136	20
6	257	20
7	378	20
8	464	20
9	479	20
10	483	20
0	483	19

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize59.0ms (1.6%)

Memory

-20.3MiB live, 37.6MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
✓	accuracy	100.0%	(+.f32 #s(literal -1 binary32) maxCos)
✓	accuracy	100.0%	(-.f32 #s(literal 1 binary32) ux)

Samples

50.0ms

256×

valid

Compiler

Compiled 21 to 11 computations (47.6% saved)

Precisions

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

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

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

ival-sub: 1.0ms (14.4% 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

3.5MiB live, 3.5MiB allocated

Counts

3 → 48

Calls

Call 1

Inputs
#<alt (- 1 ux)>
#<alt (+ (* ux (+ -1 maxCos)) 1)>
#<alt (+ -1 maxCos)>

Outputs
#<alt 1>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (* -1 ux))>
#<alt (* -1 ux)>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* -1 ux)>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt 1>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))>
#<alt (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))>
#<alt (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (+ (* -1 ux) (* maxCos ux)))>
#<alt (+ 1 (+ (* -1 ux) (* maxCos ux)))>
#<alt (+ 1 (+ (* -1 ux) (* maxCos ux)))>
#<alt (* maxCos ux)>
#<alt (* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))>
#<alt (* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))>
#<alt (* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))>
#<alt (* maxCos ux)>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))>
#<alt -1>
#<alt (- maxCos 1)>
#<alt (- maxCos 1)>
#<alt (- maxCos 1)>
#<alt maxCos>
#<alt (* maxCos (- 1 (/ 1 maxCos)))>
#<alt (* maxCos (- 1 (/ 1 maxCos)))>
#<alt (* maxCos (- 1 (/ 1 maxCos)))>
#<alt maxCos>
#<alt (* -1 (* maxCos (- (/ 1 maxCos) 1)))>
#<alt (* -1 (* maxCos (- (/ 1 maxCos) 1)))>
#<alt (* -1 (* maxCos (- (/ 1 maxCos) 1)))>

Calls

12 calls:

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

rewrite422.0ms (11.4%)

Memory

20.5MiB live, 516.4MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

6 686×	`accelerator-lowering-fma.f32`
6 686×	`accelerator-lowering-fma.f64`
4 100×	`-lowering-.f32`
4 100×	`-lowering-.f64`
3 126×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	56	13
2	438	13
3	4433	13
0	9645	12

Stop Event

1×	iter limit
1×	node limit

Counts

3 → 345

Calls

Call 1

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

Outputs
(neg.f32 (+.f32 #s(literal -1 binary32) (neg.f32 ux)))
(exp.f32 (*.f32 (log.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))) #s(literal -1 binary32)))
(+.f32 #s(literal 1 binary32) ux)
(+.f32 #s(literal 1 binary32) (neg.f32 ux))
(+.f32 #s(literal 1 binary32) (neg.f32 (neg.f32 ux)))
(+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 ux) #s(literal -1 binary32)))
(+.f32 ux #s(literal 1 binary32))
(+.f32 (neg.f32 ux) #s(literal 1 binary32))
(+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (neg.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(pow.f32 (/.f32 #s(literal 1 binary32) (+.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))
(fma.f32 #s(literal 1 binary32) ux #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (neg.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (neg.f32 (/.f32 (*.f32 ux 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) ux #s(literal 1 binary32))
(fma.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (/.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (+.f32 #s(literal 1 binary32) ux) (/.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) #s(literal -1 binary32)) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) ux) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux ux ux) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)) #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 (.f32 ux (*.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (fma.f32 ux ux ux) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)) #s(literal 1 binary32))) (pow.f32 (/.f32 #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))) #s(literal -1 binary32)) (neg.f32 (/.f32 (.f32 ux (*.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (neg.f32 (/.f32 (.f32 ux (*.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)))) (pow.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) #s(literal -1 binary32)) (neg.f32 (/.f32 (.f32 ux (*.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))))) (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) (fma.f32 (.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux))))) (fma.f32 ux ux #s(literal 1 binary32)) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (pow.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (pow.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (pow.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal -1 binary32)) (+.f32 #s(literal 1 binary32) ux) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (pow.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux)))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (neg.f32 (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(fma.f32 (pow.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (neg.f32 ux))) (neg.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(-.f32 #s(literal 1 binary32) ux)
(-.f32 #s(literal 1 binary32) (neg.f32 ux))
(-.f32 #s(literal 0 binary32) (-.f32 ux #s(literal 1 binary32)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) 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) (neg.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) ux))
(/.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux))) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(/.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux)) (+.f32 #s(literal -1 binary32) (neg.f32 ux)))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32))))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (.f32 (+.f32 #s(literal 1 binary32) ux) (fma.f32 (*.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux)))) (.f32 (+.f32 #s(literal 1 binary32) ux) (fma.f32 ux ux #s(literal 1 binary32))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (.f32 ux (.f32 ux ux)))) (*.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(/.f32 (-.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 (+.f32 #s(literal 1 binary32) ux) (.f32 ux ux))) (*.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) #s(literal 1 binary32)) (.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux)))) #s(literal 1 binary32)) (*.f32 (fma.f32 ux ux #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) ux)))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux)))) (neg.f32 (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux))) (+.f32 #s(literal 1 binary32) ux))
(/.f32 (-.f32 (.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (.f32 (.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (fma.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (*.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))))
(/.f32 (-.f32 (/.f32 #s(literal 1 binary32) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (+.f32 #s(literal 1 binary32) ux))) (/.f32 (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))) (.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (+.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 #s(literal 1 binary32) ux)) (fma.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))))
(/.f32 (-.f32 (*.f32 ux ux) #s(literal 1 binary32)) (-.f32 (neg.f32 ux) #s(literal 1 binary32)))
(/.f32 (-.f32 (*.f32 ux ux) #s(literal 1 binary32)) (-.f32 ux #s(literal 1 binary32)))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))) (.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (/.f32 (*.f32 ux ux) (+.f32 #s(literal 1 binary32) ux))))
(/.f32 (.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(/.f32 (*.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) ux))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))) (fma.f32 (*.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))) (fma.f32 ux ux #s(literal 1 binary32)))
(/.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(/.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)))
(*.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))
(.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(*.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)))
(*.f32 (+.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (*.f32 ux ux))) (/.f32 #s(literal 1 binary32) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (neg.f32 ux))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) #s(literal -1 binary32)))
(*.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)))
(*.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) #s(literal -1 binary32)))
(.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(*.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) ux))
(.f32 (/.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (fma.f32 (fma.f32 ux ux ux) (*.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)) #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 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (*.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(*.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux (*.f32 ux ux)))) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))))
(.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (+.f32 #s(literal -1 binary32) (neg.f32 ux)))
(.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32))))
(.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 ux (*.f32 ux ux) #s(literal 1 binary32))))
(.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (*.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32))))
(.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 ux ux #s(literal 1 binary32))))
(neg.f32 (/.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)) (neg.f32 (fma.f32 (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)))))
(neg.f32 (/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.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))))
(neg.f32 (/.f32 (neg.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))) (fma.f32 (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32))))
(neg.f32 (/.f32 (*.f32 (fma.f32 ux 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) maxCos) #s(literal -1 binary32))))
(exp.f32 (*.f32 (log.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))) #s(literal -1 binary32)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))
(+.f32 (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32))
(+.f32 (neg.f32 ux) (fma.f32 ux maxCos #s(literal 1 binary32)))
(+.f32 (+.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(+.f32 (*.f32 ux maxCos) (+.f32 #s(literal 1 binary32) ux))
(+.f32 (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(+.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (neg.f32 ux))
(pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) #s(literal -1 binary32))
(pow.f32 (/.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) #s(literal 1 binary32)) #s(literal -1 binary32))
(pow.f32 (/.f32 (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))))) #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (fma.f32 ux maxCos #s(literal 1 binary32)))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(fma.f32 #s(literal 1 binary32) (*.f32 ux maxCos) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 ux #s(literal -1 binary32) (fma.f32 ux maxCos #s(literal 1 binary32)))
(fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
(fma.f32 ux (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 ux (pow.f32 (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 ux (exp.f32 (log.f32 (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) ux (fma.f32 ux maxCos #s(literal 1 binary32)))
(fma.f32 maxCos ux (+.f32 #s(literal 1 binary32) ux))
(fma.f32 (+.f32 #s(literal -1 binary32) maxCos) ux #s(literal 1 binary32))
(fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (/.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) ux) #s(literal 1 binary32))
(fma.f32 (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32)) (/.f32 ux (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) #s(literal 1 binary32))
(fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (/.f32 #s(literal 1 binary32) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))
(fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (pow.f32 (/.f32 #s(literal 1 binary32) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (.f32 ux maxCos))
(fma.f32 (.f32 ux ux) (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (fma.f32 ux maxCos #s(literal 1 binary32)))
(fma.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) ux) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) (*.f32 maxCos maxCos)) (/.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32))
(fma.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (*.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 ux maxCos))
(fma.f32 (*.f32 ux maxCos) #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))) (*.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) (neg.f32 ux))) (.f32 ux maxCos))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (.f32 ux maxCos))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) #s(literal -1 binary32)) (.f32 ux maxCos))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (*.f32 ux maxCos))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) #s(literal -1 binary32)) (*.f32 ux maxCos))
(fma.f32 (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux maxCos) (-.f32 (.f32 ux maxCos) (neg.f32 ux)) (*.f32 ux ux))) #s(literal 1 binary32))
(fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 (.f32 ux ux) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (/.f32 (+.f32 #s(literal -1 binary32) maxCos) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (/.f32 ux (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (.f32 ux (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) #s(literal 1 binary32))
(fma.f32 (.f32 ux (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32))) (+.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(fma.f32 (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal -1 binary32))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal -1 binary32))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (fma.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) ux) #s(literal 1 binary32)) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)))))
(fma.f32 (/.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (fma.f32 (fma.f32 ux ux ux) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)) #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 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (.f32 (fma.f32 ux ux ux) (fma.f32 ux ux ux)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (*.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (*.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux (.f32 ux ux)))) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (*.f32 ux maxCos))
(fma.f32 (/.f32 (fma.f32 ux (neg.f32 ux) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (+.f32 #s(literal -1 binary32) (neg.f32 ux)) (.f32 ux maxCos))
(fma.f32 (/.f32 (.f32 ux (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (fma.f32 (fma.f32 maxCos maxCos maxCos) (*.f32 (fma.f32 maxCos maxCos maxCos) (fma.f32 maxCos maxCos maxCos)) #s(literal 1 binary32))) (fma.f32 (fma.f32 maxCos maxCos maxCos) (-.f32 (fma.f32 maxCos maxCos maxCos) #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (/.f32 (.f32 ux (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) (*.f32 (fma.f32 maxCos maxCos maxCos) (fma.f32 maxCos maxCos maxCos)))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) #s(literal 1 binary32))
(fma.f32 (/.f32 (.f32 ux (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) (-.f32 #s(literal 1 binary32) (*.f32 maxCos maxCos))) (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
(fma.f32 (/.f32 (.f32 ux (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux)))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (.f32 ux ux)) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32)) #s(literal 1 binary32))) (.f32 ux maxCos))
(fma.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 ux (.f32 ux ux) #s(literal 1 binary32))) (*.f32 ux maxCos))
(fma.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) (.f32 (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux ux) (fma.f32 ux ux #s(literal 1 binary32)) #s(literal 1 binary32))) (*.f32 ux maxCos))
(fma.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (.f32 ux (.f32 ux (.f32 ux ux))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 ux ux #s(literal 1 binary32))) (.f32 ux maxCos))
(fma.f32 (pow.f32 (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32)) ux #s(literal 1 binary32))
(fma.f32 (pow.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)) (pow.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) ux) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)) (pow.f32 (/.f32 ux (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) #s(literal 1 binary32)) (pow.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) ux) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) (*.f32 maxCos maxCos)) #s(literal 1 binary32)) (pow.f32 (/.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 ux (.f32 ux ux)) (.f32 ux (.f32 ux ux))) #s(literal 1 binary32)) (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux maxCos) (-.f32 (.f32 ux maxCos) (neg.f32 ux)) (*.f32 ux ux))) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (.f32 ux (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) #s(literal 1 binary32)) (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (.f32 ux (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (/.f32 (.f32 ux (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (fma.f32 (fma.f32 maxCos maxCos maxCos) (*.f32 (fma.f32 maxCos maxCos maxCos) (fma.f32 maxCos maxCos maxCos)) #s(literal 1 binary32))) #s(literal 1 binary32)) (pow.f32 (fma.f32 (fma.f32 maxCos maxCos maxCos) (-.f32 (fma.f32 maxCos maxCos maxCos) #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (/.f32 (.f32 ux (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) (*.f32 (fma.f32 maxCos maxCos maxCos) (fma.f32 maxCos maxCos maxCos)))) #s(literal 1 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (/.f32 (.f32 ux (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) (-.f32 #s(literal 1 binary32) (*.f32 maxCos maxCos))) #s(literal 1 binary32)) (pow.f32 (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (pow.f32 (/.f32 (.f32 ux (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32))) #s(literal 1 binary32)) (pow.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 (exp.f32 (log.f32 (+.f32 #s(literal -1 binary32) maxCos))) ux #s(literal 1 binary32))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
(-.f32 #s(literal 0 binary32) (-.f32 ux (fma.f32 ux maxCos #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (-.f32 (/.f32 (.f32 ux (.f32 ux ux)) (+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))) (*.f32 ux maxCos)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) ux)) (-.f32 (/.f32 (.f32 ux ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 ux maxCos)))
(-.f32 (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (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 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))) (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))))
(/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux))) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))))))
(/.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))))
(/.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)) (fma.f32 (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)))
(/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.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 (neg.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))) (neg.f32 (fma.f32 (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32))))
(/.f32 (*.f32 (fma.f32 ux 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) maxCos) #s(literal 1 binary32)))
(/.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 9 binary32))) (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)) (fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)))))
(/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) #s(literal -1 binary32)) (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal -1 binary32))))
(/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.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)) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))
(/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.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)) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))))
(/.f32 (-.f32 (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (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)) #s(literal 1 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 #s(literal 1 binary32) (pow.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 9 binary32))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32))))
(/.f32 (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) #s(literal -1 binary32)) #s(literal 1 binary32)) (.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal -1 binary32)) (fma.f32 (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32))))
(/.f32 (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) #s(literal -1 binary32)) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.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 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) #s(literal -1 binary32)) #s(literal 1 binary32)) (.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.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 (neg.f32 (neg.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)))) (neg.f32 (neg.f32 (fma.f32 (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)))))
(/.f32 (neg.f32 (*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))) (neg.f32 (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))))) (neg.f32 (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))))
(/.f32 (fma.f32 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (+.f32 #s(literal 1 binary32) ux) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 ux (.f32 ux ux)))) (fma.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux) (-.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (.f32 (+.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)))))
(/.f32 (fma.f32 ux (.f32 ux ux) (.f32 (.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32))) (fma.f32 ux maxCos #s(literal 1 binary32)))) (fma.f32 ux ux (-.f32 (.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32))) (*.f32 (neg.f32 ux) (fma.f32 ux maxCos #s(literal 1 binary32))))))
(/.f32 (-.f32 (.f32 (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) (/.f32 #s(literal -1 binary32) (.f32 (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)) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))))) (/.f32 #s(literal -1 binary32) (.f32 (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)) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))))) (fma.f32 (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 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))) (.f32 (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (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 (.f32 (+.f32 #s(literal 1 binary32) ux) (+.f32 #s(literal 1 binary32) ux)) (.f32 ux (.f32 maxCos (.f32 ux maxCos)))) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))
(/.f32 (-.f32 (.f32 ux ux) (.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (fma.f32 ux maxCos #s(literal 1 binary32)))) (-.f32 (neg.f32 ux) (fma.f32 ux maxCos #s(literal 1 binary32))))
(/.f32 (-.f32 (.f32 (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (/.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (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 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))))) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (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 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)) #s(literal 1 binary32)) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 9 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)))) (fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))))
(/.f32 (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal -1 binary32)))
(/.f32 (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.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 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))))
(/.f32 (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.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 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)))
(*.f32 #s(literal 1 binary32) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(*.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))
(.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (.f32 (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 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (/.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 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32))))
(.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (*.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 (neg.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (neg.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)))))
(.f32 (.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (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 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32))) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (*.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))) (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal -1 binary32))) #s(literal -1 binary32)))
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)))
(.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32))) (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))) #s(literal -1 binary32)))
(.f32 (-.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) (/.f32 #s(literal 1 binary32) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (fma.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) ux) #s(literal 1 binary32)))
(.f32 (/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal -1 binary32)) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal -1 binary32))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)) (fma.f32 (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)) (fma.f32 ux (+.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))))) (fma.f32 ux (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) (.f32 (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)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))))))
(.f32 (/.f32 (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)) (fma.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) (fma.f32 (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))
(.f32 (/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal -1 binary32)) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal -1 binary32))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (fma.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) ux) #s(literal 1 binary32)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) (-.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))))) (fma.f32 ux maxCos (+.f32 #s(literal 1 binary32) ux)))
(.f32 (pow.f32 (/.f32 (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) #s(literal -1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)))))
(.f32 (pow.f32 (/.f32 (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) #s(literal -1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32))))
(.f32 (pow.f32 (/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (pow.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 9 binary32)))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (*.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal 1 binary32)))))
(.f32 (pow.f32 (/.f32 (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)) (fma.f32 (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))))) #s(literal -1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (.f32 ux (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) (.f32 ux (+.f32 #s(literal -1 binary32) maxCos))) #s(literal -1 binary32))))
(neg.f32 (+.f32 #s(literal 1 binary32) maxCos))
(exp.f32 (*.f32 (log.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos))) #s(literal -1 binary32)))
(+.f32 #s(literal -1 binary32) maxCos)
(+.f32 #s(literal -1 binary32) (neg.f32 maxCos))
(+.f32 maxCos #s(literal -1 binary32))
(+.f32 (neg.f32 maxCos) #s(literal -1 binary32))
(+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) #s(literal -1 binary32))
(pow.f32 (/.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32)) #s(literal -1 binary32))
(pow.f32 (/.f32 (+.f32 maxCos #s(literal 1 binary32)) (fma.f32 maxCos maxCos #s(literal -1 binary32))) #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) maxCos #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 #s(literal -1 binary32) maxCos #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) (neg.f32 maxCos) #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) (pow.f32 (neg.f32 maxCos) #s(literal 1 binary32)) #s(literal -1 binary32))
(fma.f32 maxCos #s(literal 1 binary32) #s(literal -1 binary32))
(fma.f32 maxCos #s(literal -1 binary32) #s(literal -1 binary32))
(fma.f32 (+.f32 #s(literal -1 binary32) maxCos) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (neg.f32 maxCos) #s(literal -1 binary32) #s(literal -1 binary32))
(fma.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) #s(literal -1 binary32)) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 maxCos #s(literal 1 binary32))) #s(literal -1 binary32) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) (+.f32 #s(literal -1 binary32) maxCos) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))) #s(literal -1 binary32))) (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (-.f32 (.f32 maxCos (.f32 maxCos maxCos)) #s(literal -1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))))) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (/.f32 (+.f32 #s(literal -1 binary32) maxCos) (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))))) (fma.f32 (.f32 maxCos maxCos) (fma.f32 maxCos maxCos #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (/.f32 (+.f32 #s(literal -1 binary32) maxCos) (-.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 maxCos (.f32 maxCos maxCos))))) (fma.f32 maxCos maxCos #s(literal 1 binary32)) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (pow.f32 (neg.f32 maxCos) #s(literal 1 binary32)) #s(literal -1 binary32) #s(literal -1 binary32))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) #s(literal 1 binary32)) #s(literal -1 binary32)) (+.f32 #s(literal -1 binary32) maxCos) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal 1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (+.f32 #s(literal -1 binary32) (.f32 maxCos maxCos))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) maxCos)) (neg.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (fma.f32 maxCos maxCos #s(literal -1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 maxCos #s(literal 1 binary32))) (neg.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(-.f32 #s(literal -1 binary32) maxCos)
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos)))
(-.f32 (/.f32 (*.f32 maxCos maxCos) (+.f32 maxCos #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 maxCos #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) (/.f32 (.f32 maxCos (.f32 maxCos maxCos)) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)))
(/.f32 #s(literal 1 binary32) (/.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 (+.f32 maxCos #s(literal 1 binary32)) (fma.f32 maxCos maxCos #s(literal -1 binary32))))
(/.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos))))
(/.f32 (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 maxCos maxCos)) (+.f32 #s(literal -1 binary32) maxCos))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 maxCos maxCos)) (-.f32 #s(literal -1 binary32) (neg.f32 maxCos)))
(/.f32 (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal 1 binary32)) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))))
(/.f32 (+.f32 #s(literal -1 binary32) (*.f32 maxCos maxCos)) (+.f32 #s(literal 1 binary32) maxCos))
(/.f32 (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))) #s(literal -1 binary32)) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (-.f32 (.f32 maxCos (.f32 maxCos maxCos)) #s(literal -1 binary32)) #s(literal 1 binary32))))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) (.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32))))
(/.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (fma.f32 (*.f32 maxCos maxCos) (fma.f32 maxCos maxCos #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (fma.f32 maxCos maxCos #s(literal -1 binary32)) (+.f32 maxCos #s(literal 1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 maxCos (.f32 maxCos maxCos)))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (fma.f32 maxCos maxCos #s(literal 1 binary32))))
(/.f32 (-.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 maxCos maxCos))) (*.f32 (+.f32 #s(literal -1 binary32) maxCos) (+.f32 #s(literal -1 binary32) maxCos)))
(/.f32 (.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) maxCos))
(/.f32 (.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal 1 binary32)) #s(literal 1 binary32)) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))))
(/.f32 (.f32 (+.f32 #s(literal -1 binary32) (.f32 maxCos maxCos)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) maxCos))
(/.f32 (*.f32 (fma.f32 maxCos maxCos #s(literal -1 binary32)) #s(literal 1 binary32)) (+.f32 maxCos #s(literal 1 binary32)))
(/.f32 (.f32 (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))) #s(literal -1 binary32)) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (-.f32 (.f32 maxCos (*.f32 maxCos maxCos)) #s(literal -1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) #s(literal 1 binary32)) (.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) #s(literal 1 binary32)) (.f32 (fma.f32 (.f32 maxCos maxCos) (fma.f32 maxCos maxCos #s(literal 1 binary32)) #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) maxCos)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 maxCos (.f32 maxCos maxCos)))) #s(literal 1 binary32)) (*.f32 (fma.f32 maxCos maxCos #s(literal 1 binary32)) (+.f32 #s(literal -1 binary32) maxCos)))
(/.f32 (neg.f32 (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal 1 binary32))) (neg.f32 (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (*.f32 maxCos maxCos))) (+.f32 #s(literal -1 binary32) maxCos))
(/.f32 (neg.f32 (fma.f32 maxCos maxCos #s(literal -1 binary32))) (neg.f32 (+.f32 maxCos #s(literal 1 binary32))))
(/.f32 (-.f32 (/.f32 #s(literal 1 binary32) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (+.f32 #s(literal -1 binary32) maxCos)))) (/.f32 (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (.f32 (+.f32 #s(literal -1 binary32) maxCos) (+.f32 #s(literal -1 binary32) maxCos))))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (fma.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos)) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos))) (.f32 (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 (.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos)))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (/.f32 (*.f32 maxCos maxCos) (+.f32 #s(literal -1 binary32) maxCos))))
(/.f32 (.f32 (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))) (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (-.f32 (.f32 maxCos (.f32 maxCos maxCos)) #s(literal -1 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))) (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32)))
(/.f32 (.f32 (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos))) (fma.f32 (*.f32 maxCos maxCos) (fma.f32 maxCos maxCos #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 maxCos (.f32 maxCos maxCos)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos))) (fma.f32 maxCos maxCos #s(literal 1 binary32)))
(/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))))
(/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)))
(*.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos))
(*.f32 (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
(.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))))
(.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) #s(literal 1 binary32)))
(.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)))
(.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) #s(literal 1 binary32)))
(.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 maxCos maxCos)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) maxCos)))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)) (pow.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos))) #s(literal -1 binary32)))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))) (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32))) #s(literal -1 binary32)))
(*.f32 (fma.f32 maxCos maxCos #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 maxCos #s(literal 1 binary32))))
(*.f32 (+.f32 maxCos #s(literal 1 binary32)) #s(literal -1 binary32))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32))) (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (-.f32 #s(literal 1 binary32) (*.f32 maxCos maxCos))) (+.f32 #s(literal -1 binary32) maxCos))
(.f32 (/.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) (fma.f32 (fma.f32 maxCos maxCos maxCos) (*.f32 (fma.f32 maxCos maxCos maxCos) (fma.f32 maxCos maxCos maxCos)) #s(literal 1 binary32))) (fma.f32 (fma.f32 maxCos maxCos maxCos) (-.f32 (fma.f32 maxCos maxCos maxCos) #s(literal 1 binary32)) #s(literal 1 binary32)))
(.f32 (/.f32 (fma.f32 maxCos (.f32 maxCos maxCos) #s(literal -1 binary32)) (-.f32 #s(literal 1 binary32) (*.f32 (fma.f32 maxCos maxCos maxCos) (fma.f32 maxCos maxCos maxCos)))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal -1 binary32) maxCos)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal 1 binary32))) (neg.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos))))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (+.f32 #s(literal -1 binary32) (*.f32 maxCos maxCos))) (+.f32 #s(literal 1 binary32) maxCos))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 maxCos maxCos)) (fma.f32 maxCos maxCos #s(literal -1 binary32))) (+.f32 maxCos #s(literal 1 binary32)))
(.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))) #s(literal -1 binary32))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (.f32 maxCos (.f32 maxCos maxCos)) (-.f32 (.f32 maxCos (.f32 maxCos maxCos)) #s(literal -1 binary32)) #s(literal 1 binary32))))
(.f32 (pow.f32 (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos maxCos)) (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos (*.f32 maxCos maxCos) #s(literal -1 binary32))))
(.f32 (pow.f32 (/.f32 (+.f32 #s(literal -1 binary32) maxCos) (+.f32 #s(literal 1 binary32) (.f32 (.f32 maxCos (.f32 maxCos maxCos)) (.f32 maxCos (.f32 maxCos maxCos))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (*.f32 maxCos maxCos) (fma.f32 maxCos maxCos #s(literal 1 binary32)) #s(literal 1 binary32))))
(.f32 (pow.f32 (/.f32 (+.f32 #s(literal -1 binary32) maxCos) (-.f32 #s(literal 1 binary32) (.f32 maxCos (.f32 maxCos (.f32 maxCos maxCos))))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos maxCos #s(literal 1 binary32))))

simplify233.0ms (6.3%)

Memory

-1.4MiB live, 320.9MiB allocated

Algorithm

1×	egg-herbie

Rules

5 136×	`accelerator-lowering-fma.f32`
5 136×	`accelerator-lowering-fma.f64`
2 304×	`-lowering-.f32`
2 304×	`-lowering-.f64`
1 576×	`/-lowering-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	218
1	114	208
2	330	208
3	728	208
4	2163	208
5	4055	208
6	5816	208
7	6724	208
8	7141	208
9	7391	208
10	7472	208
0	8069	190

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 48

Calls

Call 1

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

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

eval34.0ms (0.9%)

Memory: 7.9MiB live, 84.9MiB allocated
Compiler: Compiled 8 635 to 874 computations (89.9% saved)

prune47.0ms (1.3%)

Memory

-8.6MiB live, 109.7MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	393	0	393
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	393	3	396

Accuracy

100.0%

Counts

396 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f32 ux (+.f32 #s(literal -1 binary32) maxCos) #s(literal 1 binary32))
✓	98.2%	(-.f32 #s(literal 1 binary32) ux)
✓	70.0%	#s(literal 1 binary32)

Compiler

Compiled 39 to 26 computations (33.3% saved)

regimes9.0ms (0.2%)

Memory

19.8MiB live, 19.8MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	uy
2.0ms	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
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 22 to 16 computations (27.3% saved)

regimes29.0ms (0.8%)

Memory

-24.8MiB live, 13.7MiB allocated

Counts

2 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes5.0ms (0.1%)

Memory

11.7MiB live, 11.7MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 1 binary32)

Outputs
#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
70.0%	1	`ux`
70.0%	1	`uy`
70.0%	1	`maxCos`
70.0%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify7.0ms (0.2%)

Memory

11.3MiB live, 11.3MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary32`
4×	`sub-neg_binary32`
2×	`*-commutative_binary32`
2×	`neg-sub0_binary32`
2×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	16	10
3	18	10
4	19	10

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness646.0ms (17.5%)

Memory

-57.2MiB live, 216.1MiB allocated

Rules

5 750×	`accelerator-lowering-fma.f32`
5 750×	`accelerator-lowering-fma.f64`
5 316×	`accelerator-lowering-fma.f32`
5 316×	`accelerator-lowering-fma.f64`
4 062×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	250
1	110	250
2	306	250
3	852	250
4	2100	250
5	3316	250
6	4299	250
7	5328	250
8	6757	250
9	7301	250
10	7633	250
11	7955	250
0	8006	232
0	6	13
1	39	13
2	340	13
3	5280	13
0	8979	12

Stop Event

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

Compiler

Compiled 32 to 24 computations (25% saved)

preprocess22.0ms (0.6%)

Memory: 21.9MiB live, 57.9MiB allocated
Remove: (abs uy)
Compiler: Compiled 64 to 44 computations (31.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	8	20
1	21	20
2	34	20
3	51	20
4	84	20
5	136	20
6	257	20
7	378	20
8	464	20
9	479	20
10	483	20
0	483	19

Iter	Nodes	Cost
0	8	20
1	21	20
2	34	20
3	51	20
4	84	20
5	136	20
6	257	20
7	378	20
8	464	20
9	479	20
10	483	20
0	483	19

analyze102.0ms (2.8%)

sample1.0s (27.5%)

preprocess64.0ms (1.7%)

explain65.0ms (1.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify22.0ms (0.6%)

localize17.0ms (0.5%)

series234.0ms (6.3%)

rewrite287.0ms (7.8%)

simplify242.0ms (6.6%)

eval45.0ms (1.2%)

prune53.0ms (1.4%)

simplify32.0ms (0.9%)

localize59.0ms (1.6%)

series3.0ms (0.1%)

rewrite422.0ms (11.4%)

simplify233.0ms (6.3%)

eval34.0ms (0.9%)

prune47.0ms (1.3%)

regimes9.0ms (0.2%)

regimes29.0ms (0.8%)

regimes5.0ms (0.1%)

simplify7.0ms (0.2%)

soundness646.0ms (17.5%)

preprocess22.0ms (0.6%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	8	20
1	21	20
2	34	20
3	51	20
4	84	20
5	136	20
6	257	20
7	378	20
8	464	20
9	479	20
10	483	20
0	483	19