Numeric.Signal.Multichannel:$cget from hsignal-0.2.7.1

Time bar (total: 3.1s)

start0.0ms (0.0%)

analyze50.0ms (1.6%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.8%0.2%0.0%0.0%0.0%0
0.0%0.0%99.8%0.2%0.0%0.0%0.0%1
0.0%0.0%99.8%0.2%0.0%0.0%0.0%2
50.0%49.9%49.9%0.2%0.0%0.0%0.0%3
50.0%49.9%49.9%0.2%0.0%0.0%0.0%4
50.0%49.9%49.9%0.2%0.0%0.0%0.0%5
50.0%49.9%49.9%0.2%0.0%0.0%0.0%6
75.0%74.9%25.0%0.2%0.0%0.0%0.0%7
75.0%74.9%25.0%0.2%0.0%0.0%0.0%8
75.0%74.9%25.0%0.2%0.0%0.0%0.0%9
75.0%74.9%25.0%0.2%0.0%0.0%0.0%10
87.5%87.3%12.5%0.2%0.0%0.0%0.0%11
87.5%87.3%12.5%0.2%0.0%0.0%0.0%12
Compiler

Compiled 11 to 10 computations (9.1% saved)

sample549.0ms (17.5%)

Samples
359.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 17.0ms
Div: 7.0ms (40.3% of total, 0.0 MiB)
Mul: 4.0ms (23.0% of total, 0.0 MiB)
Sub: 3.0ms (17.3% of total, 0.0 MiB)
Add: 3.0ms (17.3% of total, 0.0 MiB)
Bogosity

preprocess45.0ms (1.4%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
050143
1229135
2865135
33593135
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶97.3%
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 2 to 16 computations (-700.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series125.0ms (4.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0127591
Stop Event
1×iter-limit
Counts
8 → 36
Calls
Call 1
Inputs
%2 = (/.f64 x y)
%5 = (-.f64 z t)
%6 = (*.f64 %2 %5)
x
y
%2
z
t
%5
%6
(+.f64 %6 t)
Outputs
%5 = (/ x y)
%6 = (/.f64 x y)
%10 = (- z t)
%11 = (* %5 %10)
%12 = (-.f64 z t)
%13 = (*.f64 x %12)
%14 = (/.f64 %13 y)
%16 = (+ %11 t)
%18 = (/.f64 z y)
%19 = (/.f64 t y)
%21 = (*.f64 x (-.f64 %18 %19))
%25 = (/.f64 t x)
%44 = (*.f64 #s(literal -1 binary64) t)
%47 = (*.f64 t x)
%48 = (/.f64 %47 y)
%49 = (*.f64 #s(literal -1 binary64) %48)
%51 = (*.f64 x z)
%52 = (/.f64 %51 y)
%53 = (fma.f64 #s(literal -1 binary64) %48 %52)
%55 = (+.f64 t %49)
%60 = (/.f64 t z)
%67 = (/.f64 %47 (*.f64 y z))
%92 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %6))
%95 = (/.f64 z t)
%100 = (/.f64 %51 (*.f64 t y))
%101 = (fma.f64 #s(literal -1 binary64) %6 %100)
%114 = (fma.f64 #s(literal -1 binary64) %100 %6)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %11 %14)
(approx %16 t)
(approx %16 (+.f64 t %21))
(approx %16 %21)
(approx %16 (*.f64 x (-.f64 (+.f64 %25 %18) %19)))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %25 (*.f64 #s(literal -1 binary64) (/.f64 %12 y))))))
(approx y y)
(approx %16 (/.f64 (fma.f64 t y %13) y))
(approx %16 (+.f64 t %14))
(approx z z)
(approx %10 %44)
(approx %10 %12)
(approx %11 %49)
(approx %11 %53)
(approx %16 %55)
(approx %16 (+.f64 t %53))
(approx %10 (*.f64 z (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %60))))
(approx %11 %52)
(approx %11 (*.f64 z (fma.f64 #s(literal -1 binary64) %67 %6)))
(approx %16 (*.f64 z (fma.f64 #s(literal -1 binary64) %67 (+.f64 %60 %6))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %60 #s(literal 1 binary64)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %6 %67))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %6 (*.f64 #s(literal -1 binary64) (/.f64 %55 z))))))
(approx %10 (+.f64 z %44))
(approx %16 (fma.f64 t %92 %52))
(approx %10 (*.f64 t (-.f64 %95 #s(literal 1 binary64))))
(approx %11 (*.f64 t %101))
(approx %16 (*.f64 t %92))
(approx %16 (*.f64 t (+.f64 #s(literal 1 binary64) %101)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %95)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 t %114)))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 %6 #s(literal 1 binary64)))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 %114 #s(literal 1 binary64)))))
Calls
12 calls:
TimeVariablePoint
5.0ms
x
inf
3.0ms
y
0
3.0ms
x
0
3.0ms
x
-inf
2.0ms
z
-inf
rewrite165.0ms (5.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0826
01226
13826
212626
356126
4223226
0465826
0493825
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 539
Calls
Call 1
Inputs
%2 = (/.f64 x y)
%5 = (-.f64 z t)
%6 = (*.f64 %2 %5)
x
y
%2
z
t
%5
%6
(+.f64 %6 t)
Outputs
%3 = (/.f64 #s(literal 1 binary64) y)
%4 = (+.f64 x x)
%8 = (neg.f64 x)
%12 = (/.f64 #s(literal -1/2 binary64) y)
%14 = (/.f64 #s(literal 1/2 binary64) y)
%16 = (/.f64 x y)
%17 = (*.f64 #s(literal 2 binary64) %16)
%26 = (/.f64 #s(literal -1 binary64) y)
%28 = (/.f64 %8 y)
%39 = (*.f64 #s(literal 2 binary64) %8)
%41 = (neg.f64 y)
%42 = (*.f64 #s(literal 2 binary64) %41)
%47 = (*.f64 #s(literal 2 binary64) y)
%66 = (-.f64 z t)
%67 = (*.f64 #s(literal 2 binary64) %66)
%79 = (-.f64 t z)
%81 = (neg.f64 t)
%82 = (*.f64 z #s(literal 1 binary64))
%85 = (*.f64 %81 #s(literal 1 binary64))
%87 = (neg.f64 z)
%93 = (/.f64 %66 y)
%94 = (*.f64 %93 %4)
%96 = (*.f64 %79 x)
%97 = (*.f64 %96 #s(literal 2 binary64))
%99 = (*.f64 %66 x)
%100 = (*.f64 %99 #s(literal 2 binary64))
%102 = (*.f64 #s(literal 1/2 binary64) %93)
%104 = (/.f64 %79 y)
%106 = (*.f64 %93 x)
%107 = (*.f64 %14 %99)
%112 = (/.f64 %96 y)
%124 = (*.f64 %87 x)
%125 = (*.f64 %124 #s(literal -1 binary64))
%126 = (*.f64 t x)
%127 = (*.f64 %126 #s(literal -1 binary64))
%128 = (*.f64 y %127)
%130 = (*.f64 y y)
%132 = (*.f64 %81 x)
%133 = (*.f64 %132 #s(literal -1 binary64))
%134 = (*.f64 y %133)
%136 = (*.f64 y %41)
%138 = (*.f64 #s(literal -1 binary64) %132)
%139 = (*.f64 y %138)
%142 = (*.f64 y %126)
%145 = (*.f64 y %132)
%148 = (*.f64 z x)
%149 = (*.f64 %148 #s(literal -1 binary64))
%150 = (*.f64 %41 %127)
%152 = (*.f64 %41 y)
%154 = (*.f64 %41 %133)
%157 = (*.f64 %41 %138)
%160 = (*.f64 %41 %126)
%163 = (*.f64 %41 %132)
%166 = (*.f64 #s(literal -1 binary64) %148)
%189 = (*.f64 y %125)
%192 = (*.f64 y %149)
%195 = (*.f64 y %166)
%198 = (*.f64 y %124)
%201 = (*.f64 y %148)
%204 = (*.f64 %41 %125)
%207 = (*.f64 %41 %149)
%210 = (*.f64 %41 %166)
%213 = (*.f64 %41 %124)
%216 = (*.f64 %41 %148)
%259 = (*.f64 %124 y)
%262 = (*.f64 %124 %41)
%265 = (*.f64 %148 y)
%268 = (*.f64 %148 %41)
%271 = (*.f64 %127 %41)
%272 = (*.f64 %87 %8)
%273 = (*.f64 y %272)
%276 = (*.f64 %8 %87)
%277 = (*.f64 y %276)
%280 = (*.f64 %127 y)
%285 = (*.f64 %133 %41)
%286 = (*.f64 %41 %272)
%289 = (*.f64 %41 %276)
%292 = (*.f64 %133 y)
%297 = (*.f64 %138 %41)
%302 = (*.f64 %138 y)
%307 = (*.f64 %126 %41)
%312 = (*.f64 %126 y)
%317 = (*.f64 %132 %41)
%322 = (*.f64 %132 y)
%327 = (*.f64 z %16)
%328 = (fma.f64 %327 %41 %126)
%331 = (fma.f64 %327 y %132)
%334 = (*.f64 %28 t)
%335 = (fma.f64 %334 %41 %124)
%338 = (fma.f64 %334 y %148)
%341 = (fma.f64 %124 %41 %307)
%343 = (neg.f64 %130)
%345 = (fma.f64 %124 y %317)
%347 = (neg.f64 %152)
%349 = (fma.f64 %148 %41 %312)
%351 = (neg.f64 %136)
%353 = (fma.f64 %148 y %322)
%356 = (fma.f64 %126 %41 %262)
%359 = (fma.f64 %126 y %268)
%362 = (fma.f64 %132 %41 %259)
%365 = (fma.f64 %132 y %265)
%368 = (fma.f64 %124 %41 %160)
%371 = (fma.f64 %124 y %163)
%374 = (fma.f64 %148 %41 %142)
%377 = (fma.f64 %148 y %145)
%380 = (fma.f64 %126 %41 %213)
%383 = (fma.f64 %126 y %216)
%386 = (fma.f64 %132 %41 %198)
%389 = (fma.f64 %132 y %201)
%392 = (*.f64 %96 #s(literal -1 binary64))
%423 = (*.f64 %126 #s(literal 2 binary64))
%425 = (/.f64 %81 y)
%426 = (*.f64 %425 %4)
%428 = (*.f64 %132 #s(literal 2 binary64))
%430 = (*.f64 %124 #s(literal 2 binary64))
%432 = (/.f64 z y)
%433 = (*.f64 %432 %4)
%435 = (*.f64 %148 #s(literal 2 binary64))
%441 = (*.f64 #s(literal 1/2 binary64) %425)
%443 = (*.f64 #s(literal 1/2 binary64) %432)
%445 = (/.f64 %87 y)
%449 = (/.f64 t y)
%453 = (*.f64 %14 %132)
%455 = (*.f64 %14 %148)
%466 = (*.f64 %432 %8)
%468 = (*.f64 %449 x)
%487 = (*.f64 t y)
%488 = (fma.f64 %66 x %487)
%491 = (*.f64 %488 #s(literal -1 binary64))
%493 = (*.f64 %488 #s(literal 1 binary64))
%495 = (-.f64 %96 %487)
%499 = (fma.f64 %93 x t)
%503 = (fma.f64 %81 y %124)
%514 = (fma.f64 t y %148)
%525 = (*.f64 %81 y)
%526 = (*.f64 %41 %392)
%543 = (*.f64 %41 %130)
%547 = (*.f64 %41 %152)
%551 = (*.f64 %41 %136)
%592 = (*.f64 %41 %96)
%595 = (*.f64 %41 %99)
%598 = (*.f64 y %392)
%615 = (*.f64 y %130)
%619 = (*.f64 y %152)
%623 = (*.f64 y %136)
%664 = (*.f64 y %503)
%667 = (*.f64 y %514)
%670 = (*.f64 %41 %503)
%673 = (*.f64 %41 %514)
%688 = (*.f64 y %525)
%691 = (*.f64 y %487)
%694 = (*.f64 %41 %525)
%697 = (*.f64 %41 %487)
%712 = (*.f64 %130 %525)
%714 = (*.f64 %130 %41)
%716 = (*.f64 %130 %487)
%718 = (*.f64 %130 y)
%720 = (*.f64 %152 %525)
%722 = (*.f64 %152 %41)
%724 = (*.f64 %152 %487)
%726 = (*.f64 %152 y)
%728 = (*.f64 %136 %525)
%730 = (*.f64 %136 %41)
%732 = (*.f64 %136 %487)
%734 = (*.f64 %136 y)
%808 = (*.f64 %525 %41)
%809 = (*.f64 #s(literal -1 binary64) %96)
%820 = (*.f64 %487 %41)
%827 = (*.f64 y %96)
%830 = (*.f64 y %99)
%833 = (-.f64 %525 %148)
%834 = (*.f64 y %833)
%839 = (*.f64 %41 %833)
%860 = (fma.f64 %432 x t)
%861 = (fma.f64 %860 %41 %126)
%864 = (fma.f64 %860 y %132)
%867 = (*.f64 t #s(literal 1 binary64))
%868 = (fma.f64 %867 %41 %96)
%871 = (fma.f64 %867 y %99)
%875 = (fma.f64 %487 %41 (*.f64 %96 y))
%879 = (fma.f64 %487 y (*.f64 %99 y))
%882 = (fma.f64 %487 %41 %827)
%885 = (fma.f64 %487 y %830)
%912 = (-.f64 %327 %81)
%919 = (fma.f64 %449 %8 t)
%1021 = (fma.f64 t #s(literal 1 binary64) %327)
x
y
(*.f64 (*.f64 %3 %4) #s(literal 1/2 binary64))
(*.f64 (*.f64 %8 #s(literal 2 binary64)) %12)
(*.f64 %4 %14)
(*.f64 #s(literal 1/2 binary64) %17)
(*.f64 #s(literal 2 binary64) (*.f64 %12 %8))
(*.f64 #s(literal 2 binary64) (*.f64 %14 x))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %16))
(*.f64 %26 %8)
(*.f64 #s(literal -1 binary64) %28)
(*.f64 %3 x)
(*.f64 %8 %26)
(*.f64 #s(literal 1 binary64) %16)
(*.f64 %16 #s(literal 1 binary64))
(*.f64 x %3)
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 (neg.f64 %17) #s(literal -2 binary64))
(/.f64 (neg.f64 %39) (neg.f64 %42))
(/.f64 %17 #s(literal 2 binary64))
(/.f64 (neg.f64 %4) (neg.f64 %47))
(/.f64 (*.f64 %8 #s(literal -1 binary64)) y)
(/.f64 (*.f64 #s(literal -1 binary64) %8) y)
(/.f64 %39 %42)
(/.f64 %4 %47)
(/.f64 %8 %41)
(/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %41 %8))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
%16
(neg.f64 %28)
z
t
(*.f64 #s(literal 1/2 binary64) %67)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %66))
(*.f64 #s(literal 1 binary64) %66)
(*.f64 %66 #s(literal 1 binary64))
(pow.f64 %66 #s(literal 1 binary64))
(/.f64 (neg.f64 %67) #s(literal -2 binary64))
(/.f64 %67 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %66 #s(literal -1 binary64)))
(neg.f64 %79)
(fma.f64 %81 #s(literal 1 binary64) %82)
(fma.f64 #s(literal 1 binary64) %81 z)
(fma.f64 z #s(literal 1 binary64) %85)
(-.f64 %81 %87)
%66
(+.f64 %85 %82)
(+.f64 %82 %85)
(+.f64 %81 z)
(+.f64 z %81)
(*.f64 %94 #s(literal 1/2 binary64))
(*.f64 %97 %12)
(*.f64 %100 %14)
(*.f64 %4 %102)
(*.f64 %104 %8)
%106
(*.f64 #s(literal 2 binary64) %107)
(*.f64 %28 %79)
(*.f64 %26 %96)
(*.f64 %96 %26)
(*.f64 #s(literal -1 binary64) %112)
(*.f64 %99 %3)
(*.f64 %79 %28)
(*.f64 %3 %99)
(*.f64 %8 %104)
(*.f64 #s(literal 1 binary64) %106)
(*.f64 %106 #s(literal 1 binary64))
(*.f64 %66 %16)
(*.f64 %16 %66)
(*.f64 x %93)
(pow.f64 %106 #s(literal 1 binary64))
(/.f64 (fma.f64 %125 y %128) %130)
(/.f64 (fma.f64 %125 %41 %134) %136)
(/.f64 (fma.f64 %125 %41 %139) %136)
(/.f64 (fma.f64 %125 %41 %142) %136)
(/.f64 (fma.f64 %125 y %145) %130)
(/.f64 (fma.f64 %149 y %150) %152)
(/.f64 (fma.f64 %149 %41 %154) %130)
(/.f64 (fma.f64 %149 %41 %157) %130)
(/.f64 (fma.f64 %149 %41 %160) %130)
(/.f64 (fma.f64 %149 y %163) %152)
(/.f64 (fma.f64 %166 y %150) %152)
(/.f64 (fma.f64 %166 %41 %154) %130)
(/.f64 (fma.f64 %166 %41 %157) %130)
(/.f64 (fma.f64 %166 %41 %160) %130)
(/.f64 (fma.f64 %166 y %163) %152)
(/.f64 (fma.f64 %124 y %150) %152)
(/.f64 (fma.f64 %124 %41 %154) %130)
(/.f64 (fma.f64 %124 %41 %157) %130)
(/.f64 (fma.f64 %148 y %128) %130)
(/.f64 (fma.f64 %148 %41 %134) %136)
(/.f64 (fma.f64 %148 %41 %139) %136)
(/.f64 (fma.f64 %127 y %189) %130)
(/.f64 (fma.f64 %127 %41 %192) %136)
(/.f64 (fma.f64 %127 %41 %195) %136)
(/.f64 (fma.f64 %127 %41 %198) %136)
(/.f64 (fma.f64 %127 y %201) %130)
(/.f64 (fma.f64 %133 y %204) %152)
(/.f64 (fma.f64 %133 %41 %207) %130)
(/.f64 (fma.f64 %133 %41 %210) %130)
(/.f64 (fma.f64 %133 %41 %213) %130)
(/.f64 (fma.f64 %133 y %216) %152)
(/.f64 (fma.f64 %138 y %204) %152)
(/.f64 (fma.f64 %138 %41 %207) %130)
(/.f64 (fma.f64 %138 %41 %210) %130)
(/.f64 (fma.f64 %138 %41 %213) %130)
(/.f64 (fma.f64 %138 y %216) %152)
(/.f64 (fma.f64 %126 y %204) %152)
(/.f64 (fma.f64 %126 %41 %207) %130)
(/.f64 (fma.f64 %126 %41 %210) %130)
(/.f64 (fma.f64 %132 y %189) %130)
(/.f64 (fma.f64 %132 %41 %192) %136)
(/.f64 (fma.f64 %132 %41 %195) %136)
(/.f64 (-.f64 (*.f64 %125 y) %142) %130)
(/.f64 (-.f64 (*.f64 %125 %41) %145) %136)
(/.f64 (-.f64 (*.f64 %149 y) %160) %152)
(/.f64 (-.f64 (*.f64 %149 %41) %163) %130)
(/.f64 (-.f64 (*.f64 %166 y) %160) %152)
(/.f64 (-.f64 (*.f64 %166 %41) %163) %130)
(/.f64 (-.f64 %259 %160) %152)
(/.f64 (-.f64 %262 %163) %130)
(/.f64 (-.f64 %265 %142) %130)
(/.f64 (-.f64 %268 %145) %136)
(/.f64 (-.f64 %271 %273) %136)
(/.f64 (-.f64 %271 %277) %136)
(/.f64 (-.f64 %280 %198) %130)
(/.f64 (-.f64 %271 %201) %136)
(/.f64 (-.f64 %285 %286) %130)
(/.f64 (-.f64 %285 %289) %130)
(/.f64 (-.f64 %292 %213) %152)
(/.f64 (-.f64 %285 %216) %130)
(/.f64 (-.f64 %297 %286) %130)
(/.f64 (-.f64 %297 %289) %130)
(/.f64 (-.f64 %302 %213) %152)
(/.f64 (-.f64 %297 %216) %130)
(/.f64 (-.f64 %307 %286) %130)
(/.f64 (-.f64 %307 %289) %130)
(/.f64 (-.f64 %312 %213) %152)
(/.f64 (-.f64 %307 %216) %130)
(/.f64 (-.f64 %317 %273) %136)
(/.f64 (-.f64 %317 %277) %136)
(/.f64 (-.f64 %322 %198) %130)
(/.f64 (-.f64 %317 %201) %136)
(/.f64 (neg.f64 %328) y)
(/.f64 (neg.f64 %331) %41)
(/.f64 (neg.f64 %335) y)
(/.f64 (neg.f64 %338) %41)
(/.f64 (neg.f64 %341) %343)
(/.f64 (neg.f64 %345) %347)
(/.f64 (neg.f64 %349) %351)
(/.f64 (neg.f64 %353) %343)
(/.f64 (neg.f64 %356) %343)
(/.f64 (neg.f64 %359) %347)
(/.f64 (neg.f64 %362) %351)
(/.f64 (neg.f64 %365) %343)
(/.f64 (neg.f64 %368) %343)
(/.f64 (neg.f64 %371) %347)
(/.f64 (neg.f64 %374) %351)
(/.f64 (neg.f64 %377) %343)
(/.f64 (neg.f64 %380) %343)
(/.f64 (neg.f64 %383) %347)
(/.f64 (neg.f64 %386) %351)
(/.f64 (neg.f64 %389) %343)
(/.f64 %392 y)
(/.f64 %328 %41)
(/.f64 %331 y)
(/.f64 %335 %41)
(/.f64 %338 y)
(/.f64 %341 %130)
(/.f64 %345 %152)
(/.f64 %349 %136)
(/.f64 %353 %130)
(/.f64 %356 %130)
(/.f64 %359 %152)
(/.f64 %362 %136)
(/.f64 %365 %130)
(/.f64 %368 %130)
(/.f64 %371 %152)
(/.f64 %374 %136)
(/.f64 %377 %130)
(/.f64 %380 %130)
(/.f64 %383 %152)
(/.f64 %386 %136)
(/.f64 %389 %130)
(/.f64 %96 %41)
(/.f64 %99 y)
(/.f64 #s(literal 1 binary64) (pow.f64 %106 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %41 %96))
(/.f64 #s(literal 1 binary64) (/.f64 y %99))
(neg.f64 %112)
(fma.f64 %423 %12 %327)
(fma.f64 %426 #s(literal 1/2 binary64) %327)
(fma.f64 %428 %14 %327)
(fma.f64 %430 %12 %334)
(fma.f64 %433 #s(literal 1/2 binary64) %334)
(fma.f64 %435 %14 %334)
(fma.f64 %133 %26 %327)
(fma.f64 %149 %26 %334)
(fma.f64 %85 %16 %327)
(fma.f64 %82 %16 %334)
(fma.f64 %4 %441 %327)
(fma.f64 %4 %443 %334)
(fma.f64 %445 %8 %334)
(fma.f64 %126 %26 %327)
(fma.f64 %124 %26 %334)
(fma.f64 %449 %8 %327)
(fma.f64 %425 x %327)
(fma.f64 %432 x %334)
(fma.f64 #s(literal 2 binary64) %453 %327)
(fma.f64 #s(literal 2 binary64) %455 %334)
(fma.f64 %132 %3 %327)
(fma.f64 %327 #s(literal 1 binary64) %334)
(fma.f64 %148 %3 %334)
(fma.f64 %334 #s(literal 1 binary64) %327)
(fma.f64 %28 %87 %334)
(fma.f64 %28 t %327)
(fma.f64 %87 %28 %334)
(fma.f64 %26 %126 %327)
(fma.f64 %26 %124 %334)
(fma.f64 #s(literal -1 binary64) %466 %334)
(fma.f64 #s(literal -1 binary64) %468 %327)
(fma.f64 %81 %16 %327)
(fma.f64 %3 %132 %327)
(fma.f64 %3 %148 %334)
(fma.f64 %8 %445 %334)
(fma.f64 %8 %449 %327)
(fma.f64 #s(literal 1 binary64) %327 %334)
(fma.f64 #s(literal 1 binary64) %334 %327)
(fma.f64 t %28 %327)
(fma.f64 z %16 %334)
(fma.f64 %16 %81 %327)
(fma.f64 %16 z %334)
(fma.f64 x %425 %327)
(fma.f64 x %432 %334)
(-.f64 %327 %468)
(-.f64 %334 %466)
(+.f64 %327 %334)
(+.f64 %334 %327)
(*.f64 (*.f64 %488 #s(literal 2 binary64)) %14)
(*.f64 %491 %26)
(*.f64 %493 %3)
(*.f64 %495 %26)
(*.f64 %488 %3)
(*.f64 %3 %488)
(*.f64 #s(literal 1 binary64) %499)
(*.f64 %499 #s(literal 1 binary64))
(pow.f64 %499 #s(literal 1 binary64))
(/.f64 (fma.f64 %503 y %150) %152)
(/.f64 (fma.f64 %503 %41 %154) %130)
(/.f64 (fma.f64 %503 %41 %157) %130)
(/.f64 (fma.f64 %503 %41 %160) %130)
(/.f64 (fma.f64 %503 y %163) %152)
(/.f64 (fma.f64 %514 y %128) %130)
(/.f64 (fma.f64 %514 %41 %134) %136)
(/.f64 (fma.f64 %514 %41 %139) %136)
(/.f64 (fma.f64 %514 %41 %142) %136)
(/.f64 (fma.f64 %514 y %145) %130)
(/.f64 (fma.f64 %525 y %526) %152)
(/.f64 (fma.f64 %525 %41 (*.f64 %41 %328)) %130)
(/.f64 (fma.f64 %525 y (*.f64 %41 %331)) %152)
(/.f64 (fma.f64 %525 %41 (*.f64 %41 %335)) %130)
(/.f64 (fma.f64 %525 y (*.f64 %41 %338)) %152)
(/.f64 (fma.f64 %525 %130 (*.f64 %41 %341)) %543)
(/.f64 (fma.f64 %525 %152 (*.f64 %41 %345)) %547)
(/.f64 (fma.f64 %525 %136 (*.f64 %41 %349)) %551)
(/.f64 (fma.f64 %525 %130 (*.f64 %41 %353)) %543)
(/.f64 (fma.f64 %525 %130 (*.f64 %41 %356)) %543)
(/.f64 (fma.f64 %525 %152 (*.f64 %41 %359)) %547)
(/.f64 (fma.f64 %525 %136 (*.f64 %41 %362)) %551)
(/.f64 (fma.f64 %525 %130 (*.f64 %41 %365)) %543)
(/.f64 (fma.f64 %525 %130 (*.f64 %41 %368)) %543)
(/.f64 (fma.f64 %525 %152 (*.f64 %41 %371)) %547)
(/.f64 (fma.f64 %525 %136 (*.f64 %41 %374)) %551)
(/.f64 (fma.f64 %525 %130 (*.f64 %41 %377)) %543)
(/.f64 (fma.f64 %525 %130 (*.f64 %41 %380)) %543)
(/.f64 (fma.f64 %525 %152 (*.f64 %41 %383)) %547)
(/.f64 (fma.f64 %525 %136 (*.f64 %41 %386)) %551)
(/.f64 (fma.f64 %525 %130 (*.f64 %41 %389)) %543)
(/.f64 (fma.f64 %525 %41 %592) %130)
(/.f64 (fma.f64 %525 y %595) %152)
(/.f64 (fma.f64 %487 y %598) %130)
(/.f64 (fma.f64 %487 %41 (*.f64 y %328)) %136)
(/.f64 (fma.f64 %487 y (*.f64 y %331)) %130)
(/.f64 (fma.f64 %487 %41 (*.f64 y %335)) %136)
(/.f64 (fma.f64 %487 y (*.f64 y %338)) %130)
(/.f64 (fma.f64 %487 %130 (*.f64 y %341)) %615)
(/.f64 (fma.f64 %487 %152 (*.f64 y %345)) %619)
(/.f64 (fma.f64 %487 %136 (*.f64 y %349)) %623)
(/.f64 (fma.f64 %487 %130 (*.f64 y %353)) %615)
(/.f64 (fma.f64 %487 %130 (*.f64 y %356)) %615)
(/.f64 (fma.f64 %487 %152 (*.f64 y %359)) %619)
(/.f64 (fma.f64 %487 %136 (*.f64 y %362)) %623)
(/.f64 (fma.f64 %487 %130 (*.f64 y %365)) %615)
(/.f64 (fma.f64 %487 %130 (*.f64 y %368)) %615)
(/.f64 (fma.f64 %487 %152 (*.f64 y %371)) %619)
(/.f64 (fma.f64 %487 %136 (*.f64 y %374)) %623)
(/.f64 (fma.f64 %487 %130 (*.f64 y %377)) %615)
(/.f64 (fma.f64 %487 %130 (*.f64 y %380)) %615)
(/.f64 (fma.f64 %487 %152 (*.f64 y %383)) %619)
(/.f64 (fma.f64 %487 %136 (*.f64 y %386)) %623)
(/.f64 (fma.f64 %487 %130 (*.f64 y %389)) %615)
(/.f64 (fma.f64 %127 %41 %664) %136)
(/.f64 (fma.f64 %127 y %667) %130)
(/.f64 (fma.f64 %133 %41 %670) %130)
(/.f64 (fma.f64 %133 y %673) %152)
(/.f64 (fma.f64 %138 %41 %670) %130)
(/.f64 (fma.f64 %138 y %673) %152)
(/.f64 (fma.f64 %126 %41 %670) %130)
(/.f64 (fma.f64 %126 y %673) %152)
(/.f64 (fma.f64 %132 %41 %664) %136)
(/.f64 (fma.f64 %132 y %667) %130)
(/.f64 (fma.f64 %392 %41 %688) %136)
(/.f64 (fma.f64 %392 y %691) %130)
(/.f64 (fma.f64 %328 %41 %694) %130)
(/.f64 (fma.f64 %328 y %697) %152)
(/.f64 (fma.f64 %331 %41 %688) %136)
(/.f64 (fma.f64 %331 y %691) %130)
(/.f64 (fma.f64 %335 %41 %694) %130)
(/.f64 (fma.f64 %335 y %697) %152)
(/.f64 (fma.f64 %338 %41 %688) %136)
(/.f64 (fma.f64 %338 y %691) %130)
(/.f64 (fma.f64 %341 %41 %712) %714)
(/.f64 (fma.f64 %341 y %716) %718)
(/.f64 (fma.f64 %345 %41 %720) %722)
(/.f64 (fma.f64 %345 y %724) %726)
(/.f64 (fma.f64 %349 %41 %728) %730)
(/.f64 (fma.f64 %349 y %732) %734)
(/.f64 (fma.f64 %353 %41 %712) %714)
(/.f64 (fma.f64 %353 y %716) %718)
(/.f64 (fma.f64 %356 %41 %712) %714)
(/.f64 (fma.f64 %356 y %716) %718)
(/.f64 (fma.f64 %359 %41 %720) %722)
(/.f64 (fma.f64 %359 y %724) %726)
(/.f64 (fma.f64 %362 %41 %728) %730)
(/.f64 (fma.f64 %362 y %732) %734)
(/.f64 (fma.f64 %365 %41 %712) %714)
(/.f64 (fma.f64 %365 y %716) %718)
(/.f64 (fma.f64 %368 %41 %712) %714)
(/.f64 (fma.f64 %368 y %716) %718)
(/.f64 (fma.f64 %371 %41 %720) %722)
(/.f64 (fma.f64 %371 y %724) %726)
(/.f64 (fma.f64 %374 %41 %728) %730)
(/.f64 (fma.f64 %374 y %732) %734)
(/.f64 (fma.f64 %377 %41 %712) %714)
(/.f64 (fma.f64 %377 y %716) %718)
(/.f64 (fma.f64 %380 %41 %712) %714)
(/.f64 (fma.f64 %380 y %716) %718)
(/.f64 (fma.f64 %383 %41 %720) %722)
(/.f64 (fma.f64 %383 y %724) %726)
(/.f64 (fma.f64 %386 %41 %728) %730)
(/.f64 (fma.f64 %386 y %732) %734)
(/.f64 (fma.f64 %389 %41 %712) %714)
(/.f64 (fma.f64 %389 y %716) %718)
(/.f64 (fma.f64 %96 %41 %694) %130)
(/.f64 (fma.f64 %96 y %697) %152)
(/.f64 (fma.f64 %99 %41 %688) %136)
(/.f64 (fma.f64 %99 y %691) %130)
(/.f64 (-.f64 (*.f64 %503 y) %160) %152)
(/.f64 (-.f64 (*.f64 %503 %41) %163) %130)
(/.f64 (-.f64 (*.f64 %514 y) %142) %130)
(/.f64 (-.f64 (*.f64 %514 %41) %145) %136)
(/.f64 (-.f64 %808 (*.f64 %41 %809)) %130)
(/.f64 (-.f64 %808 %526) %130)
(/.f64 (-.f64 (*.f64 %525 y) %592) %152)
(/.f64 (-.f64 %808 %595) %130)
(/.f64 (-.f64 %820 (*.f64 y %809)) %136)
(/.f64 (-.f64 %820 %598) %136)
(/.f64 (-.f64 (*.f64 %487 y) %827) %130)
(/.f64 (-.f64 %820 %830) %136)
(/.f64 (-.f64 %280 %834) %130)
(/.f64 (-.f64 %271 %667) %136)
(/.f64 (-.f64 %292 %839) %152)
(/.f64 (-.f64 %285 %673) %130)
(/.f64 (-.f64 %302 %839) %152)
(/.f64 (-.f64 %297 %673) %130)
(/.f64 (-.f64 %312 %839) %152)
(/.f64 (-.f64 %307 %673) %130)
(/.f64 (-.f64 %322 %834) %130)
(/.f64 (-.f64 %317 %667) %136)
(/.f64 (neg.f64 %491) y)
(/.f64 (neg.f64 %493) %41)
(/.f64 (neg.f64 %861) y)
(/.f64 (neg.f64 %864) %41)
(/.f64 (neg.f64 %868) y)
(/.f64 (neg.f64 %871) %41)
(/.f64 (neg.f64 %875) %351)
(/.f64 (neg.f64 %879) %343)
(/.f64 (neg.f64 %882) %351)
(/.f64 (neg.f64 %885) %343)
(/.f64 %491 %41)
(/.f64 %493 y)
(/.f64 %861 %41)
(/.f64 %864 y)
(/.f64 %868 %41)
(/.f64 %871 y)
(/.f64 %875 %136)
(/.f64 %879 %130)
(/.f64 %882 %136)
(/.f64 %885 %130)
(/.f64 %495 %41)
(/.f64 %488 y)
(/.f64 #s(literal 1 binary64) (/.f64 %41 %495))
(/.f64 #s(literal 1 binary64) (pow.f64 %499 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %488))
(neg.f64 (-.f64 %112 t))
(fma.f64 %94 #s(literal 1/2 binary64) %867)
(fma.f64 %94 #s(literal 1/2 binary64) t)
(fma.f64 %97 %12 %867)
(fma.f64 %97 %12 t)
(fma.f64 %423 %12 %912)
(fma.f64 %423 %12 %860)
(fma.f64 %426 #s(literal 1/2 binary64) %912)
(fma.f64 %426 #s(literal 1/2 binary64) %860)
(fma.f64 %428 %14 %912)
(fma.f64 %428 %14 %860)
(fma.f64 %430 %12 %919)
(fma.f64 %433 #s(literal 1/2 binary64) %919)
(fma.f64 %435 %14 %919)
(fma.f64 %100 %14 %867)
(fma.f64 %100 %14 t)
(fma.f64 %133 %26 %912)
(fma.f64 %133 %26 %860)
(fma.f64 %149 %26 %919)
(fma.f64 %85 %16 %912)
(fma.f64 %85 %16 %860)
(fma.f64 %82 %16 %919)
(fma.f64 %4 %102 %867)
(fma.f64 %4 %102 t)
(fma.f64 %4 %441 %912)
(fma.f64 %4 %441 %860)
(fma.f64 %4 %443 %919)
(fma.f64 %445 %8 %919)
(fma.f64 %104 %8 %867)
(fma.f64 %104 %8 t)
(fma.f64 %126 %26 %912)
(fma.f64 %126 %26 %860)
(fma.f64 %124 %26 %919)
(fma.f64 %449 %8 %912)
(fma.f64 %449 %8 %860)
(fma.f64 %425 x %912)
(fma.f64 %425 x %860)
(fma.f64 %432 x %919)
(fma.f64 %93 x %867)
%499
(fma.f64 #s(literal 2 binary64) %107 %867)
(fma.f64 #s(literal 2 binary64) %107 t)
(fma.f64 #s(literal 2 binary64) %453 %912)
(fma.f64 #s(literal 2 binary64) %453 %860)
(fma.f64 #s(literal 2 binary64) %455 %919)
(fma.f64 %132 %3 %912)
(fma.f64 %132 %3 %860)
(fma.f64 %327 #s(literal 1 binary64) %919)
(fma.f64 %148 %3 %919)
(fma.f64 %334 #s(literal 1 binary64) %912)
(fma.f64 %334 #s(literal 1 binary64) %860)
(fma.f64 %28 %87 %919)
(fma.f64 %28 %79 %867)
(fma.f64 %28 %79 t)
(fma.f64 %28 t %912)
(fma.f64 %28 t %860)
(fma.f64 %87 %28 %919)
(fma.f64 %26 %126 %912)
(fma.f64 %26 %126 %860)
(fma.f64 %26 %124 %919)
(fma.f64 %26 %96 %867)
(fma.f64 %26 %96 t)
(fma.f64 %487 %3 %106)
(fma.f64 %96 %26 %867)
(fma.f64 %96 %26 t)
(fma.f64 #s(literal -1 binary64) %466 %919)
(fma.f64 #s(literal -1 binary64) %468 %912)
(fma.f64 #s(literal -1 binary64) %468 %860)
(fma.f64 #s(literal -1 binary64) %112 %867)
(fma.f64 #s(literal -1 binary64) %112 t)
(fma.f64 %99 %3 %867)
(fma.f64 %99 %3 t)
(fma.f64 %79 %28 %867)
(fma.f64 %79 %28 t)
(fma.f64 %81 %16 %912)
(fma.f64 %81 %16 %860)
(fma.f64 %3 %132 %912)
(fma.f64 %3 %132 %860)
(fma.f64 %3 %148 %919)
(fma.f64 %3 %99 %867)
(fma.f64 %3 %99 t)
(fma.f64 %8 %445 %919)
(fma.f64 %8 %104 %867)
(fma.f64 %8 %104 t)
(fma.f64 %8 %449 %912)
(fma.f64 %8 %449 %860)
(fma.f64 #s(literal 1 binary64) %860 %334)
(fma.f64 #s(literal 1 binary64) %919 %327)
(fma.f64 #s(literal 1 binary64) %867 %106)
(fma.f64 #s(literal 1 binary64) %327 %919)
(fma.f64 #s(literal 1 binary64) %334 %912)
(fma.f64 #s(literal 1 binary64) %334 %860)
(fma.f64 #s(literal 1 binary64) %106 %867)
(fma.f64 #s(literal 1 binary64) %106 t)
(fma.f64 %106 #s(literal 1 binary64) %867)
(fma.f64 %106 #s(literal 1 binary64) t)
(fma.f64 %66 %16 %867)
(fma.f64 %66 %16 t)
(fma.f64 t %28 %912)
(fma.f64 t %28 %860)
(fma.f64 t #s(literal 1 binary64) %106)
(fma.f64 z %16 %919)
(fma.f64 %16 %81 %912)
(fma.f64 %16 %81 %860)
(fma.f64 %16 %66 %867)
(fma.f64 %16 %66 t)
(fma.f64 %16 z %919)
(fma.f64 y %449 %106)
(fma.f64 x %425 %912)
(fma.f64 x %425 %860)
(fma.f64 x %432 %919)
(fma.f64 x %93 %867)
(fma.f64 x %93 t)
(-.f64 %1021 %468)
(-.f64 (-.f64 t %468) %466)
(-.f64 %860 %468)
(-.f64 %867 %112)
(-.f64 %327 (-.f64 %468 t))
(-.f64 %327 (fma.f64 %449 x %81))
(-.f64 %327 (neg.f64 %919))
(-.f64 %334 (-.f64 %81 %327))
(-.f64 %106 %81)
(-.f64 t %112)
(+.f64 (fma.f64 t #s(literal 1 binary64) %334) %327)
(+.f64 %1021 %334)
(+.f64 %860 %334)
(+.f64 %919 %327)
(+.f64 %867 %106)
(+.f64 %327 %919)
(+.f64 %334 %912)
(+.f64 %334 %860)
(+.f64 %106 %867)
(+.f64 %106 t)
(+.f64 t %106)
reconstruct94.0ms (3.0%)
Counts
575 → 127
Compiler
Compiled 575 to 1 122 computations (-95.1% saved)
eval30.0ms (1.0%)
Compiler
Compiled 124 to 368 computations (-196.8% saved)
prune5.0ms (0.2%)
Pruning
8 alts after pruning (8 fresh and 0 done)
PrunedKeptTotal
New1168124
Fresh000
Picked101
Done000
Total1178125
Accuracy
100.0%
Counts
125 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶97.3%
(fma.f64 (-.f64 z t) (/.f64 x y) t)
▶93.2%
(fma.f64 (*.f64 (-.f64 t z) x) (/.f64 #s(literal -1 binary64) y) t)
▶90.3%
(fma.f64 x (/.f64 (-.f64 z t) y) t)
▶83.2%
(/.f64 (fma.f64 (-.f64 z t) x (*.f64 t y)) y)
▶97.2%
(+.f64 (*.f64 (*.f64 x (/.f64 #s(literal 1 binary64) y)) (-.f64 z t)) t)
▶93.2%
(+.f64 (approx (* (/ x y) (- z t)) (/.f64 (*.f64 x (-.f64 z t)) y)) t)
▶75.7%
(+.f64 (approx (* (/ x y) (- z t)) (/.f64 (*.f64 x z) y)) t)
▶37.4%
(approx (+ (* (/ x y) (- z t)) t) t)
Compiler
Compiled 8 to 28 computations (-250.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series97.0ms (3.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02991562
Stop Event
1×iter-limit
Counts
31 → 94
Calls
Call 1
Inputs
%2 = (/.f64 x y)
%5 = (-.f64 z t)
%6 = (*.f64 x %5)
%7 = (/.f64 %6 y)
%10 = (* (/ x y) (- z t))
%11 = (approx %10 %7)
%15 = (/.f64 %5 y)
%16 = (*.f64 x z)
%17 = (/.f64 %16 y)
%19 = (approx %10 %17)
%20 = (*.f64 t y)
%21 = (/.f64 #s(literal 1 binary64) y)
%22 = (/.f64 #s(literal -1 binary64) y)
%23 = (*.f64 x %21)
%24 = (-.f64 t z)
%25 = (*.f64 %24 x)
%26 = (fma.f64 %5 x %20)
%33 = (*.f64 %23 %5)
x
y
%2
z
t
%5
%6
%7
%11
(approx (+ %10 t) t)
#s(literal -1 binary64)
%15
%16
%17
#s(literal 1 binary64)
%19
%20
%21
%22
%23
%24
%25
%26
(/.f64 %26 y)
(fma.f64 %25 %22 t)
(fma.f64 %5 %2 t)
(fma.f64 x %15 t)
(+.f64 %11 t)
(+.f64 %19 t)
%33
(+.f64 %33 t)
Outputs
%5 = (/ x y)
%6 = (/.f64 x y)
%10 = (- z t)
%11 = (* x %10)
%12 = (-.f64 z t)
%13 = (*.f64 x %12)
%15 = (/ %11 y)
%16 = (/.f64 %13 y)
%19 = (+ (* %5 %10) t)
%21 = (/.f64 z y)
%22 = (/.f64 t y)
%24 = (*.f64 x (-.f64 %21 %22))
%27 = (* x z)
%28 = (*.f64 x z)
%31 = (/.f64 %28 y)
%33 = (- t z)
%34 = (* %33 x)
%35 = (-.f64 t z)
%36 = (*.f64 x %35)
%40 = (+ (* %10 x) (* t y))
%41 = (*.f64 t y)
%43 = (fma.f64 t y %13)
%46 = (/ -1 y)
%48 = (+ (* %34 %46) t)
%51 = (*.f64 #s(literal -1 binary64) (/.f64 %36 y))
%55 = (/.f64 t x)
%60 = (/.f64 %41 x)
%70 = (/.f64 %12 y)
%93 = (/ %10 y)
%98 = (/.f64 #s(literal 1 binary64) y)
%105 = (+.f64 t %16)
%115 = (*.f64 #s(literal -1 binary64) t)
%118 = (*.f64 t x)
%123 = (/.f64 %118 y)
%124 = (*.f64 #s(literal -1 binary64) %123)
%126 = (fma.f64 #s(literal -1 binary64) %123 %31)
%128 = (+.f64 t %124)
%136 = (*.f64 #s(literal -1 binary64) z)
%142 = (fma.f64 #s(literal -1 binary64) %118 %41)
%147 = (/ %40 y)
%150 = (/.f64 t z)
%153 = (*.f64 z (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %150)))
%155 = (/.f64 %118 z)
%158 = (*.f64 z (+.f64 x (*.f64 #s(literal -1 binary64) %155)))
%160 = (*.f64 y z)
%161 = (/.f64 %118 %160)
%170 = (/.f64 t %160)
%176 = (*.f64 z (-.f64 %150 #s(literal 1 binary64)))
%181 = (*.f64 z (fma.f64 #s(literal -1 binary64) x %155))
%219 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %6))
%224 = (+.f64 y (*.f64 #s(literal -1 binary64) x))
%227 = (/.f64 z t)
%229 = (*.f64 t (-.f64 %227 #s(literal 1 binary64)))
%231 = (/.f64 %28 t)
%232 = (fma.f64 #s(literal -1 binary64) x %231)
%233 = (*.f64 t %232)
%235 = (/.f64 %28 %41)
%236 = (fma.f64 #s(literal -1 binary64) %6 %235)
%244 = (/.f64 z %41)
%250 = (*.f64 t (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %227)))
%252 = (*.f64 #s(literal -1 binary64) %231)
%254 = (*.f64 t (+.f64 x %252))
%256 = (*.f64 t %224)
%267 = (fma.f64 #s(literal -1 binary64) %235 %6)
%289 = (*.f64 t (+.f64 x (*.f64 #s(literal -1 binary64) y)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %11 %13)
(approx %15 %16)
(approx %19 t)
(approx %19 (+.f64 t %24))
(approx %27 %28)
(approx (/ %27 y) %31)
(approx %34 %36)
(approx %40 %41)
(approx %40 %43)
(approx %48 (+.f64 t %51))
(approx %19 %24)
(approx %19 (*.f64 x (-.f64 (+.f64 %55 %21) %22)))
(approx %40 (*.f64 x (-.f64 (+.f64 z %60) t)))
(approx %48 %51)
(approx %48 (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 %35 y) %55)))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %55 (*.f64 #s(literal -1 binary64) %70)))))
(approx %40 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %12 (*.f64 #s(literal -1 binary64) %60)))))
(approx %48 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %22 %21))))
(approx %48 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) %55 %22) %21))))
(approx y y)
(approx %19 (/.f64 %43 y))
(approx %93 %70)
(approx (/ 1 y) %98)
(approx %46 (/.f64 #s(literal -1 binary64) y))
(approx %48 (/.f64 (fma.f64 #s(literal -1 binary64) %36 %41) y))
(approx %19 %105)
(approx %40 (*.f64 y %105))
(approx %40 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) t (*.f64 #s(literal -1 binary64) %16)))))
(approx z z)
(approx %10 %115)
(approx %10 %12)
(approx %11 (*.f64 #s(literal -1 binary64) %118))
(approx %11 (fma.f64 #s(literal -1 binary64) %118 %28))
(approx %15 %124)
(approx %15 %126)
(approx %19 %128)
(approx %19 (+.f64 t %126))
(approx %93 (*.f64 #s(literal -1 binary64) %22))
(approx %93 (fma.f64 #s(literal -1 binary64) %22 %21))
(approx %33 (+.f64 t %136))
(approx %34 %118)
(approx %34 (fma.f64 #s(literal -1 binary64) %28 %118))
(approx %40 %142)
(approx %40 (fma.f64 #s(literal -1 binary64) %118 (fma.f64 t y %28)))
(approx %147 (/.f64 %142 y))
(approx %10 %153)
(approx %11 %158)
(approx %15 (*.f64 z (fma.f64 #s(literal -1 binary64) %161 %6)))
(approx %19 (*.f64 z (fma.f64 #s(literal -1 binary64) %161 (+.f64 %150 %6))))
(approx %93 %21)
(approx %93 (*.f64 z (fma.f64 #s(literal -1 binary64) %170 %98)))
(approx %33 %136)
(approx %33 %176)
(approx %34 (*.f64 #s(literal -1 binary64) %28))
(approx %34 %181)
(approx %40 (*.f64 z (+.f64 x (fma.f64 #s(literal -1 binary64) %155 (/.f64 %41 z)))))
(approx %10 (*.f64 #s(literal -1 binary64) %176))
(approx %11 (*.f64 #s(literal -1 binary64) %181))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %6 %161))))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %6 (*.f64 #s(literal -1 binary64) (/.f64 %128 z))))))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %170 %98))))
(approx %33 (*.f64 #s(literal -1 binary64) %153))
(approx %34 (*.f64 #s(literal -1 binary64) %158))
(approx %40 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %142 z))))))
(approx %10 (+.f64 z %115))
(approx %19 (fma.f64 t %219 %31))
(approx %33 %35)
(approx %40 (fma.f64 t %224 %28))
(approx %10 %229)
(approx %11 %233)
(approx %15 (*.f64 t %236))
(approx %19 (*.f64 t %219))
(approx %19 (*.f64 t (+.f64 #s(literal 1 binary64) %236)))
(approx %93 (*.f64 t (-.f64 %244 %98)))
(approx %33 %250)
(approx %34 %254)
(approx %40 %256)
(approx %40 (*.f64 t (+.f64 y %232)))
(approx %147 (/.f64 %256 y))
(approx %10 (*.f64 #s(literal -1 binary64) %250))
(approx %11 (*.f64 #s(literal -1 binary64) %254))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 t %267)))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 %6 #s(literal 1 binary64)))))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 %267 #s(literal 1 binary64)))))
(approx %93 (*.f64 #s(literal -1 binary64) (*.f64 t (fma.f64 #s(literal -1 binary64) %244 %98))))
(approx %33 (*.f64 #s(literal -1 binary64) %229))
(approx %34 (*.f64 #s(literal -1 binary64) %233))
(approx %40 (*.f64 #s(literal -1 binary64) %289))
(approx %40 (*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 x (fma.f64 #s(literal -1 binary64) y %252)))))
(approx %147 (*.f64 #s(literal -1 binary64) (/.f64 %289 y)))
(approx %147 (*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 #s(literal -1 binary64) %267))))
Calls
12 calls:
TimeVariablePoint
15.0ms
x
inf
13.0ms
y
0
7.0ms
t
inf
7.0ms
z
inf
7.0ms
z
-inf
rewrite117.0ms (3.7%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
035194
060192
1193182
2607182
32844182
04340182
04832182
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
31 → 1 779
Calls
Call 1
Inputs
%2 = (/.f64 x y)
%5 = (-.f64 z t)
%6 = (*.f64 x %5)
%7 = (/.f64 %6 y)
%10 = (* (/ x y) (- z t))
%11 = (approx %10 %7)
%15 = (/.f64 %5 y)
%16 = (*.f64 x z)
%17 = (/.f64 %16 y)
%19 = (approx %10 %17)
%20 = (*.f64 t y)
%21 = (/.f64 #s(literal 1 binary64) y)
%22 = (/.f64 #s(literal -1 binary64) y)
%23 = (*.f64 x %21)
%24 = (-.f64 t z)
%25 = (*.f64 %24 x)
%26 = (fma.f64 %5 x %20)
%33 = (*.f64 %23 %5)
x
y
%2
z
t
%5
%6
%7
%11
(approx (+ %10 t) t)
#s(literal -1 binary64)
%15
%16
%17
#s(literal 1 binary64)
%19
%20
%21
%22
%23
%24
%25
%26
(/.f64 %26 y)
(fma.f64 %25 %22 t)
(fma.f64 %5 %2 t)
(fma.f64 x %15 t)
(+.f64 %11 t)
(+.f64 %19 t)
%33
(+.f64 %33 t)
Outputs
%3 = (/.f64 #s(literal 1 binary64) y)
%4 = (+.f64 x x)
%7 = (*.f64 (*.f64 %3 %4) #s(literal 1/2 binary64))
%8 = (neg.f64 x)
%12 = (/.f64 #s(literal -1/2 binary64) y)
%13 = (*.f64 (*.f64 %8 #s(literal 2 binary64)) %12)
%14 = (/.f64 #s(literal 1/2 binary64) y)
%15 = (*.f64 %4 %14)
%17 = (/.f64 #s(literal -1 binary64) y)
%18 = (*.f64 %8 %17)
%19 = (neg.f64 y)
%20 = (/.f64 x %19)
%21 = (*.f64 %20 #s(literal -1 binary64))
%22 = (/.f64 x y)
%23 = (*.f64 #s(literal 2 binary64) %22)
%24 = (*.f64 #s(literal 1/2 binary64) %23)
%26 = (*.f64 #s(literal 2 binary64) (*.f64 %14 x))
%28 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %22))
%29 = (*.f64 %17 %8)
%30 = (*.f64 %3 x)
%31 = (*.f64 #s(literal 1 binary64) %22)
%32 = (*.f64 #s(literal -1 binary64) %20)
%33 = (*.f64 %22 #s(literal 1 binary64))
%34 = (*.f64 x %3)
%35 = (pow.f64 %22 #s(literal 1 binary64))
%38 = (/.f64 (neg.f64 %23) #s(literal -2 binary64))
%39 = (*.f64 #s(literal 2 binary64) %8)
%41 = (*.f64 #s(literal 2 binary64) %19)
%42 = (neg.f64 %41)
%43 = (/.f64 (neg.f64 %39) %42)
%44 = (/.f64 %23 #s(literal 2 binary64))
%46 = (*.f64 #s(literal 2 binary64) y)
%47 = (neg.f64 %46)
%48 = (/.f64 (neg.f64 %4) %47)
%49 = (/.f64 %39 %41)
%50 = (/.f64 %4 %46)
%51 = (/.f64 %8 %19)
%53 = (/.f64 #s(literal 1 binary64) (/.f64 %19 %8))
%55 = (/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))
%57 = (/.f64 #s(literal 1 binary64) (/.f64 y x))
%58 = (neg.f64 %20)
%61 = (-.f64 t z)
%62 = (*.f64 %61 #s(literal -2 binary64))
%64 = (*.f64 %61 #s(literal 2 binary64))
%66 = (-.f64 z t)
%67 = (*.f64 %66 #s(literal 2 binary64))
%69 = (*.f64 %66 #s(literal 1/2 binary64))
%71 = (*.f64 #s(literal 2 binary64) %66)
%73 = (*.f64 #s(literal 1/2 binary64) %66)
%82 = (neg.f64 %71)
%88 = (*.f64 z #s(literal 1 binary64))
%89 = (-.f64 t %88)
%93 = (*.f64 %66 #s(literal 0 binary64))
%95 = (*.f64 #s(literal 0 binary64) %66)
%108 = (neg.f64 t)
%109 = (*.f64 %108 y)
%114 = (/.f64 z y)
%116 = (/.f64 t y)
%121 = (*.f64 t y)
%134 = (/.f64 %19 y)
%140 = (/.f64 %108 y)
%145 = (neg.f64 z)
%155 = (*.f64 %66 %4)
%157 = (*.f64 %61 x)
%158 = (*.f64 %157 #s(literal -2 binary64))
%160 = (*.f64 %66 x)
%161 = (*.f64 %160 #s(literal 2 binary64))
%163 = (*.f64 %157 #s(literal 2 binary64))
%165 = (*.f64 %160 #s(literal 1/2 binary64))
%168 = (*.f64 #s(literal 1/2 binary64) %157)
%171 = (*.f64 %61 y)
%173 = (*.f64 #s(literal -1/2 binary64) %157)
%175 = (*.f64 %17 y)
%178 = (*.f64 %20 y)
%181 = (*.f64 %157 y)
%183 = (*.f64 %160 y)
%186 = (/.f64 %66 y)
%187 = (*.f64 x y)
%189 = (/.f64 %157 y)
%190 = (*.f64 %189 y)
%193 = (/.f64 %160 y)
%196 = (*.f64 %22 y)
%198 = (*.f64 %66 y)
%201 = (*.f64 %186 y)
%214 = (*.f64 %160 #s(literal 0 binary64))
%216 = (*.f64 #s(literal 0 binary64) %160)
%218 = (*.f64 z %4)
%219 = (*.f64 %108 x)
%222 = (*.f64 z x)
%230 = (*.f64 %222 #s(literal 2 binary64))
%234 = (*.f64 %222 #s(literal 1/2 binary64))
%237 = (*.f64 #s(literal 1/2 binary64) z)
%244 = (*.f64 t x)
%253 = (*.f64 #s(literal 1/2 binary64) %160)
%259 = (neg.f64 %222)
%282 = (*.f64 #s(literal -1 binary64) %259)
%307 = (*.f64 %8 %108)
%309 = (neg.f64 %219)
%322 = (*.f64 %186 %4)
%323 = (*.f64 %322 #s(literal 1/2 binary64))
%324 = (*.f64 %161 %14)
%325 = (*.f64 %163 %12)
%326 = (*.f64 #s(literal 1/2 binary64) %186)
%327 = (*.f64 %4 %326)
%328 = (*.f64 #s(literal 1/2 binary64) %189)
%329 = (*.f64 #s(literal -2 binary64) %328)
%330 = (/.f64 %61 y)
%331 = (*.f64 %8 %330)
%332 = (*.f64 %330 %8)
%333 = (*.f64 %189 #s(literal -1 binary64))
%334 = (*.f64 %20 %61)
%335 = (*.f64 %12 %157)
%336 = (*.f64 #s(literal 2 binary64) %335)
%337 = (*.f64 %14 %160)
%338 = (*.f64 #s(literal 2 binary64) %337)
%339 = (*.f64 #s(literal -1/2 binary64) %189)
%340 = (*.f64 #s(literal 2 binary64) %339)
%341 = (*.f64 %157 %17)
%342 = (*.f64 %61 %20)
%343 = (*.f64 %17 %157)
%344 = (*.f64 %3 %160)
%345 = (*.f64 #s(literal 1 binary64) %193)
%346 = (*.f64 %186 x)
%347 = (*.f64 #s(literal -1 binary64) %189)
%348 = (*.f64 %193 #s(literal 1 binary64))
%349 = (*.f64 %160 %3)
%350 = (*.f64 %66 %22)
%351 = (*.f64 %22 %66)
%352 = (*.f64 x %186)
%353 = (pow.f64 %193 #s(literal 1 binary64))
%354 = (*.f64 y %66)
%355 = (*.f64 x %354)
%357 = (*.f64 %19 y)
%358 = (/.f64 (neg.f64 %355) %357)
%359 = (*.f64 %354 x)
%361 = (/.f64 (neg.f64 %359) %357)
%362 = (*.f64 y y)
%363 = (/.f64 %355 %362)
%364 = (/.f64 %359 %362)
%365 = (/.f64 %190 %19)
%366 = (/.f64 %157 %19)
%368 = (/.f64 #s(literal 1 binary64) (/.f64 %19 %157))
%370 = (/.f64 #s(literal 1 binary64) (pow.f64 %193 #s(literal -1 binary64)))
%372 = (/.f64 #s(literal 1 binary64) (/.f64 y %160))
%373 = (neg.f64 %189)
%374 = (*.f64 %114 %4)
%375 = (*.f64 t %20)
%376 = (fma.f64 %374 #s(literal 1/2 binary64) %375)
%377 = (*.f64 %140 x)
%378 = (fma.f64 %374 #s(literal 1/2 binary64) %377)
%379 = (*.f64 %259 #s(literal 2 binary64))
%380 = (fma.f64 %379 %12 %375)
%381 = (fma.f64 %379 %12 %377)
%382 = (fma.f64 %230 %14 %375)
%383 = (fma.f64 %230 %14 %377)
%384 = (fma.f64 %88 %22 %375)
%385 = (fma.f64 %88 %22 %377)
%386 = (*.f64 %108 %8)
%387 = (*.f64 z %22)
%388 = (fma.f64 %386 %17 %387)
%389 = (*.f64 #s(literal 1/2 binary64) %114)
%390 = (fma.f64 %4 %389 %375)
%391 = (fma.f64 %4 %389 %377)
%392 = (fma.f64 %219 %3 %387)
%393 = (fma.f64 %244 %17 %387)
%394 = (*.f64 %17 z)
%395 = (fma.f64 %8 %394 %375)
%396 = (fma.f64 %8 %394 %377)
%397 = (*.f64 %17 %108)
%398 = (fma.f64 %8 %397 %387)
%399 = (/.f64 %145 y)
%400 = (fma.f64 %8 %399 %375)
%401 = (fma.f64 %8 %399 %377)
%402 = (*.f64 %145 %22)
%403 = (fma.f64 %402 #s(literal -1 binary64) %375)
%404 = (fma.f64 %402 #s(literal -1 binary64) %377)
%405 = (fma.f64 %140 x %387)
%406 = (*.f64 %20 t)
%407 = (fma.f64 %20 %145 %406)
%408 = (*.f64 %20 %145)
%409 = (fma.f64 %20 t %408)
%410 = (*.f64 %14 %222)
%411 = (fma.f64 #s(literal 2 binary64) %410 %375)
%412 = (fma.f64 #s(literal 2 binary64) %410 %377)
%413 = (fma.f64 %145 %20 %375)
%414 = (fma.f64 %145 %20 %377)
%415 = (fma.f64 %108 %22 %387)
%416 = (fma.f64 %114 x %375)
%417 = (fma.f64 %114 x %377)
%418 = (fma.f64 %259 %17 %375)
%419 = (fma.f64 %259 %17 %377)
%420 = (fma.f64 %17 %244 %387)
%421 = (fma.f64 %17 %259 %375)
%422 = (fma.f64 %17 %259 %377)
%423 = (fma.f64 %3 %219 %387)
%424 = (fma.f64 %3 %222 %375)
%425 = (fma.f64 %3 %222 %377)
%426 = (fma.f64 #s(literal 1 binary64) %377 %387)
%427 = (fma.f64 #s(literal 1 binary64) %387 %375)
%428 = (fma.f64 #s(literal 1 binary64) %387 %377)
%429 = (fma.f64 %387 #s(literal 1 binary64) %375)
%430 = (fma.f64 %387 #s(literal 1 binary64) %377)
%431 = (fma.f64 %222 %3 %375)
%432 = (fma.f64 %222 %3 %377)
%433 = (*.f64 %17 %222)
%434 = (fma.f64 #s(literal -1 binary64) %433 %375)
%435 = (fma.f64 #s(literal -1 binary64) %433 %377)
%436 = (fma.f64 t %20 %387)
%437 = (fma.f64 z %22 %375)
%438 = (fma.f64 z %22 %377)
%439 = (fma.f64 %22 %108 %387)
%440 = (fma.f64 %22 z %375)
%441 = (fma.f64 %22 z %377)
%442 = (fma.f64 x %140 %387)
%443 = (fma.f64 x %114 %375)
%444 = (fma.f64 x %114 %377)
%446 = (-.f64 %387 (*.f64 %20 %108))
%448 = (-.f64 %387 (*.f64 t %22))
%450 = (-.f64 %387 (neg.f64 %377))
%451 = (+.f64 %408 %406)
%452 = (+.f64 %406 %408)
%454 = (+.f64 (*.f64 %17 %244) %387)
%455 = (+.f64 %375 %387)
%457 = (+.f64 (*.f64 %244 %17) %387)
%458 = (+.f64 %377 %387)
%459 = (+.f64 %387 %375)
%460 = (+.f64 %387 %377)
%463 = (/ (* (- z t) x) y)
%464 = (approx %463 %193)
%470 = (approx (+ %463 t) t)
%478 = (/.f64 #s(literal 1 binary64) %362)
%480 = (*.f64 #s(literal 2 binary64) %186)
%495 = (*.f64 z y)
%497 = (*.f64 %362 %121)
%501 = (*.f64 #s(literal -1 binary64) %108)
%503 = (*.f64 %19 %145)
%507 = (*.f64 %19 z)
%510 = (*.f64 %108 #s(literal -1 binary64))
%517 = (*.f64 #s(literal -1 binary64) z)
%530 = (*.f64 z #s(literal -1 binary64))
%539 = (/.f64 %354 y)
%542 = (fma.f64 %140 %19 %145)
%545 = (fma.f64 %140 y z)
%549 = (-.f64 (*.f64 %140 %19) z)
%553 = (-.f64 (*.f64 %114 %19) %108)
%556 = (*.f64 %145 %19)
%557 = (fma.f64 %108 y %556)
%560 = (*.f64 z %19)
%561 = (fma.f64 t y %560)
%563 = (neg.f64 %357)
%565 = (fma.f64 %145 y %121)
%568 = (fma.f64 %108 y %503)
%571 = (fma.f64 t y %507)
%574 = (-.f64 %556 %121)
%578 = (-.f64 (*.f64 %145 y) %109)
%581 = (-.f64 %560 %109)
%584 = (*.f64 #s(literal 2 binary64) %354)
%586 = (*.f64 #s(literal 2 binary64) %362)
%589 = (*.f64 #s(literal 2 binary64) %61)
%593 = (-.f64 %109 %507)
%596 = (neg.f64 %354)
%652 = (*.f64 %17 t)
%654 = (*.f64 %17 %145)
%695 = (*.f64 %222 #s(literal 0 binary64))
%697 = (*.f64 #s(literal 0 binary64) %222)
%709 = (*.f64 #s(literal 1/2 binary64) %222)
%765 = (approx %463 %387)
%778 = (*.f64 %3 #s(literal 2 binary64))
%782 = (*.f64 #s(literal 2 binary64) %3)
%784 = (/.f64 #s(literal 2 binary64) y)
%799 = (*.f64 y #s(literal 2 binary64))
%803 = (*.f64 %19 #s(literal 2 binary64))
%819 = (*.f64 %3 #s(literal 0 binary64))
%821 = (*.f64 #s(literal 0 binary64) %3)
%823 = (/.f64 #s(literal 0 binary64) y)
%861 = (*.f64 %3 #s(literal -2 binary64))
%866 = (*.f64 #s(literal 2 binary64) %17)
%868 = (/.f64 #s(literal -2 binary64) y)
%870 = (*.f64 %14 #s(literal -1 binary64))
%872 = (*.f64 #s(literal -1/2 binary64) %3)
%939 = (*.f64 %160 #s(literal -2 binary64))
%941 = (*.f64 %61 %4)
%945 = (*.f64 %157 #s(literal 1/2 binary64))
%947 = (*.f64 #s(literal 1/2 binary64) %61)
%950 = (*.f64 #s(literal 2 binary64) %157)
%969 = (*.f64 %222 #s(literal -2 binary64))
%974 = (*.f64 %145 %4)
%979 = (*.f64 %145 #s(literal 1 binary64))
%984 = (*.f64 %157 #s(literal 0 binary64))
%986 = (*.f64 #s(literal 0 binary64) %157)
%1002 = (*.f64 #s(literal 1/2 binary64) %145)
%1087 = (fma.f64 %66 x %121)
%1088 = (*.f64 %1087 #s(literal 2 binary64))
%1090 = (*.f64 %1087 #s(literal 1/2 binary64))
%1092 = (-.f64 %157 %121)
%1096 = (fma.f64 %186 x t)
%1106 = (fma.f64 %108 x %121)
%1108 = (-.f64 %219 %109)
%1112 = (*.f64 %1087 #s(literal 0 binary64))
%1114 = (*.f64 #s(literal 0 binary64) %1087)
%1134 = (*.f64 #s(literal 1/2 binary64) %1087)
%1197 = (*.f64 (*.f64 %1092 #s(literal 2 binary64)) %12)
%1198 = (*.f64 %1088 %14)
%1199 = (-.f64 %189 t)
%1200 = (*.f64 %1199 #s(literal -1 binary64))
%1201 = (*.f64 %362 t)
%1202 = (-.f64 %181 %1201)
%1204 = (*.f64 %1202 (/.f64 #s(literal -1 binary64) %362))
%1205 = (*.f64 y %1087)
%1206 = (*.f64 %1205 %478)
%1208 = (*.f64 #s(literal 2 binary64) (*.f64 %14 %1087))
%1209 = (*.f64 %1092 %17)
%1210 = (*.f64 %1087 %3)
%1211 = (*.f64 %17 %1092)
%1212 = (*.f64 %3 %1087)
%1213 = (*.f64 #s(literal 1 binary64) %1096)
%1214 = (*.f64 %17 %1087)
%1215 = (*.f64 #s(literal -1 binary64) %1214)
%1216 = (*.f64 %1096 #s(literal 1 binary64))
%1217 = (pow.f64 %1096 #s(literal 1 binary64))
%1218 = (*.f64 %121 #s(literal 1 binary64))
%1220 = (*.f64 %8 %354)
%1221 = (*.f64 y %1220)
%1223 = (*.f64 y %362)
%1224 = (/.f64 (-.f64 (*.f64 %1218 %362) %1221) %1223)
%1227 = (/.f64 (-.f64 (*.f64 %1218 y) %181) %362)
%1230 = (/.f64 (-.f64 (*.f64 %1218 %19) %183) %357)
%1231 = (*.f64 %121 #s(literal -1 binary64))
%1233 = (*.f64 %19 %1220)
%1235 = (*.f64 %19 %362)
%1236 = (/.f64 (-.f64 (*.f64 %1231 %362) %1233) %1235)
%1238 = (*.f64 %19 %157)
%1240 = (/.f64 (-.f64 (*.f64 %1231 y) %1238) %357)
%1242 = (*.f64 %19 %160)
%1244 = (/.f64 (-.f64 (*.f64 %1231 %19) %1242) %362)
%1247 = (/.f64 (-.f64 (*.f64 %109 %362) %1233) %1235)
%1248 = (*.f64 %109 %19)
%1250 = (/.f64 (-.f64 %1248 %1242) %362)
%1253 = (/.f64 (-.f64 (*.f64 %121 %362) %1221) %1223)
%1255 = (/.f64 (-.f64 %1201 %181) %362)
%1257 = (*.f64 %362 %109)
%1259 = (*.f64 %362 y)
%1260 = (/.f64 (-.f64 (*.f64 %355 y) %1257) %1259)
%1263 = (*.f64 %362 %19)
%1264 = (/.f64 (-.f64 (*.f64 %355 %19) %497) %1263)
%1267 = (/.f64 (-.f64 (*.f64 %359 y) %1257) %1259)
%1270 = (/.f64 (-.f64 (*.f64 %359 %19) %497) %1263)
%1271 = (*.f64 %160 %19)
%1273 = (/.f64 (-.f64 %1271 %1201) %357)
%1274 = (*.f64 %157 %19)
%1275 = (*.f64 %357 t)
%1277 = (/.f64 (-.f64 %1274 %1275) %362)
%1279 = (/.f64 (-.f64 %1275 %183) %357)
%1281 = (/.f64 (-.f64 %1275 %1238) %357)
%1282 = (neg.f64 %1202)
%1283 = (/.f64 %1282 y)
%1285 = (/.f64 (neg.f64 %1283) %19)
%1286 = (/.f64 %1205 y)
%1288 = (/.f64 (neg.f64 %1286) %19)
%1289 = (fma.f64 %193 %19 %109)
%1291 = (/.f64 (neg.f64 %1289) y)
%1292 = (fma.f64 %109 %19 %1274)
%1294 = (/.f64 (neg.f64 %1292) %357)
%1295 = (fma.f64 %357 t %1271)
%1297 = (/.f64 (neg.f64 %1295) %563)
%1298 = (fma.f64 %157 %19 %1248)
%1300 = (/.f64 (neg.f64 %1298) %357)
%1301 = (fma.f64 %160 %19 %1275)
%1303 = (/.f64 (neg.f64 %1301) %563)
%1304 = (fma.f64 %109 %19 %1238)
%1306 = (/.f64 (neg.f64 %1304) %357)
%1307 = (fma.f64 %357 t %1242)
%1309 = (/.f64 (neg.f64 %1307) %563)
%1310 = (*.f64 %19 %109)
%1311 = (fma.f64 %157 %19 %1310)
%1313 = (/.f64 (neg.f64 %1311) %357)
%1314 = (-.f64 %181 %1310)
%1316 = (/.f64 (neg.f64 %1314) %563)
%1319 = (/.f64 (neg.f64 %1282) (neg.f64 %563))
%1320 = (neg.f64 %1205)
%1322 = (/.f64 (neg.f64 %1320) %563)
%1323 = (/.f64 %1283 y)
%1324 = (/.f64 %1286 y)
%1325 = (/.f64 %1289 %19)
%1326 = (/.f64 %1292 %362)
%1327 = (/.f64 %1295 %357)
%1328 = (/.f64 %1298 %362)
%1329 = (/.f64 %1301 %357)
%1330 = (/.f64 %1304 %362)
%1331 = (/.f64 %1307 %357)
%1332 = (/.f64 %1311 %362)
%1333 = (/.f64 %1314 %357)
%1334 = (/.f64 %1282 %563)
%1335 = (/.f64 %1320 %357)
%1336 = (/.f64 %1202 %357)
%1337 = (/.f64 %1205 %362)
%1338 = (/.f64 %1092 %19)
%1339 = (/.f64 %1087 y)
%1341 = (/.f64 #s(literal 1 binary64) (/.f64 %357 %1202))
%1343 = (/.f64 #s(literal 1 binary64) (/.f64 %362 %1205))
%1345 = (/.f64 #s(literal 1 binary64) (/.f64 %19 %1092))
%1347 = (/.f64 #s(literal 1 binary64) (pow.f64 %1096 #s(literal -1 binary64)))
%1349 = (/.f64 #s(literal 1 binary64) (/.f64 y %1087))
%1350 = (neg.f64 %1214)
%1352 = (neg.f64 (*.f64 %3 %1092))
%1353 = (neg.f64 %1199)
%1354 = (fma.f64 %140 x t)
%1355 = (fma.f64 %374 #s(literal 1/2 binary64) %1354)
%1356 = (-.f64 %377 %108)
%1357 = (fma.f64 %374 #s(literal 1/2 binary64) %1356)
%1358 = (fma.f64 %379 %12 %1354)
%1359 = (fma.f64 %379 %12 %1356)
%1360 = (fma.f64 %322 #s(literal 1/2 binary64) t)
%1361 = (fma.f64 %161 %14 t)
%1362 = (fma.f64 %163 %12 t)
%1363 = (fma.f64 %230 %14 %1354)
%1364 = (fma.f64 %230 %14 %1356)
%1365 = (fma.f64 %88 %22 %1354)
%1366 = (fma.f64 %88 %22 %1356)
%1367 = (fma.f64 %4 %389 %1354)
%1368 = (fma.f64 %4 %389 %1356)
%1369 = (fma.f64 %4 %326 t)
%1370 = (fma.f64 #s(literal -2 binary64) %328 t)
%1371 = (fma.f64 %8 %394 %1354)
%1372 = (fma.f64 %8 %394 %1356)
%1373 = (fma.f64 %8 %330 t)
%1374 = (fma.f64 %8 %399 %1354)
%1375 = (fma.f64 %8 %399 %1356)
%1376 = (fma.f64 %330 %8 t)
%1377 = (fma.f64 %189 #s(literal -1 binary64) t)
%1378 = (fma.f64 %402 #s(literal -1 binary64) %1354)
%1379 = (fma.f64 %402 #s(literal -1 binary64) %1356)
%1380 = (fma.f64 %20 %61 t)
%1381 = (fma.f64 #s(literal 2 binary64) %410 %1354)
%1382 = (fma.f64 #s(literal 2 binary64) %410 %1356)
%1383 = (fma.f64 #s(literal 2 binary64) %335 t)
%1384 = (fma.f64 #s(literal 2 binary64) %337 t)
%1385 = (fma.f64 #s(literal 2 binary64) %339 t)
%1386 = (fma.f64 %145 %20 %1354)
%1387 = (fma.f64 %145 %20 %1356)
%1388 = (fma.f64 %114 x %1354)
%1389 = (fma.f64 %114 x %1356)
%1390 = (fma.f64 %259 %17 %1354)
%1391 = (fma.f64 %259 %17 %1356)
%1392 = (fma.f64 %157 %17 t)
%1393 = (fma.f64 %61 %20 t)
%1394 = (fma.f64 %17 %259 %1354)
%1395 = (fma.f64 %17 %259 %1356)
%1396 = (fma.f64 %17 %157 t)
%1397 = (fma.f64 %3 %222 %1354)
%1398 = (fma.f64 %3 %222 %1356)
%1399 = (fma.f64 %3 %160 t)
%1400 = (fma.f64 #s(literal 1 binary64) %387 %1354)
%1401 = (fma.f64 #s(literal 1 binary64) %387 %1356)
%1402 = (fma.f64 #s(literal 1 binary64) %193 t)
%1403 = (fma.f64 %387 #s(literal 1 binary64) %1354)
%1404 = (fma.f64 %387 #s(literal 1 binary64) %1356)
%1405 = (fma.f64 %222 %3 %1354)
%1406 = (fma.f64 %222 %3 %1356)
%1407 = (fma.f64 #s(literal -1 binary64) %433 %1354)
%1408 = (fma.f64 #s(literal -1 binary64) %433 %1356)
%1409 = (fma.f64 #s(literal -1 binary64) %189 t)
%1410 = (fma.f64 %193 #s(literal 1 binary64) t)
%1411 = (fma.f64 %160 %3 t)
%1412 = (fma.f64 %66 %22 t)
%1413 = (fma.f64 z %22 %1354)
%1414 = (fma.f64 z %22 %1356)
%1415 = (fma.f64 %22 %66 t)
%1416 = (fma.f64 %22 z %1354)
%1417 = (fma.f64 %22 z %1356)
%1418 = (fma.f64 x %114 %1354)
%1419 = (fma.f64 x %114 %1356)
%1420 = (fma.f64 x %186 t)
%1421 = (-.f64 %193 %108)
%1422 = (-.f64 t %189)
%1424 = (+.f64 (+.f64 t %387) %377)
%1427 = (+.f64 (/.f64 %183 %362) (/.f64 %1201 %362))
%1428 = (+.f64 %387 %1354)
%1429 = (+.f64 %387 %1356)
%1430 = (+.f64 %193 t)
%1431 = (+.f64 t %193)
%1432 = (+.f64 %464 t)
%1437 = (neg.f64 %464)
%1448 = (+.f64 %765 t)
%1453 = (neg.f64 %765)
x
y
%7
%13
%15
%18
%21
%24
%26
%28
%29
%30
%31
%32
%33
%34
%35
%38
%43
%44
%48
%49
%50
%51
%53
%55
%57
%22
%58
z
t
(*.f64 %62 #s(literal 1/2 binary64))
(*.f64 %64 #s(literal -1/2 binary64))
(*.f64 %67 #s(literal 1/2 binary64))
(*.f64 %69 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %71)
(*.f64 #s(literal 2 binary64) %73)
(*.f64 %61 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %66)
(*.f64 #s(literal -1 binary64) %61)
(*.f64 %66 #s(literal 1 binary64))
(pow.f64 %66 #s(literal 1 binary64))
(/.f64 (neg.f64 %67) #s(literal -2 binary64))
(/.f64 %82 #s(literal -2 binary64))
(/.f64 %67 #s(literal 2 binary64))
(/.f64 %71 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %66 #s(literal -1 binary64)))
(neg.f64 %89)
(neg.f64 %61)
(fma.f64 %62 #s(literal 1/2 binary64) %93)
(fma.f64 %62 #s(literal 1/2 binary64) %95)
(fma.f64 %64 #s(literal -1/2 binary64) %93)
(fma.f64 %64 #s(literal -1/2 binary64) %95)
(fma.f64 %67 #s(literal 1/2 binary64) %93)
(fma.f64 %67 #s(literal 1/2 binary64) %95)
(fma.f64 %69 #s(literal 2 binary64) %93)
(fma.f64 %69 #s(literal 2 binary64) %95)
(fma.f64 #s(literal 1/2 binary64) %71 %93)
(fma.f64 #s(literal 1/2 binary64) %71 %95)
(fma.f64 #s(literal 1/2 binary64) %66 %73)
(fma.f64 #s(literal 2 binary64) %73 %93)
(fma.f64 #s(literal 2 binary64) %73 %95)
(fma.f64 %109 %3 %88)
(fma.f64 %109 %3 z)
(fma.f64 %108 #s(literal 1 binary64) %88)
(fma.f64 %108 #s(literal 1 binary64) z)
(fma.f64 %114 y %108)
(fma.f64 %19 %116 %88)
(fma.f64 %19 %116 z)
(fma.f64 %61 #s(literal -1 binary64) %93)
(fma.f64 %61 #s(literal -1 binary64) %95)
(fma.f64 %121 %17 %88)
(fma.f64 %121 %17 z)
(fma.f64 #s(literal 1 binary64) %88 %108)
(fma.f64 #s(literal 1 binary64) %108 %88)
(fma.f64 #s(literal 1 binary64) %108 z)
(fma.f64 #s(literal 1 binary64) %66 %93)
(fma.f64 #s(literal 1 binary64) %66 %95)
(fma.f64 #s(literal -1 binary64) %61 %93)
(fma.f64 #s(literal -1 binary64) %61 %95)
(fma.f64 %66 #s(literal 1/2 binary64) %69)
(fma.f64 %66 #s(literal 1 binary64) %93)
(fma.f64 %66 #s(literal 1 binary64) %95)
(fma.f64 t %134 %88)
(fma.f64 t %134 z)
(fma.f64 t #s(literal -1 binary64) %88)
(fma.f64 t #s(literal -1 binary64) z)
(fma.f64 z #s(literal 1 binary64) %108)
(fma.f64 y %140 %88)
(fma.f64 y %140 z)
(fma.f64 y %114 %108)
(-.f64 %88 t)
(-.f64 %108 %145)
%66
(+.f64 %69 %69)
(+.f64 %88 %108)
(+.f64 %73 %73)
(+.f64 %108 %88)
(+.f64 %108 z)
(+.f64 %66 %93)
(+.f64 %66 %95)
(+.f64 z %108)
(*.f64 %155 #s(literal 1/2 binary64))
(*.f64 %158 #s(literal 1/2 binary64))
(*.f64 %161 #s(literal 1/2 binary64))
(*.f64 %163 #s(literal -1/2 binary64))
(*.f64 %165 #s(literal 2 binary64))
(*.f64 %4 %73)
(*.f64 #s(literal -2 binary64) %168)
(*.f64 %8 %61)
(*.f64 %20 %171)
(*.f64 #s(literal 2 binary64) %173)
(*.f64 %157 %175)
(*.f64 %157 #s(literal -1 binary64))
(*.f64 %61 %178)
(*.f64 %61 %8)
(*.f64 %17 %181)
(*.f64 %3 %183)
(*.f64 #s(literal 1 binary64) %160)
(*.f64 %186 %187)
(*.f64 #s(literal -1 binary64) %190)
(*.f64 #s(literal -1 binary64) %157)
(*.f64 %193 y)
(*.f64 %160 #s(literal 1 binary64))
(*.f64 %66 %196)
%160
(*.f64 %22 %198)
(*.f64 y %193)
(*.f64 x %201)
(*.f64 x %66)
(pow.f64 %160 #s(literal 1 binary64))
(/.f64 (neg.f64 %161) #s(literal -2 binary64))
(/.f64 %161 #s(literal 2 binary64))
(/.f64 %181 %19)
(/.f64 %183 y)
(/.f64 #s(literal 1 binary64) (pow.f64 %160 #s(literal -1 binary64)))
(neg.f64 %190)
(neg.f64 %157)
(fma.f64 %155 #s(literal 1/2 binary64) %214)
(fma.f64 %155 #s(literal 1/2 binary64) %216)
(fma.f64 %218 #s(literal 1/2 binary64) %219)
(fma.f64 (*.f64 %108 %4) #s(literal 1/2 binary64) %222)
(fma.f64 %158 #s(literal 1/2 binary64) %214)
(fma.f64 %158 #s(literal 1/2 binary64) %216)
(fma.f64 %161 #s(literal 1/2 binary64) %214)
(fma.f64 %161 #s(literal 1/2 binary64) %216)
(fma.f64 %163 #s(literal -1/2 binary64) %214)
(fma.f64 %163 #s(literal -1/2 binary64) %216)
(fma.f64 %230 #s(literal 1/2 binary64) %219)
(fma.f64 %165 #s(literal 2 binary64) %214)
(fma.f64 %165 #s(literal 2 binary64) %216)
(fma.f64 %234 #s(literal 2 binary64) %219)
(fma.f64 %88 x %219)
(fma.f64 %4 %237 %219)
(fma.f64 %4 (*.f64 #s(literal 1/2 binary64) %108) %222)
(fma.f64 %4 %73 %214)
(fma.f64 %4 %73 %216)
(fma.f64 %219 #s(literal 1 binary64) %222)
(fma.f64 %244 #s(literal -1 binary64) %222)
(fma.f64 #s(literal -2 binary64) %168 %214)
(fma.f64 #s(literal -2 binary64) %168 %216)
(fma.f64 %8 %145 %219)
(fma.f64 %8 %61 %214)
(fma.f64 %8 %61 %216)
(fma.f64 %20 %171 %214)
(fma.f64 %20 %171 %216)
(fma.f64 #s(literal 1/2 binary64) %160 %253)
(fma.f64 #s(literal 2 binary64) %173 %214)
(fma.f64 #s(literal 2 binary64) %173 %216)
(fma.f64 %145 %8 %219)
(fma.f64 %108 x %222)
(fma.f64 %259 #s(literal -1 binary64) %219)
(fma.f64 %157 %175 %214)
(fma.f64 %157 %175 %216)
(fma.f64 %157 #s(literal -1 binary64) %214)
(fma.f64 %157 #s(literal -1 binary64) %216)
(fma.f64 %61 %178 %214)
(fma.f64 %61 %178 %216)
(fma.f64 %61 %8 %214)
(fma.f64 %61 %8 %216)
(fma.f64 %17 %181 %214)
(fma.f64 %17 %181 %216)
(fma.f64 %3 %183 %214)
(fma.f64 %3 %183 %216)
(fma.f64 #s(literal 1 binary64) %219 %222)
(fma.f64 #s(literal 1 binary64) %222 %219)
(fma.f64 #s(literal 1 binary64) %160 %214)
(fma.f64 #s(literal 1 binary64) %160 %216)
(fma.f64 %222 #s(literal 1 binary64) %219)
(fma.f64 %186 %187 %214)
(fma.f64 %186 %187 %216)
(fma.f64 #s(literal -1 binary64) %190 %214)
(fma.f64 #s(literal -1 binary64) %190 %216)
(fma.f64 #s(literal -1 binary64) %244 %282)
(fma.f64 #s(literal -1 binary64) %157 %214)
(fma.f64 #s(literal -1 binary64) %157 %216)
(fma.f64 %193 y %214)
(fma.f64 %193 y %216)
(fma.f64 %160 #s(literal 1/2 binary64) %165)
(fma.f64 %160 #s(literal 1 binary64) %214)
(fma.f64 %160 #s(literal 1 binary64) %216)
(fma.f64 %66 %196 %214)
(fma.f64 %66 %196 %216)
(fma.f64 %66 x %214)
(fma.f64 %66 x %216)
(fma.f64 z x %219)
(fma.f64 %22 %198 %214)
(fma.f64 %22 %198 %216)
(fma.f64 y %193 %214)
(fma.f64 y %193 %216)
(fma.f64 x %201 %214)
(fma.f64 x %201 %216)
(fma.f64 x %88 %219)
(fma.f64 x %108 %222)
(fma.f64 x %66 %214)
(fma.f64 x %66 %216)
(fma.f64 x z %219)
(-.f64 %222 %307)
(-.f64 %222 %309)
(-.f64 %222 %244)
(+.f64 %165 %165)
(+.f64 (*.f64 #s(literal -1 binary64) %244) %282)
(+.f64 %253 %253)
(+.f64 (*.f64 %244 #s(literal -1 binary64)) %222)
(+.f64 %219 %222)
(+.f64 %222 %219)
(+.f64 %160 %214)
(+.f64 %160 %216)
%323
%324
%325
%327
%329
%331
%332
%333
%334
%336
%338
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%358
%361
%363
%364
%365
%366
%368
%370
%372
%193
%373
%376
%378
%380
%381
%382
%383
%384
%385
%388
%390
%391
%392
%393
%395
%396
%398
%400
%401
%403
%404
%405
%407
%409
%411
%412
%413
%414
%415
%416
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%446
%448
%450
%451
%452
%454
%455
%457
%458
%459
%460
(*.f64 #s(literal 1 binary64) %464)
(pow.f64 %464 #s(literal 1 binary64))
%464
(/.f64 #s(literal 1 binary64) (pow.f64 %464 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %470)
(pow.f64 %470 #s(literal 1 binary64))
%470
(/.f64 #s(literal 1 binary64) (pow.f64 %470 #s(literal -1 binary64)))
#s(literal -1 binary64)
(*.f64 %64 %12)
(*.f64 %67 %14)
(*.f64 %330 #s(literal -1 binary64))
(*.f64 %354 %478)
(*.f64 #s(literal 1/2 binary64) %480)
(*.f64 #s(literal 2 binary64) (*.f64 %12 %61))
(*.f64 #s(literal 2 binary64) (*.f64 %14 %66))
(*.f64 #s(literal 2 binary64) %326)
(*.f64 %61 %17)
(*.f64 %17 %61)
(*.f64 %3 %66)
(*.f64 #s(literal 1 binary64) %186)
(*.f64 %186 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %330)
(*.f64 %66 %3)
(pow.f64 %186 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %495 %362) %497) (*.f64 %362 %362))
(/.f64 (-.f64 (*.f64 %501 y) %503) %357)
(/.f64 (-.f64 (*.f64 %501 %19) %507) %362)
(/.f64 (-.f64 (*.f64 %510 y) %503) %357)
(/.f64 (-.f64 (*.f64 %510 %19) %507) %362)
(/.f64 (-.f64 (*.f64 %517 %19) %121) %362)
(/.f64 (-.f64 (*.f64 %517 y) %109) %357)
(/.f64 (-.f64 (*.f64 %88 %19) %109) %357)
(/.f64 (-.f64 (*.f64 %88 y) %121) %362)
(/.f64 (-.f64 (*.f64 %530 %19) %121) %362)
(/.f64 (-.f64 (*.f64 %530 y) %109) %357)
(/.f64 (neg.f64 %480) #s(literal -2 binary64))
(/.f64 (neg.f64 %539) %19)
(/.f64 (neg.f64 %542) y)
(/.f64 (neg.f64 %545) %19)
(/.f64 (neg.f64 %549) y)
(/.f64 (neg.f64 %553) y)
(/.f64 (neg.f64 %557) %357)
(/.f64 (neg.f64 %561) %563)
(/.f64 (neg.f64 %565) %563)
(/.f64 (neg.f64 %568) %357)
(/.f64 (neg.f64 %571) %563)
(/.f64 (neg.f64 %574) %357)
(/.f64 (neg.f64 %578) %563)
(/.f64 (neg.f64 %581) %563)
(/.f64 (neg.f64 %584) (neg.f64 %586))
(/.f64 (neg.f64 %589) %42)
(/.f64 %82 %47)
(/.f64 (neg.f64 %593) %357)
(/.f64 (neg.f64 %596) %563)
(/.f64 %480 #s(literal 2 binary64))
(/.f64 %539 y)
(/.f64 (-.f64 %121 %495) %357)
(/.f64 %89 %19)
(/.f64 %542 %19)
(/.f64 %545 y)
(/.f64 %549 %19)
(/.f64 %553 %19)
(/.f64 %557 %362)
(/.f64 %561 %357)
(/.f64 %565 %357)
(/.f64 %568 %362)
(/.f64 %571 %357)
(/.f64 %574 %362)
(/.f64 %578 %357)
(/.f64 %581 %357)
(/.f64 (-.f64 %121 %503) %357)
(/.f64 %593 %362)
(/.f64 (-.f64 %109 (*.f64 y %145)) %362)
(/.f64 %584 %586)
(/.f64 %589 %41)
(/.f64 %71 %46)
(/.f64 %596 %357)
(/.f64 %354 %362)
(/.f64 %61 %19)
(/.f64 #s(literal 1 binary64) (/.f64 %362 %354))
(/.f64 #s(literal 1 binary64) (/.f64 %19 %61))
(/.f64 #s(literal 1 binary64) (pow.f64 %186 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %66))
%186
(neg.f64 %330)
(fma.f64 (*.f64 %108 #s(literal 2 binary64)) %14 %114)
(fma.f64 (*.f64 z #s(literal 2 binary64)) %14 %140)
(fma.f64 %88 %3 %140)
(fma.f64 %510 %17 %114)
(fma.f64 %530 %17 %140)
(fma.f64 %140 #s(literal 1 binary64) %114)
(fma.f64 #s(literal 2 binary64) (*.f64 %14 z) %140)
(fma.f64 #s(literal 2 binary64) (*.f64 %14 %108) %114)
(fma.f64 %145 %17 %140)
(fma.f64 %108 %3 %114)
(fma.f64 %114 #s(literal 1 binary64) %140)
(fma.f64 %17 %145 %652)
(fma.f64 %17 t %654)
(fma.f64 %3 %108 %114)
(fma.f64 %3 z %140)
(fma.f64 #s(literal 1 binary64) %140 %114)
(fma.f64 #s(literal 1 binary64) %114 %140)
(fma.f64 #s(literal -1 binary64) %394 %140)
(fma.f64 #s(literal -1 binary64) %397 %114)
(fma.f64 t %17 %114)
(fma.f64 z %3 %140)
(-.f64 (/.f64 %495 %362) (/.f64 %121 %362))
(-.f64 %140 (*.f64 %145 %3))
(-.f64 %140 %399)
(-.f64 %114 %397)
(-.f64 %114 %116)
(+.f64 %654 %652)
(+.f64 %652 %654)
(+.f64 %140 %114)
(+.f64 %114 %140)
(*.f64 %218 #s(literal 1/2 binary64))
(*.f64 %230 #s(literal 1/2 binary64))
(*.f64 %234 #s(literal 2 binary64))
(*.f64 %88 x)
(*.f64 %4 %237)
(*.f64 %8 %145)
(*.f64 %145 %8)
(*.f64 %259 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %222)
(*.f64 %222 #s(literal 1 binary64))
%222
(*.f64 x %88)
(*.f64 x z)
(pow.f64 %222 #s(literal 1 binary64))
(/.f64 (neg.f64 %230) #s(literal -2 binary64))
(/.f64 %230 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %222 #s(literal -1 binary64)))
(neg.f64 %259)
(fma.f64 %218 #s(literal 1/2 binary64) %695)
(fma.f64 %218 #s(literal 1/2 binary64) %697)
(fma.f64 %230 #s(literal 1/2 binary64) %695)
(fma.f64 %230 #s(literal 1/2 binary64) %697)
(fma.f64 %234 #s(literal 2 binary64) %695)
(fma.f64 %234 #s(literal 2 binary64) %697)
(fma.f64 %88 x %695)
(fma.f64 %88 x %697)
(fma.f64 %4 %237 %695)
(fma.f64 %4 %237 %697)
(fma.f64 %8 %145 %695)
(fma.f64 %8 %145 %697)
(fma.f64 #s(literal 1/2 binary64) %222 %709)
(fma.f64 %145 %8 %695)
(fma.f64 %145 %8 %697)
(fma.f64 %259 #s(literal -1 binary64) %695)
(fma.f64 %259 #s(literal -1 binary64) %697)
(fma.f64 #s(literal 1 binary64) %222 %695)
(fma.f64 #s(literal 1 binary64) %222 %697)
(fma.f64 %222 #s(literal 1/2 binary64) %234)
(fma.f64 %222 #s(literal 1 binary64) %695)
(fma.f64 %222 #s(literal 1 binary64) %697)
(fma.f64 z x %695)
(fma.f64 z x %697)
(fma.f64 x %88 %695)
(fma.f64 x %88 %697)
(fma.f64 x z %695)
(fma.f64 x z %697)
(+.f64 %234 %234)
(+.f64 %709 %709)
(+.f64 %222 %695)
(+.f64 %222 %697)
(*.f64 %374 #s(literal 1/2 binary64))
(*.f64 %379 %12)
(*.f64 %230 %14)
(*.f64 %88 %22)
(*.f64 %4 %389)
(*.f64 %8 %394)
(*.f64 %8 %399)
(*.f64 %402 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) %410)
(*.f64 %145 %20)
(*.f64 %114 x)
(*.f64 %259 %17)
(*.f64 %17 %259)
(*.f64 %3 %222)
(*.f64 #s(literal 1 binary64) %387)
(*.f64 %387 #s(literal 1 binary64))
(*.f64 %222 %3)
(*.f64 #s(literal -1 binary64) %433)
%387
(*.f64 %22 z)
(*.f64 x %114)
(pow.f64 %387 #s(literal 1 binary64))
(/.f64 %259 %19)
(/.f64 #s(literal 1 binary64) (/.f64 %19 %259))
(/.f64 #s(literal 1 binary64) (pow.f64 %387 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %222))
(/.f64 %222 y)
(neg.f64 %433)
(neg.f64 (*.f64 %20 z))
(neg.f64 (*.f64 %114 %8))
(neg.f64 %402)
#s(literal 1 binary64)
(*.f64 #s(literal 1 binary64) %765)
(pow.f64 %765 #s(literal 1 binary64))
%765
(/.f64 #s(literal 1 binary64) (pow.f64 %765 #s(literal -1 binary64)))
(*.f64 %108 %19)
(*.f64 %19 %108)
(*.f64 #s(literal 1 binary64) %121)
%121
(*.f64 y t)
(pow.f64 %121 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %121 #s(literal -1 binary64)))
(neg.f64 %109)
(*.f64 %778 #s(literal 1/2 binary64))
(*.f64 %14 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %12)
(*.f64 #s(literal 1/2 binary64) %782)
(*.f64 #s(literal 1/2 binary64) %784)
(*.f64 #s(literal 2 binary64) %14)
(*.f64 %17 #s(literal -1 binary64))
(*.f64 %3 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 #s(literal -1 binary64) %17)
(pow.f64 %3 #s(literal 1 binary64))
(pow.f64 y #s(literal -1 binary64))
(/.f64 (neg.f64 %778) #s(literal -2 binary64))
(/.f64 (neg.f64 %782) #s(literal -2 binary64))
(/.f64 %778 #s(literal 2 binary64))
(/.f64 %782 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (neg.f64 %799))
(/.f64 #s(literal -2 binary64) %47)
(/.f64 #s(literal -2 binary64) %803)
(/.f64 #s(literal -2 binary64) %41)
(/.f64 #s(literal 2 binary64) (neg.f64 %803))
(/.f64 #s(literal 2 binary64) %42)
(/.f64 #s(literal 2 binary64) %799)
(/.f64 #s(literal 2 binary64) %46)
(/.f64 #s(literal 1 binary64) (/.f64 %19 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1 binary64)))
%3
(/.f64 #s(literal -1 binary64) %19)
(neg.f64 %17)
(fma.f64 %778 #s(literal 1/2 binary64) %819)
(fma.f64 %778 #s(literal 1/2 binary64) %821)
(fma.f64 %778 #s(literal 1/2 binary64) %823)
(fma.f64 %14 #s(literal 2 binary64) %819)
(fma.f64 %14 #s(literal 2 binary64) %821)
(fma.f64 %14 #s(literal 2 binary64) %823)
(fma.f64 %14 #s(literal 1 binary64) %14)
(fma.f64 #s(literal -2 binary64) %12 %819)
(fma.f64 #s(literal -2 binary64) %12 %821)
(fma.f64 #s(literal -2 binary64) %12 %823)
(fma.f64 #s(literal -1/2 binary64) %17 %14)
(fma.f64 #s(literal 1/2 binary64) %782 %819)
(fma.f64 #s(literal 1/2 binary64) %782 %821)
(fma.f64 #s(literal 1/2 binary64) %782 %823)
(fma.f64 #s(literal 1/2 binary64) %784 %819)
(fma.f64 #s(literal 1/2 binary64) %784 %821)
(fma.f64 #s(literal 1/2 binary64) %784 %823)
(fma.f64 #s(literal 1/2 binary64) %3 %14)
(fma.f64 #s(literal 2 binary64) %14 %819)
(fma.f64 #s(literal 2 binary64) %14 %821)
(fma.f64 #s(literal 2 binary64) %14 %823)
(fma.f64 %17 #s(literal -1 binary64) %819)
(fma.f64 %17 #s(literal -1 binary64) %821)
(fma.f64 %17 #s(literal -1 binary64) %823)
(fma.f64 %3 #s(literal 1/2 binary64) %14)
(fma.f64 %3 #s(literal 1 binary64) %819)
(fma.f64 %3 #s(literal 1 binary64) %821)
(fma.f64 %3 #s(literal 1 binary64) %823)
(fma.f64 #s(literal 1 binary64) %14 %14)
(fma.f64 #s(literal 1 binary64) %3 %819)
(fma.f64 #s(literal 1 binary64) %3 %821)
(fma.f64 #s(literal 1 binary64) %3 %823)
(fma.f64 #s(literal -1 binary64) %17 %819)
(fma.f64 #s(literal -1 binary64) %17 %821)
(fma.f64 #s(literal -1 binary64) %17 %823)
(+.f64 %14 %14)
(+.f64 %3 %819)
(+.f64 %3 %821)
(+.f64 %3 %823)
(*.f64 %861 #s(literal 1/2 binary64))
(*.f64 %778 #s(literal -1/2 binary64))
(*.f64 %12 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %14)
(*.f64 #s(literal 1/2 binary64) %866)
(*.f64 #s(literal 1/2 binary64) %868)
(*.f64 #s(literal 2 binary64) %870)
(*.f64 #s(literal 2 binary64) %872)
(*.f64 #s(literal 2 binary64) %12)
(*.f64 %17 #s(literal 1 binary64))
(*.f64 %3 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %17)
(*.f64 #s(literal -1 binary64) %3)
(pow.f64 %19 #s(literal -1 binary64))
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 (neg.f64 %866) #s(literal -2 binary64))
(/.f64 %866 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %42)
(/.f64 #s(literal -2 binary64) %46)
(/.f64 #s(literal 2 binary64) %47)
(/.f64 #s(literal 2 binary64) %41)
(/.f64 #s(literal 1 binary64) (/.f64 %19 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %19)
%17
(neg.f64 %3)
(fma.f64 %861 #s(literal 1/2 binary64) %823)
(fma.f64 %778 #s(literal -1/2 binary64) %823)
(fma.f64 %12 #s(literal 2 binary64) %823)
(fma.f64 #s(literal -2 binary64) %14 %823)
(fma.f64 #s(literal 1/2 binary64) %866 %823)
(fma.f64 #s(literal 1/2 binary64) %868 %823)
(fma.f64 #s(literal 1/2 binary64) %17 %12)
(fma.f64 #s(literal 2 binary64) %870 %823)
(fma.f64 #s(literal 2 binary64) %872 %823)
(fma.f64 #s(literal 2 binary64) %12 %823)
(fma.f64 %17 #s(literal 1 binary64) %823)
(fma.f64 %3 #s(literal -1 binary64) %823)
(fma.f64 #s(literal 1 binary64) %12 %12)
(fma.f64 #s(literal 1 binary64) %17 %823)
(fma.f64 #s(literal -1 binary64) %3 %823)
(+.f64 %12 %12)
(+.f64 %17 %823)
%7
%13
%15
%18
%21
%24
%26
%28
%29
%30
%31
%32
%33
%34
%35
%38
%43
%44
%48
%49
%50
%51
%53
%55
%57
%22
%58
(*.f64 (*.f64 %66 #s(literal -2 binary64)) #s(literal 1/2 binary64))
(*.f64 %67 #s(literal -1/2 binary64))
(*.f64 #s(literal -2 binary64) %73)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) %66))
(*.f64 %61 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %61)
(*.f64 #s(literal -1 binary64) %66)
(*.f64 %66 #s(literal -1 binary64))
(pow.f64 %61 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %61 #s(literal -1 binary64)))
(neg.f64 %66)
(fma.f64 %108 #s(literal -1 binary64) %530)
(fma.f64 #s(literal 1 binary64) %145 t)
(fma.f64 #s(literal -1 binary64) %108 %517)
(fma.f64 #s(literal -1 binary64) z %501)
(fma.f64 z #s(literal -1 binary64) %510)
(-.f64 %145 %108)
%61
(+.f64 %501 %517)
(+.f64 %517 %501)
(+.f64 %510 %530)
(+.f64 %530 %510)
(+.f64 %145 t)
(+.f64 t %145)
(*.f64 %939 #s(literal 1/2 binary64))
(*.f64 %941 #s(literal 1/2 binary64))
(*.f64 %161 #s(literal -1/2 binary64))
(*.f64 %163 #s(literal 1/2 binary64))
(*.f64 %945 #s(literal 2 binary64))
(*.f64 %4 %947)
(*.f64 %8 %66)
(*.f64 #s(literal 1/2 binary64) %950)
(*.f64 #s(literal 2 binary64) %168)
(*.f64 %157 #s(literal 1 binary64))
%157
(*.f64 #s(literal 1 binary64) %157)
(*.f64 #s(literal -1 binary64) %160)
(*.f64 %160 #s(literal -1 binary64))
(*.f64 %66 %8)
(*.f64 x %61)
(pow.f64 %157 #s(literal 1 binary64))
(/.f64 (neg.f64 %163) #s(literal -2 binary64))
(/.f64 (neg.f64 %950) #s(literal -2 binary64))
(/.f64 %163 #s(literal 2 binary64))
(/.f64 %950 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %157 #s(literal -1 binary64)))
(neg.f64 %160)
(fma.f64 %969 #s(literal 1/2 binary64) %386)
(fma.f64 %969 #s(literal 1/2 binary64) %307)
(fma.f64 %969 #s(literal 1/2 binary64) %309)
(fma.f64 %969 #s(literal 1/2 binary64) %244)
(fma.f64 %974 #s(literal 1/2 binary64) %386)
(fma.f64 %974 #s(literal 1/2 binary64) %307)
(fma.f64 %974 #s(literal 1/2 binary64) %309)
(fma.f64 %974 #s(literal 1/2 binary64) %244)
(fma.f64 %979 x %386)
(fma.f64 %979 x %307)
(fma.f64 %979 x %309)
(fma.f64 %979 x %244)
(fma.f64 %939 #s(literal 1/2 binary64) %984)
(fma.f64 %939 #s(literal 1/2 binary64) %986)
(fma.f64 (*.f64 t %4) #s(literal 1/2 binary64) %259)
(fma.f64 %941 #s(literal 1/2 binary64) %984)
(fma.f64 %941 #s(literal 1/2 binary64) %986)
(fma.f64 %161 #s(literal -1/2 binary64) %984)
(fma.f64 %161 #s(literal -1/2 binary64) %986)
(fma.f64 %163 #s(literal 1/2 binary64) %984)
(fma.f64 %163 #s(literal 1/2 binary64) %986)
(fma.f64 %230 #s(literal -1/2 binary64) %386)
(fma.f64 %230 #s(literal -1/2 binary64) %307)
(fma.f64 %230 #s(literal -1/2 binary64) %309)
(fma.f64 %230 #s(literal -1/2 binary64) %244)
(fma.f64 %945 #s(literal 2 binary64) %984)
(fma.f64 %945 #s(literal 2 binary64) %986)
(fma.f64 %4 %1002 %386)
(fma.f64 %4 %1002 %307)
(fma.f64 %4 %1002 %309)
(fma.f64 %4 %1002 %244)
(fma.f64 %4 (*.f64 #s(literal 1/2 binary64) t) %259)
(fma.f64 %4 %947 %984)
(fma.f64 %4 %947 %986)
(fma.f64 %244 #s(literal 1 binary64) %259)
(fma.f64 %8 %108 %259)
(fma.f64 %8 %66 %984)
(fma.f64 %8 %66 %986)
(fma.f64 %8 z %386)
(fma.f64 %8 z %307)
(fma.f64 %8 z %309)
(fma.f64 %8 z %244)
(fma.f64 #s(literal 1/2 binary64) %950 %984)
(fma.f64 #s(literal 1/2 binary64) %950 %986)
(fma.f64 #s(literal 1/2 binary64) %157 %168)
(fma.f64 #s(literal 2 binary64) %168 %984)
(fma.f64 #s(literal 2 binary64) %168 %986)
(fma.f64 %145 x %386)
(fma.f64 %145 x %307)
(fma.f64 %145 x %309)
(fma.f64 %145 x %244)
(fma.f64 %108 %8 %259)
(fma.f64 %259 #s(literal 1 binary64) %386)
(fma.f64 %259 #s(literal 1 binary64) %307)
(fma.f64 %259 #s(literal 1 binary64) %309)
(fma.f64 %259 #s(literal 1 binary64) %244)
(fma.f64 %157 #s(literal 1/2 binary64) %945)
(fma.f64 %157 #s(literal 1 binary64) %984)
(fma.f64 %157 #s(literal 1 binary64) %986)
(fma.f64 %61 x %984)
(fma.f64 %61 x %986)
(fma.f64 #s(literal 1 binary64) %244 %259)
(fma.f64 #s(literal 1 binary64) %259 %386)
(fma.f64 #s(literal 1 binary64) %259 %307)
(fma.f64 #s(literal 1 binary64) %259 %309)
(fma.f64 #s(literal 1 binary64) %259 %244)
(fma.f64 #s(literal 1 binary64) %157 %984)
(fma.f64 #s(literal 1 binary64) %157 %986)
(fma.f64 %222 #s(literal -1 binary64) %386)
(fma.f64 %222 #s(literal -1 binary64) %307)
(fma.f64 %222 #s(literal -1 binary64) %309)
(fma.f64 %222 #s(literal -1 binary64) %244)
(fma.f64 #s(literal -1 binary64) %222 %386)
(fma.f64 #s(literal -1 binary64) %222 %307)
(fma.f64 #s(literal -1 binary64) %222 %309)
(fma.f64 #s(literal -1 binary64) %222 %244)
(fma.f64 #s(literal -1 binary64) %160 %984)
(fma.f64 #s(literal -1 binary64) %160 %986)
(fma.f64 %160 #s(literal -1 binary64) %984)
(fma.f64 %160 #s(literal -1 binary64) %986)
(fma.f64 %66 %8 %984)
(fma.f64 %66 %8 %986)
(fma.f64 t x %259)
(fma.f64 z %8 %386)
(fma.f64 z %8 %307)
(fma.f64 z %8 %309)
(fma.f64 z %8 %244)
(fma.f64 x %530 %386)
(fma.f64 x %530 %307)
(fma.f64 x %530 %309)
(fma.f64 x %530 %244)
(fma.f64 x %145 %386)
(fma.f64 x %145 %307)
(fma.f64 x %145 %309)
(fma.f64 x %145 %244)
(fma.f64 x %61 %984)
(fma.f64 x %61 %986)
(fma.f64 x t %259)
(-.f64 %244 %222)
(+.f64 %945 %945)
(+.f64 %168 %168)
(+.f64 %386 %259)
(+.f64 %307 %259)
(+.f64 %244 %259)
(+.f64 %259 %386)
(+.f64 %259 %307)
(+.f64 %259 %309)
(+.f64 %259 %244)
(+.f64 %157 %984)
(+.f64 %157 %986)
(*.f64 %1088 #s(literal 1/2 binary64))
(*.f64 %1090 #s(literal 2 binary64))
(*.f64 %1092 #s(literal -1 binary64))
(*.f64 %1087 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %1087)
(*.f64 y %1096)
(pow.f64 %1087 #s(literal 1 binary64))
(/.f64 (neg.f64 %1088) #s(literal -2 binary64))
(/.f64 %1088 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1087 #s(literal -1 binary64)))
(neg.f64 %1092)
(fma.f64 %155 #s(literal 1/2 binary64) %121)
(fma.f64 %218 #s(literal 1/2 binary64) %1106)
(fma.f64 %218 #s(literal 1/2 binary64) %1108)
(fma.f64 %158 #s(literal 1/2 binary64) %121)
(fma.f64 %161 #s(literal 1/2 binary64) %121)
(fma.f64 %1088 #s(literal 1/2 binary64) %1112)
(fma.f64 %1088 #s(literal 1/2 binary64) %1114)
(fma.f64 %163 #s(literal -1/2 binary64) %121)
(fma.f64 %230 #s(literal 1/2 binary64) %1106)
(fma.f64 %230 #s(literal 1/2 binary64) %1108)
(fma.f64 %165 #s(literal 2 binary64) %121)
(fma.f64 %1090 #s(literal 2 binary64) %1112)
(fma.f64 %1090 #s(literal 2 binary64) %1114)
(fma.f64 %234 #s(literal 2 binary64) %1106)
(fma.f64 %234 #s(literal 2 binary64) %1108)
(fma.f64 %88 x %1106)
(fma.f64 %88 x %1108)
(fma.f64 %4 %237 %1106)
(fma.f64 %4 %237 %1108)
(fma.f64 %4 %73 %121)
(fma.f64 #s(literal -2 binary64) %168 %121)
(fma.f64 %8 %145 %1106)
(fma.f64 %8 %145 %1108)
(fma.f64 %8 %61 %121)
(fma.f64 %20 %171 %121)
(fma.f64 #s(literal 1/2 binary64) %1087 %1134)
(fma.f64 #s(literal 2 binary64) %173 %121)
(fma.f64 %145 %8 %1106)
(fma.f64 %145 %8 %1108)
(fma.f64 %108 %19 %160)
(fma.f64 %1092 #s(literal -1 binary64) %1112)
(fma.f64 %1092 #s(literal -1 binary64) %1114)
(fma.f64 %259 #s(literal -1 binary64) %1106)
(fma.f64 %259 #s(literal -1 binary64) %1108)
(fma.f64 %157 %175 %121)
(fma.f64 %157 #s(literal -1 binary64) %121)
(fma.f64 %19 %108 %160)
(fma.f64 %1087 #s(literal 1/2 binary64) %1090)
(fma.f64 %1087 #s(literal 1 binary64) %1112)
(fma.f64 %1087 #s(literal 1 binary64) %1114)
(fma.f64 %61 %178 %121)
(fma.f64 %61 %8 %121)
(fma.f64 %17 %181 %121)
(fma.f64 %3 %183 %121)
(fma.f64 #s(literal 1 binary64) %1087 %1112)
(fma.f64 #s(literal 1 binary64) %1087 %1114)
(fma.f64 #s(literal 1 binary64) %121 %160)
(fma.f64 #s(literal 1 binary64) %222 %1106)
(fma.f64 #s(literal 1 binary64) %222 %1108)
(fma.f64 #s(literal 1 binary64) %160 %121)
(fma.f64 %222 #s(literal 1 binary64) %1106)
(fma.f64 %222 #s(literal 1 binary64) %1108)
(fma.f64 %186 %187 %121)
(fma.f64 #s(literal -1 binary64) %190 %121)
(fma.f64 #s(literal -1 binary64) %157 %121)
(fma.f64 %193 y %121)
(fma.f64 %160 #s(literal 1 binary64) %121)
(fma.f64 %66 %196 %121)
%1087
(fma.f64 t y %160)
(fma.f64 z x %1106)
(fma.f64 z x %1108)
(fma.f64 %22 %198 %121)
(fma.f64 y %1096 %1112)
(fma.f64 y %1096 %1114)
(fma.f64 y %193 %121)
(fma.f64 y t %160)
(fma.f64 x %201 %121)
(fma.f64 x %88 %1106)
(fma.f64 x %88 %1108)
(fma.f64 x %66 %121)
(fma.f64 x z %1106)
(fma.f64 x z %1108)
(-.f64 (-.f64 %121 %244) %259)
(-.f64 %121 %157)
(-.f64 %160 %109)
(+.f64 (fma.f64 t y %222) %219)
(+.f64 %1090 %1090)
(+.f64 %1134 %1134)
(+.f64 %1087 %1112)
(+.f64 %1087 %1114)
(+.f64 %121 %160)
(+.f64 %222 %1106)
(+.f64 %222 %1108)
(+.f64 %160 %121)
%1197
%1198
%1200
%1204
%1206
%1208
%1209
%1210
%1211
%1212
%1213
%1215
%1216
%1217
%1224
%1227
%1230
%1236
%1240
%1244
%1247
%1250
%1253
%1255
%1260
%1264
%1267
%1270
%1273
%1277
%1279
%1281
%1285
%1288
%1291
%1294
%1297
%1300
%1303
%1306
%1309
%1313
%1316
%1319
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1341
%1343
%1345
%1347
%1349
%1350
%1352
%1353
%1355
%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
%1401
%1402
%1403
%1404
%1405
%1406
%1096
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1420
%1421
%1422
%1424
%1427
%1428
%1429
%1430
%1431
%1197
%1198
%1200
%1204
%1206
%1208
%1209
%1210
%1211
%1212
%1213
%1215
%1216
%1217
%1224
%1227
%1230
%1236
%1240
%1244
%1247
%1250
%1253
%1255
%1260
%1264
%1267
%1270
%1273
%1277
%1279
%1281
%1285
%1288
%1291
%1294
%1297
%1300
%1303
%1306
%1309
%1313
%1316
%1319
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1341
%1343
%1345
%1347
%1349
%1350
%1352
%1353
%1355
%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
%1401
%1402
%1403
%1404
%1405
%1406
%1096
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1420
%1421
%1422
%1424
%1427
%1428
%1429
%1430
%1431
%1197
%1198
%1200
%1204
%1206
%1208
%1209
%1210
%1211
%1212
%1213
%1215
%1216
%1217
%1224
%1227
%1230
%1236
%1240
%1244
%1247
%1250
%1253
%1255
%1260
%1264
%1267
%1270
%1273
%1277
%1279
%1281
%1285
%1288
%1291
%1294
%1297
%1300
%1303
%1306
%1309
%1313
%1316
%1319
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1341
%1343
%1345
%1347
%1349
%1350
%1352
%1353
%1355
%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
%1401
%1402
%1403
%1404
%1405
%1406
%1096
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1420
%1421
%1422
%1424
%1427
%1428
%1429
%1430
%1431
%1197
%1198
%1200
%1204
%1206
%1208
%1209
%1210
%1211
%1212
%1213
%1215
%1216
%1217
%1224
%1227
%1230
%1236
%1240
%1244
%1247
%1250
%1253
%1255
%1260
%1264
%1267
%1270
%1273
%1277
%1279
%1281
%1285
%1288
%1291
%1294
%1297
%1300
%1303
%1306
%1309
%1313
%1316
%1319
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1341
%1343
%1345
%1347
%1349
%1350
%1352
%1353
%1355
%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
%1401
%1402
%1403
%1404
%1405
%1406
%1096
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1420
%1421
%1422
%1424
%1427
%1428
%1429
%1430
%1431
(*.f64 #s(literal 1 binary64) %1432)
(pow.f64 %1432 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1432 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1437 t))
(neg.f64 (neg.f64 %1432))
(fma.f64 #s(literal 1 binary64) %464 t)
(-.f64 %464 %108)
(-.f64 t %1437)
%1432
(+.f64 t (neg.f64 %1437))
(+.f64 t %464)
(*.f64 #s(literal 1 binary64) %1448)
(pow.f64 %1448 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1448 #s(literal -1 binary64)))
(neg.f64 (-.f64 %1453 t))
(neg.f64 (neg.f64 %1448))
(fma.f64 #s(literal 1 binary64) %765 t)
(-.f64 %765 %108)
(-.f64 t %1453)
%1448
(+.f64 t (neg.f64 %1453))
(+.f64 t %765)
%323
%324
%325
%327
%329
%331
%332
%333
%334
%336
%338
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%358
%361
%363
%364
%365
%366
%368
%370
%372
%193
%373
%376
%378
%380
%381
%382
%383
%384
%385
%388
%390
%391
%392
%393
%395
%396
%398
%400
%401
%403
%404
%405
%407
%409
%411
%412
%413
%414
%415
%416
%417
%418
%419
%420
%421
%422
%423
%424
%425
%426
%427
%428
%429
%430
%431
%432
%434
%435
%436
%437
%438
%439
%440
%441
%442
%443
%444
%446
%448
%450
%451
%452
%454
%455
%457
%458
%459
%460
%1197
%1198
%1200
%1204
%1206
%1208
%1209
%1210
%1211
%1212
%1213
%1215
%1216
%1217
%1224
%1227
%1230
%1236
%1240
%1244
%1247
%1250
%1253
%1255
%1260
%1264
%1267
%1270
%1273
%1277
%1279
%1281
%1285
%1288
%1291
%1294
%1297
%1300
%1303
%1306
%1309
%1313
%1316
%1319
%1322
%1323
%1324
%1325
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1341
%1343
%1345
%1347
%1349
%1350
%1352
%1353
%1355
%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
%1401
%1402
%1403
%1404
%1405
%1406
%1096
%1407
%1408
%1409
%1410
%1411
%1412
%1413
%1414
%1415
%1416
%1417
%1418
%1419
%1420
%1421
%1422
%1424
%1427
%1428
%1429
%1430
%1431
reconstruct227.0ms (7.2%)
Counts
1 873 → 450
Compiler
Compiled 1 873 to 1 622 computations (13.4% saved)
eval26.0ms (0.8%)
Compiler
Compiled 327 to 818 computations (-150.2% saved)
prune4.0ms (0.1%)
Pruning
11 alts after pruning (6 fresh and 5 done)
PrunedKeptTotal
New3216327
Fresh000
Picked358
Done000
Total32411335
Accuracy
100.0%
Counts
335 → 11
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.3%
(fma.f64 (-.f64 z t) (/.f64 x y) t)
▶58.3%
(fma.f64 (approx (* (- t z) x) (*.f64 t x)) (/.f64 #s(literal -1 binary64) y) t)
✓90.3%
(fma.f64 x (/.f64 (-.f64 z t) y) t)
▶76.3%
(fma.f64 x (approx (/ (- z t) y) (/.f64 z y)) t)
▶48.4%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 t (+.f64 y (*.f64 #s(literal -1 binary64) x)))) y)
▶25.5%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 t y)) y)
▶78.6%
(+.f64 (approx (/ (* (- z t) x) y) (*.f64 z (/.f64 x y))) t)
✓93.2%
(+.f64 (approx (* (/ x y) (- z t)) (/.f64 (*.f64 x (-.f64 z t)) y)) t)
✓75.7%
(+.f64 (approx (* (/ x y) (- z t)) (/.f64 (*.f64 x z) y)) t)
▶76.3%
(+.f64 (approx (* (/ x y) (- z t)) (*.f64 (neg.f64 x) (*.f64 (/.f64 #s(literal -1 binary64) y) z))) t)
✓37.4%
(approx (+ (* (/ x y) (- z t)) t) t)
Compiler
Compiled 11 to 33 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series-181.0ms (-5.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02921511
Stop Event
1×iter-limit
Counts
29 → 85
Calls
Call 1
Inputs
%2 = (/.f64 x y)
%5 = (/.f64 z y)
%7 = (*.f64 t x)
%8 = (*.f64 t y)
%9 = (neg.f64 x)
%10 = (/.f64 #s(literal -1 binary64) y)
%11 = (*.f64 z %2)
%12 = (- z t)
%13 = (* %12 x)
%15 = (+ %13 (* t y))
%16 = (approx %15 %8)
%19 = (approx (* (- t z) x) %7)
%21 = (approx (/ %12 y) %5)
%22 = (*.f64 #s(literal -1 binary64) x)
%23 = (+.f64 y %22)
%24 = (*.f64 t %23)
%25 = (approx %15 %24)
%26 = (*.f64 %10 z)
%27 = (*.f64 %9 %26)
%29 = (approx (/ %13 y) %11)
%37 = (approx (* (/ x y) %12) %27)
x
y
%2
z
t
%5
#s(literal -1 binary64)
%7
%8
%9
%10
%11
%16
%19
%21
%22
%23
%24
%25
%26
%27
%29
(+.f64 %29 t)
(fma.f64 x %21 t)
(/.f64 %16 y)
(/.f64 %25 y)
(fma.f64 %19 %10 t)
%37
(+.f64 %37 t)
Outputs
%5 = (/ x y)
%6 = (/.f64 x y)
%10 = (*.f64 t x)
%14 = (*.f64 #s(literal -1 binary64) x)
%18 = (*.f64 x z)
%19 = (/.f64 %18 y)
%21 = (- z t)
%22 = (* %21 x)
%24 = (+ %22 (* t y))
%25 = (*.f64 t y)
%27 = (-.f64 z t)
%28 = (*.f64 x %27)
%29 = (fma.f64 t y %28)
%32 = (* (- t z) x)
%33 = (-.f64 t z)
%34 = (*.f64 x %33)
%38 = (+ y (* -1 x))
%40 = (+.f64 y %14)
%42 = (* t %38)
%43 = (fma.f64 #s(literal -1 binary64) %10 %25)
%45 = (/ %22 y)
%46 = (/.f64 %28 y)
%48 = (+ %45 t)
%50 = (/.f64 z y)
%51 = (/.f64 t y)
%53 = (*.f64 x (-.f64 %50 %51))
%56 = (/ -1 y)
%58 = (+ (* %32 %56) t)
%60 = (*.f64 #s(literal -1 binary64) (/.f64 %34 y))
%64 = (/.f64 %25 x)
%69 = (/.f64 y x)
%80 = (/.f64 t x)
%90 = (*.f64 #s(literal -1 binary64) %64)
%104 = (/.f64 %27 y)
%123 = (/ %21 y)
%133 = (+.f64 t %46)
%137 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %6))
%140 = (/.f64 %10 y)
%141 = (*.f64 #s(literal -1 binary64) %140)
%142 = (+.f64 t %141)
%151 = (-.f64 %6 #s(literal 1 binary64))
%170 = (fma.f64 #s(literal -1 binary64) %140 %19)
%175 = (/ %24 y)
%179 = (/.f64 %10 z)
%190 = (*.f64 y z)
%191 = (/.f64 t %190)
%192 = (/.f64 #s(literal 1 binary64) y)
%196 = (/.f64 %10 %190)
%232 = (*.f64 t %40)
%236 = (/.f64 %18 t)
%237 = (fma.f64 #s(literal -1 binary64) x %236)
%241 = (*.f64 #s(literal -1 binary64) %236)
%245 = (/.f64 z %25)
%249 = (/.f64 %18 %25)
%250 = (fma.f64 #s(literal -1 binary64) %6 %249)
%262 = (*.f64 t (+.f64 x (*.f64 #s(literal -1 binary64) y)))
%277 = (fma.f64 #s(literal -1 binary64) %249 %6)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx (* t x) %10)
(approx (neg x) %14)
(approx (* z %5) %19)
(approx %24 %25)
(approx %24 %29)
(approx %32 %34)
(approx %38 y)
(approx %38 %40)
(approx %42 %43)
(approx %45 %46)
(approx %48 t)
(approx %48 (+.f64 t %53))
(approx %58 (+.f64 t %60))
(approx %24 %28)
(approx %24 (*.f64 x (-.f64 (+.f64 z %64) t)))
(approx %38 (*.f64 x (-.f64 %69 #s(literal 1 binary64))))
(approx %42 (*.f64 #s(literal -1 binary64) %10))
(approx %42 (*.f64 x (fma.f64 #s(literal -1 binary64) t %64)))
(approx %48 %53)
(approx %48 (*.f64 x (-.f64 (+.f64 %80 %50) %51)))
(approx %58 %60)
(approx %58 (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 %33 y) %80)))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %27 %90))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %69)))))
(approx %42 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 t %90))))
(approx %48 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %80 (*.f64 #s(literal -1 binary64) %104)))))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %51 %50))))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) %80 %51) %50))))
(approx (/ z y) %50)
(approx %56 (/.f64 #s(literal -1 binary64) y))
(approx %123 %104)
(approx (* %56 z) (*.f64 #s(literal -1 binary64) %50))
(approx %48 (/.f64 %29 y))
(approx %58 (/.f64 (fma.f64 #s(literal -1 binary64) %34 %25) y))
(approx %24 (*.f64 y %133))
(approx %38 (*.f64 y %137))
(approx %42 (*.f64 y %142))
(approx %48 %133)
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) t (*.f64 #s(literal -1 binary64) %46)))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 y %151)))
(approx %42 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) t %140))))
(approx z z)
(approx %24 (fma.f64 #s(literal -1 binary64) %10 (fma.f64 t y %18)))
(approx %32 (fma.f64 #s(literal -1 binary64) %18 %10))
(approx %123 (*.f64 #s(literal -1 binary64) %51))
(approx %123 (fma.f64 #s(literal -1 binary64) %51 %50))
(approx %45 %141)
(approx %45 %170)
(approx %48 %142)
(approx %48 (+.f64 t %170))
(approx %175 (/.f64 %43 y))
(approx %24 %18)
(approx %24 (*.f64 z (+.f64 x (fma.f64 #s(literal -1 binary64) %179 (/.f64 %25 z)))))
(approx %32 (*.f64 #s(literal -1 binary64) %18))
(approx %32 (*.f64 z (fma.f64 #s(literal -1 binary64) x %179)))
(approx %123 (*.f64 z (fma.f64 #s(literal -1 binary64) %191 %192)))
(approx %45 (*.f64 z (fma.f64 #s(literal -1 binary64) %196 %6)))
(approx %48 (*.f64 z (fma.f64 #s(literal -1 binary64) %196 (+.f64 (/.f64 t z) %6))))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %43 z))))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 x (*.f64 #s(literal -1 binary64) %179)))))
(approx %123 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %191 %192))))
(approx %45 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %6 %196))))
(approx %48 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %6 (*.f64 #s(literal -1 binary64) (/.f64 %142 z))))))
(approx %24 (fma.f64 t %40 %18))
(approx %42 %232)
(approx %48 (fma.f64 t %137 %19))
(approx %24 (*.f64 t (+.f64 y %237)))
(approx %32 (*.f64 t (+.f64 x %241)))
(approx %123 (*.f64 t (-.f64 %245 %192)))
(approx %45 (*.f64 t %250))
(approx %48 (*.f64 t %137))
(approx %48 (*.f64 t (+.f64 #s(literal 1 binary64) %250)))
(approx %175 (/.f64 %232 y))
(approx %24 (*.f64 #s(literal -1 binary64) %262))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 x (fma.f64 #s(literal -1 binary64) y %241)))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 t %237)))
(approx %123 (*.f64 #s(literal -1 binary64) (*.f64 t (fma.f64 #s(literal -1 binary64) %245 %192))))
(approx %45 (*.f64 #s(literal -1 binary64) (*.f64 t %277)))
(approx %48 (*.f64 #s(literal -1 binary64) (*.f64 t %151)))
(approx %48 (*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 %277 #s(literal 1 binary64)))))
(approx %175 (*.f64 #s(literal -1 binary64) (/.f64 %262 y)))
(approx %175 (*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 #s(literal -1 binary64) %277))))
Calls
12 calls:
TimeVariablePoint
511.0ms
x
inf
5.0ms
t
inf
4.0ms
y
0
3.0ms
z
inf
3.0ms
x
0
rewrite76.0ms (2.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
039225
059211
1193206
2602205
31973205
04203205
04601201
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
29 → 533
Calls
Call 1
Inputs
%2 = (/.f64 x y)
%5 = (/.f64 z y)
%7 = (*.f64 t x)
%8 = (*.f64 t y)
%9 = (neg.f64 x)
%10 = (/.f64 #s(literal -1 binary64) y)
%11 = (*.f64 z %2)
%12 = (- z t)
%13 = (* %12 x)
%15 = (+ %13 (* t y))
%16 = (approx %15 %8)
%19 = (approx (* (- t z) x) %7)
%21 = (approx (/ %12 y) %5)
%22 = (*.f64 #s(literal -1 binary64) x)
%23 = (+.f64 y %22)
%24 = (*.f64 t %23)
%25 = (approx %15 %24)
%26 = (*.f64 %10 z)
%27 = (*.f64 %9 %26)
%29 = (approx (/ %13 y) %11)
%37 = (approx (* (/ x y) %12) %27)
x
y
%2
z
t
%5
#s(literal -1 binary64)
%7
%8
%9
%10
%11
%16
%19
%21
%22
%23
%24
%25
%26
%27
%29
(+.f64 %29 t)
(fma.f64 x %21 t)
(/.f64 %16 y)
(/.f64 %25 y)
(fma.f64 %19 %10 t)
%37
(+.f64 %37 t)
Outputs
%2 = (neg.f64 x)
%3 = (/.f64 %2 y)
%7 = (/.f64 #s(literal 1 binary64) y)
%9 = (/.f64 x y)
%11 = (/.f64 #s(literal -1 binary64) y)
%20 = (neg.f64 y)
%21 = (*.f64 #s(literal 2 binary64) %20)
%24 = (*.f64 #s(literal 2 binary64) y)
%26 = (+.f64 x x)
%27 = (neg.f64 %26)
%28 = (*.f64 %20 #s(literal 2 binary64))
%30 = (*.f64 y #s(literal 2 binary64))
%41 = (*.f64 #s(literal 1/2 binary64) %9)
%44 = (*.f64 #s(literal 0 binary64) %9)
%57 = (fabs.f64 y)
%58 = (/.f64 z %57)
%59 = (/.f64 y %57)
%62 = (/.f64 y %20)
%63 = (/.f64 z %20)
%65 = (/.f64 y y)
%66 = (/.f64 z y)
%68 = (*.f64 z y)
%69 = (*.f64 y y)
%70 = (/.f64 #s(literal 1 binary64) %69)
%72 = (*.f64 z %20)
%73 = (/.f64 #s(literal -1 binary64) %69)
%77 = (neg.f64 z)
%80 = (*.f64 #s(literal -1 binary64) y)
%81 = (/.f64 %80 y)
%85 = (/.f64 %68 %20)
%89 = (/.f64 %80 %20)
%94 = (*.f64 %77 #s(literal 2 binary64))
%96 = (*.f64 #s(literal 2 binary64) z)
%98 = (*.f64 #s(literal 2 binary64) %77)
%100 = (+.f64 z z)
%103 = (*.f64 %20 y)
%121 = (*.f64 #s(literal 0 binary64) %66)
%127 = (*.f64 #s(literal 1/2 binary64) %66)
%145 = (neg.f64 t)
%146 = (*.f64 %145 x)
%149 = (*.f64 t x)
%159 = (*.f64 #s(literal 1/2 binary64) %149)
%161 = (*.f64 #s(literal 0 binary64) %149)
%174 = (*.f64 t y)
%179 = (*.f64 %145 y)
%181 = (*.f64 %27 #s(literal 1/2 binary64))
%183 = (*.f64 %26 #s(literal -1/2 binary64))
%185 = (*.f64 #s(literal 1/2 binary64) x)
%186 = (*.f64 #s(literal -2 binary64) %185)
%187 = (neg.f64 %185)
%188 = (*.f64 #s(literal 2 binary64) %187)
%189 = (*.f64 #s(literal 1 binary64) %2)
%190 = (*.f64 %2 #s(literal 1 binary64))
%191 = (*.f64 #s(literal -1 binary64) x)
%192 = (*.f64 x #s(literal -1 binary64))
%193 = (pow.f64 %2 #s(literal 1 binary64))
%195 = (/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
%196 = (*.f64 #s(literal 0 binary64) %2)
%197 = (fma.f64 %27 #s(literal 1/2 binary64) %196)
%198 = (fma.f64 %26 #s(literal -1/2 binary64) %196)
%199 = (fma.f64 #s(literal -2 binary64) %185 %196)
%200 = (*.f64 #s(literal 1/2 binary64) %2)
%201 = (fma.f64 #s(literal 1/2 binary64) %2 %200)
%202 = (fma.f64 #s(literal 2 binary64) %187 %196)
%203 = (fma.f64 #s(literal 1 binary64) %2 %196)
%204 = (fma.f64 %2 #s(literal 1 binary64) %196)
%205 = (fma.f64 #s(literal -1 binary64) x %196)
%206 = (fma.f64 x #s(literal -1 binary64) %196)
%207 = (+.f64 %200 %200)
%208 = (+.f64 %2 %196)
%209 = (/.f64 #s(literal 1/2 binary64) y)
%211 = (/.f64 #s(literal -1/2 binary64) y)
%231 = (*.f64 #s(literal 0 binary64) %11)
%233 = (/.f64 #s(literal 0 binary64) %20)
%249 = (*.f64 %3 %77)
%250 = (*.f64 z %9)
%251 = (*.f64 z %2)
%252 = (*.f64 %251 %11)
%253 = (*.f64 z x)
%254 = (*.f64 %253 %7)
%255 = (*.f64 %3 z)
%256 = (*.f64 %255 #s(literal -1 binary64))
%257 = (*.f64 %7 %253)
%258 = (*.f64 %77 %3)
%259 = (*.f64 #s(literal 1 binary64) %250)
%260 = (*.f64 %63 %2)
%261 = (*.f64 %2 %63)
%262 = (*.f64 %250 #s(literal 1 binary64))
%263 = (*.f64 %11 %251)
%264 = (*.f64 #s(literal -1 binary64) %255)
%265 = (*.f64 %66 x)
%266 = (*.f64 %9 z)
%267 = (*.f64 x %66)
%268 = (pow.f64 %250 #s(literal 1 binary64))
%270 = (/.f64 (*.f64 %251 #s(literal 2 binary64)) %28)
%272 = (/.f64 (*.f64 %253 #s(literal 2 binary64)) %30)
%274 = (/.f64 (*.f64 #s(literal 2 binary64) %251) %21)
%276 = (/.f64 (*.f64 #s(literal 2 binary64) %253) %24)
%277 = (/.f64 %251 %20)
%278 = (/.f64 %253 y)
%280 = (/.f64 #s(literal 1 binary64) (/.f64 %20 %251))
%282 = (/.f64 #s(literal 1 binary64) (/.f64 y %253))
%284 = (/.f64 #s(literal 1 binary64) (pow.f64 %250 #s(literal -1 binary64)))
%285 = (neg.f64 %255)
%286 = (*.f64 #s(literal 1/2 binary64) %250)
%287 = (fma.f64 #s(literal 1/2 binary64) %250 %286)
%288 = (*.f64 #s(literal 0 binary64) %250)
%289 = (fma.f64 %3 %77 %288)
%290 = (fma.f64 z %9 %288)
%291 = (fma.f64 %251 %11 %288)
%292 = (fma.f64 %253 %7 %288)
%293 = (fma.f64 %255 #s(literal -1 binary64) %288)
%294 = (fma.f64 %7 %253 %288)
%295 = (fma.f64 %77 %3 %288)
%296 = (fma.f64 #s(literal 1 binary64) %250 %288)
%297 = (fma.f64 %63 %2 %288)
%298 = (fma.f64 %2 %63 %288)
%299 = (fma.f64 %250 #s(literal 1 binary64) %288)
%300 = (fma.f64 %11 %251 %288)
%301 = (fma.f64 #s(literal -1 binary64) %255 %288)
%302 = (fma.f64 %66 x %288)
%303 = (fma.f64 %9 z %288)
%304 = (fma.f64 x %66 %288)
%305 = (+.f64 %286 %286)
%306 = (+.f64 %250 %288)
%307 = (- z t)
%308 = (* %307 x)
%310 = (+ %308 (* t y))
%311 = (approx %310 %174)
%312 = (*.f64 %311 #s(literal 2 binary64))
%314 = (neg.f64 %311)
%322 = (*.f64 #s(literal 0 binary64) %311)
%324 = (*.f64 #s(literal 1/2 binary64) %311)
%333 = (approx (* (- t z) x) %149)
%334 = (*.f64 %333 #s(literal 2 binary64))
%336 = (*.f64 #s(literal 1/2 binary64) %333)
%339 = (neg.f64 %333)
%347 = (*.f64 #s(literal 0 binary64) %333)
%358 = (approx (/ %307 y) %66)
%362 = (-.f64 y x)
%366 = (-.f64 x y)
%381 = (*.f64 %362 t)
%410 = (approx %310 %381)
%411 = (*.f64 %410 #s(literal 2 binary64))
%413 = (neg.f64 %410)
%421 = (*.f64 #s(literal 0 binary64) %410)
%423 = (*.f64 #s(literal 1/2 binary64) %410)
%451 = (*.f64 #s(literal 1/2 binary64) %63)
%453 = (*.f64 #s(literal 0 binary64) %63)
%465 = (approx (/ %308 y) %250)
%466 = (pow.f64 %465 #s(literal 1 binary64))
%468 = (/.f64 #s(literal 1 binary64) (pow.f64 %465 #s(literal -1 binary64)))
%469 = (+.f64 %465 t)
%470 = (pow.f64 %469 #s(literal 1 binary64))
%472 = (/.f64 #s(literal 1 binary64) (pow.f64 %469 #s(literal -1 binary64)))
%474 = (neg.f64 (neg.f64 %469))
%475 = (-.f64 %465 %145)
%476 = (neg.f64 %465)
%477 = (neg.f64 %476)
%479 = (-.f64 t (neg.f64 %477))
%480 = (-.f64 t %476)
%481 = (+.f64 t %477)
%482 = (+.f64 t %465)
%483 = (fma.f64 %358 x t)
%485 = (neg.f64 %483)
%495 = (neg.f64 %358)
%496 = (neg.f64 %495)
%498 = (*.f64 %495 x)
%501 = (*.f64 %358 x)
%519 = (/.f64 %314 y)
%523 = (/.f64 %311 y)
%540 = (/.f64 %413 y)
%544 = (/.f64 %410 y)
%561 = (-.f64 %333 %174)
%563 = (-.f64 %174 %333)
%565 = (/.f64 %333 y)
%566 = (-.f64 %565 t)
%568 = (-.f64 t %565)
%570 = (/.f64 %174 y)
%604 = (/.f64 %333 %20)
x
y
(*.f64 %3 #s(literal -1 binary64))
(*.f64 %7 x)
(*.f64 #s(literal 1 binary64) %9)
(*.f64 %2 %11)
(*.f64 %11 %2)
(*.f64 #s(literal -1 binary64) %3)
(*.f64 %9 #s(literal 1 binary64))
(*.f64 x %7)
(pow.f64 %9 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %2) %21)
(/.f64 (*.f64 #s(literal 2 binary64) x) %24)
(/.f64 %27 %28)
(/.f64 %26 %30)
(/.f64 #s(literal 1 binary64) (/.f64 %20 %2))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
(/.f64 %2 %20)
%9
(neg.f64 %3)
(fma.f64 #s(literal 1/2 binary64) %9 %41)
(fma.f64 %3 #s(literal -1 binary64) %44)
(fma.f64 %7 x %44)
(fma.f64 #s(literal 1 binary64) %9 %44)
(fma.f64 %2 %11 %44)
(fma.f64 %11 %2 %44)
(fma.f64 #s(literal -1 binary64) %3 %44)
(fma.f64 %9 #s(literal 1 binary64) %44)
(fma.f64 x %7 %44)
(+.f64 %41 %41)
(+.f64 %9 %44)
z
t
(*.f64 %58 %59)
(*.f64 %59 %58)
(*.f64 %62 %63)
(*.f64 %65 %66)
(*.f64 %68 %70)
(*.f64 %72 %73)
(*.f64 z %7)
(*.f64 %7 z)
(*.f64 %77 %11)
(*.f64 #s(literal 1 binary64) %66)
(*.f64 %63 %81)
(*.f64 %63 %62)
(*.f64 %63 #s(literal -1 binary64))
(*.f64 %11 %85)
(*.f64 %11 %77)
(*.f64 #s(literal -1 binary64) %63)
(*.f64 %66 %89)
(*.f64 %66 %65)
(*.f64 %66 #s(literal 1 binary64))
(pow.f64 %66 #s(literal 1 binary64))
(/.f64 %94 %28)
(/.f64 %96 %24)
(/.f64 %98 %21)
(/.f64 %100 %30)
(/.f64 %68 %69)
(/.f64 %72 %103)
%66
(/.f64 %77 %20)
(/.f64 #s(literal 1 binary64) (/.f64 %69 %68))
(/.f64 #s(literal 1 binary64) (/.f64 %103 %72))
(/.f64 #s(literal 1 binary64) (/.f64 %20 %77))
(/.f64 #s(literal 1 binary64) (pow.f64 %66 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y z))
(neg.f64 (/.f64 %68 %103))
(neg.f64 (/.f64 %72 %69))
(neg.f64 %63)
(fma.f64 %58 %59 %121)
(fma.f64 %59 %58 %121)
(fma.f64 %62 %63 %121)
(fma.f64 %65 %66 %121)
(fma.f64 %68 %70 %121)
(fma.f64 #s(literal 1/2 binary64) %66 %127)
(fma.f64 %72 %73 %121)
(fma.f64 z %7 %121)
(fma.f64 %7 z %121)
(fma.f64 %77 %11 %121)
(fma.f64 #s(literal 1 binary64) %66 %121)
(fma.f64 %63 %81 %121)
(fma.f64 %63 %62 %121)
(fma.f64 %63 #s(literal -1 binary64) %121)
(fma.f64 %11 %85 %121)
(fma.f64 %11 %77 %121)
(fma.f64 #s(literal -1 binary64) %63 %121)
(fma.f64 %66 %89 %121)
(fma.f64 %66 %65 %121)
(fma.f64 %66 #s(literal 1 binary64) %121)
(+.f64 %127 %127)
(+.f64 %66 %121)
#s(literal -1 binary64)
(*.f64 %146 #s(literal -1 binary64))
(*.f64 %145 %2)
(*.f64 #s(literal 1 binary64) %149)
(*.f64 %2 %145)
(*.f64 %149 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %146)
%149
(*.f64 x t)
(pow.f64 %149 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %149 #s(literal -1 binary64)))
(neg.f64 %146)
(fma.f64 #s(literal 1/2 binary64) %149 %159)
(fma.f64 %146 #s(literal -1 binary64) %161)
(fma.f64 %145 %2 %161)
(fma.f64 #s(literal 1 binary64) %149 %161)
(fma.f64 %2 %145 %161)
(fma.f64 %149 #s(literal 1 binary64) %161)
(fma.f64 #s(literal -1 binary64) %146 %161)
(fma.f64 t x %161)
(fma.f64 x t %161)
(+.f64 %159 %159)
(+.f64 %149 %161)
(*.f64 %145 %20)
(*.f64 %20 %145)
%174
(*.f64 y t)
(pow.f64 %174 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %174 #s(literal -1 binary64)))
(neg.f64 %179)
%181
%183
%186
%188
%189
%190
%191
%192
%193
%195
%2
%197
%198
%199
%201
%202
%203
%204
%205
%206
%207
%208
(*.f64 #s(literal -2 binary64) %209)
(*.f64 #s(literal 2 binary64) %211)
(*.f64 %7 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %11)
(*.f64 %11 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %7)
(pow.f64 %20 #s(literal -1 binary64))
(pow.f64 %11 #s(literal 1 binary64))
(/.f64 #s(literal -2 binary64) %30)
(/.f64 #s(literal -2 binary64) %24)
(/.f64 #s(literal 2 binary64) %28)
(/.f64 #s(literal 2 binary64) %21)
(/.f64 #s(literal 1 binary64) (/.f64 %20 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %20)
%11
(neg.f64 %7)
(fma.f64 #s(literal -2 binary64) %209 %231)
(fma.f64 #s(literal -2 binary64) %209 %233)
(fma.f64 #s(literal 1/2 binary64) %11 %211)
(fma.f64 #s(literal 2 binary64) %211 %231)
(fma.f64 #s(literal 2 binary64) %211 %233)
(fma.f64 %7 #s(literal -1 binary64) %231)
(fma.f64 %7 #s(literal -1 binary64) %233)
(fma.f64 #s(literal 1 binary64) %11 %231)
(fma.f64 #s(literal 1 binary64) %11 %233)
(fma.f64 %11 #s(literal 1 binary64) %231)
(fma.f64 %11 #s(literal 1 binary64) %233)
(fma.f64 #s(literal -1 binary64) %7 %231)
(fma.f64 #s(literal -1 binary64) %7 %233)
(+.f64 %211 %211)
(+.f64 %11 %231)
(+.f64 %11 %233)
%249
%250
%252
%254
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%270
%272
%274
%276
%277
%278
%280
%282
%284
%285
%287
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
(*.f64 %312 #s(literal 1/2 binary64))
(*.f64 %314 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %311)
(*.f64 %311 #s(literal 1 binary64))
(pow.f64 %311 #s(literal 1 binary64))
%311
(/.f64 #s(literal 1 binary64) (pow.f64 %311 #s(literal -1 binary64)))
(neg.f64 %314)
(fma.f64 %312 #s(literal 1/2 binary64) %322)
(fma.f64 #s(literal 1/2 binary64) %311 %324)
(fma.f64 %314 #s(literal -1 binary64) %322)
(fma.f64 #s(literal 1 binary64) %311 %322)
(fma.f64 %311 #s(literal 1 binary64) %322)
(+.f64 %324 %324)
(+.f64 %311 %322)
(*.f64 %334 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %336)
(*.f64 %333 #s(literal 1 binary64))
(*.f64 %339 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %333)
(*.f64 #s(literal -1 binary64) %339)
(pow.f64 %333 #s(literal 1 binary64))
%333
(/.f64 #s(literal 1 binary64) (pow.f64 %333 #s(literal -1 binary64)))
(neg.f64 %339)
(fma.f64 %334 #s(literal 1/2 binary64) %347)
(fma.f64 #s(literal 1/2 binary64) %333 %336)
(fma.f64 #s(literal 2 binary64) %336 %347)
(fma.f64 %333 #s(literal 1 binary64) %347)
(fma.f64 %339 #s(literal -1 binary64) %347)
(fma.f64 #s(literal 1 binary64) %333 %347)
(fma.f64 #s(literal -1 binary64) %339 %347)
(+.f64 %336 %336)
(+.f64 %333 %347)
(pow.f64 %358 #s(literal 1 binary64))
%358
(/.f64 #s(literal 1 binary64) (pow.f64 %358 #s(literal -1 binary64)))
%181
%183
%186
%188
%189
%190
%191
%192
%193
%195
%2
%197
%198
%199
%201
%202
%203
%204
%205
%206
%207
%208
(pow.f64 %362 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %362 #s(literal -1 binary64)))
(neg.f64 %366)
(fma.f64 %27 #s(literal 1/2 binary64) y)
(fma.f64 %26 #s(literal -1/2 binary64) y)
(fma.f64 #s(literal -2 binary64) %185 y)
(fma.f64 #s(literal 2 binary64) %187 y)
(fma.f64 #s(literal 1 binary64) %2 y)
(fma.f64 %2 #s(literal 1 binary64) y)
(fma.f64 #s(literal -1 binary64) x y)
(fma.f64 x #s(literal -1 binary64) y)
(-.f64 %2 %20)
%362
(+.f64 %2 y)
(+.f64 y %2)
(*.f64 %366 %145)
(*.f64 %145 %366)
%381
(*.f64 t %362)
(pow.f64 %381 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %381 #s(literal -1 binary64)))
(neg.f64 (*.f64 %362 %145))
(neg.f64 (fma.f64 %145 y %149))
(neg.f64 (-.f64 %179 %146))
(neg.f64 (*.f64 %366 t))
(fma.f64 %146 #s(literal 1 binary64) %174)
(fma.f64 %145 %20 %146)
(fma.f64 %145 x %174)
(fma.f64 %20 %145 %146)
(fma.f64 #s(literal 1 binary64) %146 %174)
(fma.f64 %2 t %174)
(fma.f64 %149 #s(literal -1 binary64) %174)
(fma.f64 #s(literal -1 binary64) %149 %174)
(fma.f64 t %2 %174)
(fma.f64 t y %146)
(fma.f64 y t %146)
(fma.f64 x %145 %174)
(-.f64 %146 %179)
(-.f64 %174 %149)
(+.f64 %146 %174)
(+.f64 %174 %146)
(*.f64 %411 #s(literal 1/2 binary64))
(*.f64 %413 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %410)
(*.f64 %410 #s(literal 1 binary64))
(pow.f64 %410 #s(literal 1 binary64))
%410
(/.f64 #s(literal 1 binary64) (pow.f64 %410 #s(literal -1 binary64)))
(neg.f64 %413)
(fma.f64 %411 #s(literal 1/2 binary64) %421)
(fma.f64 #s(literal 1/2 binary64) %410 %423)
(fma.f64 %413 #s(literal -1 binary64) %421)
(fma.f64 #s(literal 1 binary64) %410 %421)
(fma.f64 %410 #s(literal 1 binary64) %421)
(+.f64 %423 %423)
(+.f64 %410 %421)
(*.f64 z %11)
(*.f64 %7 %77)
(*.f64 %77 %7)
(*.f64 #s(literal 1 binary64) %63)
(*.f64 %63 #s(literal 1 binary64))
(*.f64 %11 z)
(*.f64 #s(literal -1 binary64) %66)
(*.f64 %66 #s(literal -1 binary64))
(pow.f64 %63 #s(literal 1 binary64))
(/.f64 %94 %30)
(/.f64 %96 %21)
(/.f64 %98 %24)
(/.f64 %100 %28)
%63
(/.f64 %77 y)
(/.f64 #s(literal 1 binary64) (/.f64 %20 z))
(/.f64 #s(literal 1 binary64) (/.f64 y %77))
(/.f64 #s(literal 1 binary64) (pow.f64 %63 #s(literal -1 binary64)))
(neg.f64 %66)
(fma.f64 #s(literal 1/2 binary64) %63 %451)
(fma.f64 z %11 %453)
(fma.f64 %7 %77 %453)
(fma.f64 %77 %7 %453)
(fma.f64 #s(literal 1 binary64) %63 %453)
(fma.f64 %63 #s(literal 1 binary64) %453)
(fma.f64 %11 z %453)
(fma.f64 #s(literal -1 binary64) %66 %453)
(fma.f64 %66 #s(literal -1 binary64) %453)
(+.f64 %451 %451)
(+.f64 %63 %453)
%249
%250
%252
%254
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%270
%272
%274
%276
%277
%278
%280
%282
%284
%285
%287
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%466
%465
%468
%470
%472
%474
%475
%479
%480
%469
%481
%482
(*.f64 #s(literal 1 binary64) %483)
(*.f64 #s(literal -1 binary64) %485)
(pow.f64 %483 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %483 #s(literal -1 binary64)))
(neg.f64 %485)
(fma.f64 (*.f64 %358 #s(literal -1 binary64)) %2 t)
(fma.f64 (*.f64 %358 #s(literal 1 binary64)) x t)
(fma.f64 %496 x t)
(fma.f64 %498 #s(literal -1 binary64) t)
(fma.f64 %495 %2 t)
(fma.f64 #s(literal 1 binary64) %501 t)
(fma.f64 %501 #s(literal 1 binary64) t)
(fma.f64 %2 (*.f64 #s(literal -1 binary64) %358) t)
(fma.f64 %2 %495 t)
%483
(fma.f64 #s(literal -1 binary64) %498 t)
(fma.f64 x (*.f64 #s(literal 1 binary64) %358) t)
(fma.f64 x %496 t)
(fma.f64 x %358 t)
(-.f64 %501 %145)
(-.f64 t (*.f64 (neg.f64 %496) x))
(-.f64 t %498)
(+.f64 %501 t)
(+.f64 t %501)
(*.f64 %519 #s(literal -1 binary64))
(*.f64 %7 %311)
(*.f64 %314 %11)
(*.f64 #s(literal 1 binary64) %523)
(*.f64 %311 %7)
(*.f64 %11 %314)
(pow.f64 %523 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %314) %21)
(/.f64 (*.f64 #s(literal 2 binary64) %311) %24)
(/.f64 %314 %20)
(/.f64 #s(literal 1 binary64) (/.f64 %20 %314))
(/.f64 #s(literal 1 binary64) (pow.f64 %523 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %311))
%523
(neg.f64 %519)
(*.f64 %540 #s(literal -1 binary64))
(*.f64 %7 %410)
(*.f64 %413 %11)
(*.f64 #s(literal 1 binary64) %544)
(*.f64 %410 %7)
(*.f64 %11 %413)
(pow.f64 %544 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %413) %21)
(/.f64 (*.f64 #s(literal 2 binary64) %410) %24)
(/.f64 %413 %20)
(/.f64 #s(literal 1 binary64) (/.f64 %20 %413))
(/.f64 #s(literal 1 binary64) (pow.f64 %544 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %410))
%544
(neg.f64 %540)
(*.f64 %561 %11)
(*.f64 %563 %7)
(*.f64 #s(literal -1 binary64) %566)
(pow.f64 %568 #s(literal 1 binary64))
(/.f64 (fma.f64 %570 %20 %333) %20)
(/.f64 (fma.f64 %570 y %339) y)
(/.f64 (fma.f64 %174 %20 (*.f64 %333 y)) %103)
(/.f64 (fma.f64 %174 y (*.f64 %339 y)) %69)
(/.f64 (fma.f64 %174 %20 (*.f64 y %333)) %103)
(/.f64 (fma.f64 %174 y (*.f64 y %339)) %69)
(/.f64 %561 %20)
(/.f64 %563 y)
(/.f64 #s(literal 1 binary64) (/.f64 %20 %561))
(/.f64 #s(literal 1 binary64) (/.f64 y %563))
(/.f64 #s(literal 1 binary64) (pow.f64 %568 #s(literal -1 binary64)))
(neg.f64 %566)
(fma.f64 %565 #s(literal -1 binary64) %570)
(fma.f64 %565 #s(literal -1 binary64) t)
(fma.f64 %333 %11 %570)
(fma.f64 %333 %11 t)
(fma.f64 %339 %7 %570)
(fma.f64 %339 %7 t)
(fma.f64 %7 %339 %570)
(fma.f64 %7 %339 t)
(fma.f64 #s(literal 1 binary64) %604 %570)
(fma.f64 #s(literal 1 binary64) %604 t)
(fma.f64 %604 #s(literal 1 binary64) %570)
(fma.f64 %604 #s(literal 1 binary64) t)
(fma.f64 %11 %333 %570)
(fma.f64 %11 %333 t)
(fma.f64 %174 %7 %604)
(fma.f64 #s(literal -1 binary64) %565 %570)
(fma.f64 #s(literal -1 binary64) %565 t)
(-.f64 %570 %565)
(-.f64 %604 %145)
%568
(+.f64 %570 %604)
(+.f64 %604 %570)
(+.f64 %604 t)
(+.f64 t %604)
%466
%465
%468
%470
%472
%474
%475
%479
%480
%469
%481
%482
reconstruct43.0ms (1.4%)
Counts
617 → 177
Compiler
Compiled 617 to 776 computations (-25.8% saved)
eval16.0ms (0.5%)
Compiler
Compiled 168 to 461 computations (-174.4% saved)
prune4.0ms (0.1%)
Pruning
13 alts after pruning (5 fresh and 8 done)
PrunedKeptTotal
New1635168
Fresh000
Picked246
Done145
Total16613179
Accuracy
100.0%
Counts
179 → 13
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.3%
(fma.f64 (-.f64 z t) (/.f64 x y) t)
✓58.3%
(fma.f64 (approx (* (- t z) x) (*.f64 t x)) (/.f64 #s(literal -1 binary64) y) t)
✓90.3%
(fma.f64 x (/.f64 (-.f64 z t) y) t)
✓76.3%
(fma.f64 x (approx (/ (- z t) y) (/.f64 z y)) t)
▶76.3%
(fma.f64 x (approx (/ (- z t) y) (*.f64 z (/.f64 #s(literal 1 binary64) y))) t)
▶48.4%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 (-.f64 y x) t)) y)
▶59.2%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 x (-.f64 z t))) y)
▶40.9%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 x z)) y)
✓25.5%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 t y)) y)
▶58.3%
(-.f64 t (/.f64 (approx (* (- t z) x) (*.f64 t x)) y))
✓78.6%
(+.f64 (approx (/ (* (- z t) x) y) (*.f64 z (/.f64 x y))) t)
✓93.2%
(+.f64 (approx (* (/ x y) (- z t)) (/.f64 (*.f64 x (-.f64 z t)) y)) t)
✓37.4%
(approx (+ (* (/ x y) (- z t)) t) t)
Compiler
Compiled 13 to 34 computations (-161.5% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series42.0ms (1.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03421831
Stop Event
1×iter-limit
Counts
24 → 105
Calls
Call 1
Inputs
%4 = (-.f64 z t)
%5 = (*.f64 x %4)
%6 = (*.f64 t x)
%7 = (*.f64 x z)
%9 = (/.f64 #s(literal 1 binary64) y)
%12 = (approx (* (- t z) x) %6)
%13 = (- z t)
%16 = (+ (* %13 x) (* t y))
%17 = (approx %16 %5)
%18 = (approx %16 %7)
%19 = (*.f64 z %9)
%20 = (-.f64 y x)
%21 = (*.f64 %20 t)
%22 = (approx %16 %21)
%24 = (/.f64 %12 y)
%29 = (approx (/ %13 y) %19)
x
y
z
t
%4
%5
%6
%7
#s(literal 1 binary64)
%9
%12
%17
%18
%19
%20
%21
%22
(/.f64 %22 y)
%24
(-.f64 t %24)
(/.f64 %18 y)
(/.f64 %17 y)
%29
(fma.f64 x %29 t)
Outputs
%6 = (- z t)
%7 = (* x %6)
%8 = (-.f64 z t)
%9 = (*.f64 x %8)
%12 = (*.f64 t x)
%15 = (*.f64 x z)
%18 = (* (- t z) x)
%19 = (-.f64 t z)
%20 = (*.f64 x %19)
%25 = (+ (* %6 x) (* t y))
%26 = (*.f64 t y)
%28 = (fma.f64 t y %9)
%30 = (- y x)
%33 = (*.f64 #s(literal -1 binary64) x)
%34 = (+.f64 y %33)
%36 = (* %30 t)
%37 = (fma.f64 #s(literal -1 binary64) %12 %26)
%39 = (/ %25 y)
%41 = (/.f64 z y)
%42 = (/.f64 t y)
%44 = (*.f64 x (-.f64 %41 %42))
%47 = (/ %18 y)
%48 = (/.f64 %20 y)
%50 = (/.f64 %26 x)
%56 = (/.f64 y x)
%66 = (/.f64 %9 y)
%68 = (/.f64 t x)
%73 = (- t %47)
%75 = (*.f64 #s(literal -1 binary64) %50)
%89 = (/.f64 %8 y)
%95 = (*.f64 #s(literal -1 binary64) %48)
%105 = (/ 1 y)
%106 = (/.f64 #s(literal 1 binary64) y)
%110 = (-.f64 y x)
%117 = (/ %6 y)
%119 = (+.f64 t %66)
%122 = (/.f64 x y)
%124 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %122))
%127 = (/.f64 %12 y)
%129 = (+.f64 t (*.f64 #s(literal -1 binary64) %127))
%140 = (-.f64 %122 #s(literal 1 binary64))
%149 = (*.f64 #s(literal -1 binary64) t)
%161 = (/.f64 %15 y)
%168 = (-.f64 t %127)
%178 = (+ (* x %117) t)
%180 = (/.f64 t z)
%185 = (/.f64 %12 z)
%188 = (*.f64 z (+.f64 x (*.f64 #s(literal -1 binary64) %185)))
%193 = (*.f64 z (fma.f64 #s(literal -1 binary64) x %185))
%201 = (*.f64 y z)
%202 = (/.f64 %12 %201)
%207 = (*.f64 #s(literal -1 binary64) %161)
%209 = (fma.f64 #s(literal -1 binary64) %122 %202)
%215 = (/.f64 t %201)
%262 = (*.f64 t (-.f64 #s(literal 1 binary64) %122))
%265 = (/.f64 z t)
%269 = (/.f64 %15 t)
%270 = (fma.f64 #s(literal -1 binary64) x %269)
%271 = (*.f64 t %270)
%273 = (*.f64 #s(literal -1 binary64) %269)
%275 = (*.f64 t (+.f64 x %273))
%277 = (*.f64 t %34)
%284 = (/.f64 %15 %26)
%285 = (fma.f64 #s(literal -1 binary64) %122 %284)
%289 = (fma.f64 #s(literal -1 binary64) %284 %122)
%297 = (/.f64 z %26)
%314 = (*.f64 t (+.f64 x (*.f64 #s(literal -1 binary64) y)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx (* t x) %12)
(approx (* x z) %15)
(approx %18 %20)
(approx %25 %26)
(approx %25 %28)
(approx %30 y)
(approx %30 %34)
(approx %36 %37)
(approx %39 t)
(approx %39 (+.f64 t %44))
(approx %47 %48)
(approx %25 (*.f64 x (-.f64 (+.f64 z %50) t)))
(approx %30 %33)
(approx %30 (*.f64 x (-.f64 %56 #s(literal 1 binary64))))
(approx %36 (*.f64 #s(literal -1 binary64) %12))
(approx %36 (*.f64 x (fma.f64 #s(literal -1 binary64) t %50)))
(approx %39 %66)
(approx %39 (*.f64 x (-.f64 (+.f64 %68 %41) %42)))
(approx %73 %44)
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %8 %75))))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %56)))))
(approx %36 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 t %75))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %68 (*.f64 #s(literal -1 binary64) %89)))))
(approx %73 %95)
(approx %73 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %68) (*.f64 #s(literal -1 binary64) (/.f64 %19 y))))))
(approx %105 %106)
(approx (* z %105) %41)
(approx %30 %110)
(approx %39 (/.f64 %28 y))
(approx %73 (/.f64 (-.f64 %26 %20) y))
(approx %117 %89)
(approx %25 (*.f64 y %119))
(approx %30 (*.f64 y %124))
(approx %36 (*.f64 y %129))
(approx %39 %119)
(approx %73 (+.f64 t %95))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) t (*.f64 #s(literal -1 binary64) %66)))))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 y %140)))
(approx %36 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) t %127))))
(approx z z)
(approx %6 %149)
(approx %6 %8)
(approx %7 (fma.f64 #s(literal -1 binary64) %12 %15))
(approx %18 (fma.f64 #s(literal -1 binary64) %15 %12))
(approx %25 (fma.f64 #s(literal -1 binary64) %12 (fma.f64 t y %15)))
(approx %39 (/.f64 %37 y))
(approx %39 (+.f64 t (fma.f64 #s(literal -1 binary64) %127 %161)))
(approx %47 %127)
(approx %47 (fma.f64 #s(literal -1 binary64) %161 %127))
(approx %73 %168)
(approx %73 (-.f64 (+.f64 t %161) %127))
(approx %117 (*.f64 #s(literal -1 binary64) %42))
(approx %117 (fma.f64 #s(literal -1 binary64) %42 %41))
(approx %178 %129)
(approx %6 (*.f64 z (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %180))))
(approx %7 %188)
(approx %18 (*.f64 #s(literal -1 binary64) %15))
(approx %18 %193)
(approx %25 (*.f64 z (+.f64 x (fma.f64 #s(literal -1 binary64) %185 (/.f64 %26 z)))))
(approx %39 %161)
(approx %39 (*.f64 z (fma.f64 #s(literal -1 binary64) %202 (+.f64 %180 %122))))
(approx %47 %207)
(approx %47 (*.f64 z %209))
(approx %73 (*.f64 z (-.f64 %180 %209)))
(approx %117 (*.f64 z (fma.f64 #s(literal -1 binary64) %215 %106)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %180 #s(literal 1 binary64)))))
(approx %7 (*.f64 #s(literal -1 binary64) %193))
(approx %18 (*.f64 #s(literal -1 binary64) %188))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %37 z))))))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %122 (*.f64 #s(literal -1 binary64) (/.f64 %129 z))))))
(approx %47 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %202 %122))))
(approx %73 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %168 z)) %122))))
(approx %117 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %215 %106))))
(approx %6 (+.f64 z %149))
(approx %25 (fma.f64 t %34 %15))
(approx %36 (*.f64 t %110))
(approx %39 (fma.f64 t %124 %161))
(approx %73 (-.f64 %262 %207))
(approx %6 (*.f64 t (-.f64 %265 #s(literal 1 binary64))))
(approx %7 %271)
(approx %18 %275)
(approx %25 %277)
(approx %25 (*.f64 t (+.f64 y %270)))
(approx %39 (/.f64 %277 y))
(approx %39 (*.f64 t (+.f64 #s(literal 1 binary64) %285)))
(approx %47 (*.f64 t %289))
(approx %73 %262)
(approx %73 (*.f64 t (-.f64 (+.f64 #s(literal 1 binary64) %284) %122)))
(approx %117 (*.f64 t (-.f64 %297 %106)))
(approx %178 (*.f64 t %124))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %265)))))
(approx %7 (*.f64 #s(literal -1 binary64) %275))
(approx %18 (*.f64 #s(literal -1 binary64) %271))
(approx %25 (*.f64 #s(literal -1 binary64) %314))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 x (fma.f64 #s(literal -1 binary64) y %273)))))
(approx %39 (*.f64 #s(literal -1 binary64) (/.f64 %314 y)))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 #s(literal -1 binary64) %289))))
(approx %47 (*.f64 #s(literal -1 binary64) (*.f64 t %285)))
(approx %73 (*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 (*.f64 #s(literal -1 binary64) %284) %124))))
(approx %117 (*.f64 #s(literal -1 binary64) (*.f64 t (fma.f64 #s(literal -1 binary64) %297 %106))))
(approx %178 (*.f64 #s(literal -1 binary64) (*.f64 t %140)))
(approx %178 (*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 %289 #s(literal 1 binary64)))))
Calls
12 calls:
TimeVariablePoint
5.0ms
y
0
4.0ms
x
inf
4.0ms
t
inf
3.0ms
t
-inf
3.0ms
z
inf
rewrite98.0ms (3.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
031185
046179
1153179
2413179
31696179
04187179
04714173
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
24 → 912
Calls
Call 1
Inputs
%4 = (-.f64 z t)
%5 = (*.f64 x %4)
%6 = (*.f64 t x)
%7 = (*.f64 x z)
%9 = (/.f64 #s(literal 1 binary64) y)
%12 = (approx (* (- t z) x) %6)
%13 = (- z t)
%16 = (+ (* %13 x) (* t y))
%17 = (approx %16 %5)
%18 = (approx %16 %7)
%19 = (*.f64 z %9)
%20 = (-.f64 y x)
%21 = (*.f64 %20 t)
%22 = (approx %16 %21)
%24 = (/.f64 %12 y)
%29 = (approx (/ %13 y) %19)
x
y
z
t
%4
%5
%6
%7
#s(literal 1 binary64)
%9
%12
%17
%18
%19
%20
%21
%22
(/.f64 %22 y)
%24
(-.f64 t %24)
(/.f64 %18 y)
(/.f64 %17 y)
%29
(fma.f64 x %29 t)
Outputs
%4 = (-.f64 z t)
%6 = (/.f64 %4 #s(literal 1/2 binary64))
%9 = (*.f64 %4 #s(literal 2 binary64))
%11 = (*.f64 %4 #s(literal 1/2 binary64))
%17 = (neg.f64 t)
%18 = (+.f64 z z)
%31 = (-.f64 t z)
%36 = (*.f64 %4 #s(literal 0 binary64))
%38 = (*.f64 #s(literal 0 binary64) %4)
%44 = (*.f64 #s(literal 1/2 binary64) %4)
%51 = (*.f64 (neg.f64 (*.f64 #s(literal -1 binary64) %18)) #s(literal 1/2 binary64))
%55 = (*.f64 (neg.f64 (*.f64 z #s(literal -2 binary64))) #s(literal 1/2 binary64))
%57 = (neg.f64 %18)
%59 = (*.f64 (neg.f64 %57) #s(literal 1/2 binary64))
%62 = (*.f64 %57 #s(literal -1/2 binary64))
%65 = (*.f64 #s(literal -2 binary64) (*.f64 #s(literal -1/2 binary64) z))
%67 = (neg.f64 z)
%68 = (*.f64 #s(literal -1 binary64) %67)
%70 = (*.f64 %67 #s(literal -1 binary64))
%97 = (neg.f64 x)
%99 = (*.f64 %4 x)
%108 = (*.f64 x %18)
%109 = (*.f64 %97 %17)
%110 = (neg.f64 %109)
%112 = (*.f64 %97 t)
%113 = (neg.f64 %112)
%114 = (neg.f64 %113)
%117 = (*.f64 x #s(literal 1 binary64))
%121 = (*.f64 #s(literal 1/2 binary64) x)
%125 = (*.f64 %67 x)
%126 = (neg.f64 %125)
%128 = (*.f64 z x)
%151 = (*.f64 t x)
%181 = (/.f64 #s(literal 1 binary64) y)
%182 = (/.f64 %181 #s(literal 1/2 binary64))
%184 = (*.f64 %181 #s(literal 2 binary64))
%186 = (/.f64 #s(literal 2 binary64) y)
%188 = (/.f64 #s(literal -2 binary64) y)
%192 = (/.f64 #s(literal 4 binary64) y)
%194 = (/.f64 %181 #s(literal 4 binary64))
%196 = (/.f64 #s(literal 1/2 binary64) y)
%198 = (neg.f64 y)
%199 = (*.f64 %198 #s(literal 2 binary64))
%200 = (/.f64 #s(literal 1 binary64) %199)
%202 = (*.f64 #s(literal 2 binary64) %198)
%203 = (/.f64 #s(literal 1 binary64) %202)
%205 = (/.f64 #s(literal -1/2 binary64) y)
%208 = (/.f64 #s(literal -1 binary64) y)
%211 = (*.f64 y #s(literal 2 binary64))
%212 = (/.f64 #s(literal 1 binary64) %211)
%214 = (*.f64 #s(literal 2 binary64) y)
%215 = (/.f64 #s(literal 1 binary64) %214)
%229 = (*.f64 y y)
%233 = (*.f64 %198 y)
%237 = (*.f64 y %198)
%239 = (*.f64 #s(literal 1/2 binary64) y)
%244 = (*.f64 %199 y)
%248 = (*.f64 %202 y)
%252 = (*.f64 %211 y)
%256 = (*.f64 %214 y)
%306 = (neg.f64 %214)
%312 = (neg.f64 %202)
%337 = (/.f64 #s(literal 0 binary64) %211)
%339 = (/.f64 #s(literal 0 binary64) %214)
%341 = (*.f64 %181 #s(literal 0 binary64))
%343 = (/.f64 #s(literal 0 binary64) y)
%436 = (/.f64 #s(literal -1 binary64) %199)
%438 = (/.f64 #s(literal -1 binary64) %202)
%441 = (/.f64 #s(literal 3/2 binary64) %211)
%442 = (/.f64 #s(literal 1/2 binary64) %211)
%446 = (/.f64 #s(literal 3/2 binary64) %214)
%447 = (/.f64 #s(literal 1/2 binary64) %214)
%458 = (* (- t z) x)
%459 = (approx %458 %151)
%460 = (/.f64 %459 #s(literal 1/2 binary64))
%462 = (*.f64 %459 #s(literal 2 binary64))
%464 = (*.f64 %459 #s(literal 1/2 binary64))
%469 = (neg.f64 %462)
%477 = (neg.f64 %459)
%479 = (*.f64 %459 #s(literal 0 binary64))
%481 = (*.f64 #s(literal 0 binary64) %459)
%487 = (*.f64 #s(literal 1/2 binary64) %459)
%507 = (- (* t y) %458)
%508 = (approx %507 %99)
%509 = (/.f64 %508 #s(literal 1/2 binary64))
%511 = (*.f64 %508 #s(literal 2 binary64))
%513 = (*.f64 %508 #s(literal 1/2 binary64))
%526 = (neg.f64 %508)
%528 = (*.f64 %508 #s(literal 0 binary64))
%530 = (*.f64 #s(literal 0 binary64) %508)
%536 = (*.f64 #s(literal 1/2 binary64) %508)
%555 = (approx %507 %128)
%556 = (/.f64 %555 #s(literal 1/2 binary64))
%558 = (*.f64 %555 #s(literal 2 binary64))
%560 = (*.f64 %555 #s(literal 1/2 binary64))
%573 = (neg.f64 %555)
%575 = (*.f64 %555 #s(literal 0 binary64))
%577 = (*.f64 #s(literal 0 binary64) %555)
%583 = (*.f64 #s(literal 1/2 binary64) %555)
%602 = (fabs.f64 y)
%603 = (/.f64 %18 %602)
%604 = (/.f64 %239 %602)
%606 = (/.f64 %18 %198)
%607 = (/.f64 %239 %198)
%609 = (/.f64 %18 y)
%610 = (/.f64 %239 y)
%612 = (/.f64 #s(literal 1 binary64) %602)
%613 = (*.f64 z y)
%614 = (/.f64 %613 %602)
%616 = (/.f64 z %602)
%617 = (/.f64 y %602)
%620 = (/.f64 y %198)
%621 = (/.f64 %67 y)
%623 = (*.f64 %181 %18)
%625 = (/.f64 z y)
%626 = (*.f64 #s(literal 2 binary64) %625)
%628 = (*.f64 z #s(literal 1/2 binary64))
%630 = (/.f64 %625 #s(literal 4 binary64))
%632 = (*.f64 #s(literal 2 binary64) %67)
%636 = (/.f64 %613 %198)
%639 = (/.f64 #s(literal 1 binary64) %229)
%643 = (/.f64 %625 #s(literal 2 binary64))
%645 = (*.f64 %196 z)
%647 = (*.f64 #s(literal 1/2 binary64) %625)
%650 = (*.f64 %208 z)
%663 = (neg.f64 %229)
%692 = (/.f64 (*.f64 z #s(literal 0 binary64)) y)
%695 = (/.f64 (*.f64 #s(literal 0 binary64) z) y)
%753 = (/.f64 z %214)
%755 = (/.f64 %628 y)
%758 = (/.f64 (*.f64 #s(literal 1/2 binary64) z) y)
%762 = (-.f64 y x)
%767 = (-.f64 x y)
%775 = (*.f64 %762 t)
%781 = (*.f64 %17 y)
%786 = (*.f64 t y)
%788 = (*.f64 %17 %97)
%789 = (neg.f64 %788)
%817 = (approx %507 %775)
%818 = (/.f64 %817 #s(literal 1/2 binary64))
%820 = (*.f64 %817 #s(literal 2 binary64))
%822 = (*.f64 %817 #s(literal 1/2 binary64))
%835 = (neg.f64 %817)
%837 = (*.f64 %817 #s(literal 0 binary64))
%839 = (*.f64 #s(literal 0 binary64) %817)
%845 = (*.f64 #s(literal 1/2 binary64) %817)
%864 = (*.f64 %835 #s(literal 1 binary64))
%868 = (*.f64 %196 %817)
%871 = (*.f64 %208 %817)
%873 = (/.f64 %817 y)
%895 = (/.f64 %837 y)
%897 = (/.f64 %839 y)
%917 = (/.f64 %822 y)
%919 = (/.f64 %845 y)
%924 = (*.f64 %477 #s(literal 1 binary64))
%927 = (*.f64 %196 %459)
%930 = (/.f64 %477 y)
%932 = (/.f64 %459 y)
%952 = (/.f64 %479 y)
%954 = (/.f64 %481 y)
%974 = (/.f64 %464 y)
%976 = (/.f64 %487 y)
%980 = (-.f64 %786 %459)
%983 = (*.f64 %980 #s(literal -1 binary64))
%985 = (*.f64 %980 #s(literal 1 binary64))
%987 = (*.f64 t #s(literal 1 binary64))
%988 = (fma.f64 %987 %198 %459)
%990 = (*.f64 %987 y)
%991 = (-.f64 %990 %459)
%993 = (*.f64 %786 %198)
%994 = (*.f64 y %477)
%995 = (-.f64 %993 %994)
%998 = (*.f64 %786 y)
%999 = (*.f64 y %459)
%1000 = (-.f64 %998 %999)
%1002 = (-.f64 %459 %786)
%1005 = (-.f64 t %932)
%1010 = (*.f64 %987 %198)
%1013 = (*.f64 %477 #s(literal -1 binary64))
%1043 = (*.f64 %198 %924)
%1046 = (*.f64 %198 %477)
%1049 = (*.f64 %198 %459)
%1055 = (*.f64 y %924)
%1062 = (*.f64 %781 %198)
%1114 = (*.f64 %477 #s(literal 2 binary64))
%1123 = (*.f64 %469 %196)
%1125 = (*.f64 #s(literal -2 binary64) %927)
%1127 = (*.f64 #s(literal -1 binary64) %932)
%1152 = (/.f64 t y)
%1182 = (*.f64 %573 #s(literal 1 binary64))
%1185 = (*.f64 %196 %555)
%1188 = (*.f64 %208 %555)
%1190 = (/.f64 %555 y)
%1212 = (/.f64 %575 y)
%1214 = (/.f64 %577 y)
%1234 = (/.f64 %560 y)
%1236 = (/.f64 %583 y)
%1240 = (*.f64 %526 #s(literal 1 binary64))
%1244 = (*.f64 %196 %508)
%1247 = (*.f64 %208 %508)
%1249 = (/.f64 %508 y)
%1271 = (/.f64 %528 y)
%1273 = (/.f64 %530 y)
%1293 = (/.f64 %513 y)
%1295 = (/.f64 %536 y)
%1301 = (approx (/ (- z t) y) %625)
%1306 = (fma.f64 %1301 x t)
%1313 = (*.f64 %1301 x)
%1317 = (neg.f64 %1301)
%1319 = (*.f64 (neg.f64 %1317) x)
%1322 = (*.f64 %97 %1301)
%1323 = (neg.f64 %1322)
x
y
z
t
(*.f64 %6 #s(literal 1/2 binary64))
(*.f64 %9 #s(literal 1/2 binary64))
(*.f64 %11 #s(literal 2 binary64))
(*.f64 %4 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 (fma.f64 %17 #s(literal 2 binary64) %18) #s(literal 2 binary64))
(/.f64 (neg.f64 %9) #s(literal -2 binary64))
(/.f64 %9 #s(literal 2 binary64))
(/.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 (*.f64 %31 #s(literal 1 binary64)))
(neg.f64 %31)
(fma.f64 %6 #s(literal 1/2 binary64) %36)
(fma.f64 %6 #s(literal 1/2 binary64) %38)
(fma.f64 %9 #s(literal 1/2 binary64) %36)
(fma.f64 %9 #s(literal 1/2 binary64) %38)
(fma.f64 %11 #s(literal 2 binary64) %36)
(fma.f64 %11 #s(literal 2 binary64) %38)
(fma.f64 #s(literal 1/2 binary64) %4 %44)
(fma.f64 %4 #s(literal 1/2 binary64) %11)
(fma.f64 %4 #s(literal 1 binary64) %36)
(fma.f64 %4 #s(literal 1 binary64) %38)
(fma.f64 #s(literal 1 binary64) %17 %51)
(fma.f64 #s(literal 1 binary64) %17 %55)
(fma.f64 #s(literal 1 binary64) %17 %59)
(fma.f64 #s(literal 1 binary64) %17 %62)
(fma.f64 #s(literal 1 binary64) %17 %65)
(fma.f64 #s(literal 1 binary64) %17 %68)
(fma.f64 #s(literal 1 binary64) %17 %70)
(fma.f64 #s(literal 1 binary64) %17 z)
(fma.f64 #s(literal 1 binary64) %4 %36)
(fma.f64 #s(literal 1 binary64) %4 %38)
(-.f64 %11 (neg.f64 %11))
(-.f64 %44 (neg.f64 %44))
(-.f64 %17 %67)
(-.f64 %4 (neg.f64 %36))
(-.f64 %4 (neg.f64 %38))
%4
(+.f64 %11 %11)
(+.f64 %44 %44)
(+.f64 %17 %51)
(+.f64 %17 %55)
(+.f64 %17 %59)
(+.f64 %17 %62)
(+.f64 %17 %65)
(+.f64 %17 %68)
(+.f64 %17 %70)
(+.f64 %17 z)
(+.f64 %4 %36)
(+.f64 %4 %38)
(+.f64 z %17)
(*.f64 %97 %31)
%99
(*.f64 %31 %97)
(*.f64 #s(literal 1 binary64) %99)
(*.f64 x %4)
(pow.f64 %99 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %99 #s(literal -1 binary64)))
(neg.f64 (*.f64 %31 x))
(fma.f64 %108 #s(literal 1/2 binary64) %110)
(fma.f64 %108 #s(literal 1/2 binary64) %114)
(fma.f64 %108 #s(literal 1/2 binary64) %112)
(fma.f64 %117 z %110)
(fma.f64 %117 z %114)
(fma.f64 %117 z %112)
(fma.f64 %18 %121 %110)
(fma.f64 %18 %121 %114)
(fma.f64 %18 %121 %112)
(fma.f64 %97 t %126)
(fma.f64 %97 t %128)
(fma.f64 %17 x %126)
(fma.f64 %17 x %128)
(fma.f64 #s(literal 1 binary64) %112 %126)
(fma.f64 #s(literal 1 binary64) %112 %128)
(fma.f64 #s(literal 1 binary64) %128 %110)
(fma.f64 #s(literal 1 binary64) %128 %114)
(fma.f64 #s(literal 1 binary64) %128 %112)
(fma.f64 %128 #s(literal 1 binary64) %110)
(fma.f64 %128 #s(literal 1 binary64) %114)
(fma.f64 %128 #s(literal 1 binary64) %112)
(fma.f64 t %97 %126)
(fma.f64 t %97 %128)
(fma.f64 z x %110)
(fma.f64 z x %114)
(fma.f64 z x %112)
(fma.f64 x %17 %126)
(fma.f64 x %17 %128)
(fma.f64 x z %110)
(fma.f64 x z %114)
(fma.f64 x z %112)
(-.f64 (*.f64 %97 %67) %151)
(-.f64 %126 %151)
(-.f64 %112 (neg.f64 %126))
(-.f64 %112 %125)
(-.f64 %128 %109)
(-.f64 %128 %113)
(-.f64 %128 %151)
(+.f64 %112 %126)
(+.f64 %112 %128)
(+.f64 %128 %110)
(+.f64 %128 %114)
(+.f64 %128 %112)
(*.f64 #s(literal 1 binary64) %151)
%151
(*.f64 x t)
(pow.f64 %151 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %151 #s(literal -1 binary64)))
(*.f64 %108 #s(literal 1/2 binary64))
(*.f64 %117 z)
(*.f64 %18 %121)
(*.f64 #s(literal 1 binary64) %128)
(*.f64 %128 #s(literal 1 binary64))
%128
(*.f64 x z)
(pow.f64 %128 #s(literal 1 binary64))
(/.f64 %108 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %128 #s(literal -1 binary64)))
(/.f64 %128 #s(literal 1 binary64))
#s(literal 1 binary64)
(*.f64 %182 #s(literal 1/2 binary64))
(*.f64 %184 #s(literal 1/2 binary64))
(*.f64 %186 #s(literal 1/2 binary64))
(*.f64 %188 #s(literal -1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %192)
(*.f64 #s(literal 4 binary64) %194)
(*.f64 %196 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %200)
(*.f64 #s(literal -2 binary64) %203)
(*.f64 #s(literal -2 binary64) %205)
(*.f64 #s(literal -1/2 binary64) %188)
(*.f64 %208 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %186)
(*.f64 #s(literal 2 binary64) %212)
(*.f64 #s(literal 2 binary64) %215)
(*.f64 #s(literal 2 binary64) %196)
(*.f64 #s(literal -1 binary64) %208)
(*.f64 %181 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %181)
(pow.f64 %181 #s(literal 1 binary64))
(pow.f64 y #s(literal -1 binary64))
(/.f64 (fma.f64 %196 %198 #s(literal -1/2 binary64)) %198)
(/.f64 (fma.f64 %196 y #s(literal 1/2 binary64)) y)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %198 (*.f64 #s(literal -1/2 binary64) %198)) %229)
(/.f64 (fma.f64 #s(literal -1/2 binary64) y (*.f64 #s(literal 1/2 binary64) %198)) %233)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %198 (*.f64 #s(literal -1/2 binary64) y)) %237)
(/.f64 (fma.f64 #s(literal 1/2 binary64) y %239) %229)
(/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 #s(literal 0 binary64) %199)) %244)
(/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 #s(literal 0 binary64) %202)) %248)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 0 binary64) %211)) %252)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 0 binary64) %214)) %256)
(/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal 0 binary64) %198)) %233)
(/.f64 (+.f64 y (*.f64 #s(literal 0 binary64) y)) %229)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %198 (*.f64 %198 #s(literal -1/2 binary64))) %229)
(/.f64 (fma.f64 #s(literal -1/2 binary64) y (*.f64 %198 #s(literal 1/2 binary64))) %233)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %198 (*.f64 y #s(literal -1/2 binary64))) %237)
(/.f64 (fma.f64 #s(literal 1/2 binary64) y (*.f64 y #s(literal 1/2 binary64))) %229)
(/.f64 (fma.f64 %184 y #s(literal 0 binary64)) %214)
(/.f64 (fma.f64 %186 y #s(literal 0 binary64)) %214)
(/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 %199 #s(literal 0 binary64))) %244)
(/.f64 (fma.f64 #s(literal -2 binary64) y (*.f64 %202 #s(literal 0 binary64))) %248)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 %211 #s(literal 0 binary64))) %252)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 %214 #s(literal 0 binary64))) %256)
(/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 %198 #s(literal 0 binary64))) %233)
(/.f64 (+.f64 y (*.f64 y #s(literal 0 binary64))) %229)
(/.f64 (neg.f64 %184) #s(literal -2 binary64))
(/.f64 (neg.f64 %186) #s(literal -2 binary64))
(/.f64 %184 #s(literal 2 binary64))
(/.f64 %186 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (neg.f64 %211))
(/.f64 #s(literal -2 binary64) %306)
(/.f64 #s(literal -2 binary64) %199)
(/.f64 #s(literal -2 binary64) %202)
(/.f64 #s(literal 2 binary64) (neg.f64 %199))
(/.f64 #s(literal 2 binary64) %312)
(/.f64 #s(literal 2 binary64) %211)
(/.f64 #s(literal 2 binary64) %214)
(/.f64 #s(literal -1 binary64) %198)
(/.f64 %181 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %184))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %186))
(/.f64 #s(literal 1 binary64) (/.f64 %199 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %202 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %211 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %214 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %181 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %198 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y #s(literal 1 binary64)))
%181
(neg.f64 %208)
(fma.f64 %182 #s(literal 1/2 binary64) %337)
(fma.f64 %182 #s(literal 1/2 binary64) %339)
(fma.f64 %182 #s(literal 1/2 binary64) %341)
(fma.f64 %182 #s(literal 1/2 binary64) %343)
(fma.f64 %184 #s(literal 1/2 binary64) %337)
(fma.f64 %184 #s(literal 1/2 binary64) %339)
(fma.f64 %184 #s(literal 1/2 binary64) %341)
(fma.f64 %184 #s(literal 1/2 binary64) %343)
(fma.f64 %186 #s(literal 1/2 binary64) %337)
(fma.f64 %186 #s(literal 1/2 binary64) %339)
(fma.f64 %186 #s(literal 1/2 binary64) %341)
(fma.f64 %186 #s(literal 1/2 binary64) %343)
(fma.f64 %188 #s(literal -1/2 binary64) %337)
(fma.f64 %188 #s(literal -1/2 binary64) %339)
(fma.f64 %188 #s(literal -1/2 binary64) %341)
(fma.f64 %188 #s(literal -1/2 binary64) %343)
(fma.f64 #s(literal 1/4 binary64) %192 %337)
(fma.f64 #s(literal 1/4 binary64) %192 %339)
(fma.f64 #s(literal 1/4 binary64) %192 %341)
(fma.f64 #s(literal 1/4 binary64) %192 %343)
(fma.f64 #s(literal 4 binary64) %194 %337)
(fma.f64 #s(literal 4 binary64) %194 %339)
(fma.f64 #s(literal 4 binary64) %194 %341)
(fma.f64 #s(literal 4 binary64) %194 %343)
(fma.f64 %196 #s(literal 2 binary64) %337)
(fma.f64 %196 #s(literal 2 binary64) %339)
(fma.f64 %196 #s(literal 2 binary64) %341)
(fma.f64 %196 #s(literal 2 binary64) %343)
(fma.f64 %196 #s(literal 1 binary64) %196)
(fma.f64 #s(literal -2 binary64) %200 %337)
(fma.f64 #s(literal -2 binary64) %200 %339)
(fma.f64 #s(literal -2 binary64) %200 %341)
(fma.f64 #s(literal -2 binary64) %200 %343)
(fma.f64 #s(literal -2 binary64) %203 %337)
(fma.f64 #s(literal -2 binary64) %203 %339)
(fma.f64 #s(literal -2 binary64) %203 %341)
(fma.f64 #s(literal -2 binary64) %203 %343)
(fma.f64 #s(literal -2 binary64) %205 %337)
(fma.f64 #s(literal -2 binary64) %205 %339)
(fma.f64 #s(literal -2 binary64) %205 %341)
(fma.f64 #s(literal -2 binary64) %205 %343)
(fma.f64 #s(literal -1/2 binary64) %188 %337)
(fma.f64 #s(literal -1/2 binary64) %188 %339)
(fma.f64 #s(literal -1/2 binary64) %188 %341)
(fma.f64 #s(literal -1/2 binary64) %188 %343)
(fma.f64 #s(literal -1/2 binary64) %208 %196)
(fma.f64 %208 #s(literal -1 binary64) %337)
(fma.f64 %208 #s(literal -1 binary64) %339)
(fma.f64 %208 #s(literal -1 binary64) %341)
(fma.f64 %208 #s(literal -1 binary64) %343)
(fma.f64 #s(literal 1/2 binary64) %186 %337)
(fma.f64 #s(literal 1/2 binary64) %186 %339)
(fma.f64 #s(literal 1/2 binary64) %186 %341)
(fma.f64 #s(literal 1/2 binary64) %186 %343)
(fma.f64 #s(literal 1/2 binary64) %181 %196)
(fma.f64 #s(literal 2 binary64) %212 %337)
(fma.f64 #s(literal 2 binary64) %212 %339)
(fma.f64 #s(literal 2 binary64) %212 %341)
(fma.f64 #s(literal 2 binary64) %212 %343)
(fma.f64 #s(literal 2 binary64) %215 %337)
(fma.f64 #s(literal 2 binary64) %215 %339)
(fma.f64 #s(literal 2 binary64) %215 %341)
(fma.f64 #s(literal 2 binary64) %215 %343)
(fma.f64 #s(literal 2 binary64) %196 %337)
(fma.f64 #s(literal 2 binary64) %196 %339)
(fma.f64 #s(literal 2 binary64) %196 %341)
(fma.f64 #s(literal 2 binary64) %196 %343)
(fma.f64 #s(literal -1 binary64) %208 %337)
(fma.f64 #s(literal -1 binary64) %208 %339)
(fma.f64 #s(literal -1 binary64) %208 %341)
(fma.f64 #s(literal -1 binary64) %208 %343)
(fma.f64 #s(literal 0 binary64) %208 %181)
(fma.f64 #s(literal 0 binary64) %181 %181)
(fma.f64 %181 #s(literal 1/2 binary64) %196)
(fma.f64 %181 #s(literal 1 binary64) %337)
(fma.f64 %181 #s(literal 1 binary64) %339)
(fma.f64 %181 #s(literal 1 binary64) %341)
(fma.f64 %181 #s(literal 1 binary64) %343)
(fma.f64 #s(literal 1 binary64) %196 %196)
(fma.f64 #s(literal 1 binary64) %181 %337)
(fma.f64 #s(literal 1 binary64) %181 %339)
(fma.f64 #s(literal 1 binary64) %181 %341)
(fma.f64 #s(literal 1 binary64) %181 %343)
(-.f64 %212 (/.f64 #s(literal -1 binary64) %211))
(-.f64 %215 (/.f64 #s(literal -1 binary64) %214))
(-.f64 %196 (neg.f64 %196))
(-.f64 %196 %205)
(-.f64 %181 (neg.f64 %341))
(-.f64 %181 (neg.f64 %343))
(-.f64 %181 %343)
(+.f64 %436 %436)
(+.f64 %438 %438)
(+.f64 %441 %442)
(+.f64 %442 %441)
(+.f64 %212 %212)
(+.f64 %446 %447)
(+.f64 %447 %446)
(+.f64 %215 %215)
(+.f64 %343 %181)
(+.f64 %196 %196)
(+.f64 %181 %337)
(+.f64 %181 %339)
(+.f64 %181 %341)
(+.f64 %181 %343)
(*.f64 %460 #s(literal 1/2 binary64))
(*.f64 %462 #s(literal 1/2 binary64))
(*.f64 %464 #s(literal 2 binary64))
(*.f64 %459 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %459)
(pow.f64 %459 #s(literal 1 binary64))
%459
(/.f64 %469 #s(literal -2 binary64))
(/.f64 %462 #s(literal 2 binary64))
(/.f64 %459 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %462))
(/.f64 #s(literal 1 binary64) (pow.f64 %459 #s(literal -1 binary64)))
(neg.f64 %477)
(fma.f64 %460 #s(literal 1/2 binary64) %479)
(fma.f64 %460 #s(literal 1/2 binary64) %481)
(fma.f64 %462 #s(literal 1/2 binary64) %479)
(fma.f64 %462 #s(literal 1/2 binary64) %481)
(fma.f64 %464 #s(literal 2 binary64) %479)
(fma.f64 %464 #s(literal 2 binary64) %481)
(fma.f64 #s(literal 1/2 binary64) %459 %487)
(fma.f64 %459 #s(literal 1/2 binary64) %464)
(fma.f64 %459 #s(literal 1 binary64) %479)
(fma.f64 %459 #s(literal 1 binary64) %481)
(fma.f64 #s(literal 1 binary64) %459 %479)
(fma.f64 #s(literal 1 binary64) %459 %481)
(-.f64 %464 (neg.f64 %464))
(-.f64 %487 (neg.f64 %487))
(-.f64 %459 (neg.f64 %479))
(-.f64 %459 (neg.f64 %481))
(+.f64 %464 %464)
(+.f64 %487 %487)
(+.f64 %459 %479)
(+.f64 %459 %481)
(*.f64 %509 #s(literal 1/2 binary64))
(*.f64 %511 #s(literal 1/2 binary64))
(*.f64 %513 #s(literal 2 binary64))
(*.f64 %508 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %508)
(pow.f64 %508 #s(literal 1 binary64))
%508
(/.f64 (neg.f64 %511) #s(literal -2 binary64))
(/.f64 %511 #s(literal 2 binary64))
(/.f64 %508 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %511))
(/.f64 #s(literal 1 binary64) (pow.f64 %508 #s(literal -1 binary64)))
(neg.f64 %526)
(fma.f64 %509 #s(literal 1/2 binary64) %528)
(fma.f64 %509 #s(literal 1/2 binary64) %530)
(fma.f64 %511 #s(literal 1/2 binary64) %528)
(fma.f64 %511 #s(literal 1/2 binary64) %530)
(fma.f64 %513 #s(literal 2 binary64) %528)
(fma.f64 %513 #s(literal 2 binary64) %530)
(fma.f64 #s(literal 1/2 binary64) %508 %536)
(fma.f64 %508 #s(literal 1/2 binary64) %513)
(fma.f64 %508 #s(literal 1 binary64) %528)
(fma.f64 %508 #s(literal 1 binary64) %530)
(fma.f64 #s(literal 1 binary64) %508 %528)
(fma.f64 #s(literal 1 binary64) %508 %530)
(-.f64 %513 (neg.f64 %513))
(-.f64 %536 (neg.f64 %536))
(-.f64 %508 (neg.f64 %528))
(-.f64 %508 (neg.f64 %530))
(+.f64 %513 %513)
(+.f64 %536 %536)
(+.f64 %508 %528)
(+.f64 %508 %530)
(*.f64 %556 #s(literal 1/2 binary64))
(*.f64 %558 #s(literal 1/2 binary64))
(*.f64 %560 #s(literal 2 binary64))
(*.f64 %555 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %555)
(pow.f64 %555 #s(literal 1 binary64))
%555
(/.f64 (neg.f64 %558) #s(literal -2 binary64))
(/.f64 %558 #s(literal 2 binary64))
(/.f64 %555 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %558))
(/.f64 #s(literal 1 binary64) (pow.f64 %555 #s(literal -1 binary64)))
(neg.f64 %573)
(fma.f64 %556 #s(literal 1/2 binary64) %575)
(fma.f64 %556 #s(literal 1/2 binary64) %577)
(fma.f64 %558 #s(literal 1/2 binary64) %575)
(fma.f64 %558 #s(literal 1/2 binary64) %577)
(fma.f64 %560 #s(literal 2 binary64) %575)
(fma.f64 %560 #s(literal 2 binary64) %577)
(fma.f64 #s(literal 1/2 binary64) %555 %583)
(fma.f64 %555 #s(literal 1/2 binary64) %560)
(fma.f64 %555 #s(literal 1 binary64) %575)
(fma.f64 %555 #s(literal 1 binary64) %577)
(fma.f64 #s(literal 1 binary64) %555 %575)
(fma.f64 #s(literal 1 binary64) %555 %577)
(-.f64 %560 (neg.f64 %560))
(-.f64 %583 (neg.f64 %583))
(-.f64 %555 (neg.f64 %575))
(-.f64 %555 (neg.f64 %577))
(+.f64 %560 %560)
(+.f64 %583 %583)
(+.f64 %555 %575)
(+.f64 %555 %577)
(*.f64 %603 %604)
(*.f64 %606 %607)
(*.f64 %609 %610)
(*.f64 %612 %614)
(*.f64 %616 %617)
(*.f64 %617 %616)
(*.f64 %620 %621)
(*.f64 %623 #s(literal 1/2 binary64))
(*.f64 %626 #s(literal 1/2 binary64))
(*.f64 %628 %186)
(*.f64 #s(literal 4 binary64) %630)
(*.f64 %632 %203)
(*.f64 %18 %215)
(*.f64 %18 %196)
(*.f64 %208 %636)
(*.f64 %621 %620)
(*.f64 %613 %639)
(*.f64 #s(literal 1/2 binary64) %609)
(*.f64 #s(literal 1/2 binary64) %626)
(*.f64 #s(literal 2 binary64) %643)
(*.f64 #s(literal 2 binary64) %645)
(*.f64 #s(literal 2 binary64) %647)
(*.f64 %67 %208)
(*.f64 #s(literal -1 binary64) %650)
(*.f64 #s(literal -1 binary64) %621)
(*.f64 %625 #s(literal 1 binary64))
(*.f64 %181 z)
(*.f64 #s(literal 1 binary64) %625)
(*.f64 z %181)
(pow.f64 %625 #s(literal 1 binary64))
(/.f64 (neg.f64 %626) #s(literal -2 binary64))
(/.f64 (neg.f64 %632) %312)
(/.f64 (neg.f64 %613) %663)
(/.f64 %623 #s(literal 2 binary64))
(/.f64 %626 #s(literal 2 binary64))
(/.f64 %57 %306)
(/.f64 %632 %202)
(/.f64 %18 %214)
(/.f64 %613 %229)
(/.f64 %67 %198)
(/.f64 %625 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %626))
(/.f64 #s(literal 1 binary64) (/.f64 %202 %632))
(/.f64 #s(literal 1 binary64) (/.f64 %214 %18))
(/.f64 #s(literal 1 binary64) (/.f64 %229 %613))
(/.f64 #s(literal 1 binary64) (/.f64 %198 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %625 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y z))
%625
(neg.f64 %650)
(neg.f64 (*.f64 #s(literal -1 binary64) %625))
(neg.f64 %621)
(fma.f64 %603 %604 %692)
(fma.f64 %603 %604 %695)
(fma.f64 %606 %607 %692)
(fma.f64 %606 %607 %695)
(fma.f64 %609 %610 %692)
(fma.f64 %609 %610 %695)
(fma.f64 %612 %614 %692)
(fma.f64 %612 %614 %695)
(fma.f64 %616 %617 %692)
(fma.f64 %616 %617 %695)
(fma.f64 %617 %616 %692)
(fma.f64 %617 %616 %695)
(fma.f64 %620 %621 %692)
(fma.f64 %620 %621 %695)
(fma.f64 %623 #s(literal 1/2 binary64) %692)
(fma.f64 %623 #s(literal 1/2 binary64) %695)
(fma.f64 %626 #s(literal 1/2 binary64) %692)
(fma.f64 %626 #s(literal 1/2 binary64) %695)
(fma.f64 %628 %186 %692)
(fma.f64 %628 %186 %695)
(fma.f64 #s(literal 4 binary64) %630 %692)
(fma.f64 #s(literal 4 binary64) %630 %695)
(fma.f64 %632 %203 %692)
(fma.f64 %632 %203 %695)
(fma.f64 %18 %215 %692)
(fma.f64 %18 %215 %695)
(fma.f64 %18 %196 %692)
(fma.f64 %18 %196 %695)
(fma.f64 %208 %636 %692)
(fma.f64 %208 %636 %695)
(fma.f64 %621 %620 %692)
(fma.f64 %621 %620 %695)
(fma.f64 %613 %639 %692)
(fma.f64 %613 %639 %695)
(fma.f64 #s(literal 1/2 binary64) %609 %692)
(fma.f64 #s(literal 1/2 binary64) %609 %695)
(fma.f64 #s(literal 1/2 binary64) %626 %692)
(fma.f64 #s(literal 1/2 binary64) %626 %695)
(fma.f64 #s(literal 2 binary64) %643 %692)
(fma.f64 #s(literal 2 binary64) %643 %695)
(fma.f64 #s(literal 2 binary64) %645 %692)
(fma.f64 #s(literal 2 binary64) %645 %695)
(fma.f64 #s(literal 2 binary64) %647 %692)
(fma.f64 #s(literal 2 binary64) %647 %695)
(fma.f64 %67 %208 %692)
(fma.f64 %67 %208 %695)
(fma.f64 #s(literal -1 binary64) %650 %692)
(fma.f64 #s(literal -1 binary64) %650 %695)
(fma.f64 #s(literal -1 binary64) %621 %692)
(fma.f64 #s(literal -1 binary64) %621 %695)
(fma.f64 %625 #s(literal 1 binary64) %692)
(fma.f64 %625 #s(literal 1 binary64) %695)
(fma.f64 %181 z %692)
(fma.f64 %181 z %695)
(fma.f64 #s(literal 1 binary64) %625 %692)
(fma.f64 #s(literal 1 binary64) %625 %695)
(fma.f64 z %181 %692)
(fma.f64 z %181 %695)
(+.f64 %753 %753)
(+.f64 %755 %755)
(+.f64 %758 %758)
(+.f64 %625 %692)
(+.f64 %625 %695)
(*.f64 #s(literal 1 binary64) %762)
(pow.f64 %762 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %762 #s(literal -1 binary64)))
(neg.f64 %767)
(fma.f64 #s(literal 1 binary64) %97 y)
(-.f64 %97 %198)
%762
(+.f64 %97 y)
(+.f64 y %97)
(*.f64 %767 %17)
(*.f64 %17 %767)
%775
(*.f64 #s(literal 1 binary64) %775)
(*.f64 t %762)
(pow.f64 %775 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %775 #s(literal -1 binary64)))
(neg.f64 (-.f64 %781 %112))
(neg.f64 (*.f64 %767 t))
(fma.f64 %97 t %786)
(fma.f64 %17 %198 %789)
(fma.f64 %17 %198 %114)
(fma.f64 %17 %198 %112)
(fma.f64 %17 x %786)
(fma.f64 %198 %17 %789)
(fma.f64 %198 %17 %114)
(fma.f64 %198 %17 %112)
(fma.f64 #s(literal 1 binary64) %112 %786)
(fma.f64 #s(literal 1 binary64) %786 %789)
(fma.f64 #s(literal 1 binary64) %786 %114)
(fma.f64 #s(literal 1 binary64) %786 %112)
(fma.f64 t %97 %786)
(fma.f64 t y %789)
(fma.f64 t y %114)
(fma.f64 t y %112)
(fma.f64 y t %789)
(fma.f64 y t %114)
(fma.f64 y t %112)
(fma.f64 x %17 %786)
(-.f64 %112 %781)
(-.f64 %786 %788)
(-.f64 %786 %113)
(-.f64 %786 %151)
(+.f64 %112 %786)
(+.f64 %786 %789)
(+.f64 %786 %114)
(+.f64 %786 %112)
(*.f64 %818 #s(literal 1/2 binary64))
(*.f64 %820 #s(literal 1/2 binary64))
(*.f64 %822 #s(literal 2 binary64))
(*.f64 %817 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %817)
(pow.f64 %817 #s(literal 1 binary64))
%817
(/.f64 (neg.f64 %820) #s(literal -2 binary64))
(/.f64 %820 #s(literal 2 binary64))
(/.f64 %817 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %820))
(/.f64 #s(literal 1 binary64) (pow.f64 %817 #s(literal -1 binary64)))
(neg.f64 %835)
(fma.f64 %818 #s(literal 1/2 binary64) %837)
(fma.f64 %818 #s(literal 1/2 binary64) %839)
(fma.f64 %820 #s(literal 1/2 binary64) %837)
(fma.f64 %820 #s(literal 1/2 binary64) %839)
(fma.f64 %822 #s(literal 2 binary64) %837)
(fma.f64 %822 #s(literal 2 binary64) %839)
(fma.f64 #s(literal 1/2 binary64) %817 %845)
(fma.f64 %817 #s(literal 1/2 binary64) %822)
(fma.f64 %817 #s(literal 1 binary64) %837)
(fma.f64 %817 #s(literal 1 binary64) %839)
(fma.f64 #s(literal 1 binary64) %817 %837)
(fma.f64 #s(literal 1 binary64) %817 %839)
(-.f64 %822 (neg.f64 %822))
(-.f64 %845 (neg.f64 %845))
(-.f64 %817 (neg.f64 %837))
(-.f64 %817 (neg.f64 %839))
(+.f64 %822 %822)
(+.f64 %845 %845)
(+.f64 %817 %837)
(+.f64 %817 %839)
(*.f64 %864 %208)
(*.f64 %820 %196)
(*.f64 %208 %835)
(*.f64 #s(literal 2 binary64) %868)
(*.f64 %835 %208)
(*.f64 #s(literal -1 binary64) %871)
(*.f64 %873 #s(literal 1 binary64))
(*.f64 %817 %181)
(*.f64 %181 %817)
(*.f64 #s(literal 1 binary64) %873)
(pow.f64 %873 #s(literal 1 binary64))
(/.f64 (neg.f64 %864) y)
(/.f64 %864 %198)
(/.f64 %835 %198)
(/.f64 %873 #s(literal 1 binary64))
%873
(/.f64 #s(literal 1 binary64) (/.f64 %198 %864))
(/.f64 #s(literal 1 binary64) (pow.f64 %873 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %198 %835))
(/.f64 #s(literal 1 binary64) (/.f64 y %817))
(neg.f64 %871)
(neg.f64 (/.f64 %835 y))
(fma.f64 %864 %208 %895)
(fma.f64 %864 %208 %897)
(fma.f64 %820 %196 %895)
(fma.f64 %820 %196 %897)
(fma.f64 %208 %835 %895)
(fma.f64 %208 %835 %897)
(fma.f64 #s(literal 2 binary64) %868 %895)
(fma.f64 #s(literal 2 binary64) %868 %897)
(fma.f64 %835 %208 %895)
(fma.f64 %835 %208 %897)
(fma.f64 #s(literal -1 binary64) %871 %895)
(fma.f64 #s(literal -1 binary64) %871 %897)
(fma.f64 %873 #s(literal 1 binary64) %895)
(fma.f64 %873 #s(literal 1 binary64) %897)
(fma.f64 %817 %181 %895)
(fma.f64 %817 %181 %897)
(fma.f64 %181 %817 %895)
(fma.f64 %181 %817 %897)
(fma.f64 #s(literal 1 binary64) %873 %895)
(fma.f64 #s(literal 1 binary64) %873 %897)
(+.f64 %917 %917)
(+.f64 %919 %919)
(+.f64 %873 %895)
(+.f64 %873 %897)
(*.f64 %462 %196)
(*.f64 %924 %208)
(*.f64 %208 %477)
(*.f64 #s(literal 2 binary64) %927)
(*.f64 %477 %208)
(*.f64 #s(literal -1 binary64) %930)
(*.f64 %932 #s(literal 1 binary64))
(*.f64 %459 %181)
(*.f64 %181 %459)
(*.f64 #s(literal 1 binary64) %932)
(pow.f64 %932 #s(literal 1 binary64))
(/.f64 (neg.f64 %924) y)
(/.f64 %924 %198)
(/.f64 %477 %198)
(/.f64 %932 #s(literal 1 binary64))
%932
(/.f64 #s(literal 1 binary64) (/.f64 %198 %924))
(/.f64 #s(literal 1 binary64) (pow.f64 %932 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %198 %477))
(/.f64 #s(literal 1 binary64) (/.f64 y %459))
(neg.f64 %930)
(fma.f64 %462 %196 %952)
(fma.f64 %462 %196 %954)
(fma.f64 %924 %208 %952)
(fma.f64 %924 %208 %954)
(fma.f64 %208 %477 %952)
(fma.f64 %208 %477 %954)
(fma.f64 #s(literal 2 binary64) %927 %952)
(fma.f64 #s(literal 2 binary64) %927 %954)
(fma.f64 %477 %208 %952)
(fma.f64 %477 %208 %954)
(fma.f64 #s(literal -1 binary64) %930 %952)
(fma.f64 #s(literal -1 binary64) %930 %954)
(fma.f64 %932 #s(literal 1 binary64) %952)
(fma.f64 %932 #s(literal 1 binary64) %954)
(fma.f64 %459 %181 %952)
(fma.f64 %459 %181 %954)
(fma.f64 %181 %459 %952)
(fma.f64 %181 %459 %954)
(fma.f64 #s(literal 1 binary64) %932 %952)
(fma.f64 #s(literal 1 binary64) %932 %954)
(+.f64 %974 %974)
(+.f64 %976 %976)
(+.f64 %932 %952)
(+.f64 %932 %954)
(*.f64 (*.f64 %980 #s(literal 2 binary64)) %196)
(*.f64 %983 %208)
(*.f64 %985 %181)
(*.f64 %988 %208)
(*.f64 %991 %181)
(*.f64 %995 (/.f64 #s(literal 1 binary64) %237))
(*.f64 %1000 %639)
(*.f64 %1002 %208)
(*.f64 %980 %181)
(*.f64 %1005 #s(literal 1 binary64))
(*.f64 %181 %980)
(*.f64 #s(literal 1 binary64) %1005)
(pow.f64 %1005 #s(literal 1 binary64))
(/.f64 (-.f64 %1010 %924) %198)
(/.f64 (fma.f64 %781 %198 (*.f64 %1013 %198)) %229)
(/.f64 (fma.f64 %781 y (*.f64 %924 %198)) %233)
(/.f64 (fma.f64 %781 y (*.f64 %477 %198)) %233)
(/.f64 (fma.f64 %781 %198 (*.f64 %459 %198)) %229)
(/.f64 (fma.f64 %786 %198 (*.f64 %1013 y)) %237)
(/.f64 (fma.f64 %786 y (*.f64 %924 y)) %229)
(/.f64 (fma.f64 %786 y (*.f64 %477 y)) %229)
(/.f64 (fma.f64 %786 %198 (*.f64 %459 y)) %237)
(/.f64 (-.f64 %781 %924) %198)
(/.f64 (fma.f64 %781 %198 (*.f64 %198 %1013)) %229)
(/.f64 (fma.f64 %781 y %1043) %233)
(/.f64 (fma.f64 %781 y %1046) %233)
(/.f64 (fma.f64 %781 %198 %1049) %229)
(/.f64 (fma.f64 %786 %198 (*.f64 y %1013)) %237)
(/.f64 (fma.f64 %786 y %1055) %229)
(/.f64 (fma.f64 %786 y %994) %229)
(/.f64 (fma.f64 %786 %198 %999) %237)
(/.f64 (-.f64 %1062 %1043) %229)
(/.f64 (-.f64 %1062 %1046) %229)
(/.f64 (-.f64 (*.f64 %781 y) %1049) %233)
(/.f64 (-.f64 %993 %1055) %237)
(/.f64 (neg.f64 %983) y)
(/.f64 (neg.f64 %985) %198)
(/.f64 (neg.f64 %988) y)
(/.f64 (neg.f64 %991) %198)
(/.f64 (neg.f64 %995) (neg.f64 %237))
(/.f64 (neg.f64 %1000) %663)
(/.f64 %983 %198)
(/.f64 %985 y)
(/.f64 %988 %198)
(/.f64 %991 y)
(/.f64 %995 %237)
(/.f64 %1000 %229)
(/.f64 %1002 %198)
(/.f64 %980 y)
(/.f64 %1005 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %198 %983))
(/.f64 #s(literal 1 binary64) (/.f64 y %985))
(/.f64 #s(literal 1 binary64) (/.f64 %198 %988))
(/.f64 #s(literal 1 binary64) (/.f64 y %991))
(/.f64 #s(literal 1 binary64) (/.f64 %237 %995))
(/.f64 #s(literal 1 binary64) (/.f64 %229 %1000))
(/.f64 #s(literal 1 binary64) (/.f64 %198 %1002))
(/.f64 #s(literal 1 binary64) (pow.f64 %1005 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %980))
(neg.f64 (-.f64 %932 t))
(fma.f64 %1114 %196 %987)
(fma.f64 %1114 %196 t)
(fma.f64 %1013 %208 %987)
(fma.f64 %1013 %208 t)
(fma.f64 %924 %181 %987)
(fma.f64 %924 %181 t)
(fma.f64 %208 %459 %987)
(fma.f64 %208 %459 t)
(fma.f64 %781 %208 %1123)
(fma.f64 %781 %208 %1125)
(fma.f64 %781 %208 %1127)
(fma.f64 %781 %208 %930)
(fma.f64 %930 #s(literal 1 binary64) %987)
(fma.f64 %930 #s(literal 1 binary64) t)
(fma.f64 %477 %181 %987)
(fma.f64 %477 %181 t)
(fma.f64 %786 %181 %1123)
(fma.f64 %786 %181 %1125)
(fma.f64 %786 %181 %1127)
(fma.f64 %786 %181 %930)
(fma.f64 %459 %208 %987)
(fma.f64 %459 %208 t)
(fma.f64 %181 %477 %987)
(fma.f64 %181 %477 t)
(fma.f64 #s(literal 1 binary64) %987 %1123)
(fma.f64 #s(literal 1 binary64) %987 %1125)
(fma.f64 #s(literal 1 binary64) %987 %1127)
(fma.f64 #s(literal 1 binary64) %987 %930)
(fma.f64 #s(literal 1 binary64) %930 %987)
(fma.f64 #s(literal 1 binary64) %930 t)
(fma.f64 t #s(literal 1 binary64) %1123)
(fma.f64 t #s(literal 1 binary64) %1125)
(fma.f64 t #s(literal 1 binary64) %1127)
(fma.f64 t #s(literal 1 binary64) %930)
(fma.f64 y %1152 %1123)
(fma.f64 y %1152 %1125)
(fma.f64 y %1152 %1127)
(fma.f64 y %1152 %930)
(-.f64 (/.f64 %1010 %198) %932)
(-.f64 (/.f64 %990 y) %932)
(-.f64 (/.f64 %993 %237) (/.f64 %994 %237))
(-.f64 (/.f64 %998 %229) (/.f64 %999 %229))
(-.f64 %987 %932)
(-.f64 %930 (/.f64 %786 %198))
(-.f64 %930 %17)
%1005
(+.f64 %987 %1123)
(+.f64 %987 %1125)
(+.f64 %987 %1127)
(+.f64 %987 %930)
(+.f64 %930 %987)
(+.f64 %930 t)
(+.f64 t %1123)
(+.f64 t %1125)
(+.f64 t %1127)
(+.f64 t %930)
(*.f64 %558 %196)
(*.f64 %1182 %208)
(*.f64 %208 %573)
(*.f64 #s(literal 2 binary64) %1185)
(*.f64 %573 %208)
(*.f64 #s(literal -1 binary64) %1188)
(*.f64 %1190 #s(literal 1 binary64))
(*.f64 %555 %181)
(*.f64 %181 %555)
(*.f64 #s(literal 1 binary64) %1190)
(pow.f64 %1190 #s(literal 1 binary64))
(/.f64 (neg.f64 %1182) y)
(/.f64 %1182 %198)
(/.f64 %573 %198)
(/.f64 %1190 #s(literal 1 binary64))
%1190
(/.f64 #s(literal 1 binary64) (/.f64 %198 %1182))
(/.f64 #s(literal 1 binary64) (pow.f64 %1190 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %198 %573))
(/.f64 #s(literal 1 binary64) (/.f64 y %555))
(neg.f64 %1188)
(neg.f64 (/.f64 %573 y))
(fma.f64 %558 %196 %1212)
(fma.f64 %558 %196 %1214)
(fma.f64 %1182 %208 %1212)
(fma.f64 %1182 %208 %1214)
(fma.f64 %208 %573 %1212)
(fma.f64 %208 %573 %1214)
(fma.f64 #s(literal 2 binary64) %1185 %1212)
(fma.f64 #s(literal 2 binary64) %1185 %1214)
(fma.f64 %573 %208 %1212)
(fma.f64 %573 %208 %1214)
(fma.f64 #s(literal -1 binary64) %1188 %1212)
(fma.f64 #s(literal -1 binary64) %1188 %1214)
(fma.f64 %1190 #s(literal 1 binary64) %1212)
(fma.f64 %1190 #s(literal 1 binary64) %1214)
(fma.f64 %555 %181 %1212)
(fma.f64 %555 %181 %1214)
(fma.f64 %181 %555 %1212)
(fma.f64 %181 %555 %1214)
(fma.f64 #s(literal 1 binary64) %1190 %1212)
(fma.f64 #s(literal 1 binary64) %1190 %1214)
(+.f64 %1234 %1234)
(+.f64 %1236 %1236)
(+.f64 %1190 %1212)
(+.f64 %1190 %1214)
(*.f64 %1240 %208)
(*.f64 %511 %196)
(*.f64 %208 %526)
(*.f64 #s(literal 2 binary64) %1244)
(*.f64 %526 %208)
(*.f64 #s(literal -1 binary64) %1247)
(*.f64 %1249 #s(literal 1 binary64))
(*.f64 %508 %181)
(*.f64 %181 %508)
(*.f64 #s(literal 1 binary64) %1249)
(pow.f64 %1249 #s(literal 1 binary64))
(/.f64 (neg.f64 %1240) y)
(/.f64 %1240 %198)
(/.f64 %526 %198)
(/.f64 %1249 #s(literal 1 binary64))
%1249
(/.f64 #s(literal 1 binary64) (/.f64 %198 %1240))
(/.f64 #s(literal 1 binary64) (pow.f64 %1249 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %198 %526))
(/.f64 #s(literal 1 binary64) (/.f64 y %508))
(neg.f64 %1247)
(neg.f64 (/.f64 %526 y))
(fma.f64 %1240 %208 %1271)
(fma.f64 %1240 %208 %1273)
(fma.f64 %511 %196 %1271)
(fma.f64 %511 %196 %1273)
(fma.f64 %208 %526 %1271)
(fma.f64 %208 %526 %1273)
(fma.f64 #s(literal 2 binary64) %1244 %1271)
(fma.f64 #s(literal 2 binary64) %1244 %1273)
(fma.f64 %526 %208 %1271)
(fma.f64 %526 %208 %1273)
(fma.f64 #s(literal -1 binary64) %1247 %1271)
(fma.f64 #s(literal -1 binary64) %1247 %1273)
(fma.f64 %1249 #s(literal 1 binary64) %1271)
(fma.f64 %1249 #s(literal 1 binary64) %1273)
(fma.f64 %508 %181 %1271)
(fma.f64 %508 %181 %1273)
(fma.f64 %181 %508 %1271)
(fma.f64 %181 %508 %1273)
(fma.f64 #s(literal 1 binary64) %1249 %1271)
(fma.f64 #s(literal 1 binary64) %1249 %1273)
(+.f64 %1293 %1293)
(+.f64 %1295 %1295)
(+.f64 %1249 %1271)
(+.f64 %1249 %1273)
(*.f64 #s(literal 1 binary64) %1301)
(pow.f64 %1301 #s(literal 1 binary64))
%1301
(/.f64 #s(literal 1 binary64) (pow.f64 %1301 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %1306)
(pow.f64 %1306 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1306 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %1306))
%1306
(fma.f64 #s(literal 1 binary64) %1313 t)
(fma.f64 x %1301 t)
(-.f64 %1313 %17)
(-.f64 t (neg.f64 %1319))
(-.f64 t (neg.f64 %1323))
(-.f64 t %1322)
(+.f64 %1313 t)
(+.f64 t (*.f64 %1317 %97))
(+.f64 t (*.f64 %97 %1317))
(+.f64 t %1319)
(+.f64 t %1323)
(+.f64 t %1313)
reconstruct87.0ms (2.8%)
Counts
1 017 → 199
Compiler
Compiled 1 017 to 1 529 computations (-50.3% saved)
eval19.0ms (0.6%)
Compiler
Compiled 197 to 536 computations (-172.1% saved)
prune4.0ms (0.1%)
Pruning
13 alts after pruning (2 fresh and 11 done)
PrunedKeptTotal
New1952197
Fresh000
Picked145
Done178
Total19713210
Accuracy
100.0%
Counts
210 → 13
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.3%
(fma.f64 (-.f64 z t) (/.f64 x y) t)
✓58.3%
(fma.f64 (approx (* (- t z) x) (*.f64 t x)) (/.f64 #s(literal -1 binary64) y) t)
✓90.3%
(fma.f64 x (/.f64 (-.f64 z t) y) t)
✓76.3%
(fma.f64 x (approx (/ (- z t) y) (/.f64 z y)) t)
✓76.3%
(fma.f64 x (approx (/ (- z t) y) (*.f64 z (/.f64 #s(literal 1 binary64) y))) t)
✓48.4%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 (-.f64 y x) t)) y)
2.5%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 (approx x #s(literal 0 binary64)) z)) y)
✓59.2%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 x (-.f64 z t))) y)
✓40.9%
(/.f64 (approx (+ (* (- z t) x) (* t y)) (*.f64 x z)) y)
✓78.6%
(+.f64 (approx (/ (* (- z t) x) y) (*.f64 z (/.f64 x y))) t)
✓93.2%
(+.f64 (approx (* (/ x y) (- z t)) (/.f64 (*.f64 x (-.f64 z t)) y)) t)
61.4%
(approx (- t (/ (* (- t z) x) y)) (*.f64 t (-.f64 #s(literal 1 binary64) (/.f64 x y))))
✓37.4%
(approx (+ (* (/ x y) (- z t)) t) t)
Compiler
Compiled 13 to 35 computations (-169.2% saved)
regimes64.0ms (2.0%)
Accuracy
Total 17.1b remaining (19.8%)
Threshold costs 0.0b (0.0%)
6.1b72.3%
2.9b0.0%
2.4b81.9%
2.2b84.5%
1.7b0.0%
Counts
1 → 1
3 → 3
5 → 1
6 → 3
10 → 3
13 → 1
17 → 1
Calls
Call 1
Inputs
(approx (+ (* (/ x y) (- z t)) t) t)
Outputs
(approx (+ (* (/ x y) (- z t)) t) t)
Call 2
Inputs
%5 = (- z t)
%11 = (+ (* %5 x) (* t y))
(approx (+ (* (/ x y) %5) t) t)
(/.f64 (approx %11 (*.f64 t y)) y)
(/.f64 (approx %11 (*.f64 x z)) y)
Outputs
%2 = (- z t)
%10 = (/.f64 (approx (+ (* %2 x) (* t y)) (*.f64 x z)) y)
%10
(approx (+ (* (/ x y) %2) t) t)
%10
Call 3
Inputs
%5 = (- z t)
%11 = (+ (* %5 x) (* t y))
(approx (+ (* (/ x y) %5) t) t)
(/.f64 (approx %11 (*.f64 t y)) y)
(/.f64 (approx %11 (*.f64 x z)) y)
(/.f64 (approx %11 (*.f64 (approx x #s(literal 0 binary64)) z)) y)
(fma.f64 x (approx (/ %5 y) (/.f64 z y)) t)
Outputs
(fma.f64 x (approx (/ (- z t) y) (/.f64 z y)) t)
Call 4
Inputs
%5 = (- z t)
%11 = (+ (* %5 x) (* t y))
(approx (+ (* (/ x y) %5) t) t)
(/.f64 (approx %11 (*.f64 t y)) y)
(/.f64 (approx %11 (*.f64 x z)) y)
(/.f64 (approx %11 (*.f64 (approx x #s(literal 0 binary64)) z)) y)
(fma.f64 x (approx (/ %5 y) (/.f64 z y)) t)
(/.f64 (approx %11 (*.f64 x (-.f64 z t))) y)
Outputs
%2 = (- z t)
%11 = (/.f64 (approx (+ (* %2 x) (* t y)) (*.f64 x (-.f64 z t))) y)
%11
(fma.f64 x (approx (/ %2 y) (/.f64 z y)) t)
%11
Call 5
Inputs
%5 = (- z t)
%6 = (* (/ x y) %5)
%9 = (* %5 x)
%11 = (+ %9 (* t y))
%15 = (*.f64 x z)
%40 = (/.f64 x y)
(approx (+ %6 t) t)
(/.f64 (approx %11 (*.f64 t y)) y)
(/.f64 (approx %11 %15) y)
(/.f64 (approx %11 (*.f64 (approx x #s(literal 0 binary64)) z)) y)
(fma.f64 x (approx (/ %5 y) (/.f64 z y)) t)
(/.f64 (approx %11 (*.f64 x (-.f64 z t))) y)
(/.f64 (approx %11 (*.f64 (-.f64 y x) t)) y)
(approx (- t (/ (* (- t z) x) y)) (*.f64 t (-.f64 #s(literal 1 binary64) %40)))
(+.f64 (approx %6 (/.f64 %15 y)) t)
(+.f64 (approx (/ %9 y) (*.f64 z %40)) t)
Outputs
%4 = (* (- z t) x)
%11 = (/.f64 (approx (+ %4 (* t y)) (*.f64 x (-.f64 z t))) y)
%11
(+.f64 (approx (/ %4 y) (*.f64 z (/.f64 x y))) t)
%11
Call 6
Inputs
%5 = (- z t)
%6 = (* (/ x y) %5)
%9 = (* %5 x)
%11 = (+ %9 (* t y))
%15 = (*.f64 x z)
%27 = (-.f64 z t)
%36 = (* (- t z) x)
%40 = (/.f64 x y)
(approx (+ %6 t) t)
(/.f64 (approx %11 (*.f64 t y)) y)
(/.f64 (approx %11 %15) y)
(/.f64 (approx %11 (*.f64 (approx x #s(literal 0 binary64)) z)) y)
(fma.f64 x (approx (/ %5 y) (/.f64 z y)) t)
(/.f64 (approx %11 (*.f64 x %27)) y)
(/.f64 (approx %11 (*.f64 (-.f64 y x) t)) y)
(approx (- t (/ %36 y)) (*.f64 t (-.f64 #s(literal 1 binary64) %40)))
(+.f64 (approx %6 (/.f64 %15 y)) t)
(+.f64 (approx (/ %9 y) (*.f64 z %40)) t)
(-.f64 t (/.f64 (approx %36 (*.f64 t x)) y))
(fma.f64 x (/.f64 %27 y) t)
(fma.f64 %27 %40 t)
Outputs
(fma.f64 (-.f64 z t) (/.f64 x y) t)
Call 7
Inputs
%5 = (- z t)
%6 = (* (/ x y) %5)
%9 = (* %5 x)
%11 = (+ %9 (* t y))
%15 = (*.f64 x z)
%23 = (/ %5 y)
%27 = (-.f64 z t)
%28 = (*.f64 x %27)
%36 = (* (- t z) x)
%40 = (/.f64 x y)
%52 = (approx %36 (*.f64 t x))
(approx (+ %6 t) t)
(/.f64 (approx %11 (*.f64 t y)) y)
(/.f64 (approx %11 %15) y)
(/.f64 (approx %11 (*.f64 (approx x #s(literal 0 binary64)) z)) y)
(fma.f64 x (approx %23 (/.f64 z y)) t)
(/.f64 (approx %11 %28) y)
(/.f64 (approx %11 (*.f64 (-.f64 y x) t)) y)
(approx (- t (/ %36 y)) (*.f64 t (-.f64 #s(literal 1 binary64) %40)))
(+.f64 (approx %6 (/.f64 %15 y)) t)
(+.f64 (approx (/ %9 y) (*.f64 z %40)) t)
(-.f64 t (/.f64 %52 y))
(fma.f64 x (/.f64 %27 y) t)
(fma.f64 %27 %40 t)
(fma.f64 x (approx %23 (*.f64 z (/.f64 #s(literal 1 binary64) y))) t)
(fma.f64 %52 (/.f64 #s(literal -1 binary64) y) t)
(+.f64 (approx %6 (/.f64 %28 y)) t)
(+.f64 (*.f64 %40 %27) t)
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Calls
6 calls:
23.0ms
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
13.0ms
x
13.0ms
z
13.0ms
t
11.0ms
y
Results
AccuracySegmentsBranch
37.4%1
t
37.4%1
z
37.4%1
y
37.4%1
x
37.4%1
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
37.4%1
(/.f64 x y)
Compiler
Compiled 28 to 67 computations (-139.3% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch1.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
418878302587.5116
828551836933.79
0.0ms
-2003688009027.602
-0.5108546383574779
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
3.5031232674697676e-6
0.2759498050045507
0.0ms
-3.1018482517842783e-6
-9.724544981814932e-11
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
7.332037063994896e-29
8.747981968275831e-8
0.0ms
-9.724544981814932e-11
-4.961967665748015e-19
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
derivations88.0ms (2.8%)
Stop Event
1×fuel
Compiler
Compiled 7 to 35 computations (-400.0% saved)
preprocess28.0ms (0.9%)
Compiler
Compiled 8 to 43 computations (-437.5% saved)
end0.0ms (0.0%)
gc1.2s (38.8%)
Allocations
AllocatedPercentPhase
857.3 MiB26.9%reconstruct
710.1 MiB22.3%sample
638.3 MiB20.0%rewrite
407.8 MiB12.8%series
137.4 MiB4.3%eval
125.6 MiB3.9%regimes
110.1 MiB3.5%preprocess
96.3 MiB3.0%analyze
58.0 MiB1.8%derivations
45.7 MiB1.4%prune
3.6 MiB0.1%bsearch
0.1 MiB0.0%start
0.0 MiB0.0%end
3 190.3 MiB100.0%total
Profiling
Loading profile data...