Metrics for UniformSampleCone, z

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze80.0ms (2.1%)

Memory

15.3MiB live, 91.6MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 31 to 21 computations (32.3% saved)

sample1.0s (27.1%)

Memory

59.5MiB live, 1 234.9MiB allocated

Samples

693.0ms	8 186×	0	valid
8.0ms	70×	1	valid

Precisions

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

const: 160.0ms (32.5% of total)

ival-<=: 128.0ms (26% of total)

ival-sub: 56.0ms (11.4% of total)

ival-mult: 54.0ms (11% of total)

ival-add: 52.0ms (10.6% of total)

ival-and: 30.0ms (6.1% of total)

exact: 8.0ms (1.6% of total)

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

adjust: 2.0ms (0.4% of total)

Bogosity

explain59.0ms (1.5%)

Memory

14.0MiB live, 89.4MiB allocated

FPErrors

Click to see full error table

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

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

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

Compiler

Compiled 59 to 32 computations (45.8% saved)

Precisions

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

ival-add: 4.0ms (37.4% of total)

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

ival-mult: 3.0ms (28% 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)

preprocess62.0ms (1.6%)

Memory

2.9MiB live, 44.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

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

Calls

Call 1

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

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

Symmetry

(abs uy)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

simplify18.0ms (0.5%)

Memory

-18.5MiB live, 18.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize15.0ms (0.4%)

Memory

22.9MiB live, 22.9MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

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

Compiler

Compiled 34 to 16 computations (52.9% saved)

Precisions

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

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

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

ival-sub: 1.0ms (22.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)

series5.0ms (0.1%)

Memory

6.8MiB live, 6.8MiB allocated

Counts

3 → 60

Calls

Call 1

Inputs
#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())
#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())
#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())

Inputs

#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos)) #<representation binary32>) () ())

#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())

#s(alt (*.f32 ux maxCos) (patch (*.f32 ux maxCos) #<representation binary32>) () ())

Outputs
#s(alt (- 1 ux) (taylor 0 maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* -1 ux)) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* -1 ux)) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* -1 ux)) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* ux (- maxCos 1)) (taylor inf ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* -1 ux) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* ux (- (/ 1 ux) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* ux (- (/ 1 ux) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* ux (- (/ 1 ux) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (+ 1 (* -1 maxCos)))) (taylor -inf ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) (patch (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 ux maxCos)) #<representation binary32>) () ())) ())
#s(alt (* -1 ux) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- 1 (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- 1 (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- 1 (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf ux) (#s(alt (.f32 ux maxCos) (patch (.f32 ux maxCos) #<representation binary32>) () ())) ())

Calls

6 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	@	-inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) (* ux maxCos))
0.0ms	maxCos	@	0	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) (* ux maxCos))
0.0ms	maxCos	@	inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) (* ux maxCos))

simplify134.0ms (3.5%)

Memory

7.0MiB live, 80.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	250
1	110	250
2	322	250
3	925	250
4	2404	250
5	3714	250
6	4795	250
7	5840	250
8	7417	250
9	7958	250
0	8094	232

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

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

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

rewrite172.0ms (4.5%)

Memory

4.2MiB live, 193.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

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

Counts

3 → 311

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval32.0ms (0.8%)

Memory: -16.5MiB live, 57.5MiB allocated
Compiler: Compiled 6 295 to 781 computations (87.6% saved)

prune6.0ms (0.1%)

Memory

20.6MiB live, 20.6MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	367	4	371
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	367	5	372

Accuracy

100.0%

Counts

372 → 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))
▶	34.2%	(*.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
▶	98.0%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	70.0%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 37 to 35 computations (5.4% saved)

simplify481.0ms (12.6%)

Memory

-0.1MiB live, 244.7MiB 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	64	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
cost-diff	0	(-.f32 #s(literal 1 binary32) ux)
cost-diff	0	(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
cost-diff	0	(pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))
cost-diff	4032	(*.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
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	17	90
0	25	76
1	48	76
2	95	76
3	369	76
4	2276	76
0	8251	76

Stop Event

1×	iter limit
1×	node limit
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 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
maxCos
ux
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
#s(literal 2 binary32)
(/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
#s(literal 1 binary32)
(-.f32 ux (*.f32 maxCos ux))
ux
(*.f32 maxCos ux)
maxCos

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(literal 1 binary32)
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
ux
(*.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
maxCos
ux
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)
#s(literal 2 binary32)
(/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
(-.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

localize52.0ms (1.4%)

Memory

-9.8MiB live, 64.2MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(*.f32 maxCos ux)
accuracy	0.0078125	(-.f32 ux (*.f32 maxCos ux))
accuracy	0.015625	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
accuracy	0.1640625	(/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
accuracy	0.40234375	(pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))
accuracy	0.45541000976844204	(*.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
accuracy	27.322487403185576	(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
accuracy	0	(-.f32 #s(literal 1 binary32) ux)
accuracy	0.6363160761972633	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
accuracy	9.604704210029047	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Samples

33.0ms	254×	0	valid
0.0ms	2×	1	valid

Compiler

Compiled 167 to 32 computations (80.8% saved)

Precisions

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

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

ival-sub: 4.0ms (25.8% of total)

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

ival-pow2: 3.0ms (19.3% of total)

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

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

series13.0ms (0.3%)

Memory

24.2MiB live, 24.2MiB allocated

Counts

10 → 228

Calls

Call 1

Inputs
#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())
#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())
#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())
#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())
#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())
#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())
#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())
#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())
#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())
#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())

Outputs
#s(alt (- 1 ux) (taylor 0 maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (- 1 ux) (taylor 0 maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (- 1 ux) (taylor 0 maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (pow (- 1 ux) 2) (taylor 0 maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ (* 2 (* maxCos (* ux (- 1 ux)))) (pow (- 1 ux) 2)) (taylor 0 maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ (* maxCos (+ (* 2 (* ux (- 1 ux))) (* maxCos (pow ux 2)))) (pow (- 1 ux) 2)) (taylor 0 maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ (* maxCos (+ (* 2 (* ux (- 1 ux))) (* maxCos (pow ux 2)))) (pow (- 1 ux) 2)) (taylor 0 maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (- 1 ux) (taylor 0 maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (- 1 ux) (taylor 0 maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (- (+ 1 (* maxCos ux)) ux) (taylor 0 maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt ux (taylor 0 maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (+ ux (* -1 (* maxCos ux))) (taylor 0 maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (+ ux (* -1 (* maxCos ux))) (taylor 0 maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (+ ux (* -1 (* maxCos ux))) (taylor 0 maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (/ 1 (- 1 ux)) (taylor 0 maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (+ (* -1 (/ (* maxCos ux) (pow (- 1 ux) 2))) (/ 1 (- 1 ux))) (taylor 0 maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (+ (* maxCos (- (/ (* maxCos (pow ux 2)) (pow (- 1 ux) 3)) (/ ux (pow (- 1 ux) 2)))) (/ 1 (- 1 ux))) (taylor 0 maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (+ (* maxCos (- (* maxCos (- (* -1 (/ (* maxCos (pow ux 3)) (pow (- 1 ux) 4))) (* -1 (/ (pow ux 2) (pow (- 1 ux) 3))))) (/ ux (pow (- 1 ux) 2)))) (/ 1 (- 1 ux))) (taylor 0 maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* (pow maxCos 2) (pow ux 2)) (taylor inf maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (pow ux 2))) (taylor inf maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (+ (/ (pow (- 1 ux) 2) (pow maxCos 2)) (pow ux 2)))) (taylor inf maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (+ (/ (pow (- 1 ux) 2) (pow maxCos 2)) (pow ux 2)))) (taylor inf maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos))) (taylor inf maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos ux)) (taylor inf maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (/ ux maxCos) ux)) (taylor inf maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (/ ux maxCos) ux)) (taylor inf maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos (- (/ ux maxCos) ux)) (taylor inf maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (/ 1 (* maxCos ux)) (taylor inf maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (/ (- (+ (/ 1 ux) (/ 1 (* maxCos ux))) (/ 1 (* maxCos (pow ux 2)))) maxCos) (taylor inf maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (/ (- (+ (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 2) ux))) (+ (/ 1 ux) (/ 1 (* maxCos ux)))) (/ 1 (* maxCos (pow ux 2)))) maxCos) (taylor inf maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (/ (- (+ (/ 1 ux) (+ (/ 1 (* maxCos ux)) (/ (* (pow (- 1 ux) 2) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 3) (pow ux 2))))) (+ (/ 1 (* maxCos (pow ux 2))) (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 2) ux)))) maxCos) (taylor inf maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* (pow maxCos 2) (pow ux 2)) (taylor -inf maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (pow ux 2))) (taylor -inf maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow maxCos 2) (+ (* -1 (/ (+ (* -2 (* ux (- 1 ux))) (* -1 (/ (pow (- 1 ux) 2) maxCos))) maxCos)) (pow ux 2))) (taylor -inf maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow maxCos 2) (+ (* -1 (/ (+ (* -2 (* ux (- 1 ux))) (* -1 (/ (pow (- 1 ux) 2) maxCos))) maxCos)) (pow ux 2))) (taylor -inf maxCos) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos))))) (taylor -inf maxCos) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos ux)) (taylor -inf maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux)))) (taylor -inf maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux)))) (taylor -inf maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux)))) (taylor -inf maxCos) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf maxCos) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (/ 1 (* maxCos ux)) (taylor -inf maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (/ (- (* -1 (/ (- (/ 1 ux) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos)) (taylor -inf maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (/ (- (* -1 (/ (- (+ (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* maxCos ux))) (/ 1 ux)) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos)) (taylor -inf maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (/ (- (* -1 (/ (- (+ (* -1 (/ (- (* -1 (/ (* (pow (- 1 ux) 2) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* maxCos (pow ux 2)))) (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) ux))) maxCos)) (/ 1 ux)) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos)) (taylor -inf maxCos) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* -1 ux)) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* -1 ux)) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* -1 ux)) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- (* 2 maxCos) 2))) (taylor 0 ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- (+ (* 2 maxCos) (* ux (pow (- maxCos 1) 2))) 2))) (taylor 0 ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- (+ (* 2 maxCos) (* ux (pow (- maxCos 1) 2))) 2))) (taylor 0 ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- maxCos 1))) (taylor 0 ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* ux (- 1 maxCos)) (taylor 0 ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- 1 maxCos)) (taylor 0 ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- 1 maxCos)) (taylor 0 ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- 1 maxCos)) (taylor 0 ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor 0 ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt 1 (taylor 0 ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- 1 maxCos))) (taylor 0 ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- (+ 1 (* -1 (* ux (* (- 1 maxCos) (- maxCos 1))))) maxCos))) (taylor 0 ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (+ 1 (* ux (- (+ 1 (* ux (- (* ux (* (- 1 maxCos) (pow (- maxCos 1) 2))) (* (- 1 maxCos) (- maxCos 1))))) maxCos))) (taylor 0 ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* ux (- maxCos 1)) (taylor inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* ux (- maxCos 1)) (taylor inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 ux) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* ux (- (/ 1 ux) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* ux (- (/ 1 ux) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* ux (- (/ 1 ux) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* ux (- maxCos 1)) (taylor inf ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* (pow ux 2) (pow (- maxCos 1) 2)) (taylor inf ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (pow (- maxCos 1) 2)) (* 2 (/ 1 ux)))) (taylor inf ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (+ (/ 1 (pow ux 2)) (pow (- maxCos 1) 2))) (* 2 (/ 1 ux)))) (taylor inf ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (+ (/ 1 (pow ux 2)) (pow (- maxCos 1) 2))) (* 2 (/ 1 ux)))) (taylor inf ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* ux (- maxCos 1)) (taylor inf ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- maxCos 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* ux (- (+ maxCos (/ 1 ux)) 1)) (taylor inf ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* ux (- 1 maxCos)) (taylor inf ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- 1 maxCos)) (taylor inf ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- 1 maxCos)) (taylor inf ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (- 1 maxCos)) (taylor inf ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor inf ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (/ 1 (* ux (- maxCos 1))) (taylor inf ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (/ (- (/ 1 (- maxCos 1)) (/ 1 (* ux (pow (- maxCos 1) 2)))) ux) (taylor inf ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (/ (- (+ (/ 1 (* (pow ux 2) (pow (- maxCos 1) 3))) (/ 1 (- maxCos 1))) (/ 1 (* ux (pow (- maxCos 1) 2)))) ux) (taylor inf ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (/ (- (+ (/ 1 (* (pow ux 2) (pow (- maxCos 1) 3))) (/ 1 (- maxCos 1))) (+ (/ 1 (* ux (pow (- maxCos 1) 2))) (/ 1 (* (pow ux 3) (pow (- maxCos 1) 4))))) ux) (taylor inf ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (+ 1 (* -1 maxCos)))) (taylor -inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (+ 1 (* -1 maxCos)))) (taylor -inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) (patch #s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 ux) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- 1 (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- 1 (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- 1 (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) ux) (patch (-.f32 #s(literal 1 binary32) ux) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (+ 1 (* -1 maxCos)))) (taylor -inf ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) (patch (.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))) #<representation binary32>) () ())) ())
#s(alt (* (pow ux 2) (pow (+ 1 (* -1 maxCos)) 2)) (taylor -inf ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow ux 2) (+ (* -1 (/ (+ 2 (* -2 maxCos)) ux)) (pow (+ 1 (* -1 maxCos)) 2))) (taylor -inf ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow ux 2) (+ (* -1 (/ (- (+ 2 (* -2 maxCos)) (/ 1 ux)) ux)) (pow (+ 1 (* -1 maxCos)) 2))) (taylor -inf ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* (pow ux 2) (+ (* -1 (/ (- (+ 2 (* -2 maxCos)) (/ 1 ux)) ux)) (pow (+ 1 (* -1 maxCos)) 2))) (taylor -inf ux) (#s(alt (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (patch (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (+ 1 (* -1 maxCos)))) (taylor -inf ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) (patch (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (+ 1 (* -1 maxCos)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux)))) (taylor -inf ux) (#s(alt (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) (patch (-.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux))) #<representation binary32>) () ())) ())
#s(alt (* ux (+ 1 (* -1 maxCos))) (taylor -inf ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (+ 1 (* -1 maxCos))) (taylor -inf ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (+ 1 (* -1 maxCos))) (taylor -inf ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* ux (+ 1 (* -1 maxCos))) (taylor -inf ux) (#s(alt (-.f32 ux (.f32 maxCos ux)) (patch (-.f32 ux (.f32 maxCos ux)) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (* maxCos ux) (taylor -inf ux) (#s(alt (.f32 maxCos ux) (patch (.f32 maxCos ux) #<representation binary32>) () ())) ())
#s(alt (/ -1 (* ux (+ 1 (* -1 maxCos)))) (taylor -inf ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 2))) (/ 1 (+ 1 (* -1 maxCos)))) ux)) (taylor -inf ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 2))) (+ (/ 1 (* (pow ux 2) (pow (+ 1 (* -1 maxCos)) 3))) (/ 1 (+ 1 (* -1 maxCos))))) ux)) (taylor -inf ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 (/ (- (* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 4))) (/ 1 (pow (+ 1 (* -1 maxCos)) 3))) ux)) (/ 1 (pow (+ 1 (* -1 maxCos)) 2))) ux)) (/ 1 (+ 1 (* -1 maxCos)))) ux)) (taylor -inf ux) (#s(alt (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) (patch (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))) #<representation binary32>) () ())) ())

Calls

6 calls:

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

simplify194.0ms (5.1%)

Memory

9.3MiB live, 200.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	250	2030
1	748	1994
2	2305	1933
0	8711	1837

Stop Event

1×	iter limit
1×	node limit

Counts

228 → 227

Calls

Call 1

Inputs
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(pow (- 1 ux) 2)
(+ (* 2 (* maxCos (* ux (- 1 ux)))) (pow (- 1 ux) 2))
(+ (* maxCos (+ (* 2 (* ux (- 1 ux))) (* maxCos (pow ux 2)))) (pow (- 1 ux) 2))
(+ (* maxCos (+ (* 2 (* ux (- 1 ux))) (* maxCos (pow ux 2)))) (pow (- 1 ux) 2))
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
ux
(+ ux (* -1 (* maxCos ux)))
(+ ux (* -1 (* maxCos ux)))
(+ ux (* -1 (* maxCos ux)))
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(/ 1 (- 1 ux))
(+ (* -1 (/ (* maxCos ux) (pow (- 1 ux) 2))) (/ 1 (- 1 ux)))
(+ (* maxCos (- (/ (* maxCos (pow ux 2)) (pow (- 1 ux) 3)) (/ ux (pow (- 1 ux) 2)))) (/ 1 (- 1 ux)))
(+ (* maxCos (- (* maxCos (- (* -1 (/ (* maxCos (pow ux 3)) (pow (- 1 ux) 4))) (* -1 (/ (pow ux 2) (pow (- 1 ux) 3))))) (/ ux (pow (- 1 ux) 2)))) (/ 1 (- 1 ux)))
(* maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* (pow maxCos 2) (pow ux 2))
(* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (pow ux 2)))
(* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (+ (/ (pow (- 1 ux) 2) (pow maxCos 2)) (pow ux 2))))
(* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (+ (/ (pow (- 1 ux) 2) (pow maxCos 2)) (pow ux 2))))
(* maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* -1 (* maxCos ux))
(* maxCos (- (/ ux maxCos) ux))
(* maxCos (- (/ ux maxCos) ux))
(* maxCos (- (/ ux maxCos) ux))
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(/ 1 (* maxCos ux))
(/ (- (+ (/ 1 ux) (/ 1 (* maxCos ux))) (/ 1 (* maxCos (pow ux 2)))) maxCos)
(/ (- (+ (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 2) ux))) (+ (/ 1 ux) (/ 1 (* maxCos ux)))) (/ 1 (* maxCos (pow ux 2)))) maxCos)
(/ (- (+ (/ 1 ux) (+ (/ 1 (* maxCos ux)) (/ (* (pow (- 1 ux) 2) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 3) (pow ux 2))))) (+ (/ 1 (* maxCos (pow ux 2))) (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 2) ux)))) maxCos)
(* maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* (pow maxCos 2) (pow ux 2))
(* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (pow ux 2)))
(* (pow maxCos 2) (+ (* -1 (/ (+ (* -2 (* ux (- 1 ux))) (* -1 (/ (pow (- 1 ux) 2) maxCos))) maxCos)) (pow ux 2)))
(* (pow maxCos 2) (+ (* -1 (/ (+ (* -2 (* ux (- 1 ux))) (* -1 (/ (pow (- 1 ux) 2) maxCos))) maxCos)) (pow ux 2)))
(* maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos ux))
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(/ 1 (* maxCos ux))
(* -1 (/ (- (* -1 (/ (- (/ 1 ux) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos))
(* -1 (/ (- (* -1 (/ (- (+ (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* maxCos ux))) (/ 1 ux)) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos))
(* -1 (/ (- (* -1 (/ (- (+ (* -1 (/ (- (* -1 (/ (* (pow (- 1 ux) 2) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* maxCos (pow ux 2)))) (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) ux))) maxCos)) (/ 1 ux)) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos))
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
1
(+ 1 (* -1 ux))
(+ 1 (* -1 ux))
(+ 1 (* -1 ux))
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
1
(+ 1 (* ux (- (* 2 maxCos) 2)))
(+ 1 (* ux (- (+ (* 2 maxCos) (* ux (pow (- maxCos 1) 2))) 2)))
(+ 1 (* ux (- (+ (* 2 maxCos) (* ux (pow (- maxCos 1) 2))) 2)))
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(* ux (- 1 maxCos))
(* ux (- 1 maxCos))
(* ux (- 1 maxCos))
(* ux (- 1 maxCos))
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
1
(+ 1 (* ux (- 1 maxCos)))
(+ 1 (* ux (- (+ 1 (* -1 (* ux (* (- 1 maxCos) (- maxCos 1))))) maxCos)))
(+ 1 (* ux (- (+ 1 (* ux (- (* ux (* (- 1 maxCos) (pow (- maxCos 1) 2))) (* (- 1 maxCos) (- maxCos 1))))) maxCos)))
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* -1 ux)
(* ux (- (/ 1 ux) 1))
(* ux (- (/ 1 ux) 1))
(* ux (- (/ 1 ux) 1))
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* (pow ux 2) (pow (- maxCos 1) 2))
(* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (pow (- maxCos 1) 2)) (* 2 (/ 1 ux))))
(* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (+ (/ 1 (pow ux 2)) (pow (- maxCos 1) 2))) (* 2 (/ 1 ux))))
(* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (+ (/ 1 (pow ux 2)) (pow (- maxCos 1) 2))) (* 2 (/ 1 ux))))
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- 1 maxCos))
(* ux (- 1 maxCos))
(* ux (- 1 maxCos))
(* ux (- 1 maxCos))
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(/ 1 (* ux (- maxCos 1)))
(/ (- (/ 1 (- maxCos 1)) (/ 1 (* ux (pow (- maxCos 1) 2)))) ux)
(/ (- (+ (/ 1 (* (pow ux 2) (pow (- maxCos 1) 3))) (/ 1 (- maxCos 1))) (/ 1 (* ux (pow (- maxCos 1) 2)))) ux)
(/ (- (+ (/ 1 (* (pow ux 2) (pow (- maxCos 1) 3))) (/ 1 (- maxCos 1))) (+ (/ 1 (* ux (pow (- maxCos 1) 2))) (/ 1 (* (pow ux 3) (pow (- maxCos 1) 4))))) ux)
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* (pow ux 2) (pow (+ 1 (* -1 maxCos)) 2))
(* (pow ux 2) (+ (* -1 (/ (+ 2 (* -2 maxCos)) ux)) (pow (+ 1 (* -1 maxCos)) 2)))
(* (pow ux 2) (+ (* -1 (/ (- (+ 2 (* -2 maxCos)) (/ 1 ux)) ux)) (pow (+ 1 (* -1 maxCos)) 2)))
(* (pow ux 2) (+ (* -1 (/ (- (+ 2 (* -2 maxCos)) (/ 1 ux)) ux)) (pow (+ 1 (* -1 maxCos)) 2)))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* ux (+ 1 (* -1 maxCos)))
(* ux (+ 1 (* -1 maxCos)))
(* ux (+ 1 (* -1 maxCos)))
(* ux (+ 1 (* -1 maxCos)))
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(/ -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 2))) (/ 1 (+ 1 (* -1 maxCos)))) ux))
(* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 2))) (+ (/ 1 (* (pow ux 2) (pow (+ 1 (* -1 maxCos)) 3))) (/ 1 (+ 1 (* -1 maxCos))))) ux))
(* -1 (/ (+ (* -1 (/ (- (* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 4))) (/ 1 (pow (+ 1 (* -1 maxCos)) 3))) ux)) (/ 1 (pow (+ 1 (* -1 maxCos)) 2))) ux)) (/ 1 (+ 1 (* -1 maxCos)))) ux))

Outputs
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(pow (- 1 ux) 2)
(pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))
(+ (* 2 (* maxCos (* ux (- 1 ux)))) (pow (- 1 ux) 2))
(.f32 (-.f32 #s(literal 1 binary32) ux) (fma.f32 (.f32 #s(literal 2 binary32) ux) maxCos (-.f32 #s(literal 1 binary32) ux)))
(+ (* maxCos (+ (* 2 (* ux (- 1 ux))) (* maxCos (pow ux 2)))) (pow (- 1 ux) 2))
(fma.f32 (*.f32 ux (fma.f32 maxCos ux (fma.f32 #s(literal -2 binary32) ux #s(literal 2 binary32)))) maxCos (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))
(+ (* maxCos (+ (* 2 (* ux (- 1 ux))) (* maxCos (pow ux 2)))) (pow (- 1 ux) 2))
(fma.f32 (*.f32 ux (fma.f32 maxCos ux (fma.f32 #s(literal -2 binary32) ux #s(literal 2 binary32)))) maxCos (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(- (+ 1 (* maxCos ux)) ux)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
ux
(+ ux (* -1 (* maxCos ux)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(+ ux (* -1 (* maxCos ux)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(+ ux (* -1 (* maxCos ux)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(/ 1 (- 1 ux))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(+ (* -1 (/ (* maxCos ux) (pow (- 1 ux) 2))) (/ 1 (- 1 ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)) (*.f32 (/.f32 ux (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) maxCos))
(+ (* maxCos (- (/ (* maxCos (pow ux 2)) (pow (- 1 ux) 3)) (/ ux (pow (- 1 ux) 2)))) (/ 1 (- 1 ux)))
(fma.f32 (-.f32 (.f32 (.f32 ux ux) (/.f32 maxCos (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (/.f32 ux (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) maxCos (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)))
(+ (* maxCos (- (* maxCos (- (* -1 (/ (* maxCos (pow ux 3)) (pow (- 1 ux) 4))) (* -1 (/ (pow ux 2) (pow (- 1 ux) 3))))) (/ ux (pow (- 1 ux) 2)))) (/ 1 (- 1 ux)))
(fma.f32 (-.f32 (.f32 (-.f32 (.f32 ux (/.f32 ux (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (*.f32 (pow.f32 ux #s(literal 3 binary32)) (/.f32 maxCos (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 4 binary32))))) maxCos) (/.f32 ux (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) maxCos (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux)))
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* (pow maxCos 2) (pow ux 2))
(.f32 (.f32 (*.f32 ux ux) maxCos) maxCos)
(* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (pow ux 2)))
(.f32 (.f32 ux (fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) #s(literal 2 binary32) ux)) (*.f32 maxCos maxCos))
(* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (+ (/ (pow (- 1 ux) 2) (pow maxCos 2)) (pow ux 2))))
(.f32 (fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (fma.f32 #s(literal 2 binary32) ux (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)) (.f32 ux ux)) (*.f32 maxCos maxCos))
(* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (+ (/ (pow (- 1 ux) 2) (pow maxCos 2)) (pow ux 2))))
(.f32 (fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) (fma.f32 #s(literal 2 binary32) ux (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos)) (.f32 ux ux)) (*.f32 maxCos maxCos))
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos ux))
(*.f32 (neg.f32 maxCos) ux)
(* maxCos (- (/ ux maxCos) ux))
(*.f32 (-.f32 (/.f32 ux maxCos) ux) maxCos)
(* maxCos (- (/ ux maxCos) ux))
(*.f32 (-.f32 (/.f32 ux maxCos) ux) maxCos)
(* maxCos (- (/ ux maxCos) ux))
(*.f32 (-.f32 (/.f32 ux maxCos) ux) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(/ 1 (* maxCos ux))
(/.f32 (/.f32 #s(literal 1 binary32) maxCos) ux)
(/ (- (+ (/ 1 ux) (/ 1 (* maxCos ux))) (/ 1 (* maxCos (pow ux 2)))) maxCos)
(/.f32 (+.f32 (/.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos) (/.f32 #s(literal 1 binary32) ux)) maxCos)
(/ (- (+ (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 2) ux))) (+ (/ 1 ux) (/ 1 (* maxCos ux)))) (/ 1 (* maxCos (pow ux 2)))) maxCos)
(/.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) (/.f32 (-.f32 (fma.f32 (/.f32 (+.f32 #s(literal -1 binary32) ux) ux) (/.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos) (/.f32 #s(literal 1 binary32) ux)) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos)) maxCos)
(/ (- (+ (/ 1 ux) (+ (/ 1 (* maxCos ux)) (/ (* (pow (- 1 ux) 2) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 3) (pow ux 2))))) (+ (/ 1 (* maxCos (pow ux 2))) (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* (pow maxCos 2) ux)))) maxCos)
(/.f32 (fma.f32 (/.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 maxCos #s(literal 3 binary32))) ux) (/.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) ux) (+.f32 (/.f32 (-.f32 (fma.f32 (/.f32 (+.f32 #s(literal -1 binary32) ux) ux) (/.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos) (/.f32 #s(literal 1 binary32) ux)) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos) (/.f32 #s(literal 1 binary32) ux))) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* (pow maxCos 2) (pow ux 2))
(.f32 (.f32 (*.f32 ux ux) maxCos) maxCos)
(* (pow maxCos 2) (+ (* 2 (/ (* ux (- 1 ux)) maxCos)) (pow ux 2)))
(.f32 (.f32 ux (fma.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) #s(literal 2 binary32) ux)) (*.f32 maxCos maxCos))
(* (pow maxCos 2) (+ (* -1 (/ (+ (* -2 (* ux (- 1 ux))) (* -1 (/ (pow (- 1 ux) 2) maxCos))) maxCos)) (pow ux 2)))
(.f32 (-.f32 (.f32 ux ux) (/.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 (.f32 #s(literal -2 binary32) ux) (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))) maxCos)) (*.f32 maxCos maxCos))
(* (pow maxCos 2) (+ (* -1 (/ (+ (* -2 (* ux (- 1 ux))) (* -1 (/ (pow (- 1 ux) 2) maxCos))) maxCos)) (pow ux 2)))
(.f32 (-.f32 (.f32 ux ux) (/.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 (.f32 #s(literal -2 binary32) ux) (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))) maxCos)) (*.f32 maxCos maxCos))
(* maxCos ux)
(*.f32 maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos)
(* -1 (* maxCos ux))
(*.f32 (neg.f32 maxCos) ux)
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))
(*.f32 (-.f32 (/.f32 ux maxCos) ux) maxCos)
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))
(*.f32 (-.f32 (/.f32 ux maxCos) ux) maxCos)
(* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))
(*.f32 (-.f32 (/.f32 ux maxCos) ux) maxCos)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(/ 1 (* maxCos ux))
(/.f32 (/.f32 #s(literal 1 binary32) maxCos) ux)
(* -1 (/ (- (* -1 (/ (- (/ 1 ux) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos))
(/.f32 (+.f32 (/.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos) (/.f32 #s(literal 1 binary32) ux)) maxCos)
(* -1 (/ (- (* -1 (/ (- (+ (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* maxCos ux))) (/ 1 ux)) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos))
(/.f32 (+.f32 (/.f32 (-.f32 (fma.f32 (/.f32 (+.f32 #s(literal -1 binary32) ux) ux) (/.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos) (/.f32 #s(literal 1 binary32) ux)) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos) (/.f32 #s(literal 1 binary32) ux)) maxCos)
(* -1 (/ (- (* -1 (/ (- (+ (* -1 (/ (- (* -1 (/ (* (pow (- 1 ux) 2) (- (/ 1 ux) (/ 1 (pow ux 2)))) (* maxCos (pow ux 2)))) (* -1 (/ (* (- 1 ux) (- (/ 1 ux) (/ 1 (pow ux 2)))) ux))) maxCos)) (/ 1 ux)) (/ 1 (pow ux 2))) maxCos)) (/ 1 ux)) maxCos))
(/.f32 (+.f32 (/.f32 (-.f32 (+.f32 (/.f32 (.f32 (-.f32 (/.f32 #s(literal 1 binary32) ux) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) (-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (.f32 (*.f32 ux ux) maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) ux) ux))) maxCos) (/.f32 #s(literal 1 binary32) ux)) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) maxCos) (/.f32 #s(literal 1 binary32) ux)) maxCos)
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
1
#s(literal 1 binary32)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
1
#s(literal 1 binary32)
(+ 1 (* ux (- (* 2 maxCos) 2)))
(fma.f32 (fma.f32 #s(literal 2 binary32) maxCos #s(literal -2 binary32)) ux #s(literal 1 binary32))
(+ 1 (* ux (- (+ (* 2 maxCos) (* ux (pow (- maxCos 1) 2))) 2)))
(fma.f32 (fma.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux (fma.f32 #s(literal 2 binary32) maxCos #s(literal -2 binary32))) ux #s(literal 1 binary32))
(+ 1 (* ux (- (+ (* 2 maxCos) (* ux (pow (- maxCos 1) 2))) 2)))
(fma.f32 (fma.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux (fma.f32 #s(literal 2 binary32) maxCos #s(literal -2 binary32))) ux #s(literal 1 binary32))
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(+ 1 (* ux (- maxCos 1)))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
1
#s(literal 1 binary32)
(+ 1 (* ux (- 1 maxCos)))
(fma.f32 (-.f32 #s(literal 1 binary32) maxCos) ux #s(literal 1 binary32))
(+ 1 (* ux (- (+ 1 (* -1 (* ux (* (- 1 maxCos) (- maxCos 1))))) maxCos)))
(fma.f32 (-.f32 (fma.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux #s(literal 1 binary32)) maxCos) ux #s(literal 1 binary32))
(+ 1 (* ux (- (+ 1 (* ux (- (* ux (* (- 1 maxCos) (pow (- maxCos 1) 2))) (* (- 1 maxCos) (- maxCos 1))))) maxCos)))
(fma.f32 (-.f32 (fma.f32 (fma.f32 (pow.f32 (-.f32 #s(literal 1 binary32) maxCos) #s(literal 3 binary32)) ux (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32))) ux #s(literal 1 binary32)) maxCos) ux #s(literal 1 binary32))
(* ux (- maxCos 1))
(*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- maxCos 1))
(*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 ux)
(neg.f32 ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* ux (- maxCos 1))
(*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* (pow ux 2) (pow (- maxCos 1) 2))
(.f32 (.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux) ux)
(* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (pow (- maxCos 1) 2)) (* 2 (/ 1 ux))))
(.f32 (+.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) (.f32 (/.f32 #s(literal 2 binary32) ux) (-.f32 maxCos #s(literal 1 binary32)))) (*.f32 ux ux))
(* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (+ (/ 1 (pow ux 2)) (pow (- maxCos 1) 2))) (* 2 (/ 1 ux))))
(.f32 (+.f32 (+.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) (.f32 (/.f32 #s(literal 2 binary32) ux) (-.f32 maxCos #s(literal 1 binary32)))) (*.f32 ux ux))
(* (pow ux 2) (- (+ (* 2 (/ maxCos ux)) (+ (/ 1 (pow ux 2)) (pow (- maxCos 1) 2))) (* 2 (/ 1 ux))))
(.f32 (+.f32 (+.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux)) (.f32 (/.f32 #s(literal 2 binary32) ux) (-.f32 maxCos #s(literal 1 binary32)))) (*.f32 ux ux))
(* ux (- maxCos 1))
(*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- maxCos 1))
(*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- (+ maxCos (/ 1 ux)) 1))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (- 1 maxCos))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(/ 1 (* ux (- maxCos 1)))
(/.f32 (/.f32 #s(literal 1 binary32) (-.f32 maxCos #s(literal 1 binary32))) ux)
(/ (- (/ 1 (- maxCos 1)) (/ 1 (* ux (pow (- maxCos 1) 2)))) ux)
(/.f32 (-.f32 (/.f32 #s(literal 1 binary32) (-.f32 maxCos #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux))) ux)
(/ (- (+ (/ 1 (* (pow ux 2) (pow (- maxCos 1) 3))) (/ 1 (- maxCos 1))) (/ 1 (* ux (pow (- maxCos 1) 2)))) ux)
(/.f32 (-.f32 (+.f32 (/.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 3 binary32))) (.f32 ux ux)) (/.f32 #s(literal 1 binary32) (-.f32 maxCos #s(literal 1 binary32)))) (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux))) ux)
(/ (- (+ (/ 1 (* (pow ux 2) (pow (- maxCos 1) 3))) (/ 1 (- maxCos 1))) (+ (/ 1 (* ux (pow (- maxCos 1) 2))) (/ 1 (* (pow ux 3) (pow (- maxCos 1) 4))))) ux)
(/.f32 (-.f32 (-.f32 (/.f32 #s(literal 1 binary32) (-.f32 maxCos #s(literal 1 binary32))) (/.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 4 binary32))) (pow.f32 ux #s(literal 3 binary32)))) (-.f32 (/.f32 #s(literal 1 binary32) (.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux)) (/.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 3 binary32))) (.f32 ux ux)))) ux)
(* -1 (* ux (+ 1 (* -1 maxCos))))
(*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos 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))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 ux)
(neg.f32 ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (+ 1 (* -1 maxCos))))
(*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* (pow ux 2) (pow (+ 1 (* -1 maxCos)) 2))
(.f32 (.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux) ux)
(* (pow ux 2) (+ (* -1 (/ (+ 2 (* -2 maxCos)) ux)) (pow (+ 1 (* -1 maxCos)) 2)))
(.f32 (-.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) (/.f32 (fma.f32 #s(literal -2 binary32) maxCos #s(literal 2 binary32)) ux)) (.f32 ux ux))
(* (pow ux 2) (+ (* -1 (/ (- (+ 2 (* -2 maxCos)) (/ 1 ux)) ux)) (pow (+ 1 (* -1 maxCos)) 2)))
(.f32 (-.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) (/.f32 (-.f32 (fma.f32 #s(literal -2 binary32) maxCos #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) ux)) ux)) (.f32 ux ux))
(* (pow ux 2) (+ (* -1 (/ (- (+ 2 (* -2 maxCos)) (/ 1 ux)) ux)) (pow (+ 1 (* -1 maxCos)) 2)))
(.f32 (-.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) (/.f32 (-.f32 (fma.f32 #s(literal -2 binary32) maxCos #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) ux)) ux)) (.f32 ux ux))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos 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))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(* ux (+ 1 (* -1 maxCos)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (+ 1 (* -1 maxCos)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (+ 1 (* -1 maxCos)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* ux (+ 1 (* -1 maxCos)))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(* maxCos ux)
(*.f32 maxCos ux)
(/ -1 (* ux (+ 1 (* -1 maxCos))))
(/.f32 #s(literal -1 binary32) (*.f32 (-.f32 #s(literal 1 binary32) maxCos) ux))
(* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 2))) (/ 1 (+ 1 (* -1 maxCos)))) ux))
(/.f32 (+.f32 (/.f32 #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) maxCos)) (/.f32 (/.f32 #s(literal -1 binary32) (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32))) ux)) ux)
(* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 2))) (+ (/ 1 (* (pow ux 2) (pow (+ 1 (* -1 maxCos)) 3))) (/ 1 (+ 1 (* -1 maxCos))))) ux))
(/.f32 (+.f32 (+.f32 (/.f32 (/.f32 (/.f32 #s(literal 1 binary32) ux) ux) (pow.f32 (-.f32 #s(literal 1 binary32) maxCos) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) maxCos))) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32)) ux))) (neg.f32 ux))
(* -1 (/ (+ (* -1 (/ (- (* -1 (/ (+ (/ 1 (* ux (pow (+ 1 (* -1 maxCos)) 4))) (/ 1 (pow (+ 1 (* -1 maxCos)) 3))) ux)) (/ 1 (pow (+ 1 (* -1 maxCos)) 2))) ux)) (/ 1 (+ 1 (* -1 maxCos)))) ux))
(/.f32 (+.f32 (/.f32 #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) maxCos)) (/.f32 (-.f32 (/.f32 #s(literal -1 binary32) (pow.f32 (-.f32 maxCos #s(literal 1 binary32)) #s(literal 2 binary32))) (/.f32 (+.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (-.f32 #s(literal 1 binary32) maxCos) #s(literal 3 binary32))) (/.f32 #s(literal 1 binary32) (*.f32 (pow.f32 (-.f32 #s(literal 1 binary32) maxCos) #s(literal 4 binary32)) ux))) ux)) ux)) ux)

rewrite241.0ms (6.3%)

Memory

-44.0MiB live, 293.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	77
0	25	63
1	121	63
2	1071	63
0	8350	63

Stop Event

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

Counts

10 → 1 312

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 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
(pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(-.f32 ux (*.f32 maxCos ux))
(*.f32 maxCos ux)
(/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval337.0ms (8.8%)

Memory: 28.1MiB live, 324.8MiB allocated
Compiler: Compiled 63 191 to 3 751 computations (94.1% saved)

prune72.0ms (1.9%)

Memory

17.5MiB live, 103.1MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	1 872	0	1 872
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	1 872	5	1 877

Accuracy

100.0%

Counts

1 877 → 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))
✓	35.2%	(*.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))
✓	98.0%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
✓	70.0%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 74 to 52 computations (29.7% saved)

regimes12.0ms (0.3%)

Memory

-15.6MiB live, 22.0MiB 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 (pow.f32 (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)) #s(literal 2 binary32)) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))))

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes8.0ms (0.2%)

Memory

17.0MiB live, 17.0MiB 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	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
2.0ms	uy
2.0ms	ux
2.0ms	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)

regimes10.0ms (0.3%)

Memory

-21.0MiB live, 15.8MiB 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:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes5.0ms (0.1%)

Memory

15.6MiB live, 15.6MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

simplify144.0ms (3.8%)

Memory

-25.3MiB live, 71.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	34	34
2	71	34
3	130	34
4	254	34
5	501	34
6	1109	34
7	4389	34
8	5480	34
9	7438	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 #s(literal 1 binary32) (-.f32 (*.f32 maxCos ux) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(+.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

soundness554.0ms (14.6%)

Memory

5.3MiB live, 229.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	250
1	110	250
2	322	250
3	925	250
4	2404	250
5	3714	250
6	4795	250
7	5840	250
8	7417	250
9	7958	250
0	8094	232
0	6	13
0	9	13
1	42	13
2	343	13
3	5314	13
0	9014	12

Stop Event

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

Compiler

Compiled 45 to 32 computations (28.9% saved)

preprocess70.0ms (1.8%)

Memory: -8.0MiB live, 42.6MiB allocated
Remove: (abs uy)
Compiler: Compiled 96 to 78 computations (18.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze80.0ms (2.1%)

sample1.0s (27.1%)

explain59.0ms (1.5%)

preprocess62.0ms (1.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify18.0ms (0.5%)

localize15.0ms (0.4%)

series5.0ms (0.1%)

simplify134.0ms (3.5%)

rewrite172.0ms (4.5%)

eval32.0ms (0.8%)

prune6.0ms (0.1%)

simplify481.0ms (12.6%)

localize52.0ms (1.4%)

series13.0ms (0.3%)

simplify194.0ms (5.1%)

rewrite241.0ms (6.3%)

eval337.0ms (8.8%)

prune72.0ms (1.9%)

regimes12.0ms (0.3%)

regimes8.0ms (0.2%)

regimes10.0ms (0.3%)

regimes5.0ms (0.1%)

simplify144.0ms (3.8%)

soundness554.0ms (14.6%)

preprocess70.0ms (1.8%)

end0.0ms (0%)

Profiling