Metrics for UniformSampleCone, z

start0.0ms (0.0%)

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

analyze783.0ms (25.5%)

Memory

33.8MiB live, 742.9MiB allocated; 123ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	0
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	1
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	2
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	3
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	4
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	5
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	6
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	7
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	8
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	9
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	10
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	11
0.0%	0.0%	0.1%	99.9%	0.0%	0.0%	0.0%	12

sample1.3s (41.1%)

Memory

7.9MiB live, 1 057.1MiB allocated; 74ms collecting garbage

Samples

1.2s

8 256×

valid

Bogosity

preprocess42.0ms (1.4%)

Memory

-14.8MiB live, 32.5MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	75
1	222	70
2	1754	70

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs uy)

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1

Outputs
#s(literal 1 binary32)

Samples

0.0ms

1×

valid

series7.0ms (0.2%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	211

Stop Event

1×	iter-limit

Counts

6 → 18

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable	Point
1.0ms	ux	inf
1.0ms	ux	-inf
0.0ms	maxCos	inf
0.0ms	maxCos	-inf
0.0ms	ux	0

rewrite141.0ms (4.6%)

Memory

-5.6MiB live, 132.5MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	16
0	9	16
1	49	16
2	368	16
3	3086	16
0	4597	16
0	4809	15

Stop Event

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

Counts

6 → 101

Calls

Call 1

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

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

eval21.0ms (0.7%)

Memory: -18.0MiB live, 31.9MiB allocated; 8ms collecting garbage
Compiler: Compiled 1 239 to 265 computations (78.6% saved)

prune4.0ms (0.1%)

Memory

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

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	109	5	114
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	110	5	115

Accuracy

100.0%

Counts

115 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 94 to 48 computations (48.9% saved)

sample1.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1
-1

Outputs
#s(literal 1 binary32)
#s(literal -1 binary32)

Samples

0.0ms

1×

valid

series18.0ms (0.6%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	221	1238

Stop Event

1×	iter-limit

Counts

27 → 72

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable	Point
2.0ms	ux	0
2.0ms	ux	-inf
2.0ms	maxCos	-inf
2.0ms	maxCos	0
1.0ms	ux	inf

rewrite152.0ms (5.0%)

Memory

-18.3MiB live, 169.9MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	178
0	50	170
1	275	164
2	2291	164
0	4953	146
0	5271	142

Stop Event

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

Counts

27 → 474

Calls

Call 1

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

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

eval80.0ms (2.6%)

Memory: 16.8MiB live, 152.0MiB allocated; 14ms collecting garbage
Compiler: Compiled 9 151 to 1 634 computations (82.1% saved)

prune277.0ms (9.0%)

Memory

-34.7MiB live, 25.5MiB allocated; 621ms collecting garbage

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	527	4	531
Fresh	0	0	0
Picked	3	2	5
Done	0	0	0
Total	530	6	536

Accuracy

100.0%

Counts

536 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f32 ux (-.f32 maxCos #s(literal 1 binary32)) #s(literal 1 binary32))
▶	97.5%	#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (fma.f32 (*.f32 ux ux) ux #s(literal -1 binary32)) (-.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))))
✓	98.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	97.8%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux #s(approx (- (+ maxCos (/ 1 ux)) 1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
▶	97.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 maxCos (-.f32 #s(approx (+ ux (/ 1 maxCos)) (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
▶	70.9%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (- 1 ux) #s(literal 1 binary32)))

Compiler

Compiled 39 to 19 computations (51.3% saved)

sample1.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1
-1

Outputs
#s(literal 1 binary32)
#s(literal -1 binary32)

Samples

0.0ms

1×

valid

series12.0ms (0.4%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	189	984

Stop Event

1×	iter-limit

Counts

23 → 63

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable	Point
1.0ms	ux	-inf
1.0ms	ux	0
1.0ms	ux	inf
1.0ms	maxCos	-inf
1.0ms	maxCos	0

rewrite127.0ms (4.2%)

Memory

13.8MiB live, 203.5MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	200
0	44	197
1	238	197
2	1827	197
0	4524	179
0	4742	175

Stop Event

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

Counts

23 → 262

Calls

Call 1

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

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

eval47.0ms (1.5%)

Memory: -13.5MiB live, 76.3MiB allocated; 7ms collecting garbage
Compiler: Compiled 4 630 to 912 computations (80.3% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	307	0	307
Fresh	0	0	0
Picked	0	4	4
Done	0	2	2
Total	307	6	313

Accuracy

100.0%

Counts

313 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f32 ux (-.f32 maxCos #s(literal 1 binary32)) #s(literal 1 binary32))
✓	97.5%	#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (fma.f32 (*.f32 ux ux) ux #s(literal -1 binary32)) (-.f32 #s(literal -1 binary32) (fma.f32 ux ux ux))))
✓	98.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
✓	97.8%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux #s(approx (- (+ maxCos (/ 1 ux)) 1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
✓	97.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 maxCos (-.f32 #s(approx (+ ux (/ 1 maxCos)) (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
✓	70.9%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (- 1 ux) #s(literal 1 binary32)))

Compiler

Compiled 39 to 19 computations (51.3% saved)

regimes36.0ms (1.2%)

Memory

-7.7MiB live, 38.9MiB allocated; 1ms collecting garbage

Counts

1 → 1

2 → 1

10 → 1

Calls

Call 1

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

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

Call 2

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (- 1 ux) #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))

Call 3

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

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

Calls

12 calls:

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

Results

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

Compiler

Compiled 114 to 59 computations (48.2% saved)

derivations25.0ms (0.8%)

Memory

-31.9MiB live, 21.2MiB allocated; 6ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 10 to 6 computations (40.0% saved)

preprocess27.0ms (0.9%)

Memory: 13.2MiB live, 58.4MiB allocated; 5ms collecting garbage
Compiler: Compiled 37 to 30 computations (18.9% saved)

end0.0ms (0.0%)

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

start0.0ms (0.0%)

analyze783.0ms (25.5%)

sample1.3s (41.1%)

preprocess42.0ms (1.4%)

sample0.0ms (0.0%)

series7.0ms (0.2%)

rewrite141.0ms (4.6%)

eval21.0ms (0.7%)

prune4.0ms (0.1%)

sample1.0ms (0.0%)

series18.0ms (0.6%)

rewrite152.0ms (5.0%)

eval80.0ms (2.6%)

prune277.0ms (9.0%)

sample1.0ms (0.0%)

series12.0ms (0.4%)

rewrite127.0ms (4.2%)

eval47.0ms (1.5%)

prune7.0ms (0.2%)

regimes36.0ms (1.2%)

derivations25.0ms (0.8%)

preprocess27.0ms (0.9%)

end0.0ms (0.0%)

Profiling