Metrics for UniformSampleCone, z

start0.0ms (0%)

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

analyze47.0ms (2.8%)

Memory

28.1MiB live, 75.3MiB allocated; 6ms collecting garbage

Algorithm

1×

Search

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

Compiler

Compiled 31 to 21 computations (32.3% saved)

sample471.0ms (28.2%)

Memory

14.2MiB live, 724.3MiB allocated; 114ms collecting garbage

Samples

305.0ms	8 159×	0	valid
5.0ms	97×	1	valid

Precisions

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

ival-mult!: 40.0ms (38.5% of total)

ival-sub!: 36.0ms (34.7% of total)

ival-add!: 18.0ms (17.3% of total)

ival-<=: 4.0ms (3.9% of total)

adjust: 3.0ms (2.9% of total)

ival-and: 3.0ms (2.9% of total)

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

Bogosity

preprocess121.0ms (7.2%)

Memory

-32.8MiB live, 60.5MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	25	77
1	77	75
2	166	75
3	305	71
4	843	70
5	5516	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 14 computations (0% saved)

series5.0ms (0.3%)

Memory

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

Counts

6 → 17

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite227.0ms (13.6%)

Memory

-17.9MiB live, 234.4MiB allocated; 90ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	229
0	64	217
1	323	213
2	2827	212
0	9807	197

Stop Event

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

Counts

23 → 141

Calls

Call 1

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

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

eval10.0ms (0.6%)

Memory: 23.6MiB live, 23.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 3 109 to 457 computations (85.3% saved)

prune5.0ms (0.3%)

Memory

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

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	129	6	135
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	130	6	136

Accuracy

100.0%

Counts

136 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 132 to 110 computations (16.7% saved)

series9.0ms (0.6%)

Memory

-31.4MiB live, 14.2MiB allocated; 3ms collecting garbage

Counts

14 → 37

Calls

Call 1

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

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

Calls

9 calls:

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

rewrite163.0ms (9.8%)

Memory

43.2MiB live, 220.6MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	134	630
0	144	588
1	717	570
2	6256	570
0	8115	567

Stop Event

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

Counts

51 → 302

Calls

Call 1

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

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

eval21.0ms (1.2%)

Memory: 3.8MiB live, 49.5MiB allocated; 8ms collecting garbage
Compiler: Compiled 5 250 to 816 computations (84.5% saved)

prune9.0ms (0.6%)

Memory

-28.9MiB live, 17.7MiB allocated; 6ms collecting garbage

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	235	2	237
Fresh	1	0	1
Picked	1	4	5
Done	0	0	0
Total	237	6	243

Accuracy

100.0%

Counts

243 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f32 (-.f32 maxCos #s(literal 1 binary32)) ux #s(literal 1 binary32))
✓	99.9%	(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
▶	97.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 (*.f32 ux ux) (+.f32 ux #s(literal 1 binary32)))))
✓	98.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	97.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 #s(approx (- (+ (/ 1 ux) maxCos) 1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) ux))
✓	70.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 76 to 61 computations (19.7% saved)

series7.0ms (0.4%)

Memory

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

Counts

13 → 50

Calls

Call 1

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

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (/ 1 ux)))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (/ (+ 1 (* ux (- maxCos 1))) ux)))
#s(approx (- (/ 1 ux) 1) #s(hole binary32 (/ (+ 1 (* -1 ux)) ux)))
#s(approx ux #s(hole binary32 ux))
#s(approx (- (/ 1 (+ ux 1)) (/ (* ux ux) (+ ux 1))) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ 1 (+ ux 1)) #s(hole binary32 (+ 1 (* ux (- ux 1)))))
#s(approx (/ 1 (+ ux 1)) #s(hole binary32 (+ 1 (* ux (- (* ux (+ 1 (* -1 ux))) 1)))))
#s(approx (+ ux 1) #s(hole binary32 (+ 1 ux)))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (pow ux 2)))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* (pow ux 2) (+ 1 (* -1 ux)))))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* (pow ux 2) (+ 1 (* ux (- ux 1))))))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* (pow ux 2) (+ 1 (* ux (- (* ux (+ 1 (* -1 ux))) 1))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (- maxCos 1)))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (- (+ maxCos (/ 1 ux)) 1)))
#s(approx (- (/ 1 ux) 1) #s(hole binary32 -1))
#s(approx (- (/ 1 ux) 1) #s(hole binary32 (- (/ 1 ux) 1)))
#s(approx (- (/ 1 (+ ux 1)) (/ (* ux ux) (+ ux 1))) #s(hole binary32 (* -1 ux)))
#s(approx (- (/ 1 (+ ux 1)) (/ (* ux ux) (+ ux 1))) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (/ 1 (+ ux 1)) #s(hole binary32 (/ (- 1 (/ 1 ux)) ux)))
#s(approx (/ 1 (+ ux 1)) #s(hole binary32 (/ (- (+ 1 (/ 1 (pow ux 2))) (/ 1 ux)) ux)))
#s(approx (/ 1 (+ ux 1)) #s(hole binary32 (/ (- (+ 1 (/ 1 (pow ux 2))) (+ (/ 1 ux) (/ 1 (pow ux 3)))) ux)))
#s(approx (+ ux 1) #s(hole binary32 (* ux (+ 1 (/ 1 ux)))))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* ux (- 1 (/ 1 ux)))))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* ux (- (+ 1 (/ 1 (pow ux 2))) (/ 1 ux)))))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* ux (- (+ 1 (/ 1 (pow ux 2))) (+ (/ 1 ux) (/ 1 (pow ux 3)))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))))
#s(approx (- (/ 1 (+ ux 1)) (/ (* ux ux) (+ ux 1))) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ 1 (+ ux 1)) #s(hole binary32 (* -1 (/ (- (/ 1 ux) 1) ux))))
#s(approx (/ 1 (+ ux 1)) #s(hole binary32 (* -1 (/ (- (* -1 (/ (- (/ 1 ux) 1) ux)) 1) ux))))
#s(approx (/ 1 (+ ux 1)) #s(hole binary32 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (- (/ 1 ux) 1) ux)) 1) ux)) 1) ux))))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* -1 (* ux (- (/ 1 ux) 1)))))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* -1 (* ux (- (* -1 (/ (- (/ 1 ux) 1) ux)) 1)))))
#s(approx (/ (* ux ux) (+ ux 1)) #s(hole binary32 (* -1 (* ux (- (* -1 (/ (- (* -1 (/ (- (/ 1 ux) 1) ux)) 1) ux)) 1)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (+ (* maxCos ux) (* ux (- (/ 1 ux) 1)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* maxCos (+ ux (/ (* ux (- (/ 1 ux) 1)) maxCos)))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 maxCos))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (* maxCos (- (+ 1 (/ 1 (* maxCos ux))) (/ 1 maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (* ux (- (/ 1 ux) 1)) maxCos)))))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (* -1 (* maxCos (- (* -1 (/ (- (/ 1 ux) 1) maxCos)) 1)))))

Calls

9 calls:

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

rewrite160.0ms (9.6%)

Memory

-6.8MiB live, 234.6MiB allocated; 58ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	174	975
0	186	853
1	880	836
0	8416	806

Stop Event

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

Counts

63 → 249

Calls

Call 1

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

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

eval21.0ms (1.2%)

Memory: 5.6MiB live, 51.9MiB allocated; 6ms collecting garbage
Compiler: Compiled 6 869 to 1 081 computations (84.3% saved)

prune6.0ms (0.4%)

Memory

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

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	232	1	233
Fresh	0	0	0
Picked	1	1	2
Done	0	4	4
Total	233	6	239

Accuracy

100.0%

Counts

239 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f32 (-.f32 maxCos #s(literal 1 binary32)) ux #s(literal 1 binary32))
✓	99.9%	(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
✓	98.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	97.2%	#s(approx (+ (- 1 ux) (* ux maxCos)) (.f32 #s(approx (- (+ (/ 1 ux) maxCos) 1) (/.f32 (+.f32 (neg.f32 ux) (.f32 ux ux)) (*.f32 (neg.f32 ux) ux))) ux))
✓	97.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 #s(approx (- (+ (/ 1 ux) maxCos) 1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) ux))
✓	70.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 84 to 65 computations (22.6% saved)

series10.0ms (0.6%)

Memory

-30.2MiB live, 16.2MiB allocated; 7ms collecting garbage

Counts

9 → 32

Calls

Call 1

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

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (/ 1 ux)))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (/ (+ 1 (* ux (- maxCos 1))) ux)))
#s(approx (/ (+ (neg ux) (* ux ux)) (* (neg ux) ux)) #s(hole binary32 (/ (+ 1 (* -1 ux)) ux)))
#s(approx (+ (neg ux) (* ux ux)) #s(hole binary32 (* -1 ux)))
#s(approx (+ (neg ux) (* ux ux)) #s(hole binary32 (* ux (- ux 1))))
#s(approx ux #s(hole binary32 ux))
#s(approx (* ux ux) #s(hole binary32 (pow ux 2)))
#s(approx (* (neg ux) ux) #s(hole binary32 (* -1 (pow ux 2))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (- maxCos 1)))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (- (+ maxCos (/ 1 ux)) 1)))
#s(approx (/ (+ (neg ux) (* ux ux)) (* (neg ux) ux)) #s(hole binary32 -1))
#s(approx (/ (+ (neg ux) (* ux ux)) (* (neg ux) ux)) #s(hole binary32 (- (/ 1 ux) 1)))
#s(approx (+ (neg ux) (* ux ux)) #s(hole binary32 (* (pow ux 2) (- 1 (/ 1 ux)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (+ (* maxCos ux) (* ux (- (/ 1 ux) 1)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* maxCos (+ ux (/ (* ux (- (/ 1 ux) 1)) maxCos)))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 maxCos))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (* maxCos (- (+ 1 (/ 1 (* maxCos ux))) (/ 1 maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (* ux (- (/ 1 ux) 1)) maxCos)))))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (* -1 (* maxCos (- (* -1 (/ (- (/ 1 ux) 1) maxCos)) 1)))))

Calls

9 calls:

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

rewrite151.0ms (9.1%)

Memory

2.7MiB live, 190.0MiB allocated; 46ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	116	594
0	125	573
1	603	517
0	5225	500

Stop Event

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

Counts

41 → 176

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) (.f32 #s(approx (- (+ (/ 1 ux) maxCos) 1) (/.f32 (+.f32 (neg.f32 ux) (.f32 ux ux)) (*.f32 (neg.f32 ux) ux))) ux))
(.f32 #s(approx (- (+ (/ 1 ux) maxCos) 1) (/.f32 (+.f32 (neg.f32 ux) (.f32 ux ux)) (*.f32 (neg.f32 ux) ux))) ux)
#s(approx (- (+ (/ 1 ux) maxCos) 1) (/.f32 (+.f32 (neg.f32 ux) (.f32 ux ux)) (.f32 (neg.f32 ux) ux)))
(/.f32 (+.f32 (neg.f32 ux) (.f32 ux ux)) (.f32 (neg.f32 ux) ux))
(+.f32 (neg.f32 ux) (*.f32 ux ux))
(neg.f32 ux)
ux
(*.f32 ux ux)
(*.f32 (neg.f32 ux) ux)
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (/ 1 ux)))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (/ (+ 1 (* ux (- maxCos 1))) ux)))
#s(approx (/ (+ (neg ux) (* ux ux)) (* (neg ux) ux)) #s(hole binary32 (/ (+ 1 (* -1 ux)) ux)))
#s(approx (+ (neg ux) (* ux ux)) #s(hole binary32 (* -1 ux)))
#s(approx (+ (neg ux) (* ux ux)) #s(hole binary32 (* ux (- ux 1))))
#s(approx ux #s(hole binary32 ux))
#s(approx (* ux ux) #s(hole binary32 (pow ux 2)))
#s(approx (* (neg ux) ux) #s(hole binary32 (* -1 (pow ux 2))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (- maxCos 1)))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (- (+ maxCos (/ 1 ux)) 1)))
#s(approx (/ (+ (neg ux) (* ux ux)) (* (neg ux) ux)) #s(hole binary32 -1))
#s(approx (/ (+ (neg ux) (* ux ux)) (* (neg ux) ux)) #s(hole binary32 (- (/ 1 ux) 1)))
#s(approx (+ (neg ux) (* ux ux)) #s(hole binary32 (* (pow ux 2) (- 1 (/ 1 ux)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (+ (* maxCos ux) (* ux (- (/ 1 ux) 1)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* maxCos (+ ux (/ (* ux (- (/ 1 ux) 1)) maxCos)))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 maxCos))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (* maxCos (- (+ 1 (/ 1 (* maxCos ux))) (/ 1 maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (* (- (+ (/ 1 ux) maxCos) 1) ux) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (* ux (- (/ 1 ux) 1)) maxCos)))))))
#s(approx (- (+ (/ 1 ux) maxCos) 1) #s(hole binary32 (* -1 (* maxCos (- (* -1 (/ (- (/ 1 ux) 1) maxCos)) 1)))))

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

eval13.0ms (0.8%)

Memory: 37.1MiB live, 37.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 5 306 to 901 computations (83% saved)

prune8.0ms (0.5%)

Memory

-33.3MiB live, 12.8MiB allocated; 7ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	167	6	173

Accuracy

100.0%

Counts

173 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f32 (-.f32 maxCos #s(literal 1 binary32)) ux #s(literal 1 binary32))
✓	99.9%	(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
✓	98.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
	97.3%	#s(approx (+ (- 1 ux) (* ux maxCos)) (.f32 #s(approx (- (+ (/ 1 ux) maxCos) 1) (/.f32 (fma.f32 (neg.f32 ux) ux ux) (.f32 ux ux))) ux))
✓	97.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 #s(approx (- (+ (/ 1 ux) maxCos) 1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) ux))
✓	70.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 255 to 111 computations (56.5% saved)

regimes14.0ms (0.8%)

Memory

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

Counts

11 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes12.0ms (0.7%)

Memory

-33.6MiB live, 20.9MiB allocated; 8ms collecting garbage

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes6.0ms (0.3%)

Memory

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

Counts

2 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes4.0ms (0.3%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

derivations145.0ms (8.7%)

Memory

-37.0MiB live, 148.5MiB allocated; 30ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 32 to 14 computations (56.3% saved)

preprocess24.0ms (1.4%)

Memory: 3.8MiB live, 49.8MiB allocated; 8ms collecting garbage
Remove: (abs uy)
Compiler: Compiled 103 to 83 computations (19.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze47.0ms (2.8%)

sample471.0ms (28.2%)

preprocess121.0ms (7.2%)

series5.0ms (0.3%)

rewrite227.0ms (13.6%)

eval10.0ms (0.6%)

prune5.0ms (0.3%)

series9.0ms (0.6%)

rewrite163.0ms (9.8%)

eval21.0ms (1.2%)

prune9.0ms (0.6%)

series7.0ms (0.4%)

rewrite160.0ms (9.6%)

eval21.0ms (1.2%)

prune6.0ms (0.4%)

series10.0ms (0.6%)

rewrite151.0ms (9.1%)

eval13.0ms (0.8%)

prune8.0ms (0.5%)

regimes14.0ms (0.8%)

regimes12.0ms (0.7%)

regimes6.0ms (0.3%)

regimes4.0ms (0.3%)

derivations145.0ms (8.7%)

preprocess24.0ms (1.4%)

end0.0ms (0%)

Profiling