UniformSampleCone, z

Time bar (total: 1.1s)

start0.0ms (0.0%)

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

analyze29.0ms (2.6%)

Memory
-9.5MiB live, 19.3MiB allocated; 4ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%0.1%99.9%0.0%0.0%0.0%0
0.0%0.0%0.1%99.9%0.0%0.0%0.0%1
0.0%0.0%0.1%99.9%0.0%0.0%0.0%2
25.0%0.0%0.1%99.9%0.0%0.0%0.0%3
25.0%0.0%0.1%99.9%0.0%0.0%0.0%4
37.5%0.0%0.1%99.9%0.0%0.0%0.0%5
56.2%0.1%0.0%99.9%0.0%0.0%0.0%6
56.2%0.1%0.0%99.9%0.0%0.0%0.0%7
65.6%0.1%0.0%99.9%0.0%0.0%0.0%8
76.6%0.1%0.0%99.9%0.0%0.0%0.0%9
76.6%0.1%0.0%99.9%0.0%0.0%0.0%10
82.0%0.1%0.0%99.9%0.0%0.0%0.0%11
87.9%0.1%0.0%99.9%0.0%0.0%0.0%12
Compiler

Compiled 31 to 21 computations (32.3% saved)

sample402.0ms (36.0%)

Memory
34.8MiB live, 247.7MiB allocated; 164ms collecting garbage
Samples
204.0ms8 174×0valid
2.0ms82×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
Sub: 3.0ms (40.2% of total, 0.0 MiB)
Add: 2.0ms (26.8% of total, 0.0 MiB)
Mul: 2.0ms (26.8% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Le: 0.0ms (0.0% of total, 0.0 MiB)
And: 0.0ms (0.0% of total, 0.0 MiB)
Assert: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess33.0ms (3.0%)

Memory
-12.9MiB live, 16.3MiB allocated; 5ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02575
112970
239770
399670
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
Symmetry

(abs uy)

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample0.0ms (0.0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
1
Outputs
#s(literal 1 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 3 to 2 computations (33.3% saved)

series6.0ms (0.5%)

Memory
10.5MiB live, 10.5MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
060211
Stop Event
1×iter-limit
Counts
6 → 18
Calls
Call 1
Inputs
%2 = (-.f32 #s(literal 1 binary32) ux)
%4 = (*.f32 ux maxCos)
#s(literal 1 binary32)
ux
%2
maxCos
%4
(+.f32 %2 %4)
Outputs
%5 = (- 1 ux)
%9 = (*.f32 #s(literal -1 binary32) ux)
%13 = (* ux maxCos)
%14 = (*.f32 maxCos ux)
%16 = (+ %5 %13)
%18 = (*.f32 ux (-.f32 maxCos #s(literal 1 binary32)))
%22 = (/.f32 #s(literal 1 binary32) ux)
%36 = (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) maxCos))
%45 = (-.f32 #s(literal 1 binary32) ux)
(approx 1 #s(literal 0 binary32))
(approx ux ux)
(approx %5 #s(literal 1 binary32))
(approx %5 (+.f32 #s(literal 1 binary32) %9))
(approx %13 %14)
(approx %16 (+.f32 #s(literal 1 binary32) %18))
(approx %5 %9)
(approx %5 (*.f32 ux (-.f32 %22 #s(literal 1 binary32))))
(approx %16 %18)
(approx %16 (*.f32 ux (-.f32 (+.f32 maxCos %22) #s(literal 1 binary32))))
(approx %5 (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) %22))))
(approx %16 (*.f32 #s(literal -1 binary32) (*.f32 ux %36)))
(approx %16 (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 %36 %22))))
(approx maxCos maxCos)
(approx %16 %45)
(approx %16 (-.f32 (+.f32 #s(literal 1 binary32) %14) ux))
(approx %16 (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
(approx %16 (*.f32 #s(literal -1 binary32) (*.f32 maxCos (fma.f32 #s(literal -1 binary32) ux (*.f32 #s(literal -1 binary32) (/.f32 %45 maxCos))))))
Calls

9 calls:

TimeVariablePoint
0.0ms
ux
inf
0.0ms
ux
-inf
0.0ms
maxCos
inf
0.0ms
maxCos
-inf
0.0ms
ux
0

rewrite113.0ms (10.1%)

Memory
12.2MiB live, 74.4MiB allocated; 14ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0616
0916
13316
29316
328616
4135216
0417316
0431915
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 287
Calls
Call 1
Inputs
%2 = (-.f32 #s(literal 1 binary32) ux)
%4 = (*.f32 ux maxCos)
#s(literal 1 binary32)
ux
%2
maxCos
%4
(+.f32 %2 %4)
Outputs
%3 = (-.f32 #s(literal 1 binary32) ux)
%4 = (*.f32 #s(literal 2 binary32) %3)
%6 = (/.f32 %4 #s(literal 8 binary32))
%9 = (/.f32 %4 #s(literal 4 binary32))
%14 = (neg.f32 ux)
%15 = (fma.f32 #s(literal 2 binary32) %14 #s(literal 1 binary32))
%19 = (/.f32 %4 #s(literal 1/2 binary32))
%22 = (/.f32 %4 #s(literal 1 binary32))
%25 = (-.f32 #s(literal 1/2 binary32) ux)
%26 = (fma.f32 %25 #s(literal 2 binary32) #s(literal 1 binary32))
%30 = (fma.f32 %14 #s(literal -2 binary32) #s(literal -2 binary32))
%33 = (fma.f32 %14 #s(literal 1 binary32) #s(literal 1 binary32))
%37 = (-.f32 (*.f32 %14 #s(literal -2 binary32)) #s(literal 2 binary32))
%40 = (fma.f32 %4 #s(literal 2 binary32) #s(literal 0 binary32))
%43 = (neg.f32 %4)
%46 = (fma.f32 #s(literal 2 binary32) ux #s(literal -2 binary32))
%47 = (neg.f32 %46)
%62 = (-.f32 ux #s(literal 1 binary32))
%71 = (+.f32 ux ux)
%72 = (-.f32 %71 #s(literal 1 binary32))
%84 = (-.f32 ux #s(literal 1/2 binary32))
%181 = (/.f32 %72 #s(literal -2 binary32))
%184 = (/.f32 %25 #s(literal 1 binary32))
%186 = (/.f32 %14 #s(literal 1 binary32))
%190 = (/.f32 %71 #s(literal -2 binary32))
%193 = (-.f32 #s(literal -1/2 binary32) %14)
%196 = (+.f32 #s(literal -1/2 binary32) ux)
%207 = (-.f32 #s(literal 0 binary32) %14)
%210 = (+.f32 #s(literal 0 binary32) ux)
%213 = (-.f32 ux #s(literal 0 binary32))
%252 = (+.f32 #s(literal 0 binary32) %25)
%266 = (neg.f32 maxCos)
%269 = (*.f32 maxCos ux)
%275 = (*.f32 %14 maxCos)
%277 = (fma.f32 maxCos ux %3)
%279 = (fma.f32 maxCos %71 #s(literal 1 binary32))
%284 = (fma.f32 maxCos %71 %4)
%287 = (-.f32 %269 ux)
%288 = (fma.f32 %287 #s(literal -2 binary32) #s(literal -2 binary32))
%291 = (fma.f32 %287 #s(literal 2 binary32) #s(literal 2 binary32))
%294 = (fma.f32 %287 #s(literal 1 binary32) #s(literal 1 binary32))
%297 = (fma.f32 maxCos %71 #s(literal 2 binary32))
%298 = (fma.f32 #s(literal 2 binary32) %14 %297)
%301 = (*.f32 maxCos %71)
%302 = (-.f32 %301 %46)
%305 = (*.f32 %287 #s(literal 2 binary32))
%306 = (-.f32 %305 #s(literal -2 binary32))
%309 = (*.f32 %287 #s(literal -2 binary32))
%310 = (-.f32 %309 #s(literal 2 binary32))
%313 = (fma.f32 maxCos ux #s(literal 1 binary32))
%314 = (-.f32 ux %313)
%315 = (*.f32 #s(literal 2 binary32) %314)
%316 = (neg.f32 %315)
%341 = (-.f32 ux %269)
%342 = (*.f32 %341 #s(literal 2 binary32))
%343 = (-.f32 %342 #s(literal 1 binary32))
%358 = (fma.f32 maxCos ux #s(literal 1/2 binary32))
%359 = (-.f32 ux %358)
%448 = (/.f32 %309 #s(literal -2 binary32))
%450 = (/.f32 %305 #s(literal 2 binary32))
%452 = (/.f32 %343 #s(literal -2 binary32))
%454 = (/.f32 %342 #s(literal -2 binary32))
%458 = (/.f32 %301 #s(literal 2 binary32))
%460 = (-.f32 %358 ux)
%488 = (-.f32 #s(literal 0 binary32) %275)
%490 = (+.f32 #s(literal 0 binary32) %269)
%496 = (-.f32 %266 #s(literal -1 binary32))
%508 = (-.f32 #s(literal 1/2 binary32) %275)
#s(literal 1 binary32)
ux
(*.f32 %6 #s(literal 4 binary32))
(*.f32 %9 #s(literal 2 binary32))
(*.f32 %4 #s(literal 1/2 binary32))
(*.f32 #s(literal 1 binary32) %3)
(/.f32 (+.f32 #s(literal 1 binary32) %15) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %19) #s(literal 4 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %22) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %26) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %30) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %33) #s(literal 1 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %37) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %40) #s(literal 4 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %43) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %47) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %4) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %46) #s(literal -2 binary32))
(/.f32 (+.f32 %40 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (+.f32 %30 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %37 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %43 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (fma.f32 #s(literal 2 binary32) %62 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %26 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %47 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %33 #s(literal 0 binary32)) #s(literal 1 binary32))
(/.f32 (-.f32 #s(literal 1 binary32) %72) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (/.f32 %46 #s(literal 1/2 binary32))) #s(literal 4 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (/.f32 %46 #s(literal 1 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (fma.f32 ux #s(literal -2 binary32) #s(literal 2 binary32))) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %84 #s(literal 2 binary32)) #s(literal 1 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %62 #s(literal 2 binary32)) #s(literal 0 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 ux #s(literal -2 binary32)) #s(literal -2 binary32))) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 ux #s(literal 1 binary32)) #s(literal 1 binary32))) #s(literal 1 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %46 #s(literal 2 binary32)) #s(literal 0 binary32))) #s(literal 4 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %43) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %47) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %4) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %46) #s(literal 2 binary32))
(/.f32 (-.f32 %19 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (-.f32 %40 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (-.f32 %30 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %37 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %22 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %26 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %33 #s(literal 0 binary32)) #s(literal 1 binary32))
(/.f32 (-.f32 %47 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %4 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %43 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (neg.f32 %19) #s(literal -4 binary32))
(/.f32 (neg.f32 %22) #s(literal -2 binary32))
(/.f32 (neg.f32 %26) #s(literal -2 binary32))
(/.f32 (neg.f32 %30) #s(literal 2 binary32))
(/.f32 (neg.f32 %33) #s(literal -1 binary32))
(/.f32 (neg.f32 %37) #s(literal 2 binary32))
(/.f32 (neg.f32 %40) #s(literal -4 binary32))
(/.f32 (neg.f32 %43) #s(literal 2 binary32))
(/.f32 (neg.f32 %47) #s(literal -2 binary32))
(/.f32 %19 #s(literal 4 binary32))
(/.f32 %22 #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 2 binary32) %71) #s(literal 2 binary32))
(/.f32 %26 #s(literal 2 binary32))
(/.f32 %30 #s(literal -2 binary32))
(/.f32 %33 #s(literal 1 binary32))
(/.f32 %37 #s(literal -2 binary32))
(/.f32 %40 #s(literal 4 binary32))
(/.f32 %43 #s(literal -2 binary32))
(/.f32 %47 #s(literal 2 binary32))
(/.f32 %4 #s(literal 2 binary32))
(/.f32 %46 #s(literal -2 binary32))
(/.f32 %62 #s(literal -1 binary32))
(/.f32 %3 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) %4))
(/.f32 #s(literal 1 binary32) (pow.f32 %3 #s(literal -1 binary32)))
(-.f32 (/.f32 (-.f32 %71 #s(literal 3/2 binary32)) #s(literal -2 binary32)) #s(literal -1/4 binary32))
(-.f32 (/.f32 (-.f32 %71 #s(literal 1/2 binary32)) #s(literal -2 binary32)) #s(literal -3/4 binary32))
(-.f32 %181 #s(literal -1/2 binary32))
(-.f32 %184 #s(literal -1/2 binary32))
(-.f32 %186 #s(literal -1 binary32))
(-.f32 (+.f32 %3 #s(literal 1 binary32)) #s(literal 1 binary32))
(-.f32 %190 #s(literal -1 binary32))
(-.f32 %25 #s(literal -1/2 binary32))
(-.f32 #s(literal 1/2 binary32) (/.f32 %193 #s(literal 1 binary32)))
(-.f32 #s(literal 1/2 binary32) (/.f32 %196 #s(literal 1 binary32)))
(-.f32 #s(literal 1/2 binary32) (/.f32 %84 #s(literal 1 binary32)))
(-.f32 #s(literal 1/2 binary32) %193)
(-.f32 #s(literal 1/2 binary32) %196)
(-.f32 #s(literal 1/2 binary32) %84)
(-.f32 %14 #s(literal -1 binary32))
(-.f32 #s(literal 0 binary32) %62)
(-.f32 %3 #s(literal 0 binary32))
(-.f32 #s(literal 1 binary32) (/.f32 %207 #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) (/.f32 %210 #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) (/.f32 %213 #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) (/.f32 ux #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) %207)
(-.f32 #s(literal 1 binary32) %210)
(-.f32 #s(literal 1 binary32) %213)
%3
(fma.f32 %6 #s(literal 4 binary32) #s(literal 0 binary32))
(fma.f32 %9 #s(literal 2 binary32) #s(literal 0 binary32))
(fma.f32 %4 #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) %25 #s(literal 1/2 binary32))
(fma.f32 #s(literal 1 binary32) %14 #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) %3 #s(literal 0 binary32))
(pow.f32 %3 #s(literal 1 binary32))
(+.f32 (/.f32 (*.f32 %25 #s(literal 2 binary32)) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(+.f32 (/.f32 (*.f32 %14 #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32))
(+.f32 (/.f32 (*.f32 %4 #s(literal 2 binary32)) #s(literal 4 binary32)) #s(literal 0 binary32))
(+.f32 (/.f32 (fma.f32 #s(literal 2 binary32) %14 #s(literal 3/2 binary32)) #s(literal 2 binary32)) #s(literal 1/4 binary32))
(+.f32 (/.f32 (fma.f32 #s(literal 2 binary32) %14 #s(literal 1/2 binary32)) #s(literal 2 binary32)) #s(literal 3/4 binary32))
(+.f32 %181 #s(literal 1/2 binary32))
(+.f32 (/.f32 %190 #s(literal 1 binary32)) #s(literal 1 binary32))
(+.f32 %184 #s(literal 1/2 binary32))
(+.f32 %186 #s(literal 1 binary32))
(+.f32 %190 #s(literal 1 binary32))
(+.f32 %25 #s(literal 1/2 binary32))
(+.f32 #s(literal 1/2 binary32) (/.f32 %252 #s(literal 1 binary32)))
(+.f32 #s(literal 1/2 binary32) %184)
(+.f32 #s(literal 1/2 binary32) %252)
(+.f32 #s(literal 1/2 binary32) %25)
(+.f32 %14 #s(literal 1 binary32))
(+.f32 #s(literal 0 binary32) %3)
(+.f32 %3 #s(literal 0 binary32))
(+.f32 #s(literal 1 binary32) %186)
(+.f32 #s(literal 1 binary32) %190)
(+.f32 #s(literal 1 binary32) %14)
(neg.f32 %62)
maxCos
(*.f32 %266 %14)
(*.f32 %14 %266)
%269
(*.f32 ux maxCos)
(*.f32 #s(literal 1 binary32) %269)
(/.f32 #s(literal 1 binary32) (pow.f32 %269 #s(literal -1 binary32)))
(pow.f32 %269 #s(literal 1 binary32))
(neg.f32 %275)
(*.f32 #s(literal 1 binary32) %277)
(/.f32 (+.f32 %279 %15) #s(literal 2 binary32))
(/.f32 (+.f32 %15 %279) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %284) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %288) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %291) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %294) #s(literal 1 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %298) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %302) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %306) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %310) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %316) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %315) #s(literal -2 binary32))
(/.f32 (+.f32 %288 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %310 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %284 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %291 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %298 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %302 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %306 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %294 #s(literal 0 binary32)) #s(literal 1 binary32))
(/.f32 (+.f32 %316 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (fma.f32 #s(literal 2 binary32) %314 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 1 binary32) %343) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (/.f32 %315 #s(literal 1/2 binary32))) #s(literal 4 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (/.f32 %315 #s(literal 1 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (fma.f32 %341 #s(literal -2 binary32) #s(literal 2 binary32))) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (fma.f32 %275 #s(literal 2 binary32) %46)) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %359 #s(literal 2 binary32)) #s(literal 1 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %314 #s(literal 2 binary32)) #s(literal 0 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %341 #s(literal -2 binary32)) #s(literal -2 binary32))) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %341 #s(literal 1 binary32)) #s(literal 1 binary32))) #s(literal 1 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %275 #s(literal 2 binary32)) %4)) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 %71 %297)) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %315 #s(literal 2 binary32)) #s(literal 0 binary32))) #s(literal 4 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %316) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %315) #s(literal 2 binary32))
(/.f32 (-.f32 %288 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %310 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %284 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %291 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %298 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %302 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %306 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %294 #s(literal 0 binary32)) #s(literal 1 binary32))
(/.f32 (-.f32 %316 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (neg.f32 %284) #s(literal -2 binary32))
(/.f32 (neg.f32 %288) #s(literal 2 binary32))
(/.f32 (neg.f32 %291) #s(literal -2 binary32))
(/.f32 (neg.f32 %294) #s(literal -1 binary32))
(/.f32 (neg.f32 %298) #s(literal -2 binary32))
(/.f32 (neg.f32 %302) #s(literal -2 binary32))
(/.f32 (neg.f32 %306) #s(literal -2 binary32))
(/.f32 (neg.f32 %310) #s(literal 2 binary32))
(/.f32 (neg.f32 %316) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 2 binary32) %342) #s(literal 2 binary32))
(/.f32 %284 #s(literal 2 binary32))
(/.f32 %288 #s(literal -2 binary32))
(/.f32 %291 #s(literal 2 binary32))
(/.f32 %294 #s(literal 1 binary32))
(/.f32 %298 #s(literal 2 binary32))
(/.f32 %302 #s(literal 2 binary32))
(/.f32 %306 #s(literal 2 binary32))
(/.f32 %310 #s(literal -2 binary32))
(/.f32 %316 #s(literal 2 binary32))
(/.f32 %315 #s(literal -2 binary32))
(/.f32 %277 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %277 #s(literal -1 binary32)))
(-.f32 (/.f32 (-.f32 %342 #s(literal 3/2 binary32)) #s(literal -2 binary32)) #s(literal -1/4 binary32))
(-.f32 (/.f32 (-.f32 %342 #s(literal 1/2 binary32)) #s(literal -2 binary32)) #s(literal -3/4 binary32))
(-.f32 %448 #s(literal -1 binary32))
(-.f32 %450 #s(literal -1 binary32))
(-.f32 %452 #s(literal -1/2 binary32))
(-.f32 %454 #s(literal -1 binary32))
(-.f32 (-.f32 %287 #s(literal -1/2 binary32)) #s(literal -1/2 binary32))
(-.f32 %458 %62)
(-.f32 %460 #s(literal -1/2 binary32))
(-.f32 %313 ux)
(-.f32 %269 %62)
(-.f32 %287 #s(literal -1 binary32))
(-.f32 #s(literal 1/2 binary32) (-.f32 #s(literal -1/2 binary32) %287))
(-.f32 #s(literal 1/2 binary32) (+.f32 #s(literal -1/2 binary32) %341))
(-.f32 #s(literal 1/2 binary32) %359)
(-.f32 %14 (+.f32 #s(literal -1 binary32) %275))
(-.f32 %14 (-.f32 #s(literal -1 binary32) %269))
(-.f32 %14 (fma.f32 %266 ux #s(literal -1 binary32)))
(-.f32 #s(literal 0 binary32) %314)
(-.f32 %277 #s(literal 0 binary32))
(-.f32 %3 %275)
(-.f32 #s(literal 1 binary32) (-.f32 #s(literal 0 binary32) %287))
(-.f32 #s(literal 1 binary32) (+.f32 #s(literal 0 binary32) %341))
(-.f32 #s(literal 1 binary32) %341)
(fma.f32 (/.f32 %297 #s(literal 8 binary32)) #s(literal 4 binary32) %14)
(fma.f32 (/.f32 %297 #s(literal 4 binary32)) #s(literal 2 binary32) %14)
(fma.f32 %6 #s(literal 4 binary32) %488)
(fma.f32 %6 #s(literal 4 binary32) %490)
(fma.f32 %6 #s(literal 4 binary32) %269)
(fma.f32 %9 #s(literal 2 binary32) %488)
(fma.f32 %9 #s(literal 2 binary32) %490)
(fma.f32 %9 #s(literal 2 binary32) %269)
(fma.f32 (neg.f32 %496) ux #s(literal 1 binary32))
(fma.f32 %496 %14 #s(literal 1 binary32))
(fma.f32 %4 #s(literal 1/2 binary32) %488)
(fma.f32 %4 #s(literal 1/2 binary32) %490)
(fma.f32 %4 #s(literal 1/2 binary32) %269)
(fma.f32 %297 #s(literal 1/2 binary32) %14)
(fma.f32 %266 %14 %3)
(fma.f32 %14 %266 %3)
%277
(fma.f32 ux maxCos %3)
(fma.f32 #s(literal 1 binary32) %358 %25)
(fma.f32 #s(literal 1 binary32) %25 %508)
(fma.f32 #s(literal 1 binary32) %25 %358)
(fma.f32 #s(literal 1 binary32) %460 #s(literal 1/2 binary32))
(fma.f32 #s(literal 1 binary32) %313 %14)
(fma.f32 #s(literal 1 binary32) %269 %3)
(fma.f32 #s(literal 1 binary32) %287 #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) %14 %313)
(fma.f32 #s(literal 1 binary32) %277 #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) %3 %488)
(fma.f32 #s(literal 1 binary32) %3 %490)
(fma.f32 #s(literal 1 binary32) %3 %269)
(pow.f32 %277 #s(literal 1 binary32))
(+.f32 %448 #s(literal 1 binary32))
(+.f32 %450 #s(literal 1 binary32))
(+.f32 (/.f32 (*.f32 %287 #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32))
(+.f32 %452 #s(literal 1/2 binary32))
(+.f32 %454 #s(literal 1 binary32))
(+.f32 (fma.f32 maxCos ux %25) #s(literal 1/2 binary32))
(+.f32 (+.f32 %14 %358) #s(literal 1/2 binary32))
(+.f32 (-.f32 %269 %84) #s(literal 1/2 binary32))
(+.f32 %458 %3)
(+.f32 %190 %313)
(+.f32 %358 %25)
(+.f32 %25 %508)
(+.f32 %25 %358)
(+.f32 %460 #s(literal 1/2 binary32))
(+.f32 %313 %14)
(+.f32 %269 %3)
(+.f32 %287 #s(literal 1 binary32))
(+.f32 #s(literal 1/2 binary32) (+.f32 #s(literal 0 binary32) %460))
(+.f32 #s(literal 1/2 binary32) %460)
(+.f32 %14 %313)
(+.f32 #s(literal 0 binary32) %277)
(+.f32 %277 #s(literal 0 binary32))
(+.f32 %3 %488)
(+.f32 %3 %490)
(+.f32 %3 %269)
(+.f32 #s(literal 1 binary32) %287)
(neg.f32 %314)

reconstruct0.0ms (0.0%)

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

eval19.0ms (1.7%)

Memory
-4.0MiB live, 26.3MiB allocated; 4ms collecting garbage
Compiler

Compiled 3 339 to 726 computations (78.3% saved)

prune10.0ms (0.9%)

Memory
-18.8MiB live, 11.9MiB allocated; 4ms collecting garbage
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2946300
Fresh000
Picked101
Done000
Total2956301
Accuracy
100.0%
Counts
301 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
▶99.9%
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
▶100.0%
(-.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal -1 binary32))
▶71.1%
(+.f32 (approx (- 1 ux) #s(literal 1 binary32)) (*.f32 ux maxCos))
▶98.7%
(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
98.9%
(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
Compiler

Compiled 72 to 34 computations (52.8% saved)

sample0.0ms (0.0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
1
-1
Outputs
#s(literal 1 binary32)
#s(literal -1 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 4 to 3 computations (25.0% saved)

series5.0ms (0.5%)

Memory
4.0MiB live, 4.0MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084317
Stop Event
1×iter-limit
Counts
15 → 26
Calls
Call 1
Inputs
%2 = (-.f32 #s(literal 1 binary32) ux)
%4 = (*.f32 ux maxCos)
%6 = (- 1 ux)
%7 = (approx %6 #s(literal 1 binary32))
%9 = (*.f32 maxCos ux)
%13 = (-.f32 %9 ux)
%14 = (fma.f32 maxCos ux #s(literal 1 binary32))
#s(literal 1 binary32)
ux
%2
maxCos
%4
%7
#s(literal -1 binary32)
%9
(approx (+ %6 (* ux maxCos)) %2)
%13
%14
(-.f32 %14 ux)
(-.f32 %13 #s(literal -1 binary32))
(fma.f32 ux maxCos %2)
(+.f32 %7 %4)
Outputs
%5 = (- 1 ux)
%9 = (*.f32 #s(literal -1 binary32) ux)
%13 = (* ux maxCos)
%14 = (*.f32 maxCos ux)
%16 = (+ %5 %13)
%18 = (*.f32 ux (-.f32 maxCos #s(literal 1 binary32)))
%21 = (* maxCos ux)
%22 = (- %21 ux)
%24 = (+ %21 1)
%25 = (+.f32 #s(literal 1 binary32) %14)
%28 = (/.f32 #s(literal 1 binary32) ux)
%32 = (+.f32 maxCos %28)
%42 = (*.f32 #s(literal -1 binary32) maxCos)
%43 = (+.f32 #s(literal 1 binary32) %42)
%56 = (-.f32 #s(literal 1 binary32) ux)
%62 = (/.f32 #s(literal 1 binary32) maxCos)
%63 = (+.f32 ux %62)
%64 = (/.f32 ux maxCos)
(approx 1 #s(literal 0 binary32))
(approx ux ux)
(approx %5 #s(literal 1 binary32))
(approx %5 (+.f32 #s(literal 1 binary32) %9))
(approx %13 %14)
(approx %16 (+.f32 #s(literal 1 binary32) %18))
(approx %22 %18)
(approx %24 %25)
(approx %5 %9)
(approx %5 (*.f32 ux (-.f32 %28 #s(literal 1 binary32))))
(approx %16 (*.f32 ux (-.f32 %32 #s(literal 1 binary32))))
(approx %24 (*.f32 ux %32))
(approx %5 (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) %28))))
(approx %16 (*.f32 #s(literal -1 binary32) (*.f32 ux %43)))
(approx %16 (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 %43 %28))))
(approx %24 (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 %42 %28))))
(approx maxCos maxCos)
(approx %16 %56)
(approx %16 (-.f32 %25 ux))
(approx %22 (-.f32 %14 ux))
(approx %16 (*.f32 maxCos (-.f32 %63 %64)))
(approx %22 (*.f32 maxCos (+.f32 ux (*.f32 #s(literal -1 binary32) %64))))
(approx %24 (*.f32 maxCos %63))
(approx %16 (*.f32 #s(literal -1 binary32) (*.f32 maxCos (fma.f32 #s(literal -1 binary32) ux (*.f32 #s(literal -1 binary32) (/.f32 %56 maxCos))))))
(approx %22 (*.f32 #s(literal -1 binary32) (*.f32 maxCos (fma.f32 #s(literal -1 binary32) ux %64))))
(approx %24 (*.f32 #s(literal -1 binary32) (*.f32 maxCos (-.f32 %9 %62))))
Calls

9 calls:

TimeVariablePoint
0.0ms
ux
inf
0.0ms
ux
-inf
0.0ms
maxCos
inf
0.0ms
maxCos
-inf
0.0ms
ux
0

rewrite106.0ms (9.5%)

Memory
14.5MiB live, 53.4MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01866
02764
18964
221264
344264
4168464
0402264
0426763
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
15 → 740
Calls
Call 1
Inputs
%2 = (-.f32 #s(literal 1 binary32) ux)
%4 = (*.f32 ux maxCos)
%6 = (- 1 ux)
%7 = (approx %6 #s(literal 1 binary32))
%9 = (*.f32 maxCos ux)
%13 = (-.f32 %9 ux)
%14 = (fma.f32 maxCos ux #s(literal 1 binary32))
#s(literal 1 binary32)
ux
%2
maxCos
%4
%7
#s(literal -1 binary32)
%9
(approx (+ %6 (* ux maxCos)) %2)
%13
%14
(-.f32 %14 ux)
(-.f32 %13 #s(literal -1 binary32))
(fma.f32 ux maxCos %2)
(+.f32 %7 %4)
Outputs
%3 = (-.f32 #s(literal 1 binary32) ux)
%4 = (*.f32 #s(literal 2 binary32) %3)
%6 = (/.f32 %4 #s(literal 8 binary32))
%9 = (/.f32 %4 #s(literal 4 binary32))
%14 = (neg.f32 ux)
%15 = (fma.f32 #s(literal 2 binary32) %14 #s(literal 1 binary32))
%19 = (/.f32 %4 #s(literal 1/2 binary32))
%22 = (/.f32 %4 #s(literal 1 binary32))
%25 = (-.f32 #s(literal 1/2 binary32) ux)
%26 = (fma.f32 %25 #s(literal 2 binary32) #s(literal 1 binary32))
%30 = (fma.f32 %14 #s(literal -2 binary32) #s(literal -2 binary32))
%33 = (fma.f32 %14 #s(literal 1 binary32) #s(literal 1 binary32))
%37 = (-.f32 (*.f32 %14 #s(literal -2 binary32)) #s(literal 2 binary32))
%40 = (fma.f32 %4 #s(literal 2 binary32) #s(literal 0 binary32))
%43 = (fma.f32 #s(literal 2 binary32) ux #s(literal -2 binary32))
%44 = (neg.f32 %43)
%47 = (neg.f32 %4)
%64 = (-.f32 ux #s(literal 1 binary32))
%75 = (+.f32 ux ux)
%88 = (-.f32 ux #s(literal 1/2 binary32))
%192 = (-.f32 ux #s(literal 0 binary32))
%213 = (neg.f32 maxCos)
%214 = (*.f32 %213 %14)
%215 = (*.f32 %14 %213)
%216 = (*.f32 maxCos ux)
%217 = (*.f32 ux maxCos)
%218 = (*.f32 #s(literal 1 binary32) %216)
%220 = (/.f32 #s(literal 1 binary32) (pow.f32 %216 #s(literal -1 binary32)))
%221 = (-.f32 #s(literal 0 binary32) %216)
%222 = (-.f32 #s(literal 0 binary32) %221)
%223 = (*.f32 %14 maxCos)
%224 = (+.f32 #s(literal 0 binary32) %223)
%225 = (-.f32 #s(literal 0 binary32) %224)
%226 = (-.f32 #s(literal 0 binary32) %223)
%228 = (-.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) %216))
%230 = (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) %223))
%231 = (fma.f32 %213 %14 #s(literal 0 binary32))
%232 = (fma.f32 %14 %213 #s(literal 0 binary32))
%233 = (fma.f32 maxCos ux #s(literal 0 binary32))
%234 = (fma.f32 ux maxCos #s(literal 0 binary32))
%235 = (fma.f32 #s(literal 1 binary32) %216 #s(literal 0 binary32))
%236 = (pow.f32 %216 #s(literal 1 binary32))
%237 = (+.f32 #s(literal 0 binary32) %216)
%238 = (+.f32 %216 #s(literal 0 binary32))
%239 = (neg.f32 %224)
%240 = (-.f32 %223 #s(literal 0 binary32))
%241 = (neg.f32 %240)
%242 = (neg.f32 %223)
%245 = (approx (- 1 ux) #s(literal 1 binary32))
%250 = (neg.f32 %245)
%256 = (approx (- (- (* maxCos ux) -1) ux) %3)
%261 = (-.f32 %213 #s(literal -1 binary32))
%262 = (neg.f32 %261)
%265 = (-.f32 %216 ux)
%270 = (-.f32 #s(literal 0 binary32) %265)
%272 = (-.f32 ux %216)
%273 = (+.f32 #s(literal 0 binary32) %272)
%295 = (-.f32 %272 #s(literal 0 binary32))
%298 = (fma.f32 maxCos %75 #s(literal 2 binary32))
%299 = (/.f32 %298 #s(literal 8 binary32))
%301 = (/.f32 %298 #s(literal 4 binary32))
%304 = (fma.f32 maxCos ux #s(literal 1 binary32))
%306 = (fma.f32 maxCos %75 #s(literal 1 binary32))
%309 = (/.f32 %298 #s(literal 1/2 binary32))
%312 = (/.f32 %298 #s(literal 1 binary32))
%315 = (fma.f32 maxCos ux #s(literal 1/2 binary32))
%316 = (fma.f32 %315 #s(literal 2 binary32) #s(literal 1 binary32))
%319 = (fma.f32 %216 #s(literal -2 binary32) #s(literal -2 binary32))
%322 = (fma.f32 %216 #s(literal 1 binary32) #s(literal 1 binary32))
%326 = (-.f32 (*.f32 %216 #s(literal -2 binary32)) #s(literal 2 binary32))
%329 = (fma.f32 %298 #s(literal 2 binary32) #s(literal 0 binary32))
%332 = (neg.f32 %298)
%396 = (-.f32 #s(literal -1 binary32) %216)
%428 = (*.f32 maxCos %75)
%440 = (-.f32 %304 ux)
%441 = (*.f32 #s(literal 2 binary32) %440)
%442 = (/.f32 %441 #s(literal 8 binary32))
%443 = (*.f32 %442 #s(literal 4 binary32))
%444 = (/.f32 %441 #s(literal 4 binary32))
%445 = (*.f32 %444 #s(literal 2 binary32))
%446 = (*.f32 %441 #s(literal 1/2 binary32))
%447 = (*.f32 #s(literal 1 binary32) %440)
%449 = (/.f32 (+.f32 %15 %306) #s(literal 2 binary32))
%451 = (/.f32 (+.f32 %306 %15) #s(literal 2 binary32))
%454 = (/.f32 (+.f32 #s(literal 1 binary32) (fma.f32 #s(literal 2 binary32) %265 #s(literal 1 binary32))) #s(literal 2 binary32))
%455 = (/.f32 %441 #s(literal 1/2 binary32))
%457 = (/.f32 (+.f32 #s(literal 0 binary32) %455) #s(literal 4 binary32))
%458 = (/.f32 %441 #s(literal 1 binary32))
%460 = (/.f32 (+.f32 #s(literal 0 binary32) %458) #s(literal 2 binary32))
%461 = (-.f32 %315 ux)
%462 = (fma.f32 %461 #s(literal 2 binary32) #s(literal 1 binary32))
%464 = (/.f32 (+.f32 #s(literal 0 binary32) %462) #s(literal 2 binary32))
%465 = (fma.f32 #s(literal 2 binary32) %14 %298)
%467 = (/.f32 (+.f32 #s(literal 0 binary32) %465) #s(literal 2 binary32))
%468 = (fma.f32 %265 #s(literal -2 binary32) #s(literal -2 binary32))
%470 = (/.f32 (+.f32 #s(literal 0 binary32) %468) #s(literal -2 binary32))
%471 = (fma.f32 %265 #s(literal 1 binary32) #s(literal 1 binary32))
%473 = (/.f32 (+.f32 #s(literal 0 binary32) %471) #s(literal 1 binary32))
%474 = (fma.f32 maxCos %75 %4)
%476 = (/.f32 (+.f32 #s(literal 0 binary32) %474) #s(literal 2 binary32))
%478 = (-.f32 (*.f32 %265 #s(literal -2 binary32)) #s(literal 2 binary32))
%480 = (/.f32 (+.f32 #s(literal 0 binary32) %478) #s(literal -2 binary32))
%481 = (-.f32 %428 %43)
%483 = (/.f32 (+.f32 #s(literal 0 binary32) %481) #s(literal 2 binary32))
%484 = (fma.f32 %441 #s(literal 2 binary32) #s(literal 0 binary32))
%486 = (/.f32 (+.f32 #s(literal 0 binary32) %484) #s(literal 4 binary32))
%487 = (-.f32 ux %304)
%488 = (*.f32 #s(literal 2 binary32) %487)
%489 = (neg.f32 %488)
%491 = (/.f32 (+.f32 #s(literal 0 binary32) %489) #s(literal 2 binary32))
%492 = (neg.f32 %441)
%494 = (/.f32 (+.f32 #s(literal 0 binary32) %492) #s(literal -2 binary32))
%496 = (/.f32 (+.f32 #s(literal 0 binary32) %441) #s(literal 2 binary32))
%498 = (/.f32 (+.f32 #s(literal 0 binary32) %488) #s(literal -2 binary32))
%500 = (/.f32 (+.f32 %455 #s(literal 0 binary32)) #s(literal 4 binary32))
%502 = (/.f32 (+.f32 %484 #s(literal 0 binary32)) #s(literal 4 binary32))
%504 = (/.f32 (+.f32 %468 #s(literal 0 binary32)) #s(literal -2 binary32))
%506 = (/.f32 (+.f32 %478 #s(literal 0 binary32)) #s(literal -2 binary32))
%508 = (/.f32 (+.f32 %492 #s(literal 0 binary32)) #s(literal -2 binary32))
%510 = (/.f32 (fma.f32 #s(literal 2 binary32) %487 #s(literal 0 binary32)) #s(literal -2 binary32))
%512 = (/.f32 (+.f32 %458 #s(literal 0 binary32)) #s(literal 2 binary32))
%514 = (/.f32 (+.f32 %462 #s(literal 0 binary32)) #s(literal 2 binary32))
%516 = (/.f32 (+.f32 %465 #s(literal 0 binary32)) #s(literal 2 binary32))
%518 = (/.f32 (+.f32 %474 #s(literal 0 binary32)) #s(literal 2 binary32))
%520 = (/.f32 (+.f32 %481 #s(literal 0 binary32)) #s(literal 2 binary32))
%522 = (/.f32 (+.f32 %489 #s(literal 0 binary32)) #s(literal 2 binary32))
%524 = (/.f32 (+.f32 %471 #s(literal 0 binary32)) #s(literal 1 binary32))
%525 = (*.f32 #s(literal 2 binary32) %272)
%528 = (/.f32 (-.f32 #s(literal 1 binary32) (-.f32 %525 #s(literal 1 binary32))) #s(literal 2 binary32))
%531 = (/.f32 (-.f32 #s(literal 0 binary32) (/.f32 %488 #s(literal 1/2 binary32))) #s(literal 4 binary32))
%534 = (/.f32 (-.f32 #s(literal 0 binary32) (/.f32 %488 #s(literal 1 binary32))) #s(literal 2 binary32))
%537 = (/.f32 (-.f32 #s(literal 0 binary32) (fma.f32 %223 #s(literal 2 binary32) %43)) #s(literal 2 binary32))
%540 = (/.f32 (-.f32 #s(literal 0 binary32) (fma.f32 %272 #s(literal -2 binary32) #s(literal 2 binary32))) #s(literal -2 binary32))
%541 = (-.f32 ux %315)
%545 = (/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %541 #s(literal 2 binary32)) #s(literal 1 binary32))) #s(literal 2 binary32))
%549 = (/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %223 #s(literal 2 binary32)) %4)) #s(literal 2 binary32))
%553 = (/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %487 #s(literal 2 binary32)) #s(literal 0 binary32))) #s(literal 2 binary32))
%557 = (/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %272 #s(literal -2 binary32)) #s(literal -2 binary32))) #s(literal -2 binary32))
%561 = (/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %272 #s(literal 1 binary32)) #s(literal 1 binary32))) #s(literal 1 binary32))
%564 = (/.f32 (-.f32 #s(literal 0 binary32) (-.f32 %75 %298)) #s(literal 2 binary32))
%568 = (/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %488 #s(literal 2 binary32)) #s(literal 0 binary32))) #s(literal 4 binary32))
%570 = (/.f32 (-.f32 #s(literal 0 binary32) %489) #s(literal -2 binary32))
%572 = (/.f32 (-.f32 #s(literal 0 binary32) %492) #s(literal 2 binary32))
%574 = (/.f32 (-.f32 #s(literal 0 binary32) %441) #s(literal -2 binary32))
%576 = (/.f32 (-.f32 #s(literal 0 binary32) %488) #s(literal 2 binary32))
%578 = (/.f32 (-.f32 %455 #s(literal 0 binary32)) #s(literal 4 binary32))
%580 = (/.f32 (-.f32 %484 #s(literal 0 binary32)) #s(literal 4 binary32))
%582 = (/.f32 (-.f32 %468 #s(literal 0 binary32)) #s(literal -2 binary32))
%584 = (/.f32 (-.f32 %478 #s(literal 0 binary32)) #s(literal -2 binary32))
%586 = (/.f32 (-.f32 %492 #s(literal 0 binary32)) #s(literal -2 binary32))
%588 = (/.f32 (-.f32 %458 #s(literal 0 binary32)) #s(literal 2 binary32))
%590 = (/.f32 (-.f32 %462 #s(literal 0 binary32)) #s(literal 2 binary32))
%592 = (/.f32 (-.f32 %465 #s(literal 0 binary32)) #s(literal 2 binary32))
%594 = (/.f32 (-.f32 %474 #s(literal 0 binary32)) #s(literal 2 binary32))
%596 = (/.f32 (-.f32 %481 #s(literal 0 binary32)) #s(literal 2 binary32))
%598 = (/.f32 (-.f32 %489 #s(literal 0 binary32)) #s(literal 2 binary32))
%600 = (/.f32 (-.f32 %441 #s(literal 0 binary32)) #s(literal 2 binary32))
%602 = (/.f32 (-.f32 %471 #s(literal 0 binary32)) #s(literal 1 binary32))
%604 = (/.f32 (neg.f32 %455) #s(literal -4 binary32))
%606 = (/.f32 (neg.f32 %458) #s(literal -2 binary32))
%608 = (/.f32 (neg.f32 %462) #s(literal -2 binary32))
%610 = (/.f32 (neg.f32 %465) #s(literal -2 binary32))
%612 = (/.f32 (neg.f32 %468) #s(literal 2 binary32))
%614 = (/.f32 (neg.f32 %471) #s(literal -1 binary32))
%616 = (/.f32 (neg.f32 %474) #s(literal -2 binary32))
%618 = (/.f32 (neg.f32 %478) #s(literal 2 binary32))
%620 = (/.f32 (neg.f32 %481) #s(literal -2 binary32))
%622 = (/.f32 (neg.f32 %484) #s(literal -4 binary32))
%624 = (/.f32 (neg.f32 %489) #s(literal -2 binary32))
%626 = (/.f32 (neg.f32 %492) #s(literal 2 binary32))
%627 = (/.f32 %455 #s(literal 4 binary32))
%628 = (/.f32 %458 #s(literal 2 binary32))
%630 = (/.f32 (-.f32 #s(literal 2 binary32) %525) #s(literal 2 binary32))
%631 = (/.f32 %462 #s(literal 2 binary32))
%632 = (/.f32 %465 #s(literal 2 binary32))
%633 = (/.f32 %468 #s(literal -2 binary32))
%634 = (/.f32 %471 #s(literal 1 binary32))
%635 = (/.f32 %474 #s(literal 2 binary32))
%636 = (/.f32 %478 #s(literal -2 binary32))
%637 = (/.f32 %481 #s(literal 2 binary32))
%638 = (/.f32 %484 #s(literal 4 binary32))
%639 = (/.f32 %489 #s(literal 2 binary32))
%640 = (/.f32 %492 #s(literal -2 binary32))
%641 = (/.f32 %441 #s(literal 2 binary32))
%642 = (/.f32 %488 #s(literal -2 binary32))
%643 = (/.f32 %487 #s(literal -1 binary32))
%644 = (/.f32 %440 #s(literal 1 binary32))
%646 = (/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) %441))
%648 = (/.f32 #s(literal 1 binary32) (pow.f32 %440 #s(literal -1 binary32)))
%650 = (-.f32 (+.f32 %440 #s(literal 1 binary32)) #s(literal 1 binary32))
%651 = (-.f32 %461 #s(literal -1/2 binary32))
%653 = (-.f32 #s(literal 1/2 binary32) (-.f32 #s(literal -1/2 binary32) %265))
%655 = (-.f32 #s(literal 1/2 binary32) (+.f32 #s(literal -1/2 binary32) %272))
%656 = (-.f32 #s(literal 1/2 binary32) %541)
%657 = (-.f32 %14 %396)
%658 = (-.f32 #s(literal 0 binary32) %487)
%659 = (-.f32 %440 #s(literal 0 binary32))
%660 = (-.f32 %304 %192)
%661 = (-.f32 %265 #s(literal -1 binary32))
%662 = (-.f32 %216 %64)
%663 = (-.f32 %3 %240)
%664 = (-.f32 %3 %223)
%665 = (-.f32 #s(literal 1 binary32) %270)
%666 = (-.f32 #s(literal 1 binary32) %273)
%667 = (-.f32 #s(literal 1 binary32) %295)
%668 = (-.f32 #s(literal 1 binary32) %272)
%669 = (fma.f32 %6 #s(literal 4 binary32) %216)
%670 = (fma.f32 %9 #s(literal 2 binary32) %216)
%671 = (fma.f32 %442 #s(literal 4 binary32) #s(literal 0 binary32))
%672 = (fma.f32 %444 #s(literal 2 binary32) #s(literal 0 binary32))
%673 = (fma.f32 %299 #s(literal 4 binary32) %14)
%674 = (fma.f32 %301 #s(literal 2 binary32) %14)
%675 = (fma.f32 %262 ux #s(literal 1 binary32))
%676 = (fma.f32 %261 %14 #s(literal 1 binary32))
%677 = (fma.f32 %4 #s(literal 1/2 binary32) %216)
%678 = (fma.f32 %441 #s(literal 1/2 binary32) #s(literal 0 binary32))
%679 = (fma.f32 %298 #s(literal 1/2 binary32) %14)
%680 = (fma.f32 %213 %14 %3)
%681 = (fma.f32 %14 %213 %3)
%682 = (fma.f32 maxCos ux %3)
%683 = (fma.f32 ux maxCos %3)
%684 = (fma.f32 #s(literal 1 binary32) %25 %315)
%685 = (fma.f32 #s(literal 1 binary32) %461 #s(literal 1/2 binary32))
%686 = (fma.f32 #s(literal 1 binary32) %315 %25)
%687 = (fma.f32 #s(literal 1 binary32) %14 %304)
%688 = (fma.f32 #s(literal 1 binary32) %440 #s(literal 0 binary32))
%689 = (fma.f32 #s(literal 1 binary32) %304 %14)
%690 = (fma.f32 #s(literal 1 binary32) %265 #s(literal 1 binary32))
%691 = (fma.f32 #s(literal 1 binary32) %216 %3)
%692 = (fma.f32 #s(literal 1 binary32) %3 %216)
%693 = (pow.f32 %440 #s(literal 1 binary32))
%696 = (+.f32 (/.f32 (*.f32 #s(literal 2 binary32) %265) #s(literal 2 binary32)) #s(literal 1 binary32))
%697 = (+.f32 %25 %315)
%698 = (+.f32 %461 #s(literal 1/2 binary32))
%699 = (+.f32 %315 %25)
%701 = (+.f32 #s(literal 1/2 binary32) (+.f32 #s(literal 0 binary32) %461))
%702 = (+.f32 #s(literal 1/2 binary32) %461)
%703 = (+.f32 %14 %304)
%704 = (+.f32 #s(literal 0 binary32) %440)
%705 = (+.f32 %440 #s(literal 0 binary32))
%706 = (+.f32 %304 %14)
%707 = (+.f32 %265 #s(literal 1 binary32))
%708 = (+.f32 %216 %3)
%709 = (+.f32 %3 %216)
%710 = (+.f32 #s(literal 1 binary32) %265)
%711 = (neg.f32 %487)
%712 = (fma.f32 maxCos ux %245)
#s(literal 1 binary32)
ux
(*.f32 %6 #s(literal 4 binary32))
(*.f32 %9 #s(literal 2 binary32))
(*.f32 %4 #s(literal 1/2 binary32))
(*.f32 #s(literal 1 binary32) %3)
(/.f32 (+.f32 #s(literal 1 binary32) %15) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %19) #s(literal 4 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %22) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %26) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %30) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %33) #s(literal 1 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %37) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %40) #s(literal 4 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %44) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %47) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %4) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %43) #s(literal -2 binary32))
(/.f32 (+.f32 %19 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (+.f32 %40 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (+.f32 %30 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %37 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %47 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (fma.f32 #s(literal 2 binary32) %64 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %22 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %26 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %44 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %33 #s(literal 0 binary32)) #s(literal 1 binary32))
(/.f32 (-.f32 #s(literal 1 binary32) (-.f32 %75 #s(literal 1 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (/.f32 %43 #s(literal 1/2 binary32))) #s(literal 4 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (/.f32 %43 #s(literal 1 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (fma.f32 ux #s(literal -2 binary32) #s(literal 2 binary32))) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %88 #s(literal 2 binary32)) #s(literal 1 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %64 #s(literal 2 binary32)) #s(literal 0 binary32))) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 ux #s(literal -2 binary32)) #s(literal -2 binary32))) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 ux #s(literal 1 binary32)) #s(literal 1 binary32))) #s(literal 1 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) (-.f32 (*.f32 %43 #s(literal 2 binary32)) #s(literal 0 binary32))) #s(literal 4 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %44) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %47) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %4) #s(literal -2 binary32))
(/.f32 (-.f32 #s(literal 0 binary32) %43) #s(literal 2 binary32))
(/.f32 (-.f32 %19 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (-.f32 %40 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (-.f32 %30 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %37 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %47 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %22 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %26 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %44 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %4 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %33 #s(literal 0 binary32)) #s(literal 1 binary32))
(/.f32 (neg.f32 %19) #s(literal -4 binary32))
(/.f32 (neg.f32 %22) #s(literal -2 binary32))
(/.f32 (neg.f32 %26) #s(literal -2 binary32))
(/.f32 (neg.f32 %30) #s(literal 2 binary32))
(/.f32 (neg.f32 %33) #s(literal -1 binary32))
(/.f32 (neg.f32 %37) #s(literal 2 binary32))
(/.f32 (neg.f32 %40) #s(literal -4 binary32))
(/.f32 (neg.f32 %44) #s(literal -2 binary32))
(/.f32 (neg.f32 %47) #s(literal 2 binary32))
(/.f32 %19 #s(literal 4 binary32))
(/.f32 %22 #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 2 binary32) %75) #s(literal 2 binary32))
(/.f32 %26 #s(literal 2 binary32))
(/.f32 %30 #s(literal -2 binary32))
(/.f32 %33 #s(literal 1 binary32))
(/.f32 %37 #s(literal -2 binary32))
(/.f32 %40 #s(literal 4 binary32))
(/.f32 %44 #s(literal 2 binary32))
(/.f32 %47 #s(literal -2 binary32))
(/.f32 %4 #s(literal 2 binary32))
(/.f32 %43 #s(literal -2 binary32))
(/.f32 %64 #s(literal -1 binary32))
(/.f32 %3 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) %4))
(/.f32 #s(literal 1 binary32) (pow.f32 %3 #s(literal -1 binary32)))
(-.f32 (+.f32 %3 #s(literal 1 binary32)) #s(literal 1 binary32))
(-.f32 %25 #s(literal -1/2 binary32))
(-.f32 #s(literal 1/2 binary32) (-.f32 #s(literal -1/2 binary32) %14))
(-.f32 #s(literal 1/2 binary32) (+.f32 #s(literal -1/2 binary32) ux))
(-.f32 #s(literal 1/2 binary32) %88)
(-.f32 %14 #s(literal -1 binary32))
(-.f32 #s(literal 0 binary32) %64)
(-.f32 %3 #s(literal 0 binary32))
(-.f32 #s(literal 1 binary32) (-.f32 #s(literal 0 binary32) %14))
(-.f32 #s(literal 1 binary32) (+.f32 #s(literal 0 binary32) ux))
(-.f32 #s(literal 1 binary32) %192)
%3
(fma.f32 %6 #s(literal 4 binary32) #s(literal 0 binary32))
(fma.f32 %9 #s(literal 2 binary32) #s(literal 0 binary32))
(fma.f32 %4 #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) %25 #s(literal 1/2 binary32))
(fma.f32 #s(literal 1 binary32) %14 #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) %3 #s(literal 0 binary32))
(pow.f32 %3 #s(literal 1 binary32))
(+.f32 (/.f32 %75 #s(literal -2 binary32)) #s(literal 1 binary32))
(+.f32 %25 #s(literal 1/2 binary32))
(+.f32 #s(literal 1/2 binary32) (+.f32 #s(literal 0 binary32) %25))
(+.f32 #s(literal 1/2 binary32) %25)
(+.f32 %14 #s(literal 1 binary32))
(+.f32 #s(literal 0 binary32) %3)
(+.f32 %3 #s(literal 0 binary32))
(+.f32 #s(literal 1 binary32) %14)
(neg.f32 %64)
maxCos
%214
%215
%216
%217
%218
%220
%222
%225
%226
%228
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%241
%242
(*.f32 #s(literal 1 binary32) %245)
(/.f32 #s(literal 1 binary32) (pow.f32 %245 #s(literal -1 binary32)))
%245
(pow.f32 %245 #s(literal 1 binary32))
(neg.f32 %250)
#s(literal -1 binary32)
%214
%215
%216
%217
%218
%220
%222
%225
%226
%228
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%241
%242
(*.f32 #s(literal 1 binary32) %256)
(/.f32 #s(literal 1 binary32) (pow.f32 %256 #s(literal -1 binary32)))
%256
(pow.f32 %256 #s(literal 1 binary32))
(*.f32 %262 ux)
(*.f32 %261 %14)
(*.f32 #s(literal 1 binary32) %265)
(/.f32 #s(literal 1 binary32) (pow.f32 %265 #s(literal -1 binary32)))
(-.f32 %14 %223)
(-.f32 #s(literal 0 binary32) %270)
(-.f32 #s(literal 0 binary32) %273)
(-.f32 #s(literal 0 binary32) %272)
%265
(-.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) %265))
(-.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) %272))
(fma.f32 %262 ux #s(literal 0 binary32))
(fma.f32 %261 %14 #s(literal 0 binary32))
(fma.f32 %213 %14 %14)
(fma.f32 %14 %213 %14)
(fma.f32 maxCos ux %14)
(fma.f32 ux maxCos %14)
(fma.f32 #s(literal 1 binary32) %14 %216)
(fma.f32 #s(literal 1 binary32) %265 #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) %216 %14)
(pow.f32 %265 #s(literal 1 binary32))
(+.f32 %14 %216)
(+.f32 #s(literal 0 binary32) %265)
(+.f32 %265 #s(literal 0 binary32))
(+.f32 %216 %14)
(neg.f32 %273)
(neg.f32 %295)
(neg.f32 %272)
(*.f32 %299 #s(literal 4 binary32))
(*.f32 %301 #s(literal 2 binary32))
(*.f32 %298 #s(literal 1/2 binary32))
(*.f32 #s(literal 1 binary32) %304)
(/.f32 (+.f32 #s(literal 1 binary32) %306) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %309) #s(literal 4 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %312) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %316) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %319) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %322) #s(literal 1 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %326) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %329) #s(literal 4 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %332) #s(literal -2 binary32))
(/.f32 (+.f32 #s(literal 0 binary32) %298) #s(literal 2 binary32))
(/.f32 (+.f32 %309 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (+.f32 %329 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (+.f32 %319 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %326 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %332 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (+.f32 %312 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %316 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 %322 #s(literal 0 binary32)) #s(literal 1 binary32))
(/.f32 (-.f32 %309 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (-.f32 %329 #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (-.f32 %319 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %326 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %332 #s(literal 0 binary32)) #s(literal -2 binary32))
(/.f32 (-.f32 %312 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %316 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %298 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %322 #s(literal 0 binary32)) #s(literal 1 binary32))
(/.f32 (neg.f32 %309) #s(literal -4 binary32))
(/.f32 (neg.f32 %312) #s(literal -2 binary32))
(/.f32 (neg.f32 %316) #s(literal -2 binary32))
(/.f32 (neg.f32 %319) #s(literal 2 binary32))
(/.f32 (neg.f32 %322) #s(literal -1 binary32))
(/.f32 (neg.f32 %326) #s(literal 2 binary32))
(/.f32 (neg.f32 %329) #s(literal -4 binary32))
(/.f32 (neg.f32 %332) #s(literal 2 binary32))
(/.f32 %309 #s(literal 4 binary32))
(/.f32 %312 #s(literal 2 binary32))
(/.f32 %316 #s(literal 2 binary32))
(/.f32 %319 #s(literal -2 binary32))
(/.f32 %322 #s(literal 1 binary32))
(/.f32 %326 #s(literal -2 binary32))
(/.f32 %329 #s(literal 4 binary32))
(/.f32 %332 #s(literal -2 binary32))
(/.f32 %298 #s(literal 2 binary32))
(/.f32 %396 #s(literal -1 binary32))
(/.f32 %304 #s(literal 1 binary32))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) %298))
(/.f32 #s(literal 1 binary32) (pow.f32 %304 #s(literal -1 binary32)))
(-.f32 (+.f32 %304 #s(literal 1 binary32)) #s(literal 1 binary32))
(-.f32 %315 #s(literal -1/2 binary32))
(-.f32 #s(literal 1/2 binary32) (-.f32 #s(literal -1/2 binary32) %216))
(-.f32 #s(literal 1/2 binary32) (+.f32 #s(literal -1/2 binary32) %223))
(-.f32 #s(literal 1/2 binary32) (neg.f32 %315))
(-.f32 %304 #s(literal 0 binary32))
(-.f32 %216 #s(literal -1 binary32))
(-.f32 #s(literal 1 binary32) %221)
(-.f32 #s(literal 1 binary32) %224)
(-.f32 #s(literal 1 binary32) %240)
(-.f32 #s(literal 1 binary32) %223)
(fma.f32 %299 #s(literal 4 binary32) #s(literal 0 binary32))
(fma.f32 %301 #s(literal 2 binary32) #s(literal 0 binary32))
(fma.f32 %298 #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 %213 %14 #s(literal 1 binary32))
(fma.f32 %14 %213 #s(literal 1 binary32))
%304
(fma.f32 ux maxCos #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) %315 #s(literal 1/2 binary32))
(fma.f32 #s(literal 1 binary32) %304 #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) %216 #s(literal 1 binary32))
(pow.f32 %304 #s(literal 1 binary32))
(+.f32 (/.f32 %428 #s(literal 2 binary32)) #s(literal 1 binary32))
(+.f32 %315 #s(literal 1/2 binary32))
(+.f32 #s(literal 1/2 binary32) (+.f32 #s(literal 0 binary32) %315))
(+.f32 #s(literal 1/2 binary32) %315)
(+.f32 #s(literal 0 binary32) %304)
(+.f32 %304 #s(literal 0 binary32))
(+.f32 %216 #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) %216)
(neg.f32 %396)
%443
%445
%446
%447
%449
%451
%454
%457
%460
%464
%467
%470
%473
%476
%480
%483
%486
%491
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%528
%531
%534
%537
%540
%545
%549
%553
%557
%561
%564
%568
%570
%572
%574
%576
%578
%580
%582
%584
%586
%588
%590
%592
%594
%596
%598
%600
%602
%604
%606
%608
%610
%612
%614
%616
%618
%620
%622
%624
%626
%627
%628
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%646
%648
%650
%651
%653
%655
%656
%657
%658
%659
%660
%440
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%696
%697
%698
%699
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%443
%445
%446
%447
%449
%451
%454
%457
%460
%464
%467
%470
%473
%476
%480
%483
%486
%491
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%528
%531
%534
%537
%540
%545
%549
%553
%557
%561
%564
%568
%570
%572
%574
%576
%578
%580
%582
%584
%586
%588
%590
%592
%594
%596
%598
%600
%602
%604
%606
%608
%610
%612
%614
%616
%618
%620
%622
%624
%626
%627
%628
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%646
%648
%650
%651
%653
%655
%656
%657
%658
%659
%660
%440
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%696
%697
%698
%699
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%443
%445
%446
%447
%449
%451
%454
%457
%460
%464
%467
%470
%473
%476
%480
%483
%486
%491
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%528
%531
%534
%537
%540
%545
%549
%553
%557
%561
%564
%568
%570
%572
%574
%576
%578
%580
%582
%584
%586
%588
%590
%592
%594
%596
%598
%600
%602
%604
%606
%608
%610
%612
%614
%616
%618
%620
%622
%624
%626
%627
%628
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%646
%648
%650
%651
%653
%655
%656
%657
%658
%659
%660
%440
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%696
%697
%698
%699
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
(*.f32 #s(literal 1 binary32) %712)
(/.f32 #s(literal 1 binary32) (pow.f32 %712 #s(literal -1 binary32)))
(-.f32 %216 %250)
(-.f32 %245 %223)
(fma.f32 %213 %14 %245)
(fma.f32 %14 %213 %245)
%712
(fma.f32 ux maxCos %245)
(fma.f32 #s(literal 1 binary32) %216 %245)
(fma.f32 #s(literal 1 binary32) %245 %216)
(pow.f32 %712 #s(literal 1 binary32))
(+.f32 %216 %245)
(+.f32 %245 %216)
(neg.f32 (neg.f32 %712))

reconstruct5.0ms (0.4%)

Memory
-27.1MiB live, 4.3MiB allocated; 1ms collecting garbage

eval30.0ms (2.6%)

Memory
15.0MiB live, 44.5MiB allocated; 4ms collecting garbage
Compiler

Compiled 5 584 to 1 040 computations (81.4% saved)

prune12.0ms (1.1%)

Memory
-11.9MiB live, 18.6MiB allocated; 3ms collecting garbage
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New5643567
Fresh101
Picked145
Done000
Total5667573
Accuracy
100.0%
Counts
573 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
✓99.9%
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
✓100.0%
(-.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal -1 binary32))
▶98.2%
(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (-.f32 #s(literal 1/2 binary32) ux) #s(literal -1/2 binary32)))
✓98.7%
(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶97.7%
%2 = (- 1 ux)
(approx (+ %2 (* ux maxCos)) (approx %2 (*.f32 ux (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
▶71.2%
%2 = (- 1 ux)
(approx (+ %2 (* ux maxCos)) (approx %2 #s(literal 1 binary32)))
Compiler

Compiled 35 to 18 computations (48.6% saved)

sample0.0ms (0.0%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
1
1/2
-1/2
Outputs
#s(literal 1 binary32)
#s(literal 1/2 binary32)
#s(literal -1/2 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 5 to 4 computations (20.0% saved)

series5.0ms (0.4%)

Memory
6.4MiB live, 6.4MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077292
Stop Event
1×iter-limit
Counts
14 → 25
Calls
Call 1
Inputs
%3 = (- 1 ux)
%4 = (approx %3 #s(literal 1 binary32))
%5 = (/.f32 #s(literal 1 binary32) ux)
%6 = (-.f32 %5 #s(literal 1 binary32))
%7 = (*.f32 ux %6)
%8 = (approx %3 %7)
%10 = (-.f32 #s(literal 1/2 binary32) ux)
%12 = (-.f32 %10 #s(literal -1/2 binary32))
%15 = (+ %3 (* ux maxCos))
#s(literal 1 binary32)
ux
%4
%5
%6
%7
%8
#s(literal 1/2 binary32)
%10
#s(literal -1/2 binary32)
%12
(approx %15 %12)
(approx %15 %4)
(approx %15 %8)
Outputs
%5 = (- 1 ux)
%9 = (*.f32 #s(literal -1 binary32) ux)
%10 = (+.f32 #s(literal 1 binary32) %9)
%12 = (/ 1 ux)
%13 = (/.f32 #s(literal 1 binary32) ux)
%15 = (- %12 1)
%19 = (- 1/2 ux)
%26 = (+ %5 (* ux maxCos))
%28 = (*.f32 ux (-.f32 maxCos #s(literal 1 binary32)))
%32 = (-.f32 %13 #s(literal 1 binary32))
%37 = (*.f32 #s(literal 1/2 binary32) %13)
%55 = (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) maxCos))
%63 = (-.f32 #s(literal 1 binary32) ux)
%65 = (*.f32 maxCos ux)
(approx 1 #s(literal 0 binary32))
(approx ux ux)
(approx %5 #s(literal 1 binary32))
(approx %5 %10)
(approx %12 %13)
(approx %15 (/.f32 %10 ux))
(approx %19 #s(literal 1/2 binary32))
(approx %19 (+.f32 #s(literal 1/2 binary32) %9))
(approx %26 (+.f32 #s(literal 1 binary32) %28))
(approx %5 %9)
(approx %5 (*.f32 ux %32))
(approx %15 #s(literal -1 binary32))
(approx %15 %32)
(approx %19 (*.f32 ux (-.f32 %37 #s(literal 1 binary32))))
(approx %26 %28)
(approx %26 (*.f32 ux (-.f32 (+.f32 maxCos %13) #s(literal 1 binary32))))
(approx %5 (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) %13))))
(approx %19 (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) %37))))
(approx %26 (*.f32 #s(literal -1 binary32) (*.f32 ux %55)))
(approx %26 (*.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 %55 %13))))
(approx %26 %63)
(approx %26 (-.f32 (+.f32 #s(literal 1 binary32) %65) ux))
(approx %26 %65)
(approx %26 (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
(approx %26 (*.f32 #s(literal -1 binary32) (*.f32 maxCos (fma.f32 #s(literal -1 binary32) ux (*.f32 #s(literal -1 binary32) (/.f32 %63 maxCos))))))
Calls

9 calls:

TimeVariablePoint
1.0ms
ux
-inf
0.0ms
ux
0
0.0ms
ux
inf
0.0ms
maxCos
inf
0.0ms
maxCos
0

rewrite118.0ms (10.5%)

Memory
-1.5MiB live, 134.7MiB allocated; 32ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01888
02390
17889
220272
373972
0403872
0432269
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
14 → 1 215
Calls
Call 1
Inputs
%3 = (- 1 ux)
%4 = (approx %3 #s(literal 1 binary32))
%5 = (/.f32 #s(literal 1 binary32) ux)
%6 = (-.f32 %5 #s(literal 1 binary32))
%7 = (*.f32 ux %6)
%8 = (approx %3 %7)
%10 = (-.f32 #s(literal 1/2 binary32) ux)
%12 = (-.f32 %10 #s(literal -1/2 binary32))
%15 = (+ %3 (* ux maxCos))
#s(literal 1 binary32)
ux
%4
%5
%6
%7
%8
#s(literal 1/2 binary32)
%10
#s(literal -1/2 binary32)
%12
(approx %15 %12)
(approx %15 %4)
(approx %15 %8)
Outputs
%3 = (- 1 ux)
%4 = (approx %3 #s(literal 1 binary32))
%7 = (/.f32 #s(literal -1 binary32) ux)
%8 = (*.f32 %7 ux)
%11 = (*.f32 ux %7)
%19 = (*.f32 ux #s(literal -2 binary32))
%20 = (/.f32 #s(literal -1/2 binary32) %19)
%24 = (*.f32 ux #s(literal 2 binary32))
%25 = (/.f32 #s(literal -1/2 binary32) %24)
%29 = (/.f32 #s(literal 1/2 binary32) %19)
%31 = (/.f32 #s(literal 1 binary32) %19)
%33 = (/.f32 %24 #s(literal 2 binary32))
%34 = (/.f32 #s(literal 1/2 binary32) ux)
%35 = (*.f32 #s(literal 1/2 binary32) ux)
%36 = (/.f32 %34 %35)
%38 = (/.f32 %24 #s(literal 1/2 binary32))
%39 = (*.f32 #s(literal 2 binary32) ux)
%40 = (/.f32 %34 %39)
%42 = (/.f32 %24 ux)
%43 = (/.f32 %34 #s(literal 1 binary32))
%45 = (/.f32 %24 #s(literal 1 binary32))
%46 = (/.f32 %34 ux)
%49 = (/.f32 #s(literal 1/4 binary32) ux)
%51 = (/.f32 #s(literal 4 binary32) ux)
%53 = (neg.f32 ux)
%54 = (/.f32 %53 #s(literal 2 binary32))
%55 = (/.f32 %7 %35)
%57 = (/.f32 %53 #s(literal 1/2 binary32))
%58 = (/.f32 %7 %39)
%60 = (/.f32 %53 #s(literal 1 binary32))
%61 = (/.f32 %7 ux)
%63 = (/.f32 #s(literal -1 binary32) %24)
%65 = (/.f32 #s(literal 1 binary32) ux)
%66 = (/.f32 %65 #s(literal 1/2 binary32))
%68 = (/.f32 ux #s(literal 2 binary32))
%69 = (/.f32 %65 %35)
%71 = (/.f32 %65 #s(literal 2 binary32))
%72 = (/.f32 ux %35)
%75 = (/.f32 ux #s(literal 1/2 binary32))
%76 = (/.f32 %65 %39)
%78 = (/.f32 %65 ux)
%80 = (/.f32 %65 #s(literal 1 binary32))
%82 = (/.f32 #s(literal 1/2 binary32) %24)
%84 = (/.f32 %53 ux)
%85 = (/.f32 %7 #s(literal 1 binary32))
%88 = (/.f32 #s(literal -2 binary32) %35)
%90 = (*.f32 #s(literal 1/2 binary32) %53)
%91 = (/.f32 #s(literal 2 binary32) %90)
%93 = (*.f32 #s(literal -1/2 binary32) ux)
%94 = (/.f32 #s(literal 2 binary32) %93)
%96 = (/.f32 #s(literal -1/2 binary32) %39)
%98 = (*.f32 #s(literal 2 binary32) %53)
%99 = (/.f32 #s(literal 1/2 binary32) %98)
%102 = (/.f32 #s(literal 4 binary32) %35)
%104 = (/.f32 #s(literal -2 binary32) ux)
%106 = (/.f32 #s(literal -2 binary32) %90)
%108 = (/.f32 #s(literal -2 binary32) %93)
%110 = (/.f32 #s(literal 2 binary32) %35)
%113 = (/.f32 #s(literal 2 binary32) ux)
%115 = (/.f32 #s(literal -1/2 binary32) ux)
%118 = (/.f32 #s(literal 1/4 binary32) %39)
%120 = (/.f32 #s(literal -1/2 binary32) %98)
%123 = (/.f32 %65 #s(literal 4 binary32))
%125 = (/.f32 #s(literal 1/2 binary32) %39)
%128 = (/.f32 %8 %39)
%131 = (/.f32 %8 #s(literal 1 binary32))
%134 = (/.f32 #s(literal 1/4 binary32) %35)
%138 = (/.f32 #s(literal 1/2 binary32) %90)
%140 = (/.f32 #s(literal 1/2 binary32) %93)
%142 = (/.f32 #s(literal -1/2 binary32) %35)
%145 = (/.f32 %8 %35)
%147 = (/.f32 #s(literal 1 binary32) %90)
%149 = (/.f32 #s(literal 1 binary32) %93)
%151 = (/.f32 #s(literal -1 binary32) %35)
%154 = (/.f32 #s(literal -1 binary32) %90)
%156 = (/.f32 #s(literal -1 binary32) %93)
%158 = (/.f32 #s(literal 1 binary32) %35)
%163 = (/.f32 #s(literal 1/2 binary32) %35)
%165 = (/.f32 #s(literal -1/2 binary32) %90)
%167 = (/.f32 #s(literal -1/2 binary32) %93)
%173 = (*.f32 %53 %53)
%175 = (*.f32 %53 #s(literal 1/2 binary32))
%177 = (*.f32 %53 ux)
%181 = (*.f32 ux %53)
%183 = (*.f32 ux #s(literal 1/2 binary32))
%185 = (*.f32 ux ux)
%190 = (*.f32 %53 #s(literal 2 binary32))
%191 = (*.f32 %190 #s(literal 0 binary32))
%193 = (*.f32 %190 ux)
%197 = (*.f32 %98 ux)
%199 = (*.f32 %24 #s(literal 0 binary32))
%201 = (*.f32 %24 ux)
%205 = (*.f32 %39 ux)
%207 = (*.f32 ux #s(literal 0 binary32))
%210 = (*.f32 %53 #s(literal 0 binary32))
%218 = (*.f32 %113 #s(literal -2 binary32))
%220 = (*.f32 %113 #s(literal 2 binary32))
%222 = (*.f32 %113 %53)
%224 = (*.f32 %113 ux)
%228 = (*.f32 #s(literal -2 binary32) %113)
%230 = (*.f32 #s(literal 2 binary32) %113)
%236 = (*.f32 %113 #s(literal 4 binary32))
%238 = (*.f32 #s(literal -2 binary32) %53)
%239 = (*.f32 %190 %53)
%241 = (*.f32 %98 %53)
%243 = (*.f32 #s(literal -2 binary32) ux)
%246 = (*.f32 %53 #s(literal -2 binary32))
%247 = (*.f32 %53 %190)
%249 = (*.f32 %53 %98)
%253 = (*.f32 %24 #s(literal -2 binary32))
%255 = (*.f32 #s(literal -2 binary32) %24)
%257 = (*.f32 %190 #s(literal 2 binary32))
%259 = (*.f32 %98 #s(literal 2 binary32))
%261 = (*.f32 #s(literal -2 binary32) %39)
%263 = (*.f32 #s(literal 2 binary32) %190)
%265 = (*.f32 #s(literal 2 binary32) %98)
%267 = (*.f32 %39 #s(literal -2 binary32))
%269 = (*.f32 #s(literal 4 binary32) %53)
%271 = (*.f32 %53 #s(literal 4 binary32))
%274 = (*.f32 #s(literal 4 binary32) %190)
%276 = (*.f32 %190 #s(literal 4 binary32))
%278 = (*.f32 %98 #s(literal 4 binary32))
%280 = (*.f32 #s(literal 4 binary32) %98)
%282 = (*.f32 ux %190)
%284 = (*.f32 ux %98)
%288 = (*.f32 %53 #s(literal -1 binary32))
%290 = (*.f32 #s(literal -1 binary32) %53)
%293 = (*.f32 #s(literal 4 binary32) %24)
%295 = (*.f32 #s(literal 4 binary32) %39)
%297 = (*.f32 %24 #s(literal 4 binary32))
%299 = (*.f32 %39 #s(literal 4 binary32))
%301 = (*.f32 %53 %24)
%303 = (*.f32 %53 %39)
%305 = (*.f32 ux %24)
%307 = (*.f32 ux %39)
%309 = (*.f32 %24 %53)
%311 = (*.f32 %39 %53)
%315 = (*.f32 %190 #s(literal -2 binary32))
%317 = (*.f32 %98 #s(literal -2 binary32))
%319 = (*.f32 #s(literal -2 binary32) %190)
%321 = (*.f32 #s(literal -2 binary32) %98)
%323 = (*.f32 %24 #s(literal 2 binary32))
%325 = (*.f32 #s(literal 2 binary32) %24)
%327 = (*.f32 #s(literal 2 binary32) %39)
%329 = (*.f32 %39 #s(literal 2 binary32))
%331 = (*.f32 #s(literal 4 binary32) ux)
%333 = (*.f32 ux #s(literal 4 binary32))
%335 = (*.f32 %190 #s(literal 1 binary32))
%337 = (*.f32 #s(literal 1 binary32) %190)
%339 = (*.f32 #s(literal 1 binary32) %98)
%341 = (*.f32 %98 #s(literal 1 binary32))
%344 = (neg.f32 %24)
%351 = (*.f32 %24 #s(literal 1 binary32))
%353 = (*.f32 #s(literal 1 binary32) %24)
%355 = (*.f32 #s(literal 1 binary32) %39)
%357 = (*.f32 %39 #s(literal 1 binary32))
%361 = (neg.f32 %190)
%382 = (/.f32 #s(literal 0 binary32) ux)
%384 = (/.f32 #s(literal 0 binary32) %19)
%418 = (/.f32 #s(literal 0 binary32) %35)
%428 = (/.f32 #s(literal 0 binary32) %90)
%430 = (/.f32 #s(literal 0 binary32) %93)
%531 = (/.f32 #s(literal 3/2 binary32) %24)
%534 = (/.f32 #s(literal 3/2 binary32) %39)
%541 = (-.f32 ux #s(literal 1 binary32))
%542 = (/.f32 %541 ux)
%543 = (/.f32 %542 %19)
%545 = (/.f32 %542 %24)
%546 = (/.f32 ux #s(literal -1/2 binary32))
%548 = (/.f32 %542 #s(literal -2 binary32))
%550 = (/.f32 %542 #s(literal 2 binary32))
%551 = (/.f32 ux %90)
%553 = (/.f32 ux %93)
%555 = (/.f32 %53 %35)
%557 = (/.f32 %542 #s(literal 1/2 binary32))
%558 = (/.f32 %53 %39)
%560 = (/.f32 ux %98)
%562 = (/.f32 %542 #s(literal 1 binary32))
%563 = (/.f32 ux %53)
%566 = (/.f32 %542 ux)
%568 = (/.f32 ux #s(literal -1 binary32))
%570 = (/.f32 %542 #s(literal -1 binary32))
%572 = (/.f32 %542 %53)
%574 = (-.f32 #s(literal 1 binary32) ux)
%575 = (/.f32 %574 ux)
%576 = (/.f32 %575 #s(literal 2 binary32))
%578 = (/.f32 %575 #s(literal 1/2 binary32))
%580 = (/.f32 %575 #s(literal 1 binary32))
%582 = (/.f32 %575 ux)
%584 = (/.f32 ux %19)
%586 = (/.f32 %541 #s(literal 1/2 binary32))
%588 = (/.f32 %542 %35)
%590 = (/.f32 %542 %39)
%593 = (/.f32 ux #s(literal -2 binary32))
%595 = (/.f32 %542 %90)
%597 = (/.f32 %542 %93)
%599 = (/.f32 %575 %35)
%602 = (/.f32 %575 %39)
%604 = (/.f32 %542 %98)
%608 = (/.f32 %541 #s(literal -1/2 binary32))
%610 = (/.f32 %541 #s(literal 1 binary32))
%612 = (/.f32 %541 %98)
%614 = (/.f32 %574 %39)
%616 = (+.f32 #s(literal -1/2 binary32) %34)
%618 = (+.f32 %34 #s(literal -1/2 binary32))
%620 = (-.f32 %34 #s(literal 1/2 binary32))
%623 = (/.f32 %541 %35)
%625 = (/.f32 %541 %90)
%627 = (/.f32 %541 %93)
%629 = (/.f32 %542 #s(literal -1/2 binary32))
%631 = (/.f32 %574 %35)
%633 = (/.f32 %541 #s(literal -1 binary32))
%635 = (/.f32 %574 #s(literal 1 binary32))
%646 = (-.f32 %113 #s(literal 2 binary32))
%673 = (fma.f32 #s(literal 2 binary32) %53 #s(literal 2 binary32))
%705 = (fma.f32 #s(literal -1 binary32) %53 #s(literal -1 binary32))
%712 = (-.f32 #s(literal -2 binary32) %190)
%716 = (-.f32 #s(literal 2 binary32) %24)
%886 = (-.f32 %98 #s(literal -2 binary32))
%888 = (-.f32 %39 #s(literal 2 binary32))
%900 = (-.f32 ux #s(literal 1/2 binary32))
%901 = (/.f32 %900 %53)
%904 = (-.f32 #s(literal 1/2 binary32) ux)
%905 = (/.f32 %904 ux)
%925 = (+.f32 #s(literal 0 binary32) %53)
%926 = (/.f32 %925 ux)
%928 = (-.f32 #s(literal 0 binary32) ux)
%929 = (/.f32 %928 ux)
%1370 = (*.f32 %542 %53)
%1371 = (*.f32 %53 %542)
%1372 = (*.f32 %575 ux)
%1373 = (*.f32 ux %575)
%1374 = (*.f32 #s(literal 1 binary32) %574)
%1375 = (fma.f32 %53 #s(literal 2 binary32) #s(literal 2 binary32))
%1377 = (/.f32 (+.f32 %1375 #s(literal 0 binary32)) #s(literal 2 binary32))
%1379 = (/.f32 (+.f32 #s(literal 2 binary32) %98) #s(literal 2 binary32))
%1381 = (/.f32 (-.f32 #s(literal 2 binary32) %39) #s(literal 2 binary32))
%1382 = (/.f32 %673 #s(literal 2 binary32))
%1384 = (/.f32 (fma.f32 %98 #s(literal 4 binary32) #s(literal 8 binary32)) #s(literal 8 binary32))
%1386 = (/.f32 (fma.f32 %98 #s(literal -2 binary32) #s(literal -4 binary32)) #s(literal -4 binary32))
%1388 = (/.f32 (fma.f32 %98 #s(literal 2 binary32) #s(literal 4 binary32)) #s(literal 4 binary32))
%1390 = (/.f32 (fma.f32 %98 %53 %98) %98)
%1392 = (/.f32 (fma.f32 %98 ux %39) %39)
%1394 = (/.f32 (fma.f32 %98 #s(literal 1 binary32) #s(literal 2 binary32)) #s(literal 2 binary32))
%1396 = (/.f32 (fma.f32 %1375 #s(literal 2 binary32) #s(literal 0 binary32)) #s(literal 4 binary32))
%1398 = (/.f32 (+.f32 #s(literal 8 binary32) %280) #s(literal 8 binary32))
%1400 = (/.f32 (+.f32 #s(literal -4 binary32) %321) #s(literal -4 binary32))
%1402 = (/.f32 (+.f32 #s(literal 4 binary32) %265) #s(literal 4 binary32))
%1404 = (/.f32 (fma.f32 %53 #s(literal 2 binary32) %249) %190)
%1406 = (/.f32 (fma.f32 ux #s(literal 2 binary32) %284) %24)
%1408 = (/.f32 (+.f32 #s(literal 2 binary32) %339) #s(literal 2 binary32))
%1410 = (/.f32 (-.f32 %259 #s(literal -4 binary32)) #s(literal 4 binary32))
%1412 = (/.f32 (-.f32 %317 #s(literal 4 binary32)) #s(literal -4 binary32))
%1414 = (/.f32 (-.f32 #s(literal 8 binary32) %295) #s(literal 8 binary32))
%1416 = (/.f32 (-.f32 #s(literal -4 binary32) %261) #s(literal -4 binary32))
%1418 = (/.f32 (-.f32 #s(literal 4 binary32) %327) #s(literal 4 binary32))
%1420 = (/.f32 (-.f32 %190 %303) %190)
%1422 = (/.f32 (-.f32 %24 %307) %24)
%1424 = (/.f32 (-.f32 #s(literal 2 binary32) %355) #s(literal 2 binary32))
%1426 = (/.f32 (*.f32 %886 %98) %259)
%1428 = (/.f32 (*.f32 %888 %98) %329)
%1430 = (/.f32 (*.f32 %541 %98) %24)
%1432 = (/.f32 (*.f32 %574 %98) %190)
%1434 = (/.f32 (*.f32 %98 %886) %265)
%1436 = (/.f32 (*.f32 %98 %888) %327)
%1438 = (/.f32 (*.f32 %98 %541) %39)
%1440 = (/.f32 (*.f32 %98 %574) %98)
%1442 = (/.f32 (*.f32 %705 %39) %190)
%1444 = (/.f32 (*.f32 %646 %39) #s(literal 4 binary32))
%1446 = (/.f32 (*.f32 %712 %39) %257)
%1448 = (/.f32 (*.f32 %716 %39) %323)
%1450 = (/.f32 (*.f32 %39 %705) %98)
%1452 = (/.f32 (*.f32 %39 %646) #s(literal 4 binary32))
%1454 = (/.f32 (*.f32 %39 %712) %263)
%1456 = (/.f32 (*.f32 %39 %716) %325)
%1458 = (/.f32 (*.f32 #s(literal 4 binary32) %1375) #s(literal 8 binary32))
%1460 = (/.f32 (*.f32 #s(literal -2 binary32) %1375) #s(literal -4 binary32))
%1462 = (/.f32 (*.f32 #s(literal 2 binary32) %1375) #s(literal 4 binary32))
%1464 = (/.f32 (*.f32 %53 %1375) %190)
%1466 = (/.f32 (*.f32 ux %1375) %24)
%1468 = (/.f32 (*.f32 #s(literal 1 binary32) %1375) #s(literal 2 binary32))
%1470 = (/.f32 (*.f32 %541 %39) %190)
%1472 = (/.f32 (*.f32 %574 %39) %24)
%1474 = (/.f32 (*.f32 %39 %541) %98)
%1476 = (/.f32 (*.f32 %39 %574) %39)
%1478 = (/.f32 (neg.f32 %1375) #s(literal -2 binary32))
%1479 = (/.f32 %1375 #s(literal 2 binary32))
%1480 = (/.f32 %886 #s(literal 2 binary32))
%1482 = (/.f32 #s(literal 1 binary32) (pow.f32 %574 %8))
%1484 = (/.f32 #s(literal 1 binary32) (pow.f32 %574 %11))
%1486 = (/.f32 #s(literal 1 binary32) (pow.f32 %574 #s(literal -1 binary32)))
%1487 = (-.f32 %53 #s(literal -1 binary32))
%1488 = (-.f32 %904 #s(literal -1/2 binary32))
%1489 = (-.f32 #s(literal 1/2 binary32) %900)
%1490 = (-.f32 #s(literal 1 binary32) %288)
%1491 = (fma.f32 %19 #s(literal 1/2 binary32) #s(literal 1 binary32))
%1492 = (fma.f32 %24 #s(literal -1/2 binary32) #s(literal 1 binary32))
%1493 = (/.f32 %53 #s(literal 4 binary32))
%1494 = (fma.f32 #s(literal 4 binary32) %1493 #s(literal 1 binary32))
%1495 = (fma.f32 #s(literal -2 binary32) %35 #s(literal 1 binary32))
%1496 = (fma.f32 #s(literal 2 binary32) %54 #s(literal 1 binary32))
%1497 = (fma.f32 #s(literal 2 binary32) %90 #s(literal 1 binary32))
%1498 = (fma.f32 #s(literal 2 binary32) %93 #s(literal 1 binary32))
%1499 = (fma.f32 %542 %53 #s(literal 0 binary32))
%1500 = (fma.f32 %53 %542 #s(literal 0 binary32))
%1501 = (fma.f32 %53 #s(literal 1 binary32) #s(literal 1 binary32))
%1502 = (fma.f32 #s(literal -1 binary32) ux #s(literal 1 binary32))
%1503 = (fma.f32 #s(literal 1/2 binary32) %98 #s(literal 1 binary32))
%1504 = (fma.f32 %575 ux #s(literal 0 binary32))
%1505 = (fma.f32 ux #s(literal -1 binary32) #s(literal 1 binary32))
%1506 = (fma.f32 ux %575 #s(literal 0 binary32))
%1507 = (fma.f32 #s(literal 1 binary32) %60 #s(literal 1 binary32))
%1508 = (fma.f32 #s(literal 1 binary32) %53 #s(literal 1 binary32))
%1509 = (fma.f32 #s(literal 1 binary32) %904 #s(literal 1/2 binary32))
%1510 = (fma.f32 #s(literal 1 binary32) %574 #s(literal 0 binary32))
%1511 = (pow.f32 %574 #s(literal 1 binary32))
%1513 = (+.f32 (/.f32 %190 #s(literal 2 binary32)) #s(literal 1 binary32))
%1514 = (+.f32 %53 #s(literal 1 binary32))
%1515 = (+.f32 %904 #s(literal 1/2 binary32))
%1516 = (+.f32 #s(literal 1/2 binary32) %904)
%1517 = (+.f32 %574 #s(literal 0 binary32))
%1518 = (+.f32 #s(literal 1 binary32) %925)
%1519 = (+.f32 #s(literal 1 binary32) %928)
%1520 = (+.f32 #s(literal 1 binary32) %53)
%1521 = (neg.f32 %541)
%1522 = (approx %3 %574)
%1572 = (- (- (* maxCos ux) -1) ux)
%1573 = (approx %1572 %574)
%1582 = (approx %1572 %4)
%1591 = (approx %1572 %1522)
#s(literal 1 binary32)
ux
(*.f32 #s(literal 1 binary32) %4)
(/.f32 #s(literal 1 binary32) (pow.f32 %4 %8))
(/.f32 #s(literal 1 binary32) (pow.f32 %4 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %4 #s(literal -1 binary32)))
%4
(pow.f32 %4 #s(literal 1 binary32))
(*.f32 %20 #s(literal 4 binary32))
(*.f32 %25 #s(literal -4 binary32))
(*.f32 %29 #s(literal -4 binary32))
(*.f32 %31 #s(literal -2 binary32))
(*.f32 %33 %36)
(*.f32 %38 %40)
(*.f32 %42 %43)
(*.f32 %45 %46)
(*.f32 %49 #s(literal 4 binary32))
(*.f32 %51 #s(literal 1/4 binary32))
(*.f32 %54 %55)
(*.f32 %57 %58)
(*.f32 %60 %61)
(*.f32 %63 #s(literal -2 binary32))
(*.f32 %66 #s(literal 1/2 binary32))
(*.f32 %68 %69)
(*.f32 %71 %72)
(*.f32 %71 #s(literal 2 binary32))
(*.f32 %75 %76)
(*.f32 %78 ux)
(*.f32 %80 #s(literal 1 binary32))
(*.f32 %82 #s(literal 4 binary32))
(*.f32 %84 %85)
(*.f32 #s(literal -1/4 binary32) %88)
(*.f32 #s(literal -1/4 binary32) %91)
(*.f32 #s(literal -1/4 binary32) %94)
(*.f32 #s(literal -4 binary32) %96)
(*.f32 #s(literal -4 binary32) %99)
(*.f32 #s(literal 1/8 binary32) %102)
(*.f32 %104 #s(literal -1/2 binary32))
(*.f32 #s(literal 1/4 binary32) %106)
(*.f32 #s(literal 1/4 binary32) %108)
(*.f32 #s(literal 1/4 binary32) %110)
(*.f32 #s(literal 1/4 binary32) %51)
(*.f32 %113 #s(literal 1/2 binary32))
(*.f32 %115 #s(literal -2 binary32))
(*.f32 #s(literal 8 binary32) %118)
(*.f32 #s(literal 4 binary32) %120)
(*.f32 #s(literal 4 binary32) %49)
(*.f32 #s(literal 4 binary32) %123)
(*.f32 #s(literal 4 binary32) %125)
(*.f32 %34 #s(literal 2 binary32))
(*.f32 #s(literal -2 binary32) %128)
(*.f32 #s(literal -2 binary32) %115)
(*.f32 %7 %131)
(*.f32 %7 #s(literal -1 binary32))
(*.f32 #s(literal 2 binary32) %134)
(*.f32 #s(literal 2 binary32) %71)
(*.f32 #s(literal 2 binary32) %34)
(*.f32 #s(literal -1 binary32) %138)
(*.f32 #s(literal -1 binary32) %140)
(*.f32 #s(literal -1 binary32) %142)
(*.f32 #s(literal -1 binary32) %7)
(*.f32 #s(literal -1/2 binary32) %145)
(*.f32 #s(literal -1/2 binary32) %147)
(*.f32 #s(literal -1/2 binary32) %149)
(*.f32 #s(literal -1/2 binary32) %151)
(*.f32 #s(literal -1/2 binary32) %104)
(*.f32 #s(literal 1/2 binary32) %154)
(*.f32 #s(literal 1/2 binary32) %156)
(*.f32 #s(literal 1/2 binary32) %158)
(*.f32 #s(literal 1/2 binary32) %113)
(*.f32 %65 #s(literal 1 binary32))
(*.f32 ux %78)
(*.f32 #s(literal 1 binary32) %163)
(*.f32 #s(literal 1 binary32) %165)
(*.f32 #s(literal 1 binary32) %167)
(*.f32 #s(literal 1 binary32) %80)
(*.f32 #s(literal 1 binary32) %65)
(/.f32 (fma.f32 #s(literal -1/2 binary32) %53 (*.f32 %53 #s(literal -1/2 binary32))) %173)
(/.f32 (fma.f32 #s(literal -1/2 binary32) ux %175) %177)
(/.f32 (fma.f32 #s(literal 1/2 binary32) %53 (*.f32 ux #s(literal -1/2 binary32))) %181)
(/.f32 (fma.f32 #s(literal 1/2 binary32) ux %183) %185)
(/.f32 (fma.f32 %113 ux #s(literal 0 binary32)) %39)
(/.f32 (fma.f32 #s(literal -2 binary32) ux %191) %193)
(/.f32 (fma.f32 #s(literal -2 binary32) ux (*.f32 %98 #s(literal 0 binary32))) %197)
(/.f32 (fma.f32 #s(literal 2 binary32) ux %199) %201)
(/.f32 (fma.f32 #s(literal 2 binary32) ux (*.f32 %39 #s(literal 0 binary32))) %205)
(/.f32 (+.f32 ux %207) %185)
(/.f32 (+.f32 %53 %210) %177)
(/.f32 (-.f32 (*.f32 #s(literal -1/2 binary32) %53) %175) %173)
(/.f32 (-.f32 %90 %183) %181)
(/.f32 %218 #s(literal -4 binary32))
(/.f32 %220 #s(literal 4 binary32))
(/.f32 %222 %98)
(/.f32 %224 %39)
(/.f32 (*.f32 #s(literal 4 binary32) %113) #s(literal 8 binary32))
(/.f32 %228 #s(literal -4 binary32))
(/.f32 %230 #s(literal 4 binary32))
(/.f32 (*.f32 %53 %113) %190)
(/.f32 (*.f32 ux %113) %24)
(/.f32 %236 #s(literal 8 binary32))
(/.f32 %238 %239)
(/.f32 %238 %241)
(/.f32 %243 %193)
(/.f32 %243 %197)
(/.f32 %246 %247)
(/.f32 %246 %249)
(/.f32 (neg.f32 %113) #s(literal -2 binary32))
(/.f32 #s(literal -4 binary32) %253)
(/.f32 #s(literal -4 binary32) %255)
(/.f32 #s(literal -4 binary32) %257)
(/.f32 #s(literal -4 binary32) %259)
(/.f32 #s(literal -4 binary32) %261)
(/.f32 #s(literal -4 binary32) %263)
(/.f32 #s(literal -4 binary32) %265)
(/.f32 #s(literal -4 binary32) %267)
(/.f32 #s(literal -4 binary32) %269)
(/.f32 #s(literal -4 binary32) %271)
(/.f32 #s(literal -8 binary32) %274)
(/.f32 #s(literal -8 binary32) %276)
(/.f32 #s(literal -8 binary32) %278)
(/.f32 #s(literal -8 binary32) %280)
(/.f32 %19 %282)
(/.f32 %19 %284)
(/.f32 %8 %53)
(/.f32 %11 %53)
(/.f32 %288 %173)
(/.f32 %290 %173)
(/.f32 %113 #s(literal 2 binary32))
(/.f32 #s(literal 8 binary32) %293)
(/.f32 #s(literal 8 binary32) %295)
(/.f32 #s(literal 8 binary32) %297)
(/.f32 #s(literal 8 binary32) %299)
(/.f32 %190 %301)
(/.f32 %190 %303)
(/.f32 %24 %305)
(/.f32 %24 %307)
(/.f32 %98 %309)
(/.f32 %98 %311)
(/.f32 %39 %201)
(/.f32 %39 %205)
(/.f32 #s(literal 4 binary32) %315)
(/.f32 #s(literal 4 binary32) %317)
(/.f32 #s(literal 4 binary32) %319)
(/.f32 #s(literal 4 binary32) %321)
(/.f32 #s(literal 4 binary32) %323)
(/.f32 #s(literal 4 binary32) %325)
(/.f32 #s(literal 4 binary32) %327)
(/.f32 #s(literal 4 binary32) %329)
(/.f32 #s(literal 4 binary32) %331)
(/.f32 #s(literal 4 binary32) %333)
(/.f32 #s(literal -2 binary32) %335)
(/.f32 #s(literal -2 binary32) %337)
(/.f32 #s(literal -2 binary32) %339)
(/.f32 #s(literal -2 binary32) %341)
(/.f32 #s(literal -2 binary32) %243)
(/.f32 #s(literal -2 binary32) %344)
(/.f32 #s(literal -2 binary32) (neg.f32 %39))
(/.f32 #s(literal -2 binary32) %19)
(/.f32 #s(literal -2 binary32) %190)
(/.f32 #s(literal -2 binary32) %98)
(/.f32 #s(literal 2 binary32) %351)
(/.f32 #s(literal 2 binary32) %353)
(/.f32 #s(literal 2 binary32) %355)
(/.f32 #s(literal 2 binary32) %357)
(/.f32 #s(literal 2 binary32) %238)
(/.f32 #s(literal 2 binary32) %246)
(/.f32 #s(literal 2 binary32) %361)
(/.f32 #s(literal 2 binary32) (neg.f32 %98))
(/.f32 #s(literal 2 binary32) %24)
(/.f32 #s(literal 2 binary32) %39)
(/.f32 %53 %177)
(/.f32 %53 %181)
(/.f32 #s(literal -1 binary32) %53)
(/.f32 ux %185)
(/.f32 #s(literal 1 binary32) (pow.f32 %65 %8))
(/.f32 #s(literal 1 binary32) (pow.f32 %65 %11))
(/.f32 #s(literal 1 binary32) %290)
(/.f32 #s(literal 1 binary32) (pow.f32 %65 #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 %53 #s(literal -1 binary32)))
%65
(-.f32 %34 %63)
(-.f32 %34 %115)
(-.f32 %65 %382)
(fma.f32 %384 #s(literal 4 binary32) %65)
(fma.f32 %384 #s(literal -2 binary32) %65)
(fma.f32 %384 #s(literal 2 binary32) %65)
(fma.f32 %384 #s(literal 0 binary32) %65)
(fma.f32 %384 #s(literal 1 binary32) %65)
(fma.f32 %20 #s(literal 4 binary32) %382)
(fma.f32 %25 #s(literal -4 binary32) %382)
(fma.f32 %29 #s(literal -4 binary32) %382)
(fma.f32 %29 #s(literal -2 binary32) %34)
(fma.f32 %29 #s(literal 0 binary32) %65)
(fma.f32 %31 #s(literal -2 binary32) %382)
(fma.f32 %31 #s(literal 0 binary32) %65)
(fma.f32 %33 %36 %382)
(fma.f32 %38 %40 %382)
(fma.f32 %42 %43 %382)
(fma.f32 %45 %46 %382)
(fma.f32 %49 #s(literal 4 binary32) %382)
(fma.f32 %51 #s(literal 1/4 binary32) %382)
(fma.f32 %54 %55 %382)
(fma.f32 %57 %58 %382)
(fma.f32 %60 %61 %382)
(fma.f32 %63 #s(literal -2 binary32) %382)
(fma.f32 %66 #s(literal 1/2 binary32) %382)
(fma.f32 %68 %69 %382)
(fma.f32 %71 %72 %382)
(fma.f32 %71 #s(literal 2 binary32) %382)
(fma.f32 %75 %76 %382)
(fma.f32 %78 ux %382)
(fma.f32 %80 #s(literal 1 binary32) %382)
(fma.f32 %82 #s(literal 4 binary32) %382)
(fma.f32 %82 #s(literal 2 binary32) %34)
(fma.f32 %82 #s(literal 0 binary32) %65)
(fma.f32 %84 %85 %382)
(fma.f32 #s(literal -1/4 binary32) %418 %65)
(fma.f32 #s(literal -1/4 binary32) %88 %382)
(fma.f32 #s(literal -1/4 binary32) %91 %382)
(fma.f32 #s(literal -1/4 binary32) %94 %382)
(fma.f32 #s(literal -1/4 binary32) %151 %34)
(fma.f32 #s(literal -4 binary32) %96 %382)
(fma.f32 #s(literal -4 binary32) %99 %382)
(fma.f32 #s(literal 1/8 binary32) %102 %382)
(fma.f32 %104 #s(literal -1/2 binary32) %382)
(fma.f32 #s(literal 1/4 binary32) %428 %65)
(fma.f32 #s(literal 1/4 binary32) %430 %65)
(fma.f32 #s(literal 1/4 binary32) %418 %65)
(fma.f32 #s(literal 1/4 binary32) %106 %382)
(fma.f32 #s(literal 1/4 binary32) %108 %382)
(fma.f32 #s(literal 1/4 binary32) %110 %382)
(fma.f32 #s(literal 1/4 binary32) %154 %34)
(fma.f32 #s(literal 1/4 binary32) %156 %34)
(fma.f32 #s(literal 1/4 binary32) %158 %34)
(fma.f32 #s(literal 1/4 binary32) %51 %382)
(fma.f32 %113 #s(literal 1/2 binary32) %382)
(fma.f32 %382 #s(literal -4 binary32) %65)
(fma.f32 %382 #s(literal -2 binary32) %65)
(fma.f32 %382 #s(literal 2 binary32) %65)
(fma.f32 %382 #s(literal -1 binary32) %65)
(fma.f32 %382 #s(literal 0 binary32) %65)
(fma.f32 %382 #s(literal -1/2 binary32) %65)
(fma.f32 %382 #s(literal 1/2 binary32) %65)
(fma.f32 %382 #s(literal 1 binary32) %65)
(fma.f32 %115 #s(literal -2 binary32) %382)
(fma.f32 %115 #s(literal -1 binary32) %34)
(fma.f32 %115 #s(literal 0 binary32) %65)
(fma.f32 #s(literal 8 binary32) %118 %382)
(fma.f32 #s(literal 4 binary32) %120 %382)
(fma.f32 #s(literal 4 binary32) %49 %382)
(fma.f32 #s(literal 4 binary32) %123 %382)
(fma.f32 #s(literal 4 binary32) %125 %382)
(fma.f32 %34 #s(literal 2 binary32) %382)
(fma.f32 %34 #s(literal 0 binary32) %65)
(fma.f32 %34 #s(literal 1 binary32) %34)
(fma.f32 #s(literal -2 binary32) %128 %382)
(fma.f32 #s(literal -2 binary32) %115 %382)
(fma.f32 %7 %131 %382)
(fma.f32 %7 #s(literal -1 binary32) %382)
(fma.f32 %7 #s(literal 0 binary32) %65)
(fma.f32 #s(literal 2 binary32) %134 %382)
(fma.f32 #s(literal 2 binary32) %71 %382)
(fma.f32 #s(literal 2 binary32) %125 %34)
(fma.f32 #s(literal 2 binary32) %382 %65)
(fma.f32 #s(literal 2 binary32) %34 %382)
(fma.f32 #s(literal -1 binary32) %138 %382)
(fma.f32 #s(literal -1 binary32) %140 %382)
(fma.f32 #s(literal -1 binary32) %142 %382)
(fma.f32 #s(literal -1 binary32) %382 %65)
(fma.f32 #s(literal -1 binary32) %7 %382)
(fma.f32 #s(literal 0 binary32) %428 %65)
(fma.f32 #s(literal 0 binary32) %430 %65)
(fma.f32 #s(literal 0 binary32) %418 %65)
(fma.f32 #s(literal 0 binary32) %110 %65)
(fma.f32 #s(literal 0 binary32) %91 %65)
(fma.f32 #s(literal 0 binary32) %94 %65)
(fma.f32 #s(literal 0 binary32) %163 %65)
(fma.f32 #s(literal 0 binary32) %138 %65)
(fma.f32 #s(literal 0 binary32) %140 %65)
(fma.f32 #s(literal 0 binary32) %147 %65)
(fma.f32 #s(literal 0 binary32) %149 %65)
(fma.f32 #s(literal 0 binary32) %151 %65)
(fma.f32 #s(literal 0 binary32) %154 %65)
(fma.f32 #s(literal 0 binary32) %156 %65)
(fma.f32 #s(literal 0 binary32) %158 %65)
(fma.f32 #s(literal 0 binary32) %99 %65)
(fma.f32 #s(literal 0 binary32) %125 %65)
(fma.f32 #s(literal 0 binary32) %104 %65)
(fma.f32 #s(literal 0 binary32) %113 %65)
(fma.f32 #s(literal 0 binary32) %382 %65)
(fma.f32 #s(literal 0 binary32) %115 %65)
(fma.f32 #s(literal 0 binary32) %34 %65)
(fma.f32 #s(literal 0 binary32) %7 %65)
(fma.f32 #s(literal 0 binary32) %65 %65)
(fma.f32 #s(literal -1/2 binary32) %418 %65)
(fma.f32 #s(literal -1/2 binary32) %145 %382)
(fma.f32 #s(literal -1/2 binary32) %147 %382)
(fma.f32 #s(literal -1/2 binary32) %149 %382)
(fma.f32 #s(literal -1/2 binary32) %151 %382)
(fma.f32 #s(literal -1/2 binary32) %104 %382)
(fma.f32 #s(literal -1/2 binary32) %382 %65)
(fma.f32 #s(literal -1/2 binary32) %7 %34)
(fma.f32 #s(literal 1/2 binary32) %428 %65)
(fma.f32 #s(literal 1/2 binary32) %430 %65)
(fma.f32 #s(literal 1/2 binary32) %418 %65)
(fma.f32 #s(literal 1/2 binary32) %163 %34)
(fma.f32 #s(literal 1/2 binary32) %154 %382)
(fma.f32 #s(literal 1/2 binary32) %156 %382)
(fma.f32 #s(literal 1/2 binary32) %158 %382)
(fma.f32 #s(literal 1/2 binary32) %113 %382)
(fma.f32 #s(literal 1/2 binary32) %382 %65)
(fma.f32 #s(literal 1/2 binary32) %65 %34)
(fma.f32 %65 #s(literal 0 binary32) %65)
(fma.f32 %65 #s(literal 1/2 binary32) %34)
(fma.f32 %65 #s(literal 1 binary32) %382)
(fma.f32 ux %78 %382)
(fma.f32 #s(literal 1 binary32) %163 %382)
(fma.f32 #s(literal 1 binary32) %165 %382)
(fma.f32 #s(literal 1 binary32) %167 %382)
(fma.f32 #s(literal 1 binary32) %80 %382)
(fma.f32 #s(literal 1 binary32) %382 %65)
(fma.f32 #s(literal 1 binary32) %34 %34)
(fma.f32 #s(literal 1 binary32) %65 %382)
(pow.f32 %65 #s(literal 1 binary32))
(pow.f32 ux #s(literal -1 binary32))
(+.f32 %531 %82)
(+.f32 %82 %531)
(+.f32 %534 %125)
(+.f32 %125 %534)
(+.f32 %382 %65)
(+.f32 %34 %34)
(+.f32 %65 %382)
(neg.f32 %7)
(*.f32 %543 %75)
(*.f32 %545 %546)
(*.f32 %548 %72)
(*.f32 %550 %551)
(*.f32 %550 %553)
(*.f32 %550 %555)
(*.f32 %557 %558)
(*.f32 %557 %560)
(*.f32 %562 %563)
(*.f32 %562 %84)
(*.f32 %566 %60)
(*.f32 %566 %568)
(*.f32 %570 #s(literal 1 binary32))
(*.f32 %572 ux)
(*.f32 %576 %72)
(*.f32 %578 #s(literal 1/2 binary32))
(*.f32 %580 #s(literal 1 binary32))
(*.f32 %582 ux)
(*.f32 %584 %557)
(*.f32 %31 %586)
(*.f32 %54 %588)
(*.f32 %57 %590)
(*.f32 %60 %566)
(*.f32 %593 %588)
(*.f32 %68 %595)
(*.f32 %68 %597)
(*.f32 %68 %599)
(*.f32 %568 %566)
(*.f32 %75 %602)
(*.f32 %75 %604)
(*.f32 %563 %562)
(*.f32 %84 %562)
(*.f32 %34 %608)
(*.f32 %7 %610)
(*.f32 #s(literal 2 binary32) %612)
(*.f32 #s(literal 2 binary32) %614)
(*.f32 #s(literal 2 binary32) %616)
(*.f32 #s(literal 2 binary32) %618)
(*.f32 #s(literal 2 binary32) %620)
(*.f32 #s(literal -1 binary32) %542)
(*.f32 #s(literal -1/2 binary32) %623)
(*.f32 #s(literal 1/2 binary32) %625)
(*.f32 #s(literal 1/2 binary32) %627)
(*.f32 #s(literal 1/2 binary32) %629)
(*.f32 #s(literal 1/2 binary32) %631)
(*.f32 %65 %633)
(*.f32 %65 %635)
(*.f32 ux %572)
(*.f32 ux %582)
(*.f32 #s(literal 1 binary32) %570)
(*.f32 #s(literal 1 binary32) %580)
(*.f32 #s(literal 1 binary32) %575)
(/.f32 (+.f32 #s(literal -2 binary32) %113) #s(literal 2 binary32))
(/.f32 (+.f32 %113 #s(literal -2 binary32)) #s(literal 2 binary32))
(/.f32 (-.f32 %646 #s(literal 0 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal -4 binary32) %230) #s(literal 4 binary32))
(/.f32 (fma.f32 #s(literal -2 binary32) %190 #s(literal -4 binary32)) %263)
(/.f32 (fma.f32 #s(literal -2 binary32) %98 #s(literal -4 binary32)) %265)
(/.f32 (fma.f32 #s(literal -2 binary32) %24 #s(literal 4 binary32)) %325)
(/.f32 (fma.f32 #s(literal -2 binary32) %39 #s(literal 4 binary32)) %327)
(/.f32 (fma.f32 #s(literal -2 binary32) %53 #s(literal -2 binary32)) %98)
(/.f32 (fma.f32 #s(literal -2 binary32) ux #s(literal 2 binary32)) %39)
(/.f32 (+.f32 #s(literal 4 binary32) %228) #s(literal -4 binary32))
(/.f32 (fma.f32 #s(literal 2 binary32) %190 #s(literal 4 binary32)) %319)
(/.f32 (fma.f32 #s(literal 2 binary32) %98 #s(literal 4 binary32)) %321)
(/.f32 (fma.f32 #s(literal 2 binary32) %24 #s(literal -4 binary32)) %255)
(/.f32 (fma.f32 #s(literal 2 binary32) %39 #s(literal -4 binary32)) %261)
(/.f32 %673 %238)
(/.f32 (fma.f32 #s(literal 2 binary32) ux #s(literal -2 binary32)) %243)
(/.f32 (fma.f32 %113 #s(literal 2 binary32) #s(literal -4 binary32)) #s(literal 4 binary32))
(/.f32 (fma.f32 %113 #s(literal -2 binary32) #s(literal 4 binary32)) #s(literal -4 binary32))
(/.f32 (+.f32 #s(literal -4 binary32) %315) %257)
(/.f32 (+.f32 #s(literal 4 binary32) %257) %315)
(/.f32 (+.f32 #s(literal -4 binary32) %317) %259)
(/.f32 (+.f32 #s(literal 4 binary32) %259) %317)
(/.f32 (+.f32 #s(literal 4 binary32) %253) %323)
(/.f32 (+.f32 #s(literal -4 binary32) %323) %253)
(/.f32 (+.f32 #s(literal 4 binary32) %267) %329)
(/.f32 (+.f32 #s(literal -4 binary32) %329) %267)
(/.f32 (+.f32 #s(literal -2 binary32) %246) %190)
(/.f32 (+.f32 #s(literal 2 binary32) %190) %246)
(/.f32 (+.f32 #s(literal 2 binary32) %19) %24)
(/.f32 (+.f32 #s(literal -2 binary32) %24) %19)
(/.f32 (-.f32 (*.f32 %705 #s(literal 2 binary32)) %210) %190)
(/.f32 (-.f32 (*.f32 %646 #s(literal 2 binary32)) #s(literal 0 binary32)) #s(literal 4 binary32))
(/.f32 (-.f32 (*.f32 %712 #s(literal 2 binary32)) %191) %257)
(/.f32 (-.f32 (*.f32 %716 #s(literal 2 binary32)) %199) %323)
(/.f32 (-.f32 (*.f32 %541 #s(literal 2 binary32)) %210) %190)
(/.f32 (-.f32 (*.f32 %574 #s(literal 2 binary32)) %207) %24)
(/.f32 (-.f32 %236 #s(literal 8 binary32)) #s(literal 8 binary32))
(/.f32 (-.f32 %218 #s(literal -4 binary32)) #s(literal -4 binary32))
(/.f32 (-.f32 %220 #s(literal 4 binary32)) #s(literal 4 binary32))
(/.f32 (-.f32 %222 %98) %98)
(/.f32 (-.f32 %224 %39) %39)
(/.f32 (-.f32 #s(literal -8 binary32) %276) %276)
(/.f32 (-.f32 #s(literal 4 binary32) %315) %315)
(/.f32 (-.f32 #s(literal -4 binary32) %257) %257)
(/.f32 (-.f32 %238 %239) %239)
(/.f32 (-.f32 %243 %193) %193)
(/.f32 (-.f32 #s(literal -2 binary32) %335) %335)
(/.f32 (-.f32 #s(literal -8 binary32) %278) %278)
(/.f32 (-.f32 #s(literal 4 binary32) %317) %317)
(/.f32 (-.f32 #s(literal -4 binary32) %259) %259)
(/.f32 (-.f32 %238 %241) %241)
(/.f32 (-.f32 %243 %197) %197)
(/.f32 (-.f32 #s(literal -2 binary32) %341) %341)
(/.f32 (-.f32 #s(literal 8 binary32) %297) %297)
(/.f32 (-.f32 #s(literal -4 binary32) %253) %253)
(/.f32 (-.f32 #s(literal 4 binary32) %323) %323)
(/.f32 (-.f32 %98 %309) %309)
(/.f32 (-.f32 %39 %201) %201)
(/.f32 (-.f32 #s(literal 2 binary32) %351) %351)
(/.f32 (-.f32 #s(literal 8 binary32) %299) %299)
(/.f32 (-.f32 #s(literal -4 binary32) %267) %267)
(/.f32 (-.f32 #s(literal 4 binary32) %329) %329)
(/.f32 (-.f32 %98 %311) %311)
(/.f32 (-.f32 %39 %205) %205)
(/.f32 (-.f32 #s(literal 2 binary32) %357) %357)
(/.f32 (-.f32 #s(literal -4 binary32) %271) %271)
(/.f32 (-.f32 #s(literal 2 binary32) %246) %246)
(/.f32 (-.f32 %290 %173) %173)
(/.f32 (-.f32 %53 %177) %177)
(/.f32 (-.f32 #s(literal 4 binary32) %333) %333)
(/.f32 (-.f32 #s(literal -2 binary32) %19) %19)
(/.f32 (-.f32 %53 %181) %181)
(/.f32 (-.f32 ux %185) %185)
(/.f32 (-.f32 %321 #s(literal 4 binary32)) %265)
(/.f32 (-.f32 %238 #s(literal 2 binary32)) %98)
(/.f32 (-.f32 %243 #s(literal -2 binary32)) %39)
(/.f32 (-.f32 %265 #s(literal -4 binary32)) %321)
(/.f32 (*.f32 #s(literal 4 binary32) %705) %269)
(/.f32 (*.f32 #s(literal 4 binary32) %646) #s(literal 8 binary32))
(/.f32 (*.f32 #s(literal 4 binary32) %712) %274)
(/.f32 (*.f32 #s(literal 4 binary32) %716) %293)
(/.f32 (*.f32 #s(literal 4 binary32) %541) %269)
(/.f32 (*.f32 #s(literal 4 binary32) %574) %331)
(/.f32 (*.f32 #s(literal -2 binary32) %705) %238)
(/.f32 (*.f32 #s(literal -2 binary32) %646) #s(literal -4 binary32))
(/.f32 (*.f32 #s(literal -2 binary32) %712) %319)
(/.f32 (*.f32 #s(literal -2 binary32) %716) %255)
(/.f32 (*.f32 #s(literal -2 binary32) %541) %238)
(/.f32 (*.f32 #s(literal -2 binary32) %574) %243)
(/.f32 (*.f32 #s(literal 2 binary32) %705) %98)
(/.f32 (*.f32 #s(literal 2 binary32) %646) #s(literal 4 binary32))
(/.f32 (*.f32 #s(literal 2 binary32) %712) %263)
(/.f32 (*.f32 #s(literal 2 binary32) %716) %325)
(/.f32 (*.f32 #s(literal 2 binary32) %541) %98)
(/.f32 (*.f32 #s(literal 2 binary32) %574) %39)
(/.f32 (*.f32 %53 %705) %173)
(/.f32 (*.f32 %53 %646) %190)
(/.f32 (*.f32 %53 %712) %247)
(/.f32 (*.f32 %53 %716) %301)
(/.f32 (*.f32 %53 %541) %173)
(/.f32 (*.f32 %53 %574) %177)
(/.f32 (*.f32 ux %705) %181)
(/.f32 (*.f32 ux %646) %24)
(/.f32 (*.f32 ux %712) %282)
(/.f32 (*.f32 ux %716) %305)
(/.f32 (*.f32 #s(literal 1 binary32) %705) %53)
(/.f32 (*.f32 #s(literal 1 binary32) %646) #s(literal 2 binary32))
(/.f32 (*.f32 #s(literal 1 binary32) %712) %337)
(/.f32 (*.f32 #s(literal 1 binary32) %716) %353)
(/.f32 (neg.f32 %705) ux)
(/.f32 (neg.f32 %646) #s(literal -2 binary32))
(/.f32 (neg.f32 %712) %361)
(/.f32 (neg.f32 %716) %344)
(/.f32 (*.f32 ux %574) %185)
(/.f32 (*.f32 ux %541) %181)
(/.f32 %705 %53)
(/.f32 %646 #s(literal 2 binary32))
(/.f32 %886 %238)
(/.f32 %888 %243)
(/.f32 %712 %190)
(/.f32 %716 %24)
(/.f32 %541 %53)
(/.f32 %574 %290)
%575
(/.f32 #s(literal 1 binary32) (pow.f32 %575 %8))
(/.f32 #s(literal 1 binary32) (pow.f32 %575 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %575 #s(literal -1 binary32)))
(-.f32 %901 %115)
(-.f32 %563 %7)
(-.f32 %905 %115)
(-.f32 %84 %7)
(-.f32 (+.f32 %65 #s(literal -1/2 binary32)) #s(literal 1/2 binary32))
(-.f32 (-.f32 %65 #s(literal 1/2 binary32)) #s(literal 1/2 binary32))
(-.f32 %34 (/.f32 %900 ux))
(-.f32 %34 (/.f32 %904 %53))
(-.f32 #s(literal -1 binary32) %7)
(-.f32 #s(literal -1/2 binary32) (-.f32 #s(literal 1/2 binary32) %65))
(-.f32 %575 %382)
(-.f32 %575 #s(literal 0 binary32))
(-.f32 %65 (/.f32 %288 ux))
(-.f32 %65 #s(literal 1 binary32))
(fma.f32 %20 #s(literal 4 binary32) %563)
(fma.f32 %20 #s(literal 4 binary32) %926)
(fma.f32 %20 #s(literal 4 binary32) %929)
(fma.f32 %20 #s(literal 4 binary32) %84)
(fma.f32 %20 #s(literal 4 binary32) #s(literal -1 binary32))
(fma.f32 %25 #s(literal -4 binary32) %563)
(fma.f32 %25 #s(literal -4 binary32) %926)
(fma.f32 %25 #s(literal -4 binary32) %929)
(fma.f32 %25 #s(literal -4 binary32) %84)
(fma.f32 %25 #s(literal -4 binary32) #s(literal -1 binary32))
(fma.f32 %543 %75 %382)
(fma.f32 %545 %546 %382)
(fma.f32 %548 %72 %382)
(fma.f32 %550 %551 %382)
(fma.f32 %550 %553 %382)
(fma.f32 %550 %555 %382)
(fma.f32 %557 %558 %382)
(fma.f32 %557 %560 %382)
(fma.f32 %562 %563 %382)
(fma.f32 %562 %84 %382)
(fma.f32 %566 %60 %382)
(fma.f32 %566 %568 %382)
(fma.f32 %570 #s(literal 1 binary32) %382)
(fma.f32 %572 ux %382)
(fma.f32 %576 %72 %382)
(fma.f32 %578 #s(literal 1/2 binary32) %382)
(fma.f32 %580 #s(literal 1 binary32) %382)
(fma.f32 %582 ux %382)
(fma.f32 %29 #s(literal -4 binary32) %563)
(fma.f32 %29 #s(literal -4 binary32) %926)
(fma.f32 %29 #s(literal -4 binary32) %929)
(fma.f32 %29 #s(literal -4 binary32) %84)
(fma.f32 %29 #s(literal -4 binary32) #s(literal -1 binary32))
(fma.f32 %29 #s(literal -2 binary32) %901)
(fma.f32 %29 #s(literal -2 binary32) %905)
(fma.f32 %584 %557 %382)
(fma.f32 %31 %586 %382)
(fma.f32 %31 #s(literal -2 binary32) %563)
(fma.f32 %31 #s(literal -2 binary32) %926)
(fma.f32 %31 #s(literal -2 binary32) %929)
(fma.f32 %31 #s(literal -2 binary32) %84)
(fma.f32 %31 #s(literal -2 binary32) #s(literal -1 binary32))
(fma.f32 %33 %36 %563)
(fma.f32 %33 %36 %926)
(fma.f32 %33 %36 %929)
(fma.f32 %33 %36 %84)
(fma.f32 %33 %36 #s(literal -1 binary32))
(fma.f32 %38 %40 %563)
(fma.f32 %38 %40 %926)
(fma.f32 %38 %40 %929)
(fma.f32 %38 %40 %84)
(fma.f32 %38 %40 #s(literal -1 binary32))
(fma.f32 %42 %43 %563)
(fma.f32 %42 %43 %926)
(fma.f32 %42 %43 %929)
(fma.f32 %42 %43 %84)
(fma.f32 %42 %43 #s(literal -1 binary32))
(fma.f32 %45 %46 %563)
(fma.f32 %45 %46 %926)
(fma.f32 %45 %46 %929)
(fma.f32 %45 %46 %84)
(fma.f32 %45 %46 #s(literal -1 binary32))
(fma.f32 %49 #s(literal 4 binary32) %563)
(fma.f32 %49 #s(literal 4 binary32) %926)
(fma.f32 %49 #s(literal 4 binary32) %929)
(fma.f32 %49 #s(literal 4 binary32) %84)
(fma.f32 %49 #s(literal 4 binary32) #s(literal -1 binary32))
(fma.f32 %51 #s(literal 1/4 binary32) %563)
(fma.f32 %51 #s(literal 1/4 binary32) %926)
(fma.f32 %51 #s(literal 1/4 binary32) %929)
(fma.f32 %51 #s(literal 1/4 binary32) %84)
(fma.f32 %51 #s(literal 1/4 binary32) #s(literal -1 binary32))
(fma.f32 %54 %55 %563)
(fma.f32 %54 %55 %926)
(fma.f32 %54 %55 %929)
(fma.f32 %54 %55 %84)
(fma.f32 %54 %55 #s(literal -1 binary32))
(fma.f32 %54 %588 %382)
(fma.f32 %57 %58 %563)
(fma.f32 %57 %58 %926)
(fma.f32 %57 %58 %929)
(fma.f32 %57 %58 %84)
(fma.f32 %57 %58 #s(literal -1 binary32))
(fma.f32 %57 %590 %382)
(fma.f32 %60 %566 %382)
(fma.f32 %60 %61 %563)
(fma.f32 %60 %61 %926)
(fma.f32 %60 %61 %929)
(fma.f32 %60 %61 %84)
(fma.f32 %60 %61 #s(literal -1 binary32))
(fma.f32 %63 #s(literal -2 binary32) %563)
(fma.f32 %63 #s(literal -2 binary32) %926)
(fma.f32 %63 #s(literal -2 binary32) %929)
(fma.f32 %63 #s(literal -2 binary32) %84)
(fma.f32 %63 #s(literal -2 binary32) #s(literal -1 binary32))
(fma.f32 %593 %588 %382)
(fma.f32 %66 #s(literal 1/2 binary32) %563)
(fma.f32 %66 #s(literal 1/2 binary32) %926)
(fma.f32 %66 #s(literal 1/2 binary32) %929)
(fma.f32 %66 #s(literal 1/2 binary32) %84)
(fma.f32 %66 #s(literal 1/2 binary32) #s(literal -1 binary32))
(fma.f32 %68 %69 %563)
(fma.f32 %68 %69 %926)
(fma.f32 %68 %69 %929)
(fma.f32 %68 %69 %84)
(fma.f32 %68 %69 #s(literal -1 binary32))
(fma.f32 %68 %595 %382)
(fma.f32 %68 %597 %382)
(fma.f32 %68 %599 %382)
(fma.f32 %568 %566 %382)
(fma.f32 %71 %72 %563)
(fma.f32 %71 %72 %926)
(fma.f32 %71 %72 %929)
(fma.f32 %71 %72 %84)
(fma.f32 %71 %72 #s(literal -1 binary32))
(fma.f32 %71 #s(literal 2 binary32) %563)
(fma.f32 %71 #s(literal 2 binary32) %926)
(fma.f32 %71 #s(literal 2 binary32) %929)
(fma.f32 %71 #s(literal 2 binary32) %84)
(fma.f32 %71 #s(literal 2 binary32) #s(literal -1 binary32))
(fma.f32 %75 %76 %563)
(fma.f32 %75 %76 %926)
(fma.f32 %75 %76 %929)
(fma.f32 %75 %76 %84)
(fma.f32 %75 %76 #s(literal -1 binary32))
(fma.f32 %75 %602 %382)
(fma.f32 %75 %604 %382)
(fma.f32 %78 ux %563)
(fma.f32 %78 ux %926)
(fma.f32 %78 ux %929)
(fma.f32 %78 ux %84)
(fma.f32 %78 ux #s(literal -1 binary32))
(fma.f32 %80 #s(literal 1 binary32) %563)
(fma.f32 %80 #s(literal 1 binary32) %926)
(fma.f32 %80 #s(literal 1 binary32) %929)
(fma.f32 %80 #s(literal 1 binary32) %84)
(fma.f32 %80 #s(literal 1 binary32) #s(literal -1 binary32))
(fma.f32 %82 #s(literal 4 binary32) %563)
(fma.f32 %82 #s(literal 4 binary32) %926)
(fma.f32 %82 #s(literal 4 binary32) %929)
(fma.f32 %82 #s(literal 4 binary32) %84)
(fma.f32 %82 #s(literal 4 binary32) #s(literal -1 binary32))
(fma.f32 %82 #s(literal 2 binary32) %901)
(fma.f32 %82 #s(literal 2 binary32) %905)
(fma.f32 %563 %562 %382)
(fma.f32 %84 %562 %382)
(fma.f32 %84 %85 %563)
(fma.f32 %84 %85 %926)
(fma.f32 %84 %85 %929)
(fma.f32 %84 %85 %84)
(fma.f32 %84 %85 #s(literal -1 binary32))
(fma.f32 #s(literal -1/4 binary32) %88 %563)
(fma.f32 #s(literal -1/4 binary32) %88 %926)
(fma.f32 #s(literal -1/4 binary32) %88 %929)
(fma.f32 #s(literal -1/4 binary32) %88 %84)
(fma.f32 #s(literal -1/4 binary32) %88 #s(literal -1 binary32))
(fma.f32 #s(literal -1/4 binary32) %91 %563)
(fma.f32 #s(literal -1/4 binary32) %91 %926)
(fma.f32 #s(literal -1/4 binary32) %91 %929)
(fma.f32 #s(literal -1/4 binary32) %91 %84)
(fma.f32 #s(literal -1/4 binary32) %91 #s(literal -1 binary32))
(fma.f32 #s(literal -1/4 binary32) %94 %563)
(fma.f32 #s(literal -1/4 binary32) %94 %926)
(fma.f32 #s(literal -1/4 binary32) %94 %929)
(fma.f32 #s(literal -1/4 binary32) %94 %84)
(fma.f32 #s(literal -1/4 binary32) %94 #s(literal -1 binary32))
(fma.f32 #s(literal -1/4 binary32) %151 %901)
(fma.f32 #s(literal -1/4 binary32) %151 %905)
(fma.f32 #s(literal -4 binary32) %96 %563)
(fma.f32 #s(literal -4 binary32) %96 %926)
(fma.f32 #s(literal -4 binary32) %96 %929)
(fma.f32 #s(literal -4 binary32) %96 %84)
(fma.f32 #s(literal -4 binary32) %96 #s(literal -1 binary32))
(fma.f32 #s(literal -4 binary32) %99 %563)
(fma.f32 #s(literal -4 binary32) %99 %926)
(fma.f32 #s(literal -4 binary32) %99 %929)
(fma.f32 #s(literal -4 binary32) %99 %84)
(fma.f32 #s(literal -4 binary32) %99 #s(literal -1 binary32))
(fma.f32 #s(literal 1/8 binary32) %102 %563)
(fma.f32 #s(literal 1/8 binary32) %102 %926)
(fma.f32 #s(literal 1/8 binary32) %102 %929)
(fma.f32 #s(literal 1/8 binary32) %102 %84)
(fma.f32 #s(literal 1/8 binary32) %102 #s(literal -1 binary32))
(fma.f32 %104 #s(literal -1/2 binary32) %563)
(fma.f32 %104 #s(literal -1/2 binary32) %926)
(fma.f32 %104 #s(literal -1/2 binary32) %929)
(fma.f32 %104 #s(literal -1/2 binary32) %84)
(fma.f32 %104 #s(literal -1/2 binary32) #s(literal -1 binary32))
(fma.f32 #s(literal 1/4 binary32) %106 %563)
(fma.f32 #s(literal 1/4 binary32) %106 %926)
(fma.f32 #s(literal 1/4 binary32) %106 %929)
(fma.f32 #s(literal 1/4 binary32) %106 %84)
(fma.f32 #s(literal 1/4 binary32) %106 #s(literal -1 binary32))
(fma.f32 #s(literal 1/4 binary32) %108 %563)
(fma.f32 #s(literal 1/4 binary32) %108 %926)
(fma.f32 #s(literal 1/4 binary32) %108 %929)
(fma.f32 #s(literal 1/4 binary32) %108 %84)
(fma.f32 #s(literal 1/4 binary32) %108 #s(literal -1 binary32))
(fma.f32 #s(literal 1/4 binary32) %110 %563)
(fma.f32 #s(literal 1/4 binary32) %110 %926)
(fma.f32 #s(literal 1/4 binary32) %110 %929)
(fma.f32 #s(literal 1/4 binary32) %110 %84)
(fma.f32 #s(literal 1/4 binary32) %110 #s(literal -1 binary32))
(fma.f32 #s(literal 1/4 binary32) %154 %901)
(fma.f32 #s(literal 1/4 binary32) %154 %905)
(fma.f32 #s(literal 1/4 binary32) %156 %901)
(fma.f32 #s(literal 1/4 binary32) %156 %905)
(fma.f32 #s(literal 1/4 binary32) %158 %901)
(fma.f32 #s(literal 1/4 binary32) %158 %905)
(fma.f32 #s(literal 1/4 binary32) %51 %563)
(fma.f32 #s(literal 1/4 binary32) %51 %926)
(fma.f32 #s(literal 1/4 binary32) %51 %929)
(fma.f32 #s(literal 1/4 binary32) %51 %84)
(fma.f32 #s(literal 1/4 binary32) %51 #s(literal -1 binary32))
(fma.f32 %113 #s(literal 1/2 binary32) %563)
(fma.f32 %113 #s(literal 1/2 binary32) %926)
(fma.f32 %113 #s(literal 1/2 binary32) %929)
(fma.f32 %113 #s(literal 1/2 binary32) %84)
(fma.f32 %113 #s(literal 1/2 binary32) #s(literal -1 binary32))
(fma.f32 %115 #s(literal -2 binary32) %563)
(fma.f32 %115 #s(literal -2 binary32) %926)
(fma.f32 %115 #s(literal -2 binary32) %929)
(fma.f32 %115 #s(literal -2 binary32) %84)
(fma.f32 %115 #s(literal -2 binary32) #s(literal -1 binary32))
(fma.f32 %115 #s(literal -1 binary32) %901)
(fma.f32 %115 #s(literal -1 binary32) %905)
(fma.f32 #s(literal 8 binary32) %118 %563)
(fma.f32 #s(literal 8 binary32) %118 %926)
(fma.f32 #s(literal 8 binary32) %118 %929)
(fma.f32 #s(literal 8 binary32) %118 %84)
(fma.f32 #s(literal 8 binary32) %118 #s(literal -1 binary32))
(fma.f32 #s(literal 4 binary32) %120 %563)
(fma.f32 #s(literal 4 binary32) %120 %926)
(fma.f32 #s(literal 4 binary32) %120 %929)
(fma.f32 #s(literal 4 binary32) %120 %84)
(fma.f32 #s(literal 4 binary32) %120 #s(literal -1 binary32))
(fma.f32 #s(literal 4 binary32) %49 %563)
(fma.f32 #s(literal 4 binary32) %49 %926)
(fma.f32 #s(literal 4 binary32) %49 %929)
(fma.f32 #s(literal 4 binary32) %49 %84)
(fma.f32 #s(literal 4 binary32) %49 #s(literal -1 binary32))
(fma.f32 #s(literal 4 binary32) %123 %563)
(fma.f32 #s(literal 4 binary32) %123 %926)
(fma.f32 #s(literal 4 binary32) %123 %929)
(fma.f32 #s(literal 4 binary32) %123 %84)
(fma.f32 #s(literal 4 binary32) %123 #s(literal -1 binary32))
(fma.f32 #s(literal 4 binary32) %125 %563)
(fma.f32 #s(literal 4 binary32) %125 %926)
(fma.f32 #s(literal 4 binary32) %125 %929)
(fma.f32 #s(literal 4 binary32) %125 %84)
(fma.f32 #s(literal 4 binary32) %125 #s(literal -1 binary32))
(fma.f32 %34 %608 %382)
(fma.f32 %34 #s(literal 2 binary32) %563)
(fma.f32 %34 #s(literal 2 binary32) %926)
(fma.f32 %34 #s(literal 2 binary32) %929)
(fma.f32 %34 #s(literal 2 binary32) %84)
(fma.f32 %34 #s(literal 2 binary32) #s(literal -1 binary32))
(fma.f32 %34 #s(literal 1 binary32) %901)
(fma.f32 %34 #s(literal 1 binary32) %905)
(fma.f32 #s(literal -2 binary32) %128 %563)
(fma.f32 #s(literal -2 binary32) %128 %926)
(fma.f32 #s(literal -2 binary32) %128 %929)
(fma.f32 #s(literal -2 binary32) %128 %84)
(fma.f32 #s(literal -2 binary32) %128 #s(literal -1 binary32))
(fma.f32 #s(literal -2 binary32) %115 %563)
(fma.f32 #s(literal -2 binary32) %115 %926)
(fma.f32 #s(literal -2 binary32) %115 %929)
(fma.f32 #s(literal -2 binary32) %115 %84)
(fma.f32 #s(literal -2 binary32) %115 #s(literal -1 binary32))
(fma.f32 %7 %610 %382)
(fma.f32 %7 %131 %563)
(fma.f32 %7 %131 %926)
(fma.f32 %7 %131 %929)
(fma.f32 %7 %131 %84)
(fma.f32 %7 %131 #s(literal -1 binary32))
(fma.f32 %7 #s(literal -1 binary32) %563)
(fma.f32 %7 #s(literal -1 binary32) %926)
(fma.f32 %7 #s(literal -1 binary32) %929)
(fma.f32 %7 #s(literal -1 binary32) %84)
(fma.f32 %7 #s(literal -1 binary32) #s(literal -1 binary32))
(fma.f32 #s(literal 2 binary32) %134 %563)
(fma.f32 #s(literal 2 binary32) %134 %926)
(fma.f32 #s(literal 2 binary32) %134 %929)
(fma.f32 #s(literal 2 binary32) %134 %84)
(fma.f32 #s(literal 2 binary32) %134 #s(literal -1 binary32))
(fma.f32 #s(literal 2 binary32) %612 %382)
(fma.f32 #s(literal 2 binary32) %614 %382)
(fma.f32 #s(literal 2 binary32) %71 %563)
(fma.f32 #s(literal 2 binary32) %71 %926)
(fma.f32 #s(literal 2 binary32) %71 %929)
(fma.f32 #s(literal 2 binary32) %71 %84)
(fma.f32 #s(literal 2 binary32) %71 #s(literal -1 binary32))
(fma.f32 #s(literal 2 binary32) %125 %901)
(fma.f32 #s(literal 2 binary32) %125 %905)
(fma.f32 #s(literal 2 binary32) %616 %382)
(fma.f32 #s(literal 2 binary32) %618 %382)
(fma.f32 #s(literal 2 binary32) %620 %382)
(fma.f32 #s(literal 2 binary32) %34 %563)
(fma.f32 #s(literal 2 binary32) %34 %926)
(fma.f32 #s(literal 2 binary32) %34 %929)
(fma.f32 #s(literal 2 binary32) %34 %84)
(fma.f32 #s(literal 2 binary32) %34 #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) %138 %563)
(fma.f32 #s(literal -1 binary32) %138 %926)
(fma.f32 #s(literal -1 binary32) %138 %929)
(fma.f32 #s(literal -1 binary32) %138 %84)
(fma.f32 #s(literal -1 binary32) %138 #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) %140 %563)
(fma.f32 #s(literal -1 binary32) %140 %926)
(fma.f32 #s(literal -1 binary32) %140 %929)
(fma.f32 #s(literal -1 binary32) %140 %84)
(fma.f32 #s(literal -1 binary32) %140 #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) %142 %563)
(fma.f32 #s(literal -1 binary32) %142 %926)
(fma.f32 #s(literal -1 binary32) %142 %929)
(fma.f32 #s(literal -1 binary32) %142 %84)
(fma.f32 #s(literal -1 binary32) %142 #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) %7 %563)
(fma.f32 #s(literal -1 binary32) %7 %926)
(fma.f32 #s(literal -1 binary32) %7 %929)
(fma.f32 #s(literal -1 binary32) %7 %84)
(fma.f32 #s(literal -1 binary32) %7 #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) %542 %382)
(fma.f32 #s(literal -1/2 binary32) %145 %563)
(fma.f32 #s(literal -1/2 binary32) %145 %926)
(fma.f32 #s(literal -1/2 binary32) %145 %929)
(fma.f32 #s(literal -1/2 binary32) %145 %84)
(fma.f32 #s(literal -1/2 binary32) %145 #s(literal -1 binary32))
(fma.f32 #s(literal -1/2 binary32) %623 %382)
(fma.f32 #s(literal -1/2 binary32) %147 %563)
(fma.f32 #s(literal -1/2 binary32) %147 %926)
(fma.f32 #s(literal -1/2 binary32) %147 %929)
(fma.f32 #s(literal -1/2 binary32) %147 %84)
(fma.f32 #s(literal -1/2 binary32) %147 #s(literal -1 binary32))
(fma.f32 #s(literal -1/2 binary32) %149 %563)
(fma.f32 #s(literal -1/2 binary32) %149 %926)
(fma.f32 #s(literal -1/2 binary32) %149 %929)
(fma.f32 #s(literal -1/2 binary32) %149 %84)
(fma.f32 #s(literal -1/2 binary32) %149 #s(literal -1 binary32))
(fma.f32 #s(literal -1/2 binary32) %151 %563)
(fma.f32 #s(literal -1/2 binary32) %151 %926)
(fma.f32 #s(literal -1/2 binary32) %151 %929)
(fma.f32 #s(literal -1/2 binary32) %151 %84)
(fma.f32 #s(literal -1/2 binary32) %151 #s(literal -1 binary32))
(fma.f32 #s(literal -1/2 binary32) %104 %563)
(fma.f32 #s(literal -1/2 binary32) %104 %926)
(fma.f32 #s(literal -1/2 binary32) %104 %929)
(fma.f32 #s(literal -1/2 binary32) %104 %84)
(fma.f32 #s(literal -1/2 binary32) %104 #s(literal -1 binary32))
(fma.f32 #s(literal -1/2 binary32) %7 %901)
(fma.f32 #s(literal -1/2 binary32) %7 %905)
(fma.f32 #s(literal 1/2 binary32) %625 %382)
(fma.f32 #s(literal 1/2 binary32) %627 %382)
(fma.f32 #s(literal 1/2 binary32) %629 %382)
(fma.f32 #s(literal 1/2 binary32) %631 %382)
(fma.f32 #s(literal 1/2 binary32) %163 %901)
(fma.f32 #s(literal 1/2 binary32) %163 %905)
(fma.f32 #s(literal 1/2 binary32) %154 %563)
(fma.f32 #s(literal 1/2 binary32) %154 %926)
(fma.f32 #s(literal 1/2 binary32) %154 %929)
(fma.f32 #s(literal 1/2 binary32) %154 %84)
(fma.f32 #s(literal 1/2 binary32) %154 #s(literal -1 binary32))
(fma.f32 #s(literal 1/2 binary32) %156 %563)
(fma.f32 #s(literal 1/2 binary32) %156 %926)
(fma.f32 #s(literal 1/2 binary32) %156 %929)
(fma.f32 #s(literal 1/2 binary32) %156 %84)
(fma.f32 #s(literal 1/2 binary32) %156 #s(literal -1 binary32))
(fma.f32 #s(literal 1/2 binary32) %158 %563)
(fma.f32 #s(literal 1/2 binary32) %158 %926)
(fma.f32 #s(literal 1/2 binary32) %158 %929)
(fma.f32 #s(literal 1/2 binary32) %158 %84)
(fma.f32 #s(literal 1/2 binary32) %158 #s(literal -1 binary32))
(fma.f32 #s(literal 1/2 binary32) %113 %563)
(fma.f32 #s(literal 1/2 binary32) %113 %926)
(fma.f32 #s(literal 1/2 binary32) %113 %929)
(fma.f32 #s(literal 1/2 binary32) %113 %84)
(fma.f32 #s(literal 1/2 binary32) %113 #s(literal -1 binary32))
(fma.f32 #s(literal 1/2 binary32) %65 %901)
(fma.f32 #s(literal 1/2 binary32) %65 %905)
(fma.f32 %65 %633 %382)
(fma.f32 %65 %635 %382)
(fma.f32 %65 #s(literal 1/2 binary32) %901)
(fma.f32 %65 #s(literal 1/2 binary32) %905)
(fma.f32 %65 #s(literal 1 binary32) %563)
(fma.f32 %65 #s(literal 1 binary32) %926)
(fma.f32 %65 #s(literal 1 binary32) %929)
(fma.f32 %65 #s(literal 1 binary32) %84)
(fma.f32 %65 #s(literal 1 binary32) #s(literal -1 binary32))
(fma.f32 ux %572 %382)
(fma.f32 ux %582 %382)
(fma.f32 ux %78 %563)
(fma.f32 ux %78 %926)
(fma.f32 ux %78 %929)
(fma.f32 ux %78 %84)
(fma.f32 ux %78 #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) %570 %382)
(fma.f32 #s(literal 1 binary32) %580 %382)
(fma.f32 #s(literal 1 binary32) %163 %563)
(fma.f32 #s(literal 1 binary32) %163 %926)
(fma.f32 #s(literal 1 binary32) %163 %929)
(fma.f32 #s(literal 1 binary32) %163 %84)
(fma.f32 #s(literal 1 binary32) %163 #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) %165 %563)
(fma.f32 #s(literal 1 binary32) %165 %926)
(fma.f32 #s(literal 1 binary32) %165 %929)
(fma.f32 #s(literal 1 binary32) %165 %84)
(fma.f32 #s(literal 1 binary32) %165 #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) %167 %563)
(fma.f32 #s(literal 1 binary32) %167 %926)
(fma.f32 #s(literal 1 binary32) %167 %929)
(fma.f32 #s(literal 1 binary32) %167 %84)
(fma.f32 #s(literal 1 binary32) %167 #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) %80 %563)
(fma.f32 #s(literal 1 binary32) %80 %926)
(fma.f32 #s(literal 1 binary32) %80 %929)
(fma.f32 #s(literal 1 binary32) %80 %84)
(fma.f32 #s(literal 1 binary32) %80 #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) %34 %901)
(fma.f32 #s(literal 1 binary32) %34 %905)
(fma.f32 #s(literal 1 binary32) %575 %382)
(fma.f32 #s(literal 1 binary32) %65 %563)
(fma.f32 #s(literal 1 binary32) %65 %926)
(fma.f32 #s(literal 1 binary32) %65 %929)
(fma.f32 #s(literal 1 binary32) %65 %84)
(fma.f32 #s(literal 1 binary32) %65 #s(literal -1 binary32))
(pow.f32 %575 #s(literal 1 binary32))
(+.f32 (/.f32 %290 %53) %65)
(+.f32 %901 %34)
(+.f32 %563 %65)
(+.f32 %905 %34)
(+.f32 %84 %65)
(+.f32 %34 %901)
(+.f32 %34 %905)
(+.f32 #s(literal -1 binary32) %65)
(+.f32 %575 %382)
(+.f32 %65 %563)
(+.f32 %65 %926)
(+.f32 %65 %929)
(+.f32 %65 %84)
(+.f32 %65 #s(literal -1 binary32))
(neg.f32 %542)
%1370
%1371
%1372
%1373
%1374
%1377
%1379
%1381
%1382
%1384
%1386
%1388
%1390
%1392
%1394
%1396
%1398
%1400
%1402
%1404
%1406
%1408
%1410
%1412
%1414
%1416
%1418
%1420
%1422
%1424
%1426
%1428
%1430
%1432
%1434
%1436
%1438
%1440
%1442
%1444
%1446
%1448
%1450
%1452
%1454
%1456
%1458
%1460
%1462
%1464
%1466
%1468
%1470
%1472
%1474
%1476
%1478
%1479
%1480
%1482
%1484
%1486
%1487
%1488
%1489
%1490
%574
%1491
%1492
%1494
%1495
%1496
%1497
%1498
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
%1513
%1514
%1515
%1516
%1517
%1518
%1519
%1520
%1521
(*.f32 #s(literal 1 binary32) %1522)
(/.f32 #s(literal 1 binary32) (pow.f32 %1522 %8))
(/.f32 #s(literal 1 binary32) (pow.f32 %1522 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %1522 #s(literal -1 binary32)))
%1522
(pow.f32 %1522 #s(literal 1 binary32))
#s(literal 1/2 binary32)
(*.f32 #s(literal 1 binary32) %904)
(/.f32 (fma.f32 #s(literal 2 binary32) %53 #s(literal 1 binary32)) #s(literal 2 binary32))
(/.f32 (+.f32 #s(literal 1 binary32) %98) #s(literal 2 binary32))
(/.f32 (-.f32 #s(literal 1 binary32) %39) #s(literal 2 binary32))
(/.f32 (fma.f32 %98 #s(literal 2 binary32) #s(literal 2 binary32)) #s(literal 4 binary32))
(/.f32 (+.f32 #s(literal 2 binary32) %265) #s(literal 4 binary32))
(/.f32 (-.f32 #s(literal 2 binary32) %327) #s(literal 4 binary32))
(/.f32 #s(literal 1 binary32) (pow.f32 %904 %8))
(/.f32 #s(literal 1 binary32) (pow.f32 %904 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %904 #s(literal -1 binary32)))
(-.f32 %53 #s(literal -1/2 binary32))
%904
(fma.f32 %19 #s(literal 1/2 binary32) #s(literal 1/2 binary32))
(fma.f32 %24 #s(literal -1/2 binary32) #s(literal 1/2 binary32))
(fma.f32 #s(literal 4 binary32) %1493 #s(literal 1/2 binary32))
(fma.f32 #s(literal -2 binary32) %35 #s(literal 1/2 binary32))
(fma.f32 #s(literal 2 binary32) %54 #s(literal 1/2 binary32))
(fma.f32 #s(literal 2 binary32) %90 #s(literal 1/2 binary32))
(fma.f32 #s(literal 2 binary32) %93 #s(literal 1/2 binary32))
(fma.f32 %53 #s(literal 1 binary32) #s(literal 1/2 binary32))
(fma.f32 #s(literal -1 binary32) ux #s(literal 1/2 binary32))
(fma.f32 #s(literal 1/2 binary32) %98 #s(literal 1/2 binary32))
(fma.f32 ux #s(literal -1 binary32) #s(literal 1/2 binary32))
(fma.f32 #s(literal 1 binary32) %60 #s(literal 1/2 binary32))
(fma.f32 #s(literal 1 binary32) %53 #s(literal 1/2 binary32))
(pow.f32 %904 #s(literal 1 binary32))
(+.f32 %53 #s(literal 1/2 binary32))
(+.f32 #s(literal 1/2 binary32) %53)
(neg.f32 %900)
#s(literal -1/2 binary32)
%1370
%1371
%1372
%1373
%1374
%1377
%1379
%1381
%1382
%1384
%1386
%1388
%1390
%1392
%1394
%1396
%1398
%1400
%1402
%1404
%1406
%1408
%1410
%1412
%1414
%1416
%1418
%1420
%1422
%1424
%1426
%1428
%1430
%1432
%1434
%1436
%1438
%1440
%1442
%1444
%1446
%1448
%1450
%1452
%1454
%1456
%1458
%1460
%1462
%1464
%1466
%1468
%1470
%1472
%1474
%1476
%1478
%1479
%1480
%1482
%1484
%1486
%1487
%1488
%1489
%1490
%574
%1491
%1492
%1494
%1495
%1496
%1497
%1498
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
%1513
%1514
%1515
%1516
%1517
%1518
%1519
%1520
%1521
(*.f32 #s(literal 1 binary32) %1573)
(/.f32 #s(literal 1 binary32) (pow.f32 %1573 %8))
(/.f32 #s(literal 1 binary32) (pow.f32 %1573 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %1573 #s(literal -1 binary32)))
%1573
(pow.f32 %1573 #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) %1582)
(/.f32 #s(literal 1 binary32) (pow.f32 %1582 %8))
(/.f32 #s(literal 1 binary32) (pow.f32 %1582 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %1582 #s(literal -1 binary32)))
%1582
(pow.f32 %1582 #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) %1591)
(/.f32 #s(literal 1 binary32) (pow.f32 %1591 %8))
(/.f32 #s(literal 1 binary32) (pow.f32 %1591 %11))
(/.f32 #s(literal 1 binary32) (pow.f32 %1591 #s(literal -1 binary32)))
%1591
(pow.f32 %1591 #s(literal 1 binary32))

reconstruct5.0ms (0.5%)

Memory
12.2MiB live, 12.2MiB allocated; 0ms collecting garbage

eval74.0ms (6.6%)

Memory
-3.8MiB live, 120.8MiB allocated; 14ms collecting garbage
Compiler

Compiled 15 174 to 2 914 computations (80.8% saved)

prune23.0ms (2.0%)

Memory
-1.3MiB live, 34.0MiB allocated; 8ms collecting garbage
Pruning

7 alts after pruning (0 fresh and 7 done)

PrunedKeptTotal
New1 23101 231
Fresh000
Picked033
Done044
Total1 23171 238
Accuracy
100.0%
Counts
1 238 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
✓99.9%
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
✓100.0%
(-.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal -1 binary32))
✓98.2%
(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (-.f32 #s(literal 1/2 binary32) ux) #s(literal -1/2 binary32)))
✓98.7%
(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
✓97.7%
%2 = (- 1 ux)
(approx (+ %2 (* ux maxCos)) (approx %2 (*.f32 ux (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
✓71.2%
%2 = (- 1 ux)
(approx (+ %2 (* ux maxCos)) (approx %2 #s(literal 1 binary32)))
Compiler

Compiled 35 to 18 computations (48.6% saved)

regimes53.0ms (4.8%)

Memory
1.3MiB live, 63.2MiB allocated; 3ms collecting garbage
Counts
1 → 1
4 → 1
5 → 1
7 → 1
10 → 1
Calls
Call 1
Inputs
%2 = (- 1 ux)
(approx (+ %2 (* ux maxCos)) (approx %2 #s(literal 1 binary32)))
Outputs
%2 = (- 1 ux)
(approx (+ %2 (* ux maxCos)) (approx %2 #s(literal 1 binary32)))
Call 2
Inputs
%2 = (- 1 ux)
%5 = (+ %2 (* ux maxCos))
%7 = (approx %2 #s(literal 1 binary32))
(approx %5 %7)
(approx %5 (-.f32 #s(literal 1 binary32) ux))
(approx %5 (-.f32 (-.f32 #s(literal 1/2 binary32) ux) #s(literal -1/2 binary32)))
(+.f32 %7 (*.f32 ux maxCos))
Outputs
(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
Call 3
Inputs
%2 = (- 1 ux)
%5 = (+ %2 (* ux maxCos))
%7 = (approx %2 #s(literal 1 binary32))
(approx %5 %7)
(approx %5 (-.f32 #s(literal 1 binary32) ux))
(approx %5 (-.f32 (-.f32 #s(literal 1/2 binary32) ux) #s(literal -1/2 binary32)))
(+.f32 %7 (*.f32 ux maxCos))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
Outputs
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
Call 4
Inputs
%2 = (- 1 ux)
%5 = (+ %2 (* ux maxCos))
%7 = (approx %2 #s(literal 1 binary32))
%9 = (-.f32 #s(literal 1 binary32) ux)
%16 = (*.f32 ux maxCos)
(approx %5 %7)
(approx %5 %9)
(approx %5 (-.f32 (-.f32 #s(literal 1/2 binary32) ux) #s(literal -1/2 binary32)))
(+.f32 %7 %16)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(fma.f32 ux maxCos %9)
(+.f32 %9 %16)
Outputs
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
Call 5
Inputs
%2 = (- 1 ux)
%5 = (+ %2 (* ux maxCos))
%7 = (approx %2 #s(literal 1 binary32))
%9 = (-.f32 #s(literal 1 binary32) ux)
%16 = (*.f32 ux maxCos)
%26 = (/.f32 #s(literal 1 binary32) ux)
(approx %5 %7)
(approx %5 %9)
(approx %5 (-.f32 (-.f32 #s(literal 1/2 binary32) ux) #s(literal -1/2 binary32)))
(+.f32 %7 %16)
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(fma.f32 ux maxCos %9)
(+.f32 %9 %16)
(-.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal -1 binary32))
(approx %5 (approx %2 (*.f32 ux (-.f32 %26 #s(literal 1 binary32)))))
(approx %5 (*.f32 ux (-.f32 (+.f32 maxCos %26) #s(literal 1 binary32))))
Outputs
(-.f32 (-.f32 (*.f32 maxCos ux) ux) #s(literal -1 binary32))
Calls

20 calls:

5.0ms
uy
4.0ms
maxCos
3.0ms
ux
3.0ms
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
3.0ms
maxCos
Results
AccuracySegmentsBranch
71.2%1
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
71.2%1
ux
71.2%1
uy
71.2%1
maxCos
98.7%1
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
98.7%1
ux
98.7%1
uy
98.7%1
maxCos
99.9%1
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
99.9%1
ux
99.9%1
uy
99.9%1
maxCos
99.9%1
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
99.9%1
ux
99.9%1
uy
99.9%1
maxCos
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 66 to 31 computations (53.0% saved)

derivations48.0ms (4.3%)

Memory
-19.6MiB live, 11.3MiB allocated; 1ms collecting garbage
Stop Event
1×done
Compiler

Compiled 23 to 11 computations (52.2% saved)

preprocess22.0ms (1.9%)

Memory
1.7MiB live, 35.2MiB allocated; 5ms collecting garbage
Compiler

Compiled 76 to 57 computations (25.0% saved)

end0.0ms (0.0%)

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

Profiling

Loading profile data...