Linear.Matrix:fromQuaternion from linear-1.19.1.3, B

Time bar (total: 1.0s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 11 to 9 computations (18.2% saved)

sample209.0ms (20.0%)

Samples
159.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 8.0ms
Mul: 6.0ms (71.8% of total, 0.0 MiB)
Add: 2.0ms (23.9% of total, 0.0 MiB)
Bogosity

preprocess29.0ms (2.8%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02246
112842
250942
3206042
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶95.3%
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x y)))
Compiler

Compiled 2 to 14 computations (-600.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series12.0ms (1.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
061229
Stop Event
1×iter-limit
Counts
7 → 17
Calls
Call 1
Inputs
%2 = (*.f64 x x)
%4 = (*.f64 x y)
%5 = (+.f64 %2 %4)
#s(literal 2 binary64)
x
%2
y
%4
%5
(*.f64 #s(literal 2 binary64) %5)
Outputs
%5 = (* x x)
%7 = (pow.f64 x #s(literal 2 binary64))
%10 = (* x y)
%11 = (*.f64 x y)
%13 = (+ %5 %10)
%17 = (* 2 %13)
%25 = (/.f64 y x)
%29 = (*.f64 #s(literal 2 binary64) %7)
%40 = (/.f64 %7 y)
(approx 2 #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %10 %11)
(approx %13 (*.f64 x (+.f64 x y)))
(approx %17 (*.f64 #s(literal 2 binary64) %11))
(approx %17 (*.f64 x (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) y))))
(approx %13 (*.f64 %7 (+.f64 #s(literal 1 binary64) %25)))
(approx %17 %29)
(approx %17 (*.f64 %7 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %25))))
(approx y y)
(approx %13 (fma.f64 x y %7))
(approx %17 (fma.f64 #s(literal 2 binary64) %11 %29))
(approx %13 (*.f64 y (+.f64 x %40)))
(approx %17 (*.f64 y (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %40))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %40)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %40)))))
Calls
6 calls:
TimeVariablePoint
4.0ms
x
inf
2.0ms
x
0
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
y
-inf
rewrite65.0ms (6.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0725
01121
14121
217321
382221
0410021
0417521
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 667
Calls
Call 1
Inputs
%2 = (*.f64 x x)
%4 = (*.f64 x y)
%5 = (+.f64 %2 %4)
#s(literal 2 binary64)
x
%2
y
%4
%5
(*.f64 #s(literal 2 binary64) %5)
Outputs
%2 = (+.f64 x x)
%3 = (*.f64 %2 x)
%4 = (fabs.f64 %3)
%8 = (fabs.f64 x)
%9 = (*.f64 #s(literal -2 binary64) %8)
%10 = (neg.f64 %8)
%11 = (*.f64 %10 #s(literal 1/2 binary64))
%14 = (*.f64 x x)
%15 = (*.f64 #s(literal 1/2 binary64) %14)
%16 = (*.f64 #s(literal 1/2 binary64) %15)
%18 = (sqrt.f64 %8)
%19 = (*.f64 %18 %8)
%21 = (*.f64 #s(literal -2 binary64) x)
%22 = (neg.f64 x)
%23 = (*.f64 %22 #s(literal 1/2 binary64))
%25 = (*.f64 x #s(literal 1/2 binary64))
%27 = (*.f64 %8 #s(literal 2 binary64))
%28 = (*.f64 %8 #s(literal 1/2 binary64))
%31 = (*.f64 %22 x)
%35 = (*.f64 %9 #s(literal 1/2 binary64))
%39 = (*.f64 %27 #s(literal 1/2 binary64))
%42 = (*.f64 %21 #s(literal 1/2 binary64))
%48 = (*.f64 %2 #s(literal 1/2 binary64))
%50 = (*.f64 %15 #s(literal 1 binary64))
%52 = (*.f64 %14 #s(literal 1/2 binary64))
%54 = (fabs.f64 %15)
%57 = (*.f64 %14 %14)
%77 = (*.f64 %14 #s(literal 0 binary64))
%79 = (*.f64 #s(literal 0 binary64) %14)
%156 = (*.f64 y x)
%157 = (*.f64 #s(literal 1/2 binary64) %156)
%158 = (*.f64 #s(literal 1/2 binary64) %157)
%160 = (*.f64 y #s(literal 1/2 binary64))
%162 = (+.f64 y y)
%164 = (*.f64 %2 y)
%166 = (neg.f64 y)
%169 = (*.f64 %166 #s(literal 1 binary64))
%175 = (*.f64 %162 #s(literal 1/2 binary64))
%178 = (*.f64 %157 #s(literal 1 binary64))
%180 = (*.f64 %156 #s(literal 1/2 binary64))
%187 = (*.f64 %22 y)
%189 = (*.f64 %156 #s(literal 0 binary64))
%191 = (*.f64 #s(literal 0 binary64) %156)
%232 = (+.f64 y x)
%233 = (*.f64 %232 x)
%234 = (*.f64 #s(literal 1/2 binary64) %233)
%235 = (*.f64 #s(literal 1/2 binary64) %234)
%237 = (neg.f64 %232)
%238 = (*.f64 %237 #s(literal 1/2 binary64))
%240 = (*.f64 %232 #s(literal 1/2 binary64))
%242 = (*.f64 %232 #s(literal 2 binary64))
%244 = (*.f64 %2 %232)
%248 = (*.f64 %232 %22)
%252 = (*.f64 %237 #s(literal 2 binary64))
%253 = (*.f64 %252 #s(literal 1/2 binary64))
%259 = (*.f64 %242 #s(literal 1/2 binary64))
%262 = (*.f64 %234 #s(literal 1 binary64))
%264 = (*.f64 %233 #s(literal 1/2 binary64))
%274 = (*.f64 %233 #s(literal 0 binary64))
%276 = (*.f64 #s(literal 0 binary64) %233)
%371 = (*.f64 #s(literal 1 binary64) %237)
%375 = (*.f64 #s(literal 4 binary64) %233)
%377 = (*.f64 #s(literal 2 binary64) %244)
%379 = (fma.f64 %2 %232 %244)
%385 = (*.f64 %252 #s(literal 1 binary64))
%387 = (+.f64 %232 x)
%388 = (neg.f64 %387)
%389 = (+.f64 %388 %166)
%391 = (+.f64 x %232)
%392 = (neg.f64 %391)
%393 = (+.f64 %392 %166)
%395 = (+.f64 %166 %388)
%397 = (+.f64 %166 %392)
%399 = (-.f64 %388 y)
%401 = (-.f64 %392 y)
%403 = (+.f64 y %232)
%404 = (-.f64 %22 %403)
%406 = (-.f64 %21 %162)
%412 = (+.f64 %403 x)
%414 = (+.f64 %391 y)
%416 = (+.f64 y %387)
%418 = (+.f64 %232 y)
%419 = (+.f64 x %418)
%421 = (-.f64 %391 %166)
%423 = (-.f64 %403 %22)
%426 = (*.f64 %234 #s(literal 2 binary64))
%437 = (*.f64 %21 %232)
%450 = (fma.f64 y #s(literal 2 binary64) x)
%451 = (*.f64 x %450)
%452 = (neg.f64 %451)
%457 = (*.f64 %21 x)
%460 = (fma.f64 x #s(literal 2 binary64) y)
%461 = (*.f64 x %460)
%462 = (neg.f64 %461)
%466 = (*.f64 %451 #s(literal 1 binary64))
%468 = (*.f64 %403 x)
%471 = (*.f64 %244 #s(literal 0 binary64))
%473 = (*.f64 #s(literal 0 binary64) %244)
%484 = (*.f64 %461 #s(literal 1 binary64))
%486 = (*.f64 %391 x)
%496 = (*.f64 #s(literal -2 binary64) y)
%585 = (*.f64 %496 x)
%667 = (-.f64 %166 %232)
#s(literal 2 binary64)
x
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %9 %11)
(*.f64 #s(literal 4 binary64) %16)
(*.f64 %18 %19)
(*.f64 %21 %23)
(*.f64 %2 %25)
(*.f64 %27 %28)
(*.f64 #s(literal 1/2 binary64) %3)
(*.f64 %31 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %31)
(*.f64 %10 %35)
(*.f64 %10 %10)
(*.f64 %3 #s(literal 1/2 binary64))
(*.f64 %8 %39)
(*.f64 %8 %8)
(*.f64 %22 %42)
(*.f64 %22 %22)
(*.f64 #s(literal 1 binary64) %14)
(*.f64 %14 #s(literal 1 binary64))
(*.f64 x %48)
%14
(*.f64 #s(literal 2 binary64) %50)
(*.f64 #s(literal 2 binary64) %52)
(*.f64 #s(literal 2 binary64) %54)
(*.f64 #s(literal 2 binary64) %15)
(pow.f64 %57 #s(literal 1/2 binary64))
(pow.f64 %10 #s(literal 2 binary64))
(pow.f64 %8 #s(literal 2 binary64))
(pow.f64 %22 #s(literal 2 binary64))
(pow.f64 %14 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 %3 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(neg.f64 %31)
(fma.f64 %4 #s(literal 1/2 binary64) %77)
(fma.f64 %4 #s(literal 1/2 binary64) %79)
(fma.f64 %9 %11 %77)
(fma.f64 %9 %11 %79)
(fma.f64 #s(literal 4 binary64) %16 %77)
(fma.f64 #s(literal 4 binary64) %16 %79)
(fma.f64 %18 %19 %77)
(fma.f64 %18 %19 %79)
(fma.f64 %21 %23 %77)
(fma.f64 %21 %23 %79)
(fma.f64 %2 %25 %77)
(fma.f64 %2 %25 %79)
(fma.f64 %27 %28 %77)
(fma.f64 %27 %28 %79)
(fma.f64 #s(literal 1/2 binary64) %3 %77)
(fma.f64 #s(literal 1/2 binary64) %3 %79)
(fma.f64 #s(literal 1/2 binary64) %14 %15)
(fma.f64 %31 #s(literal -1 binary64) %77)
(fma.f64 %31 #s(literal -1 binary64) %79)
(fma.f64 #s(literal -1 binary64) %31 %77)
(fma.f64 #s(literal -1 binary64) %31 %79)
(fma.f64 %10 %35 %77)
(fma.f64 %10 %35 %79)
(fma.f64 %10 %10 %77)
(fma.f64 %10 %10 %79)
(fma.f64 %3 #s(literal 1/2 binary64) %77)
(fma.f64 %3 #s(literal 1/2 binary64) %79)
(fma.f64 %8 %39 %77)
(fma.f64 %8 %39 %79)
(fma.f64 %8 %8 %77)
(fma.f64 %8 %8 %79)
(fma.f64 %22 %42 %77)
(fma.f64 %22 %42 %79)
(fma.f64 %22 %22 %77)
(fma.f64 %22 %22 %79)
(fma.f64 #s(literal 1 binary64) %15 %15)
(fma.f64 #s(literal 1 binary64) %14 %77)
(fma.f64 #s(literal 1 binary64) %14 %79)
(fma.f64 %14 #s(literal 1/2 binary64) %52)
(fma.f64 %14 #s(literal 1 binary64) %77)
(fma.f64 %14 #s(literal 1 binary64) %79)
(fma.f64 x %48 %77)
(fma.f64 x %48 %79)
(fma.f64 x x %77)
(fma.f64 x x %79)
(fma.f64 #s(literal 2 binary64) %50 %77)
(fma.f64 #s(literal 2 binary64) %50 %79)
(fma.f64 #s(literal 2 binary64) %52 %77)
(fma.f64 #s(literal 2 binary64) %52 %79)
(fma.f64 #s(literal 2 binary64) %54 %77)
(fma.f64 #s(literal 2 binary64) %54 %79)
(fma.f64 #s(literal 2 binary64) %15 %77)
(fma.f64 #s(literal 2 binary64) %15 %79)
(sqrt.f64 %57)
(fabs.f64 (*.f64 %22 %10))
(fabs.f64 (*.f64 x %10))
(fabs.f64 (*.f64 %22 %8))
(fabs.f64 (*.f64 x %8))
(fabs.f64 (*.f64 %10 %22))
(fabs.f64 (*.f64 %8 %22))
(fabs.f64 (*.f64 %10 x))
(fabs.f64 (*.f64 %8 x))
(fabs.f64 %31)
(fabs.f64 %14)
(+.f64 %52 %52)
(+.f64 %15 %15)
(+.f64 %14 %77)
(+.f64 %14 %79)
y
(*.f64 #s(literal 4 binary64) %158)
(*.f64 %2 %160)
(*.f64 %162 %25)
(*.f64 #s(literal 1/2 binary64) %164)
(*.f64 %166 %22)
(*.f64 %164 #s(literal 1/2 binary64))
(*.f64 %22 %169)
(*.f64 %22 %166)
(*.f64 #s(literal 1 binary64) %156)
(*.f64 %156 #s(literal 1 binary64))
(*.f64 y %48)
%156
(*.f64 x %175)
(*.f64 x y)
(*.f64 #s(literal 2 binary64) %178)
(*.f64 #s(literal 2 binary64) %180)
(*.f64 #s(literal 2 binary64) %157)
(pow.f64 %156 #s(literal 1 binary64))
(/.f64 %164 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %156 #s(literal -1 binary64)))
(neg.f64 %187)
(fma.f64 #s(literal 4 binary64) %158 %189)
(fma.f64 #s(literal 4 binary64) %158 %191)
(fma.f64 %2 %160 %189)
(fma.f64 %2 %160 %191)
(fma.f64 %162 %25 %189)
(fma.f64 %162 %25 %191)
(fma.f64 #s(literal 1/2 binary64) %164 %189)
(fma.f64 #s(literal 1/2 binary64) %164 %191)
(fma.f64 #s(literal 1/2 binary64) %156 %157)
(fma.f64 %166 %22 %189)
(fma.f64 %166 %22 %191)
(fma.f64 %164 #s(literal 1/2 binary64) %189)
(fma.f64 %164 #s(literal 1/2 binary64) %191)
(fma.f64 %22 %169 %189)
(fma.f64 %22 %169 %191)
(fma.f64 %22 %166 %189)
(fma.f64 %22 %166 %191)
(fma.f64 #s(literal 1 binary64) %157 %157)
(fma.f64 #s(literal 1 binary64) %156 %189)
(fma.f64 #s(literal 1 binary64) %156 %191)
(fma.f64 %156 #s(literal 1/2 binary64) %180)
(fma.f64 %156 #s(literal 1 binary64) %189)
(fma.f64 %156 #s(literal 1 binary64) %191)
(fma.f64 y %48 %189)
(fma.f64 y %48 %191)
(fma.f64 y x %189)
(fma.f64 y x %191)
(fma.f64 x %175 %189)
(fma.f64 x %175 %191)
(fma.f64 x y %189)
(fma.f64 x y %191)
(fma.f64 #s(literal 2 binary64) %178 %189)
(fma.f64 #s(literal 2 binary64) %178 %191)
(fma.f64 #s(literal 2 binary64) %180 %189)
(fma.f64 #s(literal 2 binary64) %180 %191)
(fma.f64 #s(literal 2 binary64) %157 %189)
(fma.f64 #s(literal 2 binary64) %157 %191)
(+.f64 %180 %180)
(+.f64 %157 %157)
(+.f64 %156 %189)
(+.f64 %156 %191)
(*.f64 #s(literal 4 binary64) %235)
(*.f64 %21 %238)
(*.f64 %2 %240)
(*.f64 %242 %25)
(*.f64 #s(literal 1/2 binary64) %244)
(*.f64 %237 %42)
(*.f64 %237 %22)
(*.f64 %248 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %248)
(*.f64 %232 %48)
%233
(*.f64 %22 %253)
(*.f64 %22 %237)
(*.f64 #s(literal 1 binary64) %233)
(*.f64 %244 #s(literal 1/2 binary64))
(*.f64 %233 #s(literal 1 binary64))
(*.f64 x %259)
(*.f64 x %232)
(*.f64 #s(literal 2 binary64) %262)
(*.f64 #s(literal 2 binary64) %264)
(*.f64 #s(literal 2 binary64) %234)
(pow.f64 %233 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %233 #s(literal -1 binary64)))
(/.f64 %244 #s(literal 2 binary64))
(neg.f64 %248)
(fma.f64 %4 #s(literal 1/2 binary64) %156)
(fma.f64 %9 %11 %156)
(fma.f64 #s(literal 4 binary64) %235 %274)
(fma.f64 #s(literal 4 binary64) %235 %276)
(fma.f64 #s(literal 4 binary64) %158 %14)
(fma.f64 #s(literal 4 binary64) %16 %156)
(fma.f64 %18 %19 %156)
(fma.f64 %21 %238 %274)
(fma.f64 %21 %238 %276)
(fma.f64 %21 %23 %156)
(fma.f64 %2 %25 %156)
(fma.f64 %2 %240 %274)
(fma.f64 %2 %240 %276)
(fma.f64 %2 %160 %14)
(fma.f64 %242 %25 %274)
(fma.f64 %242 %25 %276)
(fma.f64 %162 %25 %14)
(fma.f64 %27 %28 %156)
(fma.f64 #s(literal 1/2 binary64) %164 %14)
(fma.f64 #s(literal 1/2 binary64) %3 %156)
(fma.f64 #s(literal 1/2 binary64) %244 %274)
(fma.f64 #s(literal 1/2 binary64) %244 %276)
(fma.f64 #s(literal 1/2 binary64) %233 %234)
(fma.f64 %237 %42 %274)
(fma.f64 %237 %42 %276)
(fma.f64 %237 %22 %274)
(fma.f64 %237 %22 %276)
(fma.f64 %31 #s(literal -1 binary64) %156)
(fma.f64 %248 #s(literal -1 binary64) %274)
(fma.f64 %248 #s(literal -1 binary64) %276)
(fma.f64 %166 %22 %14)
(fma.f64 #s(literal -1 binary64) %31 %156)
(fma.f64 #s(literal -1 binary64) %248 %274)
(fma.f64 #s(literal -1 binary64) %248 %276)
(fma.f64 %10 %35 %156)
(fma.f64 %10 %10 %156)
(fma.f64 %164 #s(literal 1/2 binary64) %14)
(fma.f64 %3 #s(literal 1/2 binary64) %156)
(fma.f64 %232 %48 %274)
(fma.f64 %232 %48 %276)
(fma.f64 %232 x %274)
(fma.f64 %232 x %276)
(fma.f64 %8 %39 %156)
(fma.f64 %8 %8 %156)
(fma.f64 %22 %253 %274)
(fma.f64 %22 %253 %276)
(fma.f64 %22 %42 %156)
(fma.f64 %22 %169 %14)
(fma.f64 %22 %237 %274)
(fma.f64 %22 %237 %276)
(fma.f64 %22 %166 %14)
(fma.f64 %22 %22 %156)
(fma.f64 #s(literal 1 binary64) %234 %234)
(fma.f64 #s(literal 1 binary64) %233 %274)
(fma.f64 #s(literal 1 binary64) %233 %276)
(fma.f64 #s(literal 1 binary64) %156 %14)
(fma.f64 #s(literal 1 binary64) %14 %156)
(fma.f64 %244 #s(literal 1/2 binary64) %274)
(fma.f64 %244 #s(literal 1/2 binary64) %276)
(fma.f64 %233 #s(literal 1/2 binary64) %264)
(fma.f64 %233 #s(literal 1 binary64) %274)
(fma.f64 %233 #s(literal 1 binary64) %276)
(fma.f64 %156 #s(literal 1 binary64) %14)
(fma.f64 y %48 %14)
(fma.f64 y x %14)
(fma.f64 %14 #s(literal 1 binary64) %156)
(fma.f64 x %48 %156)
(fma.f64 x %175 %14)
(fma.f64 x %259 %274)
(fma.f64 x %259 %276)
(fma.f64 x %232 %274)
(fma.f64 x %232 %276)
(fma.f64 x y %14)
(fma.f64 x x %156)
(fma.f64 #s(literal 2 binary64) %262 %274)
(fma.f64 #s(literal 2 binary64) %262 %276)
(fma.f64 #s(literal 2 binary64) %178 %14)
(fma.f64 #s(literal 2 binary64) %50 %156)
(fma.f64 #s(literal 2 binary64) %264 %274)
(fma.f64 #s(literal 2 binary64) %264 %276)
(fma.f64 #s(literal 2 binary64) %180 %14)
(fma.f64 #s(literal 2 binary64) %52 %156)
(fma.f64 #s(literal 2 binary64) %54 %156)
(fma.f64 #s(literal 2 binary64) %234 %274)
(fma.f64 #s(literal 2 binary64) %234 %276)
(fma.f64 #s(literal 2 binary64) %15 %156)
(fma.f64 #s(literal 2 binary64) %157 %14)
(-.f64 %156 %31)
(-.f64 %14 %187)
(+.f64 %264 %264)
(+.f64 %234 %234)
(+.f64 %233 %274)
(+.f64 %233 %276)
(+.f64 %156 %14)
(+.f64 %14 %156)
(*.f64 %234 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %234)
(*.f64 %21 %371)
(*.f64 %21 %237)
%244
(*.f64 %242 x)
(*.f64 #s(literal 1/2 binary64) %375)
(*.f64 #s(literal 1/2 binary64) %377)
(*.f64 #s(literal 1/2 binary64) %379)
(*.f64 %237 %21)
(*.f64 #s(literal -2 binary64) %248)
(*.f64 %248 #s(literal -2 binary64))
(*.f64 %232 %2)
(*.f64 %22 %385)
(*.f64 %22 %389)
(*.f64 %22 %393)
(*.f64 %22 %395)
(*.f64 %22 %397)
(*.f64 %22 %399)
(*.f64 %22 %401)
(*.f64 %22 %404)
(*.f64 %22 %406)
(*.f64 %22 %252)
(*.f64 #s(literal 1 binary64) %244)
(*.f64 %244 #s(literal 1 binary64))
(*.f64 %233 #s(literal 2 binary64))
(*.f64 x %412)
(*.f64 x %414)
(*.f64 x %416)
(*.f64 x %419)
(*.f64 x %421)
(*.f64 x %423)
(*.f64 x %242)
(*.f64 #s(literal 2 binary64) %426)
(*.f64 #s(literal 2 binary64) %233)
(pow.f64 %244 #s(literal 1 binary64))
(/.f64 (*.f64 %244 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %377 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %244 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %244))
(neg.f64 (*.f64 %437 #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) %233))
(neg.f64 (*.f64 %242 %22))
(neg.f64 (*.f64 %244 #s(literal -1 binary64)))
(neg.f64 (*.f64 %233 #s(literal -2 binary64)))
(neg.f64 (fma.f64 %22 %387 %187))
(neg.f64 (fma.f64 %22 x %452))
(neg.f64 (-.f64 %31 %451))
(neg.f64 (-.f64 %457 %164))
(neg.f64 (-.f64 %462 %156))
(neg.f64 %437)
(fma.f64 %4 #s(literal 1/2 binary64) %466)
(fma.f64 %4 #s(literal 1/2 binary64) %468)
(fma.f64 %4 #s(literal 1/2 binary64) %451)
(fma.f64 %234 #s(literal 4 binary64) %471)
(fma.f64 %234 #s(literal 4 binary64) %473)
(fma.f64 %15 #s(literal 4 binary64) %164)
(fma.f64 %157 #s(literal 4 binary64) %3)
(fma.f64 %387 x %156)
(fma.f64 %418 x %14)
(fma.f64 %9 %11 %466)
(fma.f64 %9 %11 %468)
(fma.f64 %9 %11 %451)
(fma.f64 %9 %10 %164)
(fma.f64 #s(literal 4 binary64) %235 %233)
(fma.f64 #s(literal 4 binary64) %158 %484)
(fma.f64 #s(literal 4 binary64) %158 %486)
(fma.f64 #s(literal 4 binary64) %158 %461)
(fma.f64 #s(literal 4 binary64) %16 %466)
(fma.f64 #s(literal 4 binary64) %16 %468)
(fma.f64 #s(literal 4 binary64) %16 %451)
(fma.f64 #s(literal 4 binary64) %234 %471)
(fma.f64 #s(literal 4 binary64) %234 %473)
(fma.f64 #s(literal 4 binary64) %15 %164)
(fma.f64 #s(literal 4 binary64) %157 %3)
(fma.f64 %496 %22 %3)
(fma.f64 %18 (*.f64 %18 %27) %164)
(fma.f64 %18 %19 %466)
(fma.f64 %18 %19 %468)
(fma.f64 %18 %19 %451)
(fma.f64 %451 #s(literal 1 binary64) %14)
(fma.f64 %461 #s(literal 1 binary64) %156)
(fma.f64 %21 %238 %233)
(fma.f64 %21 %23 %466)
(fma.f64 %21 %23 %468)
(fma.f64 %21 %23 %451)
(fma.f64 %21 %371 %471)
(fma.f64 %21 %371 %473)
(fma.f64 %21 %237 %471)
(fma.f64 %21 %237 %473)
(fma.f64 %21 %166 %3)
(fma.f64 %21 %22 %164)
(fma.f64 %2 %25 %466)
(fma.f64 %2 %25 %468)
(fma.f64 %2 %25 %451)
(fma.f64 %2 %240 %233)
(fma.f64 %2 %160 %484)
(fma.f64 %2 %160 %486)
(fma.f64 %2 %160 %461)
(fma.f64 %2 %232 %471)
(fma.f64 %2 %232 %473)
(fma.f64 %2 y %3)
(fma.f64 %2 x %164)
(fma.f64 %242 %25 %233)
(fma.f64 %242 x %471)
(fma.f64 %242 x %473)
(fma.f64 %162 %25 %484)
(fma.f64 %162 %25 %486)
(fma.f64 %162 %25 %461)
(fma.f64 %162 x %3)
(fma.f64 %27 %28 %466)
(fma.f64 %27 %28 %468)
(fma.f64 %27 %28 %451)
(fma.f64 %27 %8 %164)
(fma.f64 #s(literal 1/2 binary64) %375 %471)
(fma.f64 #s(literal 1/2 binary64) %375 %473)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %156) %3)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %14) %164)
(fma.f64 #s(literal 1/2 binary64) %377 %471)
(fma.f64 #s(literal 1/2 binary64) %377 %473)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %164) %3)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %3) %164)
(fma.f64 #s(literal 1/2 binary64) %379 %471)
(fma.f64 #s(literal 1/2 binary64) %379 %473)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 %2 %232 %164) %14)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 %2 y %244) %14)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 %2 x %3) %164)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 %2 %232 %3) %156)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 %2 x %244) %156)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 %2 y %164) %3)
(fma.f64 #s(literal 1/2 binary64) %164 %484)
(fma.f64 #s(literal 1/2 binary64) %164 %486)
(fma.f64 #s(literal 1/2 binary64) %164 %461)
(fma.f64 #s(literal 1/2 binary64) %3 %466)
(fma.f64 #s(literal 1/2 binary64) %3 %468)
(fma.f64 #s(literal 1/2 binary64) %3 %451)
(fma.f64 #s(literal 1/2 binary64) %244 %233)
(fma.f64 %237 %42 %233)
(fma.f64 %237 %21 %471)
(fma.f64 %237 %21 %473)
(fma.f64 %237 %22 %233)
(fma.f64 %31 #s(literal -2 binary64) %164)
(fma.f64 %31 #s(literal -1 binary64) %466)
(fma.f64 %31 #s(literal -1 binary64) %468)
(fma.f64 %31 #s(literal -1 binary64) %451)
(fma.f64 #s(literal -2 binary64) %31 %164)
(fma.f64 #s(literal -2 binary64) %248 %471)
(fma.f64 #s(literal -2 binary64) %248 %473)
(fma.f64 #s(literal -2 binary64) %187 %3)
(fma.f64 %248 #s(literal -2 binary64) %471)
(fma.f64 %248 #s(literal -2 binary64) %473)
(fma.f64 %248 #s(literal -1 binary64) %233)
(fma.f64 %585 #s(literal -1 binary64) %3)
(fma.f64 %166 %21 %3)
(fma.f64 %166 %22 %484)
(fma.f64 %166 %22 %486)
(fma.f64 %166 %22 %461)
(fma.f64 #s(literal -1 binary64) %31 %466)
(fma.f64 #s(literal -1 binary64) %31 %468)
(fma.f64 #s(literal -1 binary64) %31 %451)
(fma.f64 #s(literal -1 binary64) %248 %233)
(fma.f64 %10 %35 %466)
(fma.f64 %10 %35 %468)
(fma.f64 %10 %35 %451)
(fma.f64 %10 %9 %164)
(fma.f64 %10 %10 %466)
(fma.f64 %10 %10 %468)
(fma.f64 %10 %10 %451)
(fma.f64 %164 #s(literal 1/2 binary64) %484)
(fma.f64 %164 #s(literal 1/2 binary64) %486)
(fma.f64 %164 #s(literal 1/2 binary64) %461)
(fma.f64 %164 #s(literal 1 binary64) %3)
(fma.f64 %3 #s(literal 1/2 binary64) %466)
(fma.f64 %3 #s(literal 1/2 binary64) %468)
(fma.f64 %3 #s(literal 1/2 binary64) %451)
(fma.f64 %3 #s(literal 1 binary64) %164)
(fma.f64 %232 %48 %233)
(fma.f64 %232 %2 %471)
(fma.f64 %232 %2 %473)
(fma.f64 %232 x %233)
(fma.f64 %187 #s(literal -2 binary64) %3)
(fma.f64 %8 %39 %466)
(fma.f64 %8 %39 %468)
(fma.f64 %8 %39 %451)
(fma.f64 %8 %27 %164)
(fma.f64 %8 %8 %466)
(fma.f64 %8 %8 %468)
(fma.f64 %8 %8 %451)
(fma.f64 %22 %385 %471)
(fma.f64 %22 %385 %473)
(fma.f64 %22 %253 %233)
(fma.f64 %22 %42 %466)
(fma.f64 %22 %42 %468)
(fma.f64 %22 %42 %451)
(fma.f64 %22 %389 %471)
(fma.f64 %22 %389 %473)
(fma.f64 %22 %393 %471)
(fma.f64 %22 %393 %473)
(fma.f64 %22 %395 %471)
(fma.f64 %22 %395 %473)
(fma.f64 %22 %397 %471)
(fma.f64 %22 %397 %473)
(fma.f64 %22 %399 %471)
(fma.f64 %22 %399 %473)
(fma.f64 %22 %401 %471)
(fma.f64 %22 %401 %473)
(fma.f64 %22 %404 %471)
(fma.f64 %22 %404 %473)
(fma.f64 %22 (+.f64 %237 %166) %14)
(fma.f64 %22 (fma.f64 #s(literal -2 binary64) x %166) %156)
(fma.f64 %22 (+.f64 %166 %21) %156)
(fma.f64 %22 %406 %471)
(fma.f64 %22 %406 %473)
(fma.f64 %22 (-.f64 %22 %162) %14)
(fma.f64 %22 (-.f64 %21 y) %156)
(fma.f64 %22 (-.f64 %166 y) %3)
(fma.f64 %22 %169 %484)
(fma.f64 %22 %169 %486)
(fma.f64 %22 %169 %461)
(fma.f64 %22 (-.f64 %237 y) %14)
(fma.f64 %22 (neg.f64 %403) %14)
(fma.f64 %22 %388 %156)
(fma.f64 %22 %392 %156)
(fma.f64 %22 %252 %471)
(fma.f64 %22 %252 %473)
(fma.f64 %22 %667 %14)
(fma.f64 %22 %496 %3)
(fma.f64 %22 %21 %164)
(fma.f64 %22 %237 %233)
(fma.f64 %22 %166 %484)
(fma.f64 %22 %166 %486)
(fma.f64 %22 %166 %461)
(fma.f64 %22 %22 %466)
(fma.f64 %22 %22 %468)
(fma.f64 %22 %22 %451)
(fma.f64 #s(literal 1 binary64) %451 %14)
(fma.f64 #s(literal 1 binary64) %461 %156)
(fma.f64 #s(literal 1 binary64) %164 %3)
(fma.f64 #s(literal 1 binary64) %3 %164)
(fma.f64 #s(literal 1 binary64) %244 %471)
(fma.f64 #s(literal 1 binary64) %244 %473)
(fma.f64 #s(literal 1 binary64) %233 %233)
(fma.f64 #s(literal 1 binary64) %156 %484)
(fma.f64 #s(literal 1 binary64) %156 %486)
(fma.f64 #s(literal 1 binary64) %156 %461)
(fma.f64 #s(literal 1 binary64) %14 %466)
(fma.f64 #s(literal 1 binary64) %14 %468)
(fma.f64 #s(literal 1 binary64) %14 %451)
(fma.f64 %244 #s(literal 1/2 binary64) %233)
(fma.f64 %244 #s(literal 1 binary64) %471)
(fma.f64 %244 #s(literal 1 binary64) %473)
(fma.f64 %233 #s(literal 1 binary64) %233)
(fma.f64 %233 #s(literal 2 binary64) %471)
(fma.f64 %233 #s(literal 2 binary64) %473)
(fma.f64 %156 #s(literal 1 binary64) %484)
(fma.f64 %156 #s(literal 1 binary64) %486)
(fma.f64 %156 #s(literal 1 binary64) %461)
(fma.f64 %156 #s(literal 2 binary64) %3)
(fma.f64 y %48 %484)
(fma.f64 y %48 %486)
(fma.f64 y %48 %461)
(fma.f64 y %2 %3)
(fma.f64 y x %484)
(fma.f64 y x %486)
(fma.f64 y x %461)
(fma.f64 %14 #s(literal 1 binary64) %466)
(fma.f64 %14 #s(literal 1 binary64) %468)
(fma.f64 %14 #s(literal 1 binary64) %451)
(fma.f64 %14 #s(literal 2 binary64) %164)
(fma.f64 x %48 %466)
(fma.f64 x %48 %468)
(fma.f64 x %48 %451)
(fma.f64 x %175 %484)
(fma.f64 x %175 %486)
(fma.f64 x %175 %461)
(fma.f64 x %259 %233)
(fma.f64 x %412 %471)
(fma.f64 x %412 %473)
(fma.f64 x %414 %471)
(fma.f64 x %414 %473)
(fma.f64 x %416 %471)
(fma.f64 x %416 %473)
(fma.f64 x %419 %471)
(fma.f64 x %419 %473)
(fma.f64 x %460 %156)
(fma.f64 x (+.f64 y %2) %156)
(fma.f64 x %421 %471)
(fma.f64 x %421 %473)
(fma.f64 x %423 %471)
(fma.f64 x %423 %473)
(fma.f64 x (-.f64 %2 %166) %156)
(fma.f64 x %450 %14)
(fma.f64 x (+.f64 x %162) %14)
(fma.f64 x (-.f64 %162 %22) %14)
(fma.f64 x (-.f64 x %496) %14)
(fma.f64 x (neg.f64 %667) %14)
(fma.f64 x %387 %156)
(fma.f64 x %391 %156)
(fma.f64 x %418 %14)
(fma.f64 x %403 %14)
(fma.f64 x %2 %164)
(fma.f64 x %242 %471)
(fma.f64 x %242 %473)
(fma.f64 x %162 %3)
(fma.f64 x %232 %233)
(fma.f64 x y %484)
(fma.f64 x y %486)
(fma.f64 x y %461)
(fma.f64 x x %466)
(fma.f64 x x %468)
(fma.f64 x x %451)
(fma.f64 #s(literal 2 binary64) %426 %471)
(fma.f64 #s(literal 2 binary64) %426 %473)
(fma.f64 #s(literal 2 binary64) %262 %233)
(fma.f64 #s(literal 2 binary64) %178 %484)
(fma.f64 #s(literal 2 binary64) %178 %486)
(fma.f64 #s(literal 2 binary64) %178 %461)
(fma.f64 #s(literal 2 binary64) (*.f64 %157 #s(literal 2 binary64)) %3)
(fma.f64 #s(literal 2 binary64) (*.f64 %15 #s(literal 2 binary64)) %164)
(fma.f64 #s(literal 2 binary64) %50 %466)
(fma.f64 #s(literal 2 binary64) %50 %468)
(fma.f64 #s(literal 2 binary64) %50 %451)
(fma.f64 #s(literal 2 binary64) %264 %233)
(fma.f64 #s(literal 2 binary64) %180 %484)
(fma.f64 #s(literal 2 binary64) %180 %486)
(fma.f64 #s(literal 2 binary64) %180 %461)
(fma.f64 #s(literal 2 binary64) %52 %466)
(fma.f64 #s(literal 2 binary64) %52 %468)
(fma.f64 #s(literal 2 binary64) %52 %451)
(fma.f64 #s(literal 2 binary64) (fma.f64 y x %15) %14)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %233 %157) %14)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %156 %234) %14)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %14 %156) %14)
(fma.f64 #s(literal 2 binary64) (fma.f64 x x %157) %156)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %233 %15) %156)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %156 %14) %156)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %14 %234) %156)
(fma.f64 #s(literal 2 binary64) (-.f64 %15 %187) %14)
(fma.f64 #s(literal 2 binary64) %54 %466)
(fma.f64 #s(literal 2 binary64) %54 %468)
(fma.f64 #s(literal 2 binary64) %54 %451)
(fma.f64 #s(literal 2 binary64) %234 %233)
(fma.f64 #s(literal 2 binary64) %15 %466)
(fma.f64 #s(literal 2 binary64) %15 %468)
(fma.f64 #s(literal 2 binary64) %15 %451)
(fma.f64 #s(literal 2 binary64) %157 %484)
(fma.f64 #s(literal 2 binary64) %157 %486)
(fma.f64 #s(literal 2 binary64) %157 %461)
(fma.f64 #s(literal 2 binary64) %233 %471)
(fma.f64 #s(literal 2 binary64) %233 %473)
(fma.f64 #s(literal 2 binary64) %156 %3)
(fma.f64 #s(literal 2 binary64) %14 %164)
(-.f64 %451 %31)
(-.f64 %461 %187)
(-.f64 %164 %457)
(-.f64 %3 %585)
(-.f64 %233 %248)
(-.f64 %156 %462)
(-.f64 %14 %452)
(+.f64 %484 %156)
(+.f64 %466 %14)
(+.f64 (*.f64 %387 x) %156)
(+.f64 (*.f64 %418 x) %14)
(+.f64 %451 %14)
(+.f64 %461 %156)
(+.f64 %164 %3)
(+.f64 %3 %164)
(+.f64 %244 %471)
(+.f64 %244 %473)
(+.f64 %233 %233)
(+.f64 %156 %484)
(+.f64 %156 %486)
(+.f64 %156 %461)
(+.f64 %14 %466)
(+.f64 %14 %468)
(+.f64 %14 %451)
reconstruct58.0ms (5.6%)
Counts
684 → 65
Compiler
Compiled 684 to 867 computations (-26.8% saved)
eval5.0ms (0.5%)
Compiler
Compiled 62 to 173 computations (-179.0% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (3 fresh and 0 done)
PrunedKeptTotal
New59362
Fresh000
Picked101
Done000
Total60363
Accuracy
100.0%
Counts
63 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 (+.f64 x x) (+.f64 y x))
▶97.3%
(*.f64 #s(literal 2 binary64) (fma.f64 x x (*.f64 y x)))
▶57.1%
(approx (* 2 (+ (* x x) (* x y))) (*.f64 #s(literal 2 binary64) (*.f64 x y)))
Compiler
Compiled 3 to 11 computations (-266.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series11.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
083297
Stop Event
1×iter-limit
Counts
12 → 23
Calls
Call 1
Inputs
%3 = (*.f64 x y)
%4 = (*.f64 #s(literal 2 binary64) %3)
%11 = (+.f64 x x)
%12 = (*.f64 y x)
%13 = (+.f64 y x)
%15 = (fma.f64 x x %12)
#s(literal 2 binary64)
x
y
%3
%4
(approx (* 2 (+ (* x x) (* x y))) %4)
%11
%12
%13
(*.f64 %11 %13)
%15
(*.f64 #s(literal 2 binary64) %15)
Outputs
%6 = (* x y)
%7 = (*.f64 x y)
%13 = (* x x)
%15 = (* 2 (+ %13 %6))
%23 = (+ y x)
%25 = (+.f64 x y)
%28 = (+ %13 (* y x))
%31 = (pow.f64 x #s(literal 2 binary64))
%32 = (*.f64 #s(literal 2 binary64) %31)
%34 = (/.f64 y x)
%40 = (+.f64 #s(literal 1 binary64) %34)
%56 = (/.f64 %31 y)
%61 = (/.f64 x y)
(approx 2 #s(literal 0 binary64))
(approx x x)
(approx %6 %7)
(approx (* 2 %6) (*.f64 #s(literal 2 binary64) %7))
(approx %15 (*.f64 x (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) y))))
(approx (+ x x) (*.f64 #s(literal 2 binary64) x))
(approx %23 y)
(approx %23 %25)
(approx %28 (*.f64 x %25))
(approx %15 %32)
(approx %15 (*.f64 %31 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %34))))
(approx %23 (*.f64 x %40))
(approx %28 %31)
(approx %28 (*.f64 %31 %40))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %34) #s(literal 1 binary64)))))
(approx %15 (fma.f64 #s(literal 2 binary64) %7 %32))
(approx %28 (fma.f64 x y %31))
(approx %15 (*.f64 y (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %56))))
(approx %23 (*.f64 y (+.f64 #s(literal 1 binary64) %61)))
(approx %28 (*.f64 y (+.f64 x %56)))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %56)))))
(approx %23 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %61) #s(literal 1 binary64)))))
(approx %28 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %56)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
0
rewrite63.0ms (6.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01656
02452
18452
225052
396352
0412452
0420352
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
12 → 1 156
Calls
Call 1
Inputs
%3 = (*.f64 x y)
%4 = (*.f64 #s(literal 2 binary64) %3)
%11 = (+.f64 x x)
%12 = (*.f64 y x)
%13 = (+.f64 y x)
%15 = (fma.f64 x x %12)
#s(literal 2 binary64)
x
y
%3
%4
(approx (* 2 (+ (* x x) (* x y))) %4)
%11
%12
%13
(*.f64 %11 %13)
%15
(*.f64 #s(literal 2 binary64) %15)
Outputs
%5 = (*.f64 y x)
%6 = (*.f64 #s(literal 1/2 binary64) %5)
%7 = (*.f64 #s(literal 1/2 binary64) %6)
%8 = (*.f64 #s(literal 4 binary64) %7)
%9 = (+.f64 y y)
%10 = (*.f64 x #s(literal 1/2 binary64))
%11 = (*.f64 %9 %10)
%12 = (*.f64 %9 x)
%13 = (*.f64 #s(literal 1/2 binary64) %12)
%14 = (neg.f64 y)
%15 = (neg.f64 x)
%16 = (*.f64 %14 %15)
%18 = (*.f64 %14 #s(literal 1 binary64))
%19 = (*.f64 %15 %18)
%20 = (*.f64 %15 %14)
%21 = (*.f64 #s(literal 1 binary64) %5)
%22 = (+.f64 x x)
%23 = (*.f64 y #s(literal 1/2 binary64))
%24 = (*.f64 %22 %23)
%25 = (*.f64 %12 #s(literal 1/2 binary64))
%26 = (*.f64 %5 #s(literal 1 binary64))
%27 = (*.f64 %22 #s(literal 1/2 binary64))
%28 = (*.f64 y %27)
%29 = (*.f64 %9 #s(literal 1/2 binary64))
%30 = (*.f64 x %29)
%31 = (*.f64 x y)
%32 = (*.f64 %6 #s(literal 1 binary64))
%33 = (*.f64 #s(literal 2 binary64) %32)
%34 = (*.f64 %5 #s(literal 1/2 binary64))
%35 = (*.f64 #s(literal 2 binary64) %34)
%36 = (*.f64 #s(literal 2 binary64) %6)
%37 = (pow.f64 %5 #s(literal 1 binary64))
%40 = (/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
%41 = (/.f64 %12 #s(literal 2 binary64))
%42 = (*.f64 %15 y)
%43 = (neg.f64 %42)
%45 = (*.f64 %5 #s(literal 0 binary64))
%46 = (fma.f64 #s(literal 4 binary64) %7 %45)
%47 = (*.f64 #s(literal 0 binary64) %5)
%48 = (fma.f64 #s(literal 4 binary64) %7 %47)
%49 = (fma.f64 %9 %10 %45)
%50 = (fma.f64 %9 %10 %47)
%51 = (fma.f64 #s(literal 1/2 binary64) %12 %45)
%52 = (fma.f64 #s(literal 1/2 binary64) %12 %47)
%53 = (fma.f64 #s(literal 1/2 binary64) %5 %6)
%54 = (fma.f64 %14 %15 %45)
%55 = (fma.f64 %14 %15 %47)
%56 = (fma.f64 %15 %18 %45)
%57 = (fma.f64 %15 %18 %47)
%58 = (fma.f64 %15 %14 %45)
%59 = (fma.f64 %15 %14 %47)
%60 = (fma.f64 #s(literal 1 binary64) %6 %6)
%61 = (fma.f64 #s(literal 1 binary64) %5 %45)
%62 = (fma.f64 #s(literal 1 binary64) %5 %47)
%63 = (fma.f64 %22 %23 %45)
%64 = (fma.f64 %22 %23 %47)
%65 = (fma.f64 %12 #s(literal 1/2 binary64) %45)
%66 = (fma.f64 %12 #s(literal 1/2 binary64) %47)
%67 = (fma.f64 %5 #s(literal 1/2 binary64) %34)
%68 = (fma.f64 %5 #s(literal 1 binary64) %45)
%69 = (fma.f64 %5 #s(literal 1 binary64) %47)
%70 = (fma.f64 y %27 %45)
%71 = (fma.f64 y %27 %47)
%72 = (fma.f64 y x %45)
%73 = (fma.f64 y x %47)
%74 = (fma.f64 x %29 %45)
%75 = (fma.f64 x %29 %47)
%76 = (fma.f64 x y %45)
%77 = (fma.f64 x y %47)
%78 = (fma.f64 #s(literal 2 binary64) %32 %45)
%79 = (fma.f64 #s(literal 2 binary64) %32 %47)
%80 = (fma.f64 #s(literal 2 binary64) %34 %45)
%81 = (fma.f64 #s(literal 2 binary64) %34 %47)
%82 = (fma.f64 #s(literal 2 binary64) %6 %45)
%83 = (fma.f64 #s(literal 2 binary64) %6 %47)
%84 = (+.f64 %34 %34)
%85 = (+.f64 %6 %6)
%86 = (+.f64 %5 %45)
%87 = (+.f64 %5 %47)
%91 = (*.f64 #s(literal -2 binary64) y)
%93 = (*.f64 #s(literal 4 binary64) %5)
%95 = (*.f64 #s(literal 2 binary64) %12)
%97 = (fma.f64 %9 x %12)
%100 = (*.f64 #s(literal -2 binary64) x)
%102 = (*.f64 %91 x)
%113 = (*.f64 %6 #s(literal 2 binary64))
%123 = (*.f64 %12 #s(literal 0 binary64))
%125 = (*.f64 #s(literal 0 binary64) %12)
%192 = (approx (* (* (+ y x) 2) x) %12)
%196 = (*.f64 #s(literal 1/2 binary64) x)
%198 = (*.f64 #s(literal 4 binary64) x)
%213 = (*.f64 %22 #s(literal 0 binary64))
%215 = (*.f64 #s(literal 0 binary64) %22)
%240 = (+.f64 y x)
%241 = (*.f64 %240 #s(literal 2 binary64))
%245 = (*.f64 #s(literal 1/2 binary64) %240)
%253 = (neg.f64 %240)
%254 = (*.f64 #s(literal 1 binary64) %253)
%259 = (*.f64 %240 #s(literal 0 binary64))
%261 = (*.f64 #s(literal 0 binary64) %240)
%266 = (*.f64 %240 #s(literal 1/2 binary64))
%279 = (*.f64 %240 x)
%280 = (*.f64 #s(literal 1/2 binary64) %279)
%281 = (*.f64 %280 #s(literal 4 binary64))
%282 = (*.f64 #s(literal 4 binary64) %280)
%283 = (*.f64 %241 x)
%284 = (*.f64 #s(literal 4 binary64) %279)
%285 = (*.f64 #s(literal 1/2 binary64) %284)
%286 = (*.f64 %240 %22)
%287 = (*.f64 #s(literal 2 binary64) %286)
%288 = (*.f64 #s(literal 1/2 binary64) %287)
%289 = (fma.f64 %240 %22 %286)
%290 = (*.f64 #s(literal 1/2 binary64) %289)
%291 = (*.f64 %253 x)
%292 = (*.f64 #s(literal -2 binary64) %291)
%293 = (*.f64 %100 %254)
%294 = (*.f64 %100 %253)
%295 = (*.f64 %291 #s(literal -2 binary64))
%296 = (*.f64 %253 %100)
%297 = (+.f64 %240 x)
%298 = (neg.f64 %297)
%299 = (+.f64 %298 %14)
%300 = (*.f64 %15 %299)
%301 = (+.f64 %14 %298)
%302 = (*.f64 %15 %301)
%303 = (+.f64 y %240)
%304 = (-.f64 %15 %303)
%305 = (*.f64 %15 %304)
%306 = (*.f64 %253 #s(literal 2 binary64))
%307 = (*.f64 %306 #s(literal 1 binary64))
%308 = (*.f64 %15 %307)
%309 = (-.f64 %298 y)
%310 = (*.f64 %15 %309)
%311 = (-.f64 %100 %9)
%312 = (*.f64 %15 %311)
%313 = (*.f64 %15 %306)
%314 = (*.f64 #s(literal 1 binary64) %286)
%315 = (*.f64 %279 #s(literal 2 binary64))
%316 = (*.f64 %22 %240)
%317 = (*.f64 %286 #s(literal 1 binary64))
%318 = (*.f64 #s(literal -2 binary64) %253)
%319 = (*.f64 x %318)
%320 = (+.f64 %303 x)
%321 = (*.f64 x %320)
%322 = (fma.f64 x #s(literal 2 binary64) y)
%323 = (+.f64 %322 y)
%324 = (*.f64 x %323)
%325 = (+.f64 y %22)
%326 = (+.f64 %325 y)
%327 = (*.f64 x %326)
%328 = (+.f64 %240 y)
%329 = (+.f64 x %328)
%330 = (*.f64 x %329)
%331 = (+.f64 y %322)
%332 = (*.f64 x %331)
%333 = (+.f64 y %325)
%334 = (*.f64 x %333)
%335 = (-.f64 %303 %15)
%336 = (*.f64 x %335)
%337 = (-.f64 %322 %14)
%338 = (*.f64 x %337)
%339 = (-.f64 %325 %14)
%340 = (*.f64 x %339)
%341 = (*.f64 x %241)
%342 = (*.f64 %280 #s(literal 2 binary64))
%343 = (*.f64 #s(literal 2 binary64) %342)
%344 = (*.f64 #s(literal 2 binary64) %279)
%345 = (pow.f64 %286 #s(literal 1 binary64))
%347 = (/.f64 (*.f64 %286 #s(literal 2 binary64)) #s(literal 2 binary64))
%348 = (/.f64 %287 #s(literal 2 binary64))
%350 = (/.f64 #s(literal 1 binary64) (pow.f64 %286 #s(literal -1 binary64)))
%352 = (neg.f64 (*.f64 %306 x))
%354 = (neg.f64 (*.f64 #s(literal -1 binary64) %286))
%355 = (*.f64 #s(literal -2 binary64) %279)
%357 = (neg.f64 (*.f64 %355 #s(literal 1 binary64)))
%359 = (neg.f64 (*.f64 %241 %15))
%361 = (neg.f64 (*.f64 %279 #s(literal -2 binary64)))
%363 = (neg.f64 (*.f64 %286 #s(literal -1 binary64)))
%365 = (neg.f64 (fma.f64 %15 %322 %42))
%367 = (*.f64 x (-.f64 %91 x))
%369 = (neg.f64 (fma.f64 %15 x %367))
%370 = (*.f64 %15 x)
%371 = (fma.f64 y #s(literal 2 binary64) x)
%372 = (*.f64 x %371)
%374 = (neg.f64 (-.f64 %370 %372))
%375 = (*.f64 %15 %322)
%377 = (neg.f64 (-.f64 %375 %5))
%378 = (neg.f64 %355)
%379 = (*.f64 %22 x)
%380 = (fabs.f64 %379)
%381 = (*.f64 %372 #s(literal 1 binary64))
%382 = (fma.f64 %380 #s(literal 1/2 binary64) %381)
%383 = (*.f64 %303 x)
%384 = (fma.f64 %380 #s(literal 1/2 binary64) %383)
%385 = (fma.f64 %380 #s(literal 1/2 binary64) %372)
%386 = (*.f64 %286 #s(literal 0 binary64))
%387 = (fma.f64 %280 #s(literal 4 binary64) %386)
%388 = (*.f64 #s(literal 0 binary64) %286)
%389 = (fma.f64 %280 #s(literal 4 binary64) %388)
%390 = (*.f64 x x)
%391 = (*.f64 #s(literal 1/2 binary64) %390)
%392 = (fma.f64 %391 #s(literal 4 binary64) %12)
%393 = (fma.f64 %6 #s(literal 4 binary64) %379)
%394 = (fma.f64 %297 x %5)
%395 = (fma.f64 %328 x %390)
%396 = (*.f64 #s(literal 1/2 binary64) %391)
%397 = (fma.f64 #s(literal 4 binary64) %396 %381)
%398 = (fma.f64 #s(literal 4 binary64) %396 %383)
%399 = (fma.f64 #s(literal 4 binary64) %396 %372)
%400 = (*.f64 x %322)
%401 = (*.f64 %400 #s(literal 1 binary64))
%402 = (fma.f64 #s(literal 4 binary64) %7 %401)
%403 = (*.f64 %297 x)
%404 = (fma.f64 #s(literal 4 binary64) %7 %403)
%405 = (fma.f64 #s(literal 4 binary64) %7 %400)
%406 = (*.f64 #s(literal 1/2 binary64) %280)
%407 = (fma.f64 #s(literal 4 binary64) %406 %279)
%408 = (fma.f64 #s(literal 4 binary64) %280 %386)
%409 = (fma.f64 #s(literal 4 binary64) %280 %388)
%410 = (fma.f64 #s(literal 4 binary64) %391 %12)
%411 = (fma.f64 #s(literal 4 binary64) %6 %379)
%412 = (fabs.f64 x)
%413 = (*.f64 #s(literal -2 binary64) %412)
%414 = (neg.f64 %412)
%415 = (*.f64 %414 #s(literal 1/2 binary64))
%416 = (fma.f64 %413 %415 %381)
%417 = (fma.f64 %413 %415 %383)
%418 = (fma.f64 %413 %415 %372)
%419 = (fma.f64 %413 %414 %12)
%420 = (fma.f64 %91 %15 %379)
%421 = (sqrt.f64 %412)
%422 = (*.f64 %421 %412)
%423 = (fma.f64 %421 %422 %381)
%424 = (fma.f64 %421 %422 %383)
%425 = (fma.f64 %421 %422 %372)
%426 = (*.f64 %412 #s(literal 2 binary64))
%428 = (fma.f64 %421 (*.f64 %421 %426) %12)
%429 = (fma.f64 %372 #s(literal 1 binary64) %390)
%430 = (fma.f64 %400 #s(literal 1 binary64) %5)
%431 = (fma.f64 %9 %10 %401)
%432 = (fma.f64 %9 %10 %403)
%433 = (fma.f64 %9 %10 %400)
%434 = (fma.f64 %9 x %379)
%435 = (*.f64 %412 #s(literal 1/2 binary64))
%436 = (fma.f64 %426 %435 %381)
%437 = (fma.f64 %426 %435 %383)
%438 = (fma.f64 %426 %435 %372)
%439 = (fma.f64 %426 %412 %12)
%440 = (fma.f64 %241 %10 %279)
%441 = (fma.f64 %241 x %386)
%442 = (fma.f64 %241 x %388)
%443 = (fma.f64 #s(literal 1/2 binary64) %93 %379)
%445 = (fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %390) %12)
%446 = (fma.f64 #s(literal 1/2 binary64) %284 %386)
%447 = (fma.f64 #s(literal 1/2 binary64) %284 %388)
%448 = (fma.f64 #s(literal 1/2 binary64) %95 %379)
%450 = (fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %379) %12)
%451 = (fma.f64 #s(literal 1/2 binary64) %287 %386)
%452 = (fma.f64 #s(literal 1/2 binary64) %287 %388)
%454 = (fma.f64 #s(literal 1/2 binary64) (fma.f64 %22 x %379) %12)
%455 = (fma.f64 #s(literal 1/2 binary64) %289 %386)
%456 = (fma.f64 #s(literal 1/2 binary64) %289 %388)
%458 = (fma.f64 #s(literal 1/2 binary64) (fma.f64 %240 %22 %379) %5)
%460 = (fma.f64 #s(literal 1/2 binary64) (fma.f64 %22 x %286) %5)
%461 = (fma.f64 #s(literal 1/2 binary64) %97 %379)
%463 = (fma.f64 #s(literal 1/2 binary64) (fma.f64 %240 %22 %12) %390)
%465 = (fma.f64 #s(literal 1/2 binary64) (fma.f64 %9 x %286) %390)
%466 = (fma.f64 #s(literal 1/2 binary64) %379 %381)
%467 = (fma.f64 #s(literal 1/2 binary64) %379 %383)
%468 = (fma.f64 #s(literal 1/2 binary64) %379 %372)
%469 = (fma.f64 #s(literal 1/2 binary64) %286 %279)
%470 = (fma.f64 #s(literal 1/2 binary64) %12 %401)
%471 = (fma.f64 #s(literal 1/2 binary64) %12 %403)
%472 = (fma.f64 #s(literal 1/2 binary64) %12 %400)
%473 = (fma.f64 %370 #s(literal -2 binary64) %12)
%474 = (fma.f64 %370 #s(literal -1 binary64) %381)
%475 = (fma.f64 %370 #s(literal -1 binary64) %383)
%476 = (fma.f64 %370 #s(literal -1 binary64) %372)
%477 = (fma.f64 #s(literal -2 binary64) %370 %12)
%478 = (fma.f64 #s(literal -2 binary64) %291 %386)
%479 = (fma.f64 #s(literal -2 binary64) %291 %388)
%480 = (fma.f64 #s(literal -2 binary64) %42 %379)
%481 = (*.f64 %253 #s(literal 1/2 binary64))
%482 = (fma.f64 %100 %481 %279)
%483 = (*.f64 %15 #s(literal 1/2 binary64))
%484 = (fma.f64 %100 %483 %381)
%485 = (fma.f64 %100 %483 %383)
%486 = (fma.f64 %100 %483 %372)
%487 = (fma.f64 %100 %254 %386)
%488 = (fma.f64 %100 %254 %388)
%489 = (fma.f64 %100 %253 %386)
%490 = (fma.f64 %100 %253 %388)
%491 = (fma.f64 %100 %14 %379)
%492 = (fma.f64 %100 %15 %12)
%493 = (fma.f64 %291 #s(literal -2 binary64) %386)
%494 = (fma.f64 %291 #s(literal -2 binary64) %388)
%495 = (fma.f64 %291 #s(literal -1 binary64) %279)
%496 = (*.f64 %100 #s(literal 1/2 binary64))
%497 = (fma.f64 %253 %496 %279)
%498 = (fma.f64 %253 %100 %386)
%499 = (fma.f64 %253 %100 %388)
%500 = (fma.f64 %253 %15 %279)
%501 = (fma.f64 %102 #s(literal -1 binary64) %379)
%502 = (fma.f64 #s(literal -1 binary64) %370 %381)
%503 = (fma.f64 #s(literal -1 binary64) %370 %383)
%504 = (fma.f64 #s(literal -1 binary64) %370 %372)
%505 = (fma.f64 #s(literal -1 binary64) %291 %279)
%506 = (*.f64 %413 #s(literal 1/2 binary64))
%507 = (fma.f64 %414 %506 %381)
%508 = (fma.f64 %414 %506 %383)
%509 = (fma.f64 %414 %506 %372)
%510 = (fma.f64 %414 %413 %12)
%511 = (fma.f64 %414 %414 %381)
%512 = (fma.f64 %414 %414 %383)
%513 = (fma.f64 %414 %414 %372)
%514 = (fma.f64 %379 #s(literal 1/2 binary64) %381)
%515 = (fma.f64 %379 #s(literal 1/2 binary64) %383)
%516 = (fma.f64 %379 #s(literal 1/2 binary64) %372)
%517 = (fma.f64 %379 #s(literal 1 binary64) %12)
%518 = (fma.f64 %14 %100 %379)
%519 = (fma.f64 %14 %15 %401)
%520 = (fma.f64 %14 %15 %403)
%521 = (fma.f64 %14 %15 %400)
%522 = (fma.f64 %42 #s(literal -2 binary64) %379)
%523 = (*.f64 %426 #s(literal 1/2 binary64))
%524 = (fma.f64 %412 %523 %381)
%525 = (fma.f64 %412 %523 %383)
%526 = (fma.f64 %412 %523 %372)
%527 = (fma.f64 %412 %426 %12)
%528 = (fma.f64 %412 %412 %381)
%529 = (fma.f64 %412 %412 %383)
%530 = (fma.f64 %412 %412 %372)
%531 = (*.f64 %306 #s(literal 1/2 binary64))
%532 = (fma.f64 %15 %531 %279)
%533 = (fma.f64 %15 %496 %381)
%534 = (fma.f64 %15 %496 %383)
%535 = (fma.f64 %15 %496 %372)
%536 = (fma.f64 %15 %299 %386)
%537 = (fma.f64 %15 %299 %388)
%538 = (fma.f64 %15 %301 %386)
%539 = (fma.f64 %15 %301 %388)
%540 = (fma.f64 %15 %304 %386)
%541 = (fma.f64 %15 %304 %388)
%543 = (fma.f64 %15 (-.f64 %100 y) %5)
%545 = (fma.f64 %15 (-.f64 %14 %22) %5)
%547 = (fma.f64 %15 (-.f64 %15 %9) %390)
%548 = (fma.f64 %15 %307 %386)
%549 = (fma.f64 %15 %307 %388)
%551 = (fma.f64 %15 (+.f64 %14 %100) %5)
%553 = (fma.f64 %15 (fma.f64 #s(literal -2 binary64) x %14) %5)
%555 = (fma.f64 %15 (+.f64 %253 %14) %390)
%556 = (fma.f64 %15 %18 %401)
%557 = (fma.f64 %15 %18 %403)
%558 = (fma.f64 %15 %18 %400)
%560 = (fma.f64 %15 (-.f64 %253 y) %390)
%561 = (fma.f64 %15 %309 %386)
%562 = (fma.f64 %15 %309 %388)
%563 = (fma.f64 %15 %311 %386)
%564 = (fma.f64 %15 %311 %388)
%566 = (fma.f64 %15 (neg.f64 %303) %390)
%567 = (fma.f64 %15 %298 %5)
%569 = (fma.f64 %15 (-.f64 %14 %240) %390)
%570 = (fma.f64 %15 %306 %386)
%571 = (fma.f64 %15 %306 %388)
%572 = (fma.f64 %15 %91 %379)
%573 = (fma.f64 %15 %100 %12)
%574 = (fma.f64 %15 %253 %279)
%575 = (fma.f64 %15 %14 %401)
%576 = (fma.f64 %15 %14 %403)
%577 = (fma.f64 %15 %14 %400)
%578 = (fma.f64 %15 %15 %381)
%579 = (fma.f64 %15 %15 %383)
%580 = (fma.f64 %15 %15 %372)
%581 = (fma.f64 #s(literal 1 binary64) %372 %390)
%582 = (fma.f64 #s(literal 1 binary64) %400 %5)
%583 = (fma.f64 #s(literal 1 binary64) %379 %12)
%584 = (fma.f64 #s(literal 1 binary64) %279 %279)
%585 = (fma.f64 #s(literal 1 binary64) %286 %386)
%586 = (fma.f64 #s(literal 1 binary64) %286 %388)
%587 = (fma.f64 #s(literal 1 binary64) %390 %381)
%588 = (fma.f64 #s(literal 1 binary64) %390 %383)
%589 = (fma.f64 #s(literal 1 binary64) %390 %372)
%590 = (fma.f64 #s(literal 1 binary64) %12 %379)
%591 = (fma.f64 #s(literal 1 binary64) %5 %401)
%592 = (fma.f64 #s(literal 1 binary64) %5 %403)
%593 = (fma.f64 #s(literal 1 binary64) %5 %400)
%594 = (fma.f64 %279 #s(literal 1 binary64) %279)
%595 = (fma.f64 %279 #s(literal 2 binary64) %386)
%596 = (fma.f64 %279 #s(literal 2 binary64) %388)
%597 = (fma.f64 %240 %27 %279)
%598 = (fma.f64 %240 %22 %386)
%599 = (fma.f64 %240 %22 %388)
%600 = (fma.f64 %240 x %279)
%601 = (fma.f64 %22 %23 %401)
%602 = (fma.f64 %22 %23 %403)
%603 = (fma.f64 %22 %23 %400)
%604 = (fma.f64 %22 %10 %381)
%605 = (fma.f64 %22 %10 %383)
%606 = (fma.f64 %22 %10 %372)
%607 = (fma.f64 %22 %266 %279)
%608 = (fma.f64 %22 %240 %386)
%609 = (fma.f64 %22 %240 %388)
%610 = (fma.f64 %22 y %379)
%611 = (fma.f64 %22 x %12)
%612 = (fma.f64 %286 #s(literal 1/2 binary64) %279)
%613 = (fma.f64 %286 #s(literal 1 binary64) %386)
%614 = (fma.f64 %286 #s(literal 1 binary64) %388)
%615 = (fma.f64 %390 #s(literal 1 binary64) %381)
%616 = (fma.f64 %390 #s(literal 1 binary64) %383)
%617 = (fma.f64 %390 #s(literal 1 binary64) %372)
%618 = (fma.f64 %390 #s(literal 2 binary64) %12)
%619 = (fma.f64 %12 #s(literal 1/2 binary64) %401)
%620 = (fma.f64 %12 #s(literal 1/2 binary64) %403)
%621 = (fma.f64 %12 #s(literal 1/2 binary64) %400)
%622 = (fma.f64 %12 #s(literal 1 binary64) %379)
%623 = (fma.f64 %5 #s(literal 1 binary64) %401)
%624 = (fma.f64 %5 #s(literal 1 binary64) %403)
%625 = (fma.f64 %5 #s(literal 1 binary64) %400)
%626 = (fma.f64 %5 #s(literal 2 binary64) %379)
%627 = (fma.f64 y %27 %401)
%628 = (fma.f64 y %27 %403)
%629 = (fma.f64 y %27 %400)
%630 = (fma.f64 y %22 %379)
%631 = (fma.f64 y x %401)
%632 = (fma.f64 y x %403)
%633 = (fma.f64 y x %400)
%634 = (fma.f64 x %318 %386)
%635 = (fma.f64 x %318 %388)
%636 = (*.f64 %241 #s(literal 1/2 binary64))
%637 = (fma.f64 x %636 %279)
%638 = (fma.f64 x %27 %381)
%639 = (fma.f64 x %27 %383)
%640 = (fma.f64 x %27 %372)
%641 = (fma.f64 x %29 %401)
%642 = (fma.f64 x %29 %403)
%643 = (fma.f64 x %29 %400)
%644 = (fma.f64 x %320 %386)
%645 = (fma.f64 x %320 %388)
%646 = (fma.f64 x %323 %386)
%647 = (fma.f64 x %323 %388)
%648 = (fma.f64 x %326 %386)
%649 = (fma.f64 x %326 %388)
%650 = (fma.f64 x %329 %386)
%651 = (fma.f64 x %329 %388)
%652 = (fma.f64 x %331 %386)
%653 = (fma.f64 x %331 %388)
%654 = (fma.f64 x %333 %386)
%655 = (fma.f64 x %333 %388)
%656 = (fma.f64 x %335 %386)
%657 = (fma.f64 x %335 %388)
%658 = (fma.f64 x %337 %386)
%659 = (fma.f64 x %337 %388)
%660 = (fma.f64 x %339 %386)
%661 = (fma.f64 x %339 %388)
%663 = (fma.f64 x (+.f64 x %9) %390)
%664 = (fma.f64 x %371 %390)
%666 = (fma.f64 x (-.f64 x %91) %390)
%668 = (fma.f64 x (-.f64 %9 %15) %390)
%669 = (fma.f64 x %322 %5)
%670 = (fma.f64 x %297 %5)
%671 = (fma.f64 x %325 %5)
%672 = (fma.f64 x %303 %390)
%673 = (fma.f64 x %328 %390)
%674 = (fma.f64 x %9 %379)
%675 = (fma.f64 x %241 %386)
%676 = (fma.f64 x %241 %388)
%677 = (fma.f64 x %240 %279)
%678 = (fma.f64 x %22 %12)
%679 = (fma.f64 x y %401)
%680 = (fma.f64 x y %403)
%681 = (fma.f64 x y %400)
%682 = (fma.f64 x x %381)
%683 = (fma.f64 x x %383)
%684 = (fma.f64 x x %372)
%685 = (*.f64 %391 #s(literal 1 binary64))
%686 = (fma.f64 #s(literal 2 binary64) %685 %381)
%687 = (fma.f64 #s(literal 2 binary64) %685 %383)
%688 = (fma.f64 #s(literal 2 binary64) %685 %372)
%689 = (fma.f64 #s(literal 2 binary64) %113 %379)
%690 = (fma.f64 #s(literal 2 binary64) %32 %401)
%691 = (fma.f64 #s(literal 2 binary64) %32 %403)
%692 = (fma.f64 #s(literal 2 binary64) %32 %400)
%694 = (fma.f64 #s(literal 2 binary64) (*.f64 %391 #s(literal 2 binary64)) %12)
%695 = (fma.f64 #s(literal 2 binary64) %342 %386)
%696 = (fma.f64 #s(literal 2 binary64) %342 %388)
%697 = (*.f64 %280 #s(literal 1 binary64))
%698 = (fma.f64 #s(literal 2 binary64) %697 %279)
%699 = (*.f64 %279 #s(literal 1/2 binary64))
%700 = (fma.f64 #s(literal 2 binary64) %699 %279)
%701 = (*.f64 %390 #s(literal 1/2 binary64))
%702 = (fma.f64 #s(literal 2 binary64) %701 %381)
%703 = (fma.f64 #s(literal 2 binary64) %701 %383)
%704 = (fma.f64 #s(literal 2 binary64) %701 %372)
%705 = (fma.f64 #s(literal 2 binary64) %34 %401)
%706 = (fma.f64 #s(literal 2 binary64) %34 %403)
%707 = (fma.f64 #s(literal 2 binary64) %34 %400)
%709 = (fma.f64 #s(literal 2 binary64) (fma.f64 x x %6) %5)
%711 = (fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %279 %391) %5)
%713 = (fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %390 %280) %5)
%715 = (fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %5 %390) %5)
%717 = (fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %279 %6) %390)
%719 = (fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %390 %5) %390)
%721 = (fma.f64 #s(literal 2 binary64) (fma.f64 y x %391) %390)
%723 = (fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) %5 %280) %390)
%725 = (fma.f64 #s(literal 2 binary64) (-.f64 %6 %370) %5)
%727 = (fma.f64 #s(literal 2 binary64) (-.f64 %391 %42) %390)
%728 = (fabs.f64 %391)
%729 = (fma.f64 #s(literal 2 binary64) %728 %381)
%730 = (fma.f64 #s(literal 2 binary64) %728 %383)
%731 = (fma.f64 #s(literal 2 binary64) %728 %372)
%732 = (fma.f64 #s(literal 2 binary64) %280 %279)
%733 = (fma.f64 #s(literal 2 binary64) %391 %381)
%734 = (fma.f64 #s(literal 2 binary64) %391 %383)
%735 = (fma.f64 #s(literal 2 binary64) %391 %372)
%736 = (fma.f64 #s(literal 2 binary64) %6 %401)
%737 = (fma.f64 #s(literal 2 binary64) %6 %403)
%738 = (fma.f64 #s(literal 2 binary64) %6 %400)
%739 = (fma.f64 #s(literal 2 binary64) %279 %386)
%740 = (fma.f64 #s(literal 2 binary64) %279 %388)
%741 = (fma.f64 #s(literal 2 binary64) %390 %12)
%742 = (fma.f64 #s(literal 2 binary64) %5 %379)
%743 = (-.f64 %372 %370)
%744 = (-.f64 %400 %42)
%745 = (-.f64 %379 %102)
%746 = (-.f64 %279 %291)
%747 = (-.f64 %390 %367)
%749 = (-.f64 %12 (*.f64 #s(literal -2 binary64) %390))
%750 = (-.f64 %5 %375)
%751 = (+.f64 %381 %390)
%752 = (+.f64 %401 %5)
%754 = (+.f64 (*.f64 %328 x) %390)
%755 = (+.f64 %403 %5)
%756 = (+.f64 %372 %390)
%757 = (+.f64 %400 %5)
%758 = (+.f64 %379 %12)
%759 = (+.f64 %279 %279)
%760 = (+.f64 %286 %386)
%761 = (+.f64 %286 %388)
%762 = (+.f64 %390 %381)
%763 = (+.f64 %390 %383)
%764 = (+.f64 %390 %372)
%765 = (+.f64 %12 %379)
%766 = (+.f64 %5 %401)
%767 = (+.f64 %5 %403)
%768 = (+.f64 %5 %400)
%797 = (*.f64 %279 #s(literal 0 binary64))
%799 = (*.f64 #s(literal 0 binary64) %279)
#s(literal 2 binary64)
x
y
%8
%11
%13
%16
%19
%20
%21
%24
%25
%26
%28
%5
%30
%31
%33
%35
%36
%37
%40
%41
%43
%46
%48
%49
%50
%51
%52
%53
%54
%55
%56
%57
%58
%59
%60
%61
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%74
%75
%76
%77
%78
%79
%80
%81
%82
%83
%84
%85
%86
%87
(*.f64 %6 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %6)
(*.f64 %91 %15)
%12
(*.f64 #s(literal 1/2 binary64) %93)
(*.f64 #s(literal 1/2 binary64) %95)
(*.f64 #s(literal 1/2 binary64) %97)
(*.f64 #s(literal -2 binary64) %42)
(*.f64 %100 %14)
(*.f64 %102 #s(literal -1 binary64))
(*.f64 %14 %100)
(*.f64 %42 #s(literal -2 binary64))
(*.f64 %15 %91)
(*.f64 #s(literal 1 binary64) %12)
(*.f64 %22 y)
(*.f64 %12 #s(literal 1 binary64))
(*.f64 %5 #s(literal 2 binary64))
(*.f64 y %22)
(*.f64 x %9)
(*.f64 #s(literal 2 binary64) %113)
(*.f64 #s(literal 2 binary64) %5)
(pow.f64 %12 #s(literal 1 binary64))
(/.f64 (*.f64 %12 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %95 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
(neg.f64 %102)
(fma.f64 %6 #s(literal 4 binary64) %123)
(fma.f64 %6 #s(literal 4 binary64) %125)
(fma.f64 #s(literal 4 binary64) %7 %5)
(fma.f64 #s(literal 4 binary64) %6 %123)
(fma.f64 #s(literal 4 binary64) %6 %125)
(fma.f64 %91 %15 %123)
(fma.f64 %91 %15 %125)
(fma.f64 %9 %10 %5)
(fma.f64 %9 x %123)
(fma.f64 %9 x %125)
(fma.f64 #s(literal 1/2 binary64) %93 %123)
(fma.f64 #s(literal 1/2 binary64) %93 %125)
(fma.f64 #s(literal 1/2 binary64) %95 %123)
(fma.f64 #s(literal 1/2 binary64) %95 %125)
(fma.f64 #s(literal 1/2 binary64) %97 %123)
(fma.f64 #s(literal 1/2 binary64) %97 %125)
(fma.f64 #s(literal 1/2 binary64) %12 %5)
(fma.f64 #s(literal -2 binary64) %42 %123)
(fma.f64 #s(literal -2 binary64) %42 %125)
(fma.f64 %100 %14 %123)
(fma.f64 %100 %14 %125)
(fma.f64 %102 #s(literal -1 binary64) %123)
(fma.f64 %102 #s(literal -1 binary64) %125)
(fma.f64 %14 %100 %123)
(fma.f64 %14 %100 %125)
(fma.f64 %14 %15 %5)
(fma.f64 %42 #s(literal -2 binary64) %123)
(fma.f64 %42 #s(literal -2 binary64) %125)
(fma.f64 %15 %18 %5)
(fma.f64 %15 %91 %123)
(fma.f64 %15 %91 %125)
(fma.f64 %15 %14 %5)
(fma.f64 #s(literal 1 binary64) %12 %123)
(fma.f64 #s(literal 1 binary64) %12 %125)
(fma.f64 #s(literal 1 binary64) %5 %5)
(fma.f64 %22 %23 %5)
(fma.f64 %22 y %123)
(fma.f64 %22 y %125)
(fma.f64 %12 #s(literal 1/2 binary64) %5)
(fma.f64 %12 #s(literal 1 binary64) %123)
(fma.f64 %12 #s(literal 1 binary64) %125)
(fma.f64 %5 #s(literal 1 binary64) %5)
(fma.f64 %5 #s(literal 2 binary64) %123)
(fma.f64 %5 #s(literal 2 binary64) %125)
(fma.f64 y %27 %5)
(fma.f64 y %22 %123)
(fma.f64 y %22 %125)
(fma.f64 y x %5)
(fma.f64 x %29 %5)
(fma.f64 x %9 %123)
(fma.f64 x %9 %125)
(fma.f64 x y %5)
(fma.f64 #s(literal 2 binary64) %113 %123)
(fma.f64 #s(literal 2 binary64) %113 %125)
(fma.f64 #s(literal 2 binary64) %32 %5)
(fma.f64 #s(literal 2 binary64) %34 %5)
(fma.f64 #s(literal 2 binary64) %6 %5)
(fma.f64 #s(literal 2 binary64) %5 %123)
(fma.f64 #s(literal 2 binary64) %5 %125)
(-.f64 %5 %42)
(+.f64 %12 %123)
(+.f64 %12 %125)
(+.f64 %5 %5)
(pow.f64 %192 #s(literal 1 binary64))
%192
(/.f64 #s(literal 1 binary64) (pow.f64 %192 #s(literal -1 binary64)))
(*.f64 #s(literal 4 binary64) %196)
(*.f64 #s(literal 1/2 binary64) %198)
(*.f64 #s(literal -2 binary64) %15)
(*.f64 %100 #s(literal -1 binary64))
(*.f64 %15 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %22)
(*.f64 %22 #s(literal 1 binary64))
(*.f64 x #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
(pow.f64 %22 #s(literal 1 binary64))
(/.f64 (*.f64 %22 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))
(neg.f64 %100)
(fma.f64 #s(literal 4 binary64) %196 %213)
(fma.f64 #s(literal 4 binary64) %196 %215)
(fma.f64 #s(literal 1/2 binary64) %198 %213)
(fma.f64 #s(literal 1/2 binary64) %198 %215)
(fma.f64 #s(literal -2 binary64) %15 %213)
(fma.f64 #s(literal -2 binary64) %15 %215)
(fma.f64 %100 #s(literal -1 binary64) %213)
(fma.f64 %100 #s(literal -1 binary64) %215)
(fma.f64 %15 #s(literal -2 binary64) %213)
(fma.f64 %15 #s(literal -2 binary64) %215)
(fma.f64 #s(literal 1 binary64) %22 %213)
(fma.f64 #s(literal 1 binary64) %22 %215)
(fma.f64 %22 #s(literal 1/2 binary64) %27)
(fma.f64 %22 #s(literal 1 binary64) %213)
(fma.f64 %22 #s(literal 1 binary64) %215)
(fma.f64 x #s(literal 2 binary64) %213)
(fma.f64 x #s(literal 2 binary64) %215)
(fma.f64 #s(literal 2 binary64) x %213)
(fma.f64 #s(literal 2 binary64) x %215)
(-.f64 x (*.f64 #s(literal -1 binary64) x))
(-.f64 x %15)
(+.f64 %27 %27)
(+.f64 %22 %213)
(+.f64 %22 %215)
%22
%8
%11
%13
%16
%19
%20
%21
%24
%25
%26
%28
%5
%30
%31
%33
%35
%36
%37
%40
%41
%43
%46
%48
%49
%50
%51
%52
%53
%54
%55
%56
%57
%58
%59
%60
%61
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%74
%75
%76
%77
%78
%79
%80
%81
%82
%83
%84
%85
%86
%87
(*.f64 #s(literal 1/2 binary64) %241)
(*.f64 #s(literal 1 binary64) %240)
(*.f64 %240 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %245)
(pow.f64 %240 #s(literal 1 binary64))
(/.f64 %241 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %240 #s(literal -1 binary64)))
(neg.f64 (*.f64 %240 #s(literal -1 binary64)))
(neg.f64 %254)
(neg.f64 (*.f64 #s(literal -1 binary64) %240))
(neg.f64 %253)
(fma.f64 #s(literal 1/2 binary64) %241 %259)
(fma.f64 #s(literal 1/2 binary64) %241 %261)
(fma.f64 #s(literal 1/2 binary64) %240 %245)
(fma.f64 #s(literal 1 binary64) %240 %259)
(fma.f64 #s(literal 1 binary64) %240 %261)
(fma.f64 %240 #s(literal 1/2 binary64) %266)
(fma.f64 %240 #s(literal 1 binary64) %259)
(fma.f64 %240 #s(literal 1 binary64) %261)
(fma.f64 #s(literal 2 binary64) %245 %259)
(fma.f64 #s(literal 2 binary64) %245 %261)
(-.f64 y %15)
(-.f64 x %14)
(+.f64 %266 %266)
(+.f64 %245 %245)
(+.f64 %240 %259)
(+.f64 %240 %261)
%240
(+.f64 x y)
%281
%282
%283
%285
%288
%290
%292
%293
%294
%295
%296
%300
%302
%305
%308
%310
%312
%313
%314
%315
%286
%316
%317
%319
%321
%324
%327
%330
%332
%334
%336
%338
%340
%341
%343
%344
%345
%347
%348
%350
%352
%354
%357
%359
%361
%363
%365
%369
%374
%377
%378
%382
%384
%385
%387
%389
%392
%393
%394
%395
%397
%398
%399
%402
%404
%405
%407
%408
%409
%410
%411
%416
%417
%418
%419
%420
%423
%424
%425
%428
%429
%430
%431
%432
%433
%434
%436
%437
%438
%439
%440
%441
%442
%443
%445
%446
%447
%448
%450
%451
%452
%454
%455
%456
%458
%460
%461
%463
%465
%466
%467
%468
%469
%470
%471
%472
%473
%474
%475
%476
%477
%478
%479
%480
%482
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%497
%498
%499
%500
%501
%502
%503
%504
%505
%507
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%524
%525
%526
%527
%528
%529
%530
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%543
%545
%547
%548
%549
%551
%553
%555
%556
%557
%558
%560
%561
%562
%563
%564
%566
%567
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%663
%664
%666
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%686
%687
%688
%689
%690
%691
%692
%694
%695
%696
%698
%700
%702
%703
%704
%705
%706
%707
%709
%711
%713
%715
%717
%719
%721
%723
%725
%727
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%749
%750
%751
%752
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
(*.f64 #s(literal 4 binary64) %406)
(*.f64 %241 %10)
(*.f64 #s(literal 1/2 binary64) %286)
(*.f64 %100 %481)
(*.f64 %291 #s(literal -1 binary64))
(*.f64 %253 %496)
(*.f64 %253 %15)
(*.f64 #s(literal -1 binary64) %291)
(*.f64 %15 %531)
(*.f64 %15 %253)
(*.f64 #s(literal 1 binary64) %279)
(*.f64 %279 #s(literal 1 binary64))
(*.f64 %240 %27)
%279
(*.f64 %22 %266)
(*.f64 %286 #s(literal 1/2 binary64))
(*.f64 x %636)
(*.f64 x %240)
(*.f64 #s(literal 2 binary64) %697)
(*.f64 #s(literal 2 binary64) %699)
(*.f64 #s(literal 2 binary64) %280)
(pow.f64 %279 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %279 #s(literal -1 binary64)))
(/.f64 %286 #s(literal 2 binary64))
(neg.f64 %291)
(fma.f64 %380 #s(literal 1/2 binary64) %5)
(fma.f64 #s(literal 4 binary64) %396 %5)
(fma.f64 #s(literal 4 binary64) %7 %390)
(fma.f64 #s(literal 4 binary64) %406 %797)
(fma.f64 #s(literal 4 binary64) %406 %799)
(fma.f64 %413 %415 %5)
(fma.f64 %421 %422 %5)
(fma.f64 %9 %10 %390)
(fma.f64 %426 %435 %5)
(fma.f64 %241 %10 %797)
(fma.f64 %241 %10 %799)
(fma.f64 #s(literal 1/2 binary64) %379 %5)
(fma.f64 #s(literal 1/2 binary64) %279 %280)
(fma.f64 #s(literal 1/2 binary64) %286 %797)
(fma.f64 #s(literal 1/2 binary64) %286 %799)
(fma.f64 #s(literal 1/2 binary64) %12 %390)
(fma.f64 %370 #s(literal -1 binary64) %5)
(fma.f64 %100 %481 %797)
(fma.f64 %100 %481 %799)
(fma.f64 %100 %483 %5)
(fma.f64 %291 #s(literal -1 binary64) %797)
(fma.f64 %291 #s(literal -1 binary64) %799)
(fma.f64 %253 %496 %797)
(fma.f64 %253 %496 %799)
(fma.f64 %253 %15 %797)
(fma.f64 %253 %15 %799)
(fma.f64 #s(literal -1 binary64) %370 %5)
(fma.f64 #s(literal -1 binary64) %291 %797)
(fma.f64 #s(literal -1 binary64) %291 %799)
(fma.f64 %414 %506 %5)
(fma.f64 %414 %414 %5)
(fma.f64 %379 #s(literal 1/2 binary64) %5)
(fma.f64 %14 %15 %390)
(fma.f64 %412 %523 %5)
(fma.f64 %412 %412 %5)
(fma.f64 %15 %531 %797)
(fma.f64 %15 %531 %799)
(fma.f64 %15 %496 %5)
(fma.f64 %15 %18 %390)
(fma.f64 %15 %253 %797)
(fma.f64 %15 %253 %799)
(fma.f64 %15 %14 %390)
(fma.f64 %15 %15 %5)
(fma.f64 #s(literal 1 binary64) %280 %280)
(fma.f64 #s(literal 1 binary64) %279 %797)
(fma.f64 #s(literal 1 binary64) %279 %799)
(fma.f64 #s(literal 1 binary64) %390 %5)
(fma.f64 #s(literal 1 binary64) %5 %390)
(fma.f64 %279 #s(literal 1/2 binary64) %699)
(fma.f64 %279 #s(literal 1 binary64) %797)
(fma.f64 %279 #s(literal 1 binary64) %799)
(fma.f64 %240 %27 %797)
(fma.f64 %240 %27 %799)
(fma.f64 %240 x %797)
(fma.f64 %240 x %799)
(fma.f64 %22 %23 %390)
(fma.f64 %22 %10 %5)
(fma.f64 %22 %266 %797)
(fma.f64 %22 %266 %799)
(fma.f64 %286 #s(literal 1/2 binary64) %797)
(fma.f64 %286 #s(literal 1/2 binary64) %799)
(fma.f64 %390 #s(literal 1 binary64) %5)
(fma.f64 %12 #s(literal 1/2 binary64) %390)
(fma.f64 %5 #s(literal 1 binary64) %390)
(fma.f64 y %27 %390)
(fma.f64 y x %390)
(fma.f64 x %636 %797)
(fma.f64 x %636 %799)
(fma.f64 x %27 %5)
(fma.f64 x %29 %390)
(fma.f64 x %240 %797)
(fma.f64 x %240 %799)
(fma.f64 x y %390)
(fma.f64 x x %5)
(fma.f64 #s(literal 2 binary64) %685 %5)
(fma.f64 #s(literal 2 binary64) %32 %390)
(fma.f64 #s(literal 2 binary64) %697 %797)
(fma.f64 #s(literal 2 binary64) %697 %799)
(fma.f64 #s(literal 2 binary64) %699 %797)
(fma.f64 #s(literal 2 binary64) %699 %799)
(fma.f64 #s(literal 2 binary64) %701 %5)
(fma.f64 #s(literal 2 binary64) %34 %390)
(fma.f64 #s(literal 2 binary64) %728 %5)
(fma.f64 #s(literal 2 binary64) %280 %797)
(fma.f64 #s(literal 2 binary64) %280 %799)
(fma.f64 #s(literal 2 binary64) %391 %5)
(fma.f64 #s(literal 2 binary64) %6 %390)
(-.f64 %390 %42)
(-.f64 %5 %370)
(+.f64 %699 %699)
(+.f64 %280 %280)
(+.f64 %279 %797)
(+.f64 %279 %799)
(+.f64 %390 %5)
(+.f64 %5 %390)
%281
%282
%283
%285
%288
%290
%292
%293
%294
%295
%296
%300
%302
%305
%308
%310
%312
%313
%314
%315
%286
%316
%317
%319
%321
%324
%327
%330
%332
%334
%336
%338
%340
%341
%343
%344
%345
%347
%348
%350
%352
%354
%357
%359
%361
%363
%365
%369
%374
%377
%378
%382
%384
%385
%387
%389
%392
%393
%394
%395
%397
%398
%399
%402
%404
%405
%407
%408
%409
%410
%411
%416
%417
%418
%419
%420
%423
%424
%425
%428
%429
%430
%431
%432
%433
%434
%436
%437
%438
%439
%440
%441
%442
%443
%445
%446
%447
%448
%450
%451
%452
%454
%455
%456
%458
%460
%461
%463
%465
%466
%467
%468
%469
%470
%471
%472
%473
%474
%475
%476
%477
%478
%479
%480
%482
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%497
%498
%499
%500
%501
%502
%503
%504
%505
%507
%508
%509
%510
%511
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%524
%525
%526
%527
%528
%529
%530
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%543
%545
%547
%548
%549
%551
%553
%555
%556
%557
%558
%560
%561
%562
%563
%564
%566
%567
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%663
%664
%666
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%686
%687
%688
%689
%690
%691
%692
%694
%695
%696
%698
%700
%702
%703
%704
%705
%706
%707
%709
%711
%713
%715
%717
%719
%721
%723
%725
%727
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%749
%750
%751
%752
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
reconstruct95.0ms (9.1%)
Counts
1 179 → 117
Compiler
Compiled 1 179 to 927 computations (21.4% saved)
eval7.0ms (0.6%)
Compiler
Compiled 84 to 184 computations (-119.0% saved)
prune2.0ms (0.2%)
Pruning
4 alts after pruning (2 fresh and 2 done)
PrunedKeptTotal
New82284
Fresh000
Picked123
Done000
Total83487
Accuracy
100.0%
Counts
87 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 (+.f64 x x) (+.f64 y x))
▶57.1%
(*.f64 (+.f64 x x) (approx (+ y x) y))
✓97.3%
(*.f64 #s(literal 2 binary64) (fma.f64 x x (*.f64 y x)))
▶10.8%
(approx (* 2 (+ (* x x) (* x y))) (*.f64 (approx 2 #s(literal 0 binary64)) (*.f64 x y)))
Compiler
Compiled 4 to 13 computations (-225.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
2
Outputs
#s(literal 2 binary64)
Samples
0.0ms1×0valid
Compiler
Compiled 3 to 3 computations (0.0% saved)
series8.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
063205
Stop Event
1×iter-limit
Counts
10 → 17
Calls
Call 1
Inputs
%2 = (*.f64 x y)
%5 = (approx 2 #s(literal 0 binary64))
%6 = (+.f64 x x)
%8 = (approx (+ y x) y)
%10 = (*.f64 %5 %2)
x
y
%2
#s(literal 0 binary64)
%5
%6
%8
(*.f64 %6 %8)
%10
(approx (* 2 (+ (* x x) (* x y))) %10)
Outputs
%6 = (*.f64 x y)
%8 = (+ x x)
%12 = (+ y x)
%16 = (* %8 %12)
%24 = (/.f64 y x)
%28 = (pow.f64 x #s(literal 2 binary64))
%29 = (*.f64 #s(literal 2 binary64) %28)
%43 = (/.f64 x y)
%47 = (/.f64 %28 y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* x y) %6)
(approx %8 (*.f64 #s(literal 2 binary64) x))
(approx %12 y)
(approx %12 (+.f64 x y))
(approx %16 (*.f64 #s(literal 2 binary64) %6))
(approx %16 (*.f64 x (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) y))))
(approx %12 (*.f64 x (+.f64 #s(literal 1 binary64) %24)))
(approx %16 %29)
(approx %16 (*.f64 %28 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %24))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %24) #s(literal 1 binary64)))))
(approx %16 (fma.f64 #s(literal 2 binary64) %6 %29))
(approx %12 (*.f64 y (+.f64 #s(literal 1 binary64) %43)))
(approx %16 (*.f64 y (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %47))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %43) #s(literal 1 binary64)))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %47)))))
Calls
6 calls:
TimeVariablePoint
4.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
y
-inf
1.0ms
x
0
rewrite67.0ms (6.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01650
02048
16748
222148
393548
0415448
0424848
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
10 → 92
Calls
Call 1
Inputs
%2 = (*.f64 x y)
%5 = (approx 2 #s(literal 0 binary64))
%6 = (+.f64 x x)
%8 = (approx (+ y x) y)
%10 = (*.f64 %5 %2)
x
y
%2
#s(literal 0 binary64)
%5
%6
%8
(*.f64 %6 %8)
%10
(approx (* 2 (+ (* x x) (* x y))) %10)
Outputs
%3 = (*.f64 #s(literal 1 binary64) x)
%7 = (neg.f64 y)
%8 = (neg.f64 %7)
%10 = (neg.f64 x)
%12 = (+.f64 x x)
%13 = (*.f64 %12 y)
%17 = (*.f64 y x)
%23 = (*.f64 x #s(literal 1 binary64))
%35 = (*.f64 %10 y)
%39 = (approx 2 #s(literal 0 binary64))
%44 = (*.f64 #s(literal 1 binary64) %10)
%47 = (*.f64 #s(literal -2 binary64) x)
%70 = (+ y x)
%71 = (approx %70 y)
%75 = (neg.f64 %71)
%77 = (*.f64 %71 #s(literal 2 binary64))
%79 = (*.f64 %71 x)
%82 = (*.f64 %71 %12)
%84 = (*.f64 #s(literal 1 binary64) %79)
%87 = (+.f64 %71 %71)
%105 = (*.f64 %10 %71)
%111 = (*.f64 (neg.f64 %75) x)
%119 = (*.f64 %39 y)
%121 = (*.f64 %39 x)
%123 = (*.f64 %39 %17)
%140 = (approx (* (* %70 x) 2) %123)
x
y
(*.f64 %3 y)
(*.f64 (*.f64 #s(literal 1 binary64) y) x)
(*.f64 %8 x)
(*.f64 %7 %10)
(*.f64 %13 #s(literal 1/2 binary64))
(*.f64 %10 %7)
(*.f64 #s(literal 1 binary64) %17)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %17))
(*.f64 %17 #s(literal 1 binary64))
(*.f64 y %23)
%17
(*.f64 x (*.f64 y #s(literal 1 binary64)))
(*.f64 x %8)
(*.f64 x y)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 %13 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
(/.f64 %17 #s(literal 1 binary64))
(neg.f64 %35)
#s(literal 0 binary64)
(pow.f64 %39 #s(literal 1 binary64))
%39
(/.f64 #s(literal 1 binary64) (pow.f64 %39 #s(literal -1 binary64)))
(*.f64 #s(literal -2 binary64) %44)
(*.f64 #s(literal -2 binary64) %10)
(*.f64 %47 #s(literal -1 binary64))
(*.f64 %10 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %12)
(*.f64 %12 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %3)
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %12 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
(/.f64 %12 #s(literal 1 binary64))
(neg.f64 %47)
(fma.f64 #s(literal 1 binary64) x %3)
(fma.f64 x #s(literal 1 binary64) %23)
(-.f64 %23 (*.f64 %10 #s(literal 1 binary64)))
(-.f64 %3 (*.f64 #s(literal -1 binary64) x))
(-.f64 %3 %44)
(-.f64 x %10)
(+.f64 %23 %23)
(+.f64 %3 %3)
%12
(pow.f64 %71 #s(literal 1 binary64))
%71
(/.f64 #s(literal 1 binary64) (pow.f64 %71 #s(literal -1 binary64)))
(*.f64 %75 %47)
(*.f64 %77 x)
(*.f64 %79 #s(literal 2 binary64))
(*.f64 %47 %75)
%82
(*.f64 %12 %71)
(*.f64 #s(literal 2 binary64) %84)
(*.f64 #s(literal 2 binary64) %79)
(*.f64 x %87)
(*.f64 x %77)
(pow.f64 %82 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %82 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) %84))
(neg.f64 (*.f64 #s(literal -2 binary64) %79))
(neg.f64 (*.f64 %10 %87))
(neg.f64 (*.f64 %10 %77))
(neg.f64 (*.f64 %77 %10))
(neg.f64 (*.f64 %79 #s(literal -2 binary64)))
(neg.f64 (-.f64 %105 %79))
(neg.f64 (*.f64 %47 %71))
(fma.f64 %71 x %111)
(fma.f64 %71 x %79)
(fma.f64 x %71 %111)
(fma.f64 x %71 %79)
(-.f64 %79 %105)
(+.f64 %79 %111)
(+.f64 %79 %79)
(*.f64 %119 x)
(*.f64 %121 y)
%123
(*.f64 %17 %39)
(*.f64 y %121)
(*.f64 x %119)
(pow.f64 %123 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %123 #s(literal -1 binary64)))
(neg.f64 (*.f64 %35 %39))
(neg.f64 (*.f64 %10 %119))
(neg.f64 (*.f64 %119 %10))
(neg.f64 (*.f64 %39 %35))
(pow.f64 %140 #s(literal 1 binary64))
%140
(/.f64 #s(literal 1 binary64) (pow.f64 %140 #s(literal -1 binary64)))
reconstruct8.0ms (0.8%)
Counts
109 → 28
Compiler
Compiled 109 to 170 computations (-56.0% saved)
eval2.0ms (0.2%)
Compiler
Compiled 25 to 64 computations (-156.0% saved)
prune3.0ms (0.3%)
Pruning
4 alts after pruning (1 fresh and 3 done)
PrunedKeptTotal
New24125
Fresh000
Picked112
Done022
Total25429
Accuracy
100.0%
Counts
29 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶11.0%
%13 = (approx x #s(literal 0 binary64))
(*.f64 (+.f64 %13 %13) (approx (+ y x) y))
✓100.0%
(*.f64 (+.f64 x x) (+.f64 y x))
✓57.1%
(*.f64 (+.f64 x x) (approx (+ y x) y))
✓97.3%
(*.f64 #s(literal 2 binary64) (fma.f64 x x (*.f64 y x)))
Compiler
Compiled 4 to 13 computations (-225.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series7.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
062198
Stop Event
1×iter-limit
Counts
7 → 16
Calls
Call 1
Inputs
%4 = (approx (+ y x) y)
%5 = (approx x #s(literal 0 binary64))
%6 = (+.f64 %5 %5)
x
y
#s(literal 0 binary64)
%4
%5
%6
(*.f64 %6 %4)
Outputs
%5 = (+ y x)
%9 = (+ x x)
%13 = (* %9 %5)
%14 = (*.f64 x y)
%22 = (/.f64 y x)
%26 = (pow.f64 x #s(literal 2 binary64))
%27 = (*.f64 #s(literal 2 binary64) %26)
%41 = (/.f64 x y)
%45 = (/.f64 %26 y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %9 (*.f64 #s(literal 2 binary64) x))
(approx %13 (*.f64 #s(literal 2 binary64) %14))
(approx %13 (*.f64 x (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) y))))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %22)))
(approx %13 %27)
(approx %13 (*.f64 %26 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %22))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %22) #s(literal 1 binary64)))))
(approx %13 (fma.f64 #s(literal 2 binary64) %14 %27))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) %41)))
(approx %13 (*.f64 y (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %45))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %41) #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %45)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
x
0
rewrite76.0ms (7.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0831
01027
12827
26027
316327
481327
0412527
0423327
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 164
Calls
Call 1
Inputs
%4 = (approx (+ y x) y)
%5 = (approx x #s(literal 0 binary64))
%6 = (+.f64 %5 %5)
x
y
#s(literal 0 binary64)
%4
%5
%6
(*.f64 %6 %4)
Outputs
%4 = (approx (+ y x) y)
%6 = (*.f64 %4 #s(literal 1/2 binary64))
%9 = (+.f64 %4 %4)
%12 = (*.f64 #s(literal 1/2 binary64) %4)
%18 = (E.f64 )
%19 = (*.f64 %4 %18)
%21 = (neg.f64 %18)
%23 = (*.f64 %18 %4)
%31 = (neg.f64 %4)
%38 = (*.f64 %4 #s(literal 0 binary64))
%39 = (/.f64 %38 #s(literal 1 binary64))
%41 = (*.f64 #s(literal 0 binary64) %4)
%42 = (/.f64 %41 #s(literal 1 binary64))
%68 = (/.f64 %4 #s(literal 2 binary64))
%70 = (/.f64 %6 #s(literal 1 binary64))
%72 = (/.f64 %12 #s(literal 1 binary64))
%80 = (approx x #s(literal 0 binary64))
%81 = (*.f64 %80 #s(literal 1/2 binary64))
%83 = (+.f64 %80 %80)
%85 = (*.f64 #s(literal 1/2 binary64) %80)
%91 = (*.f64 %80 %18)
%94 = (*.f64 %18 %80)
%99 = (neg.f64 %80)
%100 = (*.f64 %99 #s(literal 1 binary64))
%102 = (*.f64 #s(literal -2 binary64) %80)
%111 = (*.f64 %80 #s(literal 0 binary64))
%112 = (/.f64 %111 #s(literal 1 binary64))
%114 = (*.f64 #s(literal 0 binary64) %80)
%115 = (/.f64 %114 #s(literal 1 binary64))
%141 = (/.f64 %80 #s(literal 2 binary64))
%143 = (/.f64 %81 #s(literal 1 binary64))
%145 = (/.f64 %85 #s(literal 1 binary64))
%186 = (*.f64 %80 %4)
%196 = (*.f64 %83 %4)
%208 = (*.f64 %99 %4)
%213 = (*.f64 %186 #s(literal 1 binary64))
%216 = (*.f64 (neg.f64 %31) %80)
x
y
#s(literal 0 binary64)
(*.f64 %6 #s(literal 2 binary64))
(*.f64 %9 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %9)
(*.f64 #s(literal 2 binary64) %12)
(*.f64 #s(literal 1 binary64) %4)
(*.f64 %4 #s(literal 1 binary64))
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 (neg.f64 %19) %21)
(/.f64 (neg.f64 %23) %21)
(/.f64 (neg.f64 %9) #s(literal -2 binary64))
(/.f64 %19 %18)
(/.f64 %23 %18)
(/.f64 %31 #s(literal -1 binary64))
(/.f64 %9 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(/.f64 %4 #s(literal 1 binary64))
(fma.f64 %6 #s(literal 2 binary64) %39)
(fma.f64 %6 #s(literal 2 binary64) %42)
(fma.f64 %6 #s(literal 2 binary64) %38)
(fma.f64 %6 #s(literal 2 binary64) %41)
(fma.f64 %9 #s(literal 1/2 binary64) %39)
(fma.f64 %9 #s(literal 1/2 binary64) %42)
(fma.f64 %9 #s(literal 1/2 binary64) %38)
(fma.f64 %9 #s(literal 1/2 binary64) %41)
(fma.f64 #s(literal 1/2 binary64) %9 %39)
(fma.f64 #s(literal 1/2 binary64) %9 %42)
(fma.f64 #s(literal 1/2 binary64) %9 %38)
(fma.f64 #s(literal 1/2 binary64) %9 %41)
(fma.f64 #s(literal 1/2 binary64) %4 %12)
(fma.f64 #s(literal 2 binary64) %12 %39)
(fma.f64 #s(literal 2 binary64) %12 %42)
(fma.f64 #s(literal 2 binary64) %12 %38)
(fma.f64 #s(literal 2 binary64) %12 %41)
(fma.f64 #s(literal 1 binary64) %4 %39)
(fma.f64 #s(literal 1 binary64) %4 %42)
(fma.f64 #s(literal 1 binary64) %4 %38)
(fma.f64 #s(literal 1 binary64) %4 %41)
(fma.f64 %4 #s(literal 1/2 binary64) %6)
(fma.f64 %4 #s(literal 1 binary64) %39)
(fma.f64 %4 #s(literal 1 binary64) %42)
(fma.f64 %4 #s(literal 1 binary64) %38)
(fma.f64 %4 #s(literal 1 binary64) %41)
(+.f64 %68 %68)
(+.f64 %70 %70)
(+.f64 %72 %72)
(+.f64 %6 %6)
(+.f64 %12 %12)
(+.f64 %4 %39)
(+.f64 %4 %42)
(+.f64 %4 %38)
(+.f64 %4 %41)
(*.f64 %81 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %83)
(*.f64 #s(literal 2 binary64) %85)
(*.f64 #s(literal 1 binary64) %80)
(*.f64 %83 #s(literal 1/2 binary64))
(*.f64 %80 #s(literal 1 binary64))
(pow.f64 %80 #s(literal 1 binary64))
%80
(/.f64 (neg.f64 %91) %21)
(/.f64 (neg.f64 %94) %21)
(/.f64 %91 %18)
(/.f64 %94 %18)
(/.f64 %100 #s(literal -1 binary64))
(/.f64 %102 #s(literal -2 binary64))
(/.f64 %99 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %80 #s(literal -1 binary64)))
(/.f64 %83 #s(literal 2 binary64))
(/.f64 %80 #s(literal 1 binary64))
(neg.f64 %100)
(neg.f64 %99)
(fma.f64 %81 #s(literal 2 binary64) %112)
(fma.f64 %81 #s(literal 2 binary64) %115)
(fma.f64 %81 #s(literal 2 binary64) %111)
(fma.f64 %81 #s(literal 2 binary64) %114)
(fma.f64 #s(literal 1/2 binary64) %83 %112)
(fma.f64 #s(literal 1/2 binary64) %83 %115)
(fma.f64 #s(literal 1/2 binary64) %83 %111)
(fma.f64 #s(literal 1/2 binary64) %83 %114)
(fma.f64 #s(literal 1/2 binary64) %80 %85)
(fma.f64 #s(literal 2 binary64) %85 %112)
(fma.f64 #s(literal 2 binary64) %85 %115)
(fma.f64 #s(literal 2 binary64) %85 %111)
(fma.f64 #s(literal 2 binary64) %85 %114)
(fma.f64 #s(literal 1 binary64) %80 %112)
(fma.f64 #s(literal 1 binary64) %80 %115)
(fma.f64 #s(literal 1 binary64) %80 %111)
(fma.f64 #s(literal 1 binary64) %80 %114)
(fma.f64 %83 #s(literal 1/2 binary64) %112)
(fma.f64 %83 #s(literal 1/2 binary64) %115)
(fma.f64 %83 #s(literal 1/2 binary64) %111)
(fma.f64 %83 #s(literal 1/2 binary64) %114)
(fma.f64 %80 #s(literal 1/2 binary64) %81)
(fma.f64 %80 #s(literal 1 binary64) %112)
(fma.f64 %80 #s(literal 1 binary64) %115)
(fma.f64 %80 #s(literal 1 binary64) %111)
(fma.f64 %80 #s(literal 1 binary64) %114)
(+.f64 %141 %141)
(+.f64 %143 %143)
(+.f64 %145 %145)
(+.f64 %81 %81)
(+.f64 %85 %85)
(+.f64 %80 %112)
(+.f64 %80 %115)
(+.f64 %80 %111)
(+.f64 %80 %114)
(*.f64 %81 #s(literal 4 binary64))
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %80))
(*.f64 #s(literal 2 binary64) %80)
(*.f64 #s(literal 1 binary64) %83)
(*.f64 %83 #s(literal 1 binary64))
(*.f64 %80 #s(literal 2 binary64))
(pow.f64 %83 #s(literal 1 binary64))
(/.f64 (fma.f64 %80 %18 %91) %18)
(/.f64 (fma.f64 %18 %80 %91) %18)
(/.f64 (fma.f64 %80 %18 %94) %18)
(/.f64 (fma.f64 %18 %80 %94) %18)
(/.f64 (fma.f64 #s(literal 2 binary64) %80 %83) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %83 #s(literal -1 binary64)))
(/.f64 %83 #s(literal 1 binary64))
(neg.f64 %102)
(fma.f64 %81 #s(literal 2 binary64) %80)
(fma.f64 #s(literal 1/2 binary64) %83 %80)
(fma.f64 #s(literal 2 binary64) %85 %80)
(fma.f64 #s(literal 1 binary64) %80 %80)
(fma.f64 %83 #s(literal 1/2 binary64) %80)
(fma.f64 %80 #s(literal 1 binary64) %80)
(-.f64 %80 %100)
(-.f64 %80 (*.f64 #s(literal -1 binary64) %80))
(-.f64 %80 %99)
%83
(*.f64 (*.f64 %186 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %31 %102)
(*.f64 %9 %80)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %186))
(*.f64 %186 #s(literal 2 binary64))
(*.f64 %102 %31)
(*.f64 #s(literal 2 binary64) %186)
(*.f64 #s(literal 1 binary64) %196)
(*.f64 %196 #s(literal 1 binary64))
%196
(*.f64 %80 %9)
(*.f64 %4 %83)
(pow.f64 %196 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %196 #s(literal -1 binary64)))
(neg.f64 (*.f64 %99 %9))
(neg.f64 (*.f64 %9 %99))
(neg.f64 (-.f64 %208 %186))
(neg.f64 (*.f64 %102 %4))
(fma.f64 %186 #s(literal 1 binary64) %213)
(fma.f64 #s(literal 1 binary64) %186 %216)
(fma.f64 #s(literal 1 binary64) %186 %186)
(fma.f64 %80 %4 %216)
(fma.f64 %80 %4 %186)
(fma.f64 %4 %80 %216)
(fma.f64 %4 %80 %186)
(-.f64 %186 %208)
(+.f64 %213 %213)
(+.f64 %186 %216)
(+.f64 %186 %186)
reconstruct15.0ms (1.4%)
Counts
179 → 20
Compiler
Compiled 179 to 259 computations (-44.7% saved)
eval1.0ms (0.1%)
Compiler
Compiled 14 to 44 computations (-214.3% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (0 fresh and 4 done)
PrunedKeptTotal
New14014
Fresh000
Picked011
Done033
Total14418
Accuracy
100.0%
Counts
18 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓11.0%
%13 = (approx x #s(literal 0 binary64))
(*.f64 (+.f64 %13 %13) (approx (+ y x) y))
✓100.0%
(*.f64 (+.f64 x x) (+.f64 y x))
✓57.1%
(*.f64 (+.f64 x x) (approx (+ y x) y))
✓97.3%
(*.f64 #s(literal 2 binary64) (fma.f64 x x (*.f64 y x)))
Compiler
Compiled 4 to 13 computations (-225.0% saved)
regimes16.0ms (1.5%)
Accuracy
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
0.0b0%
0.0b0%
Counts
1 → 1
5 → 1
Calls
Call 1
Inputs
(*.f64 (+.f64 x x) (approx (+ y x) y))
Outputs
(*.f64 (+.f64 x x) (approx (+ y x) y))
Call 2
Inputs
%1 = (+.f64 x x)
%4 = (approx (+ y x) y)
%7 = (approx x #s(literal 0 binary64))
%14 = (* 2 (+ (* x x) (* x y)))
%16 = (*.f64 x y)
(*.f64 %1 %4)
(*.f64 (+.f64 %7 %7) %4)
(approx %14 (*.f64 #s(literal 2 binary64) %16))
(approx %14 (*.f64 (approx 2 #s(literal 0 binary64)) %16))
(*.f64 %1 (+.f64 y x))
Outputs
(*.f64 (+.f64 x x) (+.f64 y x))
Calls
4 calls:
5.0ms
(+.f64 (*.f64 x x) (*.f64 x y))
4.0ms
y
4.0ms
x
4.0ms
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x y)))
Results
AccuracySegmentsBranch
57.1%1
y
57.1%1
x
57.1%1
(*.f64 #s(literal 2 binary64) (+.f64 (*.f64 x x) (*.f64 x y)))
57.1%1
(+.f64 (*.f64 x x) (*.f64 x y))
Compiler
Compiled 11 to 26 computations (-136.4% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations16.0ms (1.6%)
Stop Event
1×done
Compiler
Compiled 2 to 6 computations (-200.0% saved)
preprocess8.0ms (0.8%)
Compiler
Compiled 3 to 13 computations (-333.3% saved)
end0.0ms (0.0%)
gc260ms (24.8%)
Allocations
AllocatedPercentPhase
366.1 MiB31.2%sample
346.7 MiB29.5%rewrite
281.1 MiB23.9%reconstruct
63.3 MiB5.4%series
37.5 MiB3.2%preprocess
32.5 MiB2.8%regimes
28.1 MiB2.4%eval
14.9 MiB1.3%prune
2.9 MiB0.3%derivations
0.8 MiB0.1%analyze
0.1 MiB0.0%bsearch
0.0 MiB0.0%end
0.0 MiB0.0%start
1 174.1 MiB100.0%total
Profiling
Loading profile data...