Metrics for UniformSampleCone, z

start0.0ms (0%)

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

analyze58.0ms (3.6%)

Memory

-3.2MiB live, 38.9MiB allocated; 27ms 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)

sample527.0ms (32.3%)

Memory

14.5MiB live, 488.0MiB allocated; 126ms collecting garbage

Samples

366.0ms	8 174×	0	valid
4.0ms	82×	1	valid

Precisions

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

ival-mult!: 54.0ms (35.5% of total)

ival-add!: 50.0ms (32.8% of total)

ival-sub!: 39.0ms (25.6% of total)

adjust: 3.0ms (2% of total)

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

ival-<=: 3.0ms (2% of total)

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

Bogosity

preprocess116.0ms (7.1%)

Memory

-31.8MiB live, 55.6MiB allocated; 16ms 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 12 to 14 computations (-16.7% saved)

series5.0ms (0.3%)

Memory

11.0MiB live, 11.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	Expression
1.0ms	ux	@	-inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) 1 ux (* ux maxCos) maxCos)
1.0ms	ux	@	inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) 1 ux (* ux maxCos) maxCos)
1.0ms	maxCos	@	0	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) 1 ux (* ux maxCos) maxCos)
1.0ms	maxCos	@	-inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) 1 ux (* ux maxCos) maxCos)
1.0ms	maxCos	@	inf	((+ (- 1 ux) (* ux maxCos)) (- 1 ux) 1 ux (* ux maxCos) maxCos)

rewrite183.0ms (11.2%)

Memory

31.1MiB live, 173.9MiB allocated; 27ms 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)))

eval13.0ms (0.8%)

Memory: -27.7MiB live, 17.7MiB allocated; 5ms collecting garbage
Compiler: Compiled 1 435 to 457 computations (68.2% saved)

prune5.0ms (0.3%)

Memory

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

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	130	5	135
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	5	136

Accuracy

100.0%

Counts

136 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f32 (-.f32 maxCos #s(literal 1 binary32)) ux #s(literal 1 binary32))
▶	99.1%	(/.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))))
▶	98.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	98.8%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 (-.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) maxCos) #s(literal 1 binary32)) ux))
▶	70.9%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 102 to 104 computations (-2% saved)

series23.0ms (1.4%)

Memory

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

Counts

24 → 83

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

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

Calls

9 calls:

Time	Variable		Point	Expression
5.0ms	ux	@	-inf	((+ (* (- maxCos 1) ux) 1) (- maxCos 1) maxCos 1 ux (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (+ (- 1 ux) (* ux maxCos)) (* (- (+ (/ 1 ux) maxCos) 1) ux) (- (+ (/ 1 ux) maxCos) 1) (+ (/ 1 ux) maxCos) (/ 1 ux) (/ (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux)))) (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux))) 2 (+ ux (* maxCos ux)) (* maxCos ux) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux))) (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)) (* ux ux) (* (* (* maxCos ux) maxCos) ux) (* (* maxCos ux) maxCos))
4.0ms	ux	@	0	((+ (* (- maxCos 1) ux) 1) (- maxCos 1) maxCos 1 ux (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (+ (- 1 ux) (* ux maxCos)) (* (- (+ (/ 1 ux) maxCos) 1) ux) (- (+ (/ 1 ux) maxCos) 1) (+ (/ 1 ux) maxCos) (/ 1 ux) (/ (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux)))) (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux))) 2 (+ ux (* maxCos ux)) (* maxCos ux) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux))) (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)) (* ux ux) (* (* (* maxCos ux) maxCos) ux) (* (* maxCos ux) maxCos))
3.0ms	maxCos	@	-inf	((+ (* (- maxCos 1) ux) 1) (- maxCos 1) maxCos 1 ux (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (+ (- 1 ux) (* ux maxCos)) (* (- (+ (/ 1 ux) maxCos) 1) ux) (- (+ (/ 1 ux) maxCos) 1) (+ (/ 1 ux) maxCos) (/ 1 ux) (/ (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux)))) (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux))) 2 (+ ux (* maxCos ux)) (* maxCos ux) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux))) (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)) (* ux ux) (* (* (* maxCos ux) maxCos) ux) (* (* maxCos ux) maxCos))
3.0ms	maxCos	@	inf	((+ (* (- maxCos 1) ux) 1) (- maxCos 1) maxCos 1 ux (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (+ (- 1 ux) (* ux maxCos)) (* (- (+ (/ 1 ux) maxCos) 1) ux) (- (+ (/ 1 ux) maxCos) 1) (+ (/ 1 ux) maxCos) (/ 1 ux) (/ (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux)))) (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux))) 2 (+ ux (* maxCos ux)) (* maxCos ux) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux))) (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)) (* ux ux) (* (* (* maxCos ux) maxCos) ux) (* (* maxCos ux) maxCos))
3.0ms	ux	@	inf	((+ (* (- maxCos 1) ux) 1) (- maxCos 1) maxCos 1 ux (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos)) (- 1 ux) (+ (- 1 ux) (* ux maxCos)) (* (- (+ (/ 1 ux) maxCos) 1) ux) (- (+ (/ 1 ux) maxCos) 1) (+ (/ 1 ux) maxCos) (/ 1 ux) (/ (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux)))) (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux))) 2 (+ ux (* maxCos ux)) (* maxCos ux) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux))) (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)) (* ux ux) (* (* (* maxCos ux) maxCos) ux) (* (* maxCos ux) maxCos))

rewrite222.0ms (13.6%)

Memory

1.5MiB live, 180.2MiB allocated; 33ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	329	2210
0	357	1983
1	1807	1946
0	8483	1859

Stop Event

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

Counts

107 → 309

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

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

eval55.0ms (3.4%)

Memory: -32.5MiB live, 81.6MiB allocated; 44ms collecting garbage
Compiler: Compiled 4 865 to 1 426 computations (70.7% saved)

prune5.0ms (0.3%)

Memory

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

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	292	2	294
Fresh	0	0	0
Picked	2	3	5
Done	0	0	0
Total	294	5	299

Accuracy

100.0%

Counts

299 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f32 (-.f32 maxCos #s(literal 1 binary32)) ux #s(literal 1 binary32))
▶	97.9%	#s(approx (/ (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux)))) (.f32 (/.f32 (.f32 #s(literal 2 binary32) (-.f32 ux (*.f32 ux ux))) ux) #s(literal 1/2 binary32)))
✓	98.7%	#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.9%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 62 to 63 computations (-1.6% saved)

series14.0ms (0.9%)

Memory

-22.4MiB live, 24.8MiB allocated; 2ms collecting garbage

Counts

15 → 54

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

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

Calls

9 calls:

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

rewrite201.0ms (12.3%)

Memory

22.3MiB live, 192.4MiB allocated; 43ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	219	1389
0	231	1276
1	1189	1165
0	8667	1105

Stop Event

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

Counts

69 → 185

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

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

eval15.0ms (0.9%)

Memory: 22.7MiB live, 22.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 910 to 899 computations (52.9% saved)

prune7.0ms (0.4%)

Memory

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

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	0	0
Picked	0	2	2
Done	0	3	3
Total	168	5	173

Accuracy

100.0%

Counts

173 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f32 (-.f32 maxCos #s(literal 1 binary32)) ux #s(literal 1 binary32))
✓	97.9%	#s(approx (/ (- (* 2 (+ ux (* maxCos ux))) (* 2 (- (* ux ux) (* (* (* maxCos ux) maxCos) ux)))) (* 2 (+ ux (* maxCos ux)))) (.f32 (/.f32 (.f32 #s(literal 2 binary32) (-.f32 ux (*.f32 ux ux))) ux) #s(literal 1/2 binary32)))
✓	98.7%	#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.9%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 133 to 118 computations (11.3% saved)

regimes41.0ms (2.5%)

Memory

-22.2MiB live, 19.1MiB allocated; 13ms collecting garbage

Counts

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 9 to 16 computations (-77.8% saved)

regimes5.0ms (0.3%)

Memory

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

Results

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

Compiler

Compiled 9 to 16 computations (-77.8% saved)

regimes4.0ms (0.3%)

Memory

11.6MiB live, 11.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.9%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`
70.9%	1	`ux`
70.9%	1	`uy`
70.9%	1	`maxCos`

Compiler

Compiled 9 to 16 computations (-77.8% saved)

derivations114.0ms (7%)

Memory

-46.5MiB live, 58.5MiB allocated; 32ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 15 to 13 computations (13.3% saved)

preprocess15.0ms (0.9%)

Memory: 29.0MiB live, 29.0MiB allocated; 0ms collecting garbage
Remove: (abs uy)
Compiler: Compiled 65 to 70 computations (-7.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze58.0ms (3.6%)

sample527.0ms (32.3%)

preprocess116.0ms (7.1%)

series5.0ms (0.3%)

rewrite183.0ms (11.2%)

eval13.0ms (0.8%)

prune5.0ms (0.3%)

series23.0ms (1.4%)

rewrite222.0ms (13.6%)

eval55.0ms (3.4%)

prune5.0ms (0.3%)

series14.0ms (0.9%)

rewrite201.0ms (12.3%)

eval15.0ms (0.9%)

prune7.0ms (0.4%)

regimes41.0ms (2.5%)

regimes5.0ms (0.3%)

regimes4.0ms (0.3%)

derivations114.0ms (7%)

preprocess15.0ms (0.9%)

end0.0ms (0%)

Profiling