A quarter-circle in the lower-left quadrant

Time bar (total: 2.5min)

start0.0ms (0.0%)

analyze401.0ms (0.3%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%99.9%0.1%0.0%0.0%0.0%2
0.0%0.0%99.9%0.1%0.0%0.0%0.0%3
12.5%12.5%87.4%0.1%0.0%0.0%0.0%4
31.3%31.2%68.7%0.1%0.0%0.0%0.0%5
31.3%31.2%68.7%0.1%0.0%0.0%0.0%6
37.5%37.5%62.4%0.1%0.0%0.0%0.0%7
51.6%51.5%48.4%0.1%0.0%0.0%0.0%8
67.2%67.1%32.8%0.1%0.0%0.0%0.0%9
74.6%74.5%25.4%0.1%0.0%0.0%0.0%10
83.2%83.1%16.8%0.1%0.0%0.0%0.0%11
87.0%86.9%13.0%0.1%0.0%0.0%0.0%12
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample3.0s (2.0%)

Samples
2.1s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 788.0ms
ival-pow2: 411.0ms (52.2% of total, 109.5 MiB)
ival-add!: 150.0ms (19.0% of total, 29.1 MiB)
ival-sub!: 100.0ms (12.7% of total, 17.9 MiB)
adjust: 99.0ms (12.6% of total, 5.8 MiB)
ival-fmax: 27.0ms (3.4% of total, 5.2 MiB)
Bogosity

preprocess500.0ms (0.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02888
19984
221684
343784
486184
5281584
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fmax.f64 (-.f64 (+.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)) (fmax.f64 x y))
Symmetry

(sort x y)

Compiler

Compiled 2 to 20 computations (-900.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series400.0ms (0.3%)
Counts
10 → 15
Calls
Call 1
Inputs
%2 = (pow.f64 y #s(literal 2 binary64))
%4 = (pow.f64 x #s(literal 2 binary64))
%5 = (+.f64 %2 %4)
%7 = (-.f64 %5 #s(literal 1/2 binary64))
%8 = (fmax.f64 x y)
y
#s(literal 2 binary64)
%2
x
%4
%5
#s(literal 1/2 binary64)
%7
%8
(fmax.f64 %7 %8)
Outputs
%6 = (pow x 2)
%8 = (pow.f64 x #s(literal 2 binary64))
%11 = (+ (pow y 2) %6)
%12 = (pow.f64 y #s(literal 2 binary64))
%14 = (+.f64 %8 %12)
%17 = (- %11 1/2)
%21 = (-.f64 %14 #s(literal 1/2 binary64))
%23 = (fmax x y)
%24 = (fmax.f64 x y)
%31 = (+.f64 #s(literal 1 binary64) (/.f64 %12 %8))
%43 = (+.f64 #s(literal 1 binary64) (/.f64 %8 %12))
(approx y #s(literal 0 binary64))
(approx x x)
(approx %6 %8)
(approx %11 %12)
(approx %11 %14)
(approx %17 (-.f64 %12 #s(literal 1/2 binary64)))
(approx %17 %21)
(approx %23 %24)
(approx (fmax %17 %23) (fmax.f64 %21 %24))
(approx %11 (*.f64 %8 %31))
(approx %17 (*.f64 %8 (-.f64 %31 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %8)))))
(approx y y)
(approx %17 (-.f64 %8 #s(literal 1/2 binary64)))
(approx %11 (*.f64 %12 %43))
(approx %17 (*.f64 %12 (-.f64 %43 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %12)))))
Calls
6 calls:
TimeVariablePoint
10.0ms
x
0
9.0ms
y
-inf
1.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
rewrite2.9s (1.9%)
Counts
10 → 626
Calls
Call 1
Inputs
%2 = (pow.f64 y #s(literal 2 binary64))
%4 = (pow.f64 x #s(literal 2 binary64))
%5 = (+.f64 %2 %4)
%7 = (-.f64 %5 #s(literal 1/2 binary64))
%8 = (fmax.f64 x y)
y
#s(literal 2 binary64)
%2
x
%4
%5
#s(literal 1/2 binary64)
%7
%8
(fmax.f64 %7 %8)
Outputs
%1 = (neg.f64 y)
%187 = (sqrt.f64 #s(literal 1/2 binary64))
%188 = (sqrt.f64 #s(literal 2 binary64))
%191 = (sqrt.f64 #s(literal 1/8 binary64))
%192 = (sqrt.f64 #s(literal 8 binary64))
%200 = (*.f64 y y)
%202 = (neg.f64 %200)
%204 = (fabs.f64 y)
%216 = (neg.f64 %204)
%226 = (*.f64 %200 %200)
%228 = (sqrt.f64 %204)
%229 = (*.f64 %228 %204)
%231 = (*.f64 %204 %228)
%237 = (pow.f64 y #s(literal 1 binary64))
%251 = (fabs.f64 %237)
%253 = (pow.f64 %204 #s(literal 1 binary64))
%255 = (neg.f64 %237)
%257 = (pow.f64 %1 #s(literal 1 binary64))
%269 = (fabs.f64 %251)
%271 = (fabs.f64 %257)
%273 = (fabs.f64 %253)
%278 = (pow.f64 %216 #s(literal 1 binary64))
%280 = (pow.f64 %200 #s(literal 0 binary64))
%283 = (*.f64 %228 %251)
%285 = (sqrt.f64 %251)
%286 = (*.f64 %285 %204)
%289 = (*.f64 %251 %228)
%291 = (*.f64 %253 %228)
%294 = (*.f64 %204 %285)
%296 = (*.f64 %285 %285)
%298 = (*.f64 %285 %251)
%304 = (*.f64 %253 %285)
%306 = (*.f64 %251 %285)
%309 = (neg.f64 x)
%311 = (*.f64 x x)
%313 = (neg.f64 %311)
%315 = (fabs.f64 x)
%327 = (neg.f64 %315)
%337 = (*.f64 %311 %311)
%339 = (sqrt.f64 %315)
%340 = (*.f64 %339 %315)
%342 = (*.f64 %315 %339)
%348 = (pow.f64 x #s(literal 1 binary64))
%362 = (fabs.f64 %348)
%364 = (pow.f64 %315 #s(literal 1 binary64))
%366 = (neg.f64 %348)
%368 = (pow.f64 %309 #s(literal 1 binary64))
%380 = (fabs.f64 %362)
%382 = (fabs.f64 %368)
%384 = (fabs.f64 %364)
%389 = (pow.f64 %327 #s(literal 1 binary64))
%391 = (pow.f64 %311 #s(literal 0 binary64))
%394 = (*.f64 %339 %362)
%396 = (sqrt.f64 %362)
%397 = (*.f64 %396 %315)
%400 = (*.f64 %362 %339)
%402 = (*.f64 %364 %339)
%405 = (*.f64 %315 %396)
%407 = (*.f64 %396 %396)
%409 = (*.f64 %396 %362)
%415 = (*.f64 %364 %396)
%417 = (*.f64 %362 %396)
%419 = (fma.f64 x x %200)
%429 = (neg.f64 %419)
%654 = (fma.f64 y y #s(literal -1/2 binary64))
%655 = (fma.f64 x x %654)
%656 = (fma.f64 x x #s(literal -1/2 binary64))
%771 = (fmax.f64 x y)
y
(neg.f64 %1)
#s(literal 2 binary64)
(fabs.f64 #s(literal 2 binary64))
(fabs.f64 #s(literal -2 binary64))
(neg.f64 #s(literal -2 binary64))
(sqrt.f64 #s(literal 4 binary64))
(+.f64 #s(literal 2 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 3/2 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(+.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64))
(-.f64 #s(literal 2 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal -3/2 binary64))
(-.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) #s(literal -2 binary64))
(-.f64 #s(literal 3 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 3/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal -4 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 8 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal -4 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 16 binary64) #s(literal 1/8 binary64))
(*.f64 #s(literal -1/4 binary64) #s(literal -8 binary64))
(*.f64 #s(literal 1/8 binary64) #s(literal 16 binary64))
(*.f64 #s(literal 1/4 binary64) #s(literal 8 binary64))
(*.f64 #s(literal 32 binary64) #s(literal 1/16 binary64))
(*.f64 #s(literal 1/16 binary64) #s(literal 32 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 1/2 binary64) #s(literal 1/4 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 #s(literal -1 binary64) #s(literal -1/2 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -1 binary64))
(/.f64 #s(literal 8 binary64) #s(literal 4 binary64))
(/.f64 #s(literal -4 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 16 binary64) #s(literal 8 binary64))
(/.f64 #s(literal 1/4 binary64) #s(literal 1/8 binary64))
(/.f64 #s(literal 32 binary64) #s(literal 16 binary64))
(/.f64 #s(literal -16 binary64) #s(literal -8 binary64))
(/.f64 #s(literal -8 binary64) #s(literal -4 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 3/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 3 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 3/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 8 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -3/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 16 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/8 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 5/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/16 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/32 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/8 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/8 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/4 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/8 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/16 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal -1/4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal -1/8 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 16 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 16 binary64) #s(literal 1/8 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 16 binary64) #s(literal 1/16 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 16 binary64) #s(literal 1/32 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal -2 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal -4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal -8 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal 4 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal 8 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal 16 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 6 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 64 binary64) #s(literal 1/64 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 32 binary64) #s(literal 1/16 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 32 binary64) #s(literal 1/32 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -16 binary64) #s(literal -1/16 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -8 binary64) #s(literal -1/8 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/16 binary64) #s(literal -16 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/64 binary64) #s(literal 64 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/16 binary64) #s(literal 0 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/16 binary64) #s(literal 8 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 1/16 binary64) #s(literal 16 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/16 binary64) #s(literal 32 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/32 binary64) #s(literal 16 binary64) #s(literal 3/2 binary64))
(fma.f64 #s(literal 1/32 binary64) #s(literal 32 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/8 binary64) #s(literal -8 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 512 binary64) #s(literal 1/512 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/512 binary64) #s(literal 512 binary64) #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal -8 binary64) #s(literal -8 binary64)) #s(literal -8 binary64))
(/.f64 (+.f64 #s(literal -8 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 32 binary64) #s(literal 0 binary64)) #s(literal 16 binary64))
(/.f64 (+.f64 #s(literal -16 binary64) #s(literal 0 binary64)) #s(literal -8 binary64))
(/.f64 (-.f64 #s(literal 8 binary64) #s(literal -8 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal -8 binary64) #s(literal 8 binary64)) #s(literal -8 binary64))
(fma.f64 %187 %188 #s(literal 1 binary64))
(fma.f64 %188 %187 #s(literal 1 binary64))
(fma.f64 %191 %192 #s(literal 1 binary64))
(fma.f64 %192 %191 #s(literal 1 binary64))
(hypot.f64 #s(literal 2 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal -2 binary64))
(hypot.f64 #s(literal -2 binary64) #s(literal 0 binary64))
(pow.f64 #s(literal 1/2 binary64) #s(literal -1 binary64))
%200
(fabs.f64 %200)
(fabs.f64 %202)
(fabs.f64 (*.f64 %204 y))
(fabs.f64 (*.f64 y %204))
(*.f64 %204 %204)
(*.f64 %1 %1)
(neg.f64 %202)
(fabs.f64 (*.f64 %204 %1))
(fabs.f64 (*.f64 %1 %204))
(fabs.f64 (*.f64 %216 y))
(fabs.f64 (*.f64 y %216))
(fabs.f64 (*.f64 %216 %1))
(fabs.f64 (*.f64 %1 %216))
(*.f64 %216 %216)
(sqrt.f64 %226)
(*.f64 %228 %229)
(*.f64 %231 %228)
(pow.f64 y #s(literal 2 binary64))
(pow.f64 %204 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %216 #s(literal 2 binary64))
(*.f64 y %237)
(*.f64 %237 y)
(pow.f64 %200 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %1 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %204 #s(literal -2 binary64)))
(fabs.f64 (*.f64 %204 %237))
(fabs.f64 (*.f64 %237 %204))
(*.f64 %204 %251)
(*.f64 %204 %253)
(*.f64 %1 %255)
(*.f64 %1 %257)
(*.f64 %251 %204)
(*.f64 %255 %1)
(*.f64 %257 %1)
(*.f64 %253 %204)
(/.f64 #s(literal 1 binary64) (pow.f64 %216 #s(literal -2 binary64)))
(fabs.f64 (*.f64 %216 %237))
(fabs.f64 (*.f64 %237 %216))
(*.f64 %204 %269)
(*.f64 %271 %204)
(*.f64 %273 %204)
(*.f64 %269 %204)
(/.f64 #s(literal 1 binary64) (pow.f64 %200 #s(literal -1 binary64)))
(*.f64 %278 %216)
(*.f64 %280 %200)
(pow.f64 %226 #s(literal 1/2 binary64))
(*.f64 %228 %283)
(*.f64 %228 %286)
(*.f64 %285 %229)
(*.f64 %289 %228)
(*.f64 %291 %228)
(*.f64 %231 %285)
(*.f64 %294 %228)
(*.f64 %204 %296)
(*.f64 %228 %298)
(*.f64 %285 %283)
(*.f64 %289 %285)
(*.f64 %291 %285)
(*.f64 %296 %204)
(*.f64 %304 %228)
(*.f64 %306 %228)
x
(neg.f64 %309)
%311
(fabs.f64 %311)
(fabs.f64 %313)
(fabs.f64 (*.f64 %315 x))
(fabs.f64 (*.f64 x %315))
(*.f64 %315 %315)
(*.f64 %309 %309)
(neg.f64 %313)
(fabs.f64 (*.f64 %315 %309))
(fabs.f64 (*.f64 %309 %315))
(fabs.f64 (*.f64 %327 x))
(fabs.f64 (*.f64 x %327))
(fabs.f64 (*.f64 %327 %309))
(fabs.f64 (*.f64 %309 %327))
(*.f64 %327 %327)
(sqrt.f64 %337)
(*.f64 %339 %340)
(*.f64 %342 %339)
(pow.f64 x #s(literal 2 binary64))
(pow.f64 %315 #s(literal 2 binary64))
(pow.f64 %309 #s(literal 2 binary64))
(pow.f64 %327 #s(literal 2 binary64))
(*.f64 x %348)
(*.f64 %348 x)
(pow.f64 %311 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %309 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %315 #s(literal -2 binary64)))
(fabs.f64 (*.f64 %315 %348))
(fabs.f64 (*.f64 %348 %315))
(*.f64 %315 %362)
(*.f64 %315 %364)
(*.f64 %309 %366)
(*.f64 %309 %368)
(*.f64 %362 %315)
(*.f64 %366 %309)
(*.f64 %368 %309)
(*.f64 %364 %315)
(/.f64 #s(literal 1 binary64) (pow.f64 %327 #s(literal -2 binary64)))
(fabs.f64 (*.f64 %327 %348))
(fabs.f64 (*.f64 %348 %327))
(*.f64 %315 %380)
(*.f64 %382 %315)
(*.f64 %384 %315)
(*.f64 %380 %315)
(/.f64 #s(literal 1 binary64) (pow.f64 %311 #s(literal -1 binary64)))
(*.f64 %389 %327)
(*.f64 %391 %311)
(pow.f64 %337 #s(literal 1/2 binary64))
(*.f64 %339 %394)
(*.f64 %339 %397)
(*.f64 %396 %340)
(*.f64 %400 %339)
(*.f64 %402 %339)
(*.f64 %342 %396)
(*.f64 %405 %339)
(*.f64 %315 %407)
(*.f64 %339 %409)
(*.f64 %396 %394)
(*.f64 %400 %396)
(*.f64 %402 %396)
(*.f64 %407 %315)
(*.f64 %415 %339)
(*.f64 %417 %339)
%419
(fma.f64 y y %311)
(+.f64 %200 %311)
(+.f64 %311 %200)
(-.f64 %200 %313)
(-.f64 %311 %202)
(fma.f64 %315 %315 %200)
(fma.f64 %204 %204 %311)
(fma.f64 %309 %309 %200)
(fma.f64 %1 %1 %311)
(neg.f64 %429)
(fma.f64 %327 %327 %200)
(fma.f64 %216 %216 %311)
(fma.f64 %228 %229 %311)
(fma.f64 %339 %340 %200)
(fma.f64 %231 %228 %311)
(fma.f64 %342 %339 %200)
(fma.f64 x %348 %200)
(fma.f64 y %237 %311)
(fma.f64 %237 y %311)
(fma.f64 %348 x %200)
(fma.f64 %315 %362 %200)
(fma.f64 %315 %364 %200)
(fma.f64 %204 %251 %311)
(fma.f64 %204 %253 %311)
(fma.f64 %309 %366 %200)
(fma.f64 %309 %368 %200)
(fma.f64 %1 %255 %311)
(fma.f64 %1 %257 %311)
(fma.f64 %251 %204 %311)
(fma.f64 %362 %315 %200)
(fma.f64 %255 %1 %311)
(fma.f64 %366 %309 %200)
(fma.f64 %257 %1 %311)
(fma.f64 %368 %309 %200)
(fma.f64 %253 %204 %311)
(fma.f64 %364 %315 %200)
(fma.f64 %315 %380 %200)
(fma.f64 %204 %269 %311)
(fma.f64 %271 %204 %311)
(fma.f64 %273 %204 %311)
(fma.f64 %269 %204 %311)
(fma.f64 %382 %315 %200)
(fma.f64 %384 %315 %200)
(fma.f64 %380 %315 %200)
(fma.f64 %278 %216 %311)
(fma.f64 %389 %327 %200)
(fma.f64 %280 %200 %311)
(fma.f64 %391 %311 %200)
(/.f64 (-.f64 %226 %337) (-.f64 %200 %311))
(/.f64 (-.f64 %337 %226) (-.f64 %311 %200))
(fma.f64 %228 %283 %311)
(fma.f64 %228 %286 %311)
(fma.f64 %339 %394 %200)
(fma.f64 %339 %397 %200)
(fma.f64 %285 %229 %311)
(fma.f64 %396 %340 %200)
(fma.f64 %289 %228 %311)
(fma.f64 %400 %339 %200)
(fma.f64 %291 %228 %311)
(fma.f64 %402 %339 %200)
(fma.f64 %231 %285 %311)
(fma.f64 %342 %396 %200)
(fma.f64 %294 %228 %311)
(fma.f64 %405 %339 %200)
(fma.f64 %315 %407 %200)
(fma.f64 %204 %296 %311)
(fma.f64 %228 %298 %311)
(fma.f64 %339 %409 %200)
(fma.f64 %285 %283 %311)
(fma.f64 %396 %394 %200)
(fma.f64 %289 %285 %311)
(fma.f64 %400 %396 %200)
(fma.f64 %291 %285 %311)
(fma.f64 %402 %396 %200)
(fma.f64 %296 %204 %311)
(fma.f64 %407 %315 %200)
(fma.f64 %304 %228 %311)
(fma.f64 %306 %228 %311)
(fma.f64 %415 %339 %200)
(fma.f64 %417 %339 %200)
#s(literal 1/2 binary64)
(fabs.f64 #s(literal 1/2 binary64))
(fabs.f64 #s(literal -1/2 binary64))
(neg.f64 #s(literal -1/2 binary64))
(sqrt.f64 #s(literal 1/4 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 0 binary64))
(+.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/8 binary64) #s(literal 3/8 binary64))
(+.f64 #s(literal 1/4 binary64) #s(literal 1/4 binary64))
(+.f64 #s(literal 3/8 binary64) #s(literal 1/8 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(-.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
(-.f64 #s(literal 3/2 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1/4 binary64) #s(literal -1/4 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 1/8 binary64))
(*.f64 #s(literal -2 binary64) #s(literal -1/4 binary64))
(*.f64 #s(literal 8 binary64) #s(literal 1/16 binary64))
(*.f64 #s(literal -4 binary64) #s(literal -1/8 binary64))
(*.f64 #s(literal 16 binary64) #s(literal 1/32 binary64))
(*.f64 #s(literal -1/4 binary64) #s(literal -2 binary64))
(*.f64 #s(literal 1/8 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 1/16 binary64) #s(literal 8 binary64))
(*.f64 #s(literal 1/32 binary64) #s(literal 16 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 4 binary64))
(/.f64 #s(literal 1/2 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(/.f64 #s(literal -1/2 binary64) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 8 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -4 binary64))
(/.f64 #s(literal 8 binary64) #s(literal 16 binary64))
(/.f64 #s(literal -4 binary64) #s(literal -8 binary64))
(/.f64 #s(literal -1/4 binary64) #s(literal -1/2 binary64))
(/.f64 #s(literal 1/8 binary64) #s(literal 1/4 binary64))
(/.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 1/16 binary64) #s(literal 1/8 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/8 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/16 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/4 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/8 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/4 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 8 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -3/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 16 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/8 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 5/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/16 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/32 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/8 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/4 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/8 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/8 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/16 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/32 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal -1/8 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/8 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 3 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal -1/16 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/64 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/16 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 8 binary64) #s(literal 1/32 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal 1/8 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal -1/16 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -4 binary64) #s(literal -1/8 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 16 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 16 binary64) #s(literal 1/64 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 16 binary64) #s(literal 1/32 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal -1/2 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal -1 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1/4 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal 2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal 1 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/8 binary64) #s(literal -4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 32 binary64) #s(literal 1/128 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -8 binary64) #s(literal -1/32 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal -1/16 binary64) #s(literal -4 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/64 binary64) #s(literal 16 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/128 binary64) #s(literal 32 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/16 binary64) #s(literal 2 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 1/16 binary64) #s(literal 0 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/16 binary64) #s(literal 4 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/16 binary64) #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/32 binary64) #s(literal 4 binary64) #s(literal 3/8 binary64))
(fma.f64 #s(literal 1/32 binary64) #s(literal 8 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/32 binary64) #s(literal 16 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/8 binary64) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/8 binary64) #s(literal -2 binary64) #s(literal 1/4 binary64))
(hypot.f64 #s(literal 1/2 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal -1/2 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal 1/2 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
(pow.f64 #s(literal 2 binary64) #s(literal -1 binary64))
%655
(fma.f64 y y %656)
(+.f64 %200 %656)
(+.f64 %311 %654)
(+.f64 %419 #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) %419)
(+.f64 %656 %200)
(+.f64 %654 %311)
(-.f64 %419 #s(literal 1/2 binary64))
(-.f64 %200 (-.f64 #s(literal 1/2 binary64) %311))
(-.f64 %311 (-.f64 #s(literal 1/2 binary64) %200))
(neg.f64 (-.f64 #s(literal 1/2 binary64) %419))
(-.f64 #s(literal -1/2 binary64) %429)
(-.f64 %656 %202)
(-.f64 %654 %313)
(fma.f64 %315 %315 %654)
(fma.f64 %204 %204 %656)
(fma.f64 %309 %309 %654)
(fma.f64 %1 %1 %656)
(-.f64 %655 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/4 binary64) %419)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) %419)
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) %419)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) %419)
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) %419)
(fma.f64 #s(literal 4 binary64) #s(literal -1/8 binary64) %419)
(fma.f64 #s(literal -2 binary64) #s(literal 1/4 binary64) %419)
(fma.f64 #s(literal 8 binary64) #s(literal -1/16 binary64) %419)
(fma.f64 #s(literal -4 binary64) #s(literal 1/8 binary64) %419)
(fma.f64 #s(literal -1/4 binary64) #s(literal 2 binary64) %419)
(fma.f64 #s(literal 1/8 binary64) #s(literal -4 binary64) %419)
(fma.f64 #s(literal 1/4 binary64) #s(literal -2 binary64) %419)
(fma.f64 #s(literal -1/8 binary64) #s(literal 4 binary64) %419)
(fma.f64 %327 %327 %654)
(fma.f64 %216 %216 %656)
(/.f64 (fma.f64 %419 #s(literal 2 binary64) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %419 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %419 #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %419 #s(literal 1 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64))
(fma.f64 %228 %229 %656)
(fma.f64 %339 %340 %654)
(fma.f64 %231 %228 %656)
(fma.f64 %342 %339 %654)
(fma.f64 x %348 %654)
(fma.f64 y %237 %656)
(fma.f64 %237 y %656)
(fma.f64 %348 x %654)
(fma.f64 %315 %362 %654)
(fma.f64 %315 %364 %654)
(fma.f64 %204 %251 %656)
(fma.f64 %204 %253 %656)
(fma.f64 %309 %366 %654)
(fma.f64 %309 %368 %654)
(fma.f64 %1 %255 %656)
(fma.f64 %1 %257 %656)
(fma.f64 %251 %204 %656)
(fma.f64 %362 %315 %654)
(fma.f64 %255 %1 %656)
(fma.f64 %366 %309 %654)
(fma.f64 %257 %1 %656)
(fma.f64 %368 %309 %654)
(fma.f64 %253 %204 %656)
(fma.f64 %364 %315 %654)
(fma.f64 %315 %380 %654)
(fma.f64 %204 %269 %656)
(fma.f64 %271 %204 %656)
(fma.f64 %273 %204 %656)
(fma.f64 %269 %204 %656)
(fma.f64 %382 %315 %654)
(fma.f64 %384 %315 %654)
(fma.f64 %380 %315 %654)
(fma.f64 %278 %216 %656)
(fma.f64 %389 %327 %654)
(fma.f64 %280 %200 %656)
(fma.f64 %391 %311 %654)
(fma.f64 %228 %283 %656)
(fma.f64 %228 %286 %656)
(fma.f64 %339 %394 %654)
(fma.f64 %339 %397 %654)
(fma.f64 %285 %229 %656)
(fma.f64 %396 %340 %654)
(fma.f64 %289 %228 %656)
(fma.f64 %400 %339 %654)
(fma.f64 %291 %228 %656)
(fma.f64 %402 %339 %654)
(fma.f64 %231 %285 %656)
(fma.f64 %342 %396 %654)
(fma.f64 %294 %228 %656)
(fma.f64 %405 %339 %654)
(fma.f64 %315 %407 %654)
(fma.f64 %204 %296 %656)
(fma.f64 %228 %298 %656)
(fma.f64 %339 %409 %654)
(fma.f64 %285 %283 %656)
(fma.f64 %396 %394 %654)
(fma.f64 %289 %285 %656)
(fma.f64 %400 %396 %654)
(fma.f64 %291 %285 %656)
(fma.f64 %402 %396 %654)
(fma.f64 %296 %204 %656)
(fma.f64 %407 %315 %654)
(fma.f64 %304 %228 %656)
(fma.f64 %306 %228 %656)
(fma.f64 %415 %339 %654)
(fma.f64 %417 %339 %654)
%771
(fmax.f64 y x)
(fmax.f64 %655 %771)
(fmax.f64 %771 %655)
reconstruct266.0ms (0.2%)
Counts
641 → 41
Compiler
Compiled 641 to 794 computations (-23.9% saved)
eval18.0ms (0.0%)
Compiler
Compiled 38 to 165 computations (-334.2% saved)
prune2.0ms (0.0%)
Pruning
1 alts after pruning (1 fresh and 0 done)
PrunedKeptTotal
New37138
Fresh000
Picked101
Done000
Total38139
Accuracy
100.0%
Counts
39 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fmax.f64 (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64))) (fmax.f64 x y))
Compiler
Compiled 1 to 7 computations (-600.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series294.0ms (0.2%)
Counts
7 → 14
Calls
Call 1
Inputs
%2 = (fmax.f64 x y)
%4 = (fma.f64 y y #s(literal -1/2 binary64))
%5 = (fma.f64 x x %4)
y
x
%2
#s(literal -1/2 binary64)
%4
%5
(fmax.f64 %5 %2)
Outputs
%5 = (fmax x y)
%6 = (fmax.f64 x y)
%11 = (+ (* y y) -1/2)
%12 = (+ (* x x) %11)
%14 = (pow.f64 y #s(literal 2 binary64))
%18 = (pow.f64 x #s(literal 2 binary64))
%20 = (-.f64 (+.f64 %18 %14) #s(literal 1/2 binary64))
%41 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %14))
(approx y #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %12 (-.f64 %14 #s(literal 1/2 binary64)))
(approx %12 %20)
(approx (fmax %12 %5) (fmax.f64 %20 %6))
(approx %12 %18)
(approx %12 (*.f64 %18 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %14 %18)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %18)))))
(approx y y)
(approx %11 #s(literal -1/2 binary64))
(approx %12 (-.f64 %18 #s(literal 1/2 binary64)))
(approx %11 %14)
(approx %11 (*.f64 %14 (-.f64 #s(literal 1 binary64) %41)))
(approx %12 (*.f64 %14 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %18 %14)) %41)))
Calls
6 calls:
TimeVariablePoint
6.0ms
x
0
0.0ms
y
inf
0.0ms
x
inf
0.0ms
y
-inf
0.0ms
x
-inf
rewrite1.2s (0.8%)
Counts
7 → 80
Calls
Call 1
Inputs
%2 = (fmax.f64 x y)
%4 = (fma.f64 y y #s(literal -1/2 binary64))
%5 = (fma.f64 x x %4)
y
x
%2
#s(literal -1/2 binary64)
%4
%5
(fmax.f64 %5 %2)
Outputs
%1 = (neg.f64 y)
%4 = (neg.f64 x)
%6 = (fmax.f64 x y)
%14 = (fma.f64 y y #s(literal -1/2 binary64))
%15 = (*.f64 y y)
%19 = (-.f64 #s(literal 1/2 binary64) %15)
%21 = (neg.f64 %15)
%23 = (fabs.f64 y)
%26 = (neg.f64 %23)
%28 = (sqrt.f64 %23)
%29 = (*.f64 %28 %23)
%31 = (*.f64 %23 %28)
%34 = (pow.f64 y #s(literal 1 binary64))
%37 = (pow.f64 %23 #s(literal 1 binary64))
%39 = (pow.f64 %1 #s(literal 1 binary64))
%41 = (fabs.f64 %34)
%45 = (fabs.f64 %39)
%47 = (fabs.f64 %37)
%49 = (pow.f64 %26 #s(literal 1 binary64))
%51 = (*.f64 %37 %28)
%53 = (fma.f64 x x %14)
%54 = (fma.f64 x x #s(literal -1/2 binary64))
%56 = (fma.f64 x x %15)
%58 = (*.f64 x x)
%75 = (fabs.f64 x)
%80 = (neg.f64 %75)
%83 = (sqrt.f64 %75)
%90 = (pow.f64 x #s(literal 1 binary64))
%95 = (pow.f64 %75 #s(literal 1 binary64))
%98 = (pow.f64 %4 #s(literal 1 binary64))
y
(neg.f64 %1)
x
(neg.f64 %4)
%6
(fmax.f64 y x)
#s(literal -1/2 binary64)
(neg.f64 #s(literal 1/2 binary64))
(/.f64 #s(literal -1 binary64) #s(literal 2 binary64))
%14
(+.f64 #s(literal -1/2 binary64) %15)
(+.f64 %15 #s(literal -1/2 binary64))
(-.f64 %15 #s(literal 1/2 binary64))
(neg.f64 %19)
(-.f64 #s(literal -1/2 binary64) %21)
(fma.f64 %23 %23 #s(literal -1/2 binary64))
(fma.f64 %1 %1 #s(literal -1/2 binary64))
(fma.f64 %26 %26 #s(literal -1/2 binary64))
(fma.f64 %28 %29 #s(literal -1/2 binary64))
(fma.f64 %31 %28 #s(literal -1/2 binary64))
(fma.f64 y %34 #s(literal -1/2 binary64))
(fma.f64 %34 y #s(literal -1/2 binary64))
(fma.f64 %23 %37 #s(literal -1/2 binary64))
(fma.f64 %1 %39 #s(literal -1/2 binary64))
(fma.f64 %41 %23 #s(literal -1/2 binary64))
(fma.f64 %37 %23 #s(literal -1/2 binary64))
(fma.f64 %39 %1 #s(literal -1/2 binary64))
(fma.f64 %45 %23 #s(literal -1/2 binary64))
(fma.f64 %47 %23 #s(literal -1/2 binary64))
(fma.f64 %49 %26 #s(literal -1/2 binary64))
(fma.f64 %51 %28 #s(literal -1/2 binary64))
%53
(fma.f64 y y %54)
(+.f64 #s(literal -1/2 binary64) %56)
(+.f64 %14 %58)
(+.f64 %54 %15)
(+.f64 %58 %14)
(+.f64 %15 %54)
(+.f64 %56 #s(literal -1/2 binary64))
(-.f64 %56 #s(literal 1/2 binary64))
(-.f64 %58 %19)
(-.f64 %15 (-.f64 #s(literal 1/2 binary64) %58))
(neg.f64 (-.f64 #s(literal 1/2 binary64) %56))
(-.f64 #s(literal -1/2 binary64) (neg.f64 %56))
(-.f64 %14 (neg.f64 %58))
(-.f64 %54 %21)
(fma.f64 %75 %75 %14)
(fma.f64 %23 %23 %54)
(fma.f64 %4 %4 %14)
(fma.f64 %1 %1 %54)
(fma.f64 %80 %80 %14)
(fma.f64 %26 %26 %54)
(fma.f64 %83 (*.f64 %83 %75) %14)
(fma.f64 %28 %29 %54)
(fma.f64 (*.f64 %75 %83) %83 %14)
(fma.f64 %31 %28 %54)
(fma.f64 x %90 %14)
(fma.f64 y %34 %54)
(fma.f64 %90 x %14)
(fma.f64 %34 y %54)
(fma.f64 %75 %95 %14)
(fma.f64 %23 %37 %54)
(fma.f64 %4 %98 %14)
(fma.f64 %1 %39 %54)
(fma.f64 (fabs.f64 %90) %75 %14)
(fma.f64 %41 %23 %54)
(fma.f64 %95 %75 %14)
(fma.f64 %37 %23 %54)
(fma.f64 %98 %4 %14)
(fma.f64 %39 %1 %54)
(fma.f64 %45 %23 %54)
(fma.f64 %47 %23 %54)
(fma.f64 (fabs.f64 %98) %75 %14)
(fma.f64 (fabs.f64 %95) %75 %14)
(fma.f64 %49 %26 %54)
(fma.f64 (pow.f64 %80 #s(literal 1 binary64)) %80 %14)
(fma.f64 (*.f64 %95 %83) %83 %14)
(fma.f64 %51 %28 %54)
(fmax.f64 %6 %53)
(fmax.f64 %53 %6)
reconstruct44.0ms (0.0%)
Counts
94 → 20
Compiler
Compiled 94 to 144 computations (-53.2% saved)
eval10.0ms (0.0%)
Compiler
Compiled 16 to 64 computations (-300.0% saved)
prune2.0ms (0.0%)
Pruning
2 alts after pruning (1 fresh and 1 done)
PrunedKeptTotal
New15116
Fresh000
Picked011
Done000
Total15217
Accuracy
100.0%
Counts
17 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fmax.f64 (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64))) (fmax.f64 x y))
▶68.0%
(fmax.f64 (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))) (fmax.f64 x y))
Compiler
Compiled 2 to 9 computations (-350.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series305.0ms (0.2%)
Counts
7 → 14
Calls
Call 1
Inputs
%2 = (fmax.f64 x y)
%7 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%8 = (fma.f64 x x %7)
y
x
%2
#s(literal -1/2 binary64)
%7
%8
(fmax.f64 %8 %2)
Outputs
%5 = (fmax x y)
%6 = (fmax.f64 x y)
%11 = (+ (* y y) -1/2)
%12 = (+ (* x x) %11)
%14 = (pow.f64 y #s(literal 2 binary64))
%18 = (pow.f64 x #s(literal 2 binary64))
%20 = (-.f64 (+.f64 %18 %14) #s(literal 1/2 binary64))
%41 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %14))
(approx y #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %12 (-.f64 %14 #s(literal 1/2 binary64)))
(approx %12 %20)
(approx (fmax %12 %5) (fmax.f64 %20 %6))
(approx %12 %18)
(approx %12 (*.f64 %18 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %14 %18)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %18)))))
(approx y y)
(approx %11 #s(literal -1/2 binary64))
(approx %12 (-.f64 %18 #s(literal 1/2 binary64)))
(approx %11 %14)
(approx %11 (*.f64 %14 (-.f64 #s(literal 1 binary64) %41)))
(approx %12 (*.f64 %14 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %18 %14)) %41)))
Calls
6 calls:
TimeVariablePoint
6.0ms
x
0
1.0ms
y
inf
1.0ms
x
inf
0.0ms
y
-inf
0.0ms
x
-inf
rewrite1.2s (0.8%)
Counts
7 → 12
Calls
Call 1
Inputs
%2 = (fmax.f64 x y)
%7 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%8 = (fma.f64 x x %7)
y
x
%2
#s(literal -1/2 binary64)
%7
%8
(fmax.f64 %8 %2)
Outputs
%6 = (fmax.f64 x y)
%17 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%18 = (fma.f64 x x %17)
y
(neg.f64 (neg.f64 y))
x
(neg.f64 (neg.f64 x))
%6
(fmax.f64 y x)
#s(literal -1/2 binary64)
(neg.f64 #s(literal 1/2 binary64))
(/.f64 #s(literal -1 binary64) #s(literal 2 binary64))
%17
%18
(fmax.f64 %18 %6)
reconstruct6.0ms (0.0%)
Counts
25 → 17
Compiler
Compiled 25 to 39 computations (-56.0% saved)
eval6.0ms (0.0%)
Compiler
Compiled 12 to 44 computations (-266.7% saved)
prune2.0ms (0.0%)
Pruning
3 alts after pruning (1 fresh and 2 done)
PrunedKeptTotal
New11112
Fresh000
Picked011
Done011
Total11314
Accuracy
100.0%
Counts
14 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fmax.f64 (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64))) (fmax.f64 x y))
▶42.5%
(fmax.f64 (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))) (fmax.f64 x (approx y #s(literal 0 binary64))))
✓68.0%
(fmax.f64 (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))) (fmax.f64 x y))
Compiler
Compiled 3 to 12 computations (-300.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series299.0ms (0.2%)
Counts
9 → 14
Calls
Call 1
Inputs
%3 = (approx y #s(literal 0 binary64))
%5 = (fmax.f64 x %3)
%9 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%10 = (fma.f64 x x %9)
y
x
#s(literal 0 binary64)
%3
#s(literal -1/2 binary64)
%5
%9
%10
(fmax.f64 %10 %5)
Outputs
%5 = (fmax x y)
%6 = (fmax.f64 x y)
%11 = (+ (* y y) -1/2)
%12 = (+ (* x x) %11)
%14 = (pow.f64 y #s(literal 2 binary64))
%18 = (pow.f64 x #s(literal 2 binary64))
%20 = (-.f64 (+.f64 %18 %14) #s(literal 1/2 binary64))
%41 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %14))
(approx y #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %12 (-.f64 %14 #s(literal 1/2 binary64)))
(approx %12 %20)
(approx (fmax %12 %5) (fmax.f64 %20 %6))
(approx %12 %18)
(approx %12 (*.f64 %18 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %14 %18)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %18)))))
(approx y y)
(approx %11 #s(literal -1/2 binary64))
(approx %12 (-.f64 %18 #s(literal 1/2 binary64)))
(approx %11 %14)
(approx %11 (*.f64 %14 (-.f64 #s(literal 1 binary64) %41)))
(approx %12 (*.f64 %14 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %18 %14)) %41)))
Calls
6 calls:
TimeVariablePoint
6.0ms
x
inf
0.0ms
y
inf
0.0ms
y
-inf
0.0ms
x
-inf
0.0ms
y
0
rewrite2.3min (91.2%)
end0.0ms (0.0%)
gc2.4s (1.6%)
Allocations
AllocatedPercentPhase
5 291.1 MiB84.3%rewrite
698.8 MiB11.1%sample
103.5 MiB1.6%series
85.3 MiB1.4%analyze
54.8 MiB0.9%preprocess
32.9 MiB0.5%reconstruct
5.6 MiB0.1%eval
3.1 MiB0.0%prune
0.0 MiB0.0%start
0.0 MiB0.0%end
6 275.1 MiB100.0%total
Profiling
Loading profile data...