A quarter-circle in the lower-left quadrant

Time bar (total: 1.8s)

start0.0ms (0.0%)

analyze73.0ms (3.9%)

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)

sample276.0ms (14.9%)

Samples
433.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 159.0ms
ival-pow2: 106.0ms (66.8% of total, 74.0 MiB)
ival-sub!: 22.0ms (13.9% of total, 16.4 MiB)
ival-add!: 19.0ms (12.0% of total, 16.6 MiB)
adjust: 6.0ms (3.8% of total, 4.3 MiB)
ival-fmax: 5.0ms (3.2% of total, 4.7 MiB)
Bogosity

preprocess80.0ms (4.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
series6.0ms (0.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
046229
Stop Event
1×iter-limit
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
0.0ms
x
inf
0.0ms
y
inf
0.0ms
x
-inf
0.0ms
y
0
0.0ms
y
-inf
rewrite115.0ms (6.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01042
01642
14242
210142
328442
470142
5237942
0441142
0485037
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
10 → 148
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
%2 = (*.f64 y y)
%3 = (*.f64 %2 %2)
%5 = (pow.f64 %3 #s(literal -1/2 binary64))
%7 = (fabs.f64 y)
%8 = (sqrt.f64 %7)
%9 = (*.f64 %8 %7)
%12 = (neg.f64 %7)
%15 = (neg.f64 y)
%45 = (*.f64 %15 y)
%67 = (*.f64 x x)
%68 = (*.f64 %67 %67)
%69 = (pow.f64 %68 #s(literal -1/2 binary64))
%71 = (fabs.f64 x)
%72 = (sqrt.f64 %71)
%73 = (*.f64 %72 %71)
%76 = (neg.f64 %71)
%79 = (neg.f64 x)
%102 = (neg.f64 %67)
%123 = (fma.f64 x x %2)
%134 = (neg.f64 %123)
%155 = (fma.f64 y y #s(literal -1/2 binary64))
%156 = (fma.f64 x x %155)
%175 = (fma.f64 x x #s(literal -1/2 binary64))
%209 = (fmax.f64 x y)
%215 = (fmax.f64 %209 %156)
y
#s(literal 2 binary64)
(*.f64 %5 %3)
(*.f64 %9 %8)
(*.f64 %8 %9)
(*.f64 %12 %12)
(*.f64 %7 %7)
(*.f64 %15 %15)
(*.f64 #s(literal 1 binary64) %2)
%2
(pow.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %3 #s(literal 1/2 binary64))
(pow.f64 %8 #s(literal 4 binary64))
(pow.f64 %12 #s(literal 2 binary64))
(pow.f64 %7 #s(literal 2 binary64))
(pow.f64 %15 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %5)
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(neg.f64 %45)
(sqrt.f64 %3)
(fabs.f64 (*.f64 %15 %12))
(fabs.f64 (*.f64 y %12))
(fabs.f64 (*.f64 %15 %7))
(fabs.f64 (*.f64 y %7))
(fabs.f64 (*.f64 %12 %15))
(fabs.f64 (*.f64 %7 %15))
(fabs.f64 (*.f64 %12 y))
(fabs.f64 (*.f64 %7 y))
(fabs.f64 %45)
(fabs.f64 %2)
x
(*.f64 %69 %68)
(*.f64 %73 %72)
(*.f64 %72 %73)
(*.f64 %76 %76)
(*.f64 %71 %71)
(*.f64 %79 %79)
(*.f64 #s(literal 1 binary64) %67)
%67
(pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %68 #s(literal 1/2 binary64))
(pow.f64 %72 #s(literal 4 binary64))
(pow.f64 %76 #s(literal 2 binary64))
(pow.f64 %71 #s(literal 2 binary64))
(pow.f64 %79 #s(literal 2 binary64))
(pow.f64 %67 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %69)
(/.f64 #s(literal 1 binary64) (pow.f64 %76 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %71 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %79 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %67 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(neg.f64 %102)
(sqrt.f64 %68)
(fabs.f64 (*.f64 %79 %76))
(fabs.f64 (*.f64 x %76))
(fabs.f64 (*.f64 %79 %71))
(fabs.f64 (*.f64 x %71))
(fabs.f64 (*.f64 %76 %79))
(fabs.f64 (*.f64 %71 %79))
(fabs.f64 (*.f64 %76 x))
(fabs.f64 (*.f64 %71 x))
(fabs.f64 %102)
(fabs.f64 %67)
(*.f64 #s(literal 1 binary64) %123)
(pow.f64 %123 #s(literal 1 binary64))
(/.f64 (-.f64 %68 %3) (-.f64 %67 %2))
(/.f64 (-.f64 %3 %68) (-.f64 %2 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %123 #s(literal -1 binary64)))
(neg.f64 %134)
(fma.f64 %69 %68 %2)
(fma.f64 %5 %3 %67)
(fma.f64 %73 %72 %2)
(fma.f64 %9 %8 %67)
(fma.f64 %8 %9 %67)
(fma.f64 %72 %73 %2)
(fma.f64 %76 %76 %2)
(fma.f64 %12 %12 %67)
(fma.f64 %7 %7 %67)
(fma.f64 %71 %71 %2)
(fma.f64 %15 %15 %67)
(fma.f64 %79 %79 %2)
(fma.f64 #s(literal 1 binary64) %67 %2)
(fma.f64 #s(literal 1 binary64) %2 %67)
%123
(fma.f64 y y %67)
(-.f64 %67 %45)
(-.f64 %2 %102)
(+.f64 %67 %2)
(+.f64 %2 %67)
#s(literal 1/2 binary64)
(*.f64 #s(literal 1 binary64) %156)
(pow.f64 %156 #s(literal 1 binary64))
(/.f64 (fma.f64 %123 #s(literal 2 binary64) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %123 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %123 #s(literal 1 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %123 #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %156 #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal 1/2 binary64) %123))
(fma.f64 %69 %68 %155)
(fma.f64 %5 %3 %175)
(fma.f64 %73 %72 %155)
(fma.f64 %9 %8 %175)
(fma.f64 %8 %9 %175)
(fma.f64 %72 %73 %155)
(fma.f64 %76 %76 %155)
(fma.f64 %12 %12 %175)
(fma.f64 %7 %7 %175)
(fma.f64 %71 %71 %155)
(fma.f64 %15 %15 %175)
(fma.f64 %79 %79 %155)
(fma.f64 #s(literal 1 binary64) %155 %67)
(fma.f64 #s(literal 1 binary64) %175 %2)
(fma.f64 #s(literal 1 binary64) %123 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) %67 %155)
(fma.f64 #s(literal 1 binary64) %2 %175)
%156
(fma.f64 y y %175)
(-.f64 %155 %102)
(-.f64 %175 %45)
(-.f64 #s(literal -1/2 binary64) %134)
(-.f64 %156 #s(literal 0 binary64))
(-.f64 %123 #s(literal 1/2 binary64))
(-.f64 %67 (-.f64 #s(literal 1/2 binary64) %2))
(-.f64 %2 (-.f64 #s(literal 1/2 binary64) %67))
(+.f64 %155 %67)
(+.f64 %175 %2)
(+.f64 #s(literal -1/2 binary64) %123)
(+.f64 %123 #s(literal -1/2 binary64))
(+.f64 %67 %155)
(+.f64 %2 %175)
(*.f64 #s(literal 1 binary64) %209)
%209
(fmax.f64 y x)
(pow.f64 %209 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %209 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %215)
%215
(fmax.f64 %156 %209)
(pow.f64 %215 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %215 #s(literal -1 binary64)))
reconstruct9.0ms (0.5%)
Counts
163 → 49
Compiler
Compiled 163 to 240 computations (-47.2% saved)
eval4.0ms (0.2%)
Compiler
Compiled 46 to 199 computations (-332.6% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (1 fresh and 0 done)
PrunedKeptTotal
New45146
Fresh000
Picked101
Done000
Total46147
Accuracy
100.0%
Counts
47 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64)))) (fmax.f64 x y))
Compiler
Compiled 1 to 9 computations (-800.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series4.0ms (0.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
049187
Stop Event
1×iter-limit
Counts
9 → 14
Calls
Call 1
Inputs
%2 = (fmax.f64 x y)
%5 = (fma.f64 y y #s(literal -1/2 binary64))
%6 = (fma.f64 x x %5)
%7 = (*.f64 #s(literal 1 binary64) %6)
y
x
%2
#s(literal 1 binary64)
#s(literal -1/2 binary64)
%5
%6
%7
(fmax.f64 %7 %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))
%43 = (*.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 (* 1 %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) %43)))
(approx %12 (*.f64 %14 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %18 %14)) %43)))
Calls
6 calls:
TimeVariablePoint
0.0ms
y
inf
0.0ms
x
inf
0.0ms
y
-inf
0.0ms
x
-inf
0.0ms
y
0
rewrite122.0ms (6.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0940
01636
16236
222436
3118236
0422436
0437336
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 2 110
Calls
Call 1
Inputs
%2 = (fmax.f64 x y)
%5 = (fma.f64 y y #s(literal -1/2 binary64))
%6 = (fma.f64 x x %5)
%7 = (*.f64 #s(literal 1 binary64) %6)
y
x
%2
#s(literal 1 binary64)
#s(literal -1/2 binary64)
%5
%6
%7
(fmax.f64 %7 %2)
Outputs
%3 = (fmax.f64 x y)
%11 = (fma.f64 y y #s(literal -1/2 binary64))
%13 = (/.f64 %11 #s(literal 4 binary64))
%16 = (/.f64 %11 #s(literal 1/2 binary64))
%19 = (*.f64 #s(literal 2 binary64) %11)
%20 = (/.f64 %19 #s(literal 1/2 binary64))
%26 = (*.f64 #s(literal 1/2 binary64) %11)
%35 = (*.f64 y y)
%36 = (*.f64 %35 #s(literal 2 binary64))
%37 = (*.f64 %36 #s(literal 2 binary64))
%40 = (*.f64 #s(literal 2 binary64) %35)
%41 = (*.f64 %40 #s(literal 2 binary64))
%73 = (*.f64 #s(literal 2 binary64) %19)
%77 = (*.f64 %19 #s(literal 2 binary64))
%84 = (-.f64 #s(literal 1/2 binary64) %35)
%85 = (*.f64 %84 #s(literal 2 binary64))
%87 = (neg.f64 %19)
%96 = (fabs.f64 y)
%97 = (neg.f64 %96)
%98 = (*.f64 %97 #s(literal 1 binary64))
%99 = (*.f64 %98 #s(literal -1 binary64))
%101 = (*.f64 %98 #s(literal 1 binary64))
%103 = (neg.f64 y)
%104 = (*.f64 %103 #s(literal 1 binary64))
%105 = (*.f64 %104 #s(literal -1 binary64))
%107 = (*.f64 %104 #s(literal 1 binary64))
%109 = (*.f64 y #s(literal 1 binary64))
%110 = (*.f64 %109 #s(literal -1 binary64))
%112 = (*.f64 %109 #s(literal 1 binary64))
%114 = (neg.f64 %97)
%115 = (*.f64 %114 #s(literal -1 binary64))
%117 = (*.f64 %114 #s(literal 1 binary64))
%119 = (*.f64 #s(literal -1 binary64) %98)
%121 = (*.f64 #s(literal -1 binary64) %104)
%123 = (*.f64 #s(literal -1 binary64) %109)
%125 = (*.f64 #s(literal -1 binary64) %114)
%127 = (*.f64 #s(literal 1 binary64) %98)
%129 = (*.f64 #s(literal 1 binary64) %104)
%131 = (*.f64 #s(literal 1 binary64) %109)
%133 = (*.f64 #s(literal 1 binary64) %114)
%135 = (/.f64 %35 #s(literal 1/2 binary64))
%137 = (/.f64 %35 #s(literal 4 binary64))
%140 = (*.f64 %11 #s(literal 0 binary64))
%142 = (*.f64 #s(literal 0 binary64) %11)
%148 = (neg.f64 %98)
%150 = (neg.f64 %104)
%152 = (neg.f64 %109)
%154 = (neg.f64 %114)
%156 = (*.f64 %97 #s(literal -1 binary64))
%158 = (*.f64 %96 #s(literal -1 binary64))
%160 = (*.f64 %103 #s(literal -1 binary64))
%162 = (*.f64 y #s(literal -1 binary64))
%164 = (*.f64 #s(literal -1 binary64) %97)
%166 = (*.f64 #s(literal -1 binary64) %96)
%168 = (*.f64 #s(literal -1 binary64) %103)
%170 = (*.f64 #s(literal -1 binary64) y)
%174 = (*.f64 %35 #s(literal 1/2 binary64))
%202 = (*.f64 #s(literal 1/2 binary64) %35)
%216 = (neg.f64 %26)
%221 = (*.f64 %84 #s(literal 1/2 binary64))
%224 = (*.f64 #s(literal -1/2 binary64) %11)
%239 = (*.f64 (neg.f64 %36) #s(literal 1/2 binary64))
%242 = (*.f64 (neg.f64 %174) #s(literal 2 binary64))
%244 = (*.f64 %148 %98)
%246 = (*.f64 %150 %104)
%248 = (*.f64 %152 %109)
%250 = (*.f64 %154 %114)
%252 = (*.f64 #s(literal -1/2 binary64) %40)
%254 = (*.f64 #s(literal -2 binary64) %202)
%256 = (*.f64 %114 %96)
%259 = (*.f64 %114 %98)
%261 = (*.f64 %103 %109)
%263 = (*.f64 y %104)
%265 = (*.f64 %35 #s(literal -1 binary64))
%267 = (*.f64 %103 y)
%268 = (*.f64 %267 #s(literal 1 binary64))
%270 = (*.f64 #s(literal -1 binary64) %35)
%277 = (*.f64 %154 %97)
%281 = (fma.f64 x x %11)
%282 = (/.f64 %281 #s(literal 4 binary64))
%283 = (*.f64 %282 #s(literal 4 binary64))
%284 = (/.f64 %281 #s(literal 1/2 binary64))
%285 = (*.f64 %284 #s(literal 1/2 binary64))
%286 = (*.f64 #s(literal 2 binary64) %281)
%287 = (/.f64 %286 #s(literal 1/2 binary64))
%288 = (*.f64 %287 #s(literal 1/4 binary64))
%289 = (*.f64 #s(literal 1/4 binary64) %287)
%290 = (*.f64 #s(literal 4 binary64) %282)
%291 = (*.f64 %286 #s(literal 1/2 binary64))
%292 = (*.f64 #s(literal 1/2 binary64) %281)
%293 = (*.f64 %292 #s(literal 2 binary64))
%294 = (*.f64 #s(literal 1/2 binary64) %284)
%295 = (*.f64 x x)
%296 = (fma.f64 #s(literal 2 binary64) %295 %19)
%297 = (*.f64 #s(literal 1/2 binary64) %296)
%298 = (*.f64 #s(literal 2 binary64) %295)
%299 = (fma.f64 #s(literal 2 binary64) %11 %298)
%300 = (*.f64 #s(literal 1/2 binary64) %299)
%301 = (*.f64 #s(literal 1/2 binary64) %286)
%302 = (*.f64 #s(literal 2 binary64) %292)
%303 = (*.f64 %281 #s(literal 1 binary64))
%304 = (*.f64 #s(literal 1 binary64) %281)
%305 = (pow.f64 %281 #s(literal 1 binary64))
%306 = (fma.f64 x x #s(literal -1/2 binary64))
%307 = (*.f64 %306 #s(literal 1 binary64))
%309 = (/.f64 (fma.f64 %307 #s(literal 2 binary64) %36) #s(literal 2 binary64))
%311 = (/.f64 (fma.f64 %307 #s(literal 2 binary64) %40) #s(literal 2 binary64))
%313 = (/.f64 (fma.f64 %306 #s(literal 2 binary64) %36) #s(literal 2 binary64))
%315 = (/.f64 (fma.f64 %306 #s(literal 2 binary64) %40) #s(literal 2 binary64))
%317 = (/.f64 (fma.f64 %298 #s(literal 2 binary64) %77) #s(literal 4 binary64))
%318 = (*.f64 %298 #s(literal 2 binary64))
%320 = (/.f64 (fma.f64 %19 #s(literal 2 binary64) %318) #s(literal 4 binary64))
%321 = (fma.f64 x x %35)
%322 = (*.f64 %321 #s(literal 2 binary64))
%323 = (*.f64 %322 #s(literal 2 binary64))
%325 = (/.f64 (+.f64 #s(literal -2 binary64) %323) #s(literal 4 binary64))
%326 = (*.f64 #s(literal 2 binary64) %321)
%327 = (*.f64 %326 #s(literal 2 binary64))
%329 = (/.f64 (+.f64 #s(literal -2 binary64) %327) #s(literal 4 binary64))
%331 = (/.f64 (fma.f64 %321 #s(literal 2 binary64) #s(literal -1 binary64)) #s(literal 2 binary64))
%333 = (/.f64 (fma.f64 #s(literal 2 binary64) %321 #s(literal -1 binary64)) #s(literal 2 binary64))
%335 = (/.f64 (+.f64 #s(literal -1 binary64) %322) #s(literal 2 binary64))
%337 = (/.f64 (+.f64 #s(literal -1 binary64) %326) #s(literal 2 binary64))
%339 = (/.f64 (-.f64 %322 #s(literal 1 binary64)) #s(literal 2 binary64))
%341 = (/.f64 (-.f64 %326 #s(literal 1 binary64)) #s(literal 2 binary64))
%343 = (/.f64 (fma.f64 %322 #s(literal 2 binary64) #s(literal -2 binary64)) #s(literal 4 binary64))
%345 = (/.f64 (fma.f64 %326 #s(literal 2 binary64) #s(literal -2 binary64)) #s(literal 4 binary64))
%347 = (/.f64 (fma.f64 %298 #s(literal 2 binary64) %73) #s(literal 4 binary64))
%350 = (/.f64 (fma.f64 %19 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %298)) #s(literal 4 binary64))
%353 = (/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %322)) #s(literal 4 binary64))
%356 = (/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %326)) #s(literal 4 binary64))
%358 = (/.f64 (-.f64 %323 #s(literal 2 binary64)) #s(literal 4 binary64))
%360 = (/.f64 (-.f64 %327 #s(literal 2 binary64)) #s(literal 4 binary64))
%363 = (/.f64 (-.f64 %318 (*.f64 #s(literal 2 binary64) %85)) #s(literal 4 binary64))
%365 = (/.f64 (*.f64 %286 #s(literal -2 binary64)) #s(literal -4 binary64))
%367 = (/.f64 (*.f64 %286 #s(literal 2 binary64)) #s(literal 4 binary64))
%369 = (/.f64 (*.f64 #s(literal -2 binary64) %286) #s(literal -4 binary64))
%371 = (/.f64 (*.f64 #s(literal 2 binary64) %286) #s(literal 4 binary64))
%373 = (/.f64 (*.f64 #s(literal 4 binary64) %286) #s(literal 8 binary64))
%375 = (/.f64 (*.f64 %286 #s(literal 4 binary64)) #s(literal 8 binary64))
%377 = (/.f64 (neg.f64 %286) #s(literal -2 binary64))
%378 = (/.f64 %296 #s(literal 2 binary64))
%379 = (/.f64 %299 #s(literal 2 binary64))
%380 = (-.f64 #s(literal 1/2 binary64) %321)
%382 = (/.f64 (*.f64 %380 #s(literal 2 binary64)) #s(literal -2 binary64))
%383 = (/.f64 %286 #s(literal 2 binary64))
%384 = (/.f64 %281 #s(literal 1 binary64))
%386 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %286))
%388 = (/.f64 #s(literal 1 binary64) (pow.f64 %281 #s(literal -1 binary64)))
%390 = (neg.f64 (*.f64 %380 #s(literal 1 binary64)))
%392 = (neg.f64 (*.f64 #s(literal -1 binary64) %281))
%394 = (neg.f64 (*.f64 %286 #s(literal -1/2 binary64)))
%396 = (neg.f64 (*.f64 %281 #s(literal -1 binary64)))
%397 = (neg.f64 %380)
%398 = (sqrt.f64 %298)
%399 = (*.f64 %398 %398)
%400 = (sqrt.f64 #s(literal 1/2 binary64))
%401 = (*.f64 %400 %400)
%404 = (*.f64 (neg.f64 (*.f64 #s(literal -1 binary64) %19)) #s(literal 1/2 binary64))
%405 = (fma.f64 %399 %401 %404)
%407 = (*.f64 (neg.f64 %221) #s(literal 2 binary64))
%408 = (fma.f64 %399 %401 %407)
%410 = (*.f64 (neg.f64 %87) #s(literal 1/2 binary64))
%411 = (fma.f64 %399 %401 %410)
%412 = (*.f64 %87 #s(literal -1/2 binary64))
%413 = (fma.f64 %399 %401 %412)
%414 = (*.f64 #s(literal -2 binary64) %216)
%415 = (fma.f64 %399 %401 %414)
%416 = (*.f64 #s(literal -2 binary64) %224)
%417 = (fma.f64 %399 %401 %416)
%418 = (*.f64 #s(literal -1 binary64) %84)
%419 = (fma.f64 %399 %401 %418)
%420 = (*.f64 %84 #s(literal -1 binary64))
%421 = (fma.f64 %399 %401 %420)
%422 = (fma.f64 %399 %401 %11)
%423 = (sqrt.f64 #s(literal 2 binary64))
%424 = (*.f64 %423 %423)
%425 = (*.f64 #s(literal 1/2 binary64) %295)
%426 = (sqrt.f64 %425)
%427 = (*.f64 %426 %426)
%428 = (fma.f64 %424 %427 %404)
%429 = (fma.f64 %424 %427 %407)
%430 = (fma.f64 %424 %427 %410)
%431 = (fma.f64 %424 %427 %412)
%432 = (fma.f64 %424 %427 %414)
%433 = (fma.f64 %424 %427 %416)
%434 = (fma.f64 %424 %427 %418)
%435 = (fma.f64 %424 %427 %420)
%436 = (fma.f64 %424 %427 %11)
%437 = (fabs.f64 x)
%438 = (neg.f64 %437)
%439 = (*.f64 %438 #s(literal 1 binary64))
%440 = (*.f64 %439 #s(literal -1 binary64))
%441 = (fma.f64 %440 %440 %404)
%442 = (fma.f64 %440 %440 %407)
%443 = (fma.f64 %440 %440 %410)
%444 = (fma.f64 %440 %440 %412)
%445 = (fma.f64 %440 %440 %414)
%446 = (fma.f64 %440 %440 %416)
%447 = (fma.f64 %440 %440 %418)
%448 = (fma.f64 %440 %440 %420)
%449 = (fma.f64 %440 %440 %11)
%450 = (*.f64 %439 #s(literal 1 binary64))
%451 = (fma.f64 %450 %450 %404)
%452 = (fma.f64 %450 %450 %407)
%453 = (fma.f64 %450 %450 %410)
%454 = (fma.f64 %450 %450 %412)
%455 = (fma.f64 %450 %450 %414)
%456 = (fma.f64 %450 %450 %416)
%457 = (fma.f64 %450 %450 %418)
%458 = (fma.f64 %450 %450 %420)
%459 = (fma.f64 %450 %450 %11)
%460 = (neg.f64 %438)
%461 = (*.f64 %460 #s(literal -1 binary64))
%462 = (fma.f64 %461 %461 %404)
%463 = (fma.f64 %461 %461 %407)
%464 = (fma.f64 %461 %461 %410)
%465 = (fma.f64 %461 %461 %412)
%466 = (fma.f64 %461 %461 %414)
%467 = (fma.f64 %461 %461 %416)
%468 = (fma.f64 %461 %461 %418)
%469 = (fma.f64 %461 %461 %420)
%470 = (fma.f64 %461 %461 %11)
%471 = (*.f64 %460 #s(literal 1 binary64))
%472 = (fma.f64 %471 %471 %404)
%473 = (fma.f64 %471 %471 %407)
%474 = (fma.f64 %471 %471 %410)
%475 = (fma.f64 %471 %471 %412)
%476 = (fma.f64 %471 %471 %414)
%477 = (fma.f64 %471 %471 %416)
%478 = (fma.f64 %471 %471 %418)
%479 = (fma.f64 %471 %471 %420)
%480 = (fma.f64 %471 %471 %11)
%481 = (*.f64 #s(literal -1 binary64) %439)
%482 = (fma.f64 %481 %481 %404)
%483 = (fma.f64 %481 %481 %407)
%484 = (fma.f64 %481 %481 %410)
%485 = (fma.f64 %481 %481 %412)
%486 = (fma.f64 %481 %481 %414)
%487 = (fma.f64 %481 %481 %416)
%488 = (fma.f64 %481 %481 %418)
%489 = (fma.f64 %481 %481 %420)
%490 = (fma.f64 %481 %481 %11)
%491 = (*.f64 #s(literal -1 binary64) %460)
%492 = (fma.f64 %491 %491 %404)
%493 = (fma.f64 %491 %491 %407)
%494 = (fma.f64 %491 %491 %410)
%495 = (fma.f64 %491 %491 %412)
%496 = (fma.f64 %491 %491 %414)
%497 = (fma.f64 %491 %491 %416)
%498 = (fma.f64 %491 %491 %418)
%499 = (fma.f64 %491 %491 %420)
%500 = (fma.f64 %491 %491 %11)
%501 = (*.f64 #s(literal 1 binary64) %439)
%502 = (fma.f64 %501 %501 %404)
%503 = (fma.f64 %501 %501 %407)
%504 = (fma.f64 %501 %501 %410)
%505 = (fma.f64 %501 %501 %412)
%506 = (fma.f64 %501 %501 %414)
%507 = (fma.f64 %501 %501 %416)
%508 = (fma.f64 %501 %501 %418)
%509 = (fma.f64 %501 %501 %420)
%510 = (fma.f64 %501 %501 %11)
%511 = (*.f64 #s(literal 1 binary64) %460)
%512 = (fma.f64 %511 %511 %404)
%513 = (fma.f64 %511 %511 %407)
%514 = (fma.f64 %511 %511 %410)
%515 = (fma.f64 %511 %511 %412)
%516 = (fma.f64 %511 %511 %414)
%517 = (fma.f64 %511 %511 %416)
%518 = (fma.f64 %511 %511 %418)
%519 = (fma.f64 %511 %511 %420)
%520 = (fma.f64 %511 %511 %11)
%521 = (fma.f64 %99 %99 %307)
%522 = (fma.f64 %99 %99 %306)
%523 = (fma.f64 %101 %101 %307)
%524 = (fma.f64 %101 %101 %306)
%525 = (fma.f64 %105 %105 %307)
%526 = (fma.f64 %105 %105 %306)
%527 = (fma.f64 %107 %107 %307)
%528 = (fma.f64 %107 %107 %306)
%529 = (fma.f64 %110 %110 %307)
%530 = (fma.f64 %110 %110 %306)
%531 = (fma.f64 %112 %112 %307)
%532 = (fma.f64 %112 %112 %306)
%533 = (fma.f64 %115 %115 %307)
%534 = (fma.f64 %115 %115 %306)
%535 = (fma.f64 %117 %117 %307)
%536 = (fma.f64 %117 %117 %306)
%537 = (fma.f64 %119 %119 %307)
%538 = (fma.f64 %119 %119 %306)
%539 = (fma.f64 %121 %121 %307)
%540 = (fma.f64 %121 %121 %306)
%541 = (fma.f64 %123 %123 %307)
%542 = (fma.f64 %123 %123 %306)
%543 = (fma.f64 %125 %125 %307)
%544 = (fma.f64 %125 %125 %306)
%545 = (fma.f64 %127 %127 %307)
%546 = (fma.f64 %127 %127 %306)
%547 = (fma.f64 %129 %129 %307)
%548 = (fma.f64 %129 %129 %306)
%549 = (fma.f64 %131 %131 %307)
%550 = (fma.f64 %131 %131 %306)
%551 = (fma.f64 %133 %133 %307)
%552 = (fma.f64 %133 %133 %306)
%553 = (*.f64 %437 #s(literal 1/2 binary64))
%554 = (*.f64 %553 %553)
%555 = (fma.f64 %554 #s(literal 4 binary64) %404)
%556 = (fma.f64 %554 #s(literal 4 binary64) %407)
%557 = (fma.f64 %554 #s(literal 4 binary64) %410)
%558 = (fma.f64 %554 #s(literal 4 binary64) %412)
%559 = (fma.f64 %554 #s(literal 4 binary64) %414)
%560 = (fma.f64 %554 #s(literal 4 binary64) %416)
%561 = (fma.f64 %554 #s(literal 4 binary64) %418)
%562 = (fma.f64 %554 #s(literal 4 binary64) %420)
%563 = (fma.f64 %554 #s(literal 4 binary64) %11)
%564 = (neg.f64 x)
%565 = (*.f64 %564 #s(literal 1/2 binary64))
%566 = (*.f64 %565 %565)
%567 = (fma.f64 %566 #s(literal 4 binary64) %404)
%568 = (fma.f64 %566 #s(literal 4 binary64) %407)
%569 = (fma.f64 %566 #s(literal 4 binary64) %410)
%570 = (fma.f64 %566 #s(literal 4 binary64) %412)
%571 = (fma.f64 %566 #s(literal 4 binary64) %414)
%572 = (fma.f64 %566 #s(literal 4 binary64) %416)
%573 = (fma.f64 %566 #s(literal 4 binary64) %418)
%574 = (fma.f64 %566 #s(literal 4 binary64) %420)
%575 = (fma.f64 %566 #s(literal 4 binary64) %11)
%576 = (*.f64 x #s(literal 1/2 binary64))
%577 = (*.f64 %576 %576)
%578 = (fma.f64 %577 #s(literal 4 binary64) %404)
%579 = (fma.f64 %577 #s(literal 4 binary64) %407)
%580 = (fma.f64 %577 #s(literal 4 binary64) %410)
%581 = (fma.f64 %577 #s(literal 4 binary64) %412)
%582 = (fma.f64 %577 #s(literal 4 binary64) %414)
%583 = (fma.f64 %577 #s(literal 4 binary64) %416)
%584 = (fma.f64 %577 #s(literal 4 binary64) %418)
%585 = (fma.f64 %577 #s(literal 4 binary64) %420)
%586 = (fma.f64 %577 #s(literal 4 binary64) %11)
%587 = (fma.f64 %135 #s(literal 1/2 binary64) %307)
%588 = (fma.f64 %135 #s(literal 1/2 binary64) %306)
%589 = (fma.f64 %137 #s(literal 4 binary64) %307)
%590 = (fma.f64 %137 #s(literal 4 binary64) %306)
%591 = (*.f64 %281 #s(literal 0 binary64))
%592 = (fma.f64 %282 #s(literal 4 binary64) %591)
%593 = (*.f64 #s(literal 0 binary64) %281)
%594 = (fma.f64 %282 #s(literal 4 binary64) %593)
%595 = (fma.f64 %284 #s(literal 1/2 binary64) %591)
%596 = (fma.f64 %284 #s(literal 1/2 binary64) %593)
%597 = (fma.f64 %287 #s(literal 1/4 binary64) %591)
%598 = (fma.f64 %287 #s(literal 1/4 binary64) %593)
%599 = (/.f64 %321 #s(literal 1/2 binary64))
%600 = (fma.f64 %599 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%601 = (/.f64 %321 #s(literal 4 binary64))
%602 = (fma.f64 %601 #s(literal 4 binary64) #s(literal -1/2 binary64))
%603 = (neg.f64 %298)
%605 = (*.f64 (neg.f64 %603) #s(literal 1/2 binary64))
%606 = (fma.f64 %13 #s(literal 4 binary64) %605)
%607 = (neg.f64 %460)
%608 = (*.f64 %607 %438)
%609 = (fma.f64 %13 #s(literal 4 binary64) %608)
%610 = (*.f64 %603 #s(literal -1/2 binary64))
%611 = (fma.f64 %13 #s(literal 4 binary64) %610)
%612 = (neg.f64 %425)
%613 = (*.f64 #s(literal -2 binary64) %612)
%614 = (fma.f64 %13 #s(literal 4 binary64) %613)
%615 = (*.f64 %564 x)
%616 = (*.f64 %615 #s(literal -1 binary64))
%617 = (fma.f64 %13 #s(literal 4 binary64) %616)
%618 = (*.f64 #s(literal -1 binary64) %615)
%619 = (fma.f64 %13 #s(literal 4 binary64) %618)
%620 = (*.f64 %460 %437)
%621 = (fma.f64 %13 #s(literal 4 binary64) %620)
%622 = (fma.f64 %13 #s(literal 4 binary64) %295)
%623 = (fma.f64 %16 #s(literal 1/2 binary64) %605)
%624 = (fma.f64 %16 #s(literal 1/2 binary64) %608)
%625 = (fma.f64 %16 #s(literal 1/2 binary64) %610)
%626 = (fma.f64 %16 #s(literal 1/2 binary64) %613)
%627 = (fma.f64 %16 #s(literal 1/2 binary64) %616)
%628 = (fma.f64 %16 #s(literal 1/2 binary64) %618)
%629 = (fma.f64 %16 #s(literal 1/2 binary64) %620)
%630 = (fma.f64 %16 #s(literal 1/2 binary64) %295)
%631 = (fma.f64 %20 #s(literal 1/4 binary64) %605)
%632 = (fma.f64 %20 #s(literal 1/4 binary64) %608)
%633 = (fma.f64 %20 #s(literal 1/4 binary64) %610)
%634 = (fma.f64 %20 #s(literal 1/4 binary64) %613)
%635 = (fma.f64 %20 #s(literal 1/4 binary64) %616)
%636 = (fma.f64 %20 #s(literal 1/4 binary64) %618)
%637 = (fma.f64 %20 #s(literal 1/4 binary64) %620)
%638 = (fma.f64 %20 #s(literal 1/4 binary64) %295)
%639 = (/.f64 %438 #s(literal 4 binary64))
%640 = (*.f64 %438 #s(literal 2 binary64))
%641 = (/.f64 %640 #s(literal 1/2 binary64))
%642 = (fma.f64 %639 %641 %404)
%643 = (fma.f64 %639 %641 %407)
%644 = (fma.f64 %639 %641 %410)
%645 = (fma.f64 %639 %641 %412)
%646 = (fma.f64 %639 %641 %414)
%647 = (fma.f64 %639 %641 %416)
%648 = (fma.f64 %639 %641 %418)
%649 = (fma.f64 %639 %641 %420)
%650 = (fma.f64 %639 %641 %11)
%651 = (/.f64 %438 #s(literal 1/2 binary64))
%652 = (/.f64 %640 #s(literal 4 binary64))
%653 = (fma.f64 %651 %652 %404)
%654 = (fma.f64 %651 %652 %407)
%655 = (fma.f64 %651 %652 %410)
%656 = (fma.f64 %651 %652 %412)
%657 = (fma.f64 %651 %652 %414)
%658 = (fma.f64 %651 %652 %416)
%659 = (fma.f64 %651 %652 %418)
%660 = (fma.f64 %651 %652 %420)
%661 = (fma.f64 %651 %652 %11)
%662 = (/.f64 %438 #s(literal 2 binary64))
%663 = (/.f64 %640 #s(literal 1 binary64))
%664 = (fma.f64 %662 %663 %404)
%665 = (fma.f64 %662 %663 %407)
%666 = (fma.f64 %662 %663 %410)
%667 = (fma.f64 %662 %663 %412)
%668 = (fma.f64 %662 %663 %414)
%669 = (fma.f64 %662 %663 %416)
%670 = (fma.f64 %662 %663 %418)
%671 = (fma.f64 %662 %663 %420)
%672 = (fma.f64 %662 %663 %11)
%673 = (/.f64 %437 #s(literal 4 binary64))
%674 = (*.f64 %437 #s(literal 2 binary64))
%675 = (/.f64 %674 #s(literal 1/2 binary64))
%676 = (fma.f64 %673 %675 %404)
%677 = (fma.f64 %673 %675 %407)
%678 = (fma.f64 %673 %675 %410)
%679 = (fma.f64 %673 %675 %412)
%680 = (fma.f64 %673 %675 %414)
%681 = (fma.f64 %673 %675 %416)
%682 = (fma.f64 %673 %675 %418)
%683 = (fma.f64 %673 %675 %420)
%684 = (fma.f64 %673 %675 %11)
%685 = (/.f64 %437 #s(literal 1/2 binary64))
%686 = (/.f64 %674 #s(literal 4 binary64))
%687 = (fma.f64 %685 %686 %404)
%688 = (fma.f64 %685 %686 %407)
%689 = (fma.f64 %685 %686 %410)
%690 = (fma.f64 %685 %686 %412)
%691 = (fma.f64 %685 %686 %414)
%692 = (fma.f64 %685 %686 %416)
%693 = (fma.f64 %685 %686 %418)
%694 = (fma.f64 %685 %686 %420)
%695 = (fma.f64 %685 %686 %11)
%696 = (/.f64 %564 #s(literal 4 binary64))
%697 = (*.f64 %564 #s(literal 2 binary64))
%698 = (/.f64 %697 #s(literal 1/2 binary64))
%699 = (fma.f64 %696 %698 %404)
%700 = (fma.f64 %696 %698 %407)
%701 = (fma.f64 %696 %698 %410)
%702 = (fma.f64 %696 %698 %412)
%703 = (fma.f64 %696 %698 %414)
%704 = (fma.f64 %696 %698 %416)
%705 = (fma.f64 %696 %698 %418)
%706 = (fma.f64 %696 %698 %420)
%707 = (fma.f64 %696 %698 %11)
%708 = (/.f64 %564 #s(literal 1/2 binary64))
%709 = (/.f64 %697 #s(literal 4 binary64))
%710 = (fma.f64 %708 %709 %404)
%711 = (fma.f64 %708 %709 %407)
%712 = (fma.f64 %708 %709 %410)
%713 = (fma.f64 %708 %709 %412)
%714 = (fma.f64 %708 %709 %414)
%715 = (fma.f64 %708 %709 %416)
%716 = (fma.f64 %708 %709 %418)
%717 = (fma.f64 %708 %709 %420)
%718 = (fma.f64 %708 %709 %11)
%719 = (/.f64 %295 #s(literal 4 binary64))
%720 = (fma.f64 %719 #s(literal 4 binary64) %404)
%721 = (fma.f64 %719 #s(literal 4 binary64) %407)
%722 = (fma.f64 %719 #s(literal 4 binary64) %410)
%723 = (fma.f64 %719 #s(literal 4 binary64) %412)
%724 = (fma.f64 %719 #s(literal 4 binary64) %414)
%725 = (fma.f64 %719 #s(literal 4 binary64) %416)
%726 = (fma.f64 %719 #s(literal 4 binary64) %418)
%727 = (fma.f64 %719 #s(literal 4 binary64) %420)
%728 = (fma.f64 %719 #s(literal 4 binary64) %11)
%729 = (/.f64 %295 #s(literal 1/2 binary64))
%730 = (fma.f64 %729 #s(literal 1/2 binary64) %404)
%731 = (fma.f64 %729 #s(literal 1/2 binary64) %407)
%732 = (fma.f64 %729 #s(literal 1/2 binary64) %410)
%733 = (fma.f64 %729 #s(literal 1/2 binary64) %412)
%734 = (fma.f64 %729 #s(literal 1/2 binary64) %414)
%735 = (fma.f64 %729 #s(literal 1/2 binary64) %416)
%736 = (fma.f64 %729 #s(literal 1/2 binary64) %418)
%737 = (fma.f64 %729 #s(literal 1/2 binary64) %420)
%738 = (fma.f64 %729 #s(literal 1/2 binary64) %11)
%739 = (/.f64 %298 #s(literal 1/2 binary64))
%740 = (fma.f64 %739 #s(literal 1/4 binary64) %404)
%741 = (fma.f64 %739 #s(literal 1/4 binary64) %407)
%742 = (fma.f64 %739 #s(literal 1/4 binary64) %410)
%743 = (fma.f64 %739 #s(literal 1/4 binary64) %412)
%744 = (fma.f64 %739 #s(literal 1/4 binary64) %414)
%745 = (fma.f64 %739 #s(literal 1/4 binary64) %416)
%746 = (fma.f64 %739 #s(literal 1/4 binary64) %418)
%747 = (fma.f64 %739 #s(literal 1/4 binary64) %420)
%748 = (fma.f64 %739 #s(literal 1/4 binary64) %11)
%749 = (/.f64 x #s(literal 4 binary64))
%750 = (*.f64 x #s(literal 2 binary64))
%751 = (/.f64 %750 #s(literal 1/2 binary64))
%752 = (fma.f64 %749 %751 %404)
%753 = (fma.f64 %749 %751 %407)
%754 = (fma.f64 %749 %751 %410)
%755 = (fma.f64 %749 %751 %412)
%756 = (fma.f64 %749 %751 %414)
%757 = (fma.f64 %749 %751 %416)
%758 = (fma.f64 %749 %751 %418)
%759 = (fma.f64 %749 %751 %420)
%760 = (fma.f64 %749 %751 %11)
%761 = (/.f64 x #s(literal 1/2 binary64))
%762 = (/.f64 %750 #s(literal 4 binary64))
%763 = (fma.f64 %761 %762 %404)
%764 = (fma.f64 %761 %762 %407)
%765 = (fma.f64 %761 %762 %410)
%766 = (fma.f64 %761 %762 %412)
%767 = (fma.f64 %761 %762 %414)
%768 = (fma.f64 %761 %762 %416)
%769 = (fma.f64 %761 %762 %418)
%770 = (fma.f64 %761 %762 %420)
%771 = (fma.f64 %761 %762 %11)
%772 = (*.f64 %674 %674)
%773 = (fma.f64 %772 #s(literal 1/4 binary64) %404)
%774 = (fma.f64 %772 #s(literal 1/4 binary64) %407)
%775 = (fma.f64 %772 #s(literal 1/4 binary64) %410)
%776 = (fma.f64 %772 #s(literal 1/4 binary64) %412)
%777 = (fma.f64 %772 #s(literal 1/4 binary64) %414)
%778 = (fma.f64 %772 #s(literal 1/4 binary64) %416)
%779 = (fma.f64 %772 #s(literal 1/4 binary64) %418)
%780 = (fma.f64 %772 #s(literal 1/4 binary64) %420)
%781 = (fma.f64 %772 #s(literal 1/4 binary64) %11)
%782 = (*.f64 %697 %697)
%783 = (fma.f64 %782 #s(literal 1/4 binary64) %404)
%784 = (fma.f64 %782 #s(literal 1/4 binary64) %407)
%785 = (fma.f64 %782 #s(literal 1/4 binary64) %410)
%786 = (fma.f64 %782 #s(literal 1/4 binary64) %412)
%787 = (fma.f64 %782 #s(literal 1/4 binary64) %414)
%788 = (fma.f64 %782 #s(literal 1/4 binary64) %416)
%789 = (fma.f64 %782 #s(literal 1/4 binary64) %418)
%790 = (fma.f64 %782 #s(literal 1/4 binary64) %420)
%791 = (fma.f64 %782 #s(literal 1/4 binary64) %11)
%792 = (*.f64 %750 %750)
%793 = (fma.f64 %792 #s(literal 1/4 binary64) %404)
%794 = (fma.f64 %792 #s(literal 1/4 binary64) %407)
%795 = (fma.f64 %792 #s(literal 1/4 binary64) %410)
%796 = (fma.f64 %792 #s(literal 1/4 binary64) %412)
%797 = (fma.f64 %792 #s(literal 1/4 binary64) %414)
%798 = (fma.f64 %792 #s(literal 1/4 binary64) %416)
%799 = (fma.f64 %792 #s(literal 1/4 binary64) %418)
%800 = (fma.f64 %792 #s(literal 1/4 binary64) %420)
%801 = (fma.f64 %792 #s(literal 1/4 binary64) %11)
%802 = (neg.f64 %439)
%803 = (fma.f64 %802 %802 %404)
%804 = (fma.f64 %802 %802 %407)
%805 = (fma.f64 %802 %802 %410)
%806 = (fma.f64 %802 %802 %412)
%807 = (fma.f64 %802 %802 %414)
%808 = (fma.f64 %802 %802 %416)
%809 = (fma.f64 %802 %802 %418)
%810 = (fma.f64 %802 %802 %420)
%811 = (fma.f64 %802 %802 %11)
%812 = (fma.f64 %607 %607 %404)
%813 = (fma.f64 %607 %607 %407)
%814 = (fma.f64 %607 %607 %410)
%815 = (fma.f64 %607 %607 %412)
%816 = (fma.f64 %607 %607 %414)
%817 = (fma.f64 %607 %607 %416)
%818 = (fma.f64 %607 %607 %418)
%819 = (fma.f64 %607 %607 %420)
%820 = (fma.f64 %607 %607 %11)
%821 = (fma.f64 %148 %148 %307)
%822 = (fma.f64 %148 %148 %306)
%823 = (fma.f64 %150 %150 %307)
%824 = (fma.f64 %150 %150 %306)
%825 = (fma.f64 %152 %152 %307)
%826 = (fma.f64 %152 %152 %306)
%827 = (fma.f64 %154 %154 %307)
%828 = (fma.f64 %154 %154 %306)
%829 = (fma.f64 %156 %156 %307)
%830 = (fma.f64 %156 %156 %306)
%831 = (fma.f64 %158 %158 %307)
%832 = (fma.f64 %158 %158 %306)
%833 = (fma.f64 %160 %160 %307)
%834 = (fma.f64 %160 %160 %306)
%835 = (fma.f64 %162 %162 %307)
%836 = (fma.f64 %162 %162 %306)
%837 = (*.f64 %438 #s(literal -1 binary64))
%838 = (fma.f64 %837 %837 %404)
%839 = (fma.f64 %837 %837 %407)
%840 = (fma.f64 %837 %837 %410)
%841 = (fma.f64 %837 %837 %412)
%842 = (fma.f64 %837 %837 %414)
%843 = (fma.f64 %837 %837 %416)
%844 = (fma.f64 %837 %837 %418)
%845 = (fma.f64 %837 %837 %420)
%846 = (fma.f64 %837 %837 %11)
%847 = (*.f64 #s(literal -1 binary64) %438)
%848 = (fma.f64 %847 %847 %404)
%849 = (fma.f64 %847 %847 %407)
%850 = (fma.f64 %847 %847 %410)
%851 = (fma.f64 %847 %847 %412)
%852 = (fma.f64 %847 %847 %414)
%853 = (fma.f64 %847 %847 %416)
%854 = (fma.f64 %847 %847 %418)
%855 = (fma.f64 %847 %847 %420)
%856 = (fma.f64 %847 %847 %11)
%857 = (fma.f64 %164 %164 %307)
%858 = (fma.f64 %164 %164 %306)
%859 = (fma.f64 %166 %166 %307)
%860 = (fma.f64 %166 %166 %306)
%861 = (fma.f64 %168 %168 %307)
%862 = (fma.f64 %168 %168 %306)
%863 = (fma.f64 %170 %170 %307)
%864 = (fma.f64 %170 %170 %306)
%865 = (fma.f64 %36 #s(literal 1/2 binary64) %307)
%866 = (fma.f64 %36 #s(literal 1/2 binary64) %306)
%867 = (fma.f64 %322 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%868 = (fma.f64 %326 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%869 = (fma.f64 %40 #s(literal 1/2 binary64) %307)
%870 = (fma.f64 %40 #s(literal 1/2 binary64) %306)
%871 = (/.f64 %750 #s(literal 1 binary64))
%872 = (fma.f64 %576 %871 %404)
%873 = (fma.f64 %576 %871 %407)
%874 = (fma.f64 %576 %871 %410)
%875 = (fma.f64 %576 %871 %412)
%876 = (fma.f64 %576 %871 %414)
%877 = (fma.f64 %576 %871 %416)
%878 = (fma.f64 %576 %871 %418)
%879 = (fma.f64 %576 %871 %420)
%880 = (fma.f64 %576 %871 %11)
%881 = (/.f64 %697 #s(literal 1 binary64))
%882 = (fma.f64 %565 %881 %404)
%883 = (fma.f64 %565 %881 %407)
%884 = (fma.f64 %565 %881 %410)
%885 = (fma.f64 %565 %881 %412)
%886 = (fma.f64 %565 %881 %414)
%887 = (fma.f64 %565 %881 %416)
%888 = (fma.f64 %565 %881 %418)
%889 = (fma.f64 %565 %881 %420)
%890 = (fma.f64 %565 %881 %11)
%891 = (/.f64 %674 #s(literal 1 binary64))
%892 = (fma.f64 %553 %891 %404)
%893 = (fma.f64 %553 %891 %407)
%894 = (fma.f64 %553 %891 %410)
%895 = (fma.f64 %553 %891 %412)
%896 = (fma.f64 %553 %891 %414)
%897 = (fma.f64 %553 %891 %416)
%898 = (fma.f64 %553 %891 %418)
%899 = (fma.f64 %553 %891 %420)
%900 = (fma.f64 %553 %891 %11)
%901 = (fma.f64 %174 #s(literal 2 binary64) %307)
%902 = (fma.f64 %174 #s(literal 2 binary64) %306)
%903 = (*.f64 %321 #s(literal 1/2 binary64))
%904 = (fma.f64 %903 #s(literal 2 binary64) #s(literal -1/2 binary64))
%905 = (*.f64 #s(literal -1 binary64) %564)
%906 = (fma.f64 %905 %905 %404)
%907 = (fma.f64 %905 %905 %407)
%908 = (fma.f64 %905 %905 %410)
%909 = (fma.f64 %905 %905 %412)
%910 = (fma.f64 %905 %905 %414)
%911 = (fma.f64 %905 %905 %416)
%912 = (fma.f64 %905 %905 %418)
%913 = (fma.f64 %905 %905 %420)
%914 = (fma.f64 %905 %905 %11)
%915 = (*.f64 #s(literal -1 binary64) x)
%916 = (fma.f64 %915 %915 %404)
%917 = (fma.f64 %915 %915 %407)
%918 = (fma.f64 %915 %915 %410)
%919 = (fma.f64 %915 %915 %412)
%920 = (fma.f64 %915 %915 %414)
%921 = (fma.f64 %915 %915 %416)
%922 = (fma.f64 %915 %915 %418)
%923 = (fma.f64 %915 %915 %420)
%924 = (fma.f64 %915 %915 %11)
%925 = (*.f64 #s(literal -1 binary64) %437)
%926 = (fma.f64 %925 %925 %404)
%927 = (fma.f64 %925 %925 %407)
%928 = (fma.f64 %925 %925 %410)
%929 = (fma.f64 %925 %925 %412)
%930 = (fma.f64 %925 %925 %414)
%931 = (fma.f64 %925 %925 %416)
%932 = (fma.f64 %925 %925 %418)
%933 = (fma.f64 %925 %925 %420)
%934 = (fma.f64 %925 %925 %11)
%935 = (*.f64 x #s(literal -1 binary64))
%936 = (fma.f64 %935 %935 %404)
%937 = (fma.f64 %935 %935 %407)
%938 = (fma.f64 %935 %935 %410)
%939 = (fma.f64 %935 %935 %412)
%940 = (fma.f64 %935 %935 %414)
%941 = (fma.f64 %935 %935 %416)
%942 = (fma.f64 %935 %935 %418)
%943 = (fma.f64 %935 %935 %420)
%944 = (fma.f64 %935 %935 %11)
%945 = (*.f64 %564 #s(literal -1 binary64))
%946 = (fma.f64 %945 %945 %404)
%947 = (fma.f64 %945 %945 %407)
%948 = (fma.f64 %945 %945 %410)
%949 = (fma.f64 %945 %945 %412)
%950 = (fma.f64 %945 %945 %414)
%951 = (fma.f64 %945 %945 %416)
%952 = (fma.f64 %945 %945 %418)
%953 = (fma.f64 %945 %945 %420)
%954 = (fma.f64 %945 %945 %11)
%955 = (*.f64 %437 #s(literal -1 binary64))
%956 = (fma.f64 %955 %955 %404)
%957 = (fma.f64 %955 %955 %407)
%958 = (fma.f64 %955 %955 %410)
%959 = (fma.f64 %955 %955 %412)
%960 = (fma.f64 %955 %955 %414)
%961 = (fma.f64 %955 %955 %416)
%962 = (fma.f64 %955 %955 %418)
%963 = (fma.f64 %955 %955 %420)
%964 = (fma.f64 %955 %955 %11)
%965 = (fma.f64 #s(literal 1/4 binary64) %287 %591)
%966 = (fma.f64 #s(literal 1/4 binary64) %287 %593)
%967 = (fma.f64 #s(literal 1/4 binary64) %20 %605)
%968 = (fma.f64 #s(literal 1/4 binary64) %20 %608)
%969 = (fma.f64 #s(literal 1/4 binary64) %20 %610)
%970 = (fma.f64 #s(literal 1/4 binary64) %20 %613)
%971 = (fma.f64 #s(literal 1/4 binary64) %20 %616)
%972 = (fma.f64 #s(literal 1/4 binary64) %20 %618)
%973 = (fma.f64 #s(literal 1/4 binary64) %20 %620)
%974 = (fma.f64 #s(literal 1/4 binary64) %20 %295)
%975 = (fma.f64 #s(literal 1/4 binary64) %739 %404)
%976 = (fma.f64 #s(literal 1/4 binary64) %739 %407)
%977 = (fma.f64 #s(literal 1/4 binary64) %739 %410)
%978 = (fma.f64 #s(literal 1/4 binary64) %739 %412)
%979 = (fma.f64 #s(literal 1/4 binary64) %739 %414)
%980 = (fma.f64 #s(literal 1/4 binary64) %739 %416)
%981 = (fma.f64 #s(literal 1/4 binary64) %739 %418)
%982 = (fma.f64 #s(literal 1/4 binary64) %739 %420)
%983 = (fma.f64 #s(literal 1/4 binary64) %739 %11)
%984 = (*.f64 #s(literal 2 binary64) %437)
%985 = (*.f64 %984 %984)
%986 = (fma.f64 #s(literal 1/4 binary64) %985 %404)
%987 = (fma.f64 #s(literal 1/4 binary64) %985 %407)
%988 = (fma.f64 #s(literal 1/4 binary64) %985 %410)
%989 = (fma.f64 #s(literal 1/4 binary64) %985 %412)
%990 = (fma.f64 #s(literal 1/4 binary64) %985 %414)
%991 = (fma.f64 #s(literal 1/4 binary64) %985 %416)
%992 = (fma.f64 #s(literal 1/4 binary64) %985 %418)
%993 = (fma.f64 #s(literal 1/4 binary64) %985 %420)
%994 = (fma.f64 #s(literal 1/4 binary64) %985 %11)
%995 = (*.f64 #s(literal 2 binary64) %564)
%996 = (*.f64 %995 %995)
%997 = (fma.f64 #s(literal 1/4 binary64) %996 %404)
%998 = (fma.f64 #s(literal 1/4 binary64) %996 %407)
%999 = (fma.f64 #s(literal 1/4 binary64) %996 %410)
%1000 = (fma.f64 #s(literal 1/4 binary64) %996 %412)
%1001 = (fma.f64 #s(literal 1/4 binary64) %996 %414)
%1002 = (fma.f64 #s(literal 1/4 binary64) %996 %416)
%1003 = (fma.f64 #s(literal 1/4 binary64) %996 %418)
%1004 = (fma.f64 #s(literal 1/4 binary64) %996 %420)
%1005 = (fma.f64 #s(literal 1/4 binary64) %996 %11)
%1006 = (*.f64 #s(literal 2 binary64) x)
%1007 = (*.f64 %1006 %1006)
%1008 = (fma.f64 #s(literal 1/4 binary64) %1007 %404)
%1009 = (fma.f64 #s(literal 1/4 binary64) %1007 %407)
%1010 = (fma.f64 #s(literal 1/4 binary64) %1007 %410)
%1011 = (fma.f64 #s(literal 1/4 binary64) %1007 %412)
%1012 = (fma.f64 #s(literal 1/4 binary64) %1007 %414)
%1013 = (fma.f64 #s(literal 1/4 binary64) %1007 %416)
%1014 = (fma.f64 #s(literal 1/4 binary64) %1007 %418)
%1015 = (fma.f64 #s(literal 1/4 binary64) %1007 %420)
%1016 = (fma.f64 #s(literal 1/4 binary64) %1007 %11)
%1017 = (/.f64 %640 #s(literal 2 binary64))
%1018 = (fma.f64 %439 %1017 %404)
%1019 = (fma.f64 %439 %1017 %407)
%1020 = (fma.f64 %439 %1017 %410)
%1021 = (fma.f64 %439 %1017 %412)
%1022 = (fma.f64 %439 %1017 %414)
%1023 = (fma.f64 %439 %1017 %416)
%1024 = (fma.f64 %439 %1017 %418)
%1025 = (fma.f64 %439 %1017 %420)
%1026 = (fma.f64 %439 %1017 %11)
%1027 = (fma.f64 %439 %439 %404)
%1028 = (fma.f64 %439 %439 %407)
%1029 = (fma.f64 %439 %439 %410)
%1030 = (fma.f64 %439 %439 %412)
%1031 = (fma.f64 %439 %439 %414)
%1032 = (fma.f64 %439 %439 %416)
%1033 = (fma.f64 %439 %439 %418)
%1034 = (fma.f64 %439 %439 %420)
%1035 = (fma.f64 %439 %439 %11)
%1036 = (fma.f64 %98 %98 %307)
%1037 = (fma.f64 %98 %98 %306)
%1038 = (fma.f64 %104 %104 %307)
%1039 = (fma.f64 %104 %104 %306)
%1040 = (fma.f64 %109 %109 %307)
%1041 = (fma.f64 %109 %109 %306)
%1042 = (*.f64 #s(literal 1/2 binary64) %437)
%1043 = (*.f64 %1042 %1042)
%1044 = (fma.f64 #s(literal 4 binary64) %1043 %404)
%1045 = (fma.f64 #s(literal 4 binary64) %1043 %407)
%1046 = (fma.f64 #s(literal 4 binary64) %1043 %410)
%1047 = (fma.f64 #s(literal 4 binary64) %1043 %412)
%1048 = (fma.f64 #s(literal 4 binary64) %1043 %414)
%1049 = (fma.f64 #s(literal 4 binary64) %1043 %416)
%1050 = (fma.f64 #s(literal 4 binary64) %1043 %418)
%1051 = (fma.f64 #s(literal 4 binary64) %1043 %420)
%1052 = (fma.f64 #s(literal 4 binary64) %1043 %11)
%1053 = (*.f64 #s(literal 1/2 binary64) %564)
%1054 = (*.f64 %1053 %1053)
%1055 = (fma.f64 #s(literal 4 binary64) %1054 %404)
%1056 = (fma.f64 #s(literal 4 binary64) %1054 %407)
%1057 = (fma.f64 #s(literal 4 binary64) %1054 %410)
%1058 = (fma.f64 #s(literal 4 binary64) %1054 %412)
%1059 = (fma.f64 #s(literal 4 binary64) %1054 %414)
%1060 = (fma.f64 #s(literal 4 binary64) %1054 %416)
%1061 = (fma.f64 #s(literal 4 binary64) %1054 %418)
%1062 = (fma.f64 #s(literal 4 binary64) %1054 %420)
%1063 = (fma.f64 #s(literal 4 binary64) %1054 %11)
%1064 = (*.f64 #s(literal 1/2 binary64) x)
%1065 = (*.f64 %1064 %1064)
%1066 = (fma.f64 #s(literal 4 binary64) %1065 %404)
%1067 = (fma.f64 #s(literal 4 binary64) %1065 %407)
%1068 = (fma.f64 #s(literal 4 binary64) %1065 %410)
%1069 = (fma.f64 #s(literal 4 binary64) %1065 %412)
%1070 = (fma.f64 #s(literal 4 binary64) %1065 %414)
%1071 = (fma.f64 #s(literal 4 binary64) %1065 %416)
%1072 = (fma.f64 #s(literal 4 binary64) %1065 %418)
%1073 = (fma.f64 #s(literal 4 binary64) %1065 %420)
%1074 = (fma.f64 #s(literal 4 binary64) %1065 %11)
%1075 = (fma.f64 #s(literal 4 binary64) %137 %307)
%1076 = (fma.f64 #s(literal 4 binary64) %137 %306)
%1077 = (fma.f64 #s(literal 4 binary64) %282 %591)
%1078 = (fma.f64 #s(literal 4 binary64) %282 %593)
%1079 = (fma.f64 #s(literal 4 binary64) %601 #s(literal -1/2 binary64))
%1080 = (fma.f64 #s(literal 4 binary64) %13 %605)
%1081 = (fma.f64 #s(literal 4 binary64) %13 %608)
%1082 = (fma.f64 #s(literal 4 binary64) %13 %610)
%1083 = (fma.f64 #s(literal 4 binary64) %13 %613)
%1084 = (fma.f64 #s(literal 4 binary64) %13 %616)
%1085 = (fma.f64 #s(literal 4 binary64) %13 %618)
%1086 = (fma.f64 #s(literal 4 binary64) %13 %620)
%1087 = (fma.f64 #s(literal 4 binary64) %13 %295)
%1088 = (fma.f64 #s(literal 4 binary64) %719 %404)
%1089 = (fma.f64 #s(literal 4 binary64) %719 %407)
%1090 = (fma.f64 #s(literal 4 binary64) %719 %410)
%1091 = (fma.f64 #s(literal 4 binary64) %719 %412)
%1092 = (fma.f64 #s(literal 4 binary64) %719 %414)
%1093 = (fma.f64 #s(literal 4 binary64) %719 %416)
%1094 = (fma.f64 #s(literal 4 binary64) %719 %418)
%1095 = (fma.f64 #s(literal 4 binary64) %719 %420)
%1096 = (fma.f64 #s(literal 4 binary64) %719 %11)
%1097 = (fma.f64 %114 %114 %307)
%1098 = (fma.f64 %114 %114 %306)
%1099 = (fma.f64 %460 %460 %404)
%1100 = (fma.f64 %460 %460 %407)
%1101 = (fma.f64 %460 %460 %410)
%1102 = (fma.f64 %460 %460 %412)
%1103 = (fma.f64 %460 %460 %414)
%1104 = (fma.f64 %460 %460 %416)
%1105 = (fma.f64 %460 %460 %418)
%1106 = (fma.f64 %460 %460 %420)
%1107 = (fma.f64 %460 %460 %11)
%1108 = (fma.f64 %306 #s(literal 1 binary64) %35)
%1109 = (fma.f64 %19 #s(literal 1/2 binary64) %605)
%1110 = (fma.f64 %19 #s(literal 1/2 binary64) %608)
%1111 = (fma.f64 %19 #s(literal 1/2 binary64) %610)
%1112 = (fma.f64 %19 #s(literal 1/2 binary64) %613)
%1113 = (fma.f64 %19 #s(literal 1/2 binary64) %616)
%1114 = (fma.f64 %19 #s(literal 1/2 binary64) %618)
%1115 = (fma.f64 %19 #s(literal 1/2 binary64) %620)
%1116 = (fma.f64 %19 #s(literal 1/2 binary64) %295)
%1117 = (fma.f64 %298 #s(literal 1/2 binary64) %404)
%1118 = (fma.f64 %298 #s(literal 1/2 binary64) %407)
%1119 = (fma.f64 %298 #s(literal 1/2 binary64) %410)
%1120 = (fma.f64 %298 #s(literal 1/2 binary64) %412)
%1121 = (fma.f64 %298 #s(literal 1/2 binary64) %414)
%1122 = (fma.f64 %298 #s(literal 1/2 binary64) %416)
%1123 = (fma.f64 %298 #s(literal 1/2 binary64) %418)
%1124 = (fma.f64 %298 #s(literal 1/2 binary64) %420)
%1125 = (fma.f64 %298 #s(literal 1/2 binary64) %11)
%1126 = (fma.f64 %286 #s(literal 1/2 binary64) %591)
%1127 = (fma.f64 %286 #s(literal 1/2 binary64) %593)
%1128 = (fma.f64 %26 #s(literal 2 binary64) %605)
%1129 = (fma.f64 %26 #s(literal 2 binary64) %608)
%1130 = (fma.f64 %26 #s(literal 2 binary64) %610)
%1131 = (fma.f64 %26 #s(literal 2 binary64) %613)
%1132 = (fma.f64 %26 #s(literal 2 binary64) %616)
%1133 = (fma.f64 %26 #s(literal 2 binary64) %618)
%1134 = (fma.f64 %26 #s(literal 2 binary64) %620)
%1135 = (fma.f64 %26 #s(literal 2 binary64) %295)
%1136 = (fma.f64 %425 #s(literal 2 binary64) %404)
%1137 = (fma.f64 %425 #s(literal 2 binary64) %407)
%1138 = (fma.f64 %425 #s(literal 2 binary64) %410)
%1139 = (fma.f64 %425 #s(literal 2 binary64) %412)
%1140 = (fma.f64 %425 #s(literal 2 binary64) %414)
%1141 = (fma.f64 %425 #s(literal 2 binary64) %416)
%1142 = (fma.f64 %425 #s(literal 2 binary64) %418)
%1143 = (fma.f64 %425 #s(literal 2 binary64) %420)
%1144 = (fma.f64 %425 #s(literal 2 binary64) %11)
%1145 = (fma.f64 %292 #s(literal 2 binary64) %591)
%1146 = (fma.f64 %292 #s(literal 2 binary64) %593)
%1147 = (fma.f64 %292 #s(literal 1 binary64) %292)
%1148 = (fma.f64 %97 %98 %307)
%1149 = (fma.f64 %97 %98 %306)
%1150 = (fma.f64 %97 %97 %307)
%1151 = (fma.f64 %97 %97 %306)
%1152 = (fma.f64 %438 %439 %404)
%1153 = (fma.f64 %438 %439 %407)
%1154 = (fma.f64 %438 %439 %410)
%1155 = (fma.f64 %438 %439 %412)
%1156 = (fma.f64 %438 %439 %414)
%1157 = (fma.f64 %438 %439 %416)
%1158 = (fma.f64 %438 %439 %418)
%1159 = (fma.f64 %438 %439 %420)
%1160 = (fma.f64 %438 %439 %11)
%1161 = (fma.f64 %438 %438 %404)
%1162 = (fma.f64 %438 %438 %407)
%1163 = (fma.f64 %438 %438 %410)
%1164 = (fma.f64 %438 %438 %412)
%1165 = (fma.f64 %438 %438 %414)
%1166 = (fma.f64 %438 %438 %416)
%1167 = (fma.f64 %438 %438 %418)
%1168 = (fma.f64 %438 %438 %420)
%1169 = (fma.f64 %438 %438 %11)
%1170 = (fma.f64 %321 #s(literal 1 binary64) #s(literal -1/2 binary64))
%1171 = (fma.f64 #s(literal 1/2 binary64) %135 %307)
%1172 = (fma.f64 #s(literal 1/2 binary64) %135 %306)
%1173 = (fma.f64 #s(literal 1/2 binary64) %284 %591)
%1174 = (fma.f64 #s(literal 1/2 binary64) %284 %593)
%1175 = (fma.f64 #s(literal 1/2 binary64) %599 #s(literal -1/2 binary64))
%1176 = (fma.f64 #s(literal 1/2 binary64) %16 %605)
%1177 = (fma.f64 #s(literal 1/2 binary64) %16 %608)
%1178 = (fma.f64 #s(literal 1/2 binary64) %16 %610)
%1179 = (fma.f64 #s(literal 1/2 binary64) %16 %613)
%1180 = (fma.f64 #s(literal 1/2 binary64) %16 %616)
%1181 = (fma.f64 #s(literal 1/2 binary64) %16 %618)
%1182 = (fma.f64 #s(literal 1/2 binary64) %16 %620)
%1183 = (fma.f64 #s(literal 1/2 binary64) %16 %295)
%1184 = (fma.f64 #s(literal 1/2 binary64) %729 %404)
%1185 = (fma.f64 #s(literal 1/2 binary64) %729 %407)
%1186 = (fma.f64 #s(literal 1/2 binary64) %729 %410)
%1187 = (fma.f64 #s(literal 1/2 binary64) %729 %412)
%1188 = (fma.f64 #s(literal 1/2 binary64) %729 %414)
%1189 = (fma.f64 #s(literal 1/2 binary64) %729 %416)
%1190 = (fma.f64 #s(literal 1/2 binary64) %729 %418)
%1191 = (fma.f64 #s(literal 1/2 binary64) %729 %420)
%1192 = (fma.f64 #s(literal 1/2 binary64) %729 %11)
%1193 = (fma.f64 #s(literal 1/2 binary64) %326 #s(literal -1/2 binary64))
%1194 = (fma.f64 #s(literal 1/2 binary64) %40 %307)
%1195 = (fma.f64 #s(literal 1/2 binary64) %40 %306)
%1196 = (fma.f64 #s(literal 1/2 binary64) %296 %591)
%1197 = (fma.f64 #s(literal 1/2 binary64) %296 %593)
%1198 = (fma.f64 #s(literal 1/2 binary64) %299 %591)
%1199 = (fma.f64 #s(literal 1/2 binary64) %299 %593)
%1200 = (fma.f64 #s(literal 1/2 binary64) %19 %605)
%1201 = (fma.f64 #s(literal 1/2 binary64) %19 %608)
%1202 = (fma.f64 #s(literal 1/2 binary64) %19 %610)
%1203 = (fma.f64 #s(literal 1/2 binary64) %19 %613)
%1204 = (fma.f64 #s(literal 1/2 binary64) %19 %616)
%1205 = (fma.f64 #s(literal 1/2 binary64) %19 %618)
%1206 = (fma.f64 #s(literal 1/2 binary64) %19 %620)
%1207 = (fma.f64 #s(literal 1/2 binary64) %19 %295)
%1208 = (fma.f64 #s(literal 1/2 binary64) %298 %404)
%1209 = (fma.f64 #s(literal 1/2 binary64) %298 %407)
%1210 = (fma.f64 #s(literal 1/2 binary64) %298 %410)
%1211 = (fma.f64 #s(literal 1/2 binary64) %298 %412)
%1212 = (fma.f64 #s(literal 1/2 binary64) %298 %414)
%1213 = (fma.f64 #s(literal 1/2 binary64) %298 %416)
%1214 = (fma.f64 #s(literal 1/2 binary64) %298 %418)
%1215 = (fma.f64 #s(literal 1/2 binary64) %298 %420)
%1216 = (fma.f64 #s(literal 1/2 binary64) %298 %11)
%1217 = (fma.f64 #s(literal 1/2 binary64) %286 %591)
%1218 = (fma.f64 #s(literal 1/2 binary64) %286 %593)
%1219 = (fma.f64 #s(literal 1/2 binary64) %281 %292)
%1220 = (fma.f64 %96 %96 %307)
%1221 = (fma.f64 %96 %96 %306)
%1222 = (fma.f64 %437 %437 %404)
%1223 = (fma.f64 %437 %437 %407)
%1224 = (fma.f64 %437 %437 %410)
%1225 = (fma.f64 %437 %437 %412)
%1226 = (fma.f64 %437 %437 %414)
%1227 = (fma.f64 %437 %437 %416)
%1228 = (fma.f64 %437 %437 %418)
%1229 = (fma.f64 %437 %437 %420)
%1230 = (fma.f64 %437 %437 %11)
%1231 = (fma.f64 %103 %104 %307)
%1232 = (fma.f64 %103 %104 %306)
%1233 = (fma.f64 %103 %103 %307)
%1234 = (fma.f64 %103 %103 %306)
%1235 = (fma.f64 %564 %564 %404)
%1236 = (fma.f64 %564 %564 %407)
%1237 = (fma.f64 %564 %564 %410)
%1238 = (fma.f64 %564 %564 %412)
%1239 = (fma.f64 %564 %564 %414)
%1240 = (fma.f64 %564 %564 %416)
%1241 = (fma.f64 %564 %564 %418)
%1242 = (fma.f64 %564 %564 %420)
%1243 = (fma.f64 %564 %564 %11)
%1244 = (fma.f64 #s(literal 2 binary64) %202 %307)
%1245 = (fma.f64 #s(literal 2 binary64) %202 %306)
%1246 = (*.f64 #s(literal 1/2 binary64) %321)
%1247 = (fma.f64 #s(literal 2 binary64) %1246 #s(literal -1/2 binary64))
%1248 = (fma.f64 #s(literal 2 binary64) %174 %307)
%1249 = (fma.f64 #s(literal 2 binary64) %174 %306)
%1250 = (fma.f64 #s(literal 2 binary64) %903 #s(literal -1/2 binary64))
%1251 = (fma.f64 #s(literal 2 binary64) %26 %605)
%1252 = (fma.f64 #s(literal 2 binary64) %26 %608)
%1253 = (fma.f64 #s(literal 2 binary64) %26 %610)
%1254 = (fma.f64 #s(literal 2 binary64) %26 %613)
%1255 = (fma.f64 #s(literal 2 binary64) %26 %616)
%1256 = (fma.f64 #s(literal 2 binary64) %26 %618)
%1257 = (fma.f64 #s(literal 2 binary64) %26 %620)
%1258 = (fma.f64 #s(literal 2 binary64) %26 %295)
%1259 = (fma.f64 #s(literal 2 binary64) %425 %404)
%1260 = (fma.f64 #s(literal 2 binary64) %425 %407)
%1261 = (fma.f64 #s(literal 2 binary64) %425 %410)
%1262 = (fma.f64 #s(literal 2 binary64) %425 %412)
%1263 = (fma.f64 #s(literal 2 binary64) %425 %414)
%1264 = (fma.f64 #s(literal 2 binary64) %425 %416)
%1265 = (fma.f64 #s(literal 2 binary64) %425 %418)
%1266 = (fma.f64 #s(literal 2 binary64) %425 %420)
%1267 = (fma.f64 #s(literal 2 binary64) %425 %11)
%1268 = (fma.f64 #s(literal 2 binary64) %292 %591)
%1269 = (fma.f64 #s(literal 2 binary64) %292 %593)
%1270 = (fma.f64 %295 #s(literal 1 binary64) %404)
%1271 = (fma.f64 %295 #s(literal 1 binary64) %407)
%1272 = (fma.f64 %295 #s(literal 1 binary64) %410)
%1273 = (fma.f64 %295 #s(literal 1 binary64) %412)
%1274 = (fma.f64 %295 #s(literal 1 binary64) %414)
%1275 = (fma.f64 %295 #s(literal 1 binary64) %416)
%1276 = (fma.f64 %295 #s(literal 1 binary64) %418)
%1277 = (fma.f64 %295 #s(literal 1 binary64) %420)
%1278 = (fma.f64 %295 #s(literal 1 binary64) %11)
%1279 = (fma.f64 %35 #s(literal 1 binary64) %307)
%1280 = (fma.f64 %35 #s(literal 1 binary64) %306)
%1281 = (fma.f64 %281 #s(literal 1/2 binary64) %292)
%1282 = (fma.f64 %281 #s(literal 1 binary64) %591)
%1283 = (fma.f64 %281 #s(literal 1 binary64) %593)
%1284 = (fma.f64 %11 #s(literal 1 binary64) %605)
%1285 = (fma.f64 %11 #s(literal 1 binary64) %608)
%1286 = (fma.f64 %11 #s(literal 1 binary64) %610)
%1287 = (fma.f64 %11 #s(literal 1 binary64) %613)
%1288 = (fma.f64 %11 #s(literal 1 binary64) %616)
%1289 = (fma.f64 %11 #s(literal 1 binary64) %618)
%1290 = (fma.f64 %11 #s(literal 1 binary64) %620)
%1291 = (fma.f64 %11 #s(literal 1 binary64) %295)
%1292 = (fma.f64 #s(literal 1 binary64) %306 %277)
%1293 = (fma.f64 #s(literal 1 binary64) %306 %256)
%1294 = (fma.f64 #s(literal 1 binary64) %306 %35)
%1295 = (fma.f64 #s(literal 1 binary64) %292 %292)
%1296 = (fma.f64 #s(literal 1 binary64) %321 #s(literal -1/2 binary64))
%1297 = (fma.f64 #s(literal 1 binary64) %295 %404)
%1298 = (fma.f64 #s(literal 1 binary64) %295 %407)
%1299 = (fma.f64 #s(literal 1 binary64) %295 %410)
%1300 = (fma.f64 #s(literal 1 binary64) %295 %412)
%1301 = (fma.f64 #s(literal 1 binary64) %295 %414)
%1302 = (fma.f64 #s(literal 1 binary64) %295 %416)
%1303 = (fma.f64 #s(literal 1 binary64) %295 %418)
%1304 = (fma.f64 #s(literal 1 binary64) %295 %420)
%1305 = (fma.f64 #s(literal 1 binary64) %295 %11)
%1306 = (fma.f64 #s(literal 1 binary64) %35 %307)
%1307 = (fma.f64 #s(literal 1 binary64) %35 %306)
%1308 = (fma.f64 #s(literal 1 binary64) %281 %591)
%1309 = (fma.f64 #s(literal 1 binary64) %281 %593)
%1310 = (fma.f64 #s(literal 1 binary64) %11 %605)
%1311 = (fma.f64 #s(literal 1 binary64) %11 %608)
%1312 = (fma.f64 #s(literal 1 binary64) %11 %610)
%1313 = (fma.f64 #s(literal 1 binary64) %11 %613)
%1314 = (fma.f64 #s(literal 1 binary64) %11 %616)
%1315 = (fma.f64 #s(literal 1 binary64) %11 %618)
%1316 = (fma.f64 #s(literal 1 binary64) %11 %620)
%1317 = (fma.f64 #s(literal 1 binary64) %11 %295)
%1318 = (fma.f64 x x %404)
%1319 = (fma.f64 x x %407)
%1320 = (fma.f64 x x %410)
%1321 = (fma.f64 x x %412)
%1322 = (fma.f64 x x %414)
%1323 = (fma.f64 x x %416)
%1324 = (fma.f64 x x %418)
%1325 = (fma.f64 x x %420)
%1326 = (fma.f64 y %109 %307)
%1327 = (fma.f64 y %109 %306)
%1328 = (fma.f64 y y %307)
%1329 = (fma.f64 y y %306)
%1330 = (-.f64 %307 %239)
%1331 = (-.f64 %307 %242)
%1332 = (-.f64 %307 %244)
%1333 = (-.f64 %307 %246)
%1334 = (-.f64 %307 %248)
%1335 = (-.f64 %307 %250)
%1336 = (-.f64 %307 %252)
%1337 = (-.f64 %307 %254)
%1338 = (-.f64 %307 %259)
%1339 = (-.f64 %307 %261)
%1340 = (-.f64 %307 %263)
%1341 = (-.f64 %307 %265)
%1342 = (-.f64 %307 %268)
%1343 = (-.f64 %307 %270)
%1344 = (-.f64 %307 %267)
%1345 = (-.f64 %306 %239)
%1346 = (-.f64 %306 %242)
%1347 = (-.f64 %306 %244)
%1348 = (-.f64 %306 %246)
%1349 = (-.f64 %306 %248)
%1350 = (-.f64 %306 %250)
%1351 = (-.f64 %306 %252)
%1352 = (-.f64 %306 %254)
%1353 = (-.f64 %306 %259)
%1354 = (-.f64 %306 %261)
%1355 = (-.f64 %306 %263)
%1356 = (-.f64 %306 %265)
%1357 = (-.f64 %306 %268)
%1358 = (-.f64 %306 %270)
%1359 = (-.f64 %306 %267)
%1360 = (neg.f64 %292)
%1362 = (-.f64 %292 (*.f64 %1360 #s(literal 1 binary64)))
%1364 = (-.f64 %292 (*.f64 %380 #s(literal 1/2 binary64)))
%1366 = (-.f64 %292 (*.f64 #s(literal -1 binary64) %292))
%1367 = (-.f64 %292 %1360)
%1369 = (-.f64 %292 (*.f64 #s(literal -1/2 binary64) %281))
%1371 = (-.f64 %292 (*.f64 #s(literal 1/2 binary64) %380))
%1372 = (-.f64 %321 #s(literal 1/2 binary64))
%1374 = (-.f64 %295 (*.f64 %216 #s(literal 2 binary64)))
%1376 = (-.f64 %295 (*.f64 #s(literal -1/2 binary64) %19))
%1377 = (-.f64 %295 %84)
%1378 = (-.f64 #s(literal 1/2 binary64) %295)
%1380 = (-.f64 %35 (*.f64 %1378 #s(literal 1 binary64)))
%1382 = (-.f64 %35 (*.f64 #s(literal -1 binary64) %306))
%1384 = (-.f64 %35 (neg.f64 %307))
%1385 = (-.f64 %35 %1378)
%1387 = (-.f64 %281 (*.f64 %380 #s(literal 0 binary64)))
%1389 = (-.f64 %281 (neg.f64 %591))
%1391 = (-.f64 %281 (neg.f64 %593))
%1392 = (-.f64 %281 %593)
%1394 = (-.f64 %11 (*.f64 %607 %437))
%1396 = (-.f64 %11 (*.f64 %802 %439))
%1398 = (-.f64 %11 (*.f64 %607 %460))
%1400 = (-.f64 %11 (*.f64 %612 #s(literal 2 binary64)))
%1402 = (-.f64 %11 (*.f64 #s(literal -1/2 binary64) %298))
%1404 = (-.f64 %11 (neg.f64 %620))
%1406 = (-.f64 %11 (*.f64 %460 %439))
%1407 = (-.f64 %11 %615)
%1410 = (-.f64 #s(literal -1/2 binary64) (*.f64 (neg.f64 %322) #s(literal 1/2 binary64)))
%1413 = (-.f64 #s(literal -1/2 binary64) (*.f64 (neg.f64 %903) #s(literal 2 binary64)))
%1414 = (neg.f64 %321)
%1416 = (-.f64 #s(literal -1/2 binary64) (*.f64 %1414 #s(literal 1 binary64)))
%1418 = (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -1/2 binary64) %326))
%1420 = (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -2 binary64) %1246))
%1422 = (-.f64 #s(literal -1/2 binary64) (*.f64 #s(literal -1 binary64) %321))
%1424 = (-.f64 #s(literal -1/2 binary64) (*.f64 %321 #s(literal -1 binary64)))
%1425 = (-.f64 #s(literal -1/2 binary64) %1414)
%1426 = (+.f64 %307 %35)
%1427 = (+.f64 %306 %277)
%1428 = (+.f64 %306 %256)
%1429 = (+.f64 %306 %35)
%1430 = (+.f64 %292 %292)
%1431 = (+.f64 %321 #s(literal -1/2 binary64))
%1432 = (+.f64 %295 %404)
%1433 = (+.f64 %295 %407)
%1434 = (+.f64 %295 %410)
%1435 = (+.f64 %295 %412)
%1436 = (+.f64 %295 %414)
%1437 = (+.f64 %295 %416)
%1438 = (+.f64 %295 %418)
%1439 = (+.f64 %295 %420)
%1440 = (+.f64 %295 %11)
%1441 = (+.f64 %35 %307)
%1442 = (+.f64 %35 %306)
%1443 = (+.f64 %281 %591)
%1444 = (+.f64 %281 %593)
%1445 = (+.f64 %11 %605)
%1446 = (+.f64 %11 %608)
%1447 = (+.f64 %11 %610)
%1448 = (+.f64 %11 %613)
%1449 = (+.f64 %11 %616)
%1450 = (+.f64 %11 %618)
%1451 = (+.f64 %11 %620)
%1452 = (+.f64 %11 %295)
%1453 = (+.f64 #s(literal -1/2 binary64) %321)
%1454 = (fmax.f64 %281 %3)
y
x
(*.f64 #s(literal 1 binary64) %3)
%3
(fmax.f64 y x)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
(*.f64 %13 #s(literal 4 binary64))
(*.f64 %16 #s(literal 1/2 binary64))
(*.f64 %20 #s(literal 1/4 binary64))
(*.f64 #s(literal 1/4 binary64) %20)
(*.f64 #s(literal 4 binary64) %13)
(*.f64 %19 #s(literal 1/2 binary64))
(*.f64 %26 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %16)
(*.f64 #s(literal 1/2 binary64) %19)
(*.f64 #s(literal 2 binary64) %26)
(*.f64 %11 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %11)
(pow.f64 %11 #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %37) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %41) #s(literal 4 binary64))
(/.f64 (fma.f64 %35 #s(literal 2 binary64) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %35 #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -1 binary64) %36) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -1 binary64) %40) #s(literal 2 binary64))
(/.f64 (-.f64 %36 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %40 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %36 #s(literal 2 binary64) #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %40 #s(literal 2 binary64) #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %36)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %40)) #s(literal 4 binary64))
(/.f64 (-.f64 %37 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %41 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %19) #s(literal -4 binary64))
(/.f64 %73 #s(literal 4 binary64))
(/.f64 (*.f64 %19 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 %77 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %19) #s(literal 8 binary64))
(/.f64 (*.f64 %19 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 %85 #s(literal -2 binary64))
(/.f64 %87 #s(literal -2 binary64))
(/.f64 %19 #s(literal 2 binary64))
(/.f64 %11 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %19))
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(neg.f64 %84)
(fma.f64 %99 %99 #s(literal -1/2 binary64))
(fma.f64 %101 %101 #s(literal -1/2 binary64))
(fma.f64 %105 %105 #s(literal -1/2 binary64))
(fma.f64 %107 %107 #s(literal -1/2 binary64))
(fma.f64 %110 %110 #s(literal -1/2 binary64))
(fma.f64 %112 %112 #s(literal -1/2 binary64))
(fma.f64 %115 %115 #s(literal -1/2 binary64))
(fma.f64 %117 %117 #s(literal -1/2 binary64))
(fma.f64 %119 %119 #s(literal -1/2 binary64))
(fma.f64 %121 %121 #s(literal -1/2 binary64))
(fma.f64 %123 %123 #s(literal -1/2 binary64))
(fma.f64 %125 %125 #s(literal -1/2 binary64))
(fma.f64 %127 %127 #s(literal -1/2 binary64))
(fma.f64 %129 %129 #s(literal -1/2 binary64))
(fma.f64 %131 %131 #s(literal -1/2 binary64))
(fma.f64 %133 %133 #s(literal -1/2 binary64))
(fma.f64 %135 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 %137 #s(literal 4 binary64) #s(literal -1/2 binary64))
(fma.f64 %13 #s(literal 4 binary64) %140)
(fma.f64 %13 #s(literal 4 binary64) %142)
(fma.f64 %16 #s(literal 1/2 binary64) %140)
(fma.f64 %16 #s(literal 1/2 binary64) %142)
(fma.f64 %20 #s(literal 1/4 binary64) %140)
(fma.f64 %20 #s(literal 1/4 binary64) %142)
(fma.f64 %148 %148 #s(literal -1/2 binary64))
(fma.f64 %150 %150 #s(literal -1/2 binary64))
(fma.f64 %152 %152 #s(literal -1/2 binary64))
(fma.f64 %154 %154 #s(literal -1/2 binary64))
(fma.f64 %156 %156 #s(literal -1/2 binary64))
(fma.f64 %158 %158 #s(literal -1/2 binary64))
(fma.f64 %160 %160 #s(literal -1/2 binary64))
(fma.f64 %162 %162 #s(literal -1/2 binary64))
(fma.f64 %164 %164 #s(literal -1/2 binary64))
(fma.f64 %166 %166 #s(literal -1/2 binary64))
(fma.f64 %168 %168 #s(literal -1/2 binary64))
(fma.f64 %170 %170 #s(literal -1/2 binary64))
(fma.f64 %36 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 %40 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 %174 #s(literal 2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) %20 %140)
(fma.f64 #s(literal 1/4 binary64) %20 %142)
(fma.f64 %98 %98 #s(literal -1/2 binary64))
(fma.f64 %104 %104 #s(literal -1/2 binary64))
(fma.f64 %109 %109 #s(literal -1/2 binary64))
(fma.f64 #s(literal 4 binary64) %137 #s(literal -1/2 binary64))
(fma.f64 #s(literal 4 binary64) %13 %140)
(fma.f64 #s(literal 4 binary64) %13 %142)
(fma.f64 %114 %114 #s(literal -1/2 binary64))
(fma.f64 %19 #s(literal 1/2 binary64) %140)
(fma.f64 %19 #s(literal 1/2 binary64) %142)
(fma.f64 %26 #s(literal 2 binary64) %140)
(fma.f64 %26 #s(literal 2 binary64) %142)
(fma.f64 %26 #s(literal 1 binary64) %26)
(fma.f64 %97 %98 #s(literal -1/2 binary64))
(fma.f64 %97 %97 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %135 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %16 %140)
(fma.f64 #s(literal 1/2 binary64) %16 %142)
(fma.f64 #s(literal 1/2 binary64) %40 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %19 %140)
(fma.f64 #s(literal 1/2 binary64) %19 %142)
(fma.f64 #s(literal 1/2 binary64) %11 %26)
(fma.f64 %96 %96 #s(literal -1/2 binary64))
(fma.f64 %103 %104 #s(literal -1/2 binary64))
(fma.f64 %103 %103 #s(literal -1/2 binary64))
(fma.f64 #s(literal 2 binary64) %202 #s(literal -1/2 binary64))
(fma.f64 #s(literal 2 binary64) %174 #s(literal -1/2 binary64))
(fma.f64 #s(literal 2 binary64) %26 %140)
(fma.f64 #s(literal 2 binary64) %26 %142)
(fma.f64 %35 #s(literal 1 binary64) #s(literal -1/2 binary64))
(fma.f64 %11 #s(literal 1/2 binary64) %26)
(fma.f64 %11 #s(literal 1 binary64) %140)
(fma.f64 %11 #s(literal 1 binary64) %142)
(fma.f64 #s(literal 1 binary64) %26 %26)
(fma.f64 #s(literal 1 binary64) %35 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) %11 %140)
(fma.f64 #s(literal 1 binary64) %11 %142)
(fma.f64 y %109 #s(literal -1/2 binary64))
%11
(-.f64 %26 (*.f64 %216 #s(literal 1 binary64)))
(-.f64 %26 (*.f64 #s(literal -1 binary64) %26))
(-.f64 %26 %221)
(-.f64 %26 %216)
(-.f64 %26 %224)
(-.f64 %26 (*.f64 #s(literal 1/2 binary64) %84))
(-.f64 %35 #s(literal 1/2 binary64))
(-.f64 %11 (neg.f64 %140))
(-.f64 %11 (neg.f64 %142))
(-.f64 %11 (*.f64 %84 #s(literal 0 binary64)))
(-.f64 %11 %142)
(-.f64 #s(literal -1/2 binary64) (*.f64 %154 %96))
(-.f64 #s(literal -1/2 binary64) %239)
(-.f64 #s(literal -1/2 binary64) %242)
(-.f64 #s(literal -1/2 binary64) %244)
(-.f64 #s(literal -1/2 binary64) %246)
(-.f64 #s(literal -1/2 binary64) %248)
(-.f64 #s(literal -1/2 binary64) %250)
(-.f64 #s(literal -1/2 binary64) %252)
(-.f64 #s(literal -1/2 binary64) %254)
(-.f64 #s(literal -1/2 binary64) (neg.f64 %256))
(-.f64 #s(literal -1/2 binary64) %259)
(-.f64 #s(literal -1/2 binary64) %261)
(-.f64 #s(literal -1/2 binary64) %263)
(-.f64 #s(literal -1/2 binary64) %265)
(-.f64 #s(literal -1/2 binary64) %268)
(-.f64 #s(literal -1/2 binary64) %270)
(-.f64 #s(literal -1/2 binary64) %267)
(+.f64 %26 %26)
(+.f64 %35 #s(literal -1/2 binary64))
(+.f64 %11 %140)
(+.f64 %11 %142)
(+.f64 #s(literal -1/2 binary64) %277)
(+.f64 #s(literal -1/2 binary64) %256)
(+.f64 #s(literal -1/2 binary64) %35)
%283
%285
%288
%289
%290
%291
%293
%294
%297
%300
%301
%302
%303
%304
%305
%309
%311
%313
%315
%317
%320
%325
%329
%331
%333
%335
%337
%339
%341
%343
%345
%347
%350
%353
%356
%358
%360
%363
%365
%367
%369
%371
%373
%375
%377
%378
%379
%382
%383
%384
%386
%388
%390
%392
%394
%396
%397
%405
%408
%411
%413
%415
%417
%419
%421
%422
%428
%429
%430
%431
%432
%433
%434
%435
%436
%441
%442
%443
%444
%445
%446
%447
%448
%449
%451
%452
%453
%454
%455
%456
%457
%458
%459
%462
%463
%464
%465
%466
%467
%468
%469
%470
%472
%473
%474
%475
%476
%477
%478
%479
%480
%482
%483
%484
%485
%486
%487
%488
%489
%490
%492
%493
%494
%495
%496
%497
%498
%499
%500
%502
%503
%504
%505
%506
%507
%508
%509
%510
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%555
%556
%557
%558
%559
%560
%561
%562
%563
%567
%568
%569
%570
%571
%572
%573
%574
%575
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%592
%594
%595
%596
%597
%598
%600
%602
%606
%609
%611
%614
%617
%619
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%642
%643
%644
%645
%646
%647
%648
%649
%650
%653
%654
%655
%656
%657
%658
%659
%660
%661
%664
%665
%666
%667
%668
%669
%670
%671
%672
%676
%677
%678
%679
%680
%681
%682
%683
%684
%687
%688
%689
%690
%691
%692
%693
%694
%695
%699
%700
%701
%702
%703
%704
%705
%706
%707
%710
%711
%712
%713
%714
%715
%716
%717
%718
%720
%721
%722
%723
%724
%725
%726
%727
%728
%730
%731
%732
%733
%734
%735
%736
%737
%738
%740
%741
%742
%743
%744
%745
%746
%747
%748
%752
%753
%754
%755
%756
%757
%758
%759
%760
%763
%764
%765
%766
%767
%768
%769
%770
%771
%773
%774
%775
%776
%777
%778
%779
%780
%781
%783
%784
%785
%786
%787
%788
%789
%790
%791
%793
%794
%795
%796
%797
%798
%799
%800
%801
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%838
%839
%840
%841
%842
%843
%844
%845
%846
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%872
%873
%874
%875
%876
%877
%878
%879
%880
%882
%883
%884
%885
%886
%887
%888
%889
%890
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%904
%906
%907
%908
%909
%910
%911
%912
%913
%914
%916
%917
%918
%919
%920
%921
%922
%923
%924
%926
%927
%928
%929
%930
%931
%932
%933
%934
%936
%937
%938
%939
%940
%941
%942
%943
%944
%946
%947
%948
%949
%950
%951
%952
%953
%954
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%986
%987
%988
%989
%990
%991
%992
%993
%994
%997
%998
%999
%1000
%1001
%1002
%1003
%1004
%1005
%1008
%1009
%1010
%1011
%1012
%1013
%1014
%1015
%1016
%1018
%1019
%1020
%1021
%1022
%1023
%1024
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1032
%1033
%1034
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1066
%1067
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1115
%1116
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1140
%1141
%1142
%1143
%1144
%1145
%1146
%1147
%1148
%1149
%1150
%1151
%1152
%1153
%1154
%1155
%1156
%1157
%1158
%1159
%1160
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1182
%1183
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1191
%1192
%1193
%1194
%1195
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1215
%1216
%1217
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1225
%1226
%1227
%1228
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1243
%1244
%1245
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1260
%1261
%1262
%1263
%1264
%1265
%1266
%1267
%1268
%1269
%1270
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1290
%1291
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1304
%1305
%1306
%1307
%1308
%1309
%1310
%1311
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1322
%1323
%1324
%1325
%281
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1340
%1341
%1342
%1343
%1344
%1345
%1346
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1362
%1364
%1366
%1367
%1369
%1371
%1372
%1374
%1376
%1377
%1380
%1382
%1384
%1385
%1387
%1389
%1391
%1392
%1394
%1396
%1398
%1400
%1402
%1404
%1406
%1407
%1410
%1413
%1416
%1418
%1420
%1422
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1434
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1442
%1443
%1444
%1445
%1446
%1447
%1448
%1449
%1450
%1451
%1452
%1453
%283
%285
%288
%289
%290
%291
%293
%294
%297
%300
%301
%302
%303
%304
%305
%309
%311
%313
%315
%317
%320
%325
%329
%331
%333
%335
%337
%339
%341
%343
%345
%347
%350
%353
%356
%358
%360
%363
%365
%367
%369
%371
%373
%375
%377
%378
%379
%382
%383
%384
%386
%388
%390
%392
%394
%396
%397
%405
%408
%411
%413
%415
%417
%419
%421
%422
%428
%429
%430
%431
%432
%433
%434
%435
%436
%441
%442
%443
%444
%445
%446
%447
%448
%449
%451
%452
%453
%454
%455
%456
%457
%458
%459
%462
%463
%464
%465
%466
%467
%468
%469
%470
%472
%473
%474
%475
%476
%477
%478
%479
%480
%482
%483
%484
%485
%486
%487
%488
%489
%490
%492
%493
%494
%495
%496
%497
%498
%499
%500
%502
%503
%504
%505
%506
%507
%508
%509
%510
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%526
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%541
%542
%543
%544
%545
%546
%547
%548
%549
%550
%551
%552
%555
%556
%557
%558
%559
%560
%561
%562
%563
%567
%568
%569
%570
%571
%572
%573
%574
%575
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%592
%594
%595
%596
%597
%598
%600
%602
%606
%609
%611
%614
%617
%619
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%642
%643
%644
%645
%646
%647
%648
%649
%650
%653
%654
%655
%656
%657
%658
%659
%660
%661
%664
%665
%666
%667
%668
%669
%670
%671
%672
%676
%677
%678
%679
%680
%681
%682
%683
%684
%687
%688
%689
%690
%691
%692
%693
%694
%695
%699
%700
%701
%702
%703
%704
%705
%706
%707
%710
%711
%712
%713
%714
%715
%716
%717
%718
%720
%721
%722
%723
%724
%725
%726
%727
%728
%730
%731
%732
%733
%734
%735
%736
%737
%738
%740
%741
%742
%743
%744
%745
%746
%747
%748
%752
%753
%754
%755
%756
%757
%758
%759
%760
%763
%764
%765
%766
%767
%768
%769
%770
%771
%773
%774
%775
%776
%777
%778
%779
%780
%781
%783
%784
%785
%786
%787
%788
%789
%790
%791
%793
%794
%795
%796
%797
%798
%799
%800
%801
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%834
%835
%836
%838
%839
%840
%841
%842
%843
%844
%845
%846
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%872
%873
%874
%875
%876
%877
%878
%879
%880
%882
%883
%884
%885
%886
%887
%888
%889
%890
%892
%893
%894
%895
%896
%897
%898
%899
%900
%901
%902
%904
%906
%907
%908
%909
%910
%911
%912
%913
%914
%916
%917
%918
%919
%920
%921
%922
%923
%924
%926
%927
%928
%929
%930
%931
%932
%933
%934
%936
%937
%938
%939
%940
%941
%942
%943
%944
%946
%947
%948
%949
%950
%951
%952
%953
%954
%956
%957
%958
%959
%960
%961
%962
%963
%964
%965
%966
%967
%968
%969
%970
%971
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%986
%987
%988
%989
%990
%991
%992
%993
%994
%997
%998
%999
%1000
%1001
%1002
%1003
%1004
%1005
%1008
%1009
%1010
%1011
%1012
%1013
%1014
%1015
%1016
%1018
%1019
%1020
%1021
%1022
%1023
%1024
%1025
%1026
%1027
%1028
%1029
%1030
%1031
%1032
%1033
%1034
%1035
%1036
%1037
%1038
%1039
%1040
%1041
%1044
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1066
%1067
%1068
%1069
%1070
%1071
%1072
%1073
%1074
%1075
%1076
%1077
%1078
%1079
%1080
%1081
%1082
%1083
%1084
%1085
%1086
%1087
%1088
%1089
%1090
%1091
%1092
%1093
%1094
%1095
%1096
%1097
%1098
%1099
%1100
%1101
%1102
%1103
%1104
%1105
%1106
%1107
%1108
%1109
%1110
%1111
%1112
%1113
%1114
%1115
%1116
%1117
%1118
%1119
%1120
%1121
%1122
%1123
%1124
%1125
%1126
%1127
%1128
%1129
%1130
%1131
%1132
%1133
%1134
%1135
%1136
%1137
%1138
%1139
%1140
%1141
%1142
%1143
%1144
%1145
%1146
%1147
%1148
%1149
%1150
%1151
%1152
%1153
%1154
%1155
%1156
%1157
%1158
%1159
%1160
%1161
%1162
%1163
%1164
%1165
%1166
%1167
%1168
%1169
%1170
%1171
%1172
%1173
%1174
%1175
%1176
%1177
%1178
%1179
%1180
%1181
%1182
%1183
%1184
%1185
%1186
%1187
%1188
%1189
%1190
%1191
%1192
%1193
%1194
%1195
%1196
%1197
%1198
%1199
%1200
%1201
%1202
%1203
%1204
%1205
%1206
%1207
%1208
%1209
%1210
%1211
%1212
%1213
%1214
%1215
%1216
%1217
%1218
%1219
%1220
%1221
%1222
%1223
%1224
%1225
%1226
%1227
%1228
%1229
%1230
%1231
%1232
%1233
%1234
%1235
%1236
%1237
%1238
%1239
%1240
%1241
%1242
%1243
%1244
%1245
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1259
%1260
%1261
%1262
%1263
%1264
%1265
%1266
%1267
%1268
%1269
%1270
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1278
%1279
%1280
%1281
%1282
%1283
%1284
%1285
%1286
%1287
%1288
%1289
%1290
%1291
%1292
%1293
%1294
%1295
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1304
%1305
%1306
%1307
%1308
%1309
%1310
%1311
%1312
%1313
%1314
%1315
%1316
%1317
%1318
%1319
%1320
%1321
%1322
%1323
%1324
%1325
%281
%1326
%1327
%1328
%1329
%1330
%1331
%1332
%1333
%1334
%1335
%1336
%1337
%1338
%1339
%1340
%1341
%1342
%1343
%1344
%1345
%1346
%1347
%1348
%1349
%1350
%1351
%1352
%1353
%1354
%1355
%1356
%1357
%1358
%1359
%1362
%1364
%1366
%1367
%1369
%1371
%1372
%1374
%1376
%1377
%1380
%1382
%1384
%1385
%1387
%1389
%1391
%1392
%1394
%1396
%1398
%1400
%1402
%1404
%1406
%1407
%1410
%1413
%1416
%1418
%1420
%1422
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1433
%1434
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1442
%1443
%1444
%1445
%1446
%1447
%1448
%1449
%1450
%1451
%1452
%1453
(*.f64 #s(literal 1 binary64) %1454)
%1454
(fmax.f64 %3 %281)
(pow.f64 %1454 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1454 #s(literal -1 binary64)))
reconstruct86.0ms (4.7%)
Counts
2 124 → 28
Compiler
Compiled 2 124 to 1 481 computations (30.3% saved)
eval3.0ms (0.1%)
Compiler
Compiled 25 to 110 computations (-340.0% saved)
prune1.0ms (0.1%)
Pruning
2 alts after pruning (1 fresh and 1 done)
PrunedKeptTotal
New24125
Fresh000
Picked011
Done000
Total24226
Accuracy
100.0%
Counts
26 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64)))) (fmax.f64 x y))
▶68.1%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64)))) (fmax.f64 x y))
Compiler
Compiled 2 to 12 computations (-500.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series4.0ms (0.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
049187
Stop Event
1×iter-limit
Counts
9 → 14
Calls
Call 1
Inputs
%2 = (fmax.f64 x y)
%8 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%9 = (fma.f64 x x %8)
%10 = (*.f64 #s(literal 1 binary64) %9)
y
x
%2
#s(literal 1 binary64)
#s(literal -1/2 binary64)
%8
%9
%10
(fmax.f64 %10 %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))
%43 = (*.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 (* 1 %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) %43)))
(approx %12 (*.f64 %14 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %18 %14)) %43)))
Calls
6 calls:
TimeVariablePoint
0.0ms
y
inf
0.0ms
x
inf
0.0ms
y
-inf
0.0ms
x
-inf
0.0ms
x
0
rewrite105.0ms (5.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01152
01648
16148
219348
382248
0441048
0455344
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 830
Calls
Call 1
Inputs
%2 = (fmax.f64 x y)
%8 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%9 = (fma.f64 x x %8)
%10 = (*.f64 #s(literal 1 binary64) %9)
y
x
%2
#s(literal 1 binary64)
#s(literal -1/2 binary64)
%8
%9
%10
(fmax.f64 %10 %2)
Outputs
%3 = (fmax.f64 x y)
%14 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%16 = (/.f64 %14 #s(literal 4 binary64))
%19 = (/.f64 %14 #s(literal 1/2 binary64))
%21 = (+.f64 %14 %14)
%22 = (/.f64 %21 #s(literal 1/2 binary64))
%26 = (*.f64 #s(literal -2 binary64) %14)
%28 = (*.f64 %14 #s(literal -1/2 binary64))
%34 = (*.f64 #s(literal 1/2 binary64) %14)
%37 = (neg.f64 %14)
%56 = (*.f64 %21 #s(literal 2 binary64))
%62 = (*.f64 #s(literal 2 binary64) %21)
%73 = (*.f64 %14 #s(literal 0 binary64))
%74 = (*.f64 #s(literal 1 binary64) %73)
%76 = (*.f64 #s(literal 0 binary64) %14)
%77 = (*.f64 #s(literal 1 binary64) %76)
%79 = (*.f64 %34 #s(literal 0 binary64))
%81 = (*.f64 %73 #s(literal 1 binary64))
%83 = (*.f64 %76 #s(literal 1 binary64))
%85 = (*.f64 #s(literal 0 binary64) %34)
%87 = (*.f64 #s(literal 0 binary64) %21)
%89 = (*.f64 %21 #s(literal 0 binary64))
%114 = (*.f64 #s(literal 1/2 binary64) %34)
%176 = (*.f64 %34 #s(literal 1/2 binary64))
%178 = (*.f64 %34 #s(literal 3/2 binary64))
%221 = (*.f64 #s(literal 3/2 binary64) %34)
%235 = (*.f64 %37 #s(literal -1/2 binary64))
%294 = (fma.f64 x x %14)
%295 = (/.f64 %294 #s(literal 4 binary64))
%296 = (*.f64 %295 #s(literal 4 binary64))
%297 = (/.f64 %294 #s(literal 1/2 binary64))
%298 = (*.f64 %297 #s(literal 1/2 binary64))
%299 = (*.f64 #s(literal 2 binary64) %294)
%300 = (/.f64 %299 #s(literal 1/2 binary64))
%301 = (*.f64 %300 #s(literal 1/4 binary64))
%302 = (neg.f64 %294)
%303 = (*.f64 %302 #s(literal 2 binary64))
%304 = (*.f64 %303 #s(literal -1/2 binary64))
%305 = (*.f64 #s(literal 1/4 binary64) %300)
%306 = (*.f64 #s(literal 4 binary64) %295)
%307 = (*.f64 %299 #s(literal 1/2 binary64))
%308 = (*.f64 #s(literal 1/2 binary64) %294)
%309 = (*.f64 %308 #s(literal 2 binary64))
%310 = (*.f64 #s(literal -1 binary64) %302)
%311 = (*.f64 %302 #s(literal -1 binary64))
%312 = (*.f64 #s(literal 1/2 binary64) %297)
%313 = (*.f64 #s(literal 1/2 binary64) %299)
%314 = (*.f64 #s(literal 2 binary64) %308)
%315 = (*.f64 %294 #s(literal 1 binary64))
%316 = (*.f64 #s(literal 1 binary64) %294)
%317 = (pow.f64 %294 #s(literal 1 binary64))
%318 = (+.f64 x x)
%319 = (*.f64 x %318)
%321 = (/.f64 (fma.f64 %319 #s(literal 2 binary64) %56) #s(literal 4 binary64))
%322 = (*.f64 %319 #s(literal 2 binary64))
%324 = (/.f64 (fma.f64 %21 #s(literal 2 binary64) %322) #s(literal 4 binary64))
%326 = (/.f64 (fma.f64 %319 #s(literal 2 binary64) %62) #s(literal 4 binary64))
%329 = (/.f64 (fma.f64 %21 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %319)) #s(literal 4 binary64))
%332 = (/.f64 (-.f64 %322 (*.f64 #s(literal 2 binary64) %26)) #s(literal 4 binary64))
%334 = (/.f64 (*.f64 %299 #s(literal 4 binary64)) #s(literal 8 binary64))
%336 = (/.f64 (*.f64 #s(literal 4 binary64) %299) #s(literal 8 binary64))
%338 = (/.f64 (*.f64 %299 #s(literal -2 binary64)) #s(literal -4 binary64))
%340 = (/.f64 (*.f64 %299 #s(literal 2 binary64)) #s(literal 4 binary64))
%342 = (/.f64 (*.f64 #s(literal -2 binary64) %299) #s(literal -4 binary64))
%344 = (/.f64 (*.f64 #s(literal 2 binary64) %299) #s(literal 4 binary64))
%345 = (/.f64 %303 #s(literal -2 binary64))
%346 = (/.f64 %299 #s(literal 2 binary64))
%347 = (/.f64 %294 #s(literal 1 binary64))
%349 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %299))
%351 = (/.f64 #s(literal 1 binary64) (pow.f64 %294 #s(literal -1 binary64)))
%352 = (neg.f64 %302)
%353 = (sqrt.f64 %319)
%355 = (sqrt.f64 #s(literal 1/2 binary64))
%357 = (fma.f64 (*.f64 %353 %353) (*.f64 %355 %355) %14)
%358 = (sqrt.f64 #s(literal 2 binary64))
%360 = (*.f64 x x)
%361 = (*.f64 #s(literal 1/2 binary64) %360)
%362 = (sqrt.f64 %361)
%364 = (fma.f64 (*.f64 %358 %358) (*.f64 %362 %362) %14)
%365 = (fabs.f64 x)
%366 = (*.f64 %365 #s(literal 1/2 binary64))
%368 = (fma.f64 (*.f64 %366 %366) #s(literal 4 binary64) %14)
%369 = (neg.f64 x)
%370 = (*.f64 %369 #s(literal 1/2 binary64))
%372 = (fma.f64 (*.f64 %370 %370) #s(literal 4 binary64) %14)
%373 = (*.f64 x #s(literal 1/2 binary64))
%375 = (fma.f64 (*.f64 %373 %373) #s(literal 4 binary64) %14)
%376 = (*.f64 %294 #s(literal 0 binary64))
%377 = (*.f64 #s(literal 1 binary64) %376)
%378 = (fma.f64 %295 #s(literal 4 binary64) %377)
%379 = (*.f64 #s(literal 0 binary64) %294)
%380 = (*.f64 #s(literal 1 binary64) %379)
%381 = (fma.f64 %295 #s(literal 4 binary64) %380)
%382 = (*.f64 %308 #s(literal 0 binary64))
%383 = (fma.f64 %295 #s(literal 4 binary64) %382)
%384 = (*.f64 #s(literal 0 binary64) %308)
%385 = (fma.f64 %295 #s(literal 4 binary64) %384)
%386 = (*.f64 %376 #s(literal 1 binary64))
%387 = (fma.f64 %295 #s(literal 4 binary64) %386)
%388 = (*.f64 %379 #s(literal 1 binary64))
%389 = (fma.f64 %295 #s(literal 4 binary64) %388)
%390 = (*.f64 #s(literal 0 binary64) %299)
%391 = (fma.f64 %295 #s(literal 4 binary64) %390)
%392 = (*.f64 %299 #s(literal 0 binary64))
%393 = (fma.f64 %295 #s(literal 4 binary64) %392)
%394 = (fma.f64 %295 #s(literal 4 binary64) %376)
%395 = (fma.f64 %295 #s(literal 4 binary64) %379)
%396 = (fma.f64 %297 #s(literal 1/2 binary64) %377)
%397 = (fma.f64 %297 #s(literal 1/2 binary64) %380)
%398 = (fma.f64 %297 #s(literal 1/2 binary64) %382)
%399 = (fma.f64 %297 #s(literal 1/2 binary64) %384)
%400 = (fma.f64 %297 #s(literal 1/2 binary64) %386)
%401 = (fma.f64 %297 #s(literal 1/2 binary64) %388)
%402 = (fma.f64 %297 #s(literal 1/2 binary64) %390)
%403 = (fma.f64 %297 #s(literal 1/2 binary64) %392)
%404 = (fma.f64 %297 #s(literal 1/2 binary64) %376)
%405 = (fma.f64 %297 #s(literal 1/2 binary64) %379)
%406 = (fma.f64 %300 #s(literal 1/4 binary64) %377)
%407 = (fma.f64 %300 #s(literal 1/4 binary64) %380)
%408 = (fma.f64 %300 #s(literal 1/4 binary64) %382)
%409 = (fma.f64 %300 #s(literal 1/4 binary64) %384)
%410 = (fma.f64 %300 #s(literal 1/4 binary64) %386)
%411 = (fma.f64 %300 #s(literal 1/4 binary64) %388)
%412 = (fma.f64 %300 #s(literal 1/4 binary64) %390)
%413 = (fma.f64 %300 #s(literal 1/4 binary64) %392)
%414 = (fma.f64 %300 #s(literal 1/4 binary64) %376)
%415 = (fma.f64 %300 #s(literal 1/4 binary64) %379)
%416 = (neg.f64 %365)
%418 = (fabs.f64 %318)
%419 = (neg.f64 %418)
%421 = (fma.f64 (/.f64 %416 #s(literal 4 binary64)) (/.f64 %419 #s(literal 1/2 binary64)) %14)
%424 = (fma.f64 (/.f64 %416 #s(literal 1/2 binary64)) (/.f64 %419 #s(literal 4 binary64)) %14)
%427 = (fma.f64 (/.f64 %416 #s(literal 2 binary64)) (/.f64 %419 #s(literal 1 binary64)) %14)
%429 = (neg.f64 %318)
%431 = (fma.f64 (/.f64 %369 #s(literal 4 binary64)) (/.f64 %429 #s(literal 1/2 binary64)) %14)
%434 = (fma.f64 (/.f64 %369 #s(literal 1/2 binary64)) (/.f64 %429 #s(literal 4 binary64)) %14)
%435 = (/.f64 %360 #s(literal 4 binary64))
%436 = (fma.f64 %435 #s(literal 4 binary64) %14)
%437 = (/.f64 %360 #s(literal 1/2 binary64))
%438 = (fma.f64 %437 #s(literal 1/2 binary64) %14)
%439 = (/.f64 %319 #s(literal 1/2 binary64))
%440 = (fma.f64 %439 #s(literal 1/4 binary64) %14)
%443 = (fma.f64 (/.f64 x #s(literal 1/2 binary64)) (/.f64 %318 #s(literal 4 binary64)) %14)
%446 = (fma.f64 (/.f64 x #s(literal 4 binary64)) (/.f64 %318 #s(literal 1/2 binary64)) %14)
%447 = (fma.f64 %16 #s(literal 4 binary64) %360)
%448 = (fma.f64 %19 #s(literal 1/2 binary64) %360)
%449 = (fma.f64 %22 #s(literal 1/4 binary64) %360)
%452 = (fma.f64 (/.f64 %365 #s(literal 1/2 binary64)) (/.f64 %418 #s(literal 4 binary64)) %14)
%455 = (fma.f64 (/.f64 %365 #s(literal 4 binary64)) (/.f64 %418 #s(literal 1/2 binary64)) %14)
%456 = (*.f64 %418 %418)
%457 = (fma.f64 %456 #s(literal 1/4 binary64) %14)
%458 = (*.f64 %429 %429)
%459 = (fma.f64 %458 #s(literal 1/4 binary64) %14)
%460 = (*.f64 %318 %318)
%461 = (fma.f64 %460 #s(literal 1/4 binary64) %14)
%462 = (*.f64 #s(literal 1/2 binary64) %308)
%463 = (fma.f64 #s(literal 3/2 binary64) %308 %462)
%465 = (fma.f64 (*.f64 #s(literal 1/2 binary64) %416) %419 %14)
%466 = (fma.f64 %26 #s(literal -1/2 binary64) %360)
%468 = (fma.f64 %373 (/.f64 %318 #s(literal 1 binary64)) %14)
%470 = (fma.f64 %370 (/.f64 %429 #s(literal 1 binary64)) %14)
%472 = (fma.f64 %366 (/.f64 %418 #s(literal 1 binary64)) %14)
%473 = (*.f64 #s(literal 1/2 binary64) x)
%474 = (fma.f64 %473 %318 %14)
%475 = (*.f64 #s(literal 1/2 binary64) %369)
%476 = (fma.f64 %475 %429 %14)
%477 = (*.f64 #s(literal 1/2 binary64) %365)
%478 = (fma.f64 %477 %418 %14)
%479 = (fma.f64 %28 #s(literal -2 binary64) %360)
%481 = (fma.f64 (*.f64 #s(literal -2 binary64) %360) #s(literal -1/2 binary64) %14)
%482 = (fma.f64 %303 #s(literal -1/2 binary64) %377)
%483 = (fma.f64 %303 #s(literal -1/2 binary64) %380)
%484 = (fma.f64 %303 #s(literal -1/2 binary64) %382)
%485 = (fma.f64 %303 #s(literal -1/2 binary64) %384)
%486 = (fma.f64 %303 #s(literal -1/2 binary64) %386)
%487 = (fma.f64 %303 #s(literal -1/2 binary64) %388)
%488 = (fma.f64 %303 #s(literal -1/2 binary64) %390)
%489 = (fma.f64 %303 #s(literal -1/2 binary64) %392)
%490 = (fma.f64 %303 #s(literal -1/2 binary64) %376)
%491 = (fma.f64 %303 #s(literal -1/2 binary64) %379)
%492 = (fma.f64 #s(literal 1/4 binary64) %300 %377)
%493 = (fma.f64 #s(literal 1/4 binary64) %300 %380)
%494 = (fma.f64 #s(literal 1/4 binary64) %300 %382)
%495 = (fma.f64 #s(literal 1/4 binary64) %300 %384)
%496 = (fma.f64 #s(literal 1/4 binary64) %300 %386)
%497 = (fma.f64 #s(literal 1/4 binary64) %300 %388)
%498 = (fma.f64 #s(literal 1/4 binary64) %300 %390)
%499 = (fma.f64 #s(literal 1/4 binary64) %300 %392)
%500 = (fma.f64 #s(literal 1/4 binary64) %300 %376)
%501 = (fma.f64 #s(literal 1/4 binary64) %300 %379)
%502 = (fma.f64 #s(literal 1/4 binary64) %439 %14)
%503 = (fma.f64 #s(literal 1/4 binary64) %22 %360)
%504 = (fma.f64 #s(literal 1/4 binary64) %456 %14)
%505 = (fma.f64 #s(literal 1/4 binary64) %458 %14)
%506 = (fma.f64 #s(literal 1/4 binary64) %460 %14)
%508 = (fma.f64 #s(literal 4 binary64) (*.f64 %477 %477) %14)
%510 = (fma.f64 #s(literal 4 binary64) (*.f64 %475 %475) %14)
%512 = (fma.f64 #s(literal 4 binary64) (*.f64 %473 %473) %14)
%513 = (fma.f64 #s(literal 4 binary64) %295 %377)
%514 = (fma.f64 #s(literal 4 binary64) %295 %380)
%515 = (fma.f64 #s(literal 4 binary64) %295 %382)
%516 = (fma.f64 #s(literal 4 binary64) %295 %384)
%517 = (fma.f64 #s(literal 4 binary64) %295 %386)
%518 = (fma.f64 #s(literal 4 binary64) %295 %388)
%519 = (fma.f64 #s(literal 4 binary64) %295 %390)
%520 = (fma.f64 #s(literal 4 binary64) %295 %392)
%521 = (fma.f64 #s(literal 4 binary64) %295 %376)
%522 = (fma.f64 #s(literal 4 binary64) %295 %379)
%523 = (fma.f64 #s(literal 4 binary64) %435 %14)
%524 = (fma.f64 #s(literal 4 binary64) %16 %360)
%525 = (fma.f64 #s(literal -2 binary64) %28 %360)
%527 = (fma.f64 #s(literal -2 binary64) (*.f64 %360 #s(literal -1/2 binary64)) %14)
%528 = (fma.f64 %21 #s(literal 1/2 binary64) %360)
%529 = (fma.f64 %299 #s(literal 1/2 binary64) %377)
%530 = (fma.f64 %299 #s(literal 1/2 binary64) %380)
%531 = (fma.f64 %299 #s(literal 1/2 binary64) %382)
%532 = (fma.f64 %299 #s(literal 1/2 binary64) %384)
%533 = (fma.f64 %299 #s(literal 1/2 binary64) %386)
%534 = (fma.f64 %299 #s(literal 1/2 binary64) %388)
%535 = (fma.f64 %299 #s(literal 1/2 binary64) %390)
%536 = (fma.f64 %299 #s(literal 1/2 binary64) %392)
%537 = (fma.f64 %299 #s(literal 1/2 binary64) %376)
%538 = (fma.f64 %299 #s(literal 1/2 binary64) %379)
%539 = (fma.f64 %319 #s(literal 1/2 binary64) %14)
%540 = (fma.f64 %34 #s(literal 2 binary64) %360)
%541 = (*.f64 %308 #s(literal 1/2 binary64))
%542 = (fma.f64 %308 #s(literal 3/2 binary64) %541)
%543 = (*.f64 %308 #s(literal 3/2 binary64))
%544 = (fma.f64 %308 #s(literal 1/2 binary64) %543)
%545 = (fma.f64 %308 #s(literal 2 binary64) %377)
%546 = (fma.f64 %308 #s(literal 2 binary64) %380)
%547 = (fma.f64 %308 #s(literal 2 binary64) %382)
%548 = (fma.f64 %308 #s(literal 2 binary64) %384)
%549 = (fma.f64 %308 #s(literal 2 binary64) %386)
%550 = (fma.f64 %308 #s(literal 2 binary64) %388)
%551 = (fma.f64 %308 #s(literal 2 binary64) %390)
%552 = (fma.f64 %308 #s(literal 2 binary64) %392)
%553 = (fma.f64 %308 #s(literal 2 binary64) %376)
%554 = (fma.f64 %308 #s(literal 2 binary64) %379)
%555 = (fma.f64 %308 #s(literal 1 binary64) %308)
%556 = (fma.f64 %361 #s(literal 2 binary64) %14)
%557 = (*.f64 %369 x)
%558 = (fma.f64 %557 #s(literal -1 binary64) %14)
%559 = (fma.f64 #s(literal -1 binary64) %557 %14)
%560 = (fma.f64 #s(literal -1 binary64) %302 %377)
%561 = (fma.f64 #s(literal -1 binary64) %302 %380)
%562 = (fma.f64 #s(literal -1 binary64) %302 %382)
%563 = (fma.f64 #s(literal -1 binary64) %302 %384)
%564 = (fma.f64 #s(literal -1 binary64) %302 %386)
%565 = (fma.f64 #s(literal -1 binary64) %302 %388)
%566 = (fma.f64 #s(literal -1 binary64) %302 %390)
%567 = (fma.f64 #s(literal -1 binary64) %302 %392)
%568 = (fma.f64 #s(literal -1 binary64) %302 %376)
%569 = (fma.f64 #s(literal -1 binary64) %302 %379)
%570 = (fma.f64 #s(literal -1 binary64) %37 %360)
%571 = (fma.f64 %302 #s(literal -1 binary64) %377)
%572 = (fma.f64 %302 #s(literal -1 binary64) %380)
%573 = (fma.f64 %302 #s(literal -1 binary64) %382)
%574 = (fma.f64 %302 #s(literal -1 binary64) %384)
%575 = (fma.f64 %302 #s(literal -1 binary64) %386)
%576 = (fma.f64 %302 #s(literal -1 binary64) %388)
%577 = (fma.f64 %302 #s(literal -1 binary64) %390)
%578 = (fma.f64 %302 #s(literal -1 binary64) %392)
%579 = (fma.f64 %302 #s(literal -1 binary64) %376)
%580 = (fma.f64 %302 #s(literal -1 binary64) %379)
%581 = (fma.f64 %416 %416 %14)
%582 = (fma.f64 #s(literal 1/2 binary64) %297 %377)
%583 = (fma.f64 #s(literal 1/2 binary64) %297 %380)
%584 = (fma.f64 #s(literal 1/2 binary64) %297 %382)
%585 = (fma.f64 #s(literal 1/2 binary64) %297 %384)
%586 = (fma.f64 #s(literal 1/2 binary64) %297 %386)
%587 = (fma.f64 #s(literal 1/2 binary64) %297 %388)
%588 = (fma.f64 #s(literal 1/2 binary64) %297 %390)
%589 = (fma.f64 #s(literal 1/2 binary64) %297 %392)
%590 = (fma.f64 #s(literal 1/2 binary64) %297 %376)
%591 = (fma.f64 #s(literal 1/2 binary64) %297 %379)
%592 = (fma.f64 #s(literal 1/2 binary64) %437 %14)
%593 = (fma.f64 #s(literal 1/2 binary64) %19 %360)
%594 = (fma.f64 #s(literal 1/2 binary64) %21 %360)
%595 = (fma.f64 #s(literal 1/2 binary64) %299 %377)
%596 = (fma.f64 #s(literal 1/2 binary64) %299 %380)
%597 = (fma.f64 #s(literal 1/2 binary64) %299 %382)
%598 = (fma.f64 #s(literal 1/2 binary64) %299 %384)
%599 = (fma.f64 #s(literal 1/2 binary64) %299 %386)
%600 = (fma.f64 #s(literal 1/2 binary64) %299 %388)
%601 = (fma.f64 #s(literal 1/2 binary64) %299 %390)
%602 = (fma.f64 #s(literal 1/2 binary64) %299 %392)
%603 = (fma.f64 #s(literal 1/2 binary64) %299 %376)
%604 = (fma.f64 #s(literal 1/2 binary64) %299 %379)
%605 = (fma.f64 #s(literal 1/2 binary64) %319 %14)
%606 = (*.f64 #s(literal 3/2 binary64) %308)
%607 = (fma.f64 #s(literal 1/2 binary64) %308 %606)
%608 = (fma.f64 #s(literal 1/2 binary64) %294 %308)
%609 = (fma.f64 %37 #s(literal -1 binary64) %360)
%610 = (fma.f64 %365 %365 %14)
%611 = (fma.f64 %369 %369 %14)
%612 = (fma.f64 #s(literal 2 binary64) %34 %360)
%613 = (fma.f64 #s(literal 2 binary64) %308 %377)
%614 = (fma.f64 #s(literal 2 binary64) %308 %380)
%615 = (fma.f64 #s(literal 2 binary64) %308 %382)
%616 = (fma.f64 #s(literal 2 binary64) %308 %384)
%617 = (fma.f64 #s(literal 2 binary64) %308 %386)
%618 = (fma.f64 #s(literal 2 binary64) %308 %388)
%619 = (fma.f64 #s(literal 2 binary64) %308 %390)
%620 = (fma.f64 #s(literal 2 binary64) %308 %392)
%621 = (fma.f64 #s(literal 2 binary64) %308 %376)
%622 = (fma.f64 #s(literal 2 binary64) %308 %379)
%623 = (fma.f64 #s(literal 2 binary64) %361 %14)
%624 = (fma.f64 #s(literal 0 binary64) %294 %294)
%625 = (fma.f64 %360 #s(literal 1 binary64) %14)
%626 = (fma.f64 %294 #s(literal 1/2 binary64) %308)
%627 = (fma.f64 %294 #s(literal 0 binary64) %294)
%628 = (fma.f64 %294 #s(literal 1 binary64) %377)
%629 = (fma.f64 %294 #s(literal 1 binary64) %380)
%630 = (fma.f64 %294 #s(literal 1 binary64) %382)
%631 = (fma.f64 %294 #s(literal 1 binary64) %384)
%632 = (fma.f64 %294 #s(literal 1 binary64) %386)
%633 = (fma.f64 %294 #s(literal 1 binary64) %388)
%634 = (fma.f64 %294 #s(literal 1 binary64) %390)
%635 = (fma.f64 %294 #s(literal 1 binary64) %392)
%636 = (fma.f64 %294 #s(literal 1 binary64) %376)
%637 = (fma.f64 %294 #s(literal 1 binary64) %379)
%638 = (fma.f64 %14 #s(literal 1 binary64) %360)
%639 = (fma.f64 #s(literal -1/2 binary64) %302 %308)
%640 = (fma.f64 #s(literal 1 binary64) %308 %308)
%641 = (fma.f64 #s(literal 1 binary64) %360 %14)
%642 = (fma.f64 #s(literal 1 binary64) %294 %377)
%643 = (fma.f64 #s(literal 1 binary64) %294 %380)
%644 = (fma.f64 #s(literal 1 binary64) %294 %382)
%645 = (fma.f64 #s(literal 1 binary64) %294 %384)
%646 = (fma.f64 #s(literal 1 binary64) %294 %386)
%647 = (fma.f64 #s(literal 1 binary64) %294 %388)
%648 = (fma.f64 #s(literal 1 binary64) %294 %390)
%649 = (fma.f64 #s(literal 1 binary64) %294 %392)
%650 = (fma.f64 #s(literal 1 binary64) %294 %376)
%651 = (fma.f64 #s(literal 1 binary64) %294 %379)
%652 = (fma.f64 #s(literal 1 binary64) %14 %360)
%653 = (*.f64 #s(literal -1/2 binary64) %294)
%655 = (-.f64 %308 (*.f64 %653 #s(literal 1 binary64)))
%657 = (-.f64 %308 (*.f64 %302 #s(literal 1/2 binary64)))
%659 = (-.f64 %308 (*.f64 #s(literal -1 binary64) %308))
%660 = (-.f64 %308 %653)
%661 = (-.f64 %360 %37)
%663 = (-.f64 %294 (*.f64 %302 #s(literal 0 binary64)))
%664 = (-.f64 %294 %376)
%665 = (-.f64 %294 %379)
%666 = (-.f64 %14 %557)
%667 = (+.f64 %543 %541)
%668 = (+.f64 %541 %543)
%669 = (+.f64 %606 %462)
%670 = (+.f64 %462 %606)
%671 = (+.f64 %376 %294)
%672 = (+.f64 %379 %294)
%673 = (+.f64 %308 %308)
%674 = (+.f64 %360 %14)
%675 = (+.f64 %294 %377)
%676 = (+.f64 %294 %380)
%677 = (+.f64 %294 %382)
%678 = (+.f64 %294 %384)
%679 = (+.f64 %294 %386)
%680 = (+.f64 %294 %388)
%681 = (+.f64 %294 %390)
%682 = (+.f64 %294 %392)
%683 = (+.f64 %294 %376)
%684 = (+.f64 %294 %379)
%685 = (+.f64 %14 %360)
%686 = (fmax.f64 %294 %3)
y
x
(*.f64 #s(literal 1 binary64) %3)
%3
(fmax.f64 y x)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
(*.f64 %16 #s(literal 4 binary64))
(*.f64 %19 #s(literal 1/2 binary64))
(*.f64 %22 #s(literal 1/4 binary64))
(*.f64 %26 #s(literal -1/2 binary64))
(*.f64 %28 #s(literal -2 binary64))
(*.f64 #s(literal 1/4 binary64) %22)
(*.f64 #s(literal 4 binary64) %16)
(*.f64 #s(literal -2 binary64) %28)
(*.f64 %21 #s(literal 1/2 binary64))
(*.f64 %34 #s(literal 2 binary64))
(*.f64 #s(literal -1 binary64) %37)
(*.f64 #s(literal 1/2 binary64) %19)
(*.f64 #s(literal 1/2 binary64) %21)
(*.f64 %37 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) %34)
(*.f64 %14 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %14)
(pow.f64 %14 #s(literal 1 binary64))
%14
(/.f64 (*.f64 %26 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %26 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %21 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %21 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 %56 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %21) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %21) #s(literal -4 binary64))
(/.f64 %62 #s(literal 4 binary64))
(/.f64 %26 #s(literal -2 binary64))
(/.f64 %21 #s(literal 2 binary64))
(/.f64 %14 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %21))
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
(neg.f64 %37)
(fma.f64 %16 #s(literal 4 binary64) %74)
(fma.f64 %16 #s(literal 4 binary64) %77)
(fma.f64 %16 #s(literal 4 binary64) %79)
(fma.f64 %16 #s(literal 4 binary64) %81)
(fma.f64 %16 #s(literal 4 binary64) %83)
(fma.f64 %16 #s(literal 4 binary64) %85)
(fma.f64 %16 #s(literal 4 binary64) %87)
(fma.f64 %16 #s(literal 4 binary64) %89)
(fma.f64 %16 #s(literal 4 binary64) %73)
(fma.f64 %16 #s(literal 4 binary64) %76)
(fma.f64 %19 #s(literal 1/2 binary64) %74)
(fma.f64 %19 #s(literal 1/2 binary64) %77)
(fma.f64 %19 #s(literal 1/2 binary64) %79)
(fma.f64 %19 #s(literal 1/2 binary64) %81)
(fma.f64 %19 #s(literal 1/2 binary64) %83)
(fma.f64 %19 #s(literal 1/2 binary64) %85)
(fma.f64 %19 #s(literal 1/2 binary64) %87)
(fma.f64 %19 #s(literal 1/2 binary64) %89)
(fma.f64 %19 #s(literal 1/2 binary64) %73)
(fma.f64 %19 #s(literal 1/2 binary64) %76)
(fma.f64 %22 #s(literal 1/4 binary64) %74)
(fma.f64 %22 #s(literal 1/4 binary64) %77)
(fma.f64 %22 #s(literal 1/4 binary64) %79)
(fma.f64 %22 #s(literal 1/4 binary64) %81)
(fma.f64 %22 #s(literal 1/4 binary64) %83)
(fma.f64 %22 #s(literal 1/4 binary64) %85)
(fma.f64 %22 #s(literal 1/4 binary64) %87)
(fma.f64 %22 #s(literal 1/4 binary64) %89)
(fma.f64 %22 #s(literal 1/4 binary64) %73)
(fma.f64 %22 #s(literal 1/4 binary64) %76)
(fma.f64 #s(literal 3/2 binary64) %34 %114)
(fma.f64 %26 #s(literal -1/2 binary64) %74)
(fma.f64 %26 #s(literal -1/2 binary64) %77)
(fma.f64 %26 #s(literal -1/2 binary64) %79)
(fma.f64 %26 #s(literal -1/2 binary64) %81)
(fma.f64 %26 #s(literal -1/2 binary64) %83)
(fma.f64 %26 #s(literal -1/2 binary64) %85)
(fma.f64 %26 #s(literal -1/2 binary64) %87)
(fma.f64 %26 #s(literal -1/2 binary64) %89)
(fma.f64 %26 #s(literal -1/2 binary64) %73)
(fma.f64 %26 #s(literal -1/2 binary64) %76)
(fma.f64 %28 #s(literal -2 binary64) %74)
(fma.f64 %28 #s(literal -2 binary64) %77)
(fma.f64 %28 #s(literal -2 binary64) %79)
(fma.f64 %28 #s(literal -2 binary64) %81)
(fma.f64 %28 #s(literal -2 binary64) %83)
(fma.f64 %28 #s(literal -2 binary64) %85)
(fma.f64 %28 #s(literal -2 binary64) %87)
(fma.f64 %28 #s(literal -2 binary64) %89)
(fma.f64 %28 #s(literal -2 binary64) %73)
(fma.f64 %28 #s(literal -2 binary64) %76)
(fma.f64 #s(literal 1/4 binary64) %22 %74)
(fma.f64 #s(literal 1/4 binary64) %22 %77)
(fma.f64 #s(literal 1/4 binary64) %22 %79)
(fma.f64 #s(literal 1/4 binary64) %22 %81)
(fma.f64 #s(literal 1/4 binary64) %22 %83)
(fma.f64 #s(literal 1/4 binary64) %22 %85)
(fma.f64 #s(literal 1/4 binary64) %22 %87)
(fma.f64 #s(literal 1/4 binary64) %22 %89)
(fma.f64 #s(literal 1/4 binary64) %22 %73)
(fma.f64 #s(literal 1/4 binary64) %22 %76)
(fma.f64 #s(literal 4 binary64) %16 %74)
(fma.f64 #s(literal 4 binary64) %16 %77)
(fma.f64 #s(literal 4 binary64) %16 %79)
(fma.f64 #s(literal 4 binary64) %16 %81)
(fma.f64 #s(literal 4 binary64) %16 %83)
(fma.f64 #s(literal 4 binary64) %16 %85)
(fma.f64 #s(literal 4 binary64) %16 %87)
(fma.f64 #s(literal 4 binary64) %16 %89)
(fma.f64 #s(literal 4 binary64) %16 %73)
(fma.f64 #s(literal 4 binary64) %16 %76)
(fma.f64 #s(literal -2 binary64) %28 %74)
(fma.f64 #s(literal -2 binary64) %28 %77)
(fma.f64 #s(literal -2 binary64) %28 %79)
(fma.f64 #s(literal -2 binary64) %28 %81)
(fma.f64 #s(literal -2 binary64) %28 %83)
(fma.f64 #s(literal -2 binary64) %28 %85)
(fma.f64 #s(literal -2 binary64) %28 %87)
(fma.f64 #s(literal -2 binary64) %28 %89)
(fma.f64 #s(literal -2 binary64) %28 %73)
(fma.f64 #s(literal -2 binary64) %28 %76)
(fma.f64 %21 #s(literal 1/2 binary64) %74)
(fma.f64 %21 #s(literal 1/2 binary64) %77)
(fma.f64 %21 #s(literal 1/2 binary64) %79)
(fma.f64 %21 #s(literal 1/2 binary64) %81)
(fma.f64 %21 #s(literal 1/2 binary64) %83)
(fma.f64 %21 #s(literal 1/2 binary64) %85)
(fma.f64 %21 #s(literal 1/2 binary64) %87)
(fma.f64 %21 #s(literal 1/2 binary64) %89)
(fma.f64 %21 #s(literal 1/2 binary64) %73)
(fma.f64 %21 #s(literal 1/2 binary64) %76)
(fma.f64 %34 #s(literal 3/2 binary64) %176)
(fma.f64 %34 #s(literal 1/2 binary64) %178)
(fma.f64 %34 #s(literal 2 binary64) %74)
(fma.f64 %34 #s(literal 2 binary64) %77)
(fma.f64 %34 #s(literal 2 binary64) %79)
(fma.f64 %34 #s(literal 2 binary64) %81)
(fma.f64 %34 #s(literal 2 binary64) %83)
(fma.f64 %34 #s(literal 2 binary64) %85)
(fma.f64 %34 #s(literal 2 binary64) %87)
(fma.f64 %34 #s(literal 2 binary64) %89)
(fma.f64 %34 #s(literal 2 binary64) %73)
(fma.f64 %34 #s(literal 2 binary64) %76)
(fma.f64 %34 #s(literal 1 binary64) %34)
(fma.f64 #s(literal -1 binary64) %37 %74)
(fma.f64 #s(literal -1 binary64) %37 %77)
(fma.f64 #s(literal -1 binary64) %37 %79)
(fma.f64 #s(literal -1 binary64) %37 %81)
(fma.f64 #s(literal -1 binary64) %37 %83)
(fma.f64 #s(literal -1 binary64) %37 %85)
(fma.f64 #s(literal -1 binary64) %37 %87)
(fma.f64 #s(literal -1 binary64) %37 %89)
(fma.f64 #s(literal -1 binary64) %37 %73)
(fma.f64 #s(literal -1 binary64) %37 %76)
(fma.f64 #s(literal 1/2 binary64) %19 %74)
(fma.f64 #s(literal 1/2 binary64) %19 %77)
(fma.f64 #s(literal 1/2 binary64) %19 %79)
(fma.f64 #s(literal 1/2 binary64) %19 %81)
(fma.f64 #s(literal 1/2 binary64) %19 %83)
(fma.f64 #s(literal 1/2 binary64) %19 %85)
(fma.f64 #s(literal 1/2 binary64) %19 %87)
(fma.f64 #s(literal 1/2 binary64) %19 %89)
(fma.f64 #s(literal 1/2 binary64) %19 %73)
(fma.f64 #s(literal 1/2 binary64) %19 %76)
(fma.f64 #s(literal 1/2 binary64) %21 %74)
(fma.f64 #s(literal 1/2 binary64) %21 %77)
(fma.f64 #s(literal 1/2 binary64) %21 %79)
(fma.f64 #s(literal 1/2 binary64) %21 %81)
(fma.f64 #s(literal 1/2 binary64) %21 %83)
(fma.f64 #s(literal 1/2 binary64) %21 %85)
(fma.f64 #s(literal 1/2 binary64) %21 %87)
(fma.f64 #s(literal 1/2 binary64) %21 %89)
(fma.f64 #s(literal 1/2 binary64) %21 %73)
(fma.f64 #s(literal 1/2 binary64) %21 %76)
(fma.f64 #s(literal 1/2 binary64) %34 %221)
(fma.f64 #s(literal 1/2 binary64) %14 %34)
(fma.f64 %37 #s(literal -1 binary64) %74)
(fma.f64 %37 #s(literal -1 binary64) %77)
(fma.f64 %37 #s(literal -1 binary64) %79)
(fma.f64 %37 #s(literal -1 binary64) %81)
(fma.f64 %37 #s(literal -1 binary64) %83)
(fma.f64 %37 #s(literal -1 binary64) %85)
(fma.f64 %37 #s(literal -1 binary64) %87)
(fma.f64 %37 #s(literal -1 binary64) %89)
(fma.f64 %37 #s(literal -1 binary64) %73)
(fma.f64 %37 #s(literal -1 binary64) %76)
(fma.f64 %37 #s(literal 0 binary64) %14)
(fma.f64 %37 #s(literal -1/2 binary64) %235)
(fma.f64 #s(literal 2 binary64) %34 %74)
(fma.f64 #s(literal 2 binary64) %34 %77)
(fma.f64 #s(literal 2 binary64) %34 %79)
(fma.f64 #s(literal 2 binary64) %34 %81)
(fma.f64 #s(literal 2 binary64) %34 %83)
(fma.f64 #s(literal 2 binary64) %34 %85)
(fma.f64 #s(literal 2 binary64) %34 %87)
(fma.f64 #s(literal 2 binary64) %34 %89)
(fma.f64 #s(literal 2 binary64) %34 %73)
(fma.f64 #s(literal 2 binary64) %34 %76)
(fma.f64 #s(literal 0 binary64) %37 %14)
(fma.f64 #s(literal 0 binary64) %14 %14)
(fma.f64 %14 #s(literal 1/2 binary64) %34)
(fma.f64 %14 #s(literal 0 binary64) %14)
(fma.f64 %14 #s(literal 1 binary64) %74)
(fma.f64 %14 #s(literal 1 binary64) %77)
(fma.f64 %14 #s(literal 1 binary64) %79)
(fma.f64 %14 #s(literal 1 binary64) %81)
(fma.f64 %14 #s(literal 1 binary64) %83)
(fma.f64 %14 #s(literal 1 binary64) %85)
(fma.f64 %14 #s(literal 1 binary64) %87)
(fma.f64 %14 #s(literal 1 binary64) %89)
(fma.f64 %14 #s(literal 1 binary64) %73)
(fma.f64 %14 #s(literal 1 binary64) %76)
(fma.f64 #s(literal -1/2 binary64) %37 %34)
(fma.f64 #s(literal 1 binary64) %34 %34)
(fma.f64 #s(literal 1 binary64) %14 %74)
(fma.f64 #s(literal 1 binary64) %14 %77)
(fma.f64 #s(literal 1 binary64) %14 %79)
(fma.f64 #s(literal 1 binary64) %14 %81)
(fma.f64 #s(literal 1 binary64) %14 %83)
(fma.f64 #s(literal 1 binary64) %14 %85)
(fma.f64 #s(literal 1 binary64) %14 %87)
(fma.f64 #s(literal 1 binary64) %14 %89)
(fma.f64 #s(literal 1 binary64) %14 %73)
(fma.f64 #s(literal 1 binary64) %14 %76)
(-.f64 %34 %28)
(-.f64 %14 %73)
(-.f64 %14 %76)
(+.f64 %178 %176)
(+.f64 %221 %114)
(+.f64 %114 %221)
(+.f64 %176 %178)
(+.f64 %235 %235)
(+.f64 %73 %14)
(+.f64 %76 %14)
(+.f64 %34 %34)
(+.f64 %14 %74)
(+.f64 %14 %77)
(+.f64 %14 %79)
(+.f64 %14 %81)
(+.f64 %14 %83)
(+.f64 %14 %85)
(+.f64 %14 %87)
(+.f64 %14 %89)
(+.f64 %14 %73)
(+.f64 %14 %76)
%296
%298
%301
%304
%305
%306
%307
%309
%310
%311
%312
%313
%314
%315
%316
%317
%321
%324
%326
%329
%332
%334
%336
%338
%340
%342
%344
%345
%346
%347
%349
%351
%352
%357
%364
%368
%372
%375
%378
%381
%383
%385
%387
%389
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%421
%424
%427
%431
%434
%436
%438
%440
%443
%446
%447
%448
%449
%452
%455
%457
%459
%461
%463
%465
%466
%468
%470
%472
%474
%476
%478
%479
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%506
%508
%510
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%542
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%558
%559
%560
%561
%562
%563
%564
%565
%566
%567
%568
%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
%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
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%294
%655
%657
%659
%660
%661
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%296
%298
%301
%304
%305
%306
%307
%309
%310
%311
%312
%313
%314
%315
%316
%317
%321
%324
%326
%329
%332
%334
%336
%338
%340
%342
%344
%345
%346
%347
%349
%351
%352
%357
%364
%368
%372
%375
%378
%381
%383
%385
%387
%389
%391
%393
%394
%395
%396
%397
%398
%399
%400
%401
%402
%403
%404
%405
%406
%407
%408
%409
%410
%411
%412
%413
%414
%415
%421
%424
%427
%431
%434
%436
%438
%440
%443
%446
%447
%448
%449
%452
%455
%457
%459
%461
%463
%465
%466
%468
%470
%472
%474
%476
%478
%479
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%491
%492
%493
%494
%495
%496
%497
%498
%499
%500
%501
%502
%503
%504
%505
%506
%508
%510
%512
%513
%514
%515
%516
%517
%518
%519
%520
%521
%522
%523
%524
%525
%527
%528
%529
%530
%531
%532
%533
%534
%535
%536
%537
%538
%539
%540
%542
%544
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%558
%559
%560
%561
%562
%563
%564
%565
%566
%567
%568
%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
%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
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%294
%655
%657
%659
%660
%661
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
(*.f64 #s(literal 1 binary64) %686)
%686
(fmax.f64 %3 %294)
(pow.f64 %686 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %686 #s(literal -1 binary64)))
reconstruct45.0ms (2.4%)
Counts
843 → 26
Compiler
Compiled 843 to 709 computations (15.9% saved)
eval2.0ms (0.1%)
Compiler
Compiled 23 to 92 computations (-300.0% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (1 fresh and 2 done)
PrunedKeptTotal
New22123
Fresh000
Picked011
Done011
Total22325
Accuracy
100.0%
Counts
25 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64)))) (fmax.f64 x y))
▶38.2%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64)))) (fmax.f64 x (approx y #s(literal 0 binary64))))
✓68.1%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64)))) (fmax.f64 x y))
Compiler
Compiled 3 to 15 computations (-400.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series4.0ms (0.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
049187
Stop Event
1×iter-limit
Counts
11 → 14
Calls
Call 1
Inputs
%3 = (approx y #s(literal 0 binary64))
%6 = (fmax.f64 x %3)
%10 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%11 = (fma.f64 x x %10)
%12 = (*.f64 #s(literal 1 binary64) %11)
y
x
#s(literal 0 binary64)
%3
#s(literal 1 binary64)
#s(literal -1/2 binary64)
%6
%10
%11
%12
(fmax.f64 %12 %6)
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))
%43 = (*.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 (* 1 %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) %43)))
(approx %12 (*.f64 %14 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %18 %14)) %43)))
Calls
6 calls:
TimeVariablePoint
0.0ms
y
inf
0.0ms
x
inf
0.0ms
y
-inf
0.0ms
x
-inf
0.0ms
x
0
rewrite68.0ms (3.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01360
01856
16556
219956
385856
0406456
0421352
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 409
Calls
Call 1
Inputs
%3 = (approx y #s(literal 0 binary64))
%6 = (fmax.f64 x %3)
%10 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%11 = (fma.f64 x x %10)
%12 = (*.f64 #s(literal 1 binary64) %11)
y
x
#s(literal 0 binary64)
%3
#s(literal 1 binary64)
#s(literal -1/2 binary64)
%6
%10
%11
%12
(fmax.f64 %12 %6)
Outputs
%4 = (approx y #s(literal 0 binary64))
%11 = (fmax.f64 %4 x)
%20 = (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))
%22 = (/.f64 %20 #s(literal 4 binary64))
%25 = (/.f64 %20 #s(literal 1/2 binary64))
%27 = (+.f64 %20 %20)
%28 = (/.f64 %27 #s(literal 1/2 binary64))
%32 = (*.f64 #s(literal -2 binary64) %20)
%34 = (*.f64 %20 #s(literal -1/2 binary64))
%40 = (*.f64 #s(literal 1/2 binary64) %20)
%43 = (neg.f64 %20)
%52 = (E.f64 )
%54 = (*.f64 #s(literal 2 binary64) %52)
%60 = (*.f64 %52 #s(literal 2 binary64))
%67 = (*.f64 #s(literal 2 binary64) %27)
%71 = (*.f64 %27 #s(literal 2 binary64))
%85 = (*.f64 %20 #s(literal 0 binary64))
%87 = (*.f64 #s(literal 0 binary64) %20)
%132 = (fma.f64 x x %20)
%133 = (/.f64 %132 #s(literal 4 binary64))
%134 = (*.f64 %133 #s(literal 4 binary64))
%135 = (/.f64 %132 #s(literal 1/2 binary64))
%136 = (*.f64 %135 #s(literal 1/2 binary64))
%137 = (*.f64 #s(literal 2 binary64) %132)
%138 = (/.f64 %137 #s(literal 1/2 binary64))
%139 = (*.f64 %138 #s(literal 1/4 binary64))
%140 = (neg.f64 %132)
%141 = (*.f64 %140 #s(literal 2 binary64))
%142 = (*.f64 %141 #s(literal -1/2 binary64))
%143 = (*.f64 #s(literal 1/4 binary64) %138)
%144 = (*.f64 #s(literal 4 binary64) %133)
%145 = (*.f64 %137 #s(literal 1/2 binary64))
%146 = (*.f64 #s(literal 1/2 binary64) %132)
%147 = (*.f64 %146 #s(literal 2 binary64))
%148 = (*.f64 #s(literal -1 binary64) %140)
%149 = (*.f64 %140 #s(literal -1 binary64))
%150 = (*.f64 #s(literal 1/2 binary64) %135)
%151 = (*.f64 x x)
%152 = (fma.f64 #s(literal 2 binary64) %151 %27)
%153 = (*.f64 #s(literal 1/2 binary64) %152)
%154 = (*.f64 #s(literal 2 binary64) %151)
%155 = (fma.f64 #s(literal 2 binary64) %20 %154)
%156 = (*.f64 #s(literal 1/2 binary64) %155)
%157 = (*.f64 #s(literal 1/2 binary64) %137)
%158 = (*.f64 #s(literal 2 binary64) %146)
%159 = (*.f64 %132 #s(literal 1 binary64))
%160 = (*.f64 #s(literal 1 binary64) %132)
%161 = (pow.f64 %132 #s(literal 1 binary64))
%163 = (/.f64 (fma.f64 %154 #s(literal 2 binary64) %71) #s(literal 4 binary64))
%164 = (*.f64 %154 #s(literal 2 binary64))
%166 = (/.f64 (fma.f64 %27 #s(literal 2 binary64) %164) #s(literal 4 binary64))
%168 = (/.f64 (fma.f64 %154 #s(literal 2 binary64) %67) #s(literal 4 binary64))
%171 = (/.f64 (fma.f64 %27 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %154)) #s(literal 4 binary64))
%174 = (/.f64 (-.f64 %164 (*.f64 #s(literal 2 binary64) %32)) #s(literal 4 binary64))
%176 = (/.f64 (*.f64 %137 %52) %54)
%178 = (/.f64 (*.f64 %52 %137) %60)
%180 = (/.f64 (*.f64 %137 #s(literal -2 binary64)) #s(literal -4 binary64))
%182 = (/.f64 (*.f64 %137 #s(literal 2 binary64)) #s(literal 4 binary64))
%184 = (/.f64 (*.f64 #s(literal -2 binary64) %137) #s(literal -4 binary64))
%186 = (/.f64 (*.f64 #s(literal 2 binary64) %137) #s(literal 4 binary64))
%188 = (/.f64 (*.f64 #s(literal 4 binary64) %137) #s(literal 8 binary64))
%190 = (/.f64 (*.f64 %137 #s(literal 4 binary64)) #s(literal 8 binary64))
%191 = (/.f64 %152 #s(literal 2 binary64))
%192 = (/.f64 %155 #s(literal 2 binary64))
%193 = (/.f64 %141 #s(literal -2 binary64))
%194 = (/.f64 %137 #s(literal 2 binary64))
%195 = (/.f64 %132 #s(literal 1 binary64))
%197 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %137))
%199 = (/.f64 #s(literal 1 binary64) (pow.f64 %132 #s(literal -1 binary64)))
%200 = (neg.f64 %140)
%201 = (sqrt.f64 %154)
%203 = (sqrt.f64 #s(literal 1/2 binary64))
%205 = (fma.f64 (*.f64 %201 %201) (*.f64 %203 %203) %20)
%206 = (fabs.f64 x)
%207 = (*.f64 %206 #s(literal 1/2 binary64))
%209 = (fma.f64 (*.f64 %207 %207) #s(literal 4 binary64) %20)
%210 = (neg.f64 x)
%211 = (*.f64 %210 #s(literal 1/2 binary64))
%213 = (fma.f64 (*.f64 %211 %211) #s(literal 4 binary64) %20)
%214 = (*.f64 x #s(literal 1/2 binary64))
%216 = (fma.f64 (*.f64 %214 %214) #s(literal 4 binary64) %20)
%217 = (fma.f64 %22 #s(literal 4 binary64) %151)
%218 = (fma.f64 %25 #s(literal 1/2 binary64) %151)
%219 = (fma.f64 %28 #s(literal 1/4 binary64) %151)
%220 = (*.f64 %132 #s(literal 0 binary64))
%221 = (fma.f64 %133 #s(literal 4 binary64) %220)
%222 = (*.f64 #s(literal 0 binary64) %132)
%223 = (fma.f64 %133 #s(literal 4 binary64) %222)
%224 = (fma.f64 %135 #s(literal 1/2 binary64) %220)
%225 = (fma.f64 %135 #s(literal 1/2 binary64) %222)
%226 = (fma.f64 %138 #s(literal 1/4 binary64) %220)
%227 = (fma.f64 %138 #s(literal 1/4 binary64) %222)
%228 = (neg.f64 %206)
%230 = (*.f64 %228 #s(literal 2 binary64))
%232 = (fma.f64 (/.f64 %228 #s(literal 4 binary64)) (/.f64 %230 #s(literal 1/2 binary64)) %20)
%235 = (fma.f64 (/.f64 %228 #s(literal 1/2 binary64)) (/.f64 %230 #s(literal 4 binary64)) %20)
%238 = (fma.f64 (/.f64 %228 #s(literal 2 binary64)) (/.f64 %230 #s(literal 1 binary64)) %20)
%240 = (*.f64 %206 #s(literal 2 binary64))
%242 = (fma.f64 (/.f64 %206 #s(literal 4 binary64)) (/.f64 %240 #s(literal 1/2 binary64)) %20)
%245 = (fma.f64 (/.f64 %206 #s(literal 1/2 binary64)) (/.f64 %240 #s(literal 4 binary64)) %20)
%247 = (*.f64 %210 #s(literal 2 binary64))
%249 = (fma.f64 (/.f64 %210 #s(literal 4 binary64)) (/.f64 %247 #s(literal 1/2 binary64)) %20)
%252 = (fma.f64 (/.f64 %210 #s(literal 1/2 binary64)) (/.f64 %247 #s(literal 4 binary64)) %20)
%253 = (/.f64 %151 #s(literal 4 binary64))
%254 = (fma.f64 %253 #s(literal 4 binary64) %20)
%255 = (/.f64 %151 #s(literal 1/2 binary64))
%256 = (fma.f64 %255 #s(literal 1/2 binary64) %20)
%257 = (/.f64 %154 #s(literal 1/2 binary64))
%258 = (fma.f64 %257 #s(literal 1/4 binary64) %20)
%260 = (*.f64 x #s(literal 2 binary64))
%262 = (fma.f64 (/.f64 x #s(literal 4 binary64)) (/.f64 %260 #s(literal 1/2 binary64)) %20)
%265 = (fma.f64 (/.f64 x #s(literal 1/2 binary64)) (/.f64 %260 #s(literal 4 binary64)) %20)
%267 = (fma.f64 (*.f64 %240 %240) #s(literal 1/4 binary64) %20)
%269 = (fma.f64 (*.f64 %247 %247) #s(literal 1/4 binary64) %20)
%271 = (fma.f64 (*.f64 %260 %260) #s(literal 1/4 binary64) %20)
%272 = (fma.f64 %32 #s(literal -1/2 binary64) %151)
%274 = (fma.f64 %211 (/.f64 %247 #s(literal 1 binary64)) %20)
%276 = (fma.f64 %214 (/.f64 %260 #s(literal 1 binary64)) %20)
%278 = (fma.f64 %207 (/.f64 %240 #s(literal 1 binary64)) %20)
%279 = (fma.f64 %34 #s(literal -2 binary64) %151)
%280 = (fma.f64 %141 #s(literal -1/2 binary64) %220)
%281 = (fma.f64 %141 #s(literal -1/2 binary64) %222)
%283 = (fma.f64 (*.f64 #s(literal -2 binary64) %151) #s(literal -1/2 binary64) %20)
%284 = (fma.f64 #s(literal 1/4 binary64) %28 %151)
%285 = (fma.f64 #s(literal 1/4 binary64) %138 %220)
%286 = (fma.f64 #s(literal 1/4 binary64) %138 %222)
%287 = (fma.f64 #s(literal 1/4 binary64) %257 %20)
%288 = (*.f64 #s(literal 2 binary64) %206)
%290 = (fma.f64 #s(literal 1/4 binary64) (*.f64 %288 %288) %20)
%291 = (*.f64 #s(literal 2 binary64) %210)
%293 = (fma.f64 #s(literal 1/4 binary64) (*.f64 %291 %291) %20)
%294 = (*.f64 #s(literal 2 binary64) x)
%296 = (fma.f64 #s(literal 1/4 binary64) (*.f64 %294 %294) %20)
%297 = (fma.f64 #s(literal -2 binary64) %34 %151)
%299 = (fma.f64 #s(literal -2 binary64) (*.f64 %151 #s(literal -1/2 binary64)) %20)
%300 = (*.f64 #s(literal 1/2 binary64) %206)
%302 = (fma.f64 #s(literal 4 binary64) (*.f64 %300 %300) %20)
%303 = (*.f64 #s(literal 1/2 binary64) %210)
%305 = (fma.f64 #s(literal 4 binary64) (*.f64 %303 %303) %20)
%306 = (*.f64 #s(literal 1/2 binary64) x)
%308 = (fma.f64 #s(literal 4 binary64) (*.f64 %306 %306) %20)
%309 = (fma.f64 #s(literal 4 binary64) %22 %151)
%310 = (fma.f64 #s(literal 4 binary64) %133 %220)
%311 = (fma.f64 #s(literal 4 binary64) %133 %222)
%312 = (fma.f64 #s(literal 4 binary64) %253 %20)
%313 = (fma.f64 %154 #s(literal 1/2 binary64) %20)
%314 = (fma.f64 %137 #s(literal 1/2 binary64) %220)
%315 = (fma.f64 %137 #s(literal 1/2 binary64) %222)
%316 = (fma.f64 %27 #s(literal 1/2 binary64) %151)
%317 = (*.f64 #s(literal 1/2 binary64) %151)
%318 = (fma.f64 %317 #s(literal 2 binary64) %20)
%319 = (fma.f64 %146 #s(literal 2 binary64) %220)
%320 = (fma.f64 %146 #s(literal 2 binary64) %222)
%321 = (fma.f64 %146 #s(literal 1 binary64) %146)
%322 = (fma.f64 %40 #s(literal 2 binary64) %151)
%323 = (*.f64 %210 x)
%324 = (fma.f64 %323 #s(literal -1 binary64) %20)
%325 = (fma.f64 #s(literal -1 binary64) %323 %20)
%326 = (fma.f64 #s(literal -1 binary64) %140 %220)
%327 = (fma.f64 #s(literal -1 binary64) %140 %222)
%328 = (fma.f64 #s(literal -1 binary64) %43 %151)
%329 = (fma.f64 %140 #s(literal -1 binary64) %220)
%330 = (fma.f64 %140 #s(literal -1 binary64) %222)
%331 = (fma.f64 %228 %228 %20)
%332 = (fma.f64 %43 #s(literal -1 binary64) %151)
%333 = (fma.f64 #s(literal 1/2 binary64) %25 %151)
%334 = (fma.f64 #s(literal 1/2 binary64) %135 %220)
%335 = (fma.f64 #s(literal 1/2 binary64) %135 %222)
%336 = (fma.f64 #s(literal 1/2 binary64) %255 %20)
%337 = (fma.f64 #s(literal 1/2 binary64) %152 %220)
%338 = (fma.f64 #s(literal 1/2 binary64) %152 %222)
%339 = (fma.f64 #s(literal 1/2 binary64) %155 %220)
%340 = (fma.f64 #s(literal 1/2 binary64) %155 %222)
%341 = (fma.f64 #s(literal 1/2 binary64) %154 %20)
%342 = (fma.f64 #s(literal 1/2 binary64) %137 %220)
%343 = (fma.f64 #s(literal 1/2 binary64) %137 %222)
%344 = (fma.f64 #s(literal 1/2 binary64) %27 %151)
%345 = (fma.f64 #s(literal 1/2 binary64) %132 %146)
%346 = (fma.f64 %206 %206 %20)
%347 = (fma.f64 %210 %210 %20)
%348 = (sqrt.f64 %317)
%350 = (fma.f64 #s(literal 2 binary64) (*.f64 %348 %348) %20)
%351 = (fma.f64 #s(literal 2 binary64) %317 %20)
%352 = (fma.f64 #s(literal 2 binary64) %146 %220)
%353 = (fma.f64 #s(literal 2 binary64) %146 %222)
%354 = (fma.f64 #s(literal 2 binary64) %40 %151)
%355 = (fma.f64 %151 #s(literal 1 binary64) %20)
%356 = (fma.f64 %132 #s(literal 1/2 binary64) %146)
%357 = (fma.f64 %132 #s(literal 1 binary64) %220)
%358 = (fma.f64 %132 #s(literal 1 binary64) %222)
%359 = (fma.f64 %20 #s(literal 1 binary64) %151)
%360 = (fma.f64 #s(literal -1/2 binary64) %140 %146)
%361 = (fma.f64 #s(literal 1 binary64) %146 %146)
%362 = (fma.f64 #s(literal 1 binary64) %151 %20)
%363 = (fma.f64 #s(literal 1 binary64) %132 %220)
%364 = (fma.f64 #s(literal 1 binary64) %132 %222)
%365 = (fma.f64 #s(literal 1 binary64) %20 %151)
%366 = (*.f64 #s(literal -1/2 binary64) %132)
%368 = (-.f64 %146 (*.f64 %366 #s(literal 1 binary64)))
%370 = (-.f64 %146 (*.f64 %140 #s(literal 1/2 binary64)))
%372 = (-.f64 %146 (*.f64 #s(literal -1 binary64) %146))
%373 = (-.f64 %146 %366)
%374 = (-.f64 %151 %43)
%376 = (-.f64 %132 (*.f64 %140 #s(literal 0 binary64)))
%377 = (-.f64 %132 %220)
%378 = (-.f64 %132 %222)
%379 = (-.f64 %20 %323)
%380 = (+.f64 %146 %146)
%381 = (+.f64 %151 %20)
%382 = (+.f64 %132 %220)
%383 = (+.f64 %132 %222)
%384 = (+.f64 %20 %151)
%385 = (fmax.f64 %132 %11)
y
x
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
#s(literal 1 binary64)
#s(literal -1/2 binary64)
(*.f64 #s(literal 1 binary64) %11)
%11
(fmax.f64 x %4)
(pow.f64 %11 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(*.f64 %22 #s(literal 4 binary64))
(*.f64 %25 #s(literal 1/2 binary64))
(*.f64 %28 #s(literal 1/4 binary64))
(*.f64 %32 #s(literal -1/2 binary64))
(*.f64 %34 #s(literal -2 binary64))
(*.f64 #s(literal 1/4 binary64) %28)
(*.f64 #s(literal -2 binary64) %34)
(*.f64 #s(literal 4 binary64) %22)
(*.f64 %27 #s(literal 1/2 binary64))
(*.f64 %40 #s(literal 2 binary64))
(*.f64 #s(literal -1 binary64) %43)
(*.f64 %43 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %25)
(*.f64 #s(literal 1/2 binary64) %27)
(*.f64 #s(literal 2 binary64) %40)
(*.f64 %20 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %20)
(pow.f64 %20 #s(literal 1 binary64))
%20
(/.f64 (*.f64 %27 %52) %54)
(/.f64 (*.f64 %27 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %52 %27) %60)
(/.f64 (*.f64 #s(literal 4 binary64) %27) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %27) #s(literal -4 binary64))
(/.f64 %67 #s(literal 4 binary64))
(/.f64 (*.f64 %27 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 %71 #s(literal 4 binary64))
(/.f64 (*.f64 %32 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %32 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 %32 #s(literal -2 binary64))
(/.f64 %27 #s(literal 2 binary64))
(/.f64 %20 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %27))
(/.f64 #s(literal 1 binary64) (pow.f64 %20 #s(literal -1 binary64)))
(neg.f64 %43)
(fma.f64 %22 #s(literal 4 binary64) %85)
(fma.f64 %22 #s(literal 4 binary64) %87)
(fma.f64 %25 #s(literal 1/2 binary64) %85)
(fma.f64 %25 #s(literal 1/2 binary64) %87)
(fma.f64 %28 #s(literal 1/4 binary64) %85)
(fma.f64 %28 #s(literal 1/4 binary64) %87)
(fma.f64 %32 #s(literal -1/2 binary64) %85)
(fma.f64 %32 #s(literal -1/2 binary64) %87)
(fma.f64 %34 #s(literal -2 binary64) %85)
(fma.f64 %34 #s(literal -2 binary64) %87)
(fma.f64 #s(literal 1/4 binary64) %28 %85)
(fma.f64 #s(literal 1/4 binary64) %28 %87)
(fma.f64 #s(literal -2 binary64) %34 %85)
(fma.f64 #s(literal -2 binary64) %34 %87)
(fma.f64 #s(literal 4 binary64) %22 %85)
(fma.f64 #s(literal 4 binary64) %22 %87)
(fma.f64 %27 #s(literal 1/2 binary64) %85)
(fma.f64 %27 #s(literal 1/2 binary64) %87)
(fma.f64 %40 #s(literal 2 binary64) %85)
(fma.f64 %40 #s(literal 2 binary64) %87)
(fma.f64 %40 #s(literal 1 binary64) %40)
(fma.f64 #s(literal -1 binary64) %43 %85)
(fma.f64 #s(literal -1 binary64) %43 %87)
(fma.f64 %43 #s(literal -1 binary64) %85)
(fma.f64 %43 #s(literal -1 binary64) %87)
(fma.f64 #s(literal 1/2 binary64) %25 %85)
(fma.f64 #s(literal 1/2 binary64) %25 %87)
(fma.f64 #s(literal 1/2 binary64) %27 %85)
(fma.f64 #s(literal 1/2 binary64) %27 %87)
(fma.f64 #s(literal 1/2 binary64) %20 %40)
(fma.f64 #s(literal 2 binary64) %40 %85)
(fma.f64 #s(literal 2 binary64) %40 %87)
(fma.f64 %20 #s(literal 1/2 binary64) %40)
(fma.f64 %20 #s(literal 1 binary64) %85)
(fma.f64 %20 #s(literal 1 binary64) %87)
(fma.f64 #s(literal -1/2 binary64) %43 %40)
(fma.f64 #s(literal 1 binary64) %40 %40)
(fma.f64 #s(literal 1 binary64) %20 %85)
(fma.f64 #s(literal 1 binary64) %20 %87)
(-.f64 %40 %34)
(-.f64 %20 %85)
(-.f64 %20 %87)
(+.f64 %40 %40)
(+.f64 %20 %85)
(+.f64 %20 %87)
%134
%136
%139
%142
%143
%144
%145
%147
%148
%149
%150
%153
%156
%157
%158
%159
%160
%161
%163
%166
%168
%171
%174
%176
%178
%180
%182
%184
%186
%188
%190
%191
%192
%193
%194
%195
%197
%199
%200
%205
%209
%213
%216
%217
%218
%219
%221
%223
%224
%225
%226
%227
%232
%235
%238
%242
%245
%249
%252
%254
%256
%258
%262
%265
%267
%269
%271
%272
%274
%276
%278
%279
%280
%281
%283
%284
%285
%286
%287
%290
%293
%296
%297
%299
%302
%305
%308
%309
%310
%311
%312
%313
%314
%315
%316
%318
%319
%320
%321
%322
%324
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%350
%351
%352
%353
%354
%355
%356
%357
%358
%359
%360
%361
%362
%363
%364
%365
%132
%368
%370
%372
%373
%374
%376
%377
%378
%379
%380
%381
%382
%383
%384
%134
%136
%139
%142
%143
%144
%145
%147
%148
%149
%150
%153
%156
%157
%158
%159
%160
%161
%163
%166
%168
%171
%174
%176
%178
%180
%182
%184
%186
%188
%190
%191
%192
%193
%194
%195
%197
%199
%200
%205
%209
%213
%216
%217
%218
%219
%221
%223
%224
%225
%226
%227
%232
%235
%238
%242
%245
%249
%252
%254
%256
%258
%262
%265
%267
%269
%271
%272
%274
%276
%278
%279
%280
%281
%283
%284
%285
%286
%287
%290
%293
%296
%297
%299
%302
%305
%308
%309
%310
%311
%312
%313
%314
%315
%316
%318
%319
%320
%321
%322
%324
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%350
%351
%352
%353
%354
%355
%356
%357
%358
%359
%360
%361
%362
%363
%364
%365
%132
%368
%370
%372
%373
%374
%376
%377
%378
%379
%380
%381
%382
%383
%384
(*.f64 #s(literal 1 binary64) %385)
%385
(fmax.f64 %11 %132)
(pow.f64 %385 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %385 #s(literal -1 binary64)))
reconstruct17.0ms (0.9%)
Counts
422 → 33
Compiler
Compiled 422 to 408 computations (3.3% saved)
eval3.0ms (0.1%)
Compiler
Compiled 28 to 109 computations (-289.3% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (0 fresh and 3 done)
PrunedKeptTotal
New28028
Fresh000
Picked011
Done022
Total28331
Accuracy
100.0%
Counts
31 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64)))) (fmax.f64 x y))
✓38.2%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64)))) (fmax.f64 x (approx y #s(literal 0 binary64))))
✓68.1%
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64)))) (fmax.f64 x y))
Compiler
Compiled 3 to 15 computations (-400.0% saved)
regimes11.0ms (0.6%)
Counts
2 → 1
4 → 1
Calls
Call 1
Inputs
%9 = (*.f64 #s(literal 1 binary64) (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))))
(fmax.f64 %9 (fmax.f64 x y))
(fmax.f64 %9 (fmax.f64 x (approx y #s(literal 0 binary64))))
Outputs
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64)))) (fmax.f64 x y))
Call 2
Inputs
%9 = (*.f64 #s(literal 1 binary64) (fma.f64 x x (approx (+ (* y y) -1/2) #s(literal -1/2 binary64))))
%10 = (fmax.f64 x y)
(fmax.f64 %9 %10)
(fmax.f64 %9 (fmax.f64 x (approx y #s(literal 0 binary64))))
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64)))) %10)
(fmax.f64 (-.f64 (+.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)) %10)
Outputs
(fmax.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x (fma.f64 y y #s(literal -1/2 binary64)))) (fmax.f64 x y))
Calls
6 calls:
2.0ms
x
2.0ms
y
2.0ms
(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))
1.0ms
x
1.0ms
y
Results
AccuracySegmentsBranch
68.1%1
y
68.1%1
x
68.1%1
(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))
100.0%1
y
100.0%1
x
100.0%1
(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))
Compiler
Compiled 7 to 32 computations (-357.1% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations29.0ms (1.6%)
Stop Event
1×done
Compiler
Compiled 2 to 12 computations (-500.0% saved)
preprocess12.0ms (0.6%)
Compiler
Compiled 7 to 56 computations (-700.0% saved)
end0.0ms (0.0%)
gc769ms (41.6%)
Allocations
AllocatedPercentPhase
541.5 MiB38.0%sample
182.9 MiB12.8%rewrite
141.1 MiB9.9%analyze
136.9 MiB9.6%reconstruct
132.0 MiB9.3%rewrite
73.0 MiB5.1%rewrite
60.3 MiB4.2%rewrite
30.8 MiB2.2%reconstruct
26.6 MiB1.9%reconstruct
17.9 MiB1.3%preprocess
10.3 MiB0.7%reconstruct
10.0 MiB0.7%series
8.9 MiB0.6%preprocess
7.9 MiB0.6%regimes
7.8 MiB0.5%eval
6.6 MiB0.5%eval
5.1 MiB0.4%series
4.7 MiB0.3%series
4.1 MiB0.3%series
3.4 MiB0.2%prune
3.1 MiB0.2%eval
2.7 MiB0.2%derivations
2.3 MiB0.2%eval
2.1 MiB0.2%prune
1.9 MiB0.1%prune
1.6 MiB0.1%prune
0.3 MiB0.0%sample
0.3 MiB0.0%sample
0.1 MiB0.0%sample
0.1 MiB0.0%start
0.1 MiB0.0%bsearch
0.1 MiB0.0%bsearch
0.0 MiB0.0%sample
0.0 MiB0.0%end
1 426.6 MiB100.0%total
Profiling
Loading profile data...