Graphics.Rendering.Chart.Axis.Types:hBufferRect from Chart-1.5.3

Time bar (total: 1.8s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
100.0%99.9%0.0%0.1%0.0%0.0%0.0%1
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample350.0ms (19.6%)

Samples
245.0ms7 619×0valid
15.0ms288×1valid
8.0ms142×3valid
8.0ms207×2valid
Precisions
Click to see histograms. Total time spent on operations: 13.0ms
Div: 6.0ms (44.4% of total, 0.0 MiB)
Sub: 4.0ms (29.6% of total, 0.0 MiB)
Add: 3.0ms (22.2% of total, 0.0 MiB)
adjust: 1.0ms (7.4% of total, 0.0 MiB)
Bogosity

preprocess24.0ms (1.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01946
111142
241742
3177942
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.8%
(+.f64 x (/.f64 (-.f64 x y) #s(literal 2 binary64)))
Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series11.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
087311
Stop Event
1×iter-limit
Counts
6 → 25
Calls
Call 1
Inputs
%2 = (-.f64 x y)
%4 = (/.f64 %2 #s(literal 2 binary64))
x
y
%2
#s(literal 2 binary64)
%4
(+.f64 x %4)
Outputs
%5 = (- x y)
%7 = (*.f64 #s(literal -1 binary64) y)
%12 = (/ %5 2)
%17 = (*.f64 #s(literal 1/2 binary64) x)
%18 = (fma.f64 #s(literal -1/2 binary64) y %17)
%20 = (+ x %12)
%22 = (*.f64 #s(literal 3/2 binary64) x)
%26 = (/.f64 y x)
%32 = (*.f64 #s(literal -1/2 binary64) %26)
%44 = (*.f64 #s(literal 1/2 binary64) %26)
%56 = (+.f64 x %17)
%60 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %5 (-.f64 x y))
(approx %12 (*.f64 #s(literal -1/2 binary64) y))
(approx %12 %18)
(approx %20 (fma.f64 #s(literal -1/2 binary64) y %22))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %26))))
(approx %12 %17)
(approx %12 (*.f64 x (+.f64 #s(literal 1/2 binary64) %32)))
(approx %20 %22)
(approx %20 (*.f64 x (+.f64 #s(literal 3/2 binary64) %32)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %26 #s(literal 1 binary64)))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %44 #s(literal 1/2 binary64)))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %44 #s(literal 3/2 binary64)))))
(approx y y)
(approx %5 (+.f64 x %7))
(approx %20 %56)
(approx %20 (+.f64 x %18))
(approx %5 (*.f64 y (-.f64 %60 #s(literal 1 binary64))))
(approx %12 (*.f64 y (-.f64 (*.f64 #s(literal 1/2 binary64) %60) #s(literal 1/2 binary64))))
(approx %20 (*.f64 y (-.f64 (fma.f64 #s(literal 1/2 binary64) %60 %60) #s(literal 1/2 binary64))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %60)))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) %60)))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %56 y))))))
Calls
6 calls:
TimeVariablePoint
9.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
y
0
rewrite153.0ms (8.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0618
0918
14018
214718
362818
0405818
0425417
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 1 210
Calls
Call 1
Inputs
%2 = (-.f64 x y)
%4 = (/.f64 %2 #s(literal 2 binary64))
x
y
%2
#s(literal 2 binary64)
%4
(+.f64 x %4)
Outputs
%2 = (-.f64 x y)
%4 = (*.f64 %2 #s(literal 2 binary64))
%8 = (/.f64 %2 #s(literal 4 binary64))
%10 = (*.f64 #s(literal 2 binary64) %2)
%12 = (/.f64 %2 #s(literal 1/2 binary64))
%17 = (-.f64 y x)
%18 = (*.f64 #s(literal -1/2 binary64) %17)
%22 = (neg.f64 y)
%24 = (neg.f64 x)
%25 = (*.f64 %24 #s(literal 2 binary64))
%26 = (fma.f64 %22 #s(literal -2 binary64) %25)
%28 = (fma.f64 %22 #s(literal 1 binary64) x)
%30 = (*.f64 #s(literal -2 binary64) x)
%34 = (+.f64 x x)
%35 = (fma.f64 %22 #s(literal 2 binary64) %34)
%37 = (neg.f64 %10)
%46 = (*.f64 %17 #s(literal 1 binary64))
%49 = (/.f64 %24 #s(literal 1/2 binary64))
%51 = (+.f64 y y)
%52 = (-.f64 x %51)
%53 = (/.f64 %52 #s(literal 2 binary64))
%55 = (*.f64 #s(literal 1/2 binary64) x)
%56 = (/.f64 %55 #s(literal 4 binary64))
%58 = (/.f64 %34 #s(literal 1/2 binary64))
%61 = (/.f64 %55 #s(literal 1/2 binary64))
%63 = (/.f64 x #s(literal 1/2 binary64))
%66 = (/.f64 %55 #s(literal 2 binary64))
%68 = (/.f64 x #s(literal 4 binary64))
%70 = (*.f64 %24 #s(literal 1 binary64))
%74 = (*.f64 #s(literal -1 binary64) x)
%76 = (*.f64 #s(literal -1/2 binary64) x)
%78 = (neg.f64 %24)
%93 = (neg.f64 %78)
%97 = (*.f64 #s(literal 1/2 binary64) y)
%104 = (neg.f64 %51)
%107 = (*.f64 #s(literal -2 binary64) y)
%111 = (/.f64 %10 #s(literal 1/2 binary64))
%113 = (/.f64 %10 #s(literal 1 binary64))
%115 = (/.f64 %18 #s(literal 1/2 binary64))
%117 = (/.f64 %18 #s(literal 2 binary64))
%119 = (/.f64 %4 #s(literal 1/2 binary64))
%121 = (/.f64 %4 #s(literal 1 binary64))
%123 = (/.f64 %17 #s(literal 1/2 binary64))
%127 = (*.f64 %2 #s(literal -1 binary64))
%129 = (*.f64 #s(literal -1 binary64) %2)
%134 = (*.f64 %22 #s(literal -2 binary64))
%135 = (fma.f64 %24 #s(literal 2 binary64) %134)
%137 = (*.f64 #s(literal -2 binary64) %22)
%138 = (fma.f64 %24 #s(literal 2 binary64) %137)
%140 = (*.f64 #s(literal 2 binary64) %22)
%141 = (fma.f64 #s(literal 2 binary64) x %140)
%143 = (fma.f64 %24 #s(literal -2 binary64) %140)
%145 = (fma.f64 %24 #s(literal 2 binary64) %51)
%147 = (fma.f64 #s(literal -2 binary64) x %137)
%150 = (/.f64 %2 #s(literal -1 binary64))
%154 = (*.f64 #s(literal 1/2 binary64) %17)
%166 = (*.f64 #s(literal 1/2 binary64) %22)
%177 = (*.f64 y #s(literal -1/2 binary64))
%185 = (*.f64 y #s(literal -1 binary64))
%190 = (*.f64 %78 #s(literal 1 binary64))
%195 = (*.f64 %74 #s(literal 2 binary64))
%199 = (*.f64 %78 #s(literal 2 binary64))
%203 = (*.f64 %74 #s(literal -2 binary64))
%206 = (*.f64 %78 #s(literal -2 binary64))
%209 = (*.f64 %24 #s(literal -2 binary64))
%214 = (*.f64 %177 #s(literal -2 binary64))
%219 = (*.f64 y #s(literal -2 binary64))
%222 = (*.f64 %177 #s(literal 2 binary64))
%225 = (*.f64 %22 #s(literal 2 binary64))
%235 = (*.f64 y #s(literal 1 binary64))
%273 = (*.f64 #s(literal -2 binary64) %177)
%280 = (*.f64 #s(literal 2 binary64) %177)
%294 = (*.f64 #s(literal 1 binary64) %22)
%297 = (*.f64 #s(literal 1 binary64) y)
%304 = (*.f64 %34 #s(literal 4 binary64))
%315 = (*.f64 #s(literal -2 binary64) %185)
%318 = (*.f64 #s(literal -2 binary64) %235)
%323 = (*.f64 #s(literal -2 binary64) %97)
%328 = (*.f64 #s(literal 2 binary64) %185)
%331 = (*.f64 #s(literal 2 binary64) %235)
%336 = (*.f64 #s(literal 2 binary64) %97)
%363 = (*.f64 #s(literal -2 binary64) %127)
%365 = (*.f64 #s(literal -2 binary64) %129)
%367 = (*.f64 #s(literal -2 binary64) %46)
%369 = (*.f64 #s(literal -2 binary64) %135)
%372 = (*.f64 #s(literal -2 binary64) %138)
%374 = (*.f64 #s(literal -2 binary64) %141)
%377 = (*.f64 #s(literal -2 binary64) %143)
%379 = (*.f64 #s(literal -2 binary64) %145)
%381 = (*.f64 #s(literal -2 binary64) %147)
%383 = (*.f64 #s(literal -2 binary64) %37)
%385 = (*.f64 #s(literal -2 binary64) %10)
%387 = (*.f64 #s(literal -2 binary64) %17)
%389 = (*.f64 #s(literal -2 binary64) %18)
%391 = (*.f64 #s(literal -2 binary64) %2)
%393 = (*.f64 #s(literal 1 binary64) %127)
%395 = (*.f64 #s(literal 1 binary64) %129)
%397 = (*.f64 #s(literal 1 binary64) %46)
%399 = (*.f64 #s(literal 1 binary64) %135)
%401 = (*.f64 #s(literal 1 binary64) %138)
%403 = (*.f64 #s(literal 1 binary64) %141)
%405 = (*.f64 #s(literal 1 binary64) %143)
%407 = (*.f64 #s(literal 1 binary64) %145)
%409 = (*.f64 #s(literal 1 binary64) %147)
%411 = (*.f64 #s(literal 1 binary64) %37)
%413 = (*.f64 #s(literal 1 binary64) %10)
%415 = (*.f64 #s(literal 1 binary64) %17)
%417 = (*.f64 #s(literal 2 binary64) %127)
%419 = (*.f64 #s(literal 2 binary64) %129)
%421 = (*.f64 #s(literal 2 binary64) %46)
%423 = (*.f64 #s(literal 2 binary64) %135)
%425 = (*.f64 #s(literal 2 binary64) %138)
%427 = (*.f64 #s(literal 2 binary64) %141)
%429 = (*.f64 #s(literal 2 binary64) %143)
%431 = (*.f64 #s(literal 2 binary64) %145)
%433 = (*.f64 #s(literal 2 binary64) %147)
%435 = (*.f64 #s(literal 2 binary64) %37)
%437 = (*.f64 %127 #s(literal -2 binary64))
%439 = (*.f64 %127 #s(literal 1 binary64))
%441 = (*.f64 %127 #s(literal 2 binary64))
%443 = (*.f64 %129 #s(literal -2 binary64))
%445 = (*.f64 %129 #s(literal 1 binary64))
%447 = (*.f64 %129 #s(literal 2 binary64))
%449 = (*.f64 %46 #s(literal -2 binary64))
%451 = (*.f64 %46 #s(literal 1 binary64))
%453 = (*.f64 %46 #s(literal 2 binary64))
%455 = (*.f64 %135 #s(literal -2 binary64))
%457 = (*.f64 %135 #s(literal 1 binary64))
%459 = (*.f64 %135 #s(literal 2 binary64))
%461 = (*.f64 %138 #s(literal -2 binary64))
%463 = (*.f64 %138 #s(literal 1 binary64))
%465 = (*.f64 %138 #s(literal 2 binary64))
%467 = (*.f64 %141 #s(literal -2 binary64))
%469 = (*.f64 %141 #s(literal 1 binary64))
%471 = (*.f64 %141 #s(literal 2 binary64))
%473 = (*.f64 %143 #s(literal -2 binary64))
%475 = (*.f64 %143 #s(literal 1 binary64))
%477 = (*.f64 %143 #s(literal 2 binary64))
%479 = (*.f64 %145 #s(literal -2 binary64))
%481 = (*.f64 %145 #s(literal 1 binary64))
%483 = (*.f64 %145 #s(literal 2 binary64))
%485 = (*.f64 %147 #s(literal -2 binary64))
%487 = (*.f64 %147 #s(literal 1 binary64))
%489 = (*.f64 %147 #s(literal 2 binary64))
%491 = (*.f64 %37 #s(literal -2 binary64))
%493 = (*.f64 %37 #s(literal 1 binary64))
%495 = (*.f64 %37 #s(literal 2 binary64))
%497 = (*.f64 %10 #s(literal -2 binary64))
%499 = (*.f64 %10 #s(literal 1 binary64))
%501 = (*.f64 %17 #s(literal -2 binary64))
%503 = (*.f64 %18 #s(literal -2 binary64))
%505 = (*.f64 %18 #s(literal 2 binary64))
%507 = (*.f64 %2 #s(literal -2 binary64))
%528 = (*.f64 %10 #s(literal 2 binary64))
%530 = (*.f64 %17 #s(literal 2 binary64))
%534 = (*.f64 #s(literal 2 binary64) %10)
%536 = (*.f64 #s(literal 2 binary64) %17)
%541 = (fma.f64 %22 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %24))
%545 = (fma.f64 y #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %24))
%588 = (*.f64 (neg.f64 %235) #s(literal 1/2 binary64))
%590 = (*.f64 #s(literal -1/2 binary64) y)
%592 = (/.f64 %134 #s(literal -4 binary64))
%594 = (/.f64 %225 #s(literal 4 binary64))
%596 = (/.f64 %137 #s(literal -4 binary64))
%598 = (/.f64 %140 #s(literal 4 binary64))
%600 = (/.f64 %104 #s(literal 4 binary64))
%602 = (/.f64 %107 #s(literal 4 binary64))
%604 = (/.f64 %166 #s(literal 1 binary64))
%619 = (/.f64 %22 #s(literal 1/2 binary64))
%621 = (/.f64 %22 #s(literal 1 binary64))
%623 = (/.f64 y #s(literal 1/2 binary64))
%884 = (neg.f64 %55)
%915 = (*.f64 #s(literal 3 binary64) x)
%916 = (-.f64 %915 y)
%919 = (*.f64 %916 #s(literal 1 binary64))
%926 = (+.f64 y (*.f64 #s(literal -3 binary64) x))
%931 = (/.f64 %916 #s(literal 1/2 binary64))
%933 = (*.f64 %916 #s(literal -1 binary64))
%936 = (-.f64 %154 x)
%939 = (fma.f64 x #s(literal 4 binary64) %10)
%942 = (*.f64 #s(literal 3/2 binary64) x)
%943 = (fma.f64 %942 #s(literal -2 binary64) y)
%945 = (*.f64 %942 #s(literal 2 binary64))
%946 = (-.f64 %945 y)
%948 = (fma.f64 %34 #s(literal 4 binary64) %528)
%950 = (fma.f64 %34 #s(literal -2 binary64) %530)
%952 = (fma.f64 %34 #s(literal 2 binary64) %4)
%954 = (fma.f64 %34 #s(literal 2 binary64) %10)
%956 = (fma.f64 %34 #s(literal 4 binary64) %534)
%958 = (fma.f64 %34 #s(literal -2 binary64) %536)
%964 = (fma.f64 #s(literal -1/2 binary64) %17 x)
%968 = (-.f64 x %97)
%999 = (*.f64 %942 #s(literal -2 binary64))
%1007 = (*.f64 x #s(literal 4 binary64))
%1010 = (*.f64 x #s(literal -4 binary64))
%1017 = (-.f64 %30 x)
%1028 = (*.f64 %25 #s(literal -2 binary64))
%1031 = (*.f64 %30 #s(literal -2 binary64))
%1034 = (*.f64 %34 #s(literal -2 binary64))
%1049 = (*.f64 %25 #s(literal -4 binary64))
%1052 = (*.f64 %30 #s(literal -4 binary64))
%1055 = (*.f64 %34 #s(literal -4 binary64))
%1068 = (*.f64 %25 #s(literal 4 binary64))
%1071 = (*.f64 %30 #s(literal 4 binary64))
%1124 = (*.f64 %25 #s(literal 1 binary64))
%1127 = (*.f64 %30 #s(literal 1 binary64))
%1130 = (*.f64 %25 #s(literal 2 binary64))
%1133 = (*.f64 %30 #s(literal 2 binary64))
%1136 = (*.f64 %34 #s(literal 2 binary64))
%1263 = (*.f64 %17 #s(literal -1 binary64))
%1268 = (fma.f64 %97 #s(literal -2 binary64) x)
%1285 = (*.f64 #s(literal -2 binary64) %25)
%1288 = (*.f64 #s(literal -2 binary64) %30)
%1291 = (*.f64 #s(literal -2 binary64) %34)
%1312 = (*.f64 #s(literal -4 binary64) %25)
%1315 = (*.f64 #s(literal -4 binary64) %30)
%1318 = (*.f64 #s(literal -4 binary64) %34)
%1321 = (*.f64 #s(literal -4 binary64) x)
%1332 = (*.f64 #s(literal 4 binary64) %25)
%1335 = (*.f64 #s(literal 4 binary64) %30)
%1338 = (*.f64 #s(literal 4 binary64) %34)
%1341 = (*.f64 #s(literal 4 binary64) x)
%1509 = (*.f64 %1017 #s(literal -2 binary64))
%1512 = (*.f64 %1017 #s(literal 2 binary64))
%1522 = (*.f64 %915 #s(literal -2 binary64))
%1525 = (*.f64 %915 #s(literal 2 binary64))
%1535 = (*.f64 #s(literal -2 binary64) %1263)
%1540 = (*.f64 #s(literal -2 binary64) %1268)
%1543 = (*.f64 #s(literal -2 binary64) %541)
%1546 = (*.f64 #s(literal -2 binary64) %35)
%1549 = (*.f64 #s(literal -2 binary64) %545)
%1556 = (*.f64 #s(literal -2 binary64) %154)
%1705 = (/.f64 (-.f64 x %17) #s(literal 2 binary64))
%1707 = (fma.f64 y #s(literal -1/2 binary64) x)
%1713 = (/.f64 %78 #s(literal 1 binary64))
x
y
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %8)
(*.f64 %10 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %12)
(*.f64 #s(literal 1 binary64) %2)
(*.f64 #s(literal 2 binary64) %18)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 %26 #s(literal -2 binary64))
(/.f64 %28 #s(literal 1 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %30) #s(literal -2 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 %35 #s(literal 2 binary64))
(/.f64 %37 #s(literal -2 binary64))
(/.f64 %10 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %10))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(/.f64 %2 #s(literal 1 binary64))
(neg.f64 %46)
(neg.f64 %17)
(fma.f64 %49 #s(literal -1/4 binary64) %53)
(fma.f64 %56 #s(literal 4 binary64) %53)
(fma.f64 %58 #s(literal 1/8 binary64) %53)
(fma.f64 %61 #s(literal 1/2 binary64) %53)
(fma.f64 %63 #s(literal 1/4 binary64) %53)
(fma.f64 %66 #s(literal 2 binary64) %53)
(fma.f64 %68 #s(literal 2 binary64) %53)
(fma.f64 %70 #s(literal -1/2 binary64) %53)
(fma.f64 #s(literal 1/4 binary64) %63 %53)
(fma.f64 #s(literal 1/4 binary64) %34 %53)
(fma.f64 %74 #s(literal -1/2 binary64) %53)
(fma.f64 %76 #s(literal -1 binary64) %53)
(fma.f64 %78 #s(literal 1/2 binary64) %53)
(fma.f64 #s(literal -1/2 binary64) %74 %53)
(fma.f64 #s(literal 4 binary64) %56 %53)
(fma.f64 %24 #s(literal -1/2 binary64) %53)
(fma.f64 #s(literal -1 binary64) %76 %53)
(fma.f64 #s(literal 1/2 binary64) %61 %53)
(fma.f64 #s(literal 1/2 binary64) x %53)
(fma.f64 %34 #s(literal 1/4 binary64) %53)
(fma.f64 %55 #s(literal 1 binary64) %53)
(fma.f64 #s(literal 1 binary64) %55 %53)
(fma.f64 #s(literal 2 binary64) %66 %53)
(fma.f64 #s(literal 2 binary64) %68 %53)
(fma.f64 x #s(literal 1/2 binary64) %53)
(-.f64 %78 y)
(-.f64 %22 %93)
(-.f64 %22 %74)
(-.f64 %22 %24)
(-.f64 x (*.f64 %97 #s(literal 2 binary64)))
%2
(+.f64 %78 %22)
(+.f64 %22 %78)
(+.f64 %22 x)
(+.f64 %55 %53)
(+.f64 x (/.f64 %104 #s(literal 2 binary64)))
(+.f64 x (/.f64 %107 #s(literal 2 binary64)))
(+.f64 x %22)
#s(literal 2 binary64)
(*.f64 %111 #s(literal 1/8 binary64))
(*.f64 %113 #s(literal 1/4 binary64))
(*.f64 %115 #s(literal 1/2 binary64))
(*.f64 %117 #s(literal 2 binary64))
(*.f64 %119 #s(literal 1/8 binary64))
(*.f64 %121 #s(literal 1/4 binary64))
(*.f64 %123 #s(literal -1/4 binary64))
(*.f64 %12 #s(literal 1/4 binary64))
(*.f64 %8 #s(literal 2 binary64))
(*.f64 %127 #s(literal -1/2 binary64))
(*.f64 %129 #s(literal -1/2 binary64))
(*.f64 #s(literal -1/4 binary64) %123)
(*.f64 %46 #s(literal -1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %12)
(*.f64 %135 #s(literal -1/4 binary64))
(*.f64 %138 #s(literal -1/4 binary64))
(*.f64 %141 #s(literal 1/4 binary64))
(*.f64 %143 #s(literal 1/4 binary64))
(*.f64 %145 #s(literal -1/4 binary64))
(*.f64 %147 #s(literal -1/4 binary64))
(*.f64 %37 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/2 binary64) %150)
(*.f64 #s(literal -1/2 binary64) %46)
%18
(*.f64 %10 #s(literal 1/4 binary64))
(*.f64 #s(literal -1 binary64) %154)
(*.f64 %154 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %115)
(*.f64 #s(literal 1/2 binary64) %2)
(*.f64 %17 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %18)
(*.f64 %18 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %117)
(*.f64 #s(literal 2 binary64) %8)
(*.f64 %2 #s(literal 1/2 binary64))
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 (fma.f64 %166 #s(literal -2 binary64) %74) #s(literal -2 binary64))
(/.f64 (fma.f64 %166 #s(literal 2 binary64) %78) #s(literal 2 binary64))
(/.f64 (fma.f64 %166 #s(literal -2 binary64) %24) #s(literal -2 binary64))
(/.f64 (fma.f64 %166 #s(literal 1 binary64) %55) #s(literal 1 binary64))
(/.f64 (fma.f64 %166 #s(literal 2 binary64) x) #s(literal 2 binary64))
(/.f64 (fma.f64 %177 #s(literal 2 binary64) %78) #s(literal 2 binary64))
(/.f64 (fma.f64 %177 #s(literal -2 binary64) %24) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %55 #s(literal 4 binary64)) %51) #s(literal 4 binary64))
(/.f64 (-.f64 %74 %185) #s(literal -2 binary64))
(/.f64 (fma.f64 %177 #s(literal -2 binary64) %74) #s(literal -2 binary64))
(/.f64 (fma.f64 %177 #s(literal 2 binary64) %190) #s(literal 2 binary64))
(/.f64 (fma.f64 %177 #s(literal -2 binary64) %70) #s(literal -2 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %195) #s(literal -4 binary64))
(/.f64 (fma.f64 %22 #s(literal 2 binary64) %199) #s(literal 4 binary64))
(/.f64 %26 #s(literal -4 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) %203) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %206) #s(literal -4 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) %209) #s(literal 4 binary64))
(/.f64 (fma.f64 y #s(literal 1 binary64) %74) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) x %214) #s(literal -2 binary64))
(/.f64 (fma.f64 %74 #s(literal 2 binary64) %134) #s(literal -4 binary64))
(/.f64 (fma.f64 %74 #s(literal -2 binary64) %219) #s(literal 4 binary64))
(/.f64 (fma.f64 %78 #s(literal 1 binary64) %222) #s(literal 2 binary64))
(/.f64 (fma.f64 %78 #s(literal 2 binary64) %225) #s(literal 4 binary64))
(/.f64 (fma.f64 %24 #s(literal 1 binary64) %214) #s(literal -2 binary64))
(/.f64 (fma.f64 %24 #s(literal -2 binary64) %219) #s(literal 4 binary64))
(/.f64 (+.f64 x (*.f64 %22 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) x %235) #s(literal -2 binary64))
(/.f64 (+.f64 x %222) #s(literal 2 binary64))
(/.f64 (-.f64 %24 %185) #s(literal -2 binary64))
(/.f64 (-.f64 %78 %235) #s(literal 2 binary64))
(/.f64 (-.f64 x %235) #s(literal 2 binary64))
(/.f64 (fma.f64 %177 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %74)) #s(literal -2 binary64))
(/.f64 (fma.f64 %177 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %78)) #s(literal 2 binary64))
(/.f64 (fma.f64 %177 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %24)) #s(literal -2 binary64))
(/.f64 (fma.f64 %177 #s(literal 2 binary64) x) #s(literal 2 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %74)) #s(literal -4 binary64))
(/.f64 (fma.f64 %22 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %78)) #s(literal 4 binary64))
(/.f64 %28 #s(literal 2 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %74)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal -2 binary64) %78)) #s(literal -4 binary64))
(/.f64 (fma.f64 y #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %55)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) x %273) #s(literal -2 binary64))
(/.f64 (fma.f64 %74 #s(literal 2 binary64) %137) #s(literal -4 binary64))
(/.f64 (fma.f64 %74 #s(literal -2 binary64) %107) #s(literal 4 binary64))
(/.f64 (fma.f64 %78 #s(literal 1 binary64) %280) #s(literal 2 binary64))
(/.f64 (fma.f64 %78 #s(literal 2 binary64) %140) #s(literal 4 binary64))
(/.f64 (fma.f64 %78 #s(literal -2 binary64) %51) #s(literal -4 binary64))
(/.f64 (fma.f64 %24 #s(literal 1 binary64) %273) #s(literal -2 binary64))
(/.f64 (fma.f64 %24 #s(literal -2 binary64) %107) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1 binary64) %177)) #s(literal 1 binary64))
(/.f64 (+.f64 x %294) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) x %297) #s(literal -2 binary64))
(/.f64 (+.f64 x %280) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %51) #s(literal -4 binary64))
(/.f64 (-.f64 %304 (*.f64 #s(literal 4 binary64) %51)) #s(literal 16 binary64))
(/.f64 (-.f64 %214 x) #s(literal -2 binary64))
(/.f64 (-.f64 %134 %34) #s(literal -4 binary64))
(/.f64 (-.f64 %219 %30) #s(literal 4 binary64))
(/.f64 (-.f64 %203 %315) #s(literal 4 binary64))
(/.f64 (-.f64 %195 %318) #s(literal -4 binary64))
(/.f64 (-.f64 %203 %137) #s(literal 4 binary64))
(/.f64 (-.f64 %74 %323) #s(literal -2 binary64))
(/.f64 (-.f64 %195 %107) #s(literal -4 binary64))
(/.f64 (-.f64 %206 %328) #s(literal -4 binary64))
(/.f64 (-.f64 %199 %331) #s(literal 4 binary64))
(/.f64 (-.f64 %206 %140) #s(literal -4 binary64))
(/.f64 (-.f64 %190 %336) #s(literal 2 binary64))
(/.f64 (-.f64 %199 %51) #s(literal 4 binary64))
(/.f64 (-.f64 %209 %315) #s(literal 4 binary64))
(/.f64 (-.f64 %25 %318) #s(literal -4 binary64))
(/.f64 (-.f64 %70 %323) #s(literal -2 binary64))
(/.f64 (-.f64 %74 (*.f64 #s(literal 1 binary64) %185)) #s(literal -2 binary64))
(/.f64 (-.f64 x (*.f64 #s(literal 1 binary64) %235)) #s(literal 2 binary64))
(/.f64 (-.f64 %74 %294) #s(literal -2 binary64))
(/.f64 (-.f64 x %297) #s(literal 2 binary64))
(/.f64 (-.f64 %30 %328) #s(literal -4 binary64))
(/.f64 (-.f64 %34 %331) #s(literal 4 binary64))
(/.f64 (-.f64 x %336) #s(literal 2 binary64))
(/.f64 %363 #s(literal 4 binary64))
(/.f64 %365 #s(literal 4 binary64))
(/.f64 %367 #s(literal 4 binary64))
(/.f64 %369 #s(literal 8 binary64))
(/.f64 %372 #s(literal 8 binary64))
(/.f64 %374 #s(literal -8 binary64))
(/.f64 %377 #s(literal -8 binary64))
(/.f64 %379 #s(literal 8 binary64))
(/.f64 %381 #s(literal 8 binary64))
(/.f64 %383 #s(literal 8 binary64))
(/.f64 %385 #s(literal -8 binary64))
(/.f64 %387 #s(literal 4 binary64))
(/.f64 %389 #s(literal -2 binary64))
(/.f64 %391 #s(literal -4 binary64))
(/.f64 %393 #s(literal -2 binary64))
(/.f64 %395 #s(literal -2 binary64))
(/.f64 %397 #s(literal -2 binary64))
(/.f64 %399 #s(literal -4 binary64))
(/.f64 %401 #s(literal -4 binary64))
(/.f64 %403 #s(literal 4 binary64))
(/.f64 %405 #s(literal 4 binary64))
(/.f64 %407 #s(literal -4 binary64))
(/.f64 %409 #s(literal -4 binary64))
(/.f64 %411 #s(literal -4 binary64))
(/.f64 %413 #s(literal 4 binary64))
(/.f64 %415 #s(literal -2 binary64))
(/.f64 %417 #s(literal -4 binary64))
(/.f64 %419 #s(literal -4 binary64))
(/.f64 %421 #s(literal -4 binary64))
(/.f64 %423 #s(literal -8 binary64))
(/.f64 %425 #s(literal -8 binary64))
(/.f64 %427 #s(literal 8 binary64))
(/.f64 %429 #s(literal 8 binary64))
(/.f64 %431 #s(literal -8 binary64))
(/.f64 %433 #s(literal -8 binary64))
(/.f64 %435 #s(literal -8 binary64))
(/.f64 %437 #s(literal 4 binary64))
(/.f64 %439 #s(literal -2 binary64))
(/.f64 %441 #s(literal -4 binary64))
(/.f64 %443 #s(literal 4 binary64))
(/.f64 %445 #s(literal -2 binary64))
(/.f64 %447 #s(literal -4 binary64))
(/.f64 %449 #s(literal 4 binary64))
(/.f64 %451 #s(literal -2 binary64))
(/.f64 %453 #s(literal -4 binary64))
(/.f64 %455 #s(literal 8 binary64))
(/.f64 %457 #s(literal -4 binary64))
(/.f64 %459 #s(literal -8 binary64))
(/.f64 %461 #s(literal 8 binary64))
(/.f64 %463 #s(literal -4 binary64))
(/.f64 %465 #s(literal -8 binary64))
(/.f64 %467 #s(literal -8 binary64))
(/.f64 %469 #s(literal 4 binary64))
(/.f64 %471 #s(literal 8 binary64))
(/.f64 %473 #s(literal -8 binary64))
(/.f64 %475 #s(literal 4 binary64))
(/.f64 %477 #s(literal 8 binary64))
(/.f64 %479 #s(literal 8 binary64))
(/.f64 %481 #s(literal -4 binary64))
(/.f64 %483 #s(literal -8 binary64))
(/.f64 %485 #s(literal 8 binary64))
(/.f64 %487 #s(literal -4 binary64))
(/.f64 %489 #s(literal -8 binary64))
(/.f64 %491 #s(literal 8 binary64))
(/.f64 %493 #s(literal -4 binary64))
(/.f64 %495 #s(literal -8 binary64))
(/.f64 %497 #s(literal -8 binary64))
(/.f64 %499 #s(literal 4 binary64))
(/.f64 %501 #s(literal 4 binary64))
(/.f64 %503 #s(literal -2 binary64))
(/.f64 %505 #s(literal 2 binary64))
(/.f64 %507 #s(literal -4 binary64))
(/.f64 (neg.f64 %127) #s(literal 2 binary64))
(/.f64 (neg.f64 %129) #s(literal 2 binary64))
(/.f64 (neg.f64 %135) #s(literal 4 binary64))
(/.f64 (neg.f64 %138) #s(literal 4 binary64))
(/.f64 (neg.f64 %141) #s(literal -4 binary64))
(/.f64 (neg.f64 %143) #s(literal -4 binary64))
(/.f64 (neg.f64 %145) #s(literal 4 binary64))
(/.f64 (neg.f64 %147) #s(literal 4 binary64))
(/.f64 %127 #s(literal -2 binary64))
(/.f64 %129 #s(literal -2 binary64))
(/.f64 %46 #s(literal -2 binary64))
(/.f64 %528 #s(literal 8 binary64))
(/.f64 %530 #s(literal -4 binary64))
(/.f64 %4 #s(literal 4 binary64))
(/.f64 %135 #s(literal -4 binary64))
(/.f64 %534 #s(literal 8 binary64))
(/.f64 %536 #s(literal -4 binary64))
(/.f64 %138 #s(literal -4 binary64))
(/.f64 %141 #s(literal 4 binary64))
(/.f64 %541 #s(literal -4 binary64))
(/.f64 %35 #s(literal 4 binary64))
(/.f64 %545 #s(literal 4 binary64))
(/.f64 %143 #s(literal 4 binary64))
(/.f64 %145 #s(literal -4 binary64))
(/.f64 %147 #s(literal -4 binary64))
(/.f64 %37 #s(literal -4 binary64))
(/.f64 %10 #s(literal 4 binary64))
(/.f64 %154 #s(literal -1 binary64))
(/.f64 %17 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %127))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %129))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %46))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %135))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %138))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %141))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %143))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %145))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %147))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %37))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %18))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %10))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %17))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %2))
(/.f64 %18 #s(literal 1 binary64))
(/.f64 %2 #s(literal 2 binary64))
(neg.f64 %154)
(fma.f64 %49 #s(literal -1/4 binary64) %588)
(fma.f64 %49 #s(literal -1/4 binary64) %590)
(fma.f64 %49 #s(literal -1/4 binary64) %592)
(fma.f64 %49 #s(literal -1/4 binary64) %594)
(fma.f64 %49 #s(literal -1/4 binary64) %596)
(fma.f64 %49 #s(literal -1/4 binary64) %598)
(fma.f64 %49 #s(literal -1/4 binary64) %600)
(fma.f64 %49 #s(literal -1/4 binary64) %602)
(fma.f64 %49 #s(literal -1/4 binary64) %604)
(fma.f64 %49 #s(literal -1/4 binary64) %166)
(fma.f64 %49 #s(literal -1/4 binary64) %177)
(fma.f64 %56 #s(literal 4 binary64) %588)
(fma.f64 %56 #s(literal 4 binary64) %590)
(fma.f64 %56 #s(literal 4 binary64) %592)
(fma.f64 %56 #s(literal 4 binary64) %594)
(fma.f64 %56 #s(literal 4 binary64) %596)
(fma.f64 %56 #s(literal 4 binary64) %598)
(fma.f64 %56 #s(literal 4 binary64) %600)
(fma.f64 %56 #s(literal 4 binary64) %602)
(fma.f64 %56 #s(literal 4 binary64) %604)
(fma.f64 %56 #s(literal 4 binary64) %166)
(fma.f64 %56 #s(literal 4 binary64) %177)
(fma.f64 %619 #s(literal 1/4 binary64) %55)
(fma.f64 %621 #s(literal 1/2 binary64) %55)
(fma.f64 %623 #s(literal -1/4 binary64) %55)
(fma.f64 %58 #s(literal 1/8 binary64) %588)
(fma.f64 %58 #s(literal 1/8 binary64) %590)
(fma.f64 %58 #s(literal 1/8 binary64) %592)
(fma.f64 %58 #s(literal 1/8 binary64) %594)
(fma.f64 %58 #s(literal 1/8 binary64) %596)
(fma.f64 %58 #s(literal 1/8 binary64) %598)
(fma.f64 %58 #s(literal 1/8 binary64) %600)
(fma.f64 %58 #s(literal 1/8 binary64) %602)
(fma.f64 %58 #s(literal 1/8 binary64) %604)
(fma.f64 %58 #s(literal 1/8 binary64) %166)
(fma.f64 %58 #s(literal 1/8 binary64) %177)
(fma.f64 %61 #s(literal 1/2 binary64) %588)
(fma.f64 %61 #s(literal 1/2 binary64) %590)
(fma.f64 %61 #s(literal 1/2 binary64) %592)
(fma.f64 %61 #s(literal 1/2 binary64) %594)
(fma.f64 %61 #s(literal 1/2 binary64) %596)
(fma.f64 %61 #s(literal 1/2 binary64) %598)
(fma.f64 %61 #s(literal 1/2 binary64) %600)
(fma.f64 %61 #s(literal 1/2 binary64) %602)
(fma.f64 %61 #s(literal 1/2 binary64) %604)
(fma.f64 %61 #s(literal 1/2 binary64) %166)
(fma.f64 %61 #s(literal 1/2 binary64) %177)
(fma.f64 %63 #s(literal 1/4 binary64) %588)
(fma.f64 %63 #s(literal 1/4 binary64) %590)
(fma.f64 %63 #s(literal 1/4 binary64) %592)
(fma.f64 %63 #s(literal 1/4 binary64) %594)
(fma.f64 %63 #s(literal 1/4 binary64) %596)
(fma.f64 %63 #s(literal 1/4 binary64) %598)
(fma.f64 %63 #s(literal 1/4 binary64) %600)
(fma.f64 %63 #s(literal 1/4 binary64) %602)
(fma.f64 %63 #s(literal 1/4 binary64) %604)
(fma.f64 %63 #s(literal 1/4 binary64) %166)
(fma.f64 %63 #s(literal 1/4 binary64) %177)
(fma.f64 %66 #s(literal 2 binary64) %588)
(fma.f64 %66 #s(literal 2 binary64) %590)
(fma.f64 %66 #s(literal 2 binary64) %592)
(fma.f64 %66 #s(literal 2 binary64) %594)
(fma.f64 %66 #s(literal 2 binary64) %596)
(fma.f64 %66 #s(literal 2 binary64) %598)
(fma.f64 %66 #s(literal 2 binary64) %600)
(fma.f64 %66 #s(literal 2 binary64) %602)
(fma.f64 %66 #s(literal 2 binary64) %604)
(fma.f64 %66 #s(literal 2 binary64) %166)
(fma.f64 %66 #s(literal 2 binary64) %177)
(fma.f64 %68 #s(literal 2 binary64) %588)
(fma.f64 %68 #s(literal 2 binary64) %590)
(fma.f64 %68 #s(literal 2 binary64) %592)
(fma.f64 %68 #s(literal 2 binary64) %594)
(fma.f64 %68 #s(literal 2 binary64) %596)
(fma.f64 %68 #s(literal 2 binary64) %598)
(fma.f64 %68 #s(literal 2 binary64) %600)
(fma.f64 %68 #s(literal 2 binary64) %602)
(fma.f64 %68 #s(literal 2 binary64) %604)
(fma.f64 %68 #s(literal 2 binary64) %166)
(fma.f64 %68 #s(literal 2 binary64) %177)
(fma.f64 %235 #s(literal -1/2 binary64) %55)
(fma.f64 %70 #s(literal -1/2 binary64) %588)
(fma.f64 %70 #s(literal -1/2 binary64) %590)
(fma.f64 %70 #s(literal -1/2 binary64) %592)
(fma.f64 %70 #s(literal -1/2 binary64) %594)
(fma.f64 %70 #s(literal -1/2 binary64) %596)
(fma.f64 %70 #s(literal -1/2 binary64) %598)
(fma.f64 %70 #s(literal -1/2 binary64) %600)
(fma.f64 %70 #s(literal -1/2 binary64) %602)
(fma.f64 %70 #s(literal -1/2 binary64) %604)
(fma.f64 %70 #s(literal -1/2 binary64) %166)
(fma.f64 %70 #s(literal -1/2 binary64) %177)
(fma.f64 #s(literal 1/4 binary64) %63 %588)
(fma.f64 #s(literal 1/4 binary64) %63 %590)
(fma.f64 #s(literal 1/4 binary64) %63 %592)
(fma.f64 #s(literal 1/4 binary64) %63 %594)
(fma.f64 #s(literal 1/4 binary64) %63 %596)
(fma.f64 #s(literal 1/4 binary64) %63 %598)
(fma.f64 #s(literal 1/4 binary64) %63 %600)
(fma.f64 #s(literal 1/4 binary64) %63 %602)
(fma.f64 #s(literal 1/4 binary64) %63 %604)
(fma.f64 #s(literal 1/4 binary64) %63 %166)
(fma.f64 #s(literal 1/4 binary64) %63 %177)
(fma.f64 #s(literal 1/4 binary64) %34 %588)
(fma.f64 #s(literal 1/4 binary64) %34 %590)
(fma.f64 #s(literal 1/4 binary64) %34 %592)
(fma.f64 #s(literal 1/4 binary64) %34 %594)
(fma.f64 #s(literal 1/4 binary64) %34 %596)
(fma.f64 #s(literal 1/4 binary64) %34 %598)
(fma.f64 #s(literal 1/4 binary64) %34 %600)
(fma.f64 #s(literal 1/4 binary64) %34 %602)
(fma.f64 #s(literal 1/4 binary64) %34 %604)
(fma.f64 #s(literal 1/4 binary64) %34 %166)
(fma.f64 #s(literal 1/4 binary64) %34 %177)
(fma.f64 %74 #s(literal -1/2 binary64) %588)
(fma.f64 %74 #s(literal -1/2 binary64) %590)
(fma.f64 %74 #s(literal -1/2 binary64) %592)
(fma.f64 %74 #s(literal -1/2 binary64) %594)
(fma.f64 %74 #s(literal -1/2 binary64) %596)
(fma.f64 %74 #s(literal -1/2 binary64) %598)
(fma.f64 %74 #s(literal -1/2 binary64) %600)
(fma.f64 %74 #s(literal -1/2 binary64) %602)
(fma.f64 %74 #s(literal -1/2 binary64) %604)
(fma.f64 %74 #s(literal -1/2 binary64) %166)
(fma.f64 %74 #s(literal -1/2 binary64) %177)
(fma.f64 %76 #s(literal -1 binary64) %588)
(fma.f64 %76 #s(literal -1 binary64) %590)
(fma.f64 %76 #s(literal -1 binary64) %592)
(fma.f64 %76 #s(literal -1 binary64) %594)
(fma.f64 %76 #s(literal -1 binary64) %596)
(fma.f64 %76 #s(literal -1 binary64) %598)
(fma.f64 %76 #s(literal -1 binary64) %600)
(fma.f64 %76 #s(literal -1 binary64) %602)
(fma.f64 %76 #s(literal -1 binary64) %604)
(fma.f64 %76 #s(literal -1 binary64) %166)
(fma.f64 %76 #s(literal -1 binary64) %177)
(fma.f64 %78 #s(literal 1/2 binary64) %588)
(fma.f64 %78 #s(literal 1/2 binary64) %590)
(fma.f64 %78 #s(literal 1/2 binary64) %592)
(fma.f64 %78 #s(literal 1/2 binary64) %594)
(fma.f64 %78 #s(literal 1/2 binary64) %596)
(fma.f64 %78 #s(literal 1/2 binary64) %598)
(fma.f64 %78 #s(literal 1/2 binary64) %600)
(fma.f64 %78 #s(literal 1/2 binary64) %602)
(fma.f64 %78 #s(literal 1/2 binary64) %604)
(fma.f64 %78 #s(literal 1/2 binary64) %166)
(fma.f64 %78 #s(literal 1/2 binary64) %177)
(fma.f64 #s(literal -1/2 binary64) %74 %588)
(fma.f64 #s(literal -1/2 binary64) %74 %590)
(fma.f64 #s(literal -1/2 binary64) %74 %592)
(fma.f64 #s(literal -1/2 binary64) %74 %594)
(fma.f64 #s(literal -1/2 binary64) %74 %596)
(fma.f64 #s(literal -1/2 binary64) %74 %598)
(fma.f64 #s(literal -1/2 binary64) %74 %600)
(fma.f64 #s(literal -1/2 binary64) %74 %602)
(fma.f64 #s(literal -1/2 binary64) %74 %604)
(fma.f64 #s(literal -1/2 binary64) %74 %166)
(fma.f64 #s(literal -1/2 binary64) %74 %177)
(fma.f64 %177 #s(literal 1 binary64) %55)
(fma.f64 #s(literal 4 binary64) %56 %588)
(fma.f64 #s(literal 4 binary64) %56 %590)
(fma.f64 #s(literal 4 binary64) %56 %592)
(fma.f64 #s(literal 4 binary64) %56 %594)
(fma.f64 #s(literal 4 binary64) %56 %596)
(fma.f64 #s(literal 4 binary64) %56 %598)
(fma.f64 #s(literal 4 binary64) %56 %600)
(fma.f64 #s(literal 4 binary64) %56 %602)
(fma.f64 #s(literal 4 binary64) %56 %604)
(fma.f64 #s(literal 4 binary64) %56 %166)
(fma.f64 #s(literal 4 binary64) %56 %177)
(fma.f64 %24 #s(literal -1/2 binary64) %588)
(fma.f64 %24 #s(literal -1/2 binary64) %590)
(fma.f64 %24 #s(literal -1/2 binary64) %592)
(fma.f64 %24 #s(literal -1/2 binary64) %594)
(fma.f64 %24 #s(literal -1/2 binary64) %596)
(fma.f64 %24 #s(literal -1/2 binary64) %598)
(fma.f64 %24 #s(literal -1/2 binary64) %600)
(fma.f64 %24 #s(literal -1/2 binary64) %602)
(fma.f64 %24 #s(literal -1/2 binary64) %604)
(fma.f64 %24 #s(literal -1/2 binary64) %166)
(fma.f64 %24 #s(literal -1/2 binary64) %177)
(fma.f64 #s(literal -1 binary64) %76 %588)
(fma.f64 #s(literal -1 binary64) %76 %590)
(fma.f64 #s(literal -1 binary64) %76 %592)
(fma.f64 #s(literal -1 binary64) %76 %594)
(fma.f64 #s(literal -1 binary64) %76 %596)
(fma.f64 #s(literal -1 binary64) %76 %598)
(fma.f64 #s(literal -1 binary64) %76 %600)
(fma.f64 #s(literal -1 binary64) %76 %602)
(fma.f64 #s(literal -1 binary64) %76 %604)
(fma.f64 #s(literal -1 binary64) %76 %166)
(fma.f64 #s(literal -1 binary64) %76 %177)
(fma.f64 %22 #s(literal 1/2 binary64) %55)
(fma.f64 #s(literal 1/2 binary64) %61 %588)
(fma.f64 #s(literal 1/2 binary64) %61 %590)
(fma.f64 #s(literal 1/2 binary64) %61 %592)
(fma.f64 #s(literal 1/2 binary64) %61 %594)
(fma.f64 #s(literal 1/2 binary64) %61 %596)
(fma.f64 #s(literal 1/2 binary64) %61 %598)
(fma.f64 #s(literal 1/2 binary64) %61 %600)
(fma.f64 #s(literal 1/2 binary64) %61 %602)
(fma.f64 #s(literal 1/2 binary64) %61 %604)
(fma.f64 #s(literal 1/2 binary64) %61 %166)
(fma.f64 #s(literal 1/2 binary64) %61 %177)
(fma.f64 #s(literal 1/2 binary64) %22 %55)
(fma.f64 #s(literal 1/2 binary64) x %588)
(fma.f64 #s(literal 1/2 binary64) x %590)
(fma.f64 #s(literal 1/2 binary64) x %592)
(fma.f64 #s(literal 1/2 binary64) x %594)
(fma.f64 #s(literal 1/2 binary64) x %596)
(fma.f64 #s(literal 1/2 binary64) x %598)
(fma.f64 #s(literal 1/2 binary64) x %600)
(fma.f64 #s(literal 1/2 binary64) x %602)
(fma.f64 #s(literal 1/2 binary64) x %604)
(fma.f64 #s(literal 1/2 binary64) x %166)
(fma.f64 #s(literal 1/2 binary64) x %177)
(fma.f64 %34 #s(literal 1/4 binary64) %588)
(fma.f64 %34 #s(literal 1/4 binary64) %590)
(fma.f64 %34 #s(literal 1/4 binary64) %592)
(fma.f64 %34 #s(literal 1/4 binary64) %594)
(fma.f64 %34 #s(literal 1/4 binary64) %596)
(fma.f64 %34 #s(literal 1/4 binary64) %598)
(fma.f64 %34 #s(literal 1/4 binary64) %600)
(fma.f64 %34 #s(literal 1/4 binary64) %602)
(fma.f64 %34 #s(literal 1/4 binary64) %604)
(fma.f64 %34 #s(literal 1/4 binary64) %166)
(fma.f64 %34 #s(literal 1/4 binary64) %177)
(fma.f64 %97 #s(literal -1 binary64) %55)
(fma.f64 %55 #s(literal 1 binary64) %588)
(fma.f64 %55 #s(literal 1 binary64) %590)
(fma.f64 %55 #s(literal 1 binary64) %592)
(fma.f64 %55 #s(literal 1 binary64) %594)
(fma.f64 %55 #s(literal 1 binary64) %596)
(fma.f64 %55 #s(literal 1 binary64) %598)
(fma.f64 %55 #s(literal 1 binary64) %600)
(fma.f64 %55 #s(literal 1 binary64) %602)
(fma.f64 %55 #s(literal 1 binary64) %604)
(fma.f64 %55 #s(literal 1 binary64) %166)
(fma.f64 %55 #s(literal 1 binary64) %177)
(fma.f64 #s(literal 1 binary64) %55 %588)
(fma.f64 #s(literal 1 binary64) %55 %590)
(fma.f64 #s(literal 1 binary64) %55 %592)
(fma.f64 #s(literal 1 binary64) %55 %594)
(fma.f64 #s(literal 1 binary64) %55 %596)
(fma.f64 #s(literal 1 binary64) %55 %598)
(fma.f64 #s(literal 1 binary64) %55 %600)
(fma.f64 #s(literal 1 binary64) %55 %602)
(fma.f64 #s(literal 1 binary64) %55 %604)
(fma.f64 #s(literal 1 binary64) %55 %166)
(fma.f64 #s(literal 1 binary64) %55 %177)
(fma.f64 #s(literal 2 binary64) %66 %588)
(fma.f64 #s(literal 2 binary64) %66 %590)
(fma.f64 #s(literal 2 binary64) %66 %592)
(fma.f64 #s(literal 2 binary64) %66 %594)
(fma.f64 #s(literal 2 binary64) %66 %596)
(fma.f64 #s(literal 2 binary64) %66 %598)
(fma.f64 #s(literal 2 binary64) %66 %600)
(fma.f64 #s(literal 2 binary64) %66 %602)
(fma.f64 #s(literal 2 binary64) %66 %604)
(fma.f64 #s(literal 2 binary64) %66 %166)
(fma.f64 #s(literal 2 binary64) %66 %177)
(fma.f64 #s(literal 2 binary64) %68 %588)
(fma.f64 #s(literal 2 binary64) %68 %590)
(fma.f64 #s(literal 2 binary64) %68 %592)
(fma.f64 #s(literal 2 binary64) %68 %594)
(fma.f64 #s(literal 2 binary64) %68 %596)
(fma.f64 #s(literal 2 binary64) %68 %598)
(fma.f64 #s(literal 2 binary64) %68 %600)
(fma.f64 #s(literal 2 binary64) %68 %602)
(fma.f64 #s(literal 2 binary64) %68 %604)
(fma.f64 #s(literal 2 binary64) %68 %166)
(fma.f64 #s(literal 2 binary64) %68 %177)
(fma.f64 y #s(literal -1/2 binary64) %55)
(fma.f64 x #s(literal 1/2 binary64) %588)
(fma.f64 x #s(literal 1/2 binary64) %590)
(fma.f64 x #s(literal 1/2 binary64) %592)
(fma.f64 x #s(literal 1/2 binary64) %594)
(fma.f64 x #s(literal 1/2 binary64) %596)
(fma.f64 x #s(literal 1/2 binary64) %598)
(fma.f64 x #s(literal 1/2 binary64) %600)
(fma.f64 x #s(literal 1/2 binary64) %602)
(fma.f64 x #s(literal 1/2 binary64) %604)
(fma.f64 x #s(literal 1/2 binary64) %166)
(fma.f64 x #s(literal 1/2 binary64) %177)
(-.f64 %166 %884)
(-.f64 %166 %76)
(-.f64 %177 (/.f64 %76 #s(literal 1 binary64)))
(-.f64 %177 %884)
(-.f64 %177 %76)
(-.f64 %55 (neg.f64 %166))
(-.f64 %55 (/.f64 %137 #s(literal 4 binary64)))
(-.f64 %55 (/.f64 %140 #s(literal -4 binary64)))
(-.f64 %55 %97)
(+.f64 %604 %55)
(+.f64 %68 (/.f64 %52 #s(literal 4 binary64)))
(+.f64 %166 %55)
(+.f64 %177 %55)
(+.f64 %55 %588)
(+.f64 %55 %590)
(+.f64 %55 %592)
(+.f64 %55 %594)
(+.f64 %55 %596)
(+.f64 %55 %598)
(+.f64 %55 %600)
(+.f64 %55 %602)
(+.f64 %55 %604)
(+.f64 %55 %166)
(+.f64 %55 %177)
(*.f64 (/.f64 %916 #s(literal 4 binary64)) #s(literal 2 binary64))
(*.f64 (/.f64 %919 #s(literal 1/2 binary64)) #s(literal 1/4 binary64))
(*.f64 (/.f64 %919 #s(literal 1 binary64)) #s(literal 1/2 binary64))
(*.f64 (/.f64 %926 #s(literal 1/2 binary64)) #s(literal -1/4 binary64))
(*.f64 (/.f64 %926 #s(literal 1 binary64)) #s(literal -1/2 binary64))
(*.f64 %931 #s(literal 1/4 binary64))
(*.f64 %933 #s(literal -1/2 binary64))
(*.f64 %919 #s(literal 1/2 binary64))
(*.f64 %936 #s(literal -1 binary64))
(*.f64 #s(literal 1/4 binary64) %931)
(*.f64 %939 #s(literal 1/4 binary64))
(*.f64 %943 #s(literal -1/2 binary64))
(*.f64 %946 #s(literal 1/2 binary64))
(*.f64 %948 #s(literal 1/8 binary64))
(*.f64 %950 #s(literal -1/4 binary64))
(*.f64 %952 #s(literal 1/4 binary64))
(*.f64 %954 #s(literal 1/4 binary64))
(*.f64 %956 #s(literal 1/8 binary64))
(*.f64 %958 #s(literal -1/4 binary64))
(*.f64 %926 #s(literal -1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %919)
(*.f64 #s(literal 1/2 binary64) %916)
(*.f64 %916 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %964)
(*.f64 %964 #s(literal 1 binary64))
(pow.f64 %964 #s(literal 1 binary64))
(/.f64 (fma.f64 %968 #s(literal -2 binary64) %74) #s(literal -2 binary64))
(/.f64 (fma.f64 %968 #s(literal 2 binary64) %78) #s(literal 2 binary64))
(/.f64 (fma.f64 %968 #s(literal -2 binary64) %24) #s(literal -2 binary64))
(/.f64 (fma.f64 %968 #s(literal 1 binary64) %55) #s(literal 1 binary64))
(/.f64 (fma.f64 %968 #s(literal 2 binary64) x) #s(literal 2 binary64))
(/.f64 (fma.f64 %942 #s(literal 1 binary64) %177) #s(literal 1 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) %25) #s(literal -2 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) %30) #s(literal -2 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %135) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %138) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %141) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %143) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %145) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %147) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %37) #s(literal -4 binary64))
(/.f64 (-.f64 %999 %185) #s(literal -2 binary64))
(/.f64 (-.f64 %945 %235) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %942 #s(literal 1 binary64)) %97) #s(literal 1 binary64))
(/.f64 (-.f64 %1007 %541) #s(literal 4 binary64))
(/.f64 (-.f64 %1010 %35) #s(literal -4 binary64))
(/.f64 (-.f64 %1010 %545) #s(literal -4 binary64))
(/.f64 (-.f64 %1010 %10) #s(literal -4 binary64))
(/.f64 (fma.f64 %1017 #s(literal 1 binary64) %214) #s(literal -2 binary64))
(/.f64 (fma.f64 %1017 #s(literal 2 binary64) %134) #s(literal -4 binary64))
(/.f64 (fma.f64 %1017 #s(literal -2 binary64) %219) #s(literal 4 binary64))
(/.f64 (fma.f64 %915 #s(literal 1 binary64) %222) #s(literal 2 binary64))
(/.f64 (fma.f64 %915 #s(literal 2 binary64) %225) #s(literal 4 binary64))
(/.f64 (fma.f64 %127 #s(literal -2 binary64) %1028) #s(literal 4 binary64))
(/.f64 (fma.f64 %127 #s(literal -2 binary64) %1031) #s(literal 4 binary64))
(/.f64 (fma.f64 %127 #s(literal 2 binary64) %1034) #s(literal -4 binary64))
(/.f64 (fma.f64 %129 #s(literal -2 binary64) %1028) #s(literal 4 binary64))
(/.f64 (fma.f64 %129 #s(literal -2 binary64) %1031) #s(literal 4 binary64))
(/.f64 (fma.f64 %129 #s(literal 2 binary64) %1034) #s(literal -4 binary64))
(/.f64 (fma.f64 %46 #s(literal -2 binary64) %1028) #s(literal 4 binary64))
(/.f64 (fma.f64 %46 #s(literal -2 binary64) %1031) #s(literal 4 binary64))
(/.f64 (fma.f64 %46 #s(literal 2 binary64) %1034) #s(literal -4 binary64))
(/.f64 (fma.f64 %135 #s(literal -2 binary64) %1049) #s(literal 8 binary64))
(/.f64 (fma.f64 %135 #s(literal -2 binary64) %1052) #s(literal 8 binary64))
(/.f64 (fma.f64 %135 #s(literal 2 binary64) %1055) #s(literal -8 binary64))
(/.f64 (fma.f64 %135 #s(literal 1 binary64) %1010) #s(literal -4 binary64))
(/.f64 (fma.f64 %138 #s(literal -2 binary64) %1049) #s(literal 8 binary64))
(/.f64 (fma.f64 %138 #s(literal -2 binary64) %1052) #s(literal 8 binary64))
(/.f64 (fma.f64 %138 #s(literal 2 binary64) %1055) #s(literal -8 binary64))
(/.f64 (fma.f64 %138 #s(literal 1 binary64) %1010) #s(literal -4 binary64))
(/.f64 (fma.f64 %141 #s(literal -2 binary64) %1068) #s(literal -8 binary64))
(/.f64 (fma.f64 %141 #s(literal -2 binary64) %1071) #s(literal -8 binary64))
(/.f64 (fma.f64 %141 #s(literal 2 binary64) %304) #s(literal 8 binary64))
(/.f64 (fma.f64 %141 #s(literal 1 binary64) %1007) #s(literal 4 binary64))
(/.f64 (fma.f64 %143 #s(literal -2 binary64) %1068) #s(literal -8 binary64))
(/.f64 (fma.f64 %143 #s(literal -2 binary64) %1071) #s(literal -8 binary64))
(/.f64 (fma.f64 %143 #s(literal 2 binary64) %304) #s(literal 8 binary64))
(/.f64 (fma.f64 %143 #s(literal 1 binary64) %1007) #s(literal 4 binary64))
(/.f64 (fma.f64 %145 #s(literal -2 binary64) %1049) #s(literal 8 binary64))
(/.f64 (fma.f64 %145 #s(literal -2 binary64) %1052) #s(literal 8 binary64))
(/.f64 (fma.f64 %145 #s(literal 2 binary64) %1055) #s(literal -8 binary64))
(/.f64 (fma.f64 %145 #s(literal 1 binary64) %1010) #s(literal -4 binary64))
(/.f64 (fma.f64 %147 #s(literal -2 binary64) %1049) #s(literal 8 binary64))
(/.f64 (fma.f64 %147 #s(literal -2 binary64) %1052) #s(literal 8 binary64))
(/.f64 (fma.f64 %147 #s(literal 2 binary64) %1055) #s(literal -8 binary64))
(/.f64 (fma.f64 %147 #s(literal 1 binary64) %1010) #s(literal -4 binary64))
(/.f64 (fma.f64 %37 #s(literal -2 binary64) %1049) #s(literal 8 binary64))
(/.f64 (fma.f64 %37 #s(literal -2 binary64) %1052) #s(literal 8 binary64))
(/.f64 (fma.f64 %37 #s(literal 2 binary64) %1055) #s(literal -8 binary64))
(/.f64 (fma.f64 %37 #s(literal 1 binary64) %1010) #s(literal -4 binary64))
(/.f64 (fma.f64 %10 #s(literal -2 binary64) %1068) #s(literal -8 binary64))
(/.f64 (fma.f64 %10 #s(literal -2 binary64) %1071) #s(literal -8 binary64))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) %304) #s(literal 8 binary64))
(/.f64 (fma.f64 %10 #s(literal 1 binary64) %1007) #s(literal 4 binary64))
(/.f64 (fma.f64 %17 #s(literal -2 binary64) %1028) #s(literal 4 binary64))
(/.f64 (fma.f64 %17 #s(literal -2 binary64) %1031) #s(literal 4 binary64))
(/.f64 (fma.f64 %17 #s(literal 2 binary64) %1034) #s(literal -4 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) %1124) #s(literal -2 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) %1127) #s(literal -2 binary64))
(/.f64 (fma.f64 %2 #s(literal -2 binary64) %1130) #s(literal -4 binary64))
(/.f64 (fma.f64 %2 #s(literal -2 binary64) %1133) #s(literal -4 binary64))
(/.f64 (fma.f64 %2 #s(literal 2 binary64) %1136) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal -2 binary64) %437) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal -2 binary64) %443) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal -2 binary64) %449) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %455) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %461) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal 4 binary64) %467) #s(literal -8 binary64))
(/.f64 (fma.f64 %25 #s(literal 4 binary64) %473) #s(literal -8 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %479) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %485) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %491) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal 4 binary64) %497) #s(literal -8 binary64))
(/.f64 (fma.f64 %25 #s(literal -2 binary64) %501) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal 1 binary64) %503) #s(literal -2 binary64))
(/.f64 (fma.f64 %25 #s(literal 2 binary64) %507) #s(literal -4 binary64))
(/.f64 (fma.f64 %30 #s(literal -2 binary64) %437) #s(literal 4 binary64))
(/.f64 (fma.f64 %30 #s(literal -2 binary64) %443) #s(literal 4 binary64))
(/.f64 (fma.f64 %30 #s(literal -2 binary64) %449) #s(literal 4 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %455) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %461) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal 4 binary64) %467) #s(literal -8 binary64))
(/.f64 (fma.f64 %30 #s(literal 4 binary64) %473) #s(literal -8 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %479) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %485) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %491) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal 4 binary64) %497) #s(literal -8 binary64))
(/.f64 (fma.f64 %30 #s(literal -2 binary64) %501) #s(literal 4 binary64))
(/.f64 (fma.f64 %30 #s(literal 1 binary64) %503) #s(literal -2 binary64))
(/.f64 (fma.f64 %30 #s(literal 2 binary64) %507) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal -2 binary64) %441) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal -2 binary64) %447) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal -2 binary64) %453) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %459) #s(literal -8 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %465) #s(literal -8 binary64))
(/.f64 (fma.f64 %34 #s(literal 4 binary64) %471) #s(literal 8 binary64))
(/.f64 (fma.f64 %34 #s(literal 4 binary64) %477) #s(literal 8 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %483) #s(literal -8 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %489) #s(literal -8 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %495) #s(literal -8 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %505) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %439) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %445) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %451) #s(literal -2 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %457) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %463) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %469) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %475) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %481) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %487) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %493) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %499) #s(literal 4 binary64))
(/.f64 (fma.f64 %2 #s(literal -1 binary64) %25) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %2 %25) #s(literal -2 binary64))
(/.f64 (fma.f64 %17 #s(literal 1 binary64) %25) #s(literal -2 binary64))
(/.f64 (fma.f64 %2 #s(literal -1 binary64) %30) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) %2 %30) #s(literal -2 binary64))
(/.f64 (fma.f64 %24 #s(literal 2 binary64) %127) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %127) #s(literal -2 binary64))
(/.f64 (fma.f64 %24 #s(literal 2 binary64) %129) #s(literal -2 binary64))
(/.f64 (fma.f64 %24 #s(literal 2 binary64) %46) #s(literal -2 binary64))
(/.f64 (fma.f64 %24 #s(literal 2 binary64) %17) #s(literal -2 binary64))
(/.f64 (-.f64 %1017 %185) #s(literal -2 binary64))
(/.f64 (-.f64 %915 %235) #s(literal 2 binary64))
(/.f64 (-.f64 %25 %1263) #s(literal -2 binary64))
(/.f64 (-.f64 %30 %1263) #s(literal -2 binary64))
(/.f64 (-.f64 %25 %1268) #s(literal -2 binary64))
(/.f64 (-.f64 %30 %1268) #s(literal -2 binary64))
(/.f64 (fma.f64 %1017 #s(literal 1 binary64) %273) #s(literal -2 binary64))
(/.f64 (fma.f64 %1017 #s(literal 2 binary64) %137) #s(literal -4 binary64))
(/.f64 (fma.f64 %1017 #s(literal -2 binary64) %107) #s(literal 4 binary64))
(/.f64 (fma.f64 %915 #s(literal 1 binary64) %280) #s(literal 2 binary64))
(/.f64 (fma.f64 %915 #s(literal 2 binary64) %140) #s(literal 4 binary64))
(/.f64 (fma.f64 %915 #s(literal -2 binary64) %51) #s(literal -4 binary64))
(/.f64 (fma.f64 %127 #s(literal -2 binary64) %1285) #s(literal 4 binary64))
(/.f64 (fma.f64 %127 #s(literal -2 binary64) %1288) #s(literal 4 binary64))
(/.f64 (fma.f64 %127 #s(literal 2 binary64) %1291) #s(literal -4 binary64))
(/.f64 (fma.f64 %127 #s(literal 1 binary64) %30) #s(literal -2 binary64))
(/.f64 (fma.f64 %129 #s(literal -2 binary64) %1285) #s(literal 4 binary64))
(/.f64 (fma.f64 %129 #s(literal -2 binary64) %1288) #s(literal 4 binary64))
(/.f64 (fma.f64 %129 #s(literal 2 binary64) %1291) #s(literal -4 binary64))
(/.f64 (fma.f64 %129 #s(literal 1 binary64) %30) #s(literal -2 binary64))
(/.f64 (fma.f64 %46 #s(literal -2 binary64) %1285) #s(literal 4 binary64))
(/.f64 (fma.f64 %46 #s(literal -2 binary64) %1288) #s(literal 4 binary64))
(/.f64 (fma.f64 %46 #s(literal 2 binary64) %1291) #s(literal -4 binary64))
(/.f64 (fma.f64 %46 #s(literal 1 binary64) %30) #s(literal -2 binary64))
(/.f64 (fma.f64 %135 #s(literal -2 binary64) %1312) #s(literal 8 binary64))
(/.f64 (fma.f64 %135 #s(literal -2 binary64) %1315) #s(literal 8 binary64))
(/.f64 (fma.f64 %135 #s(literal 2 binary64) %1318) #s(literal -8 binary64))
(/.f64 (fma.f64 %135 #s(literal 1 binary64) %1321) #s(literal -4 binary64))
(/.f64 (fma.f64 %138 #s(literal -2 binary64) %1312) #s(literal 8 binary64))
(/.f64 (fma.f64 %138 #s(literal -2 binary64) %1315) #s(literal 8 binary64))
(/.f64 (fma.f64 %138 #s(literal 2 binary64) %1318) #s(literal -8 binary64))
(/.f64 (fma.f64 %138 #s(literal 1 binary64) %1321) #s(literal -4 binary64))
(/.f64 (fma.f64 %141 #s(literal -2 binary64) %1332) #s(literal -8 binary64))
(/.f64 (fma.f64 %141 #s(literal -2 binary64) %1335) #s(literal -8 binary64))
(/.f64 (fma.f64 %141 #s(literal 2 binary64) %1338) #s(literal 8 binary64))
(/.f64 (fma.f64 %141 #s(literal 1 binary64) %1341) #s(literal 4 binary64))
(/.f64 (fma.f64 %143 #s(literal -2 binary64) %1332) #s(literal -8 binary64))
(/.f64 (fma.f64 %143 #s(literal -2 binary64) %1335) #s(literal -8 binary64))
(/.f64 (fma.f64 %143 #s(literal 2 binary64) %1338) #s(literal 8 binary64))
(/.f64 (fma.f64 %143 #s(literal 1 binary64) %1341) #s(literal 4 binary64))
(/.f64 (fma.f64 %145 #s(literal -2 binary64) %1312) #s(literal 8 binary64))
(/.f64 (fma.f64 %145 #s(literal -2 binary64) %1315) #s(literal 8 binary64))
(/.f64 (fma.f64 %145 #s(literal 2 binary64) %1318) #s(literal -8 binary64))
(/.f64 (fma.f64 %145 #s(literal 1 binary64) %1321) #s(literal -4 binary64))
(/.f64 (fma.f64 %147 #s(literal -2 binary64) %1312) #s(literal 8 binary64))
(/.f64 (fma.f64 %147 #s(literal -2 binary64) %1315) #s(literal 8 binary64))
(/.f64 (fma.f64 %147 #s(literal 2 binary64) %1318) #s(literal -8 binary64))
(/.f64 (fma.f64 %147 #s(literal 1 binary64) %1321) #s(literal -4 binary64))
(/.f64 (fma.f64 %37 #s(literal -2 binary64) %1312) #s(literal 8 binary64))
(/.f64 (fma.f64 %37 #s(literal -2 binary64) %1315) #s(literal 8 binary64))
(/.f64 (fma.f64 %37 #s(literal 2 binary64) %1318) #s(literal -8 binary64))
(/.f64 (fma.f64 %37 #s(literal 1 binary64) %1321) #s(literal -4 binary64))
(/.f64 (fma.f64 %10 #s(literal -2 binary64) %1332) #s(literal -8 binary64))
(/.f64 (fma.f64 %10 #s(literal -2 binary64) %1335) #s(literal -8 binary64))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) %1338) #s(literal 8 binary64))
(/.f64 (fma.f64 %10 #s(literal 1 binary64) %1341) #s(literal 4 binary64))
(/.f64 (fma.f64 %17 #s(literal -2 binary64) %1285) #s(literal 4 binary64))
(/.f64 (fma.f64 %17 #s(literal -2 binary64) %1288) #s(literal 4 binary64))
(/.f64 (fma.f64 %17 #s(literal 2 binary64) %1291) #s(literal -4 binary64))
(/.f64 (fma.f64 %17 #s(literal 1 binary64) %30) #s(literal -2 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %25)) #s(literal -2 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %30)) #s(literal -2 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) %34) #s(literal 2 binary64))
(/.f64 (fma.f64 %2 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %25)) #s(literal -4 binary64))
(/.f64 (fma.f64 %2 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %30)) #s(literal -4 binary64))
(/.f64 (fma.f64 %2 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %34)) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal -2 binary64) %363) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal -2 binary64) %365) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal -2 binary64) %367) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %369) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %372) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal 4 binary64) %374) #s(literal -8 binary64))
(/.f64 (fma.f64 %25 #s(literal 4 binary64) %377) #s(literal -8 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %379) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %381) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal -4 binary64) %383) #s(literal 8 binary64))
(/.f64 (fma.f64 %25 #s(literal 4 binary64) %385) #s(literal -8 binary64))
(/.f64 (fma.f64 %25 #s(literal -2 binary64) %387) #s(literal 4 binary64))
(/.f64 (fma.f64 %25 #s(literal 1 binary64) %389) #s(literal -2 binary64))
(/.f64 (fma.f64 %25 #s(literal 2 binary64) %391) #s(literal -4 binary64))
(/.f64 (fma.f64 %30 #s(literal -2 binary64) %363) #s(literal 4 binary64))
(/.f64 (fma.f64 %30 #s(literal -2 binary64) %365) #s(literal 4 binary64))
(/.f64 (fma.f64 %30 #s(literal -2 binary64) %367) #s(literal 4 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %369) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %372) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal 4 binary64) %374) #s(literal -8 binary64))
(/.f64 (fma.f64 %30 #s(literal 4 binary64) %377) #s(literal -8 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %379) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %381) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal -4 binary64) %383) #s(literal 8 binary64))
(/.f64 (fma.f64 %30 #s(literal 4 binary64) %385) #s(literal -8 binary64))
(/.f64 (fma.f64 %30 #s(literal -2 binary64) %387) #s(literal 4 binary64))
(/.f64 (fma.f64 %30 #s(literal 1 binary64) %389) #s(literal -2 binary64))
(/.f64 (fma.f64 %30 #s(literal 2 binary64) %391) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal -2 binary64) %417) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal -2 binary64) %419) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal -2 binary64) %421) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %423) #s(literal -8 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %425) #s(literal -8 binary64))
(/.f64 (fma.f64 %34 #s(literal 4 binary64) %427) #s(literal 8 binary64))
(/.f64 (fma.f64 %34 #s(literal 4 binary64) %429) #s(literal 8 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %431) #s(literal -8 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %433) #s(literal -8 binary64))
(/.f64 (fma.f64 %34 #s(literal -4 binary64) %435) #s(literal -8 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %393) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %395) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %397) #s(literal -2 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %399) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %401) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %403) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %405) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %407) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %409) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %411) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %413) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %415) #s(literal -2 binary64))
(/.f64 (-.f64 %1509 %315) #s(literal 4 binary64))
(/.f64 (-.f64 %1512 %318) #s(literal -4 binary64))
(/.f64 (-.f64 %1509 %137) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %1017 #s(literal 1 binary64)) %323) #s(literal -2 binary64))
(/.f64 (-.f64 %1512 %107) #s(literal -4 binary64))
(/.f64 (-.f64 %1522 %328) #s(literal -4 binary64))
(/.f64 (-.f64 %1525 %331) #s(literal 4 binary64))
(/.f64 (-.f64 %1522 %140) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %915 #s(literal 1 binary64)) %336) #s(literal 2 binary64))
(/.f64 (-.f64 %1525 %51) #s(literal 4 binary64))
(/.f64 (-.f64 %1028 %1535) #s(literal 4 binary64))
(/.f64 (-.f64 %1130 %367) #s(literal -4 binary64))
(/.f64 (-.f64 %1028 %1540) #s(literal 4 binary64))
(/.f64 (-.f64 %1068 %1543) #s(literal -8 binary64))
(/.f64 (-.f64 %1049 %1546) #s(literal 8 binary64))
(/.f64 (-.f64 %1049 %1549) #s(literal 8 binary64))
(/.f64 (-.f64 %1068 %383) #s(literal -8 binary64))
(/.f64 (-.f64 %1049 %385) #s(literal 8 binary64))
(/.f64 (-.f64 %1124 %1556) #s(literal -2 binary64))
(/.f64 (-.f64 %1130 %387) #s(literal -4 binary64))
(/.f64 (-.f64 %1028 %391) #s(literal 4 binary64))
(/.f64 (-.f64 %1031 %1535) #s(literal 4 binary64))
(/.f64 (-.f64 %1133 %367) #s(literal -4 binary64))
(/.f64 (-.f64 %1031 %1540) #s(literal 4 binary64))
(/.f64 (-.f64 %1071 %1543) #s(literal -8 binary64))
(/.f64 (-.f64 %1052 %1546) #s(literal 8 binary64))
(/.f64 (-.f64 %1052 %1549) #s(literal 8 binary64))
(/.f64 (-.f64 %1071 %383) #s(literal -8 binary64))
(/.f64 (-.f64 %1052 %385) #s(literal 8 binary64))
(/.f64 (-.f64 %1127 %1556) #s(literal -2 binary64))
(/.f64 (-.f64 %1133 %387) #s(literal -4 binary64))
(/.f64 (-.f64 %1031 %391) #s(literal 4 binary64))
(/.f64 (-.f64 %1034 (*.f64 #s(literal 2 binary64) %1263)) #s(literal -4 binary64))
(/.f64 (-.f64 %1136 %421) #s(literal 4 binary64))
(/.f64 (-.f64 %1034 (*.f64 #s(literal 2 binary64) %1268)) #s(literal -4 binary64))
(/.f64 (-.f64 %304 (*.f64 #s(literal 2 binary64) %541)) #s(literal 8 binary64))
(/.f64 (-.f64 %1055 (*.f64 #s(literal 2 binary64) %35)) #s(literal -8 binary64))
(/.f64 (-.f64 %1055 (*.f64 #s(literal 2 binary64) %545)) #s(literal -8 binary64))
(/.f64 (-.f64 %304 %435) #s(literal 8 binary64))
(/.f64 (-.f64 %1055 %534) #s(literal -8 binary64))
(/.f64 (-.f64 %34 (*.f64 #s(literal 2 binary64) %154)) #s(literal 2 binary64))
(/.f64 (-.f64 %1136 %536) #s(literal 4 binary64))
(/.f64 (-.f64 %1034 %10) #s(literal -4 binary64))
(/.f64 (-.f64 %30 (*.f64 #s(literal 1 binary64) %1263)) #s(literal -2 binary64))
(/.f64 (-.f64 %34 %397) #s(literal 2 binary64))
(/.f64 (-.f64 %30 (*.f64 #s(literal 1 binary64) %1268)) #s(literal -2 binary64))
(/.f64 (-.f64 %1007 (*.f64 #s(literal 1 binary64) %541)) #s(literal 4 binary64))
(/.f64 (-.f64 %1010 (*.f64 #s(literal 1 binary64) %35)) #s(literal -4 binary64))
(/.f64 (-.f64 %1010 (*.f64 #s(literal 1 binary64) %545)) #s(literal -4 binary64))
(/.f64 (-.f64 %1007 %411) #s(literal 4 binary64))
(/.f64 (-.f64 %1010 %413) #s(literal -4 binary64))
(/.f64 (-.f64 %34 %415) #s(literal 2 binary64))
(/.f64 (neg.f64 %933) #s(literal 2 binary64))
(/.f64 (neg.f64 %919) #s(literal -2 binary64))
(/.f64 (neg.f64 %939) #s(literal -4 binary64))
(/.f64 (neg.f64 %943) #s(literal 2 binary64))
(/.f64 (neg.f64 %946) #s(literal -2 binary64))
(/.f64 (neg.f64 %948) #s(literal -8 binary64))
(/.f64 (neg.f64 %950) #s(literal 4 binary64))
(/.f64 (neg.f64 %952) #s(literal -4 binary64))
(/.f64 (neg.f64 %954) #s(literal -4 binary64))
(/.f64 (neg.f64 %956) #s(literal -8 binary64))
(/.f64 (neg.f64 %958) #s(literal 4 binary64))
(/.f64 %933 #s(literal -2 binary64))
(/.f64 %919 #s(literal 2 binary64))
(/.f64 %936 #s(literal -1 binary64))
(/.f64 %939 #s(literal 4 binary64))
(/.f64 %943 #s(literal -2 binary64))
(/.f64 %946 #s(literal 2 binary64))
(/.f64 %948 #s(literal 8 binary64))
(/.f64 %950 #s(literal -4 binary64))
(/.f64 %952 #s(literal 4 binary64))
(/.f64 %954 #s(literal 4 binary64))
(/.f64 %956 #s(literal 8 binary64))
(/.f64 %958 #s(literal -4 binary64))
(/.f64 %926 #s(literal -2 binary64))
(/.f64 %916 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %933))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %919))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %939))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %943))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %946))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %948))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %950))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %952))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %954))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %956))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %958))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %964))
(/.f64 #s(literal 1 binary64) (pow.f64 %964 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %926))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %916))
(/.f64 %964 #s(literal 1 binary64))
(neg.f64 %936)
(fma.f64 %49 #s(literal -1/4 binary64) %1705)
(fma.f64 %49 #s(literal -1/4 binary64) %1707)
(fma.f64 %49 #s(literal -1/4 binary64) %968)
(fma.f64 %56 #s(literal 4 binary64) %1705)
(fma.f64 %56 #s(literal 4 binary64) %1707)
(fma.f64 %56 #s(literal 4 binary64) %968)
(fma.f64 %111 #s(literal 1/8 binary64) %1713)
(fma.f64 %111 #s(literal 1/8 binary64) %78)
(fma.f64 %111 #s(literal 1/8 binary64) x)
(fma.f64 %113 #s(literal 1/4 binary64) %1713)
(fma.f64 %113 #s(literal 1/4 binary64) %78)
(fma.f64 %113 #s(literal 1/4 binary64) x)
(fma.f64 %115 #s(literal 1/2 binary64) %1713)
(fma.f64 %115 #s(literal 1/2 binary64) %78)
(fma.f64 %115 #s(literal 1/2 binary64) x)
(fma.f64 %117 #s(literal 2 binary64) %1713)
(fma.f64 %117 #s(literal 2 binary64) %78)
(fma.f64 %117 #s(literal 2 binary64) x)
(fma.f64 %119 #s(literal 1/8 binary64) %1713)
(fma.f64 %119 #s(literal 1/8 binary64) %78)
(fma.f64 %119 #s(literal 1/8 binary64) x)
(fma.f64 %121 #s(literal 1/4 binary64) %1713)
(fma.f64 %121 #s(literal 1/4 binary64) %78)
(fma.f64 %121 #s(literal 1/4 binary64) x)
(fma.f64 %619 #s(literal 1/4 binary64) %942)
(fma.f64 %621 #s(literal 1/2 binary64) %942)
(fma.f64 %623 #s(literal -1/4 binary64) %942)
(fma.f64 %123 #s(literal -1/4 binary64) %1713)
(fma.f64 %123 #s(literal -1/4 binary64) %78)
(fma.f64 %123 #s(literal -1/4 binary64) x)
(fma.f64 #s(literal 3/4 binary64) %63 %588)
(fma.f64 #s(literal 3/4 binary64) %63 %590)
(fma.f64 #s(literal 3/4 binary64) %63 %177)
(fma.f64 #s(literal 3/2 binary64) x %588)
(fma.f64 #s(literal 3/2 binary64) x %590)
(fma.f64 #s(literal 3/2 binary64) x %177)
(fma.f64 %12 #s(literal 1/4 binary64) %1713)
(fma.f64 %12 #s(literal 1/4 binary64) %78)
(fma.f64 %12 #s(literal 1/4 binary64) x)
(fma.f64 %8 #s(literal 2 binary64) %1713)
(fma.f64 %8 #s(literal 2 binary64) %78)
(fma.f64 %8 #s(literal 2 binary64) x)
(fma.f64 %58 #s(literal 1/8 binary64) %1705)
(fma.f64 %58 #s(literal 1/8 binary64) %1707)
(fma.f64 %58 #s(literal 1/8 binary64) %968)
(fma.f64 %61 #s(literal 1/2 binary64) %1705)
(fma.f64 %61 #s(literal 1/2 binary64) %1707)
(fma.f64 %61 #s(literal 1/2 binary64) %968)
(fma.f64 %63 #s(literal 1/4 binary64) %1705)
(fma.f64 %63 #s(literal 1/4 binary64) %1707)
(fma.f64 %63 #s(literal 1/4 binary64) %968)
(fma.f64 %66 #s(literal 2 binary64) %1705)
(fma.f64 %66 #s(literal 2 binary64) %1707)
(fma.f64 %66 #s(literal 2 binary64) %968)
(fma.f64 %68 #s(literal 2 binary64) %1705)
(fma.f64 %68 #s(literal 2 binary64) %1707)
(fma.f64 %68 #s(literal 2 binary64) %968)
(fma.f64 #s(literal 6 binary64) %68 %588)
(fma.f64 #s(literal 6 binary64) %68 %590)
(fma.f64 #s(literal 6 binary64) %68 %177)
(fma.f64 %127 #s(literal -1/2 binary64) %1713)
(fma.f64 %127 #s(literal -1/2 binary64) %78)
(fma.f64 %127 #s(literal -1/2 binary64) x)
(fma.f64 %235 #s(literal -1/2 binary64) %942)
(fma.f64 %129 #s(literal -1/2 binary64) %1713)
(fma.f64 %129 #s(literal -1/2 binary64) %78)
(fma.f64 %129 #s(literal -1/2 binary64) x)
(fma.f64 #s(literal -1/4 binary64) %123 %1713)
(fma.f64 #s(literal -1/4 binary64) %123 %78)
(fma.f64 #s(literal -1/4 binary64) %123 x)
(fma.f64 #s(literal 3 binary64) %55 %588)
(fma.f64 #s(literal 3 binary64) %55 %590)
(fma.f64 #s(literal 3 binary64) %55 %177)
(fma.f64 %46 #s(literal -1/2 binary64) %1713)
(fma.f64 %46 #s(literal -1/2 binary64) %78)
(fma.f64 %46 #s(literal -1/2 binary64) x)
(fma.f64 %70 #s(literal -1/2 binary64) %1705)
(fma.f64 %70 #s(literal -1/2 binary64) %1707)
(fma.f64 %70 #s(literal -1/2 binary64) %968)
(fma.f64 #s(literal 1/4 binary64) %12 %1713)
(fma.f64 #s(literal 1/4 binary64) %12 %78)
(fma.f64 #s(literal 1/4 binary64) %12 x)
(fma.f64 #s(literal 1/4 binary64) %63 %1705)
(fma.f64 #s(literal 1/4 binary64) %63 %1707)
(fma.f64 #s(literal 1/4 binary64) %63 %968)
(fma.f64 #s(literal 1/4 binary64) %34 %1705)
(fma.f64 #s(literal 1/4 binary64) %34 %1707)
(fma.f64 #s(literal 1/4 binary64) %34 %968)
(fma.f64 %1017 #s(literal -1/2 binary64) %588)
(fma.f64 %1017 #s(literal -1/2 binary64) %590)
(fma.f64 %1017 #s(literal -1/2 binary64) %177)
(fma.f64 %74 #s(literal -1/2 binary64) %1705)
(fma.f64 %74 #s(literal -1/2 binary64) %1707)
(fma.f64 %74 #s(literal -1/2 binary64) %968)
(fma.f64 %135 #s(literal -1/4 binary64) %1713)
(fma.f64 %135 #s(literal -1/4 binary64) %78)
(fma.f64 %135 #s(literal -1/4 binary64) x)
(fma.f64 %76 #s(literal -1 binary64) %1705)
(fma.f64 %76 #s(literal -1 binary64) %1707)
(fma.f64 %76 #s(literal -1 binary64) %968)
(fma.f64 %138 #s(literal -1/4 binary64) %1713)
(fma.f64 %138 #s(literal -1/4 binary64) %78)
(fma.f64 %138 #s(literal -1/4 binary64) x)
(fma.f64 %141 #s(literal 1/4 binary64) %1713)
(fma.f64 %141 #s(literal 1/4 binary64) %78)
(fma.f64 %141 #s(literal 1/4 binary64) x)
(fma.f64 %143 #s(literal 1/4 binary64) %1713)
(fma.f64 %143 #s(literal 1/4 binary64) %78)
(fma.f64 %143 #s(literal 1/4 binary64) x)
(fma.f64 %145 #s(literal -1/4 binary64) %1713)
(fma.f64 %145 #s(literal -1/4 binary64) %78)
(fma.f64 %145 #s(literal -1/4 binary64) x)
(fma.f64 %147 #s(literal -1/4 binary64) %1713)
(fma.f64 %147 #s(literal -1/4 binary64) %78)
(fma.f64 %147 #s(literal -1/4 binary64) x)
(fma.f64 %78 #s(literal 1/2 binary64) %1705)
(fma.f64 %78 #s(literal 1/2 binary64) %1707)
(fma.f64 %78 #s(literal 1/2 binary64) %968)
(fma.f64 %37 #s(literal -1/4 binary64) %1713)
(fma.f64 %37 #s(literal -1/4 binary64) %78)
(fma.f64 %37 #s(literal -1/4 binary64) x)
(fma.f64 %915 #s(literal 1/2 binary64) %588)
(fma.f64 %915 #s(literal 1/2 binary64) %590)
(fma.f64 %915 #s(literal 1/2 binary64) %177)
(fma.f64 #s(literal -1/2 binary64) %150 %1713)
(fma.f64 #s(literal -1/2 binary64) %150 %78)
(fma.f64 #s(literal -1/2 binary64) %150 x)
(fma.f64 #s(literal -1/2 binary64) %46 %1713)
(fma.f64 #s(literal -1/2 binary64) %46 %78)
(fma.f64 #s(literal -1/2 binary64) %46 x)
(fma.f64 #s(literal -1/2 binary64) %74 %1705)
(fma.f64 #s(literal -1/2 binary64) %74 %1707)
(fma.f64 #s(literal -1/2 binary64) %74 %968)
(fma.f64 #s(literal -1/2 binary64) %17 %1713)
(fma.f64 #s(literal -1/2 binary64) %17 %78)
%964
(fma.f64 %177 #s(literal 1 binary64) %942)
(fma.f64 #s(literal 4 binary64) %56 %1705)
(fma.f64 #s(literal 4 binary64) %56 %1707)
(fma.f64 #s(literal 4 binary64) %56 %968)
(fma.f64 %10 #s(literal 1/4 binary64) %1713)
(fma.f64 %10 #s(literal 1/4 binary64) %78)
(fma.f64 %10 #s(literal 1/4 binary64) x)
(fma.f64 %24 #s(literal -1/2 binary64) %1705)
(fma.f64 %24 #s(literal -1/2 binary64) %1707)
(fma.f64 %24 #s(literal -1/2 binary64) %968)
(fma.f64 #s(literal -1 binary64) %76 %1705)
(fma.f64 #s(literal -1 binary64) %76 %1707)
(fma.f64 #s(literal -1 binary64) %76 %968)
(fma.f64 #s(literal -1 binary64) %154 %1713)
(fma.f64 #s(literal -1 binary64) %154 %78)
(fma.f64 #s(literal -1 binary64) %154 x)
(fma.f64 %22 #s(literal 1/2 binary64) %942)
(fma.f64 %154 #s(literal -1 binary64) %1713)
(fma.f64 %154 #s(literal -1 binary64) %78)
(fma.f64 %154 #s(literal -1 binary64) x)
(fma.f64 #s(literal 1/2 binary64) %115 %1713)
(fma.f64 #s(literal 1/2 binary64) %115 %78)
(fma.f64 #s(literal 1/2 binary64) %115 x)
(fma.f64 #s(literal 1/2 binary64) %61 %1705)
(fma.f64 #s(literal 1/2 binary64) %61 %1707)
(fma.f64 #s(literal 1/2 binary64) %61 %968)
(fma.f64 #s(literal 1/2 binary64) %2 %1713)
(fma.f64 #s(literal 1/2 binary64) %2 %78)
(fma.f64 #s(literal 1/2 binary64) %2 x)
(fma.f64 #s(literal 1/2 binary64) x %1705)
(fma.f64 #s(literal 1/2 binary64) x %1707)
(fma.f64 #s(literal 1/2 binary64) x %968)
(fma.f64 %34 #s(literal 1/4 binary64) %1705)
(fma.f64 %34 #s(literal 1/4 binary64) %1707)
(fma.f64 %34 #s(literal 1/4 binary64) %968)
(fma.f64 %97 #s(literal -1 binary64) %942)
(fma.f64 %55 #s(literal 1 binary64) %1705)
(fma.f64 %55 #s(literal 1 binary64) %1707)
(fma.f64 %55 #s(literal 1 binary64) %968)
(fma.f64 %17 #s(literal -1/2 binary64) %1713)
(fma.f64 %17 #s(literal -1/2 binary64) %78)
(fma.f64 %17 #s(literal -1/2 binary64) x)
(fma.f64 #s(literal 1 binary64) %55 %1705)
(fma.f64 #s(literal 1 binary64) %55 %1707)
(fma.f64 #s(literal 1 binary64) %55 %968)
(fma.f64 #s(literal 1 binary64) %18 %1713)
(fma.f64 #s(literal 1 binary64) %18 %78)
(fma.f64 #s(literal 1 binary64) %18 x)
(fma.f64 %18 #s(literal 1 binary64) %1713)
(fma.f64 %18 #s(literal 1 binary64) %78)
(fma.f64 %18 #s(literal 1 binary64) x)
(fma.f64 #s(literal 2 binary64) %117 %1713)
(fma.f64 #s(literal 2 binary64) %117 %78)
(fma.f64 #s(literal 2 binary64) %117 x)
(fma.f64 #s(literal 2 binary64) %8 %1713)
(fma.f64 #s(literal 2 binary64) %8 %78)
(fma.f64 #s(literal 2 binary64) %8 x)
(fma.f64 #s(literal 2 binary64) %66 %1705)
(fma.f64 #s(literal 2 binary64) %66 %1707)
(fma.f64 #s(literal 2 binary64) %66 %968)
(fma.f64 #s(literal 2 binary64) %68 %1705)
(fma.f64 #s(literal 2 binary64) %68 %1707)
(fma.f64 #s(literal 2 binary64) %68 %968)
(fma.f64 %2 #s(literal 1/2 binary64) %1713)
(fma.f64 %2 #s(literal 1/2 binary64) %78)
(fma.f64 %2 #s(literal 1/2 binary64) x)
(fma.f64 y #s(literal -1/2 binary64) %942)
(fma.f64 x #s(literal 1/2 binary64) %1705)
(fma.f64 x #s(literal 1/2 binary64) %1707)
(fma.f64 x #s(literal 1/2 binary64) %968)
(-.f64 (/.f64 %999 #s(literal -2 binary64)) %97)
(-.f64 (/.f64 %945 #s(literal 2 binary64)) %97)
(-.f64 %968 %884)
(-.f64 %968 %76)
(-.f64 %942 %97)
(-.f64 %177 (/.f64 %915 #s(literal -2 binary64)))
(-.f64 %55 (neg.f64 %1707))
(-.f64 %55 (-.f64 %97 x))
(-.f64 %18 (/.f64 %25 #s(literal 2 binary64)))
(-.f64 %18 %93)
(-.f64 %18 %70)
(-.f64 %18 %74)
(-.f64 %18 %24)
(-.f64 x %154)
(+.f64 (/.f64 %1007 #s(literal 4 binary64)) %18)
(+.f64 (/.f64 %304 #s(literal 8 binary64)) %18)
(+.f64 (/.f64 (+.f64 %2 x) #s(literal 2 binary64)) %55)
(+.f64 %968 %55)
(+.f64 %942 %588)
(+.f64 %942 %590)
(+.f64 %942 %177)
(+.f64 %177 %942)
(+.f64 %55 %1705)
(+.f64 %55 %1707)
(+.f64 %55 %968)
(+.f64 %18 %1713)
(+.f64 %18 %78)
(+.f64 %18 x)
(+.f64 x %18)
reconstruct186.0ms (10.4%)
Counts
1 235 → 29
Compiler
Compiled 1 235 to 2 002 computations (-62.1% saved)
eval3.0ms (0.1%)
Compiler
Compiled 27 to 100 computations (-270.4% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (4 fresh and 0 done)
PrunedKeptTotal
New23427
Fresh000
Picked101
Done000
Total24428
Accuracy
100.0%
Counts
28 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 #s(literal 3/2 binary64) x (*.f64 #s(literal -1/2 binary64) y))
▶99.8%
(fma.f64 #s(literal -1/2 binary64) (-.f64 y x) x)
▶59.5%
(+.f64 x (approx (/ (- x y) 2) (*.f64 #s(literal -1/2 binary64) y)))
▶49.7%
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) x))
Compiler
Compiled 4 to 10 computations (-150.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series12.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
099343
Stop Event
1×iter-limit
Counts
12 → 27
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal -1/2 binary64) y)
%6 = (/ (- x y) 2)
%7 = (approx %6 %3)
%9 = (*.f64 #s(literal 3/2 binary64) x)
%12 = (-.f64 y x)
x
y
#s(literal -1/2 binary64)
%3
%7
#s(literal 3/2 binary64)
%9
(approx (+ x %6) %9)
%12
(fma.f64 #s(literal -1/2 binary64) %12 x)
(fma.f64 #s(literal 3/2 binary64) x %3)
(+.f64 x %7)
Outputs
%7 = (/ (- x y) 2)
%12 = (*.f64 #s(literal 1/2 binary64) x)
%13 = (fma.f64 #s(literal -1/2 binary64) y %12)
%16 = (* 3/2 x)
%18 = (*.f64 #s(literal 3/2 binary64) x)
%20 = (+ x %7)
%23 = (- y x)
%26 = (*.f64 #s(literal -1 binary64) x)
%30 = (/.f64 y x)
%31 = (*.f64 #s(literal -1/2 binary64) %30)
%43 = (*.f64 #s(literal 1/2 binary64) %30)
%57 = (+.f64 x %12)
%63 = (/.f64 x y)
%78 = (+ %16 (* -1/2 y))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 (*.f64 #s(literal -1/2 binary64) y))
(approx %7 %13)
(approx %16 %18)
(approx %20 (fma.f64 #s(literal -1/2 binary64) y %18))
(approx %23 y)
(approx %23 (+.f64 y %26))
(approx %7 %12)
(approx %7 (*.f64 x (+.f64 #s(literal 1/2 binary64) %31)))
(approx %20 (*.f64 x (+.f64 #s(literal 3/2 binary64) %31)))
(approx %23 %26)
(approx %23 (*.f64 x (-.f64 %30 #s(literal 1 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %43 #s(literal 1/2 binary64)))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %43 #s(literal 3/2 binary64)))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %30)))))
(approx %20 %57)
(approx %20 (+.f64 x %13))
(approx %23 (-.f64 y x))
(approx %7 (*.f64 y (-.f64 (*.f64 #s(literal 1/2 binary64) %63) #s(literal 1/2 binary64))))
(approx %20 (*.f64 y (-.f64 (fma.f64 #s(literal 1/2 binary64) %63 %63) #s(literal 1/2 binary64))))
(approx %23 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %63))))
(approx %78 (*.f64 y (-.f64 (*.f64 #s(literal 3/2 binary64) %63) #s(literal 1/2 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) %63)))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %57 y))))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %63 #s(literal 1 binary64)))))
(approx %78 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -3/2 binary64) %63)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
x
0
rewrite99.0ms (5.6%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01656
02456
18255
223355
392155
0405155
0416455
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
12 → 1 520
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal -1/2 binary64) y)
%6 = (/ (- x y) 2)
%7 = (approx %6 %3)
%9 = (*.f64 #s(literal 3/2 binary64) x)
%12 = (-.f64 y x)
x
y
#s(literal -1/2 binary64)
%3
%7
#s(literal 3/2 binary64)
%9
(approx (+ x %6) %9)
%12
(fma.f64 #s(literal -1/2 binary64) %12 x)
(fma.f64 #s(literal 3/2 binary64) x %3)
(+.f64 x %7)
Outputs
%3 = (neg.f64 y)
%5 = (/.f64 %3 #s(literal 1 binary64))
%8 = (/.f64 %3 #s(literal 1/2 binary64))
%11 = (/.f64 y #s(literal 1/2 binary64))
%16 = (*.f64 #s(literal -1/2 binary64) y)
%19 = (*.f64 #s(literal 1/2 binary64) y)
%24 = (/.f64 y #s(literal -1 binary64))
%45 = (/ (- x y) 2)
%46 = (approx %45 %16)
%50 = (neg.f64 %46)
%54 = (/.f64 x #s(literal 1/2 binary64))
%58 = (/.f64 x #s(literal 4 binary64))
%61 = (*.f64 #s(literal 1/2 binary64) x)
%63 = (*.f64 #s(literal 3/2 binary64) x)
%66 = (neg.f64 x)
%67 = (*.f64 %66 #s(literal 2 binary64))
%76 = (*.f64 #s(literal -2 binary64) x)
%83 = (*.f64 #s(literal 1 binary64) %66)
%86 = (*.f64 #s(literal -1 binary64) x)
%91 = (*.f64 %66 #s(literal 1 binary64))
%100 = (*.f64 #s(literal -2 binary64) %67)
%103 = (*.f64 #s(literal -2 binary64) %76)
%106 = (+.f64 x x)
%107 = (*.f64 #s(literal -2 binary64) %106)
%135 = (*.f64 #s(literal 1 binary64) %67)
%138 = (*.f64 #s(literal 1 binary64) %76)
%141 = (*.f64 #s(literal 2 binary64) %67)
%144 = (*.f64 #s(literal 2 binary64) %76)
%147 = (*.f64 #s(literal 2 binary64) %106)
%150 = (*.f64 #s(literal -2 binary64) %83)
%153 = (*.f64 #s(literal -2 binary64) %86)
%156 = (*.f64 #s(literal -2 binary64) %91)
%159 = (*.f64 #s(literal -2 binary64) %66)
%162 = (*.f64 #s(literal -2 binary64) %61)
%188 = (*.f64 #s(literal 2 binary64) %66)
%204 = (*.f64 %67 #s(literal 2 binary64))
%207 = (*.f64 %67 #s(literal -2 binary64))
%210 = (*.f64 %76 #s(literal 2 binary64))
%213 = (*.f64 %76 #s(literal -2 binary64))
%216 = (*.f64 %106 #s(literal 2 binary64))
%219 = (*.f64 %106 #s(literal -2 binary64))
%226 = (fma.f64 #s(literal -2 binary64) x %66)
%229 = (*.f64 #s(literal 3 binary64) x)
%237 = (/.f64 %66 #s(literal 1 binary64))
%239 = (/.f64 %66 #s(literal 1/2 binary64))
%241 = (/.f64 %61 #s(literal 4 binary64))
%243 = (/.f64 %106 #s(literal 1/2 binary64))
%246 = (/.f64 %61 #s(literal 1/2 binary64))
%250 = (/.f64 %61 #s(literal 2 binary64))
%256 = (*.f64 #s(literal -1/2 binary64) x)
%278 = (approx (+ %45 x) %63)
%282 = (-.f64 y x)
%286 = (-.f64 x y)
%291 = (-.f64 %229 y)
%293 = (*.f64 (/.f64 %291 #s(literal 4 binary64)) #s(literal 2 binary64))
%294 = (*.f64 %291 #s(literal 1 binary64))
%296 = (*.f64 (/.f64 %294 #s(literal 1/2 binary64)) #s(literal 1/4 binary64))
%298 = (*.f64 (/.f64 %294 #s(literal 1 binary64)) #s(literal 1/2 binary64))
%299 = (-.f64 y %229)
%301 = (*.f64 (/.f64 %299 #s(literal 1/2 binary64)) #s(literal -1/4 binary64))
%303 = (*.f64 (/.f64 %299 #s(literal 1 binary64)) #s(literal -1/2 binary64))
%304 = (/.f64 %291 #s(literal 1/2 binary64))
%305 = (*.f64 %304 #s(literal 1/4 binary64))
%306 = (/.f64 %291 #s(literal 1 binary64))
%307 = (*.f64 %306 #s(literal 1/2 binary64))
%308 = (*.f64 %294 #s(literal 1/2 binary64))
%309 = (*.f64 #s(literal 1/4 binary64) %304)
%311 = (*.f64 #s(literal -3/2 binary64) x)
%312 = (fma.f64 #s(literal 1/2 binary64) y %311)
%313 = (*.f64 %312 #s(literal -1 binary64))
%314 = (*.f64 %299 #s(literal -1/2 binary64))
%315 = (*.f64 #s(literal 1/2 binary64) %306)
%316 = (*.f64 #s(literal 1/2 binary64) %291)
%317 = (*.f64 %291 #s(literal 1/2 binary64))
%318 = (fma.f64 #s(literal 1/2 binary64) %286 x)
%319 = (*.f64 #s(literal 1 binary64) %318)
%320 = (*.f64 %318 #s(literal 1 binary64))
%321 = (pow.f64 %318 #s(literal 1 binary64))
%323 = (/.f64 (+.f64 y %226) #s(literal -2 binary64))
%325 = (/.f64 (fma.f64 %286 #s(literal -1 binary64) %67) #s(literal -2 binary64))
%327 = (/.f64 (fma.f64 #s(literal -1 binary64) %286 %67) #s(literal -2 binary64))
%329 = (/.f64 (fma.f64 #s(literal 1 binary64) %282 %67) #s(literal -2 binary64))
%331 = (/.f64 (fma.f64 %282 #s(literal 1 binary64) %67) #s(literal -2 binary64))
%332 = (fma.f64 %16 #s(literal -2 binary64) %66)
%334 = (/.f64 (+.f64 %332 %67) #s(literal -2 binary64))
%336 = (-.f64 (*.f64 %16 #s(literal -2 binary64)) x)
%338 = (/.f64 (+.f64 %336 %67) #s(literal -2 binary64))
%339 = (-.f64 %86 %3)
%341 = (/.f64 (+.f64 %339 %67) #s(literal -2 binary64))
%343 = (/.f64 (+.f64 %282 %67) #s(literal -2 binary64))
%345 = (/.f64 (fma.f64 %286 #s(literal -1 binary64) %76) #s(literal -2 binary64))
%347 = (/.f64 (fma.f64 #s(literal -1 binary64) %286 %76) #s(literal -2 binary64))
%349 = (/.f64 (fma.f64 #s(literal 1 binary64) %282 %76) #s(literal -2 binary64))
%351 = (/.f64 (+.f64 %332 %76) #s(literal -2 binary64))
%353 = (/.f64 (+.f64 %336 %76) #s(literal -2 binary64))
%355 = (/.f64 (+.f64 %339 %76) #s(literal -2 binary64))
%356 = (*.f64 #s(literal 1/2 binary64) %286)
%358 = (/.f64 (fma.f64 #s(literal 2 binary64) %356 %106) #s(literal 2 binary64))
%359 = (fma.f64 %16 #s(literal 2 binary64) x)
%361 = (/.f64 (+.f64 %359 %106) #s(literal 2 binary64))
%362 = (*.f64 %286 #s(literal -1 binary64))
%364 = (/.f64 (fma.f64 %66 #s(literal 2 binary64) %362) #s(literal -2 binary64))
%366 = (/.f64 (fma.f64 #s(literal -2 binary64) x %362) #s(literal -2 binary64))
%367 = (*.f64 #s(literal -1 binary64) %286)
%369 = (/.f64 (fma.f64 %66 #s(literal 2 binary64) %367) #s(literal -2 binary64))
%371 = (/.f64 (fma.f64 #s(literal -2 binary64) x %367) #s(literal -2 binary64))
%372 = (*.f64 #s(literal 1 binary64) %282)
%374 = (/.f64 (fma.f64 %66 #s(literal 2 binary64) %372) #s(literal -2 binary64))
%375 = (*.f64 #s(literal 2 binary64) %356)
%377 = (/.f64 (fma.f64 #s(literal 2 binary64) x %375) #s(literal 2 binary64))
%378 = (*.f64 %282 #s(literal 1 binary64))
%380 = (/.f64 (fma.f64 %66 #s(literal 2 binary64) %378) #s(literal -2 binary64))
%382 = (/.f64 (fma.f64 #s(literal -2 binary64) x %378) #s(literal -2 binary64))
%384 = (/.f64 (fma.f64 %66 #s(literal 2 binary64) %332) #s(literal -2 binary64))
%386 = (/.f64 (fma.f64 #s(literal -2 binary64) x %332) #s(literal -2 binary64))
%388 = (/.f64 (fma.f64 #s(literal 2 binary64) x %359) #s(literal 2 binary64))
%390 = (/.f64 (fma.f64 %66 #s(literal 2 binary64) %336) #s(literal -2 binary64))
%392 = (/.f64 (fma.f64 #s(literal -2 binary64) x %336) #s(literal -2 binary64))
%394 = (/.f64 (fma.f64 %66 #s(literal 2 binary64) %339) #s(literal -2 binary64))
%396 = (/.f64 (fma.f64 #s(literal -2 binary64) x %339) #s(literal -2 binary64))
%398 = (/.f64 (fma.f64 %66 #s(literal 2 binary64) %282) #s(literal -2 binary64))
%399 = (*.f64 %3 #s(literal 1 binary64))
%401 = (/.f64 (-.f64 %226 %399) #s(literal -2 binary64))
%402 = (*.f64 y #s(literal -1 binary64))
%404 = (/.f64 (-.f64 %226 %402) #s(literal -2 binary64))
%405 = (*.f64 #s(literal -1 binary64) y)
%407 = (/.f64 (-.f64 %226 %405) #s(literal -2 binary64))
%408 = (*.f64 #s(literal 1 binary64) %3)
%410 = (/.f64 (-.f64 %226 %408) #s(literal -2 binary64))
%412 = (/.f64 (-.f64 %226 %3) #s(literal -2 binary64))
%413 = (*.f64 %282 #s(literal -1 binary64))
%415 = (/.f64 (-.f64 %67 %413) #s(literal -2 binary64))
%417 = (/.f64 (-.f64 %76 %413) #s(literal -2 binary64))
%418 = (*.f64 #s(literal -1 binary64) %282)
%420 = (/.f64 (-.f64 %67 %418) #s(literal -2 binary64))
%422 = (/.f64 (-.f64 %76 %418) #s(literal -2 binary64))
%424 = (/.f64 (-.f64 %106 %378) #s(literal 2 binary64))
%426 = (-.f64 (*.f64 %19 #s(literal -2 binary64)) %66)
%428 = (/.f64 (-.f64 %67 %426) #s(literal -2 binary64))
%430 = (/.f64 (-.f64 %76 %426) #s(literal -2 binary64))
%433 = (/.f64 (fma.f64 %226 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %16)) #s(literal -2 binary64))
%434 = (*.f64 #s(literal -2 binary64) %3)
%436 = (/.f64 (fma.f64 %226 #s(literal 2 binary64) %434) #s(literal -4 binary64))
%437 = (*.f64 #s(literal -2 binary64) y)
%439 = (/.f64 (fma.f64 %226 #s(literal -2 binary64) %437) #s(literal 4 binary64))
%442 = (/.f64 (fma.f64 %229 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) %16)) #s(literal 2 binary64))
%443 = (*.f64 #s(literal 2 binary64) %3)
%445 = (/.f64 (fma.f64 %229 #s(literal 2 binary64) %443) #s(literal 4 binary64))
%446 = (+.f64 y y)
%448 = (/.f64 (fma.f64 %229 #s(literal -2 binary64) %446) #s(literal -4 binary64))
%451 = (/.f64 (fma.f64 %16 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %226)) #s(literal -2 binary64))
%454 = (/.f64 (fma.f64 %16 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %229)) #s(literal 2 binary64))
%457 = (/.f64 (fma.f64 %3 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %226)) #s(literal -4 binary64))
%460 = (/.f64 (fma.f64 %3 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %229)) #s(literal 4 binary64))
%463 = (/.f64 (fma.f64 y #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %226)) #s(literal 4 binary64))
%466 = (/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal -2 binary64) %229)) #s(literal -4 binary64))
%468 = (/.f64 (fma.f64 %362 #s(literal -2 binary64) %100) #s(literal 4 binary64))
%470 = (/.f64 (fma.f64 %362 #s(literal -2 binary64) %103) #s(literal 4 binary64))
%472 = (/.f64 (fma.f64 %362 #s(literal 2 binary64) %107) #s(literal -4 binary64))
%474 = (/.f64 (fma.f64 %362 #s(literal 1 binary64) %76) #s(literal -2 binary64))
%476 = (/.f64 (fma.f64 %367 #s(literal -2 binary64) %100) #s(literal 4 binary64))
%478 = (/.f64 (fma.f64 %367 #s(literal -2 binary64) %103) #s(literal 4 binary64))
%480 = (/.f64 (fma.f64 %367 #s(literal 2 binary64) %107) #s(literal -4 binary64))
%482 = (/.f64 (fma.f64 %367 #s(literal 1 binary64) %76) #s(literal -2 binary64))
%484 = (/.f64 (fma.f64 %372 #s(literal -2 binary64) %100) #s(literal 4 binary64))
%486 = (/.f64 (fma.f64 %372 #s(literal -2 binary64) %103) #s(literal 4 binary64))
%488 = (/.f64 (fma.f64 %372 #s(literal 2 binary64) %107) #s(literal -4 binary64))
%490 = (/.f64 (fma.f64 %372 #s(literal 1 binary64) %76) #s(literal -2 binary64))
%492 = (/.f64 (fma.f64 %375 #s(literal -2 binary64) %141) #s(literal -4 binary64))
%494 = (/.f64 (fma.f64 %375 #s(literal -2 binary64) %144) #s(literal -4 binary64))
%496 = (/.f64 (fma.f64 %375 #s(literal 2 binary64) %147) #s(literal 4 binary64))
%498 = (/.f64 (fma.f64 %375 #s(literal 1 binary64) %106) #s(literal 2 binary64))
%500 = (/.f64 (fma.f64 %378 #s(literal -2 binary64) %100) #s(literal 4 binary64))
%502 = (/.f64 (fma.f64 %378 #s(literal -2 binary64) %103) #s(literal 4 binary64))
%504 = (/.f64 (fma.f64 %378 #s(literal 2 binary64) %107) #s(literal -4 binary64))
%506 = (/.f64 (fma.f64 %378 #s(literal 1 binary64) %76) #s(literal -2 binary64))
%508 = (/.f64 (fma.f64 %332 #s(literal -2 binary64) %100) #s(literal 4 binary64))
%510 = (/.f64 (fma.f64 %332 #s(literal -2 binary64) %103) #s(literal 4 binary64))
%512 = (/.f64 (fma.f64 %332 #s(literal 2 binary64) %107) #s(literal -4 binary64))
%514 = (/.f64 (fma.f64 %332 #s(literal 1 binary64) %76) #s(literal -2 binary64))
%516 = (/.f64 (fma.f64 %359 #s(literal -2 binary64) %141) #s(literal -4 binary64))
%518 = (/.f64 (fma.f64 %359 #s(literal -2 binary64) %144) #s(literal -4 binary64))
%520 = (/.f64 (fma.f64 %359 #s(literal 2 binary64) %147) #s(literal 4 binary64))
%522 = (/.f64 (fma.f64 %359 #s(literal 1 binary64) %106) #s(literal 2 binary64))
%524 = (/.f64 (fma.f64 %336 #s(literal -2 binary64) %100) #s(literal 4 binary64))
%526 = (/.f64 (fma.f64 %336 #s(literal -2 binary64) %103) #s(literal 4 binary64))
%528 = (/.f64 (fma.f64 %336 #s(literal 2 binary64) %107) #s(literal -4 binary64))
%530 = (/.f64 (fma.f64 %336 #s(literal 1 binary64) %76) #s(literal -2 binary64))
%532 = (/.f64 (fma.f64 %339 #s(literal -2 binary64) %100) #s(literal 4 binary64))
%534 = (/.f64 (fma.f64 %339 #s(literal -2 binary64) %103) #s(literal 4 binary64))
%536 = (/.f64 (fma.f64 %339 #s(literal 2 binary64) %107) #s(literal -4 binary64))
%538 = (/.f64 (fma.f64 %339 #s(literal 1 binary64) %76) #s(literal -2 binary64))
%539 = (*.f64 %66 #s(literal -2 binary64))
%540 = (fma.f64 y #s(literal -2 binary64) %539)
%541 = (*.f64 #s(literal 4 binary64) %67)
%544 = (/.f64 (fma.f64 %540 #s(literal -2 binary64) %541) #s(literal -8 binary64))
%545 = (*.f64 #s(literal 4 binary64) %76)
%547 = (/.f64 (fma.f64 %540 #s(literal -2 binary64) %545) #s(literal -8 binary64))
%548 = (*.f64 #s(literal 4 binary64) %106)
%551 = (/.f64 (fma.f64 %540 #s(literal 2 binary64) %548) #s(literal 8 binary64))
%552 = (*.f64 #s(literal 4 binary64) x)
%554 = (/.f64 (fma.f64 %540 #s(literal 1 binary64) %552) #s(literal 4 binary64))
%555 = (*.f64 %3 #s(literal -2 binary64))
%556 = (fma.f64 %66 #s(literal 2 binary64) %555)
%557 = (*.f64 #s(literal -4 binary64) %67)
%559 = (/.f64 (fma.f64 %556 #s(literal -2 binary64) %557) #s(literal 8 binary64))
%560 = (*.f64 #s(literal -4 binary64) %76)
%562 = (/.f64 (fma.f64 %556 #s(literal -2 binary64) %560) #s(literal 8 binary64))
%563 = (*.f64 #s(literal -4 binary64) %106)
%565 = (/.f64 (fma.f64 %556 #s(literal 2 binary64) %563) #s(literal -8 binary64))
%566 = (*.f64 #s(literal -4 binary64) x)
%568 = (/.f64 (fma.f64 %556 #s(literal 1 binary64) %566) #s(literal -4 binary64))
%569 = (*.f64 %3 #s(literal 2 binary64))
%570 = (fma.f64 #s(literal 2 binary64) x %569)
%572 = (/.f64 (fma.f64 %570 #s(literal -2 binary64) %541) #s(literal -8 binary64))
%574 = (/.f64 (fma.f64 %570 #s(literal -2 binary64) %545) #s(literal -8 binary64))
%576 = (/.f64 (fma.f64 %570 #s(literal 2 binary64) %548) #s(literal 8 binary64))
%578 = (/.f64 (fma.f64 %570 #s(literal 1 binary64) %552) #s(literal 4 binary64))
%579 = (fma.f64 y #s(literal -2 binary64) %159)
%581 = (/.f64 (fma.f64 %579 #s(literal -2 binary64) %541) #s(literal -8 binary64))
%583 = (/.f64 (fma.f64 %579 #s(literal -2 binary64) %545) #s(literal -8 binary64))
%585 = (/.f64 (fma.f64 %579 #s(literal 2 binary64) %548) #s(literal 8 binary64))
%587 = (/.f64 (fma.f64 %579 #s(literal 1 binary64) %552) #s(literal 4 binary64))
%588 = (fma.f64 #s(literal 2 binary64) y %76)
%590 = (/.f64 (fma.f64 %588 #s(literal -2 binary64) %557) #s(literal 8 binary64))
%592 = (/.f64 (fma.f64 %588 #s(literal -2 binary64) %560) #s(literal 8 binary64))
%594 = (/.f64 (fma.f64 %588 #s(literal 2 binary64) %563) #s(literal -8 binary64))
%596 = (/.f64 (fma.f64 %588 #s(literal 1 binary64) %566) #s(literal -4 binary64))
%597 = (fma.f64 %66 #s(literal 2 binary64) %434)
%599 = (/.f64 (fma.f64 %597 #s(literal -2 binary64) %557) #s(literal 8 binary64))
%601 = (/.f64 (fma.f64 %597 #s(literal -2 binary64) %560) #s(literal 8 binary64))
%603 = (/.f64 (fma.f64 %597 #s(literal 2 binary64) %563) #s(literal -8 binary64))
%605 = (/.f64 (fma.f64 %597 #s(literal 1 binary64) %566) #s(literal -4 binary64))
%606 = (fma.f64 #s(literal 2 binary64) x %443)
%608 = (/.f64 (fma.f64 %606 #s(literal -2 binary64) %541) #s(literal -8 binary64))
%610 = (/.f64 (fma.f64 %606 #s(literal -2 binary64) %545) #s(literal -8 binary64))
%612 = (/.f64 (fma.f64 %606 #s(literal 2 binary64) %548) #s(literal 8 binary64))
%614 = (/.f64 (fma.f64 %606 #s(literal 1 binary64) %552) #s(literal 4 binary64))
%615 = (*.f64 y #s(literal -2 binary64))
%616 = (-.f64 %615 %76)
%618 = (/.f64 (fma.f64 %616 #s(literal -2 binary64) %541) #s(literal -8 binary64))
%620 = (/.f64 (fma.f64 %616 #s(literal -2 binary64) %545) #s(literal -8 binary64))
%622 = (/.f64 (fma.f64 %616 #s(literal 2 binary64) %548) #s(literal 8 binary64))
%624 = (/.f64 (fma.f64 %616 #s(literal 1 binary64) %552) #s(literal 4 binary64))
%625 = (-.f64 %539 %434)
%627 = (/.f64 (fma.f64 %625 #s(literal -2 binary64) %541) #s(literal -8 binary64))
%629 = (/.f64 (fma.f64 %625 #s(literal -2 binary64) %545) #s(literal -8 binary64))
%631 = (/.f64 (fma.f64 %625 #s(literal 2 binary64) %548) #s(literal 8 binary64))
%633 = (/.f64 (fma.f64 %625 #s(literal 1 binary64) %552) #s(literal 4 binary64))
%634 = (-.f64 %67 %437)
%636 = (/.f64 (fma.f64 %634 #s(literal -2 binary64) %557) #s(literal 8 binary64))
%638 = (/.f64 (fma.f64 %634 #s(literal -2 binary64) %560) #s(literal 8 binary64))
%640 = (/.f64 (fma.f64 %634 #s(literal 2 binary64) %563) #s(literal -8 binary64))
%642 = (/.f64 (fma.f64 %634 #s(literal 1 binary64) %566) #s(literal -4 binary64))
%643 = (-.f64 %76 %443)
%645 = (/.f64 (fma.f64 %643 #s(literal -2 binary64) %557) #s(literal 8 binary64))
%647 = (/.f64 (fma.f64 %643 #s(literal -2 binary64) %560) #s(literal 8 binary64))
%649 = (/.f64 (fma.f64 %643 #s(literal 2 binary64) %563) #s(literal -8 binary64))
%651 = (/.f64 (fma.f64 %643 #s(literal 1 binary64) %566) #s(literal -4 binary64))
%652 = (*.f64 #s(literal 2 binary64) %286)
%653 = (neg.f64 %652)
%655 = (/.f64 (fma.f64 %653 #s(literal -2 binary64) %557) #s(literal 8 binary64))
%657 = (/.f64 (fma.f64 %653 #s(literal -2 binary64) %560) #s(literal 8 binary64))
%659 = (/.f64 (fma.f64 %653 #s(literal 2 binary64) %563) #s(literal -8 binary64))
%661 = (/.f64 (fma.f64 %653 #s(literal 1 binary64) %566) #s(literal -4 binary64))
%663 = (/.f64 (fma.f64 %652 #s(literal -2 binary64) %541) #s(literal -8 binary64))
%665 = (/.f64 (fma.f64 %652 #s(literal -2 binary64) %545) #s(literal -8 binary64))
%667 = (/.f64 (fma.f64 %652 #s(literal 2 binary64) %548) #s(literal 8 binary64))
%669 = (/.f64 (fma.f64 %652 #s(literal 1 binary64) %552) #s(literal 4 binary64))
%671 = (/.f64 (fma.f64 %282 #s(literal -2 binary64) %100) #s(literal 4 binary64))
%673 = (/.f64 (fma.f64 %282 #s(literal -2 binary64) %103) #s(literal 4 binary64))
%675 = (/.f64 (fma.f64 %282 #s(literal 2 binary64) %107) #s(literal -4 binary64))
%677 = (/.f64 (fma.f64 %282 #s(literal 1 binary64) %76) #s(literal -2 binary64))
%679 = (/.f64 (fma.f64 %356 #s(literal -2 binary64) %135) #s(literal -2 binary64))
%681 = (/.f64 (fma.f64 %356 #s(literal -2 binary64) %138) #s(literal -2 binary64))
%683 = (/.f64 (fma.f64 %356 #s(literal 2 binary64) %106) #s(literal 2 binary64))
%685 = (/.f64 (fma.f64 %286 #s(literal -2 binary64) %141) #s(literal -4 binary64))
%687 = (/.f64 (fma.f64 %286 #s(literal -2 binary64) %144) #s(literal -4 binary64))
%689 = (/.f64 (fma.f64 %286 #s(literal 2 binary64) %147) #s(literal 4 binary64))
%690 = (*.f64 #s(literal -2 binary64) %362)
%692 = (/.f64 (fma.f64 %67 #s(literal -2 binary64) %690) #s(literal 4 binary64))
%693 = (*.f64 #s(literal -2 binary64) %367)
%695 = (/.f64 (fma.f64 %67 #s(literal -2 binary64) %693) #s(literal 4 binary64))
%696 = (*.f64 #s(literal -2 binary64) %372)
%698 = (/.f64 (fma.f64 %67 #s(literal -2 binary64) %696) #s(literal 4 binary64))
%699 = (*.f64 #s(literal -2 binary64) %375)
%701 = (/.f64 (fma.f64 %67 #s(literal 2 binary64) %699) #s(literal -4 binary64))
%702 = (*.f64 #s(literal -2 binary64) %378)
%704 = (/.f64 (fma.f64 %67 #s(literal -2 binary64) %702) #s(literal 4 binary64))
%705 = (*.f64 #s(literal -2 binary64) %332)
%707 = (/.f64 (fma.f64 %67 #s(literal -2 binary64) %705) #s(literal 4 binary64))
%708 = (*.f64 #s(literal -2 binary64) %359)
%710 = (/.f64 (fma.f64 %67 #s(literal 2 binary64) %708) #s(literal -4 binary64))
%711 = (*.f64 #s(literal -2 binary64) %336)
%713 = (/.f64 (fma.f64 %67 #s(literal -2 binary64) %711) #s(literal 4 binary64))
%714 = (*.f64 #s(literal -2 binary64) %339)
%716 = (/.f64 (fma.f64 %67 #s(literal -2 binary64) %714) #s(literal 4 binary64))
%717 = (*.f64 #s(literal -2 binary64) %540)
%719 = (/.f64 (fma.f64 %67 #s(literal 4 binary64) %717) #s(literal -8 binary64))
%720 = (*.f64 #s(literal -2 binary64) %556)
%722 = (/.f64 (fma.f64 %67 #s(literal -4 binary64) %720) #s(literal 8 binary64))
%723 = (*.f64 #s(literal -2 binary64) %570)
%725 = (/.f64 (fma.f64 %67 #s(literal 4 binary64) %723) #s(literal -8 binary64))
%726 = (*.f64 #s(literal -2 binary64) %579)
%728 = (/.f64 (fma.f64 %67 #s(literal 4 binary64) %726) #s(literal -8 binary64))
%729 = (*.f64 #s(literal -2 binary64) %588)
%731 = (/.f64 (fma.f64 %67 #s(literal -4 binary64) %729) #s(literal 8 binary64))
%732 = (*.f64 #s(literal -2 binary64) %597)
%734 = (/.f64 (fma.f64 %67 #s(literal -4 binary64) %732) #s(literal 8 binary64))
%735 = (*.f64 #s(literal -2 binary64) %606)
%737 = (/.f64 (fma.f64 %67 #s(literal 4 binary64) %735) #s(literal -8 binary64))
%738 = (*.f64 #s(literal -2 binary64) %616)
%740 = (/.f64 (fma.f64 %67 #s(literal 4 binary64) %738) #s(literal -8 binary64))
%741 = (*.f64 #s(literal -2 binary64) %625)
%743 = (/.f64 (fma.f64 %67 #s(literal 4 binary64) %741) #s(literal -8 binary64))
%744 = (*.f64 #s(literal -2 binary64) %634)
%746 = (/.f64 (fma.f64 %67 #s(literal -4 binary64) %744) #s(literal 8 binary64))
%747 = (*.f64 #s(literal -2 binary64) %643)
%749 = (/.f64 (fma.f64 %67 #s(literal -4 binary64) %747) #s(literal 8 binary64))
%750 = (*.f64 #s(literal -2 binary64) %653)
%752 = (/.f64 (fma.f64 %67 #s(literal -4 binary64) %750) #s(literal 8 binary64))
%753 = (*.f64 #s(literal -2 binary64) %652)
%755 = (/.f64 (fma.f64 %67 #s(literal 4 binary64) %753) #s(literal -8 binary64))
%756 = (*.f64 #s(literal -2 binary64) %282)
%758 = (/.f64 (fma.f64 %67 #s(literal -2 binary64) %756) #s(literal 4 binary64))
%759 = (*.f64 #s(literal -2 binary64) %356)
%761 = (/.f64 (fma.f64 %67 #s(literal 1 binary64) %759) #s(literal -2 binary64))
%762 = (*.f64 #s(literal -2 binary64) %286)
%764 = (/.f64 (fma.f64 %67 #s(literal 2 binary64) %762) #s(literal -4 binary64))
%766 = (/.f64 (fma.f64 %76 #s(literal -2 binary64) %690) #s(literal 4 binary64))
%768 = (/.f64 (fma.f64 %76 #s(literal -2 binary64) %693) #s(literal 4 binary64))
%770 = (/.f64 (fma.f64 %76 #s(literal -2 binary64) %696) #s(literal 4 binary64))
%772 = (/.f64 (fma.f64 %76 #s(literal 2 binary64) %699) #s(literal -4 binary64))
%774 = (/.f64 (fma.f64 %76 #s(literal -2 binary64) %702) #s(literal 4 binary64))
%776 = (/.f64 (fma.f64 %76 #s(literal -2 binary64) %705) #s(literal 4 binary64))
%778 = (/.f64 (fma.f64 %76 #s(literal 2 binary64) %708) #s(literal -4 binary64))
%780 = (/.f64 (fma.f64 %76 #s(literal -2 binary64) %711) #s(literal 4 binary64))
%782 = (/.f64 (fma.f64 %76 #s(literal -2 binary64) %714) #s(literal 4 binary64))
%784 = (/.f64 (fma.f64 %76 #s(literal 4 binary64) %717) #s(literal -8 binary64))
%786 = (/.f64 (fma.f64 %76 #s(literal -4 binary64) %720) #s(literal 8 binary64))
%788 = (/.f64 (fma.f64 %76 #s(literal 4 binary64) %723) #s(literal -8 binary64))
%790 = (/.f64 (fma.f64 %76 #s(literal 4 binary64) %726) #s(literal -8 binary64))
%792 = (/.f64 (fma.f64 %76 #s(literal -4 binary64) %729) #s(literal 8 binary64))
%794 = (/.f64 (fma.f64 %76 #s(literal -4 binary64) %732) #s(literal 8 binary64))
%796 = (/.f64 (fma.f64 %76 #s(literal 4 binary64) %735) #s(literal -8 binary64))
%798 = (/.f64 (fma.f64 %76 #s(literal 4 binary64) %738) #s(literal -8 binary64))
%800 = (/.f64 (fma.f64 %76 #s(literal 4 binary64) %741) #s(literal -8 binary64))
%802 = (/.f64 (fma.f64 %76 #s(literal -4 binary64) %744) #s(literal 8 binary64))
%804 = (/.f64 (fma.f64 %76 #s(literal -4 binary64) %747) #s(literal 8 binary64))
%806 = (/.f64 (fma.f64 %76 #s(literal -4 binary64) %750) #s(literal 8 binary64))
%808 = (/.f64 (fma.f64 %76 #s(literal 4 binary64) %753) #s(literal -8 binary64))
%810 = (/.f64 (fma.f64 %76 #s(literal -2 binary64) %756) #s(literal 4 binary64))
%812 = (/.f64 (fma.f64 %76 #s(literal 1 binary64) %759) #s(literal -2 binary64))
%814 = (/.f64 (fma.f64 %76 #s(literal 2 binary64) %762) #s(literal -4 binary64))
%817 = (/.f64 (fma.f64 %106 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %362)) #s(literal -4 binary64))
%820 = (/.f64 (fma.f64 %106 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %367)) #s(literal -4 binary64))
%821 = (*.f64 #s(literal 2 binary64) %372)
%823 = (/.f64 (fma.f64 %106 #s(literal -2 binary64) %821) #s(literal -4 binary64))
%826 = (/.f64 (fma.f64 %106 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %375)) #s(literal 4 binary64))
%827 = (*.f64 #s(literal 2 binary64) %378)
%829 = (/.f64 (fma.f64 %106 #s(literal -2 binary64) %827) #s(literal -4 binary64))
%832 = (/.f64 (fma.f64 %106 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %332)) #s(literal -4 binary64))
%835 = (/.f64 (fma.f64 %106 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %359)) #s(literal 4 binary64))
%838 = (/.f64 (fma.f64 %106 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %336)) #s(literal -4 binary64))
%841 = (/.f64 (fma.f64 %106 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %339)) #s(literal -4 binary64))
%844 = (/.f64 (fma.f64 %106 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %540)) #s(literal 8 binary64))
%847 = (/.f64 (fma.f64 %106 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %556)) #s(literal -8 binary64))
%850 = (/.f64 (fma.f64 %106 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %570)) #s(literal 8 binary64))
%853 = (/.f64 (fma.f64 %106 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %579)) #s(literal 8 binary64))
%856 = (/.f64 (fma.f64 %106 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %588)) #s(literal -8 binary64))
%859 = (/.f64 (fma.f64 %106 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %597)) #s(literal -8 binary64))
%862 = (/.f64 (fma.f64 %106 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %606)) #s(literal 8 binary64))
%865 = (/.f64 (fma.f64 %106 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %616)) #s(literal 8 binary64))
%868 = (/.f64 (fma.f64 %106 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %625)) #s(literal 8 binary64))
%871 = (/.f64 (fma.f64 %106 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %634)) #s(literal -8 binary64))
%874 = (/.f64 (fma.f64 %106 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %643)) #s(literal -8 binary64))
%875 = (*.f64 #s(literal 2 binary64) %653)
%877 = (/.f64 (fma.f64 %106 #s(literal -4 binary64) %875) #s(literal -8 binary64))
%880 = (/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %362)) #s(literal -2 binary64))
%883 = (/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %367)) #s(literal -2 binary64))
%884 = (*.f64 #s(literal 1 binary64) %372)
%886 = (/.f64 (fma.f64 #s(literal -2 binary64) x %884) #s(literal -2 binary64))
%889 = (/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 1 binary64) %375)) #s(literal 2 binary64))
%890 = (*.f64 #s(literal 1 binary64) %378)
%892 = (/.f64 (fma.f64 #s(literal -2 binary64) x %890) #s(literal -2 binary64))
%895 = (/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %332)) #s(literal -2 binary64))
%898 = (/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 1 binary64) %359)) #s(literal 2 binary64))
%901 = (/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %336)) #s(literal -2 binary64))
%904 = (/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %339)) #s(literal -2 binary64))
%907 = (/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %540)) #s(literal 4 binary64))
%910 = (/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %556)) #s(literal -4 binary64))
%913 = (/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %570)) #s(literal 4 binary64))
%916 = (/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %579)) #s(literal 4 binary64))
%919 = (/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %588)) #s(literal -4 binary64))
%922 = (/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %597)) #s(literal -4 binary64))
%925 = (/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %606)) #s(literal 4 binary64))
%928 = (/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %616)) #s(literal 4 binary64))
%931 = (/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %625)) #s(literal 4 binary64))
%934 = (/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %634)) #s(literal -4 binary64))
%937 = (/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %643)) #s(literal -4 binary64))
%938 = (*.f64 #s(literal 1 binary64) %653)
%940 = (/.f64 (fma.f64 x #s(literal -4 binary64) %938) #s(literal -4 binary64))
%941 = (*.f64 #s(literal 1 binary64) %652)
%943 = (/.f64 (fma.f64 x #s(literal 4 binary64) %941) #s(literal 4 binary64))
%945 = (/.f64 (fma.f64 #s(literal -2 binary64) x %372) #s(literal -2 binary64))
%946 = (*.f64 %226 #s(literal -2 binary64))
%949 = (/.f64 (-.f64 %946 (*.f64 #s(literal -2 binary64) %399)) #s(literal 4 binary64))
%952 = (/.f64 (-.f64 %946 (*.f64 #s(literal -2 binary64) %402)) #s(literal 4 binary64))
%955 = (/.f64 (-.f64 %946 (*.f64 #s(literal -2 binary64) %405)) #s(literal 4 binary64))
%958 = (/.f64 (-.f64 %946 (*.f64 #s(literal -2 binary64) %408)) #s(literal 4 binary64))
%962 = (/.f64 (-.f64 (*.f64 %226 #s(literal 1 binary64)) (*.f64 #s(literal -2 binary64) %19)) #s(literal -2 binary64))
%964 = (/.f64 (-.f64 %946 %434) #s(literal 4 binary64))
%967 = (/.f64 (-.f64 (*.f64 %226 #s(literal 2 binary64)) %437) #s(literal -4 binary64))
%968 = (*.f64 %229 #s(literal -2 binary64))
%971 = (/.f64 (-.f64 %968 (*.f64 #s(literal 2 binary64) %399)) #s(literal -4 binary64))
%974 = (/.f64 (-.f64 %968 (*.f64 #s(literal 2 binary64) %402)) #s(literal -4 binary64))
%977 = (/.f64 (-.f64 %968 (*.f64 #s(literal 2 binary64) %405)) #s(literal -4 binary64))
%980 = (/.f64 (-.f64 %968 (*.f64 #s(literal 2 binary64) %408)) #s(literal -4 binary64))
%983 = (/.f64 (-.f64 (*.f64 %229 #s(literal 1 binary64)) y) #s(literal 2 binary64))
%985 = (/.f64 (-.f64 %968 %443) #s(literal -4 binary64))
%988 = (/.f64 (-.f64 (*.f64 %229 #s(literal 2 binary64)) %446) #s(literal 4 binary64))
%989 = (*.f64 #s(literal -2 binary64) %413)
%991 = (/.f64 (-.f64 %207 %989) #s(literal 4 binary64))
%992 = (*.f64 #s(literal -2 binary64) %418)
%994 = (/.f64 (-.f64 %207 %992) #s(literal 4 binary64))
%996 = (/.f64 (-.f64 %204 %696) #s(literal -4 binary64))
%998 = (/.f64 (-.f64 %204 %702) #s(literal -4 binary64))
%999 = (*.f64 %67 #s(literal 4 binary64))
%1000 = (-.f64 %446 %106)
%1001 = (*.f64 #s(literal -2 binary64) %1000)
%1003 = (/.f64 (-.f64 %999 %1001) #s(literal -8 binary64))
%1004 = (*.f64 #s(literal -2 binary64) %426)
%1006 = (/.f64 (-.f64 %207 %1004) #s(literal 4 binary64))
%1007 = (-.f64 %555 %159)
%1008 = (*.f64 #s(literal -2 binary64) %1007)
%1010 = (/.f64 (-.f64 %999 %1008) #s(literal -8 binary64))
%1011 = (*.f64 %67 #s(literal -4 binary64))
%1012 = (-.f64 %569 %76)
%1013 = (*.f64 #s(literal -2 binary64) %1012)
%1015 = (/.f64 (-.f64 %1011 %1013) #s(literal 8 binary64))
%1016 = (-.f64 %615 %188)
%1017 = (*.f64 #s(literal -2 binary64) %1016)
%1019 = (/.f64 (-.f64 %1011 %1017) #s(literal 8 binary64))
%1021 = (/.f64 (-.f64 %999 %750) #s(literal -8 binary64))
%1023 = (/.f64 (-.f64 %1011 %753) #s(literal 8 binary64))
%1025 = (*.f64 #s(literal 1/2 binary64) %282)
%1026 = (*.f64 #s(literal -2 binary64) %1025)
%1028 = (/.f64 (-.f64 (*.f64 %67 #s(literal 1 binary64)) %1026) #s(literal -2 binary64))
%1030 = (/.f64 (-.f64 %204 %756) #s(literal -4 binary64))
%1032 = (/.f64 (-.f64 %207 %762) #s(literal 4 binary64))
%1034 = (/.f64 (-.f64 %213 %989) #s(literal 4 binary64))
%1036 = (/.f64 (-.f64 %213 %992) #s(literal 4 binary64))
%1038 = (/.f64 (-.f64 %210 %696) #s(literal -4 binary64))
%1040 = (/.f64 (-.f64 %210 %702) #s(literal -4 binary64))
%1041 = (*.f64 %76 #s(literal 4 binary64))
%1043 = (/.f64 (-.f64 %1041 %1001) #s(literal -8 binary64))
%1045 = (/.f64 (-.f64 %213 %1004) #s(literal 4 binary64))
%1047 = (/.f64 (-.f64 %1041 %1008) #s(literal -8 binary64))
%1048 = (*.f64 %76 #s(literal -4 binary64))
%1050 = (/.f64 (-.f64 %1048 %1013) #s(literal 8 binary64))
%1052 = (/.f64 (-.f64 %1048 %1017) #s(literal 8 binary64))
%1054 = (/.f64 (-.f64 %1041 %750) #s(literal -8 binary64))
%1056 = (/.f64 (-.f64 %1048 %753) #s(literal 8 binary64))
%1059 = (/.f64 (-.f64 (*.f64 %76 #s(literal 1 binary64)) %1026) #s(literal -2 binary64))
%1061 = (/.f64 (-.f64 %210 %756) #s(literal -4 binary64))
%1063 = (/.f64 (-.f64 %213 %762) #s(literal 4 binary64))
%1066 = (/.f64 (-.f64 %219 (*.f64 #s(literal 2 binary64) %413)) #s(literal -4 binary64))
%1069 = (/.f64 (-.f64 %219 (*.f64 #s(literal 2 binary64) %418)) #s(literal -4 binary64))
%1071 = (/.f64 (-.f64 %216 %821) #s(literal 4 binary64))
%1073 = (/.f64 (-.f64 %216 %827) #s(literal 4 binary64))
%1074 = (*.f64 %106 #s(literal 4 binary64))
%1077 = (/.f64 (-.f64 %1074 (*.f64 #s(literal 2 binary64) %1000)) #s(literal 8 binary64))
%1080 = (/.f64 (-.f64 %219 (*.f64 #s(literal 2 binary64) %426)) #s(literal -4 binary64))
%1083 = (/.f64 (-.f64 %1074 (*.f64 #s(literal 2 binary64) %1007)) #s(literal 8 binary64))
%1084 = (*.f64 %106 #s(literal -4 binary64))
%1087 = (/.f64 (-.f64 %1084 (*.f64 #s(literal 2 binary64) %1012)) #s(literal -8 binary64))
%1090 = (/.f64 (-.f64 %1084 (*.f64 #s(literal 2 binary64) %1016)) #s(literal -8 binary64))
%1092 = (/.f64 (-.f64 %1074 %875) #s(literal 8 binary64))
%1093 = (*.f64 #s(literal 2 binary64) %652)
%1095 = (/.f64 (-.f64 %1084 %1093) #s(literal -8 binary64))
%1098 = (/.f64 (-.f64 %106 (*.f64 #s(literal 2 binary64) %1025)) #s(literal 2 binary64))
%1099 = (*.f64 #s(literal 2 binary64) %282)
%1101 = (/.f64 (-.f64 %216 %1099) #s(literal 4 binary64))
%1103 = (/.f64 (-.f64 %219 %652) #s(literal -4 binary64))
%1106 = (/.f64 (-.f64 %76 (*.f64 #s(literal 1 binary64) %413)) #s(literal -2 binary64))
%1109 = (/.f64 (-.f64 %76 (*.f64 #s(literal 1 binary64) %418)) #s(literal -2 binary64))
%1111 = (/.f64 (-.f64 %106 %884) #s(literal 2 binary64))
%1113 = (/.f64 (-.f64 %106 %890) #s(literal 2 binary64))
%1114 = (*.f64 x #s(literal 4 binary64))
%1117 = (/.f64 (-.f64 %1114 (*.f64 #s(literal 1 binary64) %1000)) #s(literal 4 binary64))
%1120 = (/.f64 (-.f64 %76 (*.f64 #s(literal 1 binary64) %426)) #s(literal -2 binary64))
%1123 = (/.f64 (-.f64 %1114 (*.f64 #s(literal 1 binary64) %1007)) #s(literal 4 binary64))
%1124 = (*.f64 x #s(literal -4 binary64))
%1127 = (/.f64 (-.f64 %1124 (*.f64 #s(literal 1 binary64) %1012)) #s(literal -4 binary64))
%1130 = (/.f64 (-.f64 %1124 (*.f64 #s(literal 1 binary64) %1016)) #s(literal -4 binary64))
%1132 = (/.f64 (-.f64 %1114 %938) #s(literal 4 binary64))
%1134 = (/.f64 (-.f64 %1124 %941) #s(literal -4 binary64))
%1136 = (/.f64 (-.f64 %106 %372) #s(literal 2 binary64))
%1137 = (*.f64 %291 #s(literal -1 binary64))
%1139 = (/.f64 (neg.f64 %1137) #s(literal 2 binary64))
%1141 = (/.f64 (neg.f64 %294) #s(literal -2 binary64))
%1142 = (fma.f64 x #s(literal 4 binary64) %652)
%1144 = (/.f64 (neg.f64 %1142) #s(literal -4 binary64))
%1146 = (fma.f64 %106 #s(literal 4 binary64) (*.f64 %652 #s(literal 2 binary64)))
%1148 = (/.f64 (neg.f64 %1146) #s(literal -8 binary64))
%1150 = (fma.f64 %106 #s(literal -2 binary64) (*.f64 %282 #s(literal 2 binary64)))
%1152 = (/.f64 (neg.f64 %1150) #s(literal 4 binary64))
%1153 = (*.f64 %286 #s(literal 2 binary64))
%1154 = (fma.f64 %106 #s(literal 2 binary64) %1153)
%1156 = (/.f64 (neg.f64 %1154) #s(literal -4 binary64))
%1157 = (fma.f64 %106 #s(literal 2 binary64) %652)
%1159 = (/.f64 (neg.f64 %1157) #s(literal -4 binary64))
%1160 = (fma.f64 %106 #s(literal 4 binary64) %1093)
%1162 = (/.f64 (neg.f64 %1160) #s(literal -8 binary64))
%1163 = (fma.f64 %106 #s(literal -2 binary64) %1099)
%1165 = (/.f64 (neg.f64 %1163) #s(literal 4 binary64))
%1167 = (-.f64 (*.f64 %63 #s(literal -2 binary64)) %3)
%1169 = (/.f64 (neg.f64 %1167) #s(literal 2 binary64))
%1171 = (-.f64 (*.f64 %63 #s(literal 2 binary64)) y)
%1173 = (/.f64 (neg.f64 %1171) #s(literal -2 binary64))
%1174 = (/.f64 %1137 #s(literal -2 binary64))
%1175 = (/.f64 %294 #s(literal 2 binary64))
%1176 = (*.f64 %291 #s(literal -1/2 binary64))
%1177 = (/.f64 %1176 #s(literal -1 binary64))
%1178 = (-.f64 %19 x)
%1179 = (-.f64 %1178 %61)
%1180 = (/.f64 %1179 #s(literal -1 binary64))
%1181 = (/.f64 %1142 #s(literal 4 binary64))
%1183 = (/.f64 (-.f64 %67 %286) #s(literal -2 binary64))
%1184 = (/.f64 %1167 #s(literal -2 binary64))
%1185 = (/.f64 %1171 #s(literal 2 binary64))
%1186 = (/.f64 %1146 #s(literal 8 binary64))
%1187 = (/.f64 %1150 #s(literal -4 binary64))
%1188 = (/.f64 %1154 #s(literal 4 binary64))
%1189 = (/.f64 %1157 #s(literal 4 binary64))
%1190 = (/.f64 %1160 #s(literal 8 binary64))
%1191 = (/.f64 %1163 #s(literal -4 binary64))
%1192 = (/.f64 %312 #s(literal -1 binary64))
%1193 = (/.f64 %299 #s(literal -2 binary64))
%1194 = (/.f64 %291 #s(literal 2 binary64))
%1196 = (/.f64 #s(literal 1 binary64) (pow.f64 %318 #s(literal -1 binary64)))
%1198 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %299))
%1200 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %291))
%1201 = (/.f64 %318 #s(literal 1 binary64))
%1202 = (neg.f64 %1176)
%1203 = (neg.f64 %1179)
%1205 = (neg.f64 (-.f64 %311 %16))
%1206 = (neg.f64 %312)
%1208 = (fma.f64 (/.f64 %652 #s(literal 1/2 binary64)) #s(literal 1/8 binary64) x)
%1210 = (fma.f64 (/.f64 %652 #s(literal 1 binary64)) #s(literal 1/4 binary64) x)
%1211 = (/.f64 %356 #s(literal 1/2 binary64))
%1212 = (fma.f64 %1211 #s(literal 1/2 binary64) x)
%1213 = (/.f64 %356 #s(literal 2 binary64))
%1214 = (fma.f64 %1213 #s(literal 2 binary64) x)
%1216 = (fma.f64 (/.f64 %1153 #s(literal 1/2 binary64)) #s(literal 1/8 binary64) x)
%1218 = (fma.f64 (/.f64 %1153 #s(literal 1 binary64)) #s(literal 1/4 binary64) x)
%1219 = (/.f64 %282 #s(literal 1/2 binary64))
%1220 = (fma.f64 %1219 #s(literal -1/4 binary64) x)
%1221 = (/.f64 %282 #s(literal 1 binary64))
%1222 = (fma.f64 %1221 #s(literal -1/2 binary64) x)
%1224 = (fma.f64 (/.f64 %1153 #s(literal 2 binary64)) #s(literal 1/2 binary64) x)
%1225 = (fma.f64 #s(literal 3/4 binary64) %54 %16)
%1226 = (/.f64 %286 #s(literal 1/2 binary64))
%1227 = (fma.f64 %1226 #s(literal 1/4 binary64) x)
%1228 = (/.f64 %286 #s(literal 4 binary64))
%1229 = (fma.f64 %1228 #s(literal 2 binary64) x)
%1230 = (/.f64 %286 #s(literal 1 binary64))
%1231 = (fma.f64 %1230 #s(literal 1/2 binary64) x)
%1233 = (/.f64 (+.f64 x %286) #s(literal 2 binary64))
%1234 = (fma.f64 %237 #s(literal -1/2 binary64) %1233)
%1236 = (/.f64 (-.f64 x %282) #s(literal 2 binary64))
%1237 = (fma.f64 %237 #s(literal -1/2 binary64) %1236)
%1238 = (-.f64 %16 %66)
%1239 = (/.f64 %1238 #s(literal 1 binary64))
%1240 = (fma.f64 %237 #s(literal -1/2 binary64) %1239)
%1241 = (neg.f64 %1178)
%1242 = (/.f64 %1241 #s(literal 1 binary64))
%1243 = (fma.f64 %237 #s(literal -1/2 binary64) %1242)
%1244 = (fma.f64 #s(literal -1/2 binary64) y x)
%1245 = (fma.f64 %237 #s(literal -1/2 binary64) %1244)
%1246 = (fma.f64 %237 #s(literal -1/2 binary64) %1238)
%1247 = (fma.f64 %237 #s(literal -1/2 binary64) %1241)
%1248 = (fma.f64 %239 #s(literal -1/4 binary64) %1233)
%1249 = (fma.f64 %239 #s(literal -1/4 binary64) %1236)
%1250 = (fma.f64 %239 #s(literal -1/4 binary64) %1239)
%1251 = (fma.f64 %239 #s(literal -1/4 binary64) %1242)
%1252 = (fma.f64 %239 #s(literal -1/4 binary64) %1244)
%1253 = (fma.f64 %239 #s(literal -1/4 binary64) %1238)
%1254 = (fma.f64 %239 #s(literal -1/4 binary64) %1241)
%1255 = (fma.f64 %241 #s(literal 4 binary64) %1233)
%1256 = (fma.f64 %241 #s(literal 4 binary64) %1236)
%1257 = (fma.f64 %241 #s(literal 4 binary64) %1239)
%1258 = (fma.f64 %241 #s(literal 4 binary64) %1242)
%1259 = (fma.f64 %241 #s(literal 4 binary64) %1244)
%1260 = (fma.f64 %241 #s(literal 4 binary64) %1238)
%1261 = (fma.f64 %241 #s(literal 4 binary64) %1241)
%1262 = (-.f64 %61 %66)
%1263 = (/.f64 %1262 #s(literal 1 binary64))
%1264 = (fma.f64 %5 #s(literal 1/2 binary64) %1263)
%1265 = (fma.f64 %5 #s(literal 1/2 binary64) %1262)
%1266 = (neg.f64 %311)
%1267 = (fma.f64 %5 #s(literal 1/2 binary64) %1266)
%1268 = (fma.f64 %5 #s(literal 1/2 binary64) %63)
%1269 = (fma.f64 %8 #s(literal 1/4 binary64) %1263)
%1270 = (fma.f64 %8 #s(literal 1/4 binary64) %1262)
%1271 = (fma.f64 %8 #s(literal 1/4 binary64) %1266)
%1272 = (fma.f64 %8 #s(literal 1/4 binary64) %63)
%1273 = (fma.f64 %11 #s(literal -1/4 binary64) %1263)
%1274 = (fma.f64 %11 #s(literal -1/4 binary64) %1262)
%1275 = (fma.f64 %11 #s(literal -1/4 binary64) %1266)
%1276 = (fma.f64 %11 #s(literal -1/4 binary64) %63)
%1277 = (fma.f64 %243 #s(literal 1/8 binary64) %1233)
%1278 = (fma.f64 %243 #s(literal 1/8 binary64) %1236)
%1279 = (fma.f64 %243 #s(literal 1/8 binary64) %1239)
%1280 = (fma.f64 %243 #s(literal 1/8 binary64) %1242)
%1281 = (fma.f64 %243 #s(literal 1/8 binary64) %1244)
%1282 = (fma.f64 %243 #s(literal 1/8 binary64) %1238)
%1283 = (fma.f64 %243 #s(literal 1/8 binary64) %1241)
%1284 = (fma.f64 %246 #s(literal 1/2 binary64) %1233)
%1285 = (fma.f64 %246 #s(literal 1/2 binary64) %1236)
%1286 = (fma.f64 %246 #s(literal 1/2 binary64) %1239)
%1287 = (fma.f64 %246 #s(literal 1/2 binary64) %1242)
%1288 = (fma.f64 %246 #s(literal 1/2 binary64) %1244)
%1289 = (fma.f64 %246 #s(literal 1/2 binary64) %1238)
%1290 = (fma.f64 %246 #s(literal 1/2 binary64) %1241)
%1291 = (fma.f64 %54 #s(literal 1/4 binary64) %1233)
%1292 = (fma.f64 %54 #s(literal 1/4 binary64) %1236)
%1293 = (fma.f64 %54 #s(literal 1/4 binary64) %1239)
%1294 = (fma.f64 %54 #s(literal 1/4 binary64) %1242)
%1295 = (fma.f64 %54 #s(literal 1/4 binary64) %1244)
%1296 = (fma.f64 %54 #s(literal 1/4 binary64) %1238)
%1297 = (fma.f64 %54 #s(literal 1/4 binary64) %1241)
%1298 = (fma.f64 %58 #s(literal 2 binary64) %1233)
%1299 = (fma.f64 %58 #s(literal 2 binary64) %1236)
%1300 = (fma.f64 %58 #s(literal 2 binary64) %1239)
%1301 = (fma.f64 %58 #s(literal 2 binary64) %1242)
%1302 = (fma.f64 %58 #s(literal 2 binary64) %1244)
%1303 = (fma.f64 %58 #s(literal 2 binary64) %1238)
%1304 = (fma.f64 %58 #s(literal 2 binary64) %1241)
%1305 = (fma.f64 %250 #s(literal 2 binary64) %1233)
%1306 = (fma.f64 %250 #s(literal 2 binary64) %1236)
%1307 = (fma.f64 %250 #s(literal 2 binary64) %1239)
%1308 = (fma.f64 %250 #s(literal 2 binary64) %1242)
%1309 = (fma.f64 %250 #s(literal 2 binary64) %1244)
%1310 = (fma.f64 %250 #s(literal 2 binary64) %1238)
%1311 = (fma.f64 %250 #s(literal 2 binary64) %1241)
%1312 = (fma.f64 #s(literal 6 binary64) %58 %16)
%1313 = (fma.f64 %375 #s(literal 1/2 binary64) x)
%1314 = (fma.f64 #s(literal -1/4 binary64) %1219 x)
%1315 = (fma.f64 #s(literal -1/4 binary64) %239 %1233)
%1316 = (fma.f64 #s(literal -1/4 binary64) %239 %1236)
%1317 = (fma.f64 #s(literal -1/4 binary64) %239 %1239)
%1318 = (fma.f64 #s(literal -1/4 binary64) %239 %1242)
%1319 = (fma.f64 #s(literal -1/4 binary64) %239 %1244)
%1320 = (fma.f64 #s(literal -1/4 binary64) %239 %1238)
%1321 = (fma.f64 #s(literal -1/4 binary64) %239 %1241)
%1322 = (fma.f64 #s(literal -1/4 binary64) %11 %1263)
%1323 = (fma.f64 #s(literal -1/4 binary64) %11 %1262)
%1324 = (fma.f64 #s(literal -1/4 binary64) %11 %1266)
%1325 = (fma.f64 #s(literal -1/4 binary64) %11 %63)
%1326 = (fma.f64 #s(literal 3 binary64) %61 %16)
%1327 = (fma.f64 #s(literal 1/4 binary64) %1226 x)
%1328 = (fma.f64 #s(literal 1/4 binary64) %8 %1263)
%1329 = (fma.f64 #s(literal 1/4 binary64) %8 %1262)
%1330 = (fma.f64 #s(literal 1/4 binary64) %8 %1266)
%1331 = (fma.f64 #s(literal 1/4 binary64) %8 %63)
%1332 = (fma.f64 #s(literal 1/4 binary64) %54 %1233)
%1333 = (fma.f64 #s(literal 1/4 binary64) %54 %1236)
%1334 = (fma.f64 #s(literal 1/4 binary64) %54 %1239)
%1335 = (fma.f64 #s(literal 1/4 binary64) %54 %1242)
%1336 = (fma.f64 #s(literal 1/4 binary64) %54 %1244)
%1337 = (fma.f64 #s(literal 1/4 binary64) %54 %1238)
%1338 = (fma.f64 #s(literal 1/4 binary64) %54 %1241)
%1339 = (fma.f64 #s(literal 1/4 binary64) %106 %1233)
%1340 = (fma.f64 #s(literal 1/4 binary64) %106 %1236)
%1341 = (fma.f64 #s(literal 1/4 binary64) %106 %1239)
%1342 = (fma.f64 #s(literal 1/4 binary64) %106 %1242)
%1343 = (fma.f64 #s(literal 1/4 binary64) %106 %1244)
%1344 = (fma.f64 #s(literal 1/4 binary64) %106 %1238)
%1345 = (fma.f64 #s(literal 1/4 binary64) %106 %1241)
%1346 = (fma.f64 %86 #s(literal -1/2 binary64) %1233)
%1347 = (fma.f64 %86 #s(literal -1/2 binary64) %1236)
%1348 = (fma.f64 %86 #s(literal -1/2 binary64) %1239)
%1349 = (fma.f64 %86 #s(literal -1/2 binary64) %1242)
%1350 = (fma.f64 %86 #s(literal -1/2 binary64) %1244)
%1351 = (fma.f64 %86 #s(literal -1/2 binary64) %1238)
%1352 = (fma.f64 %86 #s(literal -1/2 binary64) %1241)
%1353 = (fma.f64 %256 #s(literal -1 binary64) %1233)
%1354 = (fma.f64 %256 #s(literal -1 binary64) %1236)
%1355 = (fma.f64 %256 #s(literal -1 binary64) %1239)
%1356 = (fma.f64 %256 #s(literal -1 binary64) %1242)
%1357 = (fma.f64 %256 #s(literal -1 binary64) %1244)
%1358 = (fma.f64 %256 #s(literal -1 binary64) %1238)
%1359 = (fma.f64 %256 #s(literal -1 binary64) %1241)
%1360 = (fma.f64 %16 #s(literal 1 binary64) %1263)
%1361 = (fma.f64 %16 #s(literal 1 binary64) %1262)
%1362 = (fma.f64 %16 #s(literal 1 binary64) %1266)
%1363 = (fma.f64 %16 #s(literal 1 binary64) %63)
%1364 = (fma.f64 #s(literal 4 binary64) %241 %1233)
%1365 = (fma.f64 #s(literal 4 binary64) %241 %1236)
%1366 = (fma.f64 #s(literal 4 binary64) %241 %1239)
%1367 = (fma.f64 #s(literal 4 binary64) %241 %1242)
%1368 = (fma.f64 #s(literal 4 binary64) %241 %1244)
%1369 = (fma.f64 #s(literal 4 binary64) %241 %1238)
%1370 = (fma.f64 #s(literal 4 binary64) %241 %1241)
%1371 = (fma.f64 %652 #s(literal 1/4 binary64) x)
%1372 = (fma.f64 #s(literal -1 binary64) %256 %1233)
%1373 = (fma.f64 #s(literal -1 binary64) %256 %1236)
%1374 = (fma.f64 #s(literal -1 binary64) %256 %1239)
%1375 = (fma.f64 #s(literal -1 binary64) %256 %1242)
%1376 = (fma.f64 #s(literal -1 binary64) %256 %1244)
%1377 = (fma.f64 #s(literal -1 binary64) %256 %1238)
%1378 = (fma.f64 #s(literal -1 binary64) %256 %1241)
%1379 = (fma.f64 #s(literal -1 binary64) %19 %1263)
%1380 = (fma.f64 #s(literal -1 binary64) %19 %1262)
%1381 = (fma.f64 #s(literal -1 binary64) %19 %1266)
%1382 = (fma.f64 #s(literal -1 binary64) %19 %63)
%1383 = (fma.f64 #s(literal -1 binary64) %1025 x)
%1384 = (fma.f64 %19 #s(literal -1 binary64) %1263)
%1385 = (fma.f64 %19 #s(literal -1 binary64) %1262)
%1386 = (fma.f64 %19 #s(literal -1 binary64) %1266)
%1387 = (fma.f64 %19 #s(literal -1 binary64) %63)
%1388 = (fma.f64 %3 #s(literal 1/2 binary64) %1263)
%1389 = (fma.f64 %3 #s(literal 1/2 binary64) %1262)
%1390 = (fma.f64 %3 #s(literal 1/2 binary64) %1266)
%1391 = (fma.f64 %3 #s(literal 1/2 binary64) %63)
%1392 = (fma.f64 %1025 #s(literal -1 binary64) x)
%1393 = (fma.f64 %66 #s(literal -1/2 binary64) %1233)
%1394 = (fma.f64 %66 #s(literal -1/2 binary64) %1236)
%1395 = (fma.f64 %66 #s(literal -1/2 binary64) %1239)
%1396 = (fma.f64 %66 #s(literal -1/2 binary64) %1242)
%1397 = (fma.f64 %66 #s(literal -1/2 binary64) %1244)
%1398 = (fma.f64 %66 #s(literal -1/2 binary64) %1238)
%1399 = (fma.f64 %66 #s(literal -1/2 binary64) %1241)
%1400 = (fma.f64 #s(literal 1/2 binary64) %1211 x)
%1402 = (fma.f64 #s(literal 1/2 binary64) (/.f64 %282 #s(literal -1 binary64)) x)
%1403 = (fma.f64 #s(literal 1/2 binary64) %1230 x)
%1404 = (fma.f64 #s(literal 1/2 binary64) %5 %1263)
%1405 = (fma.f64 #s(literal 1/2 binary64) %5 %1262)
%1406 = (fma.f64 #s(literal 1/2 binary64) %5 %1266)
%1407 = (fma.f64 #s(literal 1/2 binary64) %5 %63)
%1408 = (fma.f64 #s(literal 1/2 binary64) %24 %1263)
%1409 = (fma.f64 #s(literal 1/2 binary64) %24 %1262)
%1410 = (fma.f64 #s(literal 1/2 binary64) %24 %1266)
%1411 = (fma.f64 #s(literal 1/2 binary64) %24 %63)
%1412 = (fma.f64 #s(literal 1/2 binary64) %246 %1233)
%1413 = (fma.f64 #s(literal 1/2 binary64) %246 %1236)
%1414 = (fma.f64 #s(literal 1/2 binary64) %246 %1239)
%1415 = (fma.f64 #s(literal 1/2 binary64) %246 %1242)
%1416 = (fma.f64 #s(literal 1/2 binary64) %246 %1244)
%1417 = (fma.f64 #s(literal 1/2 binary64) %246 %1238)
%1418 = (fma.f64 #s(literal 1/2 binary64) %246 %1241)
%1419 = (fma.f64 #s(literal 1/2 binary64) %3 %1263)
%1420 = (fma.f64 #s(literal 1/2 binary64) %3 %1262)
%1421 = (fma.f64 #s(literal 1/2 binary64) %3 %1266)
%1422 = (fma.f64 #s(literal 1/2 binary64) %3 %63)
%1423 = (fma.f64 #s(literal 1/2 binary64) x %1233)
%1424 = (fma.f64 #s(literal 1/2 binary64) x %1236)
%1425 = (fma.f64 #s(literal 1/2 binary64) x %1239)
%1426 = (fma.f64 #s(literal 1/2 binary64) x %1242)
%1427 = (fma.f64 #s(literal 1/2 binary64) x %1244)
%1428 = (fma.f64 #s(literal 1/2 binary64) x %1238)
%1429 = (fma.f64 #s(literal 1/2 binary64) x %1241)
%1430 = (fma.f64 %106 #s(literal 1/4 binary64) %1233)
%1431 = (fma.f64 %106 #s(literal 1/4 binary64) %1236)
%1432 = (fma.f64 %106 #s(literal 1/4 binary64) %1239)
%1433 = (fma.f64 %106 #s(literal 1/4 binary64) %1242)
%1434 = (fma.f64 %106 #s(literal 1/4 binary64) %1244)
%1435 = (fma.f64 %106 #s(literal 1/4 binary64) %1238)
%1436 = (fma.f64 %106 #s(literal 1/4 binary64) %1241)
%1437 = (fma.f64 %61 #s(literal 1 binary64) %1233)
%1438 = (fma.f64 %61 #s(literal 1 binary64) %1236)
%1439 = (fma.f64 %61 #s(literal 1 binary64) %1239)
%1440 = (fma.f64 %61 #s(literal 1 binary64) %1242)
%1441 = (fma.f64 %61 #s(literal 1 binary64) %1244)
%1442 = (fma.f64 %61 #s(literal 1 binary64) %1238)
%1443 = (fma.f64 %61 #s(literal 1 binary64) %1241)
%1444 = (fma.f64 #s(literal 1 binary64) %16 %1263)
%1445 = (fma.f64 #s(literal 1 binary64) %16 %1262)
%1446 = (fma.f64 #s(literal 1 binary64) %16 %1266)
%1447 = (fma.f64 #s(literal 1 binary64) %16 %63)
%1448 = (fma.f64 #s(literal 1 binary64) %61 %1233)
%1449 = (fma.f64 #s(literal 1 binary64) %61 %1236)
%1450 = (fma.f64 #s(literal 1 binary64) %61 %1239)
%1451 = (fma.f64 #s(literal 1 binary64) %61 %1242)
%1452 = (fma.f64 #s(literal 1 binary64) %61 %1244)
%1453 = (fma.f64 #s(literal 1 binary64) %61 %1238)
%1454 = (fma.f64 #s(literal 1 binary64) %61 %1241)
%1455 = (fma.f64 #s(literal 1 binary64) %356 x)
%1456 = (fma.f64 %282 #s(literal -1/2 binary64) x)
%1457 = (fma.f64 #s(literal 3/2 binary64) x %16)
%1458 = (fma.f64 %356 #s(literal 1 binary64) x)
%1459 = (fma.f64 #s(literal 2 binary64) %1213 x)
%1460 = (fma.f64 #s(literal 2 binary64) %1228 x)
%1461 = (fma.f64 #s(literal 2 binary64) %58 %1233)
%1462 = (fma.f64 #s(literal 2 binary64) %58 %1236)
%1463 = (fma.f64 #s(literal 2 binary64) %58 %1239)
%1464 = (fma.f64 #s(literal 2 binary64) %58 %1242)
%1465 = (fma.f64 #s(literal 2 binary64) %58 %1244)
%1466 = (fma.f64 #s(literal 2 binary64) %58 %1238)
%1467 = (fma.f64 #s(literal 2 binary64) %58 %1241)
%1468 = (fma.f64 #s(literal 2 binary64) %250 %1233)
%1469 = (fma.f64 #s(literal 2 binary64) %250 %1236)
%1470 = (fma.f64 #s(literal 2 binary64) %250 %1239)
%1471 = (fma.f64 #s(literal 2 binary64) %250 %1242)
%1472 = (fma.f64 #s(literal 2 binary64) %250 %1244)
%1473 = (fma.f64 #s(literal 2 binary64) %250 %1238)
%1474 = (fma.f64 #s(literal 2 binary64) %250 %1241)
%1475 = (fma.f64 %286 #s(literal 1/2 binary64) x)
%1476 = (fma.f64 #s(literal -1/2 binary64) %1221 x)
%1478 = (fma.f64 #s(literal -1/2 binary64) (/.f64 %286 #s(literal -1 binary64)) x)
%1479 = (fma.f64 #s(literal -1/2 binary64) %237 %1233)
%1480 = (fma.f64 #s(literal -1/2 binary64) %237 %1236)
%1481 = (fma.f64 #s(literal -1/2 binary64) %237 %1239)
%1482 = (fma.f64 #s(literal -1/2 binary64) %237 %1242)
%1483 = (fma.f64 #s(literal -1/2 binary64) %237 %1244)
%1484 = (fma.f64 #s(literal -1/2 binary64) %237 %1238)
%1485 = (fma.f64 #s(literal -1/2 binary64) %237 %1241)
%1486 = (fma.f64 #s(literal -1/2 binary64) %86 %1233)
%1487 = (fma.f64 #s(literal -1/2 binary64) %86 %1236)
%1488 = (fma.f64 #s(literal -1/2 binary64) %86 %1239)
%1489 = (fma.f64 #s(literal -1/2 binary64) %86 %1242)
%1490 = (fma.f64 #s(literal -1/2 binary64) %86 %1244)
%1491 = (fma.f64 #s(literal -1/2 binary64) %86 %1238)
%1492 = (fma.f64 #s(literal -1/2 binary64) %86 %1241)
%1493 = (fma.f64 #s(literal -1/2 binary64) %66 %1233)
%1494 = (fma.f64 #s(literal -1/2 binary64) %66 %1236)
%1495 = (fma.f64 #s(literal -1/2 binary64) %66 %1239)
%1496 = (fma.f64 #s(literal -1/2 binary64) %66 %1242)
%1497 = (fma.f64 #s(literal -1/2 binary64) %66 %1244)
%1498 = (fma.f64 #s(literal -1/2 binary64) %66 %1238)
%1499 = (fma.f64 #s(literal -1/2 binary64) %66 %1241)
%1500 = (fma.f64 #s(literal -1/2 binary64) %282 x)
%1501 = (fma.f64 #s(literal -1/2 binary64) y %1263)
%1502 = (fma.f64 #s(literal -1/2 binary64) y %1262)
%1503 = (fma.f64 #s(literal -1/2 binary64) y %1266)
%1504 = (fma.f64 #s(literal -1/2 binary64) y %63)
%1505 = (fma.f64 y #s(literal -1/2 binary64) %1263)
%1506 = (fma.f64 y #s(literal -1/2 binary64) %1262)
%1507 = (fma.f64 y #s(literal -1/2 binary64) %1266)
%1508 = (fma.f64 y #s(literal -1/2 binary64) %63)
%1509 = (fma.f64 x #s(literal 1/2 binary64) %1233)
%1510 = (fma.f64 x #s(literal 1/2 binary64) %1236)
%1511 = (fma.f64 x #s(literal 1/2 binary64) %1239)
%1512 = (fma.f64 x #s(literal 1/2 binary64) %1242)
%1513 = (fma.f64 x #s(literal 1/2 binary64) %1244)
%1514 = (fma.f64 x #s(literal 1/2 binary64) %1238)
%1515 = (fma.f64 x #s(literal 1/2 binary64) %1241)
%1516 = (fma.f64 x #s(literal 3/2 binary64) %16)
%1517 = (+.f64 x %16)
%1518 = (-.f64 %1517 %256)
%1520 = (-.f64 %16 (-.f64 %256 x))
%1522 = (-.f64 %16 (fma.f64 #s(literal -1/2 binary64) x %66))
%1523 = (-.f64 %16 %311)
%1524 = (-.f64 %61 %1178)
%1525 = (-.f64 %63 %19)
%1526 = (-.f64 %356 %66)
%1527 = (-.f64 x %1025)
%1529 = (+.f64 (/.f64 %1114 #s(literal 4 binary64)) %356)
%1531 = (+.f64 (/.f64 %1074 #s(literal 8 binary64)) %356)
%1534 = (+.f64 (/.f64 (+.f64 %286 x) #s(literal 2 binary64)) %61)
%1535 = (+.f64 %1517 %61)
%1537 = (+.f64 (-.f64 x %19) %61)
%1538 = (+.f64 %16 %1263)
%1539 = (+.f64 %16 %1262)
%1540 = (+.f64 %16 %1266)
%1541 = (+.f64 %16 %63)
%1542 = (+.f64 %61 %1233)
%1543 = (+.f64 %61 %1236)
%1544 = (+.f64 %61 %1239)
%1545 = (+.f64 %61 %1242)
%1546 = (+.f64 %61 %1244)
%1547 = (+.f64 %61 %1238)
%1548 = (+.f64 %61 %1241)
%1549 = (+.f64 %63 %16)
%1550 = (+.f64 %356 x)
%1551 = (+.f64 x %356)
%1552 = (+.f64 %46 x)
x
y
#s(literal -1/2 binary64)
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %8 #s(literal 1/4 binary64))
(*.f64 %11 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %11)
(*.f64 #s(literal 1/4 binary64) %8)
(*.f64 %16 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %19)
(*.f64 %19 #s(literal -1 binary64))
(*.f64 %3 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %5)
(*.f64 #s(literal 1/2 binary64) %24)
(*.f64 #s(literal 1/2 binary64) %3)
(*.f64 #s(literal 1 binary64) %16)
%16
(*.f64 y #s(literal -1/2 binary64))
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 %16 #s(literal 1 binary64))
(/.f64 %19 #s(literal -1 binary64))
(/.f64 %3 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) y))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %3))
(/.f64 y #s(literal -2 binary64))
(neg.f64 %19)
(pow.f64 %46 #s(literal 1 binary64))
%46
(/.f64 #s(literal 1 binary64) (pow.f64 %46 #s(literal -1 binary64)))
(neg.f64 %50)
#s(literal 3/2 binary64)
(*.f64 #s(literal 3/4 binary64) %54)
(*.f64 #s(literal 6 binary64) %58)
(*.f64 #s(literal 3 binary64) %61)
%63
(*.f64 x #s(literal 3/2 binary64))
(pow.f64 %63 #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal 1 binary64) %66 %67) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) x %67) #s(literal -2 binary64))
(/.f64 (fma.f64 %66 #s(literal 1 binary64) %67) #s(literal -2 binary64))
(/.f64 (+.f64 %66 %67) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 1 binary64) %66 %76) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) x %76) #s(literal -2 binary64))
(/.f64 (+.f64 %66 %76) #s(literal -2 binary64))
(/.f64 (fma.f64 %66 #s(literal 2 binary64) %83) #s(literal -2 binary64))
(/.f64 (fma.f64 %66 #s(literal 2 binary64) %86) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %86) #s(literal -2 binary64))
(/.f64 (fma.f64 %66 #s(literal 2 binary64) %91) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %91) #s(literal -2 binary64))
(/.f64 (fma.f64 %66 #s(literal 2 binary64) %66) #s(literal -2 binary64))
(/.f64 (-.f64 %67 x) #s(literal -2 binary64))
(/.f64 (fma.f64 %83 #s(literal -2 binary64) %100) #s(literal 4 binary64))
(/.f64 (fma.f64 %83 #s(literal -2 binary64) %103) #s(literal 4 binary64))
(/.f64 (fma.f64 %83 #s(literal 2 binary64) %107) #s(literal -4 binary64))
(/.f64 (fma.f64 %83 #s(literal 1 binary64) %76) #s(literal -2 binary64))
(/.f64 (fma.f64 %86 #s(literal -2 binary64) %100) #s(literal 4 binary64))
(/.f64 (fma.f64 %86 #s(literal -2 binary64) %103) #s(literal 4 binary64))
(/.f64 (fma.f64 %86 #s(literal 2 binary64) %107) #s(literal -4 binary64))
(/.f64 (fma.f64 %91 #s(literal -2 binary64) %100) #s(literal 4 binary64))
(/.f64 (fma.f64 %91 #s(literal -2 binary64) %103) #s(literal 4 binary64))
(/.f64 (fma.f64 %91 #s(literal 2 binary64) %107) #s(literal -4 binary64))
(/.f64 (fma.f64 %91 #s(literal 1 binary64) %76) #s(literal -2 binary64))
(/.f64 (fma.f64 %66 #s(literal -2 binary64) %100) #s(literal 4 binary64))
(/.f64 (fma.f64 %66 #s(literal -2 binary64) %103) #s(literal 4 binary64))
(/.f64 (fma.f64 %66 #s(literal 2 binary64) %107) #s(literal -4 binary64))
(/.f64 (fma.f64 %66 #s(literal 1 binary64) %76) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) x %135) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) x %138) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %141) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %144) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %147) #s(literal 4 binary64))
(/.f64 (fma.f64 %67 #s(literal -2 binary64) %150) #s(literal 4 binary64))
(/.f64 (fma.f64 %67 #s(literal -2 binary64) %153) #s(literal 4 binary64))
(/.f64 (fma.f64 %67 #s(literal -2 binary64) %156) #s(literal 4 binary64))
(/.f64 (fma.f64 %67 #s(literal -2 binary64) %159) #s(literal 4 binary64))
(/.f64 (fma.f64 %67 #s(literal 1 binary64) %162) #s(literal -2 binary64))
(/.f64 (fma.f64 %67 #s(literal 2 binary64) %76) #s(literal -4 binary64))
(/.f64 (fma.f64 %76 #s(literal -2 binary64) %150) #s(literal 4 binary64))
(/.f64 (fma.f64 %76 #s(literal -2 binary64) %153) #s(literal 4 binary64))
(/.f64 (fma.f64 %76 #s(literal -2 binary64) %156) #s(literal 4 binary64))
(/.f64 (fma.f64 %76 #s(literal -2 binary64) %159) #s(literal 4 binary64))
(/.f64 (fma.f64 %76 #s(literal 1 binary64) %162) #s(literal -2 binary64))
(/.f64 (fma.f64 %76 #s(literal 2 binary64) %76) #s(literal -4 binary64))
(/.f64 (fma.f64 %106 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %83)) #s(literal -4 binary64))
(/.f64 (fma.f64 %106 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %86)) #s(literal -4 binary64))
(/.f64 (fma.f64 %106 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %91)) #s(literal -4 binary64))
(/.f64 (fma.f64 %106 #s(literal -2 binary64) %188) #s(literal -4 binary64))
(/.f64 (fma.f64 %106 #s(literal 2 binary64) %106) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %83)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %86)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %91)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %83) #s(literal -2 binary64))
(/.f64 (-.f64 %204 %159) #s(literal -4 binary64))
(/.f64 (-.f64 %207 %76) #s(literal 4 binary64))
(/.f64 (-.f64 %210 %159) #s(literal -4 binary64))
(/.f64 (-.f64 %213 %76) #s(literal 4 binary64))
(/.f64 (-.f64 %216 %188) #s(literal 4 binary64))
(/.f64 (-.f64 %219 %106) #s(literal -4 binary64))
(/.f64 (-.f64 %106 %83) #s(literal 2 binary64))
(/.f64 (-.f64 %76 x) #s(literal -2 binary64))
(/.f64 (neg.f64 %226) #s(literal 2 binary64))
(/.f64 (neg.f64 %229) #s(literal -2 binary64))
(/.f64 %226 #s(literal -2 binary64))
(/.f64 %229 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %63 #s(literal -1 binary64)))
(/.f64 %63 #s(literal 1 binary64))
(fma.f64 %237 #s(literal -1/2 binary64) x)
(fma.f64 %239 #s(literal -1/4 binary64) x)
(fma.f64 %241 #s(literal 4 binary64) x)
(fma.f64 %243 #s(literal 1/8 binary64) x)
(fma.f64 %246 #s(literal 1/2 binary64) x)
(fma.f64 %54 #s(literal 1/4 binary64) x)
(fma.f64 %58 #s(literal 2 binary64) x)
(fma.f64 %250 #s(literal 2 binary64) x)
(fma.f64 #s(literal -1/4 binary64) %239 x)
(fma.f64 #s(literal 1/4 binary64) %54 x)
(fma.f64 #s(literal 1/4 binary64) %106 x)
(fma.f64 %86 #s(literal -1/2 binary64) x)
(fma.f64 %256 #s(literal -1 binary64) x)
(fma.f64 #s(literal 4 binary64) %241 x)
(fma.f64 #s(literal -1 binary64) %256 x)
(fma.f64 %66 #s(literal -1/2 binary64) x)
(fma.f64 #s(literal 1/2 binary64) %246 x)
(fma.f64 #s(literal 1/2 binary64) x x)
(fma.f64 %106 #s(literal 1/4 binary64) x)
(fma.f64 %61 #s(literal 1 binary64) x)
(fma.f64 #s(literal 1 binary64) %61 x)
(fma.f64 #s(literal 2 binary64) %58 x)
(fma.f64 #s(literal 2 binary64) %250 x)
(fma.f64 #s(literal -1/2 binary64) %237 x)
(fma.f64 #s(literal -1/2 binary64) %86 x)
(fma.f64 #s(literal -1/2 binary64) %66 x)
(fma.f64 x #s(literal 1/2 binary64) x)
(-.f64 x (*.f64 %66 #s(literal 1/2 binary64)))
(-.f64 x %256)
(+.f64 %61 x)
(+.f64 x %61)
(pow.f64 %278 #s(literal 1 binary64))
%278
(/.f64 #s(literal 1 binary64) (pow.f64 %278 #s(literal -1 binary64)))
(pow.f64 %282 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %282 #s(literal -1 binary64)))
(neg.f64 %286)
(-.f64 %66 %3)
%282
(+.f64 %66 y)
(+.f64 y %66)
%293
%296
%298
%301
%303
%305
%307
%308
%309
%313
%314
%315
%316
%317
%319
%320
%321
%323
%325
%327
%329
%331
%334
%338
%341
%343
%345
%347
%349
%351
%353
%355
%358
%361
%364
%366
%369
%371
%374
%377
%380
%382
%384
%386
%388
%390
%392
%394
%396
%398
%401
%404
%407
%410
%412
%415
%417
%420
%422
%424
%428
%430
%433
%436
%439
%442
%445
%448
%451
%454
%457
%460
%463
%466
%468
%470
%472
%474
%476
%478
%480
%482
%484
%486
%488
%490
%492
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%544
%547
%551
%554
%559
%562
%565
%568
%572
%574
%576
%578
%581
%583
%585
%587
%590
%592
%594
%596
%599
%601
%603
%605
%608
%610
%612
%614
%618
%620
%622
%624
%627
%629
%631
%633
%636
%638
%640
%642
%645
%647
%649
%651
%655
%657
%659
%661
%663
%665
%667
%669
%671
%673
%675
%677
%679
%681
%683
%685
%687
%689
%692
%695
%698
%701
%704
%707
%710
%713
%716
%719
%722
%725
%728
%731
%734
%737
%740
%743
%746
%749
%752
%755
%758
%761
%764
%766
%768
%770
%772
%774
%776
%778
%780
%782
%784
%786
%788
%790
%792
%794
%796
%798
%800
%802
%804
%806
%808
%810
%812
%814
%817
%820
%823
%826
%829
%832
%835
%838
%841
%844
%847
%850
%853
%856
%859
%862
%865
%868
%871
%874
%877
%880
%883
%886
%889
%892
%895
%898
%901
%904
%907
%910
%913
%916
%919
%922
%925
%928
%931
%934
%937
%940
%943
%945
%949
%952
%955
%958
%962
%964
%967
%971
%974
%977
%980
%983
%985
%988
%991
%994
%996
%998
%1003
%1006
%1010
%1015
%1019
%1021
%1023
%1028
%1030
%1032
%1034
%1036
%1038
%1040
%1043
%1045
%1047
%1050
%1052
%1054
%1056
%1059
%1061
%1063
%1066
%1069
%1071
%1073
%1077
%1080
%1083
%1087
%1090
%1092
%1095
%1098
%1101
%1103
%1106
%1109
%1111
%1113
%1117
%1120
%1123
%1127
%1130
%1132
%1134
%1136
%1139
%1141
%1144
%1148
%1152
%1156
%1159
%1162
%1165
%1169
%1173
%1174
%1175
%1177
%1180
%1181
%1183
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1191
%1192
%1193
%1194
%1196
%1198
%1200
%1201
%1202
%1203
%1205
%1206
%1208
%1210
%1212
%1214
%1216
%1218
%1220
%1222
%1224
%1225
%1227
%1229
%1231
%1234
%1237
%1240
%1243
%1245
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1260
%1261
%1264
%1265
%1267
%1268
%1269
%1270
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1290
%1291
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1304
%1305
%1306
%1307
%1308
%1309
%1310
%1311
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1340
%1341
%1342
%1343
%1344
%1345
%1346
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
%1374
%1375
%1376
%1377
%1378
%1379
%1380
%1381
%1382
%1383
%1384
%1385
%1386
%1387
%1388
%1389
%1390
%1391
%1392
%1393
%1394
%1395
%1396
%1397
%1398
%1399
%1400
%1402
%1403
%1404
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1420
%1421
%1422
%318
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1434
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1442
%1443
%1444
%1445
%1446
%1447
%1448
%1449
%1450
%1451
%1452
%1453
%1454
%1455
%1456
%1457
%1458
%1459
%1460
%1461
%1462
%1463
%1464
%1465
%1466
%1467
%1468
%1469
%1470
%1471
%1472
%1473
%1474
%1475
%1476
%1478
%1479
%1480
%1481
%1482
%1483
%1484
%1485
%1486
%1487
%1488
%1489
%1490
%1491
%1492
%1493
%1494
%1495
%1496
%1497
%1498
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
%1512
%1513
%1514
%1515
%1516
%1518
%1520
%1522
%1523
%1524
%1525
%1526
%1527
%1529
%1531
%1534
%1535
%1537
%1538
%1539
%1540
%1541
%1542
%1543
%1544
%1545
%1546
%1547
%1548
%1549
%1550
%1551
%293
%296
%298
%301
%303
%305
%307
%308
%309
%313
%314
%315
%316
%317
%319
%320
%321
%323
%325
%327
%329
%331
%334
%338
%341
%343
%345
%347
%349
%351
%353
%355
%358
%361
%364
%366
%369
%371
%374
%377
%380
%382
%384
%386
%388
%390
%392
%394
%396
%398
%401
%404
%407
%410
%412
%415
%417
%420
%422
%424
%428
%430
%433
%436
%439
%442
%445
%448
%451
%454
%457
%460
%463
%466
%468
%470
%472
%474
%476
%478
%480
%482
%484
%486
%488
%490
%492
%494
%496
%498
%500
%502
%504
%506
%508
%510
%512
%514
%516
%518
%520
%522
%524
%526
%528
%530
%532
%534
%536
%538
%544
%547
%551
%554
%559
%562
%565
%568
%572
%574
%576
%578
%581
%583
%585
%587
%590
%592
%594
%596
%599
%601
%603
%605
%608
%610
%612
%614
%618
%620
%622
%624
%627
%629
%631
%633
%636
%638
%640
%642
%645
%647
%649
%651
%655
%657
%659
%661
%663
%665
%667
%669
%671
%673
%675
%677
%679
%681
%683
%685
%687
%689
%692
%695
%698
%701
%704
%707
%710
%713
%716
%719
%722
%725
%728
%731
%734
%737
%740
%743
%746
%749
%752
%755
%758
%761
%764
%766
%768
%770
%772
%774
%776
%778
%780
%782
%784
%786
%788
%790
%792
%794
%796
%798
%800
%802
%804
%806
%808
%810
%812
%814
%817
%820
%823
%826
%829
%832
%835
%838
%841
%844
%847
%850
%853
%856
%859
%862
%865
%868
%871
%874
%877
%880
%883
%886
%889
%892
%895
%898
%901
%904
%907
%910
%913
%916
%919
%922
%925
%928
%931
%934
%937
%940
%943
%945
%949
%952
%955
%958
%962
%964
%967
%971
%974
%977
%980
%983
%985
%988
%991
%994
%996
%998
%1003
%1006
%1010
%1015
%1019
%1021
%1023
%1028
%1030
%1032
%1034
%1036
%1038
%1040
%1043
%1045
%1047
%1050
%1052
%1054
%1056
%1059
%1061
%1063
%1066
%1069
%1071
%1073
%1077
%1080
%1083
%1087
%1090
%1092
%1095
%1098
%1101
%1103
%1106
%1109
%1111
%1113
%1117
%1120
%1123
%1127
%1130
%1132
%1134
%1136
%1139
%1141
%1144
%1148
%1152
%1156
%1159
%1162
%1165
%1169
%1173
%1174
%1175
%1177
%1180
%1181
%1183
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1191
%1192
%1193
%1194
%1196
%1198
%1200
%1201
%1202
%1203
%1205
%1206
%1208
%1210
%1212
%1214
%1216
%1218
%1220
%1222
%1224
%1225
%1227
%1229
%1231
%1234
%1237
%1240
%1243
%1245
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1260
%1261
%1264
%1265
%1267
%1268
%1269
%1270
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1290
%1291
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1304
%1305
%1306
%1307
%1308
%1309
%1310
%1311
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1340
%1341
%1342
%1343
%1344
%1345
%1346
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1362
%1363
%1364
%1365
%1366
%1367
%1368
%1369
%1370
%1371
%1372
%1373
%1374
%1375
%1376
%1377
%1378
%1379
%1380
%1381
%1382
%1383
%1384
%1385
%1386
%1387
%1388
%1389
%1390
%1391
%1392
%1393
%1394
%1395
%1396
%1397
%1398
%1399
%1400
%1402
%1403
%1404
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1420
%1421
%1422
%318
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1434
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1442
%1443
%1444
%1445
%1446
%1447
%1448
%1449
%1450
%1451
%1452
%1453
%1454
%1455
%1456
%1457
%1458
%1459
%1460
%1461
%1462
%1463
%1464
%1465
%1466
%1467
%1468
%1469
%1470
%1471
%1472
%1473
%1474
%1475
%1476
%1478
%1479
%1480
%1481
%1482
%1483
%1484
%1485
%1486
%1487
%1488
%1489
%1490
%1491
%1492
%1493
%1494
%1495
%1496
%1497
%1498
%1499
%1500
%1501
%1502
%1503
%1504
%1505
%1506
%1507
%1508
%1509
%1510
%1511
%1512
%1513
%1514
%1515
%1516
%1518
%1520
%1522
%1523
%1524
%1525
%1526
%1527
%1529
%1531
%1534
%1535
%1537
%1538
%1539
%1540
%1541
%1542
%1543
%1544
%1545
%1546
%1547
%1548
%1549
%1550
%1551
(pow.f64 %1552 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1552 #s(literal -1 binary64)))
(neg.f64 (-.f64 %66 %46))
(neg.f64 (neg.f64 %1552))
(-.f64 %46 %66)
(-.f64 x %50)
%1552
(+.f64 x %46)
reconstruct99.0ms (5.5%)
Counts
1 546 → 46
Compiler
Compiled 1 546 to 1 609 computations (-4.1% saved)
eval4.0ms (0.2%)
Compiler
Compiled 39 to 97 computations (-148.7% saved)
prune2.0ms (0.1%)
Pruning
5 alts after pruning (2 fresh and 3 done)
PrunedKeptTotal
New37239
Fresh000
Picked134
Done000
Total38543
Accuracy
100.0%
Counts
43 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 #s(literal 3/2 binary64) x (*.f64 #s(literal -1/2 binary64) y))
✓99.8%
(fma.f64 #s(literal -1/2 binary64) (-.f64 y x) x)
▶59.5%
(fma.f64 #s(literal -1/2 binary64) (approx (- y x) y) x)
▶2.7%
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) (approx x #s(literal 0 binary64))))
✓49.7%
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) x))
Compiler
Compiled 5 to 12 computations (-140.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series5.0ms (0.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
069218
Stop Event
1×iter-limit
Counts
10 → 19
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%7 = (approx (- y x) y)
%9 = (*.f64 #s(literal 3/2 binary64) %3)
x
y
#s(literal 0 binary64)
%3
#s(literal -1/2 binary64)
#s(literal 3/2 binary64)
%7
(fma.f64 #s(literal -1/2 binary64) %7 x)
%9
(approx (+ x (/ (- x y) 2)) %9)
Outputs
%5 = (- y x)
%8 = (*.f64 #s(literal -1 binary64) x)
%13 = (+ (* -1/2 %5) x)
%18 = (*.f64 #s(literal 3/2 binary64) x)
%25 = (/.f64 y x)
%47 = (*.f64 #s(literal 1/2 binary64) x)
%48 = (+.f64 x %47)
%53 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 y %8))
(approx %13 (*.f64 #s(literal -1/2 binary64) y))
(approx %13 (fma.f64 #s(literal -1/2 binary64) y %18))
(approx (* 3/2 x) %18)
(approx %5 %8)
(approx %5 (*.f64 x (-.f64 %25 #s(literal 1 binary64))))
(approx %13 (*.f64 x (+.f64 #s(literal 3/2 binary64) (*.f64 #s(literal -1/2 binary64) %25))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %25)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/2 binary64) %25) #s(literal 3/2 binary64)))))
(approx %5 (-.f64 y x))
(approx %13 %48)
(approx %13 (+.f64 x (fma.f64 #s(literal -1/2 binary64) y %47)))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %53))))
(approx %13 (*.f64 y (-.f64 (fma.f64 #s(literal 1/2 binary64) %53 %53) #s(literal 1/2 binary64))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %53 #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %48 y))))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
0
rewrite120.0ms (6.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01539
01839
16539
218339
377039
0460839
0472638
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
10 → 110
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%7 = (approx (- y x) y)
%9 = (*.f64 #s(literal 3/2 binary64) %3)
x
y
#s(literal 0 binary64)
%3
#s(literal -1/2 binary64)
#s(literal 3/2 binary64)
%7
(fma.f64 #s(literal -1/2 binary64) %7 x)
%9
(approx (+ x (/ (- x y) 2)) %9)
Outputs
%3 = (approx x #s(literal 0 binary64))
%12 = (approx (- y x) y)
%16 = (fma.f64 %12 #s(literal -1/2 binary64) x)
%18 = (*.f64 %12 #s(literal 1 binary64))
%20 = (neg.f64 x)
%22 = (*.f64 %20 #s(literal 2 binary64))
%23 = (*.f64 %22 #s(literal -2 binary64))
%27 = (*.f64 #s(literal -2 binary64) x)
%28 = (*.f64 %27 #s(literal -2 binary64))
%31 = (+.f64 x x)
%32 = (*.f64 %31 #s(literal -2 binary64))
%36 = (*.f64 #s(literal 1 binary64) %12)
%49 = (*.f64 %18 #s(literal -2 binary64))
%52 = (*.f64 %36 #s(literal -2 binary64))
%55 = (*.f64 %12 #s(literal -2 binary64))
%99 = (neg.f64 %12)
%100 = (*.f64 %99 #s(literal 1 binary64))
%105 = (*.f64 #s(literal -1 binary64) %12)
%116 = (*.f64 #s(literal -2 binary64) %22)
%119 = (*.f64 #s(literal -2 binary64) %27)
%122 = (*.f64 #s(literal -2 binary64) %31)
%143 = (*.f64 #s(literal -2 binary64) %18)
%146 = (*.f64 #s(literal -2 binary64) %36)
%149 = (*.f64 #s(literal -2 binary64) %12)
%161 = (*.f64 #s(literal 2 binary64) %36)
%170 = (*.f64 #s(literal 1 binary64) %36)
%175 = (*.f64 #s(literal -2 binary64) %100)
%178 = (*.f64 #s(literal -2 binary64) %105)
%184 = (*.f64 #s(literal -2 binary64) %99)
%222 = (*.f64 #s(literal 1/2 binary64) %12)
%230 = (*.f64 %12 #s(literal -1/2 binary64))
%242 = (*.f64 #s(literal 3/2 binary64) %3)
%251 = (approx (+ (/ (- x y) 2) x) %242)
x
y
#s(literal 0 binary64)
(pow.f64 %3 #s(literal 1 binary64))
%3
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
#s(literal -1/2 binary64)
#s(literal 3/2 binary64)
(pow.f64 %12 #s(literal 1 binary64))
%12
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) %23) #s(literal 4 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) %28) #s(literal 4 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) %32) #s(literal -4 binary64))
(/.f64 (fma.f64 %36 #s(literal -2 binary64) %23) #s(literal 4 binary64))
(/.f64 (fma.f64 %36 #s(literal -2 binary64) %28) #s(literal 4 binary64))
(/.f64 (fma.f64 %36 #s(literal 2 binary64) %32) #s(literal -4 binary64))
(/.f64 (fma.f64 %12 #s(literal -2 binary64) %23) #s(literal 4 binary64))
(/.f64 (fma.f64 %12 #s(literal -2 binary64) %28) #s(literal 4 binary64))
(/.f64 (fma.f64 %12 #s(literal 2 binary64) %32) #s(literal -4 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %49) #s(literal 4 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %52) #s(literal 4 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %55) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %49) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %52) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %55) #s(literal 4 binary64))
(/.f64 (fma.f64 %31 #s(literal -2 binary64) (*.f64 %18 #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (fma.f64 %31 #s(literal -2 binary64) (*.f64 %36 #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (fma.f64 %31 #s(literal -2 binary64) (*.f64 %12 #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 %18 #s(literal 1 binary64))) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 %36 #s(literal 1 binary64))) #s(literal -2 binary64))
(/.f64 (fma.f64 %12 #s(literal 1 binary64) %22) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 1 binary64) %12 %22) #s(literal -2 binary64))
(/.f64 (+.f64 %12 %22) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 1 binary64) %12 %27) #s(literal -2 binary64))
(/.f64 (+.f64 %12 %27) #s(literal -2 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) %18) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %18) #s(literal -2 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) %36) #s(literal -2 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) %12) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %12) #s(literal -2 binary64))
(/.f64 (-.f64 %22 %100) #s(literal -2 binary64))
(/.f64 (-.f64 %27 %100) #s(literal -2 binary64))
(/.f64 (-.f64 %22 %105) #s(literal -2 binary64))
(/.f64 (-.f64 %27 %105) #s(literal -2 binary64))
(/.f64 (-.f64 %31 %36) #s(literal 2 binary64))
(/.f64 (-.f64 %22 %99) #s(literal -2 binary64))
(/.f64 (-.f64 %27 %99) #s(literal -2 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) %116) #s(literal 4 binary64))
(/.f64 (fma.f64 %18 #s(literal -2 binary64) %119) #s(literal 4 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) %122) #s(literal -4 binary64))
(/.f64 (fma.f64 %18 #s(literal 1 binary64) %27) #s(literal -2 binary64))
(/.f64 (fma.f64 %36 #s(literal -2 binary64) %116) #s(literal 4 binary64))
(/.f64 (fma.f64 %36 #s(literal -2 binary64) %119) #s(literal 4 binary64))
(/.f64 (fma.f64 %36 #s(literal 2 binary64) %122) #s(literal -4 binary64))
(/.f64 (fma.f64 %36 #s(literal 1 binary64) %27) #s(literal -2 binary64))
(/.f64 (fma.f64 %12 #s(literal -2 binary64) %116) #s(literal 4 binary64))
(/.f64 (fma.f64 %12 #s(literal -2 binary64) %119) #s(literal 4 binary64))
(/.f64 (fma.f64 %12 #s(literal 2 binary64) %122) #s(literal -4 binary64))
(/.f64 (fma.f64 %12 #s(literal 1 binary64) %27) #s(literal -2 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %143) #s(literal 4 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %146) #s(literal 4 binary64))
(/.f64 (fma.f64 %22 #s(literal -2 binary64) %149) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %143) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %146) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %149) #s(literal 4 binary64))
(/.f64 (fma.f64 %31 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %18)) #s(literal -4 binary64))
(/.f64 (fma.f64 %31 #s(literal -2 binary64) %161) #s(literal -4 binary64))
(/.f64 (fma.f64 %31 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %12)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %18)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %170) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %36) #s(literal -2 binary64))
(/.f64 (-.f64 %23 %175) #s(literal 4 binary64))
(/.f64 (-.f64 %23 %178) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %22 #s(literal 2 binary64)) %146) #s(literal -4 binary64))
(/.f64 (-.f64 %23 %184) #s(literal 4 binary64))
(/.f64 (-.f64 %28 %175) #s(literal 4 binary64))
(/.f64 (-.f64 %28 %178) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %27 #s(literal 2 binary64)) %146) #s(literal -4 binary64))
(/.f64 (-.f64 %28 %184) #s(literal 4 binary64))
(/.f64 (-.f64 %32 (*.f64 #s(literal 2 binary64) %100)) #s(literal -4 binary64))
(/.f64 (-.f64 %32 (*.f64 #s(literal 2 binary64) %105)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %31 #s(literal 2 binary64)) %161) #s(literal 4 binary64))
(/.f64 (-.f64 %32 (*.f64 #s(literal 2 binary64) %99)) #s(literal -4 binary64))
(/.f64 (-.f64 %27 (*.f64 #s(literal 1 binary64) %100)) #s(literal -2 binary64))
(/.f64 (-.f64 %27 (*.f64 #s(literal 1 binary64) %105)) #s(literal -2 binary64))
(/.f64 (-.f64 %31 %170) #s(literal 2 binary64))
(/.f64 (-.f64 %27 (*.f64 #s(literal 1 binary64) %99)) #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64)))
(neg.f64 (-.f64 %222 x))
(neg.f64 (neg.f64 %16))
(fma.f64 %222 #s(literal -1 binary64) x)
(fma.f64 #s(literal 1/2 binary64) (/.f64 %12 #s(literal -1 binary64)) x)
(fma.f64 %230 #s(literal 1 binary64) x)
%16
(fma.f64 #s(literal -1/2 binary64) (/.f64 %12 #s(literal 1 binary64)) x)
(fma.f64 #s(literal -1/2 binary64) %12 x)
(-.f64 %230 %20)
(-.f64 x %222)
(+.f64 %230 x)
(+.f64 x (*.f64 (neg.f64 %99) #s(literal -1/2 binary64)))
(+.f64 x %230)
%242
(*.f64 %3 #s(literal 3/2 binary64))
(pow.f64 %242 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %242 #s(literal -1 binary64)))
(pow.f64 %251 #s(literal 1 binary64))
%251
(/.f64 #s(literal 1 binary64) (pow.f64 %251 #s(literal -1 binary64)))
reconstruct11.0ms (0.6%)
Counts
128 → 25
Compiler
Compiled 128 to 286 computations (-123.4% saved)
eval2.0ms (0.1%)
Compiler
Compiled 18 to 48 computations (-166.7% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (1 fresh and 4 done)
PrunedKeptTotal
New17118
Fresh000
Picked112
Done033
Total18523
Accuracy
100.0%
Counts
23 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 #s(literal 3/2 binary64) x (*.f64 #s(literal -1/2 binary64) y))
✓99.8%
(fma.f64 #s(literal -1/2 binary64) (-.f64 y x) x)
✓59.5%
(fma.f64 #s(literal -1/2 binary64) (approx (- y x) y) x)
▶51.2%
(approx (+ (* -1/2 (- y x)) x) (*.f64 #s(literal -1/2 binary64) y))
✓49.7%
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) x))
Compiler
Compiled 5 to 10 computations (-100.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
046141
Stop Event
1×iter-limit
Counts
4 → 11
Calls
Call 1
Inputs
%2 = (*.f64 #s(literal -1/2 binary64) y)
y
#s(literal -1/2 binary64)
%2
(approx (+ (* -1/2 (- y x)) x) %2)
Outputs
%7 = (+ (* -1/2 (- y x)) x)
%12 = (*.f64 #s(literal 3/2 binary64) x)
%16 = (/.f64 y x)
%29 = (*.f64 #s(literal 1/2 binary64) x)
%30 = (+.f64 x %29)
%35 = (/.f64 x y)
(approx y #s(literal 0 binary64))
(approx %7 (*.f64 #s(literal -1/2 binary64) y))
(approx %7 (fma.f64 #s(literal -1/2 binary64) y %12))
(approx %7 %12)
(approx %7 (*.f64 x (+.f64 #s(literal 3/2 binary64) (*.f64 #s(literal -1/2 binary64) %16))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/2 binary64) %16) #s(literal 3/2 binary64)))))
(approx y y)
(approx %7 %30)
(approx %7 (+.f64 x (fma.f64 #s(literal -1/2 binary64) y %29)))
(approx %7 (*.f64 y (-.f64 (fma.f64 #s(literal 1/2 binary64) %35 %35) #s(literal 1/2 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %30 y))))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
x
inf
0.0ms
y
0
0.0ms
x
0
rewrite77.0ms (4.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0816
0916
12616
25816
316316
439816
594916
0410316
0431515
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 50
Calls
Call 1
Inputs
%2 = (*.f64 #s(literal -1/2 binary64) y)
y
#s(literal -1/2 binary64)
%2
(approx (+ (* -1/2 (- y x)) x) %2)
Outputs
%3 = (*.f64 y #s(literal 1 binary64))
%5 = (neg.f64 y)
%6 = (*.f64 %5 #s(literal 1 binary64))
%10 = (*.f64 #s(literal 1/2 binary64) y)
%15 = (*.f64 #s(literal -1/2 binary64) y)
%35 = (*.f64 y #s(literal 0 binary64))
%37 = (*.f64 #s(literal 0 binary64) y)
%66 = (approx (+ (* (- y x) -1/2) x) %15)
y
#s(literal -1/2 binary64)
(*.f64 %3 #s(literal -1/2 binary64))
(*.f64 %6 #s(literal 1/2 binary64))
(*.f64 #s(literal -1 binary64) %10)
(*.f64 %10 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %5)
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %15)
(*.f64 %15 #s(literal 1 binary64))
%15
(*.f64 y #s(literal -1/2 binary64))
(pow.f64 %15 #s(literal 1 binary64))
(/.f64 %3 #s(literal -2 binary64))
(/.f64 %6 #s(literal 2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %6))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %5))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -1 binary64)))
(/.f64 %15 #s(literal 1 binary64))
(/.f64 y #s(literal -2 binary64))
(neg.f64 %10)
(fma.f64 %3 #s(literal -1/2 binary64) %35)
(fma.f64 %3 #s(literal -1/2 binary64) %37)
(fma.f64 %6 #s(literal 1/2 binary64) %35)
(fma.f64 %6 #s(literal 1/2 binary64) %37)
(fma.f64 #s(literal -1 binary64) %10 %35)
(fma.f64 #s(literal -1 binary64) %10 %37)
(fma.f64 %10 #s(literal -1 binary64) %35)
(fma.f64 %10 #s(literal -1 binary64) %37)
(fma.f64 #s(literal 1/2 binary64) %5 %35)
(fma.f64 #s(literal 1/2 binary64) %5 %37)
(fma.f64 %5 #s(literal 1/2 binary64) %35)
(fma.f64 %5 #s(literal 1/2 binary64) %37)
(fma.f64 #s(literal 1 binary64) %15 %35)
(fma.f64 #s(literal 1 binary64) %15 %37)
(fma.f64 %15 #s(literal 1 binary64) %35)
(fma.f64 %15 #s(literal 1 binary64) %37)
(fma.f64 #s(literal -1/2 binary64) y %35)
(fma.f64 #s(literal -1/2 binary64) y %37)
(fma.f64 y #s(literal -1/2 binary64) %35)
(fma.f64 y #s(literal -1/2 binary64) %37)
(-.f64 %15 %35)
(-.f64 %15 %37)
(+.f64 %15 %35)
(+.f64 %15 %37)
(*.f64 #s(literal 1 binary64) %66)
(pow.f64 %66 #s(literal 1 binary64))
%66
(/.f64 #s(literal 1 binary64) (pow.f64 %66 #s(literal -1 binary64)))
reconstruct3.0ms (0.2%)
Counts
61 → 14
Compiler
Compiled 61 to 90 computations (-47.5% saved)
eval1.0ms (0.1%)
Compiler
Compiled 11 to 37 computations (-236.4% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (0 fresh and 5 done)
PrunedKeptTotal
New11011
Fresh000
Picked011
Done044
Total11516
Accuracy
100.0%
Counts
16 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 #s(literal 3/2 binary64) x (*.f64 #s(literal -1/2 binary64) y))
✓99.8%
(fma.f64 #s(literal -1/2 binary64) (-.f64 y x) x)
✓59.5%
(fma.f64 #s(literal -1/2 binary64) (approx (- y x) y) x)
✓51.2%
(approx (+ (* -1/2 (- y x)) x) (*.f64 #s(literal -1/2 binary64) y))
✓49.7%
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) x))
Compiler
Compiled 5 to 10 computations (-100.0% saved)
regimes16.0ms (0.9%)
Accuracy
Total 24.3b remaining (40.9%)
Threshold costs 0.0b (0.0%)
12.8b57.1%
11.6b52.7%
0.0b0%
0.0b0%
0.0b0%
Counts
1 → 1
3 → 3
4 → 3
6 → 1
7 → 1
Calls
Call 1
Inputs
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) x))
Outputs
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) x))
Call 2
Inputs
%5 = (+ x (/ (- x y) 2))
(approx %5 (*.f64 #s(literal 3/2 binary64) x))
(approx %5 (*.f64 #s(literal 3/2 binary64) (approx x #s(literal 0 binary64))))
(approx (+ (* -1/2 (- y x)) x) (*.f64 #s(literal -1/2 binary64) y))
Outputs
%8 = (approx (+ (* -1/2 (- y x)) x) (*.f64 #s(literal -1/2 binary64) y))
%8
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) x))
%8
Call 3
Inputs
%5 = (+ x (/ (- x y) 2))
%14 = (- y x)
(approx %5 (*.f64 #s(literal 3/2 binary64) x))
(approx %5 (*.f64 #s(literal 3/2 binary64) (approx x #s(literal 0 binary64))))
(approx (+ (* -1/2 %14) x) (*.f64 #s(literal -1/2 binary64) y))
(fma.f64 #s(literal -1/2 binary64) (approx %14 y) x)
Outputs
%5 = (fma.f64 #s(literal -1/2 binary64) (approx (- y x) y) x)
%5
(approx (+ x (/ (- x y) 2)) (*.f64 #s(literal 3/2 binary64) x))
%5
Call 4
Inputs
%4 = (/ (- x y) 2)
%5 = (+ x %4)
%14 = (- y x)
%18 = (*.f64 #s(literal -1/2 binary64) y)
(approx %5 (*.f64 #s(literal 3/2 binary64) x))
(approx %5 (*.f64 #s(literal 3/2 binary64) (approx x #s(literal 0 binary64))))
(approx (+ (* -1/2 %14) x) %18)
(fma.f64 #s(literal -1/2 binary64) (approx %14 y) x)
(+.f64 x (approx %4 %18))
(fma.f64 #s(literal -1/2 binary64) (-.f64 y x) x)
Outputs
(fma.f64 #s(literal -1/2 binary64) (-.f64 y x) x)
Call 5
Inputs
%4 = (/ (- x y) 2)
%5 = (+ x %4)
%14 = (- y x)
%18 = (*.f64 #s(literal -1/2 binary64) y)
(approx %5 (*.f64 #s(literal 3/2 binary64) x))
(approx %5 (*.f64 #s(literal 3/2 binary64) (approx x #s(literal 0 binary64))))
(approx (+ (* -1/2 %14) x) %18)
(fma.f64 #s(literal -1/2 binary64) (approx %14 y) x)
(+.f64 x (approx %4 %18))
(fma.f64 #s(literal -1/2 binary64) (-.f64 y x) x)
(fma.f64 #s(literal 3/2 binary64) x %18)
Outputs
(fma.f64 #s(literal 3/2 binary64) x (*.f64 #s(literal -1/2 binary64) y))
Calls
3 calls:
5.0ms
y
5.0ms
x
5.0ms
(+.f64 x (/.f64 (-.f64 x y) #s(literal 2 binary64)))
Results
AccuracySegmentsBranch
49.7%1
y
49.7%1
x
49.7%1
(+.f64 x (/.f64 (-.f64 x y) #s(literal 2 binary64)))
Compiler
Compiled 11 to 23 computations (-109.1% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch18.0ms (1.0%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
6.0ms
2.4702238806001017e+40
2.5020956682989923e+48
19.0ms
-1.1623226477154053e-26
-1.5431403025918893e-49
Samples
6.0ms296×0valid
0.0ms16×2valid
0.0ms6×1valid
0.0ms2×3valid
Compiler
Compiled 14 to 22 computations (-57.1% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Div: 0.0ms (0.0% of total, 0.0 MiB)
bsearch8.0ms (0.5%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
0.0ms
2.4702238806001017e+40
2.5020956682989923e+48
7.0ms
-4.155509726251822e+46
-2.3642662711297703e+40
Samples
2.0ms128×0valid
0.0ms13×2valid
0.0ms2×3valid
0.0ms1×1valid
Compiler
Compiled 14 to 22 computations (-57.1% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Div: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations92.0ms (5.1%)
Stop Event
1×done
Compiler
Compiled 5 to 20 computations (-300.0% saved)
preprocess20.0ms (1.1%)
Compiler
Compiled 6 to 26 computations (-333.3% saved)
end0.0ms (0.0%)
gc458ms (25.7%)
Allocations
AllocatedPercentPhase
732.1 MiB38.8%sample
473.6 MiB25.1%rewrite
413.2 MiB21.9%reconstruct
90.7 MiB4.8%preprocess
58.8 MiB3.1%series
46.9 MiB2.5%derivations
23.5 MiB1.2%regimes
23.4 MiB1.2%bsearch
13.2 MiB0.7%eval
9.0 MiB0.5%prune
0.8 MiB0.0%analyze
0.0 MiB0.0%end
0.0 MiB0.0%start
1 885.4 MiB100.0%total
Profiling
Loading profile data...