Metrics for UniformSampleCone, z

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze146.0ms (4.7%)

Memory

-12.5MiB live, 122.0MiB 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.2s (39.9%)

Memory

80.0MiB live, 1 353.2MiB allocated

Samples

922.0ms	8 179×	0	valid
9.0ms	77×	1	valid

Precisions

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

const: 402.0ms (55.3% of total)

ival-<=: 120.0ms (16.5% of total)

ival-mult: 68.0ms (9.4% of total)

ival-sub: 47.0ms (6.5% of total)

ival-add: 45.0ms (6.2% of total)

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

exact: 9.0ms (1.2% of total)

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

adjust: 2.0ms (0.3% of total)

Bogosity

explain59.0ms (1.9%)

Memory

-1.3MiB live, 89.3MiB 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

21.0ms	510×	0	valid
0.0ms	2×	1	valid

Compiler

Compiled 43 to 25 computations (41.9% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

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

exact: 0.0ms (0% of total)

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

preprocess109.0ms (3.5%)

Memory

14.7MiB live, 75.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	70
1	75	68
2	156	68
3	246	66
4	320	63
5	437	63
6	654	63
7	1145	63
8	1556	63
9	1958	63
10	2234	63
11	2607	63
12	3106	63
13	3232	63
14	3245	63
15	3245	63
0	6	7
0	9	7
1	18	7
2	30	7
3	48	7
4	74	7
5	97	7
6	141	7
7	245	7
8	399	7
9	566	7
10	606	7
11	631	7
12	660	7
13	721	7
14	1005	7
15	1049	7
0	1049	6

Stop Event

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

Calls

Call 1

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

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

Symmetry

(abs uy)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 7 computations (0% saved)

simplify26.0ms (0.8%)

Memory

-22.5MiB live, 22.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	16
0	9	16
1	18	16
2	30	16
3	48	16
4	74	16
5	97	16
6	141	16
7	245	16
8	399	16
9	566	16
10	606	16
11	631	16
12	660	16
13	721	16
14	1005	16
15	1049	16
0	1049	15

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize15.0ms (0.5%)

Memory

22.8MiB live, 22.8MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

11.0ms	255×	0	valid
0.0ms	1×	1	valid

Compiler

Compiled 18 to 9 computations (50% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

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

exact: 0.0ms (0% of total)

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

series4.0ms (0.1%)

Memory

5.6MiB live, 5.6MiB allocated

Counts

3 → 15

Calls

Call 1

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

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

Calls

9 calls:

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

simplify85.0ms (2.7%)

Memory

-19.2MiB live, 69.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	81
1	110	79
2	301	79
3	754	79
4	1937	79
5	4059	79
6	6828	79
0	8041	73

Stop Event

1×	iter limit
1×	node limit

Counts

15 → 15

Calls

Call 1

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

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

rewrite189.0ms (6.1%)

Memory

49.9MiB live, 226.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
0	9	13
1	44	13
2	327	13
3	4373	13
0	8540	12

Stop Event

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

Counts

3 → 192

Calls

Call 1

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

Outputs
(.f32 (/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) #s(literal 2 binary32)))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))))))
(.f32 (/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (+.f32 (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)))) (fma.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) (-.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32))))
(.f32 (/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(.f32 (/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (/.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(*.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (/.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 2 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 2 binary32))) (+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) #s(literal 2 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) #s(literal 2 binary32))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (fma.f32 ux ux (*.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 3 binary32))) (+.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 2 binary32)) (+.f32 (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 2 binary32)) (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))))
(/.f32 (+.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) #s(literal 3 binary32))) (+.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) #s(literal 2 binary32)) (-.f32 (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) #s(literal 2 binary32)) (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (+.f32 (neg.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))))
(/.f32 (-.f32 (.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (pow.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) #s(literal 2 binary32)))
(/.f32 (fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) #s(literal 2 binary32)))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (.f32 (+.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (.f32 (+.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 4 binary32))) (pow.f32 (.f32 (fma.f32 ux ux ux) maxCos) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) #s(literal 1 binary32)))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 9 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 9 binary32))) (.f32 (-.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 6 binary32))) (pow.f32 (.f32 (fma.f32 ux ux ux) maxCos) #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(/.f32 (+.f32 (neg.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))
(-.f32 (fma.f32 maxCos ux (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))) (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (fma.f32 maxCos ux (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(-.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (*.f32 maxCos ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) #s(literal 1 binary32))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (fma.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)) (*.f32 (neg.f32 ux) maxCos)))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (-.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))) (.f32 maxCos ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (+.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (*.f32 (neg.f32 ux) maxCos)))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (-.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (*.f32 maxCos ux)))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(fma.f32 (exp.f32 (log.f32 maxCos)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) #s(literal 1 binary32)) (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal 1 binary32)) (.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) #s(literal 1 binary32)) (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal 1 binary32)) (.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) #s(literal 1 binary32)) (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal 1 binary32)) (.f32 maxCos ux))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) #s(literal 1 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) #s(literal 1 binary32)) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) #s(literal 1 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) #s(literal 1 binary32)) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) #s(literal 1 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) #s(literal 1 binary32)) (*.f32 maxCos ux))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) #s(literal 1 binary32)) (pow.f32 (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)) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) #s(literal 1 binary32)) (pow.f32 (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)) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) #s(literal 1 binary32)) (pow.f32 (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)) (*.f32 maxCos ux))
(fma.f32 (pow.f32 (*.f32 maxCos #s(literal 1 binary32)) #s(literal 1 binary32)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (pow.f32 maxCos #s(literal 1 binary32)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (.f32 maxCos ux))
(fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) #s(literal 2 binary32)))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)))) (fma.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) (-.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (/.f32 (neg.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (/.f32 (neg.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (*.f32 maxCos ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (*.f32 maxCos ux))
(fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32)) (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) #s(literal 2 binary32)))) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32))))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 6 binary32)))) (fma.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) (-.f32 (.f32 (.f32 maxCos ux) (fma.f32 maxCos ux (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (*.f32 maxCos #s(literal 1 binary32)) ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3/2 binary32)) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3/2 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3/2 binary32)) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3/2 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)) (/.f32 (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (neg.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(fma.f32 (fabs.f32 (-.f32 ux #s(literal 1 binary32))) (/.f32 (fabs.f32 (-.f32 ux #s(literal 1 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (neg.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(fma.f32 (pow.f32 maxCos #s(literal 3 binary32)) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (pow.f32 ux #s(literal 3 binary32)) (/.f32 (pow.f32 maxCos #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (/.f32 (.f32 maxCos ux) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (/.f32 (-.f32 #s(literal 1 binary32) ux) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (.f32 maxCos ux) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (*.f32 maxCos ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (/.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (neg.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 maxCos ux))
(fma.f32 ux (exp.f32 (log.f32 maxCos)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (pow.f32 (*.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (pow.f32 maxCos #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (*.f32 #s(literal 1 binary32) maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (neg.f32 ux))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (neg.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(+.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(neg.f32 (/.f32 (+.f32 (neg.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(neg.f32 (/.f32 (neg.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(neg.f32 (/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(neg.f32 (/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))))
(.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) #s(literal 1 binary32)) (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal 1 binary32)))
(.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(*.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) #s(literal 1 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) #s(literal 1 binary32)))
(*.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) #s(literal 1 binary32)) (pow.f32 (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)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (*.f32 ux ux))) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))
(.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)))
(*.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(/.f32 (exp.f32 (log.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux)))) (exp.f32 (log.f32 (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))))
(/.f32 (exp.f32 (log.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))))) (exp.f32 (log.f32 (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))))
(/.f32 (exp.f32 (log1p.f32 (*.f32 (neg.f32 ux) ux))) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (exp.f32 (log1p.f32 (pow.f32 ux #s(literal 3 binary32)))) (exp.f32 (log1p.f32 (fma.f32 ux ux ux))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal -2 binary32)) (pow.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32))) (+.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))
(/.f32 (-.f32 (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal -2 binary32)) (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (-.f32 (*.f32 ux ux) #s(literal 1 binary32)) (-.f32 ux #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal -3 binary32)) (pow.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 3 binary32))) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal -2 binary32)) (+.f32 (pow.f32 (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))) #s(literal 2 binary32)) (.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux)))))))
(/.f32 (-.f32 (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal -3 binary32)) (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) #s(literal 3 binary32))) (+.f32 (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal -2 binary32)) (+.f32 (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) #s(literal 2 binary32)) (*.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))))))
(/.f32 (neg.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux ux))) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (pow.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 4 binary32))) (*.f32 (fma.f32 ux ux #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (+.f32 (fma.f32 ux ux (pow.f32 ux #s(literal 4 binary32))) #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (*.f32 (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(/.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux ux)) (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (*.f32 ux (/.f32 ux (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(-.f32 #s(literal 1 binary32) (neg.f32 ux))
(-.f32 #s(literal 1 binary32) ux)
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (+.f32 #s(literal -1 binary32) (.f32 ux ux))) #s(literal -1 binary32)) (pow.f32 (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)) #s(literal -1 binary32)) (/.f32 (*.f32 (neg.f32 ux) ux) (-.f32 #s(literal 1 binary32) ux)))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) #s(literal -1 binary32)) (pow.f32 (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) #s(literal -1 binary32)) (/.f32 (.f32 (neg.f32 ux) ux) (-.f32 #s(literal 1 binary32) ux)))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (/.f32 (.f32 (neg.f32 ux) ux) (-.f32 #s(literal 1 binary32) ux)))
(fma.f32 (pow.f32 (/.f32 (-.f32 #s(literal 1 binary32) (.f32 ux ux)) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) #s(literal -1 binary32)) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (/.f32 (*.f32 (neg.f32 ux) ux) (-.f32 #s(literal 1 binary32) ux)))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal 1 binary32))) (fma.f32 (fma.f32 ux ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 1 binary32)) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux ux))) (-.f32 #s(literal 1 binary32) ux) (/.f32 (.f32 (neg.f32 ux) ux) (-.f32 #s(literal 1 binary32) ux)))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32)) (/.f32 (*.f32 (neg.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) (/.f32 (*.f32 (neg.f32 ux) ux) (-.f32 #s(literal 1 binary32) ux)))
(fma.f32 ux #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) ux #s(literal 1 binary32))
(pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(+.f32 (cosh.f32 (log1p.f32 ux)) (sinh.f32 (log1p.f32 ux)))
(+.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (/.f32 (*.f32 (neg.f32 ux) ux) (-.f32 #s(literal 1 binary32) ux)))
(+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) ux #s(literal 1 binary32))))
(+.f32 ux #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (neg.f32 ux))
(+.f32 #s(literal 1 binary32) ux)
(exp.f32 (*.f32 (log1p.f32 ux) #s(literal 1 binary32)))
(exp.f32 (log1p.f32 ux))
(neg.f32 (fma.f32 #s(literal -1 binary32) ux #s(literal -1 binary32)))
(*.f32 (exp.f32 (log.f32 maxCos)) ux)
(.f32 (pow.f32 (.f32 maxCos #s(literal 1 binary32)) #s(literal 1 binary32)) ux)
(*.f32 (pow.f32 maxCos #s(literal 1 binary32)) ux)
(.f32 (.f32 maxCos #s(literal 1 binary32)) ux)
(.f32 (.f32 maxCos ux) #s(literal 1 binary32))
(*.f32 maxCos ux)
(*.f32 ux (exp.f32 (log.f32 maxCos)))
(.f32 ux (pow.f32 (.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32)))
(*.f32 ux (pow.f32 maxCos #s(literal 1 binary32)))
(.f32 ux (.f32 #s(literal 1 binary32) maxCos))
(*.f32 ux maxCos)
(.f32 #s(literal 1 binary32) (.f32 maxCos ux))
(pow.f32 (*.f32 maxCos ux) #s(literal 1 binary32))
(+.f32 (cosh.f32 (log.f32 (.f32 maxCos ux))) (sinh.f32 (log.f32 (.f32 maxCos ux))))
(exp.f32 (.f32 (log.f32 (.f32 maxCos ux)) #s(literal 1 binary32)))
(exp.f32 (log.f32 (*.f32 maxCos ux)))
(neg.f32 (*.f32 (neg.f32 ux) maxCos))

eval50.0ms (1.6%)

Memory: -28.0MiB live, 63.9MiB allocated
Compiler: Compiled 4 877 to 575 computations (88.2% saved)

prune3.0ms (0.1%)

Memory

12.3MiB live, 12.3MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	197	4	201
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	197	5	202

Accuracy

100.0%

Counts

202 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
✓	99.9%	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
▶	98.9%	(+.f32 #s(approx (- 1 ux) (.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)) ux)) (.f32 ux maxCos))
▶	98.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	73.1%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 49 to 45 computations (8.2% saved)

simplify36.0ms (1.2%)

Memory

-9.9MiB live, 34.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	91
0	27	91
1	43	91
2	61	91
3	90	91
4	127	91
5	167	91
6	292	91
7	497	91
8	693	91
9	733	91
10	758	91
11	787	91
12	848	91
13	1132	91
14	1176	91
0	1176	87

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize45.0ms (1.4%)

Memory

15.7MiB live, 59.7MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f32 maxCos ux)
accuracy	0.00390625	(-.f32 ux (*.f32 maxCos ux))
accuracy	0.00390625	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
accuracy	0.0	#s(approx (- 1 ux) (*.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)) ux))
accuracy	0.015625	(+.f32 #s(approx (- 1 ux) (.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)) ux)) (.f32 ux maxCos))
accuracy	0.06403248993272953	(-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
accuracy	0.3203125	(*.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)) ux)
accuracy	0.0	(-.f32 #s(literal 1 binary32) ux)
accuracy	0.33412583830181	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
accuracy	8.109621893666795	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Samples

34.0ms	250×	0	valid
2.0ms	6×	5	exit

Compiler

Compiled 71 to 15 computations (78.9% saved)

Precisions

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

ival-sub: 6.0ms (40.3% of total)

ival-mult: 4.0ms (26.9% of total)

ival-div: 2.0ms (13.4% of total)

adjust: 1.0ms (6.7% of total)

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

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

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

exact: 0.0ms (0% of total)

series5.0ms (0.2%)

Memory

9.3MiB live, 9.4MiB allocated

Counts

10 → 26

Calls

Call 1

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

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

Calls

9 calls:

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

simplify113.0ms (3.6%)

Memory

-15.2MiB live, 84.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	116
1	140	114
2	378	114
3	999	114
4	2474	114
5	4225	114
6	6298	114
0	8251	108

Stop Event

1×	iter limit
1×	node limit

Counts

26 → 25

Calls

Call 1

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

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

rewrite217.0ms (6.9%)

Memory

-31.3MiB live, 269.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	76
0	27	76
1	118	76
2	829	76
0	8274	68

Stop Event

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

Counts

10 → 217

Calls

Call 1

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

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32)))) (.f32 (/.f32 (.f32 ux ux) (+.f32 ux #s(literal 1 binary32))) (/.f32 (.f32 ux ux) (+.f32 ux #s(literal 1 binary32))))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 (*.f32 ux ux) (+.f32 ux #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))) (.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 (.f32 ux ux) (+.f32 ux #s(literal 1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (fma.f32 (/.f32 (.f32 ux ux) (+.f32 ux #s(literal 1 binary32))) (/.f32 (.f32 ux ux) (+.f32 ux #s(literal 1 binary32))) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 (*.f32 ux ux) (+.f32 ux #s(literal 1 binary32)))))))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)))) (neg.f32 (neg.f32 (+.f32 ux #s(literal 1 binary32)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (.f32 (+.f32 ux #s(literal 1 binary32)) (*.f32 ux ux))) (pow.f32 (+.f32 ux #s(literal 1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (pow.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) #s(literal 2 binary32)))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (neg.f32 (+.f32 ux #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (+.f32 ux #s(literal 1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 (*.f32 ux ux) (+.f32 ux #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(-.f32 #s(literal 1 binary32) ux)
(+.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 (*.f32 (neg.f32 ux) ux) (+.f32 ux #s(literal 1 binary32))))
(+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 ux) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) ux))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux)))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))))) (+.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux)))))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))))) (-.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))))))
(/.f32 (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (.f32 (.f32 (neg.f32 (neg.f32 ux)) maxCos) (.f32 (neg.f32 (neg.f32 ux)) maxCos))) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux)))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (*.f32 maxCos ux)))))))
(/.f32 (+.f32 (pow.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (-.f32 (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))))) (.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))))))))
(/.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (pow.f32 (.f32 (neg.f32 (neg.f32 ux)) maxCos) #s(literal 3 binary32))) (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 (.f32 (.f32 (neg.f32 (neg.f32 ux)) maxCos) (.f32 (neg.f32 (neg.f32 ux)) maxCos)) (.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (*.f32 (neg.f32 (neg.f32 ux)) maxCos)))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (neg.f32 (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))) (neg.f32 (neg.f32 (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux)))))
(/.f32 (neg.f32 (neg.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))))))
(/.f32 (-.f32 (.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (.f32 (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (.f32 (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (*.f32 maxCos ux))))
(/.f32 (fma.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))) (.f32 (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (.f32 (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))))
(/.f32 (neg.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (*.f32 (neg.f32 ux) maxCos))))))
(/.f32 (neg.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (*.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))))))
(/.f32 (neg.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux)))
(/.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (*.f32 (neg.f32 ux) maxCos)))))
(/.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (*.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))))))
(/.f32 (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32))))
(-.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))) (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))))
(-.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 (neg.f32 ux) maxCos))))) (/.f32 (pow.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 3 binary32)) (+.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 (neg.f32 ux) maxCos))))))
(-.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))))
(-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 (neg.f32 (neg.f32 (neg.f32 ux))) maxCos))
(-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 (neg.f32 ux) maxCos))
(fma.f32 maxCos ux #s(approx (- 1 ux) (*.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))
(fma.f32 ux maxCos #s(approx (- 1 ux) (*.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))
(+.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))))))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))))) (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))))))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))))
(+.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))) (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)))))
(+.f32 (/.f32 (pow.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) #s(literal 2 binary32)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))) (/.f32 (.f32 (.f32 (neg.f32 ux) maxCos) (.f32 maxCos ux)) (-.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))))
(+.f32 (.f32 maxCos ux) #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)))
(+.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 (neg.f32 maxCos) (neg.f32 ux)))
(+.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 (neg.f32 ux) (neg.f32 maxCos)))
(+.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 (neg.f32 (neg.f32 ux)) maxCos))
(+.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 (neg.f32 (neg.f32 maxCos)) ux))
(+.f32 #s(approx (- 1 ux) (.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)) (.f32 maxCos ux))
#s(approx (- 1 ux) (*.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux))
(*.f32 (/.f32 ux (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 (-.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32)))
(*.f32 (expm1.f32 (neg.f32 (log.f32 ux))) (/.f32 ux #s(literal 1 binary32)))
(*.f32 (expm1.f32 (neg.f32 (log.f32 ux))) ux)
(*.f32 ux (expm1.f32 (neg.f32 (log.f32 ux))))
(/.f32 (neg.f32 (*.f32 (-.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) ux)) (neg.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))
(/.f32 (neg.f32 (*.f32 (-.f32 (pow.f32 ux #s(literal -3 binary32)) #s(literal 1 binary32)) ux)) (neg.f32 (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))))
(/.f32 (neg.f32 (*.f32 ux (-.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)))) (neg.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))
(/.f32 (neg.f32 (*.f32 ux (-.f32 (pow.f32 ux #s(literal -3 binary32)) #s(literal 1 binary32)))) (neg.f32 (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))))
(/.f32 (*.f32 (-.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) ux) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 (pow.f32 ux #s(literal -3 binary32)) #s(literal 1 binary32)) ux) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)))
(/.f32 (*.f32 ux (-.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32))) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))
(/.f32 (*.f32 ux (-.f32 (pow.f32 ux #s(literal -3 binary32)) #s(literal 1 binary32))) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)))
(expm1.f32 (neg.f32 (log.f32 ux)))
(*.f32 (+.f32 (pow.f32 ux #s(literal -1/2 binary32)) #s(literal 1 binary32)) (-.f32 (pow.f32 ux #s(literal -1/2 binary32)) #s(literal 1 binary32)))
(*.f32 (/.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 (expm1.f32 (neg.f32 (log.f32 ux))) #s(literal 1 binary32)))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))) (+.f32 (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)))) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))))) (+.f32 (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (*.f32 (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (*.f32 (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)))))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)))) (neg.f32 (neg.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal -3 binary32)) #s(literal 1 binary32)))) (neg.f32 (neg.f32 (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)))))
(/.f32 (-.f32 (*.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (pow.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (.f32 (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))) (*.f32 (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32))) (neg.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal -3 binary32)) #s(literal 1 binary32))) (neg.f32 (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))))
(/.f32 (-.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 ux #s(literal -3 binary32)) #s(literal 1 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux)))
(-.f32 (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))
(-.f32 (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))) (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 (pow.f32 ux #s(literal -2 binary32)) #s(literal 1 binary32)) (/.f32 #s(literal 1 binary32) ux))))
(-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(/.f32 (-.f32 (.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (fma.f32 maxCos ux #s(literal 1 binary32))) (.f32 ux ux)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))) (.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))) (+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))) (+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))) (.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))) (+.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))) (-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (.f32 (neg.f32 (neg.f32 ux)) maxCos) (*.f32 (neg.f32 (neg.f32 ux)) maxCos))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (fma.f32 maxCos ux #s(literal 1 binary32)) (fma.f32 ux ux (*.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (fma.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)))))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (fma.f32 (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))))))
(/.f32 (+.f32 (pow.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (-.f32 (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))) (.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))))))
(/.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 (neg.f32 (neg.f32 ux)) maxCos) #s(literal 3 binary32))) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (.f32 (.f32 (neg.f32 (neg.f32 ux)) maxCos) (.f32 (neg.f32 (neg.f32 ux)) maxCos)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (neg.f32 (neg.f32 ux)) maxCos)))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))))) (neg.f32 (neg.f32 (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))))) (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))))
(/.f32 (neg.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (.f32 maxCos ux) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (.f32 (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))) (.f32 (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))
(/.f32 (-.f32 (.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (.f32 (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (.f32 (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (fma.f32 (.f32 maxCos ux) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))) (neg.f32 (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (neg.f32 ux) maxCos))))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux)))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 maxCos ux) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (neg.f32 ux) maxCos)))))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(-.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (neg.f32 ux) maxCos))))) (/.f32 (pow.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 3 binary32)) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 (neg.f32 ux))) maxCos))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux)))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux)))))
(+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (*.f32 (neg.f32 ux) #s(literal 1 binary32)))
(+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) (*.f32 #s(literal -1 binary32) ux))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (-.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(+.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (.f32 (neg.f32 (-.f32 ux (.f32 maxCos ux))) (-.f32 ux (.f32 maxCos ux))) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (.f32 (.f32 (neg.f32 ux) maxCos) (*.f32 maxCos ux)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(+.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) (neg.f32 maxCos)))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 ux)) maxCos))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 (+.f32 (neg.f32 maxCos) #s(literal 1 binary32))) ux))
(+.f32 #s(literal 1 binary32) (.f32 (neg.f32 (-.f32 ux (.f32 maxCos ux))) #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (.f32 #s(literal -1 binary32) (-.f32 ux (.f32 maxCos ux))))
(.f32 (/.f32 #s(literal 1 binary32) (+.f32 maxCos #s(literal 1 binary32))) (/.f32 (-.f32 (.f32 ux ux) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) ux))
(.f32 (/.f32 (fma.f32 maxCos ux ux) (+.f32 maxCos #s(literal 1 binary32))) (/.f32 (-.f32 ux (.f32 maxCos ux)) ux))
(*.f32 (+.f32 (neg.f32 maxCos) #s(literal 1 binary32)) ux)
(.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux)))
(/.f32 (-.f32 (.f32 (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)))) (fma.f32 (/.f32 ux (+.f32 maxCos #s(literal 1 binary32))) (/.f32 ux ux) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))
(/.f32 (-.f32 (.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux)))) (.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))))) (+.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux)))))
(/.f32 (-.f32 (.f32 ux ux) (.f32 (.f32 (neg.f32 (neg.f32 maxCos)) ux) (.f32 (neg.f32 (neg.f32 maxCos)) ux))) (fma.f32 maxCos ux ux))
(/.f32 (-.f32 (.f32 ux ux) (.f32 (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32)) (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32)))) (-.f32 ux (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32))))
(/.f32 (-.f32 (.f32 ux ux) (.f32 (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos)) (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos)))) (-.f32 ux (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos))))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 ux ux)) (-.f32 (*.f32 (neg.f32 ux) maxCos) ux))
(/.f32 (-.f32 (pow.f32 (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)) #s(literal 3 binary32))) (fma.f32 (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)) (.f32 (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux))))))
(/.f32 (-.f32 (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (fma.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux)))))))
(/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 (neg.f32 (neg.f32 maxCos)) ux) #s(literal 3 binary32))) (fma.f32 ux ux (fma.f32 (.f32 (neg.f32 (neg.f32 maxCos)) ux) (.f32 (neg.f32 (neg.f32 maxCos)) ux) (.f32 ux (*.f32 (neg.f32 (neg.f32 maxCos)) ux)))))
(/.f32 (+.f32 (pow.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 (.f32 ux ux) (.f32 (*.f32 (neg.f32 ux) maxCos) ux))))
(/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32)) #s(literal 3 binary32))) (fma.f32 ux ux (-.f32 (.f32 (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32)) (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32))) (.f32 ux (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32))))))
(/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos)) #s(literal 3 binary32))) (fma.f32 ux ux (-.f32 (.f32 (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos)) (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos))) (.f32 ux (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos))))))
(/.f32 (neg.f32 (.f32 #s(literal 1 binary32) (-.f32 (.f32 ux ux) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))))) (neg.f32 (fma.f32 maxCos ux ux)))
(/.f32 (neg.f32 (.f32 #s(literal 1 binary32) (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))) (neg.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (.f32 ux ux) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))) (neg.f32 (neg.f32 (fma.f32 maxCos ux ux))))
(/.f32 (neg.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))))) (neg.f32 (neg.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux)))))
(/.f32 (-.f32 (.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (.f32 (fma.f32 maxCos ux ux) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (pow.f32 (fma.f32 maxCos ux ux) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (pow.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux)) #s(literal 2 binary32)))
(/.f32 (.f32 #s(literal 1 binary32) (-.f32 (.f32 ux ux) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (fma.f32 maxCos ux ux))
(/.f32 (.f32 #s(literal 1 binary32) (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux)))
(/.f32 (neg.f32 (-.f32 (.f32 ux ux) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (fma.f32 maxCos ux ux)))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 ux ux (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 ux (.f32 (neg.f32 ux) maxCos))))))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux))))
(/.f32 (-.f32 (.f32 ux ux) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (fma.f32 maxCos ux ux))
(/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (fma.f32 ux ux (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 ux (.f32 (neg.f32 ux) maxCos)))))
(/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux)))
(-.f32 (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)))
(-.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux))))
(-.f32 (.f32 (neg.f32 ux) maxCos) (.f32 (neg.f32 ux) #s(literal 1 binary32)))
(-.f32 (.f32 (neg.f32 ux) maxCos) (.f32 #s(literal -1 binary32) ux))
(-.f32 ux (.f32 (neg.f32 (.f32 (neg.f32 ux) maxCos)) #s(literal 1 binary32)))
(-.f32 ux (.f32 #s(literal -1 binary32) (.f32 (neg.f32 ux) maxCos)))
(-.f32 ux (*.f32 (neg.f32 maxCos) (neg.f32 ux)))
(-.f32 ux (*.f32 (neg.f32 ux) (neg.f32 maxCos)))
(-.f32 ux (*.f32 (neg.f32 (neg.f32 ux)) maxCos))
(-.f32 ux (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(-.f32 ux (*.f32 maxCos ux))
(fma.f32 (/.f32 (fabs.f32 ux) (+.f32 maxCos #s(literal 1 binary32))) (/.f32 (fabs.f32 ux) ux) (/.f32 (.f32 (.f32 (neg.f32 ux) maxCos) (*.f32 maxCos ux)) (fma.f32 maxCos ux ux)))
(fma.f32 (/.f32 (neg.f32 ux) (+.f32 maxCos #s(literal 1 binary32))) (/.f32 (neg.f32 ux) ux) (/.f32 (.f32 (.f32 (neg.f32 ux) maxCos) (*.f32 maxCos ux)) (fma.f32 maxCos ux ux)))
(fma.f32 (/.f32 ux (+.f32 maxCos #s(literal 1 binary32))) (/.f32 ux ux) (/.f32 (.f32 (.f32 (neg.f32 ux) maxCos) (*.f32 maxCos ux)) (fma.f32 maxCos ux ux)))
(fma.f32 (neg.f32 maxCos) ux ux)
(fma.f32 (neg.f32 ux) maxCos ux)
(fma.f32 maxCos (neg.f32 ux) ux)
(fma.f32 ux (neg.f32 maxCos) ux)
(fma.f32 ux #s(literal 1 binary32) (*.f32 (neg.f32 (neg.f32 (neg.f32 maxCos))) ux))
(fma.f32 ux #s(literal 1 binary32) (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32)))
(fma.f32 ux #s(literal 1 binary32) (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos)))
(fma.f32 ux #s(literal 1 binary32) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 #s(literal 1 binary32) ux (*.f32 (neg.f32 (neg.f32 (neg.f32 maxCos))) ux))
(fma.f32 #s(literal 1 binary32) ux (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32)))
(fma.f32 #s(literal 1 binary32) ux (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos)))
(fma.f32 #s(literal 1 binary32) ux (*.f32 (neg.f32 ux) maxCos))
(+.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 ux ux (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 ux (.f32 (neg.f32 ux) maxCos))))) (/.f32 (pow.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 3 binary32)) (fma.f32 ux ux (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 ux (*.f32 (neg.f32 ux) maxCos))))))
(+.f32 (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (/.f32 (.f32 (.f32 (neg.f32 ux) maxCos) (.f32 maxCos ux)) (fma.f32 maxCos ux ux)))
(+.f32 (*.f32 (neg.f32 ux) maxCos) ux)
(+.f32 ux (*.f32 (neg.f32 (neg.f32 (neg.f32 maxCos))) ux))
(+.f32 ux (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32)))
(+.f32 ux (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos)))
(+.f32 ux (*.f32 (neg.f32 ux) maxCos))
(*.f32 maxCos ux)
(*.f32 ux maxCos)

eval25.0ms (0.8%)

Memory: -48.5MiB live, 52.2MiB allocated
Compiler: Compiled 8 040 to 859 computations (89.3% saved)

prune5.0ms (0.2%)

Memory

16.8MiB live, 16.8MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	227	0	227
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	227	5	232

Accuracy

100.0%

Counts

232 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
✓	99.9%	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
✓	98.9%	(+.f32 #s(approx (- 1 ux) (.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)) ux)) (.f32 ux maxCos))
✓	98.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
✓	73.1%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 98 to 66 computations (32.7% saved)

regimes9.0ms (0.3%)

Memory

20.4MiB live, 20.5MiB allocated

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes8.0ms (0.3%)

Memory

-32.4MiB live, 14.4MiB allocated

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes6.0ms (0.2%)

Memory

12.3MiB live, 12.3MiB allocated

Counts

2 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes5.0ms (0.1%)

Memory

10.9MiB live, 10.9MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

simplify60.0ms (1.9%)

Memory

-1.3MiB live, 44.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	32	34
2	62	34
3	96	34
4	134	34
5	186	34
6	266	34
7	398	34
8	640	34
9	866	34
10	1071	34
11	3606	34

Stop Event

1×	node limit

Calls

Call 1

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

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

soundness642.0ms (20.5%)

Memory

-6.7MiB live, 173.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
0	9	13
1	44	13
2	327	13
3	4373	13
0	8540	12
0	39	81
1	110	79
2	301	79
3	754	79
4	1937	79
5	4059	79
6	6828	79
0	8041	73

Stop Event

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

Compiler

Compiled 59 to 37 computations (37.3% saved)

preprocess17.0ms (0.5%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze146.0ms (4.7%)

sample1.2s (39.9%)

explain59.0ms (1.9%)

preprocess109.0ms (3.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify26.0ms (0.8%)

localize15.0ms (0.5%)

series4.0ms (0.1%)

simplify85.0ms (2.7%)

rewrite189.0ms (6.1%)

eval50.0ms (1.6%)

prune3.0ms (0.1%)

simplify36.0ms (1.2%)

localize45.0ms (1.4%)

series5.0ms (0.2%)

simplify113.0ms (3.6%)

rewrite217.0ms (6.9%)

eval25.0ms (0.8%)

prune5.0ms (0.2%)

regimes9.0ms (0.3%)

regimes8.0ms (0.3%)

regimes6.0ms (0.2%)

regimes5.0ms (0.1%)

simplify60.0ms (1.9%)

soundness642.0ms (20.5%)

preprocess17.0ms (0.5%)

end0.0ms (0%)

Profiling