Linear.Projection:perspective from linear-1.19.1.3, B

Time bar (total: 1.7s)

start0.0ms (0.0%)

analyze6.0ms (0.4%)

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
50.0%50.0%50.0%0.1%0.0%0.0%0.0%3
50.0%50.0%50.0%0.1%0.0%0.0%0.0%4
75.0%74.9%25.0%0.1%0.0%0.0%0.0%5
75.0%74.9%25.0%0.1%0.0%0.0%0.0%6
87.5%87.4%12.5%0.1%0.0%0.0%0.0%7
87.5%87.4%12.5%0.1%0.0%0.0%0.0%8
93.8%93.7%6.2%0.1%0.0%0.0%0.0%9
93.8%93.7%6.2%0.1%0.0%0.0%0.0%10
96.9%96.8%3.1%0.1%0.0%0.0%0.0%11
96.9%96.8%3.1%0.1%0.0%0.0%0.0%12
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample244.0ms (14.4%)

Samples
184.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 11.0ms
Mul: 6.0ms (54.8% of total, 0.0 MiB)
Div: 3.0ms (27.4% of total, 0.0 MiB)
Sub: 2.0ms (18.3% of total, 0.0 MiB)
Bogosity

preprocess36.0ms (2.2%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02260
111654
245454
3144754
4386954
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶74.8%
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) (-.f64 x y))
Compiler

Compiled 2 to 14 computations (-600.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series20.0ms (1.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0170607
Stop Event
1×iter-limit
Counts
7 → 30
Calls
Call 1
Inputs
%2 = (*.f64 x #s(literal 2 binary64))
%4 = (*.f64 %2 y)
%5 = (-.f64 x y)
x
#s(literal 2 binary64)
%2
y
%4
%5
(/.f64 %4 %5)
Outputs
%5 = (* x 2)
%10 = (* %5 y)
%14 = (- x y)
%16 = (*.f64 #s(literal -1 binary64) y)
%20 = (/ %10 %14)
%24 = (/.f64 x y)
%29 = (pow.f64 y #s(literal 2 binary64))
%34 = (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) y))
%41 = (pow.f64 y #s(literal 3 binary64))
%53 = (/.f64 y x)
%58 = (*.f64 #s(literal 2 binary64) y)
%60 = (/.f64 %29 x)
%64 = (pow.f64 x #s(literal 2 binary64))
%65 = (/.f64 %41 %64)
%71 = (pow.f64 y #s(literal 4 binary64))
%72 = (pow.f64 x #s(literal 3 binary64))
%107 = (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) x))
%125 = (/.f64 %64 y)
%129 = (/.f64 %72 %29)
%134 = (pow.f64 x #s(literal 4 binary64))
%147 = (*.f64 #s(literal 2 binary64) %64)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 (*.f64 #s(literal 2 binary64) x))
(approx %10 (*.f64 #s(literal 2 binary64) (*.f64 x y)))
(approx %14 %16)
(approx %14 (-.f64 x y))
(approx %20 (*.f64 #s(literal -2 binary64) x))
(approx %20 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) %24) #s(literal 2 binary64))))
(approx %20 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 x %29)) %34)) #s(literal 2 binary64))))
(approx %20 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 x %41)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) %29)))) %34)) #s(literal 2 binary64))))
(approx %14 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %53))))
(approx %20 %58)
(approx %20 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 2 binary64) %60)))
(approx %20 (fma.f64 #s(literal 2 binary64) y (fma.f64 #s(literal 2 binary64) %60 (*.f64 #s(literal 2 binary64) %65))))
(approx %20 (fma.f64 #s(literal 2 binary64) y (fma.f64 #s(literal 2 binary64) %60 (fma.f64 #s(literal 2 binary64) %65 (*.f64 #s(literal 2 binary64) (/.f64 %71 %72))))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %53 #s(literal 1 binary64)))))
(approx %20 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 %41 x) (*.f64 #s(literal -2 binary64) %29)) x) %58))
(approx %20 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) %29 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 %71 x) (*.f64 #s(literal 2 binary64) %41)) x))) x) %58))
(approx y y)
(approx %14 (+.f64 x %16))
(approx %20 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %53))))
(approx %20 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 y (fma.f64 #s(literal 2 binary64) (/.f64 y %64) %107)))))
(approx %20 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 y (fma.f64 y (fma.f64 #s(literal 2 binary64) (/.f64 y %72) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) %64))) %107)))))
(approx %14 (*.f64 y (-.f64 %24 #s(literal 1 binary64))))
(approx %20 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %125)))
(approx %20 (fma.f64 #s(literal -2 binary64) x (fma.f64 #s(literal -2 binary64) %125 (*.f64 #s(literal -2 binary64) %129))))
(approx %20 (fma.f64 #s(literal -2 binary64) x (fma.f64 #s(literal -2 binary64) %125 (fma.f64 #s(literal -2 binary64) %129 (*.f64 #s(literal -2 binary64) (/.f64 %134 %41))))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %24)))))
(approx %20 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 %72 y) %147) y))))
(approx %20 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 %134 y) (*.f64 #s(literal -2 binary64) %72)) y) %147) y))))
Calls
6 calls:
TimeVariablePoint
4.0ms
y
inf
3.0ms
y
-inf
3.0ms
x
inf
2.0ms
x
-inf
1.0ms
y
0
rewrite89.0ms (5.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0723
01123
13823
212823
348123
4198523
0418223
0442323
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 343
Calls
Call 1
Inputs
%2 = (*.f64 x #s(literal 2 binary64))
%4 = (*.f64 %2 y)
%5 = (-.f64 x y)
x
#s(literal 2 binary64)
%2
y
%4
%5
(/.f64 %4 %5)
Outputs
%3 = (*.f64 x #s(literal 4 binary64))
%6 = (+.f64 x x)
%7 = (*.f64 %6 #s(literal 2 binary64))
%9 = (*.f64 #s(literal 2 binary64) %6)
%11 = (*.f64 #s(literal 1/2 binary64) x)
%15 = (neg.f64 x)
%17 = (*.f64 #s(literal 4 binary64) x)
%20 = (fma.f64 #s(literal 2 binary64) x %6)
%31 = (*.f64 #s(literal -2 binary64) x)
%46 = (*.f64 %6 #s(literal 0 binary64))
%48 = (*.f64 #s(literal 0 binary64) %6)
%80 = (+.f64 y y)
%81 = (*.f64 %80 #s(literal 2 binary64))
%83 = (*.f64 y x)
%84 = (*.f64 %83 #s(literal 1/2 binary64))
%86 = (neg.f64 y)
%87 = (*.f64 %86 %15)
%89 = (*.f64 %15 %86)
%91 = (*.f64 %83 #s(literal 4 binary64))
%93 = (*.f64 %15 y)
%95 = (*.f64 #s(literal 1/2 binary64) %83)
%99 = (*.f64 #s(literal 4 binary64) %83)
%102 = (*.f64 %86 #s(literal 1 binary64))
%105 = (*.f64 #s(literal -2 binary64) y)
%110 = (*.f64 y %6)
%114 = (*.f64 %11 %80)
%122 = (neg.f64 %91)
%124 = (*.f64 #s(literal -2 binary64) %83)
%125 = (*.f64 %124 #s(literal 2 binary64))
%133 = (*.f64 %110 #s(literal 0 binary64))
%135 = (*.f64 #s(literal 0 binary64) %110)
%200 = (*.f64 #s(literal -1 binary64) %83)
%208 = (-.f64 x y)
%214 = (/.f64 #s(literal 1 binary64) %208)
%216 = (-.f64 y x)
%227 = (/.f64 y %208)
%228 = (*.f64 %227 x)
%233 = (/.f64 %80 %208)
%238 = (/.f64 #s(literal -1 binary64) %208)
%249 = (*.f64 %238 %93)
%253 = (/.f64 #s(literal -1/2 binary64) %208)
%255 = (*.f64 %238 %83)
%257 = (*.f64 %238 x)
%259 = (/.f64 #s(literal -1/2 binary64) %216)
%261 = (/.f64 #s(literal -2 binary64) %216)
%265 = (*.f64 #s(literal 1/2 binary64) %228)
%267 = (/.f64 %6 %216)
%269 = (/.f64 %80 %216)
%271 = (/.f64 y %216)
%272 = (*.f64 %271 x)
%274 = (/.f64 x %208)
%278 = (/.f64 %6 %208)
%283 = (/.f64 %110 %208)
%284 = (*.f64 #s(literal 2 binary64) %283)
%292 = (*.f64 %271 %6)
%313 = (*.f64 %83 #s(literal -1 binary64))
%314 = (*.f64 %216 %313)
%316 = (*.f64 %216 %216)
%318 = (*.f64 %216 %200)
%321 = (*.f64 %216 %93)
%324 = (*.f64 %216 %83)
%326 = (*.f64 %216 %208)
%328 = (*.f64 #s(literal 2 binary64) %216)
%329 = (*.f64 %216 %124)
%331 = (*.f64 %216 %328)
%333 = (*.f64 %216 %283)
%335 = (*.f64 %216 #s(literal 2 binary64))
%337 = (*.f64 #s(literal 2 binary64) %208)
%338 = (*.f64 %216 %110)
%340 = (*.f64 %216 %337)
%366 = (*.f64 %208 %216)
%385 = (*.f64 %328 %216)
%390 = (*.f64 %328 %93)
%393 = (*.f64 %328 %83)
%395 = (*.f64 %328 %208)
%416 = (*.f64 #s(literal 2 binary64) %124)
%427 = (*.f64 %337 %216)
%432 = (*.f64 %337 %93)
%435 = (*.f64 %337 %83)
%437 = (*.f64 %337 %208)
%463 = (*.f64 %93 %208)
%466 = (*.f64 %93 %216)
%469 = (*.f64 %83 %208)
%470 = (*.f64 %208 %93)
%473 = (*.f64 %83 %216)
%474 = (*.f64 %208 %83)
%497 = (fma.f64 %228 %216 %93)
%500 = (fma.f64 %228 %208 %83)
%503 = (fma.f64 %93 %216 %466)
%505 = (neg.f64 %316)
%507 = (fma.f64 %93 %208 %473)
%509 = (neg.f64 %326)
%511 = (fma.f64 %83 %216 %463)
%513 = (neg.f64 %366)
%515 = (fma.f64 %83 %208 %469)
%518 = (fma.f64 %93 %216 %321)
%521 = (fma.f64 %93 %208 %324)
%524 = (fma.f64 %83 %216 %470)
%527 = (fma.f64 %83 %208 %474)
x
#s(literal 2 binary64)
(*.f64 %3 #s(literal 1/2 binary64))
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 %9 #s(literal 1/2 binary64))
(*.f64 %11 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %11)
(*.f64 #s(literal -2 binary64) %15)
(*.f64 #s(literal 1/2 binary64) %17)
(*.f64 #s(literal 1/2 binary64) %9)
(*.f64 #s(literal 1/2 binary64) %20)
(*.f64 %15 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %6)
(*.f64 %6 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %6 #s(literal 1 binary64))
(/.f64 (fma.f64 %6 #s(literal 2 binary64) %9) #s(literal 4 binary64))
(/.f64 (-.f64 %7 (*.f64 #s(literal 2 binary64) %31)) #s(literal 4 binary64))
(/.f64 (neg.f64 %7) #s(literal -2 binary64))
(/.f64 (neg.f64 %9) #s(literal -2 binary64))
(/.f64 %7 #s(literal 2 binary64))
(/.f64 %9 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(neg.f64 %31)
(fma.f64 %3 #s(literal 1/2 binary64) %46)
(fma.f64 %3 #s(literal 1/2 binary64) %48)
(fma.f64 %7 #s(literal 1/2 binary64) %46)
(fma.f64 %7 #s(literal 1/2 binary64) %48)
(fma.f64 %9 #s(literal 1/2 binary64) %46)
(fma.f64 %9 #s(literal 1/2 binary64) %48)
(fma.f64 %11 #s(literal 4 binary64) %46)
(fma.f64 %11 #s(literal 4 binary64) %48)
(fma.f64 #s(literal 4 binary64) %11 %46)
(fma.f64 #s(literal 4 binary64) %11 %48)
(fma.f64 #s(literal -2 binary64) %15 %46)
(fma.f64 #s(literal -2 binary64) %15 %48)
(fma.f64 #s(literal 1/2 binary64) %17 %46)
(fma.f64 #s(literal 1/2 binary64) %17 %48)
(fma.f64 #s(literal 1/2 binary64) %9 %46)
(fma.f64 #s(literal 1/2 binary64) %9 %48)
(fma.f64 #s(literal 1/2 binary64) %20 %46)
(fma.f64 #s(literal 1/2 binary64) %20 %48)
(fma.f64 %15 #s(literal -2 binary64) %46)
(fma.f64 %15 #s(literal -2 binary64) %48)
(fma.f64 #s(literal 1 binary64) %6 %46)
(fma.f64 #s(literal 1 binary64) %6 %48)
(fma.f64 %6 #s(literal 1 binary64) %46)
(fma.f64 %6 #s(literal 1 binary64) %48)
(fma.f64 #s(literal 2 binary64) x %46)
(fma.f64 #s(literal 2 binary64) x %48)
(fma.f64 x #s(literal 2 binary64) %46)
(fma.f64 x #s(literal 2 binary64) %48)
(-.f64 x %15)
(+.f64 %6 %46)
(+.f64 %6 %48)
%6
y
(*.f64 %81 %11)
(*.f64 %84 #s(literal 4 binary64))
(*.f64 %87 #s(literal 2 binary64))
(*.f64 %89 #s(literal 2 binary64))
(*.f64 %91 #s(literal 1/2 binary64))
(*.f64 %93 #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) %95)
(*.f64 #s(literal -2 binary64) %93)
(*.f64 %83 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %99)
(*.f64 #s(literal 1/2 binary64) %91)
(*.f64 %31 %102)
(*.f64 %31 %86)
(*.f64 %105 %15)
(*.f64 %15 %105)
(*.f64 %80 x)
(*.f64 %86 %31)
(*.f64 #s(literal 1 binary64) %110)
(*.f64 %110 #s(literal 1 binary64))
%110
(*.f64 %6 y)
(*.f64 #s(literal 2 binary64) %114)
(*.f64 #s(literal 2 binary64) %89)
(*.f64 #s(literal 2 binary64) %83)
(*.f64 x %80)
(pow.f64 %110 #s(literal 1 binary64))
(/.f64 (fma.f64 %83 #s(literal 4 binary64) %91) #s(literal 4 binary64))
(/.f64 %122 #s(literal -2 binary64))
(/.f64 %125 #s(literal -2 binary64))
(/.f64 (*.f64 %110 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %91 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %110 #s(literal -1 binary64)))
(neg.f64 %124)
(fma.f64 %81 %11 %133)
(fma.f64 %81 %11 %135)
(fma.f64 %84 #s(literal 4 binary64) %133)
(fma.f64 %84 #s(literal 4 binary64) %135)
(fma.f64 %84 #s(literal 2 binary64) %83)
(fma.f64 %87 #s(literal 2 binary64) %133)
(fma.f64 %87 #s(literal 2 binary64) %135)
(fma.f64 %89 #s(literal 2 binary64) %133)
(fma.f64 %89 #s(literal 2 binary64) %135)
(fma.f64 %91 #s(literal 1/2 binary64) %133)
(fma.f64 %91 #s(literal 1/2 binary64) %135)
(fma.f64 %93 #s(literal -2 binary64) %133)
(fma.f64 %93 #s(literal -2 binary64) %135)
(fma.f64 #s(literal 4 binary64) %95 %133)
(fma.f64 #s(literal 4 binary64) %95 %135)
(fma.f64 #s(literal -2 binary64) %93 %133)
(fma.f64 #s(literal -2 binary64) %93 %135)
(fma.f64 %83 #s(literal 1 binary64) %83)
(fma.f64 %83 #s(literal 2 binary64) %133)
(fma.f64 %83 #s(literal 2 binary64) %135)
(fma.f64 #s(literal 1/2 binary64) %99 %133)
(fma.f64 #s(literal 1/2 binary64) %99 %135)
(fma.f64 #s(literal 1/2 binary64) %91 %133)
(fma.f64 #s(literal 1/2 binary64) %91 %135)
(fma.f64 #s(literal 1/2 binary64) %110 %83)
(fma.f64 %31 %102 %133)
(fma.f64 %31 %102 %135)
(fma.f64 %31 %86 %133)
(fma.f64 %31 %86 %135)
(fma.f64 %105 %15 %133)
(fma.f64 %105 %15 %135)
(fma.f64 %15 %105 %133)
(fma.f64 %15 %105 %135)
(fma.f64 %15 %86 %89)
(fma.f64 %80 %11 %83)
(fma.f64 %80 x %133)
(fma.f64 %80 x %135)
(fma.f64 %86 %31 %133)
(fma.f64 %86 %31 %135)
(fma.f64 %86 %15 %87)
(fma.f64 #s(literal 1 binary64) %83 %83)
(fma.f64 #s(literal 1 binary64) %110 %133)
(fma.f64 #s(literal 1 binary64) %110 %135)
(fma.f64 %110 #s(literal 1/2 binary64) %83)
(fma.f64 %110 #s(literal 1 binary64) %133)
(fma.f64 %110 #s(literal 1 binary64) %135)
(fma.f64 y %6 %133)
(fma.f64 y %6 %135)
(fma.f64 y x %83)
(fma.f64 %6 (*.f64 #s(literal 1/2 binary64) y) %83)
(fma.f64 %6 y %133)
(fma.f64 %6 y %135)
(fma.f64 #s(literal 2 binary64) (*.f64 %11 y) %83)
(fma.f64 #s(literal 2 binary64) %114 %133)
(fma.f64 #s(literal 2 binary64) %114 %135)
(fma.f64 #s(literal 2 binary64) %95 %83)
(fma.f64 #s(literal 2 binary64) %89 %133)
(fma.f64 #s(literal 2 binary64) %89 %135)
(fma.f64 #s(literal 2 binary64) %83 %133)
(fma.f64 #s(literal 2 binary64) %83 %135)
(fma.f64 x %80 %133)
(fma.f64 x %80 %135)
(fma.f64 x y %83)
(-.f64 %83 %200)
(-.f64 %83 %93)
(+.f64 %87 %87)
(+.f64 %89 %89)
(+.f64 %83 %83)
(+.f64 %110 %133)
(+.f64 %110 %135)
(*.f64 #s(literal 1 binary64) %208)
(pow.f64 %208 #s(literal 1 binary64))
(/.f64 (-.f64 %7 (*.f64 #s(literal 2 binary64) %80)) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) %214)
(neg.f64 %216)
(fma.f64 %105 #s(literal 1/2 binary64) x)
(fma.f64 #s(literal -1 binary64) y x)
(fma.f64 %80 #s(literal -1/2 binary64) x)
(fma.f64 #s(literal 1 binary64) %86 x)
(fma.f64 y #s(literal -1 binary64) x)
(-.f64 %86 %15)
%208
(+.f64 %86 x)
(+.f64 x %86)
(*.f64 (*.f64 %228 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 %228 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 (*.f64 %233 %6) #s(literal 1/2 binary64))
(*.f64 (*.f64 %233 #s(literal 2 binary64)) %11)
(*.f64 (*.f64 %238 #s(literal -2 binary64)) %83)
(*.f64 (*.f64 %214 %91) #s(literal 1/2 binary64))
(*.f64 (*.f64 %214 %31) %86)
(*.f64 (*.f64 %214 %15) %105)
(*.f64 (*.f64 %238 %15) %80)
(*.f64 %249 #s(literal 2 binary64))
(*.f64 (*.f64 %238 #s(literal 2 binary64)) %93)
(*.f64 %125 %253)
(*.f64 %255 #s(literal -2 binary64))
(*.f64 %257 %105)
(*.f64 %91 %259)
(*.f64 %261 %83)
(*.f64 %93 (/.f64 #s(literal -2 binary64) %208))
(*.f64 #s(literal 4 binary64) %265)
(*.f64 %267 %86)
(*.f64 %269 %15)
(*.f64 #s(literal -2 binary64) %272)
(*.f64 %274 %80)
(*.f64 %228 #s(literal 2 binary64))
(*.f64 %83 %261)
(*.f64 %278 y)
(*.f64 %233 x)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %228))
(*.f64 #s(literal 1/2 binary64) %284)
(*.f64 %31 %271)
(*.f64 %105 (/.f64 x %216))
(*.f64 %271 %31)
(*.f64 %15 %269)
(*.f64 %238 %124)
(*.f64 #s(literal -1 binary64) %292)
(*.f64 %80 %274)
(*.f64 %227 %6)
(*.f64 %86 %267)
(*.f64 %214 %110)
(*.f64 %124 %238)
(*.f64 #s(literal 1 binary64) %283)
(*.f64 %283 #s(literal 1 binary64))
(*.f64 %110 %214)
(*.f64 y %278)
(*.f64 %6 %227)
(*.f64 #s(literal 2 binary64) (*.f64 %253 %124))
(*.f64 #s(literal 2 binary64) (*.f64 %259 %110))
(*.f64 #s(literal 2 binary64) (*.f64 %11 %233))
(*.f64 #s(literal 2 binary64) %228)
(*.f64 x %233)
(pow.f64 %283 #s(literal 1 binary64))
(/.f64 (fma.f64 %313 %216 %314) %316)
(/.f64 (fma.f64 %313 %216 %318) %316)
(/.f64 (fma.f64 %313 %216 %321) %316)
(/.f64 (fma.f64 %313 %208 %324) %326)
(/.f64 (fma.f64 %313 %328 %329) %331)
(/.f64 (fma.f64 %313 #s(literal 2 binary64) %333) %335)
(/.f64 (fma.f64 %313 %337 %338) %340)
(/.f64 (fma.f64 %200 %216 %314) %316)
(/.f64 (fma.f64 %200 %216 %318) %316)
(/.f64 (fma.f64 %200 %216 %321) %316)
(/.f64 (fma.f64 %200 %208 %324) %326)
(/.f64 (fma.f64 %200 %328 %329) %331)
(/.f64 (fma.f64 %200 %337 %338) %340)
(/.f64 (fma.f64 %93 %216 %314) %316)
(/.f64 (fma.f64 %93 %216 %318) %316)
(/.f64 (fma.f64 %93 %328 %329) %331)
(/.f64 (fma.f64 #s(literal -2 binary64) %83 %333) %335)
(/.f64 (fma.f64 %93 %337 %338) %340)
(/.f64 (fma.f64 %83 %216 (*.f64 %208 %313)) %366)
(/.f64 (fma.f64 %83 %216 (*.f64 %208 %200)) %366)
(/.f64 (fma.f64 %83 %328 (*.f64 %208 %124)) (*.f64 %208 %328))
(/.f64 (fma.f64 %80 x (*.f64 %208 %283)) (*.f64 %208 #s(literal 2 binary64)))
(/.f64 (fma.f64 %83 %337 (*.f64 %208 %110)) (*.f64 %208 %337))
(/.f64 (fma.f64 %124 %216 (*.f64 %328 %313)) %385)
(/.f64 (fma.f64 %124 %216 (*.f64 %328 %200)) %385)
(/.f64 (fma.f64 %124 %216 %390) %385)
(/.f64 (fma.f64 %124 %208 %393) %395)
(/.f64 (fma.f64 %124 %328 (*.f64 %328 %124)) (*.f64 %328 %328))
(/.f64 (fma.f64 %124 #s(literal 2 binary64) (*.f64 %328 %283)) (*.f64 %328 #s(literal 2 binary64)))
(/.f64 (fma.f64 %124 %337 (*.f64 %328 %110)) (*.f64 %328 %337))
(/.f64 (fma.f64 %283 %216 (*.f64 #s(literal 2 binary64) %200)) %328)
(/.f64 (fma.f64 %283 %216 %124) %328)
(/.f64 (fma.f64 %283 %208 %110) %337)
(/.f64 (fma.f64 %283 %328 %416) (*.f64 #s(literal 2 binary64) %328))
(/.f64 (fma.f64 %283 #s(literal 2 binary64) %284) #s(literal 4 binary64))
(/.f64 (fma.f64 %283 %337 %91) (*.f64 #s(literal 2 binary64) %337))
(/.f64 (fma.f64 %110 %216 (*.f64 %337 %313)) %427)
(/.f64 (fma.f64 %110 %216 (*.f64 %337 %200)) %427)
(/.f64 (fma.f64 %110 %216 %432) %427)
(/.f64 (fma.f64 %110 %208 %435) %437)
(/.f64 (fma.f64 %110 %328 (*.f64 %337 %124)) (*.f64 %337 %328))
(/.f64 (fma.f64 %83 #s(literal 4 binary64) (*.f64 %337 %283)) (*.f64 %337 #s(literal 2 binary64)))
(/.f64 (fma.f64 %110 %337 (*.f64 %337 %110)) (*.f64 %337 %337))
(/.f64 (-.f64 (*.f64 %313 %208) %321) %326)
(/.f64 (-.f64 (*.f64 %313 %216) %324) %316)
(/.f64 (-.f64 (*.f64 %200 %208) %321) %326)
(/.f64 (-.f64 (*.f64 %200 %216) %324) %316)
(/.f64 (-.f64 %463 %321) %326)
(/.f64 (-.f64 %466 %324) %316)
(/.f64 (-.f64 %469 %470) %316)
(/.f64 (-.f64 %473 %474) %366)
(/.f64 (-.f64 (*.f64 %124 %208) %390) %395)
(/.f64 (-.f64 (*.f64 %124 %216) %393) %385)
(/.f64 (-.f64 (*.f64 %283 %208) %124) %337)
(/.f64 (-.f64 (*.f64 %283 %216) %110) %328)
(/.f64 (-.f64 (*.f64 %110 %208) %432) %437)
(/.f64 (-.f64 (*.f64 %110 %216) %435) %427)
(/.f64 (neg.f64 %284) #s(literal -2 binary64))
(/.f64 (neg.f64 %497) %208)
(/.f64 (neg.f64 %500) %216)
(/.f64 (neg.f64 %503) %505)
(/.f64 (neg.f64 %507) %509)
(/.f64 (neg.f64 %511) %513)
(/.f64 (neg.f64 %515) %505)
(/.f64 (neg.f64 %518) %505)
(/.f64 (neg.f64 %521) %509)
(/.f64 (neg.f64 %524) %513)
(/.f64 (neg.f64 %527) %505)
(/.f64 (neg.f64 %416) (neg.f64 %328))
(/.f64 %284 #s(literal 2 binary64))
(/.f64 %122 (neg.f64 %337))
(/.f64 (*.f64 #s(literal -1 binary64) %124) %208)
(/.f64 (*.f64 %124 #s(literal -1 binary64)) %208)
(/.f64 %497 %216)
(/.f64 %500 %208)
(/.f64 %503 %316)
(/.f64 %507 %326)
(/.f64 %511 %366)
(/.f64 %515 %316)
(/.f64 %518 %316)
(/.f64 %521 %326)
(/.f64 %524 %366)
(/.f64 %527 %316)
(/.f64 %416 %328)
(/.f64 %91 %337)
(/.f64 %124 %216)
(/.f64 #s(literal 1 binary64) (pow.f64 %283 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %216 %124))
(/.f64 #s(literal 1 binary64) (/.f64 %208 %110))
%283
(neg.f64 %292)
(fma.f64 %313 %238 %228)
(fma.f64 %93 %238 %228)
(fma.f64 %274 y %228)
(fma.f64 %228 #s(literal 1 binary64) %228)
(fma.f64 %83 %214 %228)
(fma.f64 %233 %11 %228)
(fma.f64 #s(literal 1/2 binary64) %283 %228)
(fma.f64 %15 %271 %228)
(fma.f64 %238 %93 %249)
(fma.f64 #s(literal -1 binary64) %255 %228)
(fma.f64 %227 x %228)
(fma.f64 %86 %257 %228)
(fma.f64 %214 %83 %228)
(fma.f64 #s(literal 1 binary64) %228 %228)
(fma.f64 %283 #s(literal 1/2 binary64) %228)
(fma.f64 %110 %259 %228)
(fma.f64 y %274 %228)
(fma.f64 %6 (*.f64 #s(literal 1/2 binary64) %227) %228)
(fma.f64 #s(literal 2 binary64) (*.f64 %11 %227) %228)
(fma.f64 #s(literal 2 binary64) (*.f64 %259 %83) %228)
(fma.f64 #s(literal 2 binary64) %265 %228)
(fma.f64 x %227 %228)
(-.f64 %228 (*.f64 %93 %214))
(-.f64 %228 (*.f64 %15 %227))
(-.f64 %228 %272)
(+.f64 %249 %249)
(+.f64 %228 %228)
reconstruct28.0ms (1.7%)
Counts
373 → 65
Compiler
Compiled 373 to 708 computations (-89.8% saved)
eval7.0ms (0.4%)
Compiler
Compiled 63 to 229 computations (-263.5% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (7 fresh and 0 done)
PrunedKeptTotal
New56763
Fresh000
Picked101
Done000
Total57764
Accuracy
100.0%
Counts
64 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶74.6%
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (*.f64 y (+.f64 x x))))
▶89.5%
(*.f64 (+.f64 y y) (/.f64 x (-.f64 x y)))
▶87.8%
(*.f64 (+.f64 x x) (/.f64 y (-.f64 x y)))
▶50.3%
(approx (/ (* (* x 2) y) (- x y)) (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 2 binary64) (/.f64 (pow.f64 y #s(literal 2 binary64)) x))))
▶53.4%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 y x)))))
▶54.0%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal 2 binary64) y))
▶47.5%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal -2 binary64) x))
Compiler
Compiled 7 to 25 computations (-257.1% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series35.0ms (2.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03851658
Stop Event
1×iter-limit
Counts
29 → 81
Calls
Call 1
Inputs
%3 = (-.f64 x y)
%5 = (*.f64 #s(literal -2 binary64) x)
%10 = (/ (* (* x 2) y) (- x y))
%12 = (pow.f64 y #s(literal 2 binary64))
%14 = (/.f64 y x)
%15 = (*.f64 #s(literal 2 binary64) y)
%17 = (/.f64 %12 x)
%18 = (*.f64 #s(literal 2 binary64) %17)
%19 = (fma.f64 #s(literal 2 binary64) y %18)
%21 = (*.f64 #s(literal 2 binary64) %14)
%22 = (+.f64 #s(literal 2 binary64) %21)
%23 = (*.f64 y %22)
%25 = (+.f64 x x)
%26 = (+.f64 y y)
%27 = (*.f64 y %25)
%28 = (/.f64 y %3)
%29 = (/.f64 x %3)
%32 = (/.f64 %3 %27)
x
#s(literal 2 binary64)
y
%3
#s(literal -2 binary64)
%5
(approx %10 %5)
%12
#s(literal 1 binary64)
%14
%15
(approx %10 %15)
%17
%18
%19
(approx %10 %19)
%21
%22
%23
(approx %10 %23)
%25
%26
%27
%28
%29
(*.f64 %26 %29)
(*.f64 %25 %28)
%32
(/.f64 #s(literal 1 binary64) %32)
Outputs
%5 = (- x y)
%7 = (*.f64 #s(literal -1 binary64) y)
%19 = (/ (* (* x 2) y) %5)
%20 = (/.f64 x y)
%26 = (pow.f64 y #s(literal 2 binary64))
%27 = (/.f64 x %26)
%30 = (/.f64 #s(literal 1 binary64) y)
%31 = (*.f64 #s(literal 2 binary64) %30)
%38 = (pow.f64 y #s(literal 3 binary64))
%39 = (/.f64 x %38)
%41 = (/.f64 #s(literal 1 binary64) %26)
%50 = (/ y x)
%51 = (/.f64 y x)
%53 = (pow y 2)
%54 = (/ %53 x)
%55 = (/.f64 %26 x)
%57 = (* 2 %54)
%58 = (*.f64 #s(literal 2 binary64) %55)
%61 = (+ (* 2 y) %57)
%62 = (*.f64 x y)
%67 = (* 2 %50)
%68 = (*.f64 #s(literal 2 binary64) %51)
%70 = (+ 2 %67)
%71 = (*.f64 #s(literal 2 binary64) y)
%75 = (+ x x)
%78 = (* y %75)
%81 = (/ y %5)
%83 = (*.f64 #s(literal -1 binary64) %20)
%88 = (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %27) %30))
%95 = (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %39) %41)) %30))
%98 = (/ x %5)
%103 = (pow.f64 y #s(literal 4 binary64))
%114 = (/ %5 %78)
%123 = (*.f64 #s(literal -1 binary64) %51)
%130 = (pow.f64 x #s(literal 2 binary64))
%131 = (/.f64 %38 %130)
%136 = (pow.f64 x #s(literal 3 binary64))
%137 = (/.f64 %103 %136)
%144 = (+.f64 #s(literal 2 binary64) %68)
%150 = (*.f64 #s(literal -1 binary64) %55)
%163 = (/.f64 %26 %130)
%176 = (/.f64 #s(literal 1 binary64) x)
%184 = (/.f64 %38 x)
%190 = (/.f64 %103 x)
%239 = (/.f64 y %130)
%240 = (*.f64 #s(literal 2 binary64) %176)
%246 = (/.f64 y %136)
%247 = (/.f64 #s(literal 1 binary64) %130)
%257 = (*.f64 y (+.f64 %176 %239))
%261 = (*.f64 y (fma.f64 y (+.f64 %247 %246) %176))
%264 = (pow.f64 x #s(literal 4 binary64))
%282 = (/.f64 %130 y)
%286 = (/.f64 %136 %26)
%291 = (/.f64 %264 %38)
%297 = (fma.f64 #s(literal 2 binary64) %176 %31)
%302 = (/.f64 %130 %26)
%332 = (/.f64 %136 y)
%333 = (*.f64 #s(literal 2 binary64) %130)
%339 = (/.f64 %264 y)
%348 = (*.f64 #s(literal -1 binary64) x)
%357 = (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %332) %130) y))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %5 (-.f64 x y))
(approx (* -2 x) (*.f64 #s(literal -2 binary64) x))
(approx %19 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) %20) #s(literal 2 binary64))))
(approx %19 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) %27) %31)) #s(literal 2 binary64))))
(approx %19 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) %39) (*.f64 #s(literal 2 binary64) %41))) %31)) #s(literal 2 binary64))))
(approx %50 %51)
(approx %54 %55)
(approx %57 %58)
(approx %61 (/.f64 (fma.f64 #s(literal 2 binary64) %62 (*.f64 #s(literal 2 binary64) %26)) x))
(approx %67 %68)
(approx %70 (/.f64 (fma.f64 #s(literal 2 binary64) x %71) x))
(approx %75 (*.f64 #s(literal 2 binary64) x))
(approx %78 (*.f64 #s(literal 2 binary64) %62))
(approx %81 #s(literal -1 binary64))
(approx %81 (-.f64 %83 #s(literal 1 binary64)))
(approx %81 (-.f64 %88 #s(literal 1 binary64)))
(approx %81 (-.f64 %95 #s(literal 1 binary64)))
(approx %98 %83)
(approx %98 %88)
(approx %98 %95)
(approx %98 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 x %103)) (/.f64 #s(literal 1 binary64) %38))) %41)) %30)))
(approx %114 (/.f64 #s(literal -1/2 binary64) x))
(approx %114 (/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %20) #s(literal 1/2 binary64)) x))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %123)))
(approx %19 %71)
(approx %19 (fma.f64 #s(literal 2 binary64) y %58))
(approx %19 (fma.f64 #s(literal 2 binary64) y (fma.f64 #s(literal 2 binary64) %55 (*.f64 #s(literal 2 binary64) %131))))
(approx %19 (fma.f64 #s(literal 2 binary64) y (fma.f64 #s(literal 2 binary64) %55 (fma.f64 #s(literal 2 binary64) %131 (*.f64 #s(literal 2 binary64) %137)))))
(approx %70 #s(literal 2 binary64))
(approx %70 %144)
(approx %81 (/.f64 (+.f64 y %55) x))
(approx %81 (/.f64 (-.f64 (+.f64 y %131) %150) x))
(approx %81 (/.f64 (-.f64 (+.f64 y %137) (fma.f64 #s(literal -1 binary64) %55 (*.f64 #s(literal -1 binary64) %131))) x))
(approx %98 #s(literal 1 binary64))
(approx %98 (+.f64 #s(literal 1 binary64) %51))
(approx %98 (-.f64 (+.f64 #s(literal 1 binary64) %163) %123))
(approx %98 (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 %38 %136)) (fma.f64 #s(literal -1 binary64) %51 (*.f64 #s(literal -1 binary64) %163))))
(approx %114 (/.f64 #s(literal 1/2 binary64) y))
(approx %114 (-.f64 (*.f64 #s(literal 1/2 binary64) %30) (*.f64 #s(literal 1/2 binary64) %176)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %51 #s(literal 1 binary64)))))
(approx %19 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) %184 (*.f64 #s(literal -2 binary64) %26)) x) %71))
(approx %19 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) %26 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) %190 (*.f64 #s(literal 2 binary64) %38)) x))) x) %71))
(approx %81 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) y %150) x)))
(approx %81 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 %184 %26) x))) x)))
(approx %81 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %190 (*.f64 #s(literal -1 binary64) %38)) x) %26) x))) x)))
(approx %98 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %150 y) x))))
(approx %98 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %184 (*.f64 #s(literal -1 binary64) %26)) x)) y) x))))
(approx y y)
(approx %5 (+.f64 x %7))
(approx %19 (*.f64 y %144))
(approx %19 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 y (fma.f64 #s(literal 2 binary64) %239 %240)))))
(approx %19 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 y (fma.f64 y (fma.f64 #s(literal 2 binary64) %246 (*.f64 #s(literal 2 binary64) %247)) %240)))))
(approx %53 %26)
(approx %81 %257)
(approx %81 %261)
(approx %81 (*.f64 y (fma.f64 y (fma.f64 y (+.f64 (/.f64 #s(literal 1 binary64) %136) (/.f64 y %264)) %247) %176)))
(approx %98 (+.f64 #s(literal 1 binary64) %257))
(approx %98 (+.f64 #s(literal 1 binary64) %261))
(approx %114 (/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) %51)) y))
(approx %5 (*.f64 y (-.f64 %20 #s(literal 1 binary64))))
(approx %19 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %282)))
(approx %19 (fma.f64 #s(literal -2 binary64) x (fma.f64 #s(literal -2 binary64) %282 (*.f64 #s(literal -2 binary64) %286))))
(approx %19 (fma.f64 #s(literal -2 binary64) x (fma.f64 #s(literal -2 binary64) %282 (fma.f64 #s(literal -2 binary64) %286 (*.f64 #s(literal -2 binary64) %291)))))
(approx %61 (*.f64 %26 %297))
(approx %70 (*.f64 y %297))
(approx %81 (-.f64 (*.f64 #s(literal -1 binary64) %302) (+.f64 #s(literal 1 binary64) %20)))
(approx %81 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %136 %38)) (+.f64 #s(literal 1 binary64) (+.f64 %20 %302))))
(approx %98 (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %282)) y))
(approx %98 (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %286)) %282) y))
(approx %98 (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %291)) (+.f64 %282 %286)) y))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) %83))))
(approx %19 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) %332 %333) y))))
(approx %19 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) %339 (*.f64 #s(literal -2 binary64) %136)) y) %333) y))))
(approx %81 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %282 %348) y)) #s(literal 1 binary64)))
(approx %81 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %357 %348) y)) #s(literal 1 binary64)))
(approx %98 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x %282) y)))
(approx %98 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x %357) y)))
(approx %98 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %339 (*.f64 #s(literal -1 binary64) %136)) y)) %130) y))) y)))
Calls
6 calls:
TimeVariablePoint
8.0ms
x
0
7.0ms
y
inf
5.0ms
y
-inf
3.0ms
y
0
3.0ms
x
inf
rewrite90.0ms (5.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
033187
054183
1195183
2796183
04204183
04569178
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
29 → 1 672
Calls
Call 1
Inputs
%3 = (-.f64 x y)
%5 = (*.f64 #s(literal -2 binary64) x)
%10 = (/ (* (* x 2) y) (- x y))
%12 = (pow.f64 y #s(literal 2 binary64))
%14 = (/.f64 y x)
%15 = (*.f64 #s(literal 2 binary64) y)
%17 = (/.f64 %12 x)
%18 = (*.f64 #s(literal 2 binary64) %17)
%19 = (fma.f64 #s(literal 2 binary64) y %18)
%21 = (*.f64 #s(literal 2 binary64) %14)
%22 = (+.f64 #s(literal 2 binary64) %21)
%23 = (*.f64 y %22)
%25 = (+.f64 x x)
%26 = (+.f64 y y)
%27 = (*.f64 y %25)
%28 = (/.f64 y %3)
%29 = (/.f64 x %3)
%32 = (/.f64 %3 %27)
x
#s(literal 2 binary64)
y
%3
#s(literal -2 binary64)
%5
(approx %10 %5)
%12
#s(literal 1 binary64)
%14
%15
(approx %10 %15)
%17
%18
%19
(approx %10 %19)
%21
%22
%23
(approx %10 %23)
%25
%26
%27
%28
%29
(*.f64 %26 %29)
(*.f64 %25 %28)
%32
(/.f64 #s(literal 1 binary64) %32)
Outputs
%3 = (-.f64 x y)
%7 = (-.f64 y x)
%8 = (/.f64 #s(literal -1 binary64) %7)
%11 = (neg.f64 y)
%12 = (neg.f64 x)
%14 = (neg.f64 %11)
%16 = (neg.f64 %12)
%17 = (neg.f64 %14)
%24 = (*.f64 #s(literal -2 binary64) x)
%29 = (+.f64 x x)
%32 = (*.f64 #s(literal 1 binary64) x)
%33 = (neg.f64 %32)
%35 = (*.f64 x #s(literal 1 binary64))
%36 = (neg.f64 %35)
%38 = (neg.f64 %16)
%45 = (/ (* (* -2 x) y) (- y x))
%46 = (approx %45 %24)
%50 = (fabs.f64 y)
%51 = (fabs.f64 %50)
%53 = (neg.f64 %50)
%58 = (*.f64 y y)
%67 = (neg.f64 %58)
%70 = (*.f64 y #s(literal 1 binary64))
%71 = (/.f64 #s(literal 1 binary64) x)
%75 = (/.f64 #s(literal -1 binary64) x)
%78 = (/.f64 y x)
%80 = (neg.f64 %70)
%93 = (/.f64 x y)
%96 = (/.f64 %11 x)
%98 = (*.f64 y #s(literal 2 binary64))
%99 = (*.f64 #s(literal 2 binary64) y)
%100 = (+.f64 y y)
%101 = (pow.f64 %100 #s(literal 1 binary64))
%103 = (/.f64 #s(literal 1 binary64) (pow.f64 %100 #s(literal -1 binary64)))
%105 = (neg.f64 (*.f64 y #s(literal -2 binary64)))
%106 = (neg.f64 %100)
%107 = (neg.f64 %106)
%108 = (*.f64 #s(literal 1 binary64) y)
%109 = (fma.f64 #s(literal 1 binary64) y %108)
%110 = (fma.f64 y #s(literal 1 binary64) %70)
%112 = (-.f64 %70 (*.f64 %11 #s(literal 1 binary64)))
%113 = (-.f64 %70 %80)
%115 = (-.f64 %108 (*.f64 #s(literal -1 binary64) y))
%117 = (-.f64 %108 (neg.f64 %108))
%118 = (-.f64 y %17)
%119 = (-.f64 y %11)
%120 = (+.f64 %70 %70)
%121 = (+.f64 %108 %108)
%122 = (+.f64 y %14)
%123 = (approx %45 %100)
%127 = (*.f64 %58 #s(literal 1 binary64))
%132 = (*.f64 y %78)
%153 = (/.f64 %67 x)
%155 = (*.f64 y %100)
%157 = (*.f64 %67 #s(literal 2 binary64))
%159 = (*.f64 %132 %12)
%160 = (-.f64 %159 %58)
%162 = (fma.f64 %132 x %58)
%164 = (*.f64 %67 %12)
%165 = (*.f64 %58 %12)
%166 = (-.f64 %164 %165)
%167 = (*.f64 x x)
%168 = (/.f64 #s(literal 1 binary64) %167)
%170 = (fma.f64 %67 x %165)
%171 = (*.f64 %12 x)
%172 = (/.f64 #s(literal 1 binary64) %171)
%174 = (*.f64 %58 x)
%175 = (-.f64 %165 %174)
%176 = (*.f64 x %12)
%177 = (/.f64 #s(literal 1 binary64) %176)
%179 = (fma.f64 %58 x %174)
%181 = (*.f64 x %67)
%182 = (-.f64 %164 %181)
%184 = (*.f64 %67 x)
%185 = (*.f64 x %58)
%186 = (-.f64 %184 %185)
%188 = (fma.f64 %58 %12 %181)
%190 = (fma.f64 %58 x %185)
%192 = (*.f64 %100 y)
%193 = (neg.f64 %192)
%197 = (/.f64 %100 x)
%198 = (*.f64 %197 y)
%202 = (*.f64 %71 #s(literal 2 binary64))
%204 = (/.f64 #s(literal 2 binary64) x)
%207 = (*.f64 %78 y)
%215 = (*.f64 %127 x)
%219 = (*.f64 x %16)
%227 = (*.f64 %16 x)
%229 = (*.f64 %58 %16)
%234 = (*.f64 %16 %12)
%242 = (*.f64 %12 %16)
%254 = (*.f64 x %127)
%266 = (*.f64 %16 %58)
%277 = (*.f64 %12 %58)
%297 = (neg.f64 %176)
%309 = (*.f64 #s(literal -2 binary64) %67)
%312 = (neg.f64 %193)
%372 = (*.f64 %132 #s(literal -2 binary64))
%377 = (*.f64 %132 #s(literal 1 binary64))
%393 = (*.f64 %75 %58)
%395 = (*.f64 %11 %78)
%403 = (/.f64 %164 %167)
%408 = (/.f64 %184 %171)
%413 = (/.f64 %165 %176)
%418 = (/.f64 %174 %167)
%425 = (fma.f64 %29 y %192)
%426 = (*.f64 %425 %71)
%427 = (fma.f64 y %78 y)
%428 = (*.f64 %427 #s(literal 2 binary64))
%429 = (fma.f64 %78 #s(literal 2 binary64) #s(literal 2 binary64))
%430 = (*.f64 %429 y)
%431 = (*.f64 y %429)
%432 = (*.f64 #s(literal 2 binary64) %427)
%433 = (pow.f64 %428 #s(literal 1 binary64))
%434 = (fma.f64 y #s(literal 2 binary64) %132)
%436 = (/.f64 (fma.f64 %434 x %127) x)
%438 = (/.f64 (fma.f64 %434 %16 %58) %16)
%440 = (/.f64 (fma.f64 %434 %12 %67) %12)
%442 = (/.f64 (fma.f64 %434 x %58) x)
%443 = (*.f64 y %12)
%444 = (-.f64 %443 %58)
%446 = (/.f64 (fma.f64 %427 %12 %444) %12)
%447 = (fma.f64 y x %58)
%449 = (/.f64 (fma.f64 %427 x %447) x)
%451 = (/.f64 (fma.f64 %29 y %155) x)
%453 = (/.f64 (fma.f64 %24 y %193) %12)
%455 = (/.f64 (fma.f64 %24 y %157) %12)
%457 = (/.f64 (fma.f64 %24 y %160) %12)
%459 = (/.f64 (fma.f64 %29 y %162) x)
%461 = (/.f64 (fma.f64 %100 %167 %166) %167)
%463 = (/.f64 (fma.f64 %100 %171 %170) %171)
%465 = (/.f64 (fma.f64 %100 %176 %175) %176)
%467 = (/.f64 (fma.f64 %100 %167 %179) %167)
%469 = (/.f64 (fma.f64 %100 %167 %182) %167)
%471 = (/.f64 (fma.f64 %100 %171 %186) %171)
%473 = (/.f64 (fma.f64 %100 %176 %188) %176)
%475 = (/.f64 (fma.f64 %100 %167 %190) %167)
%476 = (*.f64 %24 y)
%478 = (/.f64 (-.f64 %476 %309) %12)
%480 = (/.f64 (-.f64 %476 %192) %12)
%483 = (/.f64 (fma.f64 %444 %12 (*.f64 %444 %12)) %167)
%486 = (/.f64 (fma.f64 %444 x (*.f64 %447 %12)) %171)
%489 = (/.f64 (fma.f64 %447 %12 (*.f64 %444 x)) %176)
%492 = (/.f64 (fma.f64 %447 x (*.f64 %447 x)) %167)
%494 = (/.f64 (+.f64 %444 %444) %12)
%496 = (/.f64 (+.f64 %447 %447) x)
%499 = (/.f64 (fma.f64 %444 %12 (*.f64 %12 %444)) %167)
%502 = (/.f64 (fma.f64 %444 x (*.f64 %12 %447)) %171)
%505 = (/.f64 (fma.f64 %447 %12 (*.f64 x %444)) %176)
%508 = (/.f64 (fma.f64 %447 x (*.f64 x %447)) %167)
%510 = (/.f64 (neg.f64 %425) %12)
%511 = (/.f64 %425 x)
%513 = (/.f64 #s(literal 1 binary64) (/.f64 x %425))
%515 = (/.f64 #s(literal 1 binary64) (pow.f64 %428 #s(literal -1 binary64)))
%517 = (neg.f64 (*.f64 %427 #s(literal -2 binary64)))
%518 = (fma.f64 %78 #s(literal -2 binary64) #s(literal -2 binary64))
%520 = (neg.f64 (*.f64 y %518))
%522 = (neg.f64 (fma.f64 #s(literal 2 binary64) %11 %372))
%523 = (fma.f64 %197 y y)
%525 = (neg.f64 (-.f64 %11 %523))
%526 = (*.f64 %11 #s(literal 2 binary64))
%528 = (neg.f64 (-.f64 %526 %198))
%529 = (*.f64 #s(literal -2 binary64) y)
%531 = (neg.f64 (-.f64 %529 %198))
%533 = (neg.f64 (-.f64 %106 %198))
%534 = (*.f64 %11 %197)
%536 = (neg.f64 (-.f64 %534 %100))
%537 = (*.f64 %78 #s(literal -2 binary64))
%538 = (*.f64 %537 y)
%540 = (neg.f64 (-.f64 %538 %100))
%541 = (neg.f64 %523)
%543 = (neg.f64 (-.f64 %541 y))
%545 = (neg.f64 (neg.f64 %428))
%546 = (fma.f64 y %78 %100)
%547 = (fma.f64 %127 %71 %546)
%548 = (*.f64 %14 #s(literal 2 binary64))
%549 = (fma.f64 %155 %71 %548)
%550 = (neg.f64 %526)
%551 = (fma.f64 %155 %71 %550)
%552 = (*.f64 #s(literal -2 binary64) %11)
%553 = (fma.f64 %155 %71 %552)
%554 = (fma.f64 %155 %71 %100)
%555 = (fma.f64 %157 %75 %548)
%556 = (fma.f64 %157 %75 %550)
%557 = (fma.f64 %157 %75 %552)
%558 = (fma.f64 %157 %75 %100)
%559 = (fma.f64 %160 %75 %548)
%560 = (fma.f64 %160 %75 %550)
%561 = (fma.f64 %160 %75 %552)
%562 = (fma.f64 %160 %75 %100)
%563 = (fma.f64 %162 %71 %548)
%564 = (fma.f64 %162 %71 %550)
%565 = (fma.f64 %162 %71 %552)
%566 = (fma.f64 %162 %71 %100)
%567 = (fma.f64 %444 %75 %427)
%568 = (fma.f64 %447 %71 %427)
%569 = (fma.f64 %166 %168 %548)
%570 = (fma.f64 %166 %168 %550)
%571 = (fma.f64 %166 %168 %552)
%572 = (fma.f64 %166 %168 %100)
%573 = (fma.f64 %170 %172 %548)
%574 = (fma.f64 %170 %172 %550)
%575 = (fma.f64 %170 %172 %552)
%576 = (fma.f64 %170 %172 %100)
%577 = (fma.f64 %175 %177 %548)
%578 = (fma.f64 %175 %177 %550)
%579 = (fma.f64 %175 %177 %552)
%580 = (fma.f64 %175 %177 %100)
%581 = (fma.f64 %179 %168 %548)
%582 = (fma.f64 %179 %168 %550)
%583 = (fma.f64 %179 %168 %552)
%584 = (fma.f64 %179 %168 %100)
%585 = (fma.f64 %182 %168 %548)
%586 = (fma.f64 %182 %168 %550)
%587 = (fma.f64 %182 %168 %552)
%588 = (fma.f64 %182 %168 %100)
%589 = (fma.f64 %186 %172 %548)
%590 = (fma.f64 %186 %172 %550)
%591 = (fma.f64 %186 %172 %552)
%592 = (fma.f64 %186 %172 %100)
%593 = (fma.f64 %188 %177 %548)
%594 = (fma.f64 %188 %177 %550)
%595 = (fma.f64 %188 %177 %552)
%596 = (fma.f64 %188 %177 %100)
%597 = (fma.f64 %190 %168 %548)
%598 = (fma.f64 %190 %168 %550)
%599 = (fma.f64 %190 %168 %552)
%600 = (fma.f64 %190 %168 %100)
%601 = (fma.f64 %193 %75 %548)
%602 = (fma.f64 %193 %75 %550)
%603 = (fma.f64 %193 %75 %552)
%604 = (fma.f64 %193 %75 %100)
%605 = (fma.f64 %192 %71 %548)
%606 = (fma.f64 %192 %71 %550)
%607 = (fma.f64 %192 %71 %552)
%608 = (fma.f64 %192 %71 %100)
%609 = (fma.f64 %71 %192 %548)
%610 = (fma.f64 %71 %192 %550)
%611 = (fma.f64 %71 %192 %552)
%612 = (fma.f64 %71 %192 %100)
%613 = (fma.f64 %71 %58 %546)
%614 = (fma.f64 %67 %75 %546)
%615 = (fma.f64 %197 y %548)
%616 = (fma.f64 %197 y %550)
%617 = (fma.f64 %197 y %552)
%618 = (fma.f64 %197 y %100)
%619 = (fma.f64 %132 #s(literal 2 binary64) %548)
%620 = (fma.f64 %132 #s(literal 2 binary64) %550)
%621 = (fma.f64 %132 #s(literal 2 binary64) %552)
%622 = (fma.f64 %132 #s(literal 2 binary64) %100)
%623 = (fma.f64 %100 %78 %548)
%624 = (fma.f64 %100 %78 %550)
%625 = (fma.f64 %100 %78 %552)
%626 = (fma.f64 %100 %78 %100)
%627 = (fma.f64 %78 %100 %548)
%628 = (fma.f64 %78 %100 %550)
%629 = (fma.f64 %78 %100 %552)
%630 = (fma.f64 %78 %100 %100)
%631 = (fma.f64 %58 %202 %548)
%632 = (fma.f64 %58 %202 %550)
%633 = (fma.f64 %58 %202 %552)
%634 = (fma.f64 %58 %202 %100)
%635 = (fma.f64 %58 %204 %548)
%636 = (fma.f64 %58 %204 %550)
%637 = (fma.f64 %58 %204 %552)
%638 = (fma.f64 %58 %204 %100)
%639 = (fma.f64 %58 %71 %546)
%640 = (fma.f64 y %197 %548)
%641 = (fma.f64 y %197 %550)
%642 = (fma.f64 y %197 %552)
%643 = (fma.f64 y %197 %100)
%644 = (fma.f64 y %78 %546)
%645 = (*.f64 %14 %197)
%646 = (fma.f64 y #s(literal 2 binary64) %645)
%647 = (*.f64 %309 %71)
%648 = (fma.f64 y #s(literal 2 binary64) %647)
%649 = (*.f64 %153 #s(literal -2 binary64))
%650 = (fma.f64 y #s(literal 2 binary64) %649)
%651 = (*.f64 #s(literal -2 binary64) %153)
%652 = (fma.f64 y #s(literal 2 binary64) %651)
%653 = (neg.f64 %534)
%654 = (fma.f64 y #s(literal 2 binary64) %653)
%655 = (neg.f64 %538)
%656 = (fma.f64 y #s(literal 2 binary64) %655)
%657 = (fma.f64 y #s(literal 2 binary64) %198)
%658 = (fma.f64 #s(literal 2 binary64) %207 %548)
%659 = (fma.f64 #s(literal 2 binary64) %207 %550)
%660 = (fma.f64 #s(literal 2 binary64) %207 %552)
%661 = (fma.f64 #s(literal 2 binary64) %207 %100)
%662 = (fma.f64 #s(literal 2 binary64) %132 %548)
%663 = (fma.f64 #s(literal 2 binary64) %132 %550)
%664 = (fma.f64 #s(literal 2 binary64) %132 %552)
%665 = (fma.f64 #s(literal 2 binary64) %132 %100)
%666 = (fma.f64 #s(literal 2 binary64) y %645)
%667 = (fma.f64 #s(literal 2 binary64) y %647)
%668 = (fma.f64 #s(literal 2 binary64) y %649)
%669 = (fma.f64 #s(literal 2 binary64) y %651)
%670 = (fma.f64 #s(literal 2 binary64) y %653)
%671 = (fma.f64 #s(literal 2 binary64) y %655)
%672 = (fma.f64 #s(literal 2 binary64) y %198)
%673 = (-.f64 %434 %393)
%674 = (-.f64 %434 %395)
%675 = (-.f64 %434 %153)
%676 = (-.f64 %523 %11)
%678 = (-.f64 %427 (neg.f64 %427))
%679 = (-.f64 %198 %526)
%680 = (-.f64 %198 %529)
%681 = (-.f64 %198 %106)
%683 = (-.f64 %132 (neg.f64 %546))
%685 = (-.f64 %100 (*.f64 %75 %192))
%687 = (-.f64 %100 (*.f64 %106 %78))
%689 = (-.f64 %100 (*.f64 %96 %100))
%691 = (-.f64 %100 (*.f64 %67 %202))
%693 = (-.f64 %100 (*.f64 %67 %204))
%695 = (-.f64 %100 (*.f64 #s(literal -2 binary64) %207))
%696 = (-.f64 %100 %534)
%697 = (-.f64 %100 %538)
%698 = (-.f64 %100 %372)
%699 = (-.f64 y %541)
%700 = (+.f64 %434 %132)
%701 = (+.f64 %523 %14)
%702 = (+.f64 %523 y)
%703 = (*.f64 %29 y)
%705 = (+.f64 (/.f64 %703 x) %198)
%706 = (+.f64 %427 %427)
%707 = (+.f64 %198 %548)
%708 = (+.f64 %198 %550)
%709 = (+.f64 %198 %552)
%710 = (+.f64 %198 %100)
%711 = (+.f64 %132 %546)
%712 = (+.f64 %100 %645)
%713 = (+.f64 %100 %647)
%714 = (+.f64 %100 %649)
%715 = (+.f64 %100 %651)
%716 = (+.f64 %100 %653)
%717 = (+.f64 %100 %655)
%718 = (+.f64 %100 %198)
%720 = (+.f64 y (neg.f64 %541))
%722 = (+.f64 y (+.f64 y %198))
%723 = (approx %45 %428)
%724 = (pow.f64 %723 #s(literal 1 binary64))
%726 = (/.f64 #s(literal 1 binary64) (pow.f64 %723 #s(literal -1 binary64)))
%727 = (/.f64 %29 x)
%729 = (*.f64 y x)
%730 = (/.f64 %729 x)
%734 = (*.f64 %78 %12)
%735 = (-.f64 %734 y)
%737 = (fma.f64 %78 x y)
%739 = (*.f64 %11 %12)
%740 = (-.f64 %739 %443)
%742 = (fma.f64 %11 x %443)
%762 = (*.f64 %70 x)
%765 = (*.f64 %14 x)
%768 = (*.f64 %11 x)
%801 = (*.f64 x %70)
%804 = (*.f64 x %14)
%817 = (*.f64 %16 %11)
%820 = (*.f64 %16 y)
%895 = (*.f64 %78 #s(literal 1 binary64))
%899 = (/.f64 %729 %167)
%902 = (*.f64 %12 y)
%913 = (*.f64 %75 y)
%915 = (*.f64 %14 %75)
%923 = (/.f64 %739 %167)
%924 = (*.f64 %12 %11)
%928 = (/.f64 %768 %171)
%933 = (/.f64 %443 %176)
%938 = (/.f64 %108 x)
%942 = (-.f64 %78 #s(literal -1 binary64))
%944 = (fma.f64 #s(literal 2 binary64) x %100)
%947 = (fma.f64 %78 #s(literal 2 binary64) #s(literal 1 binary64))
%950 = (+.f64 #s(literal 2 binary64) %78)
%977 = (*.f64 #s(literal 2 binary64) %12)
%998 = (-.f64 %78 #s(literal -2 binary64))
%1029 = (+.f64 #s(literal 1 binary64) %197)
%1056 = (/.f64 #s(literal 1/2 binary64) x)
%1078 = (/.f64 %1056 y)
%1083 = (neg.f64 %443)
%1107 = (/.f64 #s(literal -1/2 binary64) %7)
%1108 = (/.f64 #s(literal 1 binary64) y)
%1109 = (/.f64 #s(literal 2 binary64) %1108)
%1112 = (/.f64 #s(literal -2 binary64) %7)
%1113 = (/.f64 #s(literal 1/2 binary64) %1108)
%1116 = (/.f64 #s(literal 1 binary64) %1108)
%1119 = (/.f64 #s(literal -1 binary64) %3)
%1121 = (/.f64 y %3)
%1124 = (/.f64 %3 y)
%1128 = (*.f64 #s(literal 2 binary64) %3)
%1136 = (*.f64 #s(literal 2 binary64) %7)
%1139 = (/.f64 %7 y)
%1149 = (/.f64 y %7)
%1158 = (/.f64 #s(literal 0 binary64) %1124)
%1168 = (/.f64 #s(literal 1/2 binary64) %1124)
%1176 = (/.f64 x %3)
%1189 = (/.f64 %3 x)
%1193 = (/.f64 x %7)
%1195 = (/.f64 #s(literal 1 binary64) %71)
%1196 = (/.f64 #s(literal 1/2 binary64) y)
%1197 = (/.f64 %8 %1196)
%1198 = (*.f64 %1195 %1197)
%1199 = (/.f64 #s(literal 2 binary64) y)
%1200 = (/.f64 #s(literal 1 binary64) %1199)
%1201 = (/.f64 #s(literal 1/2 binary64) %29)
%1202 = (/.f64 %8 %1201)
%1203 = (*.f64 %1200 %1202)
%1204 = (/.f64 #s(literal 1 binary64) %204)
%1205 = (/.f64 #s(literal 1/2 binary64) %100)
%1206 = (/.f64 %8 %1205)
%1207 = (*.f64 %1204 %1206)
%1208 = (/.f64 #s(literal 2 binary64) %71)
%1209 = (/.f64 %1107 %1196)
%1210 = (*.f64 %1208 %1209)
%1211 = (/.f64 #s(literal 2 binary64) %1199)
%1212 = (/.f64 %1107 %1201)
%1213 = (*.f64 %1211 %1212)
%1214 = (/.f64 #s(literal 2 binary64) %204)
%1215 = (/.f64 %1107 %1205)
%1216 = (*.f64 %1214 %1215)
%1217 = (/.f64 #s(literal -2 binary64) %3)
%1218 = (neg.f64 %1056)
%1219 = (/.f64 %1218 y)
%1220 = (/.f64 #s(literal 1/2 binary64) %1219)
%1221 = (*.f64 %1217 %1220)
%1222 = (/.f64 #s(literal 2 binary64) %1124)
%1223 = (/.f64 #s(literal 1/2 binary64) %1056)
%1224 = (*.f64 %1222 %1223)
%1225 = (/.f64 #s(literal 2 binary64) %1078)
%1226 = (*.f64 %1225 %1107)
%1227 = (/.f64 #s(literal 2 binary64) %7)
%1228 = (*.f64 %1227 %1220)
%1229 = (/.f64 #s(literal -1/2 binary64) %1078)
%1230 = (*.f64 %1227 %1229)
%1231 = (/.f64 #s(literal 1/2 binary64) %7)
%1232 = (/.f64 #s(literal 2 binary64) %1219)
%1233 = (*.f64 %1231 %1232)
%1234 = (/.f64 #s(literal 2 binary64) %1056)
%1235 = (*.f64 %1168 %1234)
%1236 = (*.f64 %1121 #s(literal 2 binary64))
%1237 = (*.f64 %1236 x)
%1238 = (*.f64 #s(literal 1 binary64) %29)
%1239 = (*.f64 %1238 %1121)
%1240 = (*.f64 %1176 #s(literal 2 binary64))
%1241 = (*.f64 %1240 y)
%1242 = (*.f64 %8 %29)
%1243 = (*.f64 %1242 y)
%1244 = (*.f64 %703 #s(literal 1 binary64))
%1245 = (*.f64 %1244 %8)
%1246 = (*.f64 #s(literal 1 binary64) %476)
%1247 = (*.f64 %1246 %1119)
%1248 = (*.f64 #s(literal 1 binary64) %703)
%1249 = (*.f64 %1248 %8)
%1250 = (*.f64 %1107 %1225)
%1251 = (*.f64 %1121 x)
%1252 = (*.f64 %1251 #s(literal 2 binary64))
%1253 = (*.f64 %1176 y)
%1254 = (*.f64 %1253 #s(literal 2 binary64))
%1255 = (/.f64 #s(literal -1 binary64) %1078)
%1256 = (*.f64 %1119 %1255)
%1257 = (*.f64 %1119 %476)
%1258 = (*.f64 #s(literal 1/2 binary64) %703)
%1259 = (*.f64 %1258 %1112)
%1260 = (/.f64 x %1108)
%1261 = (*.f64 %1112 %1260)
%1262 = (*.f64 %1112 %1258)
%1263 = (/.f64 #s(literal 1/2 binary64) %703)
%1264 = (/.f64 %8 %1263)
%1265 = (*.f64 #s(literal 1/2 binary64) %1264)
%1266 = (/.f64 #s(literal -1 binary64) %1219)
%1267 = (*.f64 %8 %1266)
%1268 = (*.f64 %8 %703)
%1269 = (*.f64 %476 %1119)
%1270 = (/.f64 %703 %7)
%1271 = (*.f64 #s(literal -1 binary64) %1270)
%1272 = (*.f64 %1176 %1109)
%1273 = (*.f64 %1176 %100)
%1274 = (*.f64 %1121 %29)
%1275 = (*.f64 %703 %8)
%1276 = (*.f64 %29 %1121)
%1277 = (*.f64 %100 %1176)
%1278 = (/.f64 %1107 %1263)
%1279 = (*.f64 #s(literal 1 binary64) %1278)
%1280 = (*.f64 #s(literal 1 binary64) %1273)
%1281 = (*.f64 %1273 #s(literal 1 binary64))
%1282 = (*.f64 y %1242)
%1283 = (*.f64 #s(literal 2 binary64) %1176)
%1284 = (*.f64 y %1283)
%1285 = (/.f64 %29 %3)
%1286 = (*.f64 y %1285)
%1287 = (/.f64 %1107 %1078)
%1288 = (*.f64 #s(literal 2 binary64) %1287)
%1289 = (*.f64 #s(literal 1/2 binary64) %1273)
%1290 = (*.f64 #s(literal 2 binary64) %1289)
%1291 = (*.f64 x %1121)
%1292 = (*.f64 #s(literal 2 binary64) %1291)
%1293 = (*.f64 y %1176)
%1294 = (*.f64 #s(literal 2 binary64) %1293)
%1295 = (*.f64 #s(literal 2 binary64) %1121)
%1296 = (*.f64 x %1295)
%1297 = (*.f64 %8 %100)
%1298 = (*.f64 x %1297)
%1299 = (/.f64 %100 %3)
%1300 = (*.f64 x %1299)
%1301 = (/.f64 %3 %703)
%1302 = (pow.f64 %1301 #s(literal -1 binary64))
%1303 = (pow.f64 %1273 #s(literal 1 binary64))
%1304 = (/.f64 %729 %3)
%1306 = (/.f64 (fma.f64 %1304 %3 %729) %3)
%1309 = (*.f64 %3 %3)
%1310 = (/.f64 (fma.f64 %729 %3 (*.f64 %729 %3)) %1309)
%1313 = (/.f64 (fma.f64 %729 %3 (*.f64 %3 %729)) %1309)
%1315 = (*.f64 %7 #s(literal 2 binary64))
%1316 = (/.f64 (*.f64 %476 #s(literal 2 binary64)) %1315)
%1318 = (/.f64 (*.f64 #s(literal 2 binary64) %1244) %1128)
%1320 = (/.f64 (*.f64 #s(literal 2 binary64) %1246) %1136)
%1322 = (/.f64 (*.f64 #s(literal 2 binary64) %1248) %1128)
%1324 = (*.f64 %3 #s(literal 2 binary64))
%1325 = (/.f64 (*.f64 %1244 #s(literal 2 binary64)) %1324)
%1327 = (/.f64 (*.f64 %1246 #s(literal 2 binary64)) %1315)
%1329 = (/.f64 (*.f64 %1248 #s(literal 2 binary64)) %1324)
%1332 = (/.f64 (*.f64 %8 #s(literal 2 binary64)) (*.f64 %1078 #s(literal 2 binary64)))
%1334 = (/.f64 (*.f64 %703 #s(literal 2 binary64)) %1324)
%1337 = (/.f64 (*.f64 %29 #s(literal 2 binary64)) (*.f64 %1124 #s(literal 2 binary64)))
%1340 = (/.f64 (*.f64 #s(literal 2 binary64) %29) (*.f64 #s(literal 2 binary64) %1124))
%1342 = (/.f64 (*.f64 #s(literal 2 binary64) %476) %1136)
%1344 = (/.f64 (*.f64 #s(literal 2 binary64) %703) %1128)
%1346 = (/.f64 (neg.f64 %1244) %7)
%1348 = (/.f64 (neg.f64 %1246) %3)
%1349 = (/.f64 %1244 %3)
%1350 = (/.f64 %1246 %7)
%1351 = (/.f64 %1248 %3)
%1352 = (/.f64 %1119 %1219)
%1354 = (/.f64 %1112 (*.f64 #s(literal 2 binary64) %1078))
%1357 = (*.f64 (*.f64 %729 %729) #s(literal 4 binary64))
%1358 = (*.f64 %476 y)
%1359 = (fma.f64 x %703 %1358)
%1360 = (/.f64 %1357 %1359)
%1361 = (/.f64 %8 %1078)
%1362 = (/.f64 %476 %7)
%1363 = (/.f64 %7 %703)
%1364 = (/.f64 #s(literal -1 binary64) %1363)
%1365 = (*.f64 %3 #s(literal 1 binary64))
%1366 = (/.f64 %703 %1365)
%1367 = (/.f64 #s(literal 1 binary64) %100)
%1368 = (*.f64 %1367 %703)
%1369 = (-.f64 %1368 y)
%1370 = (/.f64 %703 %1369)
%1371 = (/.f64 %703 %3)
%1372 = (/.f64 %29 %1124)
%1373 = (/.f64 %100 %1189)
%1375 = (/.f64 #s(literal 1 binary64) (/.f64 %3 %1244))
%1377 = (/.f64 #s(literal 1 binary64) (/.f64 %7 %1246))
%1379 = (/.f64 #s(literal 1 binary64) (/.f64 %3 %1248))
%1381 = (/.f64 #s(literal 1 binary64) (/.f64 %1078 %8))
%1383 = (/.f64 #s(literal 1 binary64) (pow.f64 %1273 #s(literal -1 binary64)))
%1385 = (/.f64 #s(literal 1 binary64) (/.f64 %1363 #s(literal -1 binary64)))
%1387 = (/.f64 #s(literal 1 binary64) (/.f64 %1301 #s(literal 1 binary64)))
%1388 = (/.f64 #s(literal 1 binary64) %1301)
%1389 = (/.f64 %24 %1139)
%1391 = (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %1363))
%1393 = (/.f64 #s(literal -2 binary64) (*.f64 %1363 #s(literal 2 binary64)))
%1394 = (/.f64 %3 %29)
%1395 = (/.f64 y %1394)
%1397 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %1301))
%1399 = (/.f64 #s(literal 2 binary64) (*.f64 %1301 #s(literal 2 binary64)))
%1400 = (/.f64 %1124 x)
%1401 = (/.f64 #s(literal 2 binary64) %1400)
%1402 = (*.f64 %1124 #s(literal 1/2 binary64))
%1403 = (/.f64 x %1402)
%1405 = (neg.f64 (*.f64 %1238 %1149))
%1407 = (neg.f64 (*.f64 %1248 %1119))
%1409 = (neg.f64 (*.f64 %1251 #s(literal -2 binary64)))
%1411 = (neg.f64 (*.f64 %1253 #s(literal -2 binary64)))
%1413 = (neg.f64 (*.f64 %1176 %106))
%1415 = (neg.f64 (*.f64 %1121 %24))
%1417 = (neg.f64 (*.f64 %29 %1149))
%1419 = (neg.f64 (*.f64 %100 %1193))
%1421 = (neg.f64 (*.f64 %1273 #s(literal -1 binary64)))
%1423 = (neg.f64 (/.f64 %1119 %1078))
%1425 = (neg.f64 (/.f64 %1244 %7))
%1427 = (neg.f64 (/.f64 %1246 %3))
%1429 = (neg.f64 (/.f64 %1248 %7))
%1430 = (neg.f64 %1270)
%1431 = (/.f64 #s(literal 0 binary64) %1301)
%1432 = (fma.f64 %1195 %1197 %1431)
%1433 = (fma.f64 %1200 %1202 %1431)
%1434 = (fma.f64 %1204 %1206 %1431)
%1435 = (fma.f64 %1208 %1209 %1431)
%1436 = (fma.f64 %1211 %1212 %1431)
%1437 = (fma.f64 %1214 %1215 %1431)
%1438 = (fma.f64 %1217 %1220 %1431)
%1439 = (fma.f64 %1222 %1223 %1431)
%1440 = (fma.f64 %1225 %1107 %1431)
%1441 = (fma.f64 %1227 %1220 %1431)
%1442 = (fma.f64 %1227 %1229 %1431)
%1443 = (fma.f64 %1231 %1232 %1431)
%1444 = (fma.f64 %1168 %1234 %1431)
%1445 = (fma.f64 %1236 x %1431)
%1446 = (fma.f64 %1238 %1121 %1431)
%1447 = (fma.f64 %1240 y %1431)
%1448 = (fma.f64 %1242 y %1431)
%1449 = (fma.f64 %1244 %8 %1431)
%1450 = (fma.f64 %1246 %1119 %1431)
%1451 = (fma.f64 %1248 %8 %1431)
%1452 = (fma.f64 %1107 %1225 %1431)
%1453 = (fma.f64 %1251 #s(literal 2 binary64) %1431)
%1454 = (fma.f64 %1253 #s(literal 2 binary64) %1431)
%1455 = (fma.f64 %1119 %1255 %1431)
%1456 = (fma.f64 %1119 %476 %1431)
%1457 = (fma.f64 %1258 %1112 %1431)
%1458 = (fma.f64 %1112 %1260 %1431)
%1459 = (fma.f64 %1112 %1258 %1431)
%1460 = (fma.f64 #s(literal 1/2 binary64) %1264 %1431)
%1461 = (fma.f64 #s(literal 1/2 binary64) %1273 %1289)
%1462 = (fma.f64 %729 %8 %1304)
%1463 = (fma.f64 %8 %1266 %1431)
%1464 = (*.f64 %8 %729)
%1465 = (fma.f64 %8 %729 %1464)
%1466 = (fma.f64 %8 %703 %1431)
%1467 = (fma.f64 %476 %1119 %1431)
%1468 = (fma.f64 #s(literal -1 binary64) %1270 %1431)
%1469 = (fma.f64 %1176 %1109 %1431)
%1470 = (fma.f64 %1176 %100 %1431)
%1471 = (fma.f64 %1176 y %1253)
%1472 = (fma.f64 %1121 %29 %1431)
%1473 = (fma.f64 %1121 x %1251)
%1474 = (fma.f64 %703 %8 %1431)
%1475 = (fma.f64 %29 %1121 %1431)
%1476 = (fma.f64 %100 %1176 %1431)
%1477 = (fma.f64 #s(literal 1 binary64) %1278 %1431)
%1478 = (fma.f64 #s(literal 1 binary64) %1273 %1431)
%1479 = (fma.f64 %1273 #s(literal 1 binary64) %1431)
%1480 = (fma.f64 y %1242 %1431)
%1481 = (fma.f64 y %1283 %1431)
%1482 = (fma.f64 y %1285 %1431)
%1483 = (fma.f64 y %1176 %1293)
%1484 = (fma.f64 #s(literal 2 binary64) %1287 %1431)
%1485 = (fma.f64 #s(literal 2 binary64) %1289 %1431)
%1486 = (fma.f64 #s(literal 2 binary64) %1291 %1431)
%1487 = (fma.f64 #s(literal 2 binary64) %1293 %1431)
%1488 = (fma.f64 x %1295 %1431)
%1489 = (fma.f64 x %1297 %1431)
%1490 = (fma.f64 x %1299 %1431)
%1491 = (fma.f64 x %1121 %1291)
%1492 = (/.f64 x %1124)
%1494 = (-.f64 %1492 (/.f64 %12 %1124))
%1496 = (-.f64 %1464 (*.f64 %1119 %729))
%1498 = (-.f64 %1464 (neg.f64 %1464))
%1500 = (-.f64 %1251 (*.f64 %1149 x))
%1502 = (-.f64 %1251 (neg.f64 %1251))
%1504 = (-.f64 %1253 (*.f64 %1193 y))
%1506 = (-.f64 %1253 (neg.f64 %1253))
%1508 = (-.f64 %1291 (*.f64 %12 %1121))
%1510 = (-.f64 %1291 (neg.f64 %1291))
%1512 = (-.f64 %1293 (*.f64 %11 %1176))
%1514 = (-.f64 %1293 (neg.f64 %1293))
%1516 = (-.f64 %1304 (*.f64 %443 %8))
%1518 = (-.f64 %1304 (neg.f64 %1304))
%1520 = (-.f64 %1304 (/.f64 %902 %3))
%1522 = (-.f64 %1304 (/.f64 %768 %3))
%1524 = (-.f64 %1304 (/.f64 %443 %3))
%1525 = (/.f64 %35 %1124)
%1526 = (+.f64 %1525 %1525)
%1527 = (/.f64 %32 %1124)
%1528 = (+.f64 %1527 %1527)
%1530 = (+.f64 %1492 (/.f64 %16 %1124))
%1531 = (+.f64 %1492 %1492)
%1532 = (+.f64 %1289 %1289)
%1533 = (+.f64 %1464 %1464)
%1534 = (+.f64 %1251 %1251)
%1535 = (+.f64 %1253 %1253)
%1536 = (+.f64 %1291 %1291)
%1537 = (+.f64 %1293 %1293)
%1538 = (+.f64 %1304 %1304)
%1539 = (+.f64 %1273 %1431)
%1544 = (/.f64 %3 #s(literal 2 binary64))
%1566 = (/.f64 y %29)
%1580 = (*.f64 %100 %703)
%1584 = (*.f64 %476 %703)
%1589 = (/.f64 x %29)
%1591 = (*.f64 y %703)
%1593 = (*.f64 %100 %11)
%1597 = (*.f64 %29 %703)
%1599 = (*.f64 %476 %11)
%1602 = (*.f64 %703 %11)
%1679 = (*.f64 %703 y)
x
#s(literal 2 binary64)
y
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %8)
(neg.f64 %7)
(-.f64 %11 %12)
(-.f64 x %14)
%3
(+.f64 %16 %17)
(+.f64 %11 %16)
(+.f64 %11 x)
(+.f64 x %17)
(+.f64 x %11)
#s(literal -2 binary64)
%24
(*.f64 x #s(literal -2 binary64))
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(neg.f64 %29)
(-.f64 %12 x)
(+.f64 %33 %33)
(+.f64 %36 %36)
(+.f64 %12 %38)
(+.f64 %12 %12)
(pow.f64 %46 #s(literal 1 binary64))
%46
(/.f64 #s(literal 1 binary64) (pow.f64 %46 #s(literal -1 binary64)))
(*.f64 %51 %51)
(*.f64 %53 %53)
(*.f64 %14 %14)
(*.f64 %50 %50)
(*.f64 %11 %11)
%58
(pow.f64 %50 #s(literal 2 binary64))
(pow.f64 %11 #s(literal 2 binary64))
(pow.f64 %58 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %58 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(neg.f64 %67)
(fabs.f64 %58)
#s(literal 1 binary64)
(*.f64 %70 %71)
(*.f64 %14 %71)
(*.f64 %71 y)
(*.f64 %11 %75)
(*.f64 y %71)
(pow.f64 %78 #s(literal 1 binary64))
(/.f64 %80 %12)
(/.f64 %17 %38)
(/.f64 %70 x)
(/.f64 %14 %16)
(/.f64 %14 x)
(/.f64 %11 %12)
(/.f64 #s(literal 1 binary64) (/.f64 x %70))
(/.f64 #s(literal 1 binary64) (/.f64 %16 %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %78 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %93)
(/.f64 y %16)
%78
(neg.f64 %96)
%98
%99
%101
%103
%105
%107
%109
%110
%112
%113
%115
%117
%118
%119
%120
%121
%122
%100
(pow.f64 %123 #s(literal 1 binary64))
%123
(/.f64 #s(literal 1 binary64) (pow.f64 %123 #s(literal -1 binary64)))
(*.f64 %127 %71)
(*.f64 %71 %58)
(*.f64 %67 %75)
(*.f64 %58 %71)
%132
(pow.f64 %132 #s(literal 1 binary64))
(/.f64 (neg.f64 %127) %12)
(/.f64 %127 x)
(/.f64 %67 %38)
(/.f64 %67 %12)
(/.f64 #s(literal 1 binary64) (/.f64 x %127))
(/.f64 #s(literal 1 binary64) (/.f64 %16 %58))
(/.f64 #s(literal 1 binary64) (pow.f64 %132 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %67))
(/.f64 #s(literal 1 binary64) (/.f64 x %58))
(/.f64 %58 %16)
(/.f64 %58 x)
(neg.f64 (*.f64 y %96))
(neg.f64 %153)
(*.f64 %155 %71)
(*.f64 %157 %75)
(*.f64 %160 %75)
(*.f64 %162 %71)
(*.f64 %166 %168)
(*.f64 %170 %172)
(*.f64 %175 %177)
(*.f64 %179 %168)
(*.f64 %182 %168)
(*.f64 %186 %172)
(*.f64 %188 %177)
(*.f64 %190 %168)
(*.f64 %193 %75)
(*.f64 %192 %71)
(*.f64 %71 %192)
%198
(*.f64 %132 #s(literal 2 binary64))
(*.f64 %100 %78)
(*.f64 %78 %100)
(*.f64 %58 %202)
(*.f64 %58 %204)
(*.f64 y %197)
(*.f64 #s(literal 2 binary64) %207)
(*.f64 #s(literal 2 binary64) %132)
(pow.f64 %198 #s(literal 1 binary64))
(/.f64 (fma.f64 %132 x %127) x)
(/.f64 (fma.f64 %132 %16 %58) %16)
(/.f64 (fma.f64 %127 x %215) %167)
(/.f64 (fma.f64 %127 %16 %174) %219)
(/.f64 (fma.f64 %127 %12 %184) %176)
(/.f64 (fma.f64 %127 x %174) %167)
(/.f64 (fma.f64 %58 x (*.f64 %127 %16)) %227)
(/.f64 (fma.f64 %58 %16 %229) %167)
(/.f64 (fma.f64 %58 %12 (*.f64 %67 %16)) %234)
(/.f64 (fma.f64 %58 x %229) %227)
(/.f64 (fma.f64 %67 x (*.f64 %127 %12)) %171)
(/.f64 (fma.f64 %67 %16 %165) %242)
(/.f64 (fma.f64 %58 x %215) %167)
(/.f64 (fma.f64 %58 %16 %174) %219)
(/.f64 (fma.f64 %58 #s(literal 1 binary64) %127) x)
(/.f64 (fma.f64 y y %127) x)
(/.f64 (fma.f64 %58 #s(literal 1 binary64) %58) x)
(/.f64 (fma.f64 %127 x %254) %167)
(/.f64 (fma.f64 %127 %16 %185) %219)
(/.f64 (fma.f64 %127 %12 %181) %176)
(/.f64 (fma.f64 %127 x %185) %167)
(/.f64 (fma.f64 %58 x (*.f64 %16 %127)) %227)
(/.f64 (fma.f64 %58 %16 %266) %167)
(/.f64 (fma.f64 %58 %12 (*.f64 %16 %67)) %234)
(/.f64 (fma.f64 %58 x %266) %227)
(/.f64 (fma.f64 %67 x (*.f64 %12 %127)) %171)
(/.f64 (fma.f64 %67 %16 %277) %242)
(/.f64 (fma.f64 %58 x %254) %167)
(/.f64 (fma.f64 %58 %16 %185) %219)
(/.f64 (neg.f64 %155) %12)
(/.f64 (neg.f64 %157) %16)
(/.f64 (neg.f64 %160) %16)
(/.f64 (neg.f64 %162) %12)
(/.f64 (neg.f64 %166) %176)
(/.f64 (neg.f64 %170) %167)
(/.f64 (neg.f64 %175) %297)
(/.f64 (neg.f64 %179) %176)
(/.f64 (neg.f64 %182) %176)
(/.f64 (neg.f64 %186) %167)
(/.f64 (neg.f64 %188) %297)
(/.f64 (neg.f64 %190) %176)
(/.f64 (neg.f64 %309) %12)
(/.f64 %312 %16)
(/.f64 %312 x)
(/.f64 %155 x)
(/.f64 %309 %16)
(/.f64 %309 x)
(/.f64 (*.f64 #s(literal -2 binary64) %58) %12)
(/.f64 %157 %12)
(/.f64 %160 %12)
(/.f64 %162 x)
(/.f64 %166 %167)
(/.f64 %170 %171)
(/.f64 %175 %176)
(/.f64 %179 %167)
(/.f64 %182 %167)
(/.f64 %186 %171)
(/.f64 %188 %176)
(/.f64 %190 %167)
(/.f64 %193 %12)
(/.f64 %192 %16)
(/.f64 %192 x)
(/.f64 #s(literal 1 binary64) (/.f64 x %155))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %157))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %160))
(/.f64 #s(literal 1 binary64) (/.f64 x %162))
(/.f64 #s(literal 1 binary64) (/.f64 %167 %166))
(/.f64 #s(literal 1 binary64) (/.f64 %171 %170))
(/.f64 #s(literal 1 binary64) (/.f64 %176 %175))
(/.f64 #s(literal 1 binary64) (/.f64 %167 %179))
(/.f64 #s(literal 1 binary64) (/.f64 %167 %182))
(/.f64 #s(literal 1 binary64) (/.f64 %171 %186))
(/.f64 #s(literal 1 binary64) (/.f64 %176 %188))
(/.f64 #s(literal 1 binary64) (/.f64 %167 %190))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %193))
(/.f64 #s(literal 1 binary64) (pow.f64 %198 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %192))
(neg.f64 (*.f64 %100 %96))
(neg.f64 (*.f64 %78 %106))
(neg.f64 (/.f64 %157 x))
(neg.f64 (/.f64 %160 x))
(neg.f64 %372)
(fma.f64 %127 %71 %132)
(fma.f64 %71 %58 %132)
(fma.f64 %67 %75 %132)
(fma.f64 %132 #s(literal 1 binary64) %377)
(fma.f64 %78 y %207)
(fma.f64 #s(literal 1 binary64) %132 %377)
(fma.f64 %58 %71 %132)
(fma.f64 y %78 %132)
(-.f64 %377 (*.f64 %153 #s(literal 1 binary64)))
(-.f64 %377 (*.f64 #s(literal -1 binary64) %132))
(-.f64 %377 (neg.f64 %377))
(-.f64 %207 (*.f64 %96 y))
(-.f64 %207 (neg.f64 %207))
(-.f64 %132 %393)
(-.f64 %132 %395)
(-.f64 %132 %153)
(+.f64 (/.f64 %159 %12) %132)
(+.f64 (/.f64 (*.f64 %132 x) x) %132)
(+.f64 %403 (/.f64 (*.f64 %12 %67) %167))
(+.f64 %403 %403)
(+.f64 %408 (/.f64 %165 %171))
(+.f64 %408 (/.f64 %277 %171))
(+.f64 %413 (/.f64 %184 %176))
(+.f64 %413 (/.f64 %181 %176))
(+.f64 %418 (/.f64 %185 %167))
(+.f64 %418 %418)
(+.f64 %377 %377)
(+.f64 %207 %207)
(+.f64 %132 %132)
%426
%428
%430
%431
%432
%433
%436
%438
%440
%442
%446
%449
%451
%453
%455
%457
%459
%461
%463
%465
%467
%469
%471
%473
%475
%478
%480
%483
%486
%489
%492
%494
%496
%499
%502
%505
%508
%510
%511
%513
%515
%517
%520
%522
%525
%528
%531
%533
%536
%540
%543
%545
%547
%549
%551
%553
%554
%555
%556
%557
%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
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%646
%648
%650
%652
%654
%656
%657
%658
%659
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%678
%679
%680
%681
%683
%685
%687
%689
%691
%693
%695
%696
%697
%698
%699
%700
%701
%702
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%720
%722
%724
%723
%726
(*.f64 %727 %78)
(*.f64 %730 %204)
(*.f64 %204 %730)
(*.f64 %526 %75)
(*.f64 %735 %75)
(*.f64 %737 %71)
(*.f64 %740 %168)
(*.f64 %742 %172)
(*.f64 %106 %75)
(*.f64 %71 %100)
(*.f64 %476 %172)
(*.f64 %476 %177)
(*.f64 %703 %168)
(*.f64 %197 #s(literal 1 binary64))
(*.f64 %100 %71)
(*.f64 %78 %727)
(*.f64 %78 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %197)
(*.f64 y %202)
(*.f64 y %204)
(*.f64 #s(literal 2 binary64) %78)
(pow.f64 %197 #s(literal 1 binary64))
(/.f64 (fma.f64 %78 x %70) x)
(/.f64 (fma.f64 %78 %16 %14) %16)
(/.f64 (fma.f64 %70 x %762) %167)
(/.f64 (fma.f64 %70 %16 %765) %219)
(/.f64 (fma.f64 %70 %12 %768) %176)
(/.f64 (fma.f64 %14 x (*.f64 %70 %16)) %227)
(/.f64 (fma.f64 %14 %16 (*.f64 %14 %16)) %167)
(/.f64 (fma.f64 %14 %12 (*.f64 %11 %16)) %234)
(/.f64 (fma.f64 %14 x (*.f64 y %16)) %227)
(/.f64 (fma.f64 %11 x (*.f64 %70 %12)) %171)
(/.f64 (fma.f64 %11 %16 (*.f64 %14 %12)) %242)
(/.f64 (fma.f64 y x %762) %167)
(/.f64 (fma.f64 y %16 %765) %219)
(/.f64 (+.f64 y %70) x)
(/.f64 (+.f64 %14 %14) %16)
(/.f64 (fma.f64 y #s(literal 1 binary64) y) x)
(/.f64 (-.f64 %70 %11) x)
(/.f64 (fma.f64 %70 x %801) %167)
(/.f64 (fma.f64 %70 %16 %804) %219)
(/.f64 (fma.f64 %70 %12 %443) %176)
(/.f64 (fma.f64 %70 x %729) %167)
(/.f64 (fma.f64 %14 x (*.f64 %16 %70)) %227)
(/.f64 (fma.f64 %14 %16 (*.f64 %16 %14)) %167)
(/.f64 (fma.f64 %14 %12 %817) %234)
(/.f64 (fma.f64 %14 x %820) %227)
(/.f64 (fma.f64 %11 x (*.f64 %12 %70)) %171)
(/.f64 (fma.f64 %11 %16 (*.f64 %12 %14)) %242)
(/.f64 (fma.f64 y x %801) %167)
(/.f64 (fma.f64 y %16 %804) %219)
(/.f64 (-.f64 %762 %443) %167)
(/.f64 (-.f64 %765 %817) %227)
(/.f64 (neg.f64 %552) %12)
(/.f64 %550 %16)
(/.f64 (neg.f64 %735) %16)
(/.f64 (neg.f64 %737) %12)
(/.f64 (neg.f64 %740) %176)
(/.f64 (neg.f64 %742) %167)
(/.f64 %552 %16)
(/.f64 %552 x)
(/.f64 %526 %12)
(/.f64 %529 %12)
(/.f64 %735 %12)
(/.f64 %737 x)
(/.f64 %740 %167)
(/.f64 %742 %171)
(/.f64 %106 %12)
(/.f64 %476 %171)
(/.f64 %476 %176)
(/.f64 %703 %297)
(/.f64 %703 %167)
(/.f64 %100 %16)
%197
(/.f64 #s(literal 1 binary64) (/.f64 %12 %526))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %735))
(/.f64 #s(literal 1 binary64) (/.f64 x %737))
(/.f64 #s(literal 1 binary64) (/.f64 %167 %740))
(/.f64 #s(literal 1 binary64) (/.f64 %171 %742))
(/.f64 #s(literal 1 binary64) (/.f64 %176 %476))
(/.f64 #s(literal 1 binary64) (/.f64 %171 %476))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %106))
(/.f64 #s(literal 1 binary64) (/.f64 %167 %703))
(/.f64 #s(literal 1 binary64) (pow.f64 %197 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %100))
(neg.f64 (*.f64 %71 %106))
(neg.f64 (/.f64 %526 x))
(neg.f64 (/.f64 %735 x))
(neg.f64 %537)
(fma.f64 %70 %71 %78)
(fma.f64 %14 %71 %78)
(fma.f64 %71 y %78)
(fma.f64 %11 %75 %78)
(fma.f64 %78 #s(literal 1 binary64) %895)
(fma.f64 #s(literal 1 binary64) %78 %895)
(fma.f64 y %71 %78)
(-.f64 %899 (/.f64 %443 %167))
(-.f64 %899 (/.f64 %902 %167))
(-.f64 %899 (/.f64 %768 %167))
(-.f64 %895 (*.f64 %96 #s(literal 1 binary64)))
(-.f64 %895 (*.f64 #s(literal -1 binary64) %78))
(-.f64 %895 (neg.f64 %895))
(-.f64 %78 %913)
(-.f64 %78 %915)
(-.f64 %78 %96)
(+.f64 (/.f64 %734 %12) %78)
(+.f64 (/.f64 (*.f64 %78 x) x) %78)
(+.f64 %923 (/.f64 %924 %167))
(+.f64 %923 %923)
(+.f64 %928 (/.f64 %443 %171))
(+.f64 %928 (/.f64 %902 %171))
(+.f64 %933 (/.f64 %768 %176))
(+.f64 %933 %933)
(+.f64 %899 %899)
(+.f64 %938 %938)
(+.f64 %895 %895)
(+.f64 %78 %78)
(*.f64 %942 #s(literal 2 binary64))
(*.f64 %944 %71)
(pow.f64 %429 #s(literal 1 binary64))
(/.f64 (fma.f64 %947 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %950 x %70) x)
(/.f64 (fma.f64 %950 %16 %14) %16)
(/.f64 (fma.f64 %950 %12 %11) %12)
(/.f64 (fma.f64 %950 x y) x)
(/.f64 (fma.f64 #s(literal 2 binary64) %12 %526) %12)
(/.f64 (fma.f64 #s(literal 2 binary64) %12 %735) %12)
(/.f64 (fma.f64 #s(literal 2 binary64) x %737) x)
(/.f64 (fma.f64 #s(literal 2 binary64) %167 %740) %167)
(/.f64 (fma.f64 #s(literal 2 binary64) %171 %742) %171)
(/.f64 (fma.f64 #s(literal 2 binary64) %176 %476) %176)
(/.f64 (fma.f64 #s(literal 2 binary64) %171 %476) %171)
(/.f64 (fma.f64 #s(literal 2 binary64) %12 %106) %12)
(/.f64 (fma.f64 #s(literal 2 binary64) %167 %703) %167)
(/.f64 (-.f64 %977 %552) %12)
(/.f64 (-.f64 %977 %100) %12)
(/.f64 (neg.f64 %944) %12)
(/.f64 %944 x)
(/.f64 #s(literal 1 binary64) (/.f64 x %944))
(/.f64 #s(literal 1 binary64) (pow.f64 %429 #s(literal -1 binary64)))
(neg.f64 (*.f64 %942 #s(literal -2 binary64)))
(neg.f64 (+.f64 #s(literal -2 binary64) %537))
(neg.f64 (-.f64 #s(literal -2 binary64) %197))
(neg.f64 %518)
(fma.f64 %727 %78 #s(literal 2 binary64))
(fma.f64 %730 %204 #s(literal 2 binary64))
(fma.f64 %70 %71 %998)
(fma.f64 %204 %730 #s(literal 2 binary64))
(fma.f64 %526 %75 #s(literal 2 binary64))
(fma.f64 %735 %75 #s(literal 2 binary64))
(fma.f64 %737 %71 #s(literal 2 binary64))
(fma.f64 %740 %168 #s(literal 2 binary64))
(fma.f64 %742 %172 #s(literal 2 binary64))
(fma.f64 %14 %71 %998)
(fma.f64 %106 %75 #s(literal 2 binary64))
(fma.f64 %71 %100 #s(literal 2 binary64))
(fma.f64 %71 y %998)
(fma.f64 %476 %172 #s(literal 2 binary64))
(fma.f64 %476 %177 #s(literal 2 binary64))
(fma.f64 %11 %75 %998)
(fma.f64 %703 %168 #s(literal 2 binary64))
(fma.f64 %197 #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 %100 %71 #s(literal 2 binary64))
(fma.f64 %78 %727 #s(literal 2 binary64))
%429
(fma.f64 #s(literal 1 binary64) %197 #s(literal 2 binary64))
(fma.f64 y %202 #s(literal 2 binary64))
(fma.f64 y %204 #s(literal 2 binary64))
(fma.f64 y %71 %998)
(fma.f64 #s(literal 2 binary64) %78 #s(literal 2 binary64))
(-.f64 %947 #s(literal -1 binary64))
(-.f64 %950 %913)
(-.f64 %950 %915)
(-.f64 %950 %96)
(-.f64 %197 #s(literal -2 binary64))
(-.f64 %78 (neg.f64 %998))
(-.f64 #s(literal 1 binary64) (neg.f64 %1029))
(-.f64 #s(literal 2 binary64) (*.f64 %75 %100))
(-.f64 #s(literal 2 binary64) (*.f64 %11 %202))
(-.f64 #s(literal 2 binary64) (*.f64 %11 %204))
(-.f64 #s(literal 2 binary64) %537)
(+.f64 %727 %197)
(+.f64 %947 #s(literal 1 binary64))
(+.f64 %950 %78)
(+.f64 %197 #s(literal 2 binary64))
(+.f64 %78 %998)
(+.f64 #s(literal 1 binary64) %1029)
(+.f64 #s(literal 2 binary64) (*.f64 %552 %71))
(+.f64 #s(literal 2 binary64) (*.f64 %96 #s(literal -2 binary64)))
(+.f64 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %96))
(+.f64 #s(literal 2 binary64) %197)
%426
%428
%430
%431
%432
%433
%436
%438
%440
%442
%446
%449
%451
%453
%455
%457
%459
%461
%463
%465
%467
%469
%471
%473
%475
%478
%480
%483
%486
%489
%492
%494
%496
%499
%502
%505
%508
%510
%511
%513
%515
%517
%520
%522
%525
%528
%531
%533
%536
%540
%543
%545
%547
%549
%551
%553
%554
%555
%556
%557
%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
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%646
%648
%650
%652
%654
%656
%657
%658
%659
%660
%661
%662
%663
%664
%665
%666
%667
%668
%669
%670
%671
%672
%673
%674
%675
%676
%678
%679
%680
%681
%683
%685
%687
%689
%691
%693
%695
%696
%697
%698
%699
%700
%701
%702
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%720
%722
%724
%723
%726
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %29 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %1056)
(neg.f64 %24)
(fma.f64 #s(literal 1 binary64) x %32)
(fma.f64 x #s(literal 1 binary64) %35)
(-.f64 %35 (*.f64 %12 #s(literal 1 binary64)))
(-.f64 %35 %36)
(-.f64 %32 %33)
(-.f64 %32 (*.f64 #s(literal -1 binary64) x))
(-.f64 x %38)
(-.f64 x %12)
(+.f64 %35 %35)
(+.f64 %32 %32)
(+.f64 x %16)
%29
%98
%99
%101
%103
%105
%107
%109
%110
%112
%113
%115
%117
%118
%119
%120
%121
%122
%100
(*.f64 %729 #s(literal 2 binary64))
%703
(*.f64 %100 x)
(*.f64 y %29)
(*.f64 #s(literal 2 binary64) %729)
(*.f64 x %100)
(pow.f64 %703 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %1078)
(neg.f64 (*.f64 %729 #s(literal -2 binary64)))
(neg.f64 %476)
(fma.f64 y x %1083)
(fma.f64 y x %820)
(fma.f64 y x %765)
(fma.f64 y x %924)
(fma.f64 y x %739)
(fma.f64 y x %729)
(fma.f64 x y %1083)
(fma.f64 x y %820)
(fma.f64 x y %765)
(fma.f64 x y %924)
(fma.f64 x y %739)
(fma.f64 x y %729)
(-.f64 %729 %902)
(-.f64 %729 %768)
(-.f64 %729 %443)
(+.f64 %1083 %1083)
(+.f64 %729 %1083)
(+.f64 %729 %820)
(+.f64 %729 %765)
(+.f64 %729 %924)
(+.f64 %729 %739)
(+.f64 %729 %729)
(*.f64 %1107 %1109)
(*.f64 %70 %8)
(*.f64 %1112 %1113)
(*.f64 %14 %8)
(*.f64 %8 %1116)
(*.f64 %8 y)
(*.f64 %11 %1119)
(*.f64 #s(literal 1 binary64) %1121)
(*.f64 y %8)
(pow.f64 %1124 #s(literal -1 binary64))
(pow.f64 %1121 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %70) %1128)
(/.f64 (*.f64 #s(literal 2 binary64) %14) %1128)
(/.f64 %80 %7)
(/.f64 %17 %7)
(/.f64 %70 %3)
(/.f64 %14 %3)
(/.f64 %106 %1136)
(/.f64 %11 %7)
(/.f64 #s(literal -1 binary64) %1139)
(/.f64 %100 %1128)
(/.f64 #s(literal 1 binary64) (/.f64 %3 %70))
(/.f64 #s(literal 1 binary64) (/.f64 %1124 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %1121 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %1124)
%1121
(neg.f64 (*.f64 #s(literal 1 binary64) %1149))
(neg.f64 (/.f64 #s(literal -1 binary64) %1124))
(neg.f64 (/.f64 %70 %7))
(neg.f64 %1149)
(fma.f64 %1107 %1109 %1158)
(fma.f64 %70 %8 %1158)
(fma.f64 %1112 %1113 %1158)
(fma.f64 %14 %8 %1158)
(fma.f64 %8 %1116 %1158)
(fma.f64 %8 y %1158)
(fma.f64 %11 %1119 %1158)
(fma.f64 #s(literal 1 binary64) %1121 %1158)
(fma.f64 y %8 %1158)
(+.f64 %1168 %1168)
(+.f64 %1121 %1158)
(*.f64 %35 %8)
(*.f64 %16 %8)
(*.f64 %8 x)
(*.f64 %12 %1119)
(*.f64 x %8)
(pow.f64 %1176 #s(literal 1 binary64))
(/.f64 %36 %7)
(/.f64 %38 %7)
(/.f64 %35 %3)
(/.f64 %16 %3)
(/.f64 %12 %7)
(/.f64 #s(literal 1 binary64) (/.f64 %3 %35))
(/.f64 #s(literal 1 binary64) (/.f64 %3 %16))
(/.f64 #s(literal 1 binary64) (pow.f64 %1176 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %1189)
%1176
(neg.f64 (/.f64 %35 %7))
(neg.f64 %1193)
%1198
%1203
%1207
%1210
%1213
%1216
%1221
%1224
%1226
%1228
%1230
%1233
%1235
%1237
%1239
%1241
%1243
%1245
%1247
%1249
%1250
%1252
%1254
%1256
%1257
%1259
%1261
%1262
%1265
%1267
%1268
%1269
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1279
%1280
%1281
%1282
%1284
%1286
%1288
%1290
%1292
%1294
%1296
%1298
%1300
%1302
%1303
%1306
%1310
%1313
%1316
%1318
%1320
%1322
%1325
%1327
%1329
%1332
%1334
%1337
%1340
%1342
%1344
%1346
%1348
%1349
%1350
%1351
%1352
%1354
%1360
%1361
%1362
%1364
%1366
%1370
%1371
%1372
%1373
%1375
%1377
%1379
%1381
%1383
%1385
%1387
%1388
%1389
%1391
%1393
%1395
%1397
%1399
%1401
%1403
%1405
%1407
%1409
%1411
%1413
%1415
%1417
%1419
%1421
%1423
%1425
%1427
%1429
%1430
%1432
%1433
%1434
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1442
%1443
%1444
%1445
%1446
%1447
%1448
%1449
%1450
%1451
%1452
%1453
%1454
%1455
%1456
%1457
%1458
%1459
%1460
%1461
%1462
%1463
%1465
%1466
%1467
%1468
%1469
%1470
%1471
%1472
%1473
%1474
%1475
%1476
%1477
%1478
%1479
%1480
%1481
%1482
%1483
%1484
%1485
%1486
%1487
%1488
%1489
%1490
%1491
%1494
%1496
%1498
%1500
%1502
%1504
%1506
%1508
%1510
%1512
%1514
%1516
%1518
%1520
%1522
%1524
%1526
%1528
%1530
%1531
%1532
%1533
%1534
%1535
%1536
%1537
%1538
%1539
%1198
%1203
%1207
%1210
%1213
%1216
%1221
%1224
%1226
%1228
%1230
%1233
%1235
%1237
%1239
%1241
%1243
%1245
%1247
%1249
%1250
%1252
%1254
%1256
%1257
%1259
%1261
%1262
%1265
%1267
%1268
%1269
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1279
%1280
%1281
%1282
%1284
%1286
%1288
%1290
%1292
%1294
%1296
%1298
%1300
%1302
%1303
%1306
%1310
%1313
%1316
%1318
%1320
%1322
%1325
%1327
%1329
%1332
%1334
%1337
%1340
%1342
%1344
%1346
%1348
%1349
%1350
%1351
%1352
%1354
%1360
%1361
%1362
%1364
%1366
%1370
%1371
%1372
%1373
%1375
%1377
%1379
%1381
%1383
%1385
%1387
%1388
%1389
%1391
%1393
%1395
%1397
%1399
%1401
%1403
%1405
%1407
%1409
%1411
%1413
%1415
%1417
%1419
%1421
%1423
%1425
%1427
%1429
%1430
%1432
%1433
%1434
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1442
%1443
%1444
%1445
%1446
%1447
%1448
%1449
%1450
%1451
%1452
%1453
%1454
%1455
%1456
%1457
%1458
%1459
%1460
%1461
%1462
%1463
%1465
%1466
%1467
%1468
%1469
%1470
%1471
%1472
%1473
%1474
%1475
%1476
%1477
%1478
%1479
%1480
%1481
%1482
%1483
%1484
%1485
%1486
%1487
%1488
%1489
%1490
%1491
%1494
%1496
%1498
%1500
%1502
%1504
%1506
%1508
%1510
%1512
%1514
%1516
%1518
%1520
%1522
%1524
%1526
%1528
%1530
%1531
%1532
%1533
%1534
%1535
%1536
%1537
%1538
%1539
(*.f64 (/.f64 %3 %729) #s(literal 1/2 binary64))
(*.f64 (/.f64 %3 %100) %71)
(*.f64 %1544 (/.f64 #s(literal 1 binary64) %729))
(*.f64 %1544 (/.f64 %1108 x))
(*.f64 %1365 %1078)
(*.f64 %1402 %71)
(*.f64 %1400 #s(literal 1/2 binary64))
(*.f64 %1394 %1108)
(*.f64 %1189 (/.f64 %1108 #s(literal 2 binary64)))
(*.f64 %1189 %1367)
(*.f64 %1369 %1078)
(*.f64 %1359 (/.f64 #s(literal 1 binary64) %1357))
(*.f64 %1139 %1218)
(*.f64 %1124 %1056)
(*.f64 %1078 %3)
(*.f64 %7 %1219)
(*.f64 %3 %1078)
(pow.f64 %1301 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %1367 y) %1566) y)
(/.f64 (-.f64 (*.f64 %1367 %29) #s(literal 1 binary64)) %29)
(/.f64 (-.f64 (*.f64 %1367 %476) %11) %476)
(/.f64 (-.f64 (*.f64 %1367 %100) %78) %100)
(/.f64 (fma.f64 #s(literal 1 binary64) %703 (*.f64 %11 %100)) %1580)
(/.f64 (fma.f64 %12 %703 (*.f64 %11 %476)) %1584)
(/.f64 (fma.f64 x %703 (*.f64 %11 %703)) %1357)
(/.f64 (fma.f64 %1589 %703 %67) %1591)
(/.f64 (fma.f64 #s(literal 1 binary64) %703 %1593) %1580)
(/.f64 (fma.f64 %93 %703 %476) %1597)
(/.f64 (fma.f64 %12 %703 %1599) %1584)
(/.f64 (fma.f64 x %703 %1602) %1357)
(/.f64 (-.f64 (*.f64 %1589 y) (*.f64 y %1566)) %58)
(/.f64 (-.f64 (*.f64 %1589 %29) %70) %703)
(/.f64 (-.f64 (*.f64 %1589 %476) %67) (*.f64 y %476))
(/.f64 (-.f64 (*.f64 %1589 %100) %132) %155)
(/.f64 (-.f64 (*.f64 %1589 %703) %58) %1591)
(/.f64 (-.f64 %108 (*.f64 %100 %1566)) %192)
(/.f64 (-.f64 %1238 (*.f64 %100 #s(literal 1 binary64))) (*.f64 %100 %29))
(/.f64 (-.f64 %1246 %1593) (*.f64 %100 %476))
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %100) %198) (*.f64 %100 %100))
(/.f64 (-.f64 %1248 %192) %1580)
(/.f64 (-.f64 (*.f64 %93 y) (*.f64 %29 %1566)) %703)
(/.f64 (-.f64 (*.f64 %93 %29) (*.f64 %29 #s(literal 1 binary64))) (*.f64 %29 %29))
(/.f64 (-.f64 (*.f64 %93 %476) %476) (*.f64 %29 %476))
(/.f64 (-.f64 (*.f64 %93 %100) (*.f64 %29 %78)) (*.f64 %29 %100))
(/.f64 (-.f64 (*.f64 %93 %703) %703) %1597)
(/.f64 (-.f64 %902 (*.f64 %476 %1566)) %1358)
(/.f64 (-.f64 (*.f64 %12 %29) (*.f64 %476 #s(literal 1 binary64))) (*.f64 %476 %29))
(/.f64 (-.f64 (*.f64 %12 %476) %1599) %1357)
(/.f64 (-.f64 %476 (*.f64 %476 %78)) (*.f64 %476 %100))
(/.f64 (-.f64 (*.f64 %12 %703) %1358) %1584)
(/.f64 (-.f64 %729 (*.f64 %703 %1566)) %1679)
(/.f64 (-.f64 (*.f64 x %29) %1244) (*.f64 %703 %29))
(/.f64 (-.f64 (*.f64 x %476) %1602) (*.f64 %703 %476))
(/.f64 (-.f64 %703 (*.f64 %703 %78)) (*.f64 %703 %100))
(/.f64 (*.f64 %7 #s(literal 1 binary64)) %476)
(/.f64 (neg.f64 %1365) %476)
(/.f64 (neg.f64 %1402) %12)
(/.f64 (neg.f64 %1400) #s(literal -2 binary64))
(/.f64 (neg.f64 %1394) %11)
(/.f64 (neg.f64 %1189) %106)
(/.f64 (neg.f64 %1369) %476)
(/.f64 (neg.f64 %1359) (neg.f64 %1357))
(/.f64 %1365 %703)
(/.f64 %1402 x)
(/.f64 %1400 #s(literal 2 binary64))
(/.f64 %1394 y)
(/.f64 %1189 %100)
(/.f64 %1369 %703)
(/.f64 %1359 %1357)
(/.f64 %1139 %24)
(/.f64 %1124 %29)
(/.f64 %7 %476)
(/.f64 #s(literal 1 binary64) %1273)
%1301
(neg.f64 (*.f64 %1078 %7))
(neg.f64 %1363)
(fma.f64 %1589 %1108 %1218)
(fma.f64 %93 %1056 %1218)
(fma.f64 %11 %1078 %1367)
(fma.f64 %12 %1219 %1218)
(fma.f64 #s(literal 1 binary64) %1367 %1218)
(fma.f64 x %1078 %1218)
(-.f64 (/.f64 %1368 %703) %1056)
(-.f64 (/.f64 (*.f64 x %703) %1357) (/.f64 %1679 %1357))
(-.f64 %1218 (/.f64 x %476))
(-.f64 %1367 %1056)
(+.f64 %1218 %1367)
(+.f64 %1367 %1218)
%1198
%1203
%1207
%1210
%1213
%1216
%1221
%1224
%1226
%1228
%1230
%1233
%1235
%1237
%1239
%1241
%1243
%1245
%1247
%1249
%1250
%1252
%1254
%1256
%1257
%1259
%1261
%1262
%1265
%1267
%1268
%1269
%1271
%1272
%1273
%1274
%1275
%1276
%1277
%1279
%1280
%1281
%1282
%1284
%1286
%1288
%1290
%1292
%1294
%1296
%1298
%1300
%1302
%1303
%1306
%1310
%1313
%1316
%1318
%1320
%1322
%1325
%1327
%1329
%1332
%1334
%1337
%1340
%1342
%1344
%1346
%1348
%1349
%1350
%1351
%1352
%1354
%1360
%1361
%1362
%1364
%1366
%1370
%1371
%1372
%1373
%1375
%1377
%1379
%1381
%1383
%1385
%1387
%1388
%1389
%1391
%1393
%1395
%1397
%1399
%1401
%1403
%1405
%1407
%1409
%1411
%1413
%1415
%1417
%1419
%1421
%1423
%1425
%1427
%1429
%1430
%1432
%1433
%1434
%1435
%1436
%1437
%1438
%1439
%1440
%1441
%1442
%1443
%1444
%1445
%1446
%1447
%1448
%1449
%1450
%1451
%1452
%1453
%1454
%1455
%1456
%1457
%1458
%1459
%1460
%1461
%1462
%1463
%1465
%1466
%1467
%1468
%1469
%1470
%1471
%1472
%1473
%1474
%1475
%1476
%1477
%1478
%1479
%1480
%1481
%1482
%1483
%1484
%1485
%1486
%1487
%1488
%1489
%1490
%1491
%1494
%1496
%1498
%1500
%1502
%1504
%1506
%1508
%1510
%1512
%1514
%1516
%1518
%1520
%1522
%1524
%1526
%1528
%1530
%1531
%1532
%1533
%1534
%1535
%1536
%1537
%1538
%1539
reconstruct133.0ms (7.9%)
Counts
1 753 → 416
Compiler
Compiled 1 753 to 1 990 computations (-13.5% saved)
eval24.0ms (1.4%)
Compiler
Compiled 284 to 903 computations (-218.0% saved)
prune4.0ms (0.2%)
Pruning
8 alts after pruning (5 fresh and 3 done)
PrunedKeptTotal
New2795284
Fresh000
Picked437
Done000
Total2838291
Accuracy
100.0%
Counts
291 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶88.5%
(/.f64 y (/.f64 (-.f64 x y) (+.f64 x x)))
▶86.1%
(/.f64 #s(literal 2 binary64) (/.f64 (/.f64 (-.f64 x y) y) x))
▶47.4%
(/.f64 #s(literal 1 binary64) (approx (/ (- x y) (* y (+ x x))) (/.f64 #s(literal -1/2 binary64) x)))
✓89.5%
(*.f64 (+.f64 y y) (/.f64 x (-.f64 x y)))
✓87.8%
(*.f64 (+.f64 x x) (/.f64 y (-.f64 x y)))
▶54.0%
(approx (/ (* (* x 2) y) (- x y)) (+.f64 y y))
▶53.4%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal 2 binary64) (fma.f64 y (/.f64 y x) y)))
✓47.5%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal -2 binary64) x))
Compiler
Compiled 8 to 24 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series11.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02491055
Stop Event
1×iter-limit
Counts
21 → 60
Calls
Call 1
Inputs
%3 = (-.f64 x y)
%5 = (/.f64 y x)
%6 = (+.f64 x x)
%7 = (+.f64 y y)
%9 = (/.f64 #s(literal -1/2 binary64) x)
%10 = (- x y)
%14 = (approx (/ %10 (* y (+ x x))) %9)
%15 = (fma.f64 y %5 y)
%16 = (*.f64 #s(literal 2 binary64) %15)
%17 = (/.f64 %3 y)
%18 = (/.f64 %3 %6)
%20 = (/.f64 %17 x)
%26 = (/ (* (* x 2) y) %10)
x
#s(literal 2 binary64)
y
%3
#s(literal 1 binary64)
%5
%6
%7
#s(literal -1/2 binary64)
%9
%14
%15
%16
%17
%18
(/.f64 y %18)
%20
(/.f64 #s(literal 2 binary64) %20)
(/.f64 #s(literal 1 binary64) %14)
(approx %26 %16)
(approx %26 %7)
Outputs
%5 = (- x y)
%7 = (*.f64 #s(literal -1 binary64) y)
%11 = (/ y x)
%12 = (/.f64 y x)
%14 = (+ x x)
%24 = (/ %5 (* y %14))
%26 = (/.f64 x y)
%32 = (+ (* y %11) y)
%33 = (pow.f64 y #s(literal 2 binary64))
%34 = (/.f64 %33 x)
%40 = (* 2 %32)
%41 = (*.f64 #s(literal 2 binary64) %34)
%48 = (/ %5 y)
%51 = (-.f64 %26 #s(literal 1 binary64))
%53 = (/ %5 %14)
%54 = (*.f64 #s(literal -1/2 binary64) %12)
%60 = (/ y %53)
%70 = (/.f64 #s(literal 1 binary64) y)
%71 = (*.f64 #s(literal 2 binary64) %70)
%78 = (pow.f64 y #s(literal 3 binary64))
%90 = (/ %48 x)
%96 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %12))
%101 = (*.f64 #s(literal 1/2 binary64) %70)
%102 = (/.f64 #s(literal 1 binary64) x)
%103 = (*.f64 #s(literal 1/2 binary64) %102)
%104 = (-.f64 %101 %103)
%109 = (*.f64 #s(literal 2 binary64) y)
%114 = (-.f64 %70 %102)
%118 = (+.f64 #s(literal 1/2 binary64) %54)
%120 = (pow.f64 x #s(literal 2 binary64))
%121 = (/.f64 %78 %120)
%127 = (pow.f64 y #s(literal 4 binary64))
%128 = (pow.f64 x #s(literal 3 binary64))
%160 = (+.f64 x %7)
%174 = (*.f64 #s(literal 2 binary64) %102)
%201 = (/.f64 %120 y)
%205 = (/.f64 %128 %33)
%210 = (pow.f64 x #s(literal 4 binary64))
%227 = (*.f64 #s(literal 2 binary64) %120)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %5 (-.f64 x y))
(approx %11 %12)
(approx %14 (*.f64 #s(literal 2 binary64) x))
(approx (/ -1/2 x) (/.f64 #s(literal -1/2 binary64) x))
(approx %24 (/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %26) #s(literal 1/2 binary64)) x))
(approx %32 %34)
(approx %32 (/.f64 (fma.f64 x y %33) x))
(approx %40 %41)
(approx %40 (/.f64 (fma.f64 #s(literal 2 binary64) (*.f64 x y) (*.f64 #s(literal 2 binary64) %33)) x))
(approx %48 #s(literal -1 binary64))
(approx %48 %51)
(approx %53 %54)
(approx %53 (/.f64 (fma.f64 #s(literal -1/2 binary64) y (*.f64 #s(literal 1/2 binary64) x)) x))
(approx %60 (*.f64 #s(literal -2 binary64) x))
(approx %60 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) %26) #s(literal 2 binary64))))
(approx %60 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 x %33)) %71)) #s(literal 2 binary64))))
(approx %60 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 x %78)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) %33)))) %71)) #s(literal 2 binary64))))
(approx %90 (/.f64 #s(literal -1 binary64) x))
(approx %90 (/.f64 %51 x))
(approx %5 (*.f64 x %96))
(approx %24 (/.f64 #s(literal 1/2 binary64) y))
(approx %24 %104)
(approx %32 y)
(approx %32 (+.f64 y %34))
(approx %40 %109)
(approx %40 (fma.f64 #s(literal 2 binary64) y %41))
(approx %48 %26)
(approx %48 (*.f64 x %114))
(approx %53 #s(literal 1/2 binary64))
(approx %53 %118)
(approx %60 (fma.f64 #s(literal 2 binary64) y (fma.f64 #s(literal 2 binary64) %34 (*.f64 #s(literal 2 binary64) %121))))
(approx %60 (fma.f64 #s(literal 2 binary64) y (fma.f64 #s(literal 2 binary64) %34 (fma.f64 #s(literal 2 binary64) %121 (*.f64 #s(literal 2 binary64) (/.f64 %127 %128))))))
(approx %90 %70)
(approx %90 %114)
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %12 #s(literal 1 binary64)))))
(approx %48 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %102 %70))))
(approx %60 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 %78 x) (*.f64 #s(literal -2 binary64) %33)) x) %109))
(approx %60 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) %33 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 %127 x) (*.f64 #s(literal 2 binary64) %78)) x))) x) %109))
(approx %5 %160)
(approx %24 (/.f64 %118 y))
(approx %32 (*.f64 y (+.f64 #s(literal 1 binary64) %12)))
(approx %40 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %12))))
(approx %48 (/.f64 %160 y))
(approx %60 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 y (fma.f64 #s(literal 2 binary64) (/.f64 y %120) %174)))))
(approx %60 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 y (fma.f64 y (fma.f64 #s(literal 2 binary64) (/.f64 y %128) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) %120))) %174)))))
(approx %90 (/.f64 %96 y))
(approx %5 (*.f64 y %51))
(approx %32 (*.f64 %33 (+.f64 %102 %70)))
(approx %40 (*.f64 %33 (fma.f64 #s(literal 2 binary64) %102 %71)))
(approx %53 (*.f64 y %104))
(approx %60 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %201)))
(approx %60 (fma.f64 #s(literal -2 binary64) x (fma.f64 #s(literal -2 binary64) %201 (*.f64 #s(literal -2 binary64) %205))))
(approx %60 (fma.f64 #s(literal -2 binary64) x (fma.f64 #s(literal -2 binary64) %201 (fma.f64 #s(literal -2 binary64) %205 (*.f64 #s(literal -2 binary64) (/.f64 %210 %78))))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %26)))))
(approx %53 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %103 %101))))
(approx %60 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 %128 y) %227) y))))
(approx %60 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 %210 y) (*.f64 #s(literal -2 binary64) %128)) y) %227) y))))
Calls
6 calls:
TimeVariablePoint
4.0ms
y
0
3.0ms
x
0
2.0ms
y
-inf
2.0ms
y
inf
2.0ms
x
-inf
rewrite90.0ms (5.3%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
028130
043130
1187130
2786126
04184126
04608126
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
21 → 781
Calls
Call 1
Inputs
%3 = (-.f64 x y)
%5 = (/.f64 y x)
%6 = (+.f64 x x)
%7 = (+.f64 y y)
%9 = (/.f64 #s(literal -1/2 binary64) x)
%10 = (- x y)
%14 = (approx (/ %10 (* y (+ x x))) %9)
%15 = (fma.f64 y %5 y)
%16 = (*.f64 #s(literal 2 binary64) %15)
%17 = (/.f64 %3 y)
%18 = (/.f64 %3 %6)
%20 = (/.f64 %17 x)
%26 = (/ (* (* x 2) y) %10)
x
#s(literal 2 binary64)
y
%3
#s(literal 1 binary64)
%5
%6
%7
#s(literal -1/2 binary64)
%9
%14
%15
%16
%17
%18
(/.f64 y %18)
%20
(/.f64 #s(literal 2 binary64) %20)
(/.f64 #s(literal 1 binary64) %14)
(approx %26 %16)
(approx %26 %7)
Outputs
%3 = (-.f64 x y)
%7 = (-.f64 y x)
%8 = (/.f64 #s(literal -1 binary64) %7)
%11 = (neg.f64 y)
%12 = (neg.f64 %11)
%16 = (/.f64 #s(literal 1 binary64) x)
%19 = (/.f64 #s(literal -1 binary64) x)
%22 = (/.f64 y x)
%24 = (neg.f64 %12)
%25 = (neg.f64 x)
%26 = (neg.f64 %25)
%27 = (neg.f64 %26)
%33 = (/.f64 x y)
%35 = (/.f64 y %25)
%41 = (+.f64 x x)
%44 = (/.f64 #s(literal 1/2 binary64) x)
%47 = (*.f64 #s(literal -2 binary64) x)
%49 = (*.f64 #s(literal 1 binary64) x)
%51 = (*.f64 x #s(literal 1 binary64))
%59 = (+.f64 y y)
%68 = (/.f64 y #s(literal -2 binary64))
%69 = (*.f64 y x)
%70 = (/.f64 #s(literal 1 binary64) %69)
%73 = (/.f64 #s(literal 2 binary64) x)
%75 = (/.f64 #s(literal 2 binary64) %25)
%78 = (*.f64 y #s(literal 1/2 binary64))
%79 = (/.f64 #s(literal 1 binary64) y)
%80 = (/.f64 %79 %25)
%82 = (*.f64 %79 #s(literal 1/2 binary64))
%91 = (/.f64 #s(literal -1/2 binary64) x)
%94 = (/.f64 %79 #s(literal -2 binary64))
%116 = (/.f64 #s(literal 0 binary64) %47)
%133 = (/.f64 #s(literal 1/2 binary64) %47)
%140 = (approx (- (/ 1/2 y) (/ 1/2 x)) %91)
%142 = (/.f64 #s(literal 1 binary64) %140)
%144 = (+.f64 %22 #s(literal 1 binary64))
%146 = (*.f64 y y)
%147 = (fma.f64 y x %146)
%149 = (fma.f64 %22 y y)
%151 = (*.f64 y %11)
%154 = (*.f64 %11 y)
%157 = (neg.f64 %146)
%167 = (*.f64 %22 y)
%194 = (*.f64 %149 #s(literal 2 binary64))
%197 = (fma.f64 %144 y y)
%208 = (*.f64 #s(literal 2 binary64) %146)
%211 = (*.f64 %146 #s(literal 2 binary64))
%216 = (*.f64 x x)
%225 = (*.f64 #s(literal 2 binary64) %22)
%227 = (+.f64 y %149)
%237 = (*.f64 %149 #s(literal 1 binary64))
%242 = (*.f64 #s(literal 1 binary64) %149)
%247 = (*.f64 %59 %22)
%251 = (fma.f64 %59 %22 y)
%254 = (/.f64 (+.f64 %147 %146) x)
%258 = (*.f64 %11 #s(literal 2 binary64))
%278 = (*.f64 %33 y)
%279 = (-.f64 %278 y)
%281 = (-.f64 %69 %146)
%284 = (*.f64 %3 #s(literal 1 binary64))
%287 = (/.f64 #s(literal -1 binary64) y)
%290 = (/.f64 %3 y)
%302 = (-.f64 %25 %11)
%308 = (*.f64 %25 %11)
%311 = (*.f64 %25 y)
%316 = (*.f64 x %11)
%325 = (neg.f64 %284)
%332 = (/.f64 y %3)
%335 = (/.f64 %7 y)
%338 = (/.f64 %11 y)
%347 = (/.f64 y %11)
%350 = (/.f64 x %12)
%358 = (/.f64 %11 %12)
%364 = (*.f64 #s(literal 1/2 binary64) %41)
%365 = (-.f64 %364 y)
%367 = (*.f64 %3 #s(literal 1/2 binary64))
%369 = (/.f64 %3 x)
%371 = (*.f64 x %41)
%372 = (*.f64 %59 x)
%373 = (-.f64 %371 %372)
%374 = (*.f64 %41 %41)
%381 = (/.f64 y %41)
%382 = (-.f64 #s(literal 1/2 binary64) %381)
%392 = (*.f64 x #s(literal 1/2 binary64))
%393 = (*.f64 %11 x)
%397 = (*.f64 #s(literal 2 binary64) %41)
%401 = (*.f64 %47 %41)
%406 = (*.f64 #s(literal 2 binary64) %11)
%409 = (*.f64 %47 %11)
%412 = (*.f64 %47 y)
%421 = (*.f64 x %47)
%476 = (neg.f64 %369)
%485 = (/.f64 %41 %3)
%488 = (-.f64 %381 #s(literal 1/2 binary64))
%496 = (/.f64 y %47)
%503 = (/.f64 #s(literal -2 binary64) %3)
%506 = (*.f64 (/.f64 %503 #s(literal 1 binary64)) (/.f64 %11 %16))
%509 = (*.f64 (/.f64 %503 #s(literal 2 binary64)) (/.f64 %11 %44))
%510 = (/.f64 #s(literal -2 binary64) %7)
%512 = (/.f64 y %16)
%513 = (*.f64 (/.f64 %510 #s(literal 1 binary64)) %512)
%514 = (/.f64 y %44)
%515 = (*.f64 %514 %8)
%517 = (*.f64 (/.f64 %510 #s(literal 2 binary64)) %514)
%520 = (*.f64 (/.f64 y %73) (/.f64 %8 #s(literal 1/4 binary64)))
%521 = (/.f64 x %79)
%522 = (*.f64 %521 %510)
%525 = (*.f64 (/.f64 x %7) (/.f64 #s(literal 2 binary64) %287))
%526 = (/.f64 #s(literal 2 binary64) %79)
%527 = (/.f64 x %3)
%528 = (*.f64 %526 %527)
%529 = (/.f64 #s(literal 2 binary64) %16)
%530 = (*.f64 %529 %332)
%531 = (/.f64 #s(literal 1/2 binary64) %335)
%533 = (*.f64 %531 (/.f64 #s(literal 4 binary64) %19))
%534 = (/.f64 #s(literal 1/2 binary64) %290)
%536 = (*.f64 %534 (/.f64 #s(literal 4 binary64) %16))
%537 = (*.f64 %527 %526)
%539 = (*.f64 (*.f64 %332 #s(literal 2 binary64)) x)
%540 = (*.f64 %372 #s(literal 1 binary64))
%541 = (*.f64 %540 %8)
%544 = (*.f64 %78 (/.f64 %8 (/.f64 #s(literal 1/2 binary64) %41)))
%545 = (/.f64 y %7)
%546 = (*.f64 #s(literal 2 binary64) %545)
%547 = (*.f64 %546 %25)
%548 = (*.f64 %545 %47)
%550 = (*.f64 %503 (/.f64 x %287))
%551 = (/.f64 #s(literal 1/2 binary64) %3)
%553 = (*.f64 %551 (/.f64 #s(literal 4 binary64) %70))
%555 = (*.f64 (/.f64 y #s(literal 1 binary64)) %485)
%556 = (/.f64 #s(literal 1/2 binary64) %16)
%558 = (*.f64 %556 (/.f64 #s(literal 4 binary64) %290))
%559 = (*.f64 %510 %521)
%560 = (*.f64 %510 %69)
%561 = (*.f64 %332 %41)
%562 = (neg.f64 %412)
%563 = (*.f64 %562 %8)
%564 = (*.f64 %12 %485)
%565 = (/.f64 %59 %3)
%566 = (/.f64 #s(literal 1 binary64) %16)
%567 = (*.f64 %565 %566)
%568 = (*.f64 %565 x)
%569 = (*.f64 %485 y)
%570 = (*.f64 %8 %372)
%571 = (*.f64 %332 x)
%572 = (*.f64 %571 #s(literal 2 binary64))
%573 = (/.f64 %69 %7)
%574 = (*.f64 #s(literal -2 binary64) %573)
%575 = (/.f64 %41 %7)
%576 = (*.f64 %11 %575)
%578 = (*.f64 %412 (/.f64 #s(literal -1 binary64) %3))
%579 = (*.f64 %372 %8)
%580 = (*.f64 %41 %332)
%583 = (*.f64 #s(literal 1 binary64) (/.f64 %8 (/.f64 %44 y)))
%584 = (/.f64 %372 %3)
%585 = (*.f64 #s(literal 1 binary64) %584)
%586 = (*.f64 y %485)
%587 = (*.f64 #s(literal 2 binary64) %571)
%588 = (*.f64 x %565)
%589 = (pow.f64 %584 #s(literal 1 binary64))
%591 = (/.f64 %3 %69)
%592 = (/.f64 (fma.f64 %332 %290 #s(literal 1 binary64)) %591)
%594 = (/.f64 (fma.f64 %571 %16 %332) %16)
%596 = (/.f64 (fma.f64 %571 %3 %69) %3)
%598 = (/.f64 (fma.f64 %571 %335 %25) %335)
%599 = (/.f64 %7 %69)
%601 = (/.f64 (fma.f64 %571 %599 #s(literal -1 binary64)) %599)
%603 = (/.f64 (fma.f64 %571 %591 #s(literal 1 binary64)) %591)
%605 = (/.f64 (fma.f64 %571 %290 x) %290)
%608 = (*.f64 %16 %16)
%609 = (/.f64 (fma.f64 %332 %16 (*.f64 %332 %16)) %608)
%612 = (*.f64 %16 %3)
%613 = (/.f64 (fma.f64 %332 %3 (*.f64 %69 %16)) %612)
%616 = (*.f64 %16 %335)
%617 = (/.f64 (fma.f64 %332 %335 (*.f64 %25 %16)) %616)
%620 = (*.f64 %16 %599)
%621 = (/.f64 (fma.f64 %332 %599 (*.f64 #s(literal -1 binary64) %16)) %620)
%623 = (*.f64 %16 %591)
%624 = (/.f64 (fma.f64 %332 %591 %16) %623)
%627 = (/.f64 (fma.f64 %69 %16 (*.f64 %332 %3)) %369)
%630 = (*.f64 %3 %3)
%631 = (/.f64 (fma.f64 %69 %3 (*.f64 %69 %3)) %630)
%634 = (*.f64 %3 %335)
%635 = (/.f64 (fma.f64 %69 %335 (*.f64 %25 %3)) %634)
%636 = (*.f64 #s(literal -1 binary64) %3)
%638 = (*.f64 %3 %599)
%639 = (/.f64 (fma.f64 %69 %599 %636) %638)
%640 = (*.f64 #s(literal 1 binary64) %3)
%642 = (*.f64 %3 %591)
%643 = (/.f64 (fma.f64 %69 %591 %640) %642)
%646 = (*.f64 %3 %290)
%647 = (/.f64 (fma.f64 %69 %290 (*.f64 x %3)) %646)
%650 = (/.f64 (fma.f64 %25 %16 (*.f64 %332 %335)) %599)
%653 = (*.f64 %335 %3)
%654 = (/.f64 (fma.f64 %25 %3 (*.f64 %69 %335)) %653)
%657 = (*.f64 %335 %335)
%658 = (/.f64 (fma.f64 %25 %335 (*.f64 %25 %335)) %657)
%661 = (*.f64 %335 %599)
%662 = (/.f64 (fma.f64 %25 %599 (*.f64 #s(literal -1 binary64) %335)) %661)
%665 = (*.f64 %335 %591)
%666 = (/.f64 (fma.f64 %25 %591 (*.f64 #s(literal 1 binary64) %335)) %665)
%669 = (*.f64 %335 %290)
%670 = (/.f64 (fma.f64 %25 %290 (*.f64 x %335)) %669)
%673 = (*.f64 %599 %16)
%674 = (/.f64 (fma.f64 #s(literal -1 binary64) %16 (*.f64 %332 %599)) %673)
%677 = (*.f64 %599 %3)
%678 = (/.f64 (fma.f64 #s(literal -1 binary64) %3 (*.f64 %69 %599)) %677)
%681 = (*.f64 %599 %335)
%682 = (/.f64 (fma.f64 #s(literal -1 binary64) %335 (*.f64 %25 %599)) %681)
%685 = (*.f64 %599 %599)
%686 = (/.f64 (fma.f64 #s(literal -1 binary64) %599 (*.f64 #s(literal -1 binary64) %599)) %685)
%689 = (*.f64 %599 %591)
%690 = (/.f64 (fma.f64 #s(literal -1 binary64) %591 (*.f64 #s(literal 1 binary64) %599)) %689)
%693 = (*.f64 %599 %290)
%694 = (/.f64 (fma.f64 #s(literal -1 binary64) %290 (*.f64 x %599)) %693)
%697 = (*.f64 %591 %16)
%698 = (/.f64 (+.f64 %16 (*.f64 %332 %591)) %697)
%701 = (*.f64 %591 %3)
%702 = (/.f64 (fma.f64 #s(literal 1 binary64) %3 (*.f64 %69 %591)) %701)
%705 = (*.f64 %591 %335)
%706 = (/.f64 (fma.f64 #s(literal 1 binary64) %335 (*.f64 %25 %591)) %705)
%709 = (*.f64 %591 %599)
%710 = (/.f64 (fma.f64 #s(literal 1 binary64) %599 (*.f64 #s(literal -1 binary64) %591)) %709)
%713 = (*.f64 %591 %591)
%714 = (/.f64 (fma.f64 #s(literal 1 binary64) %591 (*.f64 #s(literal 1 binary64) %591)) %713)
%717 = (*.f64 %591 %290)
%718 = (/.f64 (fma.f64 #s(literal 1 binary64) %290 (*.f64 x %591)) %717)
%721 = (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 %332 %290)) %591)
%724 = (*.f64 %290 %3)
%725 = (/.f64 (fma.f64 x %3 (*.f64 %69 %290)) %724)
%728 = (*.f64 %290 %335)
%729 = (/.f64 (fma.f64 x %335 (*.f64 %25 %290)) %728)
%732 = (*.f64 %290 %599)
%733 = (/.f64 (fma.f64 x %599 (*.f64 #s(literal -1 binary64) %290)) %732)
%736 = (*.f64 %290 %591)
%737 = (/.f64 (fma.f64 x %591 (*.f64 #s(literal 1 binary64) %290)) %736)
%740 = (*.f64 %290 %290)
%741 = (/.f64 (fma.f64 x %290 (*.f64 x %290)) %740)
%744 = (/.f64 (fma.f64 %332 %16 (*.f64 %16 %332)) %608)
%747 = (/.f64 (fma.f64 %332 %3 (*.f64 %16 %69)) %612)
%750 = (/.f64 (fma.f64 %332 %335 (*.f64 %16 %25)) %616)
%753 = (/.f64 (fma.f64 %332 %599 (*.f64 %16 #s(literal -1 binary64))) %620)
%756 = (/.f64 (fma.f64 %332 %591 (*.f64 %16 #s(literal 1 binary64))) %623)
%759 = (/.f64 (fma.f64 %332 %290 (*.f64 %16 x)) %591)
%762 = (/.f64 (fma.f64 %69 %16 (*.f64 %3 %332)) %369)
%765 = (/.f64 (fma.f64 %69 %3 (*.f64 %3 %69)) %630)
%768 = (/.f64 (fma.f64 %69 %335 (*.f64 %3 %25)) %634)
%769 = (*.f64 %3 #s(literal -1 binary64))
%771 = (/.f64 (fma.f64 %69 %599 %769) %638)
%773 = (/.f64 (fma.f64 %69 %591 %284) %642)
%776 = (/.f64 (fma.f64 %69 %290 (*.f64 %3 x)) %646)
%779 = (/.f64 (fma.f64 %25 %16 (*.f64 %335 %332)) %599)
%782 = (/.f64 (fma.f64 %25 %3 (*.f64 %335 %69)) %653)
%785 = (/.f64 (fma.f64 %25 %335 (*.f64 %335 %25)) %657)
%788 = (/.f64 (fma.f64 %25 %599 (*.f64 %335 #s(literal -1 binary64))) %661)
%791 = (/.f64 (fma.f64 %25 %591 (*.f64 %335 #s(literal 1 binary64))) %665)
%794 = (/.f64 (fma.f64 %25 %290 (*.f64 %335 x)) %669)
%797 = (/.f64 (fma.f64 #s(literal -1 binary64) %16 (*.f64 %599 %332)) %673)
%800 = (/.f64 (fma.f64 #s(literal -1 binary64) %3 (*.f64 %599 %69)) %677)
%803 = (/.f64 (fma.f64 #s(literal -1 binary64) %335 (*.f64 %599 %25)) %681)
%806 = (/.f64 (fma.f64 #s(literal -1 binary64) %599 (*.f64 %599 #s(literal -1 binary64))) %685)
%809 = (/.f64 (fma.f64 #s(literal -1 binary64) %591 (*.f64 %599 #s(literal 1 binary64))) %689)
%812 = (/.f64 (fma.f64 #s(literal -1 binary64) %290 (*.f64 %599 x)) %693)
%815 = (/.f64 (+.f64 %16 (*.f64 %591 %332)) %697)
%818 = (/.f64 (fma.f64 #s(literal 1 binary64) %3 (*.f64 %591 %69)) %701)
%821 = (/.f64 (fma.f64 #s(literal 1 binary64) %335 (*.f64 %591 %25)) %705)
%824 = (/.f64 (fma.f64 #s(literal 1 binary64) %599 (*.f64 %591 #s(literal -1 binary64))) %709)
%827 = (/.f64 (fma.f64 #s(literal 1 binary64) %591 (*.f64 %591 #s(literal 1 binary64))) %713)
%830 = (/.f64 (fma.f64 #s(literal 1 binary64) %290 (*.f64 %591 x)) %717)
%833 = (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 %290 %332)) %591)
%836 = (/.f64 (fma.f64 x %3 (*.f64 %290 %69)) %724)
%839 = (/.f64 (fma.f64 x %335 (*.f64 %290 %25)) %728)
%842 = (/.f64 (fma.f64 x %599 (*.f64 %290 #s(literal -1 binary64))) %732)
%843 = (*.f64 %290 #s(literal 1 binary64))
%845 = (/.f64 (fma.f64 x %591 %843) %736)
%848 = (/.f64 (fma.f64 x %290 (*.f64 %290 x)) %740)
%850 = (/.f64 (neg.f64 %332) %91)
%852 = (/.f64 (neg.f64 %540) %7)
%854 = (/.f64 (neg.f64 %562) %7)
%855 = (/.f64 %24 %488)
%857 = (neg.f64 %16)
%858 = (/.f64 (neg.f64 %565) %857)
%859 = (/.f64 %540 %3)
%860 = (/.f64 %332 %44)
%861 = (/.f64 %562 %3)
%862 = (/.f64 %12 %382)
%863 = (/.f64 %565 %16)
%864 = (/.f64 %47 %335)
%865 = (/.f64 #s(literal -2 binary64) %599)
%866 = (/.f64 %11 %488)
%867 = (/.f64 %412 %7)
%868 = (/.f64 %41 %290)
%870 = (/.f64 #s(literal 1 binary64) (/.f64 %3 %540))
%872 = (/.f64 #s(literal 1 binary64) (/.f64 %382 %12))
%874 = (/.f64 #s(literal 1 binary64) (/.f64 %16 %565))
%876 = (/.f64 #s(literal 1 binary64) (/.f64 %44 %332))
%878 = (/.f64 #s(literal 1 binary64) (pow.f64 %584 #s(literal -1 binary64)))
%881 = (/.f64 #s(literal 1 binary64) (-.f64 (/.f64 #s(literal 1/2 binary64) y) %44))
%882 = (/.f64 y %382)
%883 = (/.f64 #s(literal 2 binary64) %591)
%885 = (neg.f64 (*.f64 y %575))
%888 = (fma.f64 (/.f64 y %335) (/.f64 %79 %19) %571)
%891 = (fma.f64 (/.f64 y %290) (/.f64 %79 %16) %571)
%893 = (fma.f64 %512 (/.f64 %79 %290) %571)
%894 = (fma.f64 %529 %534 %571)
%895 = (fma.f64 %566 %332 %571)
%897 = (fma.f64 %531 (/.f64 #s(literal 2 binary64) %19) %571)
%898 = (fma.f64 %534 %529 %571)
%900 = (fma.f64 %546 (/.f64 #s(literal -1/2 binary64) %16) %571)
%902 = (fma.f64 %546 (/.f64 #s(literal 1/2 binary64) %19) %571)
%904 = (fma.f64 %546 (/.f64 #s(literal 1/2 binary64) %857) %571)
%906 = (fma.f64 %545 (/.f64 #s(literal -1 binary64) %16) %571)
%907 = (fma.f64 %545 %25 %571)
%909 = (fma.f64 %551 (/.f64 #s(literal 2 binary64) %70) %571)
%910 = (fma.f64 %556 %565 %571)
%912 = (fma.f64 %510 (/.f64 #s(literal 1/2 binary64) %70) %571)
%914 = (fma.f64 %332 (/.f64 #s(literal -1 binary64) %857) %571)
%916 = (fma.f64 %332 (/.f64 %79 %70) %571)
%917 = (fma.f64 %332 %566 %571)
%918 = (fma.f64 %332 x %571)
%919 = (fma.f64 %565 %556 %571)
%920 = (fma.f64 %69 %8 %571)
%921 = (fma.f64 %8 %69 %571)
%922 = (fma.f64 %25 %545 %571)
%923 = (fma.f64 #s(literal -1 binary64) %573 %571)
%924 = (fma.f64 #s(literal 1 binary64) %571 %571)
%926 = (fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %571) %571)
%927 = (fma.f64 x %332 %571)
%929 = (-.f64 %571 (/.f64 %311 %3))
%931 = (-.f64 %571 (/.f64 %393 %3))
%932 = (-.f64 %571 %573)
%933 = (/.f64 %51 %290)
%934 = (+.f64 %933 %933)
%935 = (/.f64 %49 %290)
%936 = (+.f64 %935 %935)
%937 = (+.f64 %571 %571)
%939 = (/.f64 %7 x)
%942 = (*.f64 %7 #s(literal 1 binary64))
%943 = (/.f64 #s(literal 1 binary64) %393)
%949 = (neg.f64 %69)
%955 = (/.f64 x %69)
%958 = (/.f64 %33 x)
%970 = (*.f64 %69 %69)
%1012 = (*.f64 y %25)
%1027 = (*.f64 %11 %25)
%1029 = (*.f64 %12 %25)
%1037 = (neg.f64 %393)
%1062 = (/.f64 %338 x)
%1066 = (/.f64 %11 %69)
%1068 = (/.f64 y %393)
%1071 = (/.f64 y %949)
%1074 = (/.f64 %33 %26)
%1082 = (/.f64 %25 %393)
%1094 = (/.f64 #s(literal -1 binary64) %140)
%1098 = (/.f64 #s(literal 1/2 binary64) %140)
%1100 = (neg.f64 %140)
%1101 = (neg.f64 %1100)
%1111 = (*.f64 #s(literal 1 binary64) %11)
%1119 = (*.f64 %11 #s(literal 1 binary64))
%1161 = (/.f64 #s(literal 0 binary64) %1101)
%1163 = (/.f64 #s(literal 0 binary64) %140)
%1178 = (/ (* (* y 2) x) (- x y))
%1179 = (approx %1178 %194)
%1183 = (approx %1178 %59)
x
#s(literal 2 binary64)
y
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %8)
(neg.f64 %7)
(-.f64 x %12)
%3
(+.f64 %11 x)
(+.f64 x %11)
#s(literal 1 binary64)
(*.f64 %12 %16)
(*.f64 %16 y)
(*.f64 %11 %19)
(*.f64 y %16)
(pow.f64 %22 #s(literal 1 binary64))
(/.f64 %24 %27)
(/.f64 %12 %26)
(/.f64 %11 %25)
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %33)
%22
(neg.f64 %35)
(neg.f64 (/.f64 %11 x))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %41 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %44)
(neg.f64 %47)
(fma.f64 #s(literal 1 binary64) x %49)
(fma.f64 x #s(literal 1 binary64) %51)
(-.f64 x %25)
(+.f64 %51 %51)
(+.f64 %49 %49)
(+.f64 x %26)
%41
(*.f64 y #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) y)
(pow.f64 %59 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %59 #s(literal -1 binary64)))
(neg.f64 (-.f64 %11 y))
(-.f64 y %11)
(+.f64 y %12)
%59
#s(literal -1/2 binary64)
(*.f64 %68 %70)
(*.f64 #s(literal -1/4 binary64) %73)
(*.f64 %75 #s(literal 1/4 binary64))
(*.f64 %78 %80)
(*.f64 %35 %82)
(*.f64 %19 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %75)
(*.f64 %73 #s(literal -1/4 binary64))
(*.f64 %44 #s(literal -1 binary64))
(*.f64 %16 #s(literal -1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %19)
(*.f64 #s(literal -1 binary64) %44)
(*.f64 %91 #s(literal 1 binary64))
(*.f64 #s(literal -1/2 binary64) %16)
(*.f64 %22 %94)
(*.f64 #s(literal 1 binary64) %91)
(pow.f64 %47 #s(literal -1 binary64))
(pow.f64 %91 #s(literal 1 binary64))
(/.f64 #s(literal 1/2 binary64) %27)
(/.f64 #s(literal 1/2 binary64) %25)
(/.f64 #s(literal -1 binary64) %41)
(/.f64 #s(literal -1/2 binary64) %26)
%91
(/.f64 #s(literal 1 binary64) (/.f64 %47 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %26 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %91 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %25 #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) %47)
(neg.f64 %44)
(fma.f64 %68 %70 %116)
(fma.f64 #s(literal -1/4 binary64) %73 %116)
(fma.f64 %75 #s(literal 1/4 binary64) %116)
(fma.f64 %78 %80 %116)
(fma.f64 %35 %82 %116)
(fma.f64 %19 #s(literal 1/2 binary64) %116)
(fma.f64 #s(literal 1/4 binary64) %75 %116)
(fma.f64 %73 #s(literal -1/4 binary64) %116)
(fma.f64 %44 #s(literal -1 binary64) %116)
(fma.f64 %16 #s(literal -1/2 binary64) %116)
(fma.f64 #s(literal 1/2 binary64) %19 %116)
(fma.f64 #s(literal -1 binary64) %44 %116)
(fma.f64 %91 #s(literal 1 binary64) %116)
(fma.f64 #s(literal -1/2 binary64) %16 %116)
(fma.f64 %22 %94 %116)
(fma.f64 #s(literal 1 binary64) %91 %116)
(+.f64 %133 %133)
(+.f64 %91 %116)
(pow.f64 %140 #s(literal 1 binary64))
%140
(/.f64 #s(literal 1 binary64) %142)
(*.f64 %144 y)
(*.f64 %147 %16)
(pow.f64 %149 #s(literal 1 binary64))
(/.f64 (fma.f64 y %25 %151) %25)
(/.f64 (fma.f64 y %25 %154) %25)
(/.f64 (fma.f64 y %25 %157) %25)
(/.f64 (neg.f64 %147) %25)
(/.f64 %147 x)
(/.f64 #s(literal 1 binary64) (/.f64 x %147))
(/.f64 #s(literal 1 binary64) (pow.f64 %149 #s(literal -1 binary64)))
(neg.f64 (-.f64 %11 %167))
(fma.f64 %151 %19 %12)
(fma.f64 %151 %19 y)
(fma.f64 %154 %19 %12)
(fma.f64 %154 %19 y)
(fma.f64 %157 %19 %12)
(fma.f64 %157 %19 y)
(fma.f64 %146 %16 %12)
(fma.f64 %146 %16 y)
(fma.f64 %22 y %12)
%149
(fma.f64 y %22 %12)
(fma.f64 y %22 y)
(-.f64 %167 %11)
(-.f64 y (*.f64 (neg.f64 %22) y))
(-.f64 y (*.f64 %11 %22))
(-.f64 y (neg.f64 %167))
(+.f64 (/.f64 %69 x) %167)
(+.f64 %167 %12)
(+.f64 %167 y)
(+.f64 y %167)
%194
(*.f64 #s(literal 2 binary64) %149)
(pow.f64 %194 #s(literal 1 binary64))
(/.f64 (fma.f64 %197 %25 %151) %25)
(/.f64 (fma.f64 %197 %25 %154) %25)
(/.f64 (fma.f64 %197 %25 %157) %25)
(/.f64 (fma.f64 %197 x %146) x)
(/.f64 (fma.f64 %149 x %147) x)
(/.f64 (fma.f64 %59 x %208) x)
(/.f64 (fma.f64 %59 x %211) x)
(/.f64 (fma.f64 %147 x (*.f64 %147 x)) %216)
(/.f64 (+.f64 %147 %147) x)
(/.f64 (fma.f64 %147 x (*.f64 x %147)) %216)
(/.f64 #s(literal 1 binary64) (pow.f64 %194 #s(literal -1 binary64)))
(fma.f64 %225 y %59)
(fma.f64 %151 %19 %227)
(fma.f64 %208 %16 %59)
(fma.f64 %154 %19 %227)
(fma.f64 %211 %16 %59)
(fma.f64 %144 y %149)
(fma.f64 %147 %16 %149)
(fma.f64 %157 %19 %227)
(fma.f64 %146 %16 %227)
(fma.f64 %167 #s(literal 2 binary64) %59)
(fma.f64 %149 #s(literal 1 binary64) %237)
(fma.f64 %59 %22 %59)
(fma.f64 %22 %59 %59)
(fma.f64 %22 y %227)
(fma.f64 #s(literal 1 binary64) %149 %242)
(fma.f64 y (*.f64 %22 #s(literal 2 binary64)) %59)
(fma.f64 y %22 %227)
(fma.f64 y #s(literal 2 binary64) %247)
(fma.f64 #s(literal 2 binary64) %167 %59)
(fma.f64 #s(literal 2 binary64) y %247)
(-.f64 %251 %11)
(-.f64 %254 %11)
(-.f64 %247 (*.f64 #s(literal -2 binary64) y))
(-.f64 %247 %258)
(-.f64 %247 (neg.f64 %59))
(-.f64 %167 (-.f64 %11 %149))
(-.f64 %149 (neg.f64 %149))
(+.f64 %197 %167)
(+.f64 %251 y)
(+.f64 %254 y)
(+.f64 %237 %237)
(+.f64 %242 %242)
(+.f64 %247 %59)
(+.f64 %167 %227)
(+.f64 %149 %149)
(+.f64 %59 %247)
(+.f64 y (/.f64 (fma.f64 y y %147) x))
(*.f64 %279 %79)
(*.f64 %281 (/.f64 #s(literal 1 binary64) %146))
(*.f64 %284 %79)
(*.f64 %79 %3)
(*.f64 %7 %287)
(*.f64 %3 %79)
(pow.f64 %290 #s(literal 1 binary64))
(/.f64 (fma.f64 %33 y %11) y)
(/.f64 (-.f64 (*.f64 %33 %11) %11) %11)
(/.f64 (-.f64 (*.f64 %33 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 y x %154) %146)
(/.f64 %302 %11)
(/.f64 (fma.f64 %25 y %146) %154)
(/.f64 (fma.f64 y x %151) %146)
(/.f64 (-.f64 %308 %146) %146)
(/.f64 (-.f64 %311 %154) %154)
(/.f64 (-.f64 %47 %258) %258)
(/.f64 (-.f64 %316 %151) %151)
(/.f64 (-.f64 %41 %59) %59)
(/.f64 (neg.f64 %279) %11)
(/.f64 (neg.f64 %281) %157)
(/.f64 %325 %11)
(/.f64 %279 y)
(/.f64 %281 %146)
(/.f64 %284 y)
(/.f64 %7 %24)
(/.f64 %7 %11)
(/.f64 #s(literal 1 binary64) %332)
(/.f64 %3 %12)
%290
(neg.f64 %335)
(fma.f64 %11 %79 %33)
(fma.f64 %25 %287 %338)
(fma.f64 %25 %287 #s(literal -1 binary64))
(fma.f64 x %79 %338)
(fma.f64 x %79 #s(literal -1 binary64))
(-.f64 (/.f64 %278 y) #s(literal 1 binary64))
(-.f64 (/.f64 %69 %146) #s(literal 1 binary64))
(-.f64 %347 (/.f64 x %11))
(-.f64 %350 (/.f64 y %12))
(-.f64 %350 #s(literal 1 binary64))
(-.f64 %33 (/.f64 %12 y))
(-.f64 %33 #s(literal 1 binary64))
(+.f64 %347 %33)
(+.f64 %358 %350)
(+.f64 %350 %358)
(+.f64 %338 %33)
(+.f64 %33 %338)
(+.f64 %33 #s(literal -1 binary64))
(*.f64 %365 %44)
(*.f64 %367 %16)
(*.f64 %369 #s(literal 1/2 binary64))
(*.f64 %373 (/.f64 #s(literal 1 binary64) %374))
(*.f64 %284 %44)
(*.f64 %44 %3)
(*.f64 %7 %91)
(*.f64 %3 %44)
(pow.f64 %382 #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal 1/2 binary64) %41 %11) %41)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) x) %78) x)
(/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %47) %11) %47)
(/.f64 (fma.f64 %392 %41 %393) %371)
(/.f64 (fma.f64 #s(literal 1 binary64) %41 %258) %397)
(/.f64 (fma.f64 %25 %41 (*.f64 %11 %47)) %401)
(/.f64 %302 %47)
(/.f64 (fma.f64 %392 %41 %316) %371)
(/.f64 (fma.f64 #s(literal 1 binary64) %41 %406) %397)
(/.f64 (fma.f64 %25 %41 %409) %401)
(/.f64 (fma.f64 x %41 %412) %374)
(/.f64 (-.f64 (*.f64 %392 x) (*.f64 x %78)) %216)
(/.f64 (-.f64 (*.f64 %392 %47) %316) %421)
(/.f64 (-.f64 (*.f64 %392 #s(literal 2 binary64)) (*.f64 x %22)) %41)
(/.f64 (-.f64 (*.f64 %392 %41) %69) %371)
(/.f64 (-.f64 %49 (*.f64 #s(literal 2 binary64) %78)) %41)
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %47) %406) (*.f64 #s(literal 2 binary64) %47))
(/.f64 (-.f64 #s(literal 2 binary64) %225) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %41) %59) %397)
(/.f64 (-.f64 (*.f64 %25 x) (*.f64 %47 %78)) (*.f64 %47 x))
(/.f64 (-.f64 (*.f64 %25 %47) %409) %374)
(/.f64 (-.f64 %47 (*.f64 %47 %22)) (*.f64 %47 #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 %25 %41) %412) %401)
(/.f64 (-.f64 %216 (*.f64 %41 %78)) (*.f64 %41 x))
(/.f64 (-.f64 %421 %412) (*.f64 %41 %47))
(/.f64 (-.f64 %41 (*.f64 %41 %22)) (*.f64 %41 #s(literal 2 binary64)))
(/.f64 (neg.f64 %365) %47)
(/.f64 (neg.f64 %367) %25)
(/.f64 (neg.f64 %373) (neg.f64 %374))
(/.f64 %476 #s(literal -2 binary64))
(/.f64 %325 %47)
(/.f64 %365 %41)
(/.f64 %367 x)
(/.f64 %369 #s(literal 2 binary64))
(/.f64 %373 %374)
(/.f64 %284 %41)
(/.f64 %7 %47)
(/.f64 #s(literal 1 binary64) %485)
(/.f64 %3 %41)
(neg.f64 %488)
(fma.f64 %11 %44 #s(literal 1/2 binary64))
(-.f64 (/.f64 %364 %41) %381)
(-.f64 (/.f64 %371 %374) (/.f64 %372 %374))
(-.f64 %496 (/.f64 x %47))
%382
(+.f64 %496 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (neg.f64 %381))
(+.f64 #s(literal 1/2 binary64) %496)
%506
%509
%513
%515
%517
%520
%522
%525
%528
%530
%533
%536
%537
%539
%541
%544
%547
%548
%550
%553
%555
%558
%559
%560
%561
%563
%564
%567
%568
%569
%570
%572
%574
%576
%578
%579
%580
%583
%585
%586
%587
%588
%589
%592
%594
%596
%598
%601
%603
%605
%609
%613
%617
%621
%624
%627
%631
%635
%639
%643
%647
%650
%654
%658
%662
%666
%670
%674
%678
%682
%686
%690
%694
%698
%702
%706
%710
%714
%718
%721
%725
%729
%733
%737
%741
%744
%747
%750
%753
%756
%759
%762
%765
%768
%771
%773
%776
%779
%782
%785
%788
%791
%794
%797
%800
%803
%806
%809
%812
%815
%818
%821
%824
%827
%830
%833
%836
%839
%842
%845
%848
%850
%852
%854
%855
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%584
%868
%870
%872
%874
%876
%878
%881
%882
%883
%885
%888
%891
%893
%894
%895
%897
%898
%900
%902
%904
%906
%907
%909
%910
%912
%914
%916
%917
%918
%919
%920
%921
%922
%923
%924
%926
%927
%929
%931
%932
%934
%936
%937
(*.f64 %843 %16)
(*.f64 %939 %287)
(*.f64 %369 %79)
(*.f64 %942 %943)
(*.f64 %284 %70)
(*.f64 %16 %290)
(*.f64 %335 %19)
(*.f64 %7 %943)
(*.f64 %7 (/.f64 #s(literal 1 binary64) %949))
(*.f64 %290 %16)
(*.f64 %3 %70)
(pow.f64 %591 #s(literal 1 binary64))
(/.f64 (fma.f64 %955 %69 %11) %69)
(/.f64 (-.f64 (*.f64 %958 %25) #s(literal -1 binary64)) %25)
(/.f64 (-.f64 (*.f64 %958 x) #s(literal 1 binary64)) x)
(/.f64 (-.f64 (*.f64 %955 %69) y) %69)
(/.f64 (fma.f64 x %69 (*.f64 %11 %69)) %970)
(/.f64 (fma.f64 x %69 (*.f64 %69 %11)) %970)
(/.f64 (-.f64 (*.f64 %33 %25) (*.f64 x #s(literal -1 binary64))) (*.f64 x %25))
(/.f64 (-.f64 (*.f64 %33 x) %51) %216)
(/.f64 (-.f64 (*.f64 x %69) (*.f64 %69 y)) %970)
(/.f64 (*.f64 #s(literal -1 binary64) %279) %311)
(/.f64 (*.f64 #s(literal -1 binary64) %281) (*.f64 %25 %146))
(/.f64 (*.f64 #s(literal -1 binary64) %284) %311)
(/.f64 (*.f64 #s(literal -1 binary64) %7) %308)
(/.f64 %636 (*.f64 %25 %12))
(/.f64 %636 %311)
(/.f64 (*.f64 #s(literal 1 binary64) %279) %69)
(/.f64 (*.f64 #s(literal 1 binary64) %281) (*.f64 x %146))
(/.f64 (*.f64 #s(literal 1 binary64) %284) %69)
(/.f64 (*.f64 #s(literal 1 binary64) %7) %316)
(/.f64 %640 (*.f64 x %12))
(/.f64 %640 %69)
(/.f64 (*.f64 %279 #s(literal -1 binary64)) %1012)
(/.f64 (*.f64 %279 #s(literal 1 binary64)) %69)
(/.f64 (*.f64 %281 #s(literal -1 binary64)) (*.f64 %146 %25))
(/.f64 (*.f64 %281 #s(literal 1 binary64)) (*.f64 %146 x))
(/.f64 (*.f64 %284 #s(literal -1 binary64)) %1012)
(/.f64 (*.f64 %284 #s(literal 1 binary64)) %69)
(/.f64 (*.f64 %7 #s(literal -1 binary64)) %1027)
(/.f64 %769 %1029)
(/.f64 %769 %1012)
(/.f64 (neg.f64 %843) %25)
(/.f64 (neg.f64 %939) %12)
(/.f64 (neg.f64 %942) %1037)
(/.f64 %476 %11)
(/.f64 %325 %949)
(/.f64 %843 x)
(/.f64 %939 %11)
(/.f64 %369 y)
(/.f64 %942 %1029)
(/.f64 %942 %1012)
(/.f64 %942 %393)
(/.f64 %284 (*.f64 %12 x))
(/.f64 %284 %1027)
(/.f64 %284 %69)
(/.f64 %335 %27)
(/.f64 %335 %25)
(/.f64 %7 %393)
(/.f64 %7 %949)
(/.f64 %290 %26)
(/.f64 %290 x)
(/.f64 #s(literal 1 binary64) %571)
(/.f64 %3 %1037)
(/.f64 %3 (neg.f64 %949))
%591
(neg.f64 %599)
(fma.f64 %33 %16 %1062)
(fma.f64 %33 %16 %19)
(fma.f64 %11 %70 %955)
(fma.f64 x %70 %1066)
(-.f64 %1068 (/.f64 x %393))
(-.f64 %1071 (/.f64 x %949))
(-.f64 %1074 %16)
(-.f64 %19 (/.f64 %33 %25))
(-.f64 %958 %16)
(-.f64 %955 (/.f64 %12 %69))
(-.f64 %955 %16)
(+.f64 %1082 (/.f64 %12 %393))
(+.f64 %1068 %1082)
(+.f64 %1071 %955)
(+.f64 %1074 (/.f64 %338 %26))
(+.f64 %1074 %19)
(+.f64 %958 %1062)
(+.f64 %958 %19)
(+.f64 %1066 %955)
(+.f64 %955 %1066)
%506
%509
%513
%515
%517
%520
%522
%525
%528
%530
%533
%536
%537
%539
%541
%544
%547
%548
%550
%553
%555
%558
%559
%560
%561
%563
%564
%567
%568
%569
%570
%572
%574
%576
%578
%579
%580
%583
%585
%586
%587
%588
%589
%592
%594
%596
%598
%601
%603
%605
%609
%613
%617
%621
%624
%627
%631
%635
%639
%643
%647
%650
%654
%658
%662
%666
%670
%674
%678
%682
%686
%690
%694
%698
%702
%706
%710
%714
%718
%721
%725
%729
%733
%737
%741
%744
%747
%750
%753
%756
%759
%762
%765
%768
%771
%773
%776
%779
%782
%785
%788
%791
%794
%797
%800
%803
%806
%809
%812
%815
%818
%821
%824
%827
%830
%833
%836
%839
%842
%845
%848
%850
%852
%854
%855
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%584
%868
%870
%872
%874
%876
%878
%881
%882
%883
%885
%888
%891
%893
%894
%895
%897
%898
%900
%902
%904
%906
%907
%909
%910
%912
%914
%916
%917
%918
%919
%920
%921
%922
%923
%924
%926
%927
%929
%931
%932
%934
%936
%937
(*.f64 #s(literal -1 binary64) %1094)
(*.f64 %142 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %142)
(*.f64 #s(literal 2 binary64) %1098)
(pow.f64 %1101 #s(literal -1 binary64))
(pow.f64 %142 #s(literal 1 binary64))
(pow.f64 %140 #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %11) (*.f64 %1100 %11))
(/.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 %1100 y))
(/.f64 %1111 (*.f64 %1101 %11))
(/.f64 %1111 (*.f64 %140 %11))
(/.f64 (*.f64 %11 #s(literal -1 binary64)) (*.f64 %11 %1100))
(/.f64 %1119 (*.f64 %11 %1101))
(/.f64 %1119 (*.f64 %11 %140))
(/.f64 (*.f64 y #s(literal -1 binary64)) (*.f64 y %1100))
(/.f64 #s(literal -2 binary64) (*.f64 %1100 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %1100))
(/.f64 #s(literal -1 binary64) (neg.f64 %1101))
(/.f64 #s(literal -1 binary64) %1100)
(/.f64 #s(literal 1 binary64) (/.f64 %1101 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %142 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %1100 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %1101)
(/.f64 #s(literal 1 binary64) (/.f64 %140 #s(literal 1 binary64)))
%142
(/.f64 y (*.f64 %1101 y))
(/.f64 y (*.f64 %140 y))
(/.f64 y (*.f64 y %1101))
(/.f64 y (*.f64 y %140))
(/.f64 #s(literal 2 binary64) (*.f64 %1101 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 %140 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %1101))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %140))
(neg.f64 %1094)
(fma.f64 #s(literal 1/2 binary64) %142 %1098)
(fma.f64 #s(literal -1 binary64) %1094 %1161)
(fma.f64 #s(literal -1 binary64) %1094 %1163)
(fma.f64 %142 #s(literal 1 binary64) %1161)
(fma.f64 %142 #s(literal 1 binary64) %1163)
(fma.f64 #s(literal 1 binary64) %142 %1161)
(fma.f64 #s(literal 1 binary64) %142 %1163)
(fma.f64 #s(literal 2 binary64) %1098 %1161)
(fma.f64 #s(literal 2 binary64) %1098 %1163)
(+.f64 %1098 %1098)
(+.f64 %142 %1161)
(+.f64 %142 %1163)
(pow.f64 %1179 #s(literal 1 binary64))
%1179
(/.f64 #s(literal 1 binary64) (pow.f64 %1179 #s(literal -1 binary64)))
(pow.f64 %1183 #s(literal 1 binary64))
%1183
(/.f64 #s(literal 1 binary64) (pow.f64 %1183 #s(literal -1 binary64)))
reconstruct61.0ms (3.6%)
Counts
841 → 263
Compiler
Compiled 841 to 1 317 computations (-56.6% saved)
eval18.0ms (1.1%)
Compiler
Compiled 202 to 616 computations (-205.0% saved)
prune4.0ms (0.2%)
Pruning
8 alts after pruning (2 fresh and 6 done)
PrunedKeptTotal
New2002202
Fresh000
Picked235
Done033
Total2028210
Accuracy
100.0%
Counts
210 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶88.5%
(/.f64 y (-.f64 #s(literal 1/2 binary64) (/.f64 y (+.f64 x x))))
▶40.2%
(/.f64 #s(literal 2 binary64) (/.f64 (approx (/ (- x y) y) (/.f64 x y)) x))
✓47.4%
(/.f64 #s(literal 1 binary64) (approx (/ (- x y) (* y (+ x x))) (/.f64 #s(literal -1/2 binary64) x)))
✓89.5%
(*.f64 (+.f64 y y) (/.f64 x (-.f64 x y)))
✓87.8%
(*.f64 (+.f64 x x) (/.f64 y (-.f64 x y)))
✓54.0%
(approx (/ (* (* x 2) y) (- x y)) (+.f64 y y))
✓53.4%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal 2 binary64) (fma.f64 y (/.f64 y x) y)))
✓47.5%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal -2 binary64) x))
Compiler
Compiled 8 to 26 computations (-225.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series21.0ms (1.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02461047
Stop Event
1×iter-limit
Counts
12 → 48
Calls
Call 1
Inputs
%3 = (/.f64 x y)
%5 = (+.f64 x x)
%6 = (/.f64 y %5)
%9 = (approx (/ (- x y) y) %3)
%10 = (-.f64 #s(literal 1/2 binary64) %6)
%12 = (/.f64 %9 x)
x
#s(literal 2 binary64)
y
%3
#s(literal 1/2 binary64)
%5
%6
%9
%10
(/.f64 y %10)
%12
(/.f64 #s(literal 2 binary64) %12)
Outputs
%6 = (/.f64 x y)
%8 = (+ x x)
%12 = (/ y %8)
%14 = (/.f64 y x)
%18 = (/ (- x y) y)
%22 = (-.f64 %6 #s(literal 1 binary64))
%25 = (- 1/2 %12)
%27 = (*.f64 #s(literal -1/2 binary64) %14)
%34 = (/ y %25)
%42 = (pow.f64 y #s(literal 2 binary64))
%45 = (/.f64 #s(literal 1 binary64) y)
%46 = (*.f64 #s(literal 2 binary64) %45)
%53 = (pow.f64 y #s(literal 3 binary64))
%65 = (/ %18 x)
%70 = (/.f64 #s(literal 1 binary64) x)
%71 = (-.f64 %45 %70)
%77 = (*.f64 #s(literal 2 binary64) y)
%79 = (/.f64 %42 x)
%83 = (pow.f64 x #s(literal 2 binary64))
%84 = (/.f64 %53 %83)
%85 = (*.f64 #s(literal 2 binary64) %84)
%91 = (pow.f64 y #s(literal 4 binary64))
%92 = (pow.f64 x #s(literal 3 binary64))
%94 = (*.f64 #s(literal 2 binary64) (/.f64 %91 %92))
%103 = (/ 2 %65)
%115 = (/.f64 %53 x)
%117 = (*.f64 #s(literal 2 binary64) %42)
%122 = (/.f64 %91 x)
%155 = (*.f64 #s(literal 2 binary64) %70)
%174 = (*.f64 #s(literal 1/2 binary64) %45)
%175 = (*.f64 #s(literal 1/2 binary64) %70)
%179 = (/.f64 %83 y)
%183 = (/.f64 %92 %42)
%184 = (*.f64 #s(literal -2 binary64) %183)
%189 = (pow.f64 x #s(literal 4 binary64))
%191 = (*.f64 #s(literal -2 binary64) (/.f64 %189 %53))
%208 = (/.f64 %92 y)
%210 = (*.f64 #s(literal -2 binary64) %83)
%216 = (/.f64 %189 y)
%227 = (*.f64 #s(literal 2 binary64) %83)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (/ x y) %6)
(approx %8 (*.f64 #s(literal 2 binary64) x))
(approx %12 (*.f64 #s(literal 1/2 binary64) %14))
(approx %18 #s(literal -1 binary64))
(approx %18 %22)
(approx %25 %27)
(approx %25 (/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) x) (*.f64 #s(literal 1/2 binary64) y)) x))
(approx %34 (*.f64 #s(literal -2 binary64) x))
(approx %34 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) %6) #s(literal 2 binary64))))
(approx %34 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 x %42)) %46)) #s(literal 2 binary64))))
(approx %34 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 x %53)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) %42)))) %46)) #s(literal 2 binary64))))
(approx %65 (/.f64 #s(literal -1 binary64) x))
(approx %65 (/.f64 %22 x))
(approx %18 (*.f64 x %71))
(approx %25 #s(literal 1/2 binary64))
(approx %25 (+.f64 #s(literal 1/2 binary64) %27))
(approx %34 %77)
(approx %34 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 2 binary64) %79)))
(approx %34 (-.f64 (fma.f64 #s(literal 2 binary64) y %85) (*.f64 #s(literal -2 binary64) %79)))
(approx %34 (-.f64 (fma.f64 #s(literal 2 binary64) y %94) (fma.f64 #s(literal -2 binary64) %79 (*.f64 #s(literal -2 binary64) %84))))
(approx %65 %45)
(approx %65 %71)
(approx %103 (fma.f64 #s(literal 2 binary64) y (fma.f64 #s(literal 2 binary64) %79 %85)))
(approx %103 (fma.f64 #s(literal 2 binary64) y (fma.f64 #s(literal 2 binary64) %79 (fma.f64 #s(literal 2 binary64) %84 %94))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %70 %45))))
(approx %34 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -2 binary64) %115) %117) x) %77))
(approx %34 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 2 binary64) %122) (*.f64 #s(literal -2 binary64) %53)) x)) %117) x) %77))
(approx %103 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) %115 (*.f64 #s(literal -2 binary64) %42)) x) %77))
(approx %103 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) %42 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) %122 (*.f64 #s(literal 2 binary64) %53)) x))) x) %77))
(approx y y)
(approx %18 (/.f64 (+.f64 x (*.f64 #s(literal -1 binary64) y)) y))
(approx %34 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %14))))
(approx %34 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 y (fma.f64 #s(literal 2 binary64) (/.f64 y %83) %155)))))
(approx %34 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 y (fma.f64 y (fma.f64 #s(literal 2 binary64) (/.f64 y %92) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) %83))) %155)))))
(approx %65 (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %14)) y))
(approx %25 (*.f64 y (-.f64 %174 %175)))
(approx %34 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %179)))
(approx %34 (-.f64 (fma.f64 #s(literal -2 binary64) x %184) (*.f64 #s(literal 2 binary64) %179)))
(approx %34 (-.f64 (fma.f64 #s(literal -2 binary64) x %191) (fma.f64 #s(literal 2 binary64) %179 (*.f64 #s(literal 2 binary64) %183))))
(approx %103 (fma.f64 #s(literal -2 binary64) x (fma.f64 #s(literal -2 binary64) %179 %184)))
(approx %103 (fma.f64 #s(literal -2 binary64) x (fma.f64 #s(literal -2 binary64) %179 (fma.f64 #s(literal -2 binary64) %183 %191))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %175 %174))))
(approx %34 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 2 binary64) %208) %210) y))))
(approx %34 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -2 binary64) %216) (*.f64 #s(literal 2 binary64) %92)) y)) %210) y))))
(approx %103 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) %208 %227) y))))
(approx %103 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -2 binary64) %216 (*.f64 #s(literal -2 binary64) %92)) y) %227) y))))
Calls
6 calls:
TimeVariablePoint
6.0ms
y
inf
2.0ms
x
0
2.0ms
x
-inf
2.0ms
x
inf
2.0ms
y
-inf
rewrite117.0ms (6.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01464
02164
19264
234064
3197364
0599864
0629062
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
12 → 580
Calls
Call 1
Inputs
%3 = (/.f64 x y)
%5 = (+.f64 x x)
%6 = (/.f64 y %5)
%9 = (approx (/ (- x y) y) %3)
%10 = (-.f64 #s(literal 1/2 binary64) %6)
%12 = (/.f64 %9 x)
x
#s(literal 2 binary64)
y
%3
#s(literal 1/2 binary64)
%5
%6
%9
%10
(/.f64 y %10)
%12
(/.f64 #s(literal 2 binary64) %12)
Outputs
%4 = (/.f64 #s(literal -1 binary64) y)
%5 = (neg.f64 x)
%8 = (/.f64 #s(literal 1 binary64) y)
%11 = (/.f64 x y)
%15 = (*.f64 %5 #s(literal 1 binary64))
%18 = (*.f64 x #s(literal -1 binary64))
%21 = (neg.f64 y)
%24 = (/.f64 %5 y)
%25 = (*.f64 %24 y)
%30 = (/.f64 y x)
%36 = (+.f64 x x)
%40 = (/.f64 #s(literal 1/2 binary64) x)
%43 = (*.f64 #s(literal 1 binary64) %36)
%45 = (*.f64 #s(literal -2 binary64) x)
%46 = (*.f64 #s(literal 1 binary64) %45)
%47 = (*.f64 #s(literal 2 binary64) %46)
%51 = (*.f64 x %21)
%53 = (*.f64 %21 %46)
%55 = (*.f64 %21 #s(literal 2 binary64))
%57 = (*.f64 %21 x)
%61 = (*.f64 %5 y)
%65 = (*.f64 y x)
%69 = (*.f64 y #s(literal 2 binary64))
%71 = (*.f64 %36 #s(literal 2 binary64))
%75 = (/.f64 #s(literal -1/2 binary64) x)
%81 = (*.f64 y #s(literal 1/2 binary64))
%82 = (/.f64 #s(literal 1 binary64) x)
%87 = (/.f64 y %36)
%91 = (*.f64 #s(literal 1/2 binary64) y)
%96 = (*.f64 #s(literal -1 binary64) y)
%97 = (neg.f64 %96)
%99 = (*.f64 y #s(literal -1 binary64))
%100 = (neg.f64 %99)
%102 = (neg.f64 %81)
%107 = (/.f64 y #s(literal -2 binary64))
%123 = (/.f64 y %45)
%127 = (approx (/ (- x y) y) %11)
%132 = (*.f64 %127 y)
%137 = (*.f64 %127 %21)
%144 = (/.f64 #s(literal 1 binary64) %127)
%146 = (neg.f64 %127)
%148 = (-.f64 x y)
%149 = (*.f64 %148 #s(literal 1/2 binary64))
%151 = (-.f64 y x)
%155 = (fma.f64 %75 y #s(literal 1/2 binary64))
%157 = (*.f64 #s(literal 1/2 binary64) x)
%158 = (*.f64 %157 %45)
%161 = (*.f64 x %45)
%163 = (*.f64 %157 x)
%166 = (*.f64 x x)
%171 = (*.f64 %157 %5)
%174 = (*.f64 x %5)
%189 = (*.f64 x %36)
%191 = (*.f64 %5 %45)
%194 = (*.f64 %36 %36)
%196 = (*.f64 %5 x)
%199 = (*.f64 %45 x)
%203 = (*.f64 %45 #s(literal 2 binary64))
%221 = (*.f64 %36 %45)
%225 = (*.f64 %36 x)
%232 = (*.f64 %36 %5)
%240 = (/.f64 %21 x)
%254 = (*.f64 %21 #s(literal -1 binary64))
%256 = (*.f64 %45 #s(literal -1 binary64))
%260 = (*.f64 %45 #s(literal 1 binary64))
%262 = (*.f64 %45 #s(literal -2 binary64))
%264 = (*.f64 %21 #s(literal 1/2 binary64))
%296 = (*.f64 #s(literal -1 binary64) %45)
%299 = (*.f64 #s(literal -2 binary64) %45)
%307 = (*.f64 #s(literal -1 binary64) %5)
%325 = (*.f64 %21 %45)
%328 = (*.f64 %55 %45)
%332 = (*.f64 %55 x)
%338 = (*.f64 %21 %5)
%341 = (*.f64 %55 %5)
%362 = (*.f64 #s(literal 2 binary64) %45)
%382 = (*.f64 #s(literal 1/2 binary64) %5)
%395 = (*.f64 y %45)
%398 = (*.f64 %69 %45)
%402 = (*.f64 %69 x)
%410 = (*.f64 %69 %5)
%424 = (*.f64 y %36)
%431 = (*.f64 %45 %5)
%445 = (/.f64 %148 x)
%448 = (fma.f64 %123 #s(literal 2 binary64) #s(literal 1 binary64))
%451 = (fma.f64 %21 #s(literal 2 binary64) %43)
%453 = (neg.f64 %71)
%455 = (fma.f64 y #s(literal 2 binary64) %46)
%457 = (neg.f64 %203)
%459 = (fma.f64 #s(literal 1 binary64) %36 %55)
%461 = (*.f64 #s(literal 2 binary64) %36)
%462 = (neg.f64 %461)
%464 = (fma.f64 #s(literal 1 binary64) %45 %69)
%466 = (neg.f64 %362)
%468 = (fma.f64 %21 #s(literal 2 binary64) %36)
%471 = (fma.f64 y #s(literal 2 binary64) %260)
%474 = (*.f64 #s(literal 2 binary64) %21)
%475 = (fma.f64 #s(literal 1 binary64) %36 %474)
%478 = (*.f64 #s(literal 2 binary64) y)
%479 = (fma.f64 #s(literal 1 binary64) %45 %478)
%483 = (-.f64 %166 (*.f64 %36 %81))
%488 = (-.f64 %161 (*.f64 %36 %21))
%492 = (*.f64 %36 y)
%493 = (-.f64 %189 %492)
%498 = (-.f64 x (*.f64 #s(literal 2 binary64) %81))
%501 = (-.f64 %46 %474)
%504 = (-.f64 %43 %478)
%507 = (*.f64 %148 #s(literal -1 binary64))
%510 = (neg.f64 %149)
%517 = (/.f64 %151 #s(literal 2 binary64))
%541 = (/.f64 %36 %148)
%543 = (fma.f64 %30 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%552 = (/.f64 y %148)
%557 = (*.f64 %552 x)
%559 = (/.f64 y %151)
%563 = (*.f64 %552 %36)
%564 = (/.f64 %36 %151)
%599 = (*.f64 x %552)
%603 = (/.f64 #s(literal -1 binary64) x)
%607 = (/.f64 %127 x)
%611 = (*.f64 #s(literal -1 binary64) %127)
%614 = (*.f64 %127 #s(literal -1 binary64))
%617 = (*.f64 %146 #s(literal 1 binary64))
%625 = (/.f64 x %127)
%627 = (neg.f64 %607)
%629 = (/.f64 #s(literal -2 binary64) %127)
%632 = (/.f64 %629 #s(literal -1 binary64))
%634 = (/.f64 #s(literal -2 binary64) %603)
%636 = (/.f64 #s(literal -1 binary64) %127)
%639 = (/.f64 %5 %127)
%642 = (/.f64 #s(literal 2 binary64) %127)
%647 = (/.f64 %36 %127)
%654 = (*.f64 %21 %625)
%658 = (*.f64 %21 %82)
%661 = (*.f64 %21 %144)
%663 = (*.f64 %21 %603)
%667 = (*.f64 %21 %607)
%671 = (*.f64 %21 %127)
%673 = (*.f64 %21 %627)
%675 = (*.f64 y y)
%677 = (*.f64 %21 %673)
%682 = (*.f64 y %627)
%684 = (*.f64 %21 y)
%686 = (*.f64 %21 %682)
%690 = (*.f64 %21 %146)
%692 = (*.f64 y %625)
%696 = (*.f64 y %82)
%699 = (*.f64 y %144)
%701 = (*.f64 y %603)
%705 = (*.f64 y %607)
%709 = (*.f64 y %127)
%713 = (*.f64 y %673)
%720 = (*.f64 y %682)
%724 = (*.f64 y %146)
%726 = (/.f64 %636 #s(literal -1 binary64))
%728 = (*.f64 %82 %636)
%730 = (*.f64 %603 %603)
%733 = (*.f64 %82 %144)
%735 = (*.f64 %82 %603)
%738 = (*.f64 %82 #s(literal -1 binary64))
%740 = (*.f64 %82 %607)
%743 = (*.f64 %82 %5)
%747 = (*.f64 %82 %21)
%749 = (*.f64 %82 %673)
%753 = (*.f64 %82 %627)
%756 = (*.f64 %82 y)
%758 = (*.f64 %82 %682)
%1040 = (*.f64 %144 %82)
%1046 = (*.f64 %144 %607)
%1054 = (*.f64 %144 %627)
%1060 = (*.f64 %144 %146)
%1145 = (*.f64 %627 %82)
%1147 = (*.f64 %627 %144)
%1151 = (*.f64 #s(literal -1 binary64) %607)
%1152 = (*.f64 %627 #s(literal -1 binary64))
%1154 = (*.f64 %627 %607)
%1156 = (*.f64 %627 %5)
%1158 = (*.f64 %627 %127)
%1165 = (*.f64 #s(literal -1 binary64) %627)
%1166 = (*.f64 %627 #s(literal 1 binary64))
%1168 = (*.f64 %607 %607)
%1175 = (*.f64 #s(literal -1 binary64) %146)
%1176 = (*.f64 %627 x)
%1178 = (*.f64 %627 %146)
%1180 = (*.f64 %5 %82)
%1185 = (*.f64 %146 %144)
%1188 = (*.f64 %5 %607)
%1189 = (*.f64 %146 #s(literal -1 binary64))
%1191 = (*.f64 %146 %607)
%1193 = (*.f64 %5 %127)
%1194 = (*.f64 %146 %5)
%1196 = (*.f64 %146 %127)
%1203 = (*.f64 %5 %627)
%1205 = (*.f64 %146 %627)
%1212 = (*.f64 %5 %146)
%1213 = (*.f64 %146 x)
%1215 = (*.f64 %127 %127)
%1251 = (*.f64 %607 %82)
%1253 = (*.f64 %607 %144)
%1257 = (*.f64 %607 #s(literal -1 binary64))
%1260 = (*.f64 %607 %5)
%1262 = (*.f64 %607 %127)
%1269 = (*.f64 #s(literal 1 binary64) %627)
%1270 = (*.f64 %607 #s(literal 1 binary64))
%1272 = (*.f64 %607 %627)
%1279 = (*.f64 #s(literal 1 binary64) %146)
%1280 = (*.f64 %607 x)
%1282 = (*.f64 %607 %146)
%1322 = (*.f64 x %607)
%1324 = (*.f64 %127 %607)
%1326 = (*.f64 x %127)
%1327 = (*.f64 %127 %5)
%1334 = (*.f64 x %627)
%1336 = (*.f64 %127 %627)
%1342 = (*.f64 x %146)
%1343 = (*.f64 %127 x)
%1345 = (*.f64 %127 %146)
%1349 = (fma.f64 %625 %82 %144)
%1352 = (fma.f64 %625 %627 #s(literal -1 binary64))
%1355 = (fma.f64 %625 %146 %5)
%1358 = (fma.f64 %625 %127 x)
%1361 = (fma.f64 %144 %82 %1040)
%1363 = (neg.f64 %730)
%1365 = (fma.f64 %144 %627 %603)
%1367 = (neg.f64 %753)
%1369 = (fma.f64 %144 %146 %1180)
%1372 = (fma.f64 %144 %607 %82)
%1376 = (+.f64 %603 %1054)
%1378 = (neg.f64 %1145)
%1380 = (fma.f64 #s(literal -1 binary64) %627 %1165)
%1382 = (neg.f64 %1168)
%1384 = (fma.f64 #s(literal -1 binary64) %146 %1203)
%1386 = (neg.f64 %1178)
%1388 = (fma.f64 #s(literal -1 binary64) %607 %1269)
%1390 = (neg.f64 %1154)
%1392 = (fma.f64 #s(literal -1 binary64) %127 %1334)
%1394 = (neg.f64 %1158)
%1396 = (fma.f64 %5 %82 %1060)
%1399 = (fma.f64 %5 %627 %1175)
%1401 = (neg.f64 %1205)
%1403 = (fma.f64 %5 %146 %1212)
%1405 = (neg.f64 %1215)
%1407 = (fma.f64 %5 %607 %1279)
%1409 = (neg.f64 %1191)
%1411 = (fma.f64 %5 %127 %1342)
%1413 = (neg.f64 %1196)
%1415 = (+.f64 %82 %1046)
%1417 = (neg.f64 %1251)
%1419 = (fma.f64 #s(literal 1 binary64) %627 %1151)
%1421 = (neg.f64 %1272)
%1423 = (fma.f64 #s(literal 1 binary64) %146 %1188)
%1425 = (neg.f64 %1282)
%1427 = (+.f64 %607 %607)
%1430 = (+.f64 %127 %1322)
%1432 = (neg.f64 %1262)
%1434 = (fma.f64 x %627 %611)
%1436 = (neg.f64 %1336)
%1438 = (fma.f64 x %146 %1193)
%1440 = (neg.f64 %1345)
%1442 = (fma.f64 x %607 %127)
%1446 = (fma.f64 x %127 %1326)
%1451 = (fma.f64 %144 %82 %733)
%1454 = (fma.f64 %144 %627 %738)
%1457 = (fma.f64 %144 %146 %743)
%1460 = (+.f64 %603 %1147)
%1463 = (fma.f64 #s(literal -1 binary64) %627 %1152)
%1466 = (fma.f64 #s(literal -1 binary64) %146 %1156)
%1469 = (fma.f64 #s(literal -1 binary64) %607 %1166)
%1472 = (fma.f64 #s(literal -1 binary64) %127 %1176)
%1475 = (fma.f64 %5 %82 %1185)
%1478 = (fma.f64 %5 %627 %1189)
%1481 = (fma.f64 %5 %146 %1194)
%1484 = (fma.f64 %5 %607 %617)
%1487 = (fma.f64 %5 %127 %1213)
%1490 = (+.f64 %82 %1253)
%1493 = (fma.f64 #s(literal 1 binary64) %627 %1257)
%1496 = (fma.f64 #s(literal 1 binary64) %146 %1260)
%1499 = (+.f64 %607 %1270)
%1502 = (+.f64 %127 %1280)
%1505 = (fma.f64 x %627 %614)
%1508 = (fma.f64 x %146 %1327)
%1511 = (fma.f64 x %127 %1343)
%1602 = (/.f64 #s(literal 1/2 binary64) %127)
%1604 = (/.f64 #s(literal -1/2 binary64) %603)
x
#s(literal 2 binary64)
y
(*.f64 %4 %5)
(*.f64 %8 x)
(*.f64 %5 %4)
(*.f64 #s(literal 1 binary64) %11)
(*.f64 x %8)
(pow.f64 %11 #s(literal 1 binary64))
(/.f64 (neg.f64 %15) y)
(/.f64 (neg.f64 %18) y)
(/.f64 %15 %21)
(/.f64 %18 %21)
(/.f64 %25 %21)
(/.f64 %5 %21)
(/.f64 #s(literal 1 binary64) (pow.f64 %11 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %30)
%11
(neg.f64 %24)
#s(literal 1/2 binary64)
(*.f64 #s(literal -2 binary64) %5)
(*.f64 %36 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %40 #s(literal -1 binary64))
(pow.f64 %36 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %43 #s(literal 2 binary64)) %47) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %51 #s(literal 2 binary64)) %53) %55)
(/.f64 (-.f64 (*.f64 %57 #s(literal 2 binary64)) %53) %55)
(/.f64 (-.f64 (*.f64 %61 #s(literal 2 binary64)) %53) %55)
(/.f64 (-.f64 (*.f64 %65 #s(literal 2 binary64)) (*.f64 y %46)) %69)
(/.f64 (-.f64 %71 %47) #s(literal 4 binary64))
(/.f64 #s(literal -1 binary64) %75)
(/.f64 #s(literal 1 binary64) %40)
(neg.f64 %45)
(-.f64 x %5)
%36
(*.f64 %30 #s(literal 1/2 binary64))
(*.f64 %81 %82)
(*.f64 %75 %21)
(*.f64 %40 y)
(*.f64 %21 %75)
(*.f64 #s(literal 1 binary64) %87)
(*.f64 y %40)
(pow.f64 %87 #s(literal 1 binary64))
(/.f64 (neg.f64 %91) %5)
(/.f64 (neg.f64 %30) #s(literal -2 binary64))
(/.f64 %97 %36)
(/.f64 %100 %36)
(/.f64 (neg.f64 %102) x)
(/.f64 %96 %45)
(/.f64 %91 x)
(/.f64 %107 %25)
(/.f64 %107 %5)
(/.f64 %30 #s(literal 2 binary64))
(/.f64 %99 %45)
(/.f64 %102 %5)
(/.f64 %81 x)
(/.f64 %21 %45)
(/.f64 #s(literal 1 binary64) (pow.f64 %87 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %81))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %21))
(/.f64 #s(literal 1 binary64) (/.f64 %36 y))
%87
(neg.f64 %123)
(*.f64 (*.f64 %127 #s(literal 1/2 binary64)) #s(literal 2 binary64))
(*.f64 (*.f64 %127 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 %132 %8)
(*.f64 #s(literal 1 binary64) %127)
(*.f64 %127 #s(literal 1 binary64))
(pow.f64 %127 #s(literal 1 binary64))
%127
(/.f64 (neg.f64 %137) y)
(/.f64 (neg.f64 %132) %21)
(/.f64 %137 %21)
(/.f64 %132 y)
(/.f64 #s(literal 1 binary64) %144)
(neg.f64 %146)
(*.f64 %149 %82)
(*.f64 %151 %75)
(*.f64 %40 %148)
(*.f64 %148 %40)
(pow.f64 %155 #s(literal 1 binary64))
(/.f64 (-.f64 %158 (*.f64 x %96)) %161)
(/.f64 (-.f64 %163 (*.f64 x %91)) %166)
(/.f64 (-.f64 x (*.f64 x %30)) %36)
(/.f64 (-.f64 %171 (*.f64 x %107)) %174)
(/.f64 (-.f64 %158 (*.f64 x %99)) %161)
(/.f64 (-.f64 %171 (*.f64 x %102)) %174)
(/.f64 (-.f64 %163 (*.f64 x %81)) %166)
(/.f64 (-.f64 %158 %51) %161)
(/.f64 (-.f64 (*.f64 %157 %36) %65) %189)
(/.f64 (-.f64 %191 (*.f64 %45 %96)) %194)
(/.f64 (-.f64 %196 (*.f64 %45 %91)) %199)
(/.f64 (-.f64 %45 (*.f64 %45 %30)) %203)
(/.f64 (-.f64 %191 (*.f64 %45 %99)) %194)
(/.f64 (-.f64 %196 (*.f64 %45 %81)) %199)
(/.f64 (-.f64 %191 (*.f64 %45 %21)) %194)
(/.f64 (-.f64 (*.f64 %5 %36) (*.f64 %45 y)) (*.f64 %45 %36))
(/.f64 (-.f64 %161 (*.f64 %36 %96)) %221)
(/.f64 (-.f64 %166 (*.f64 %36 %91)) %225)
(/.f64 (-.f64 %36 (*.f64 %36 %30)) %71)
(/.f64 (-.f64 %174 (*.f64 %36 %107)) %232)
(/.f64 (-.f64 %161 (*.f64 %36 %99)) %221)
(/.f64 (-.f64 %174 (*.f64 %36 %102)) %232)
(/.f64 (-.f64 (*.f64 %240 #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %240 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %107 #s(literal 2 binary64)) %18) %36)
(/.f64 (-.f64 (*.f64 %107 #s(literal -2 binary64)) x) %45)
(/.f64 (-.f64 (*.f64 %254 #s(literal 2 binary64)) %256) %203)
(/.f64 (-.f64 (*.f64 %254 #s(literal -2 binary64)) %260) %262)
(/.f64 (-.f64 (*.f64 %264 #s(literal 2 binary64)) %18) %36)
(/.f64 (-.f64 (*.f64 %264 #s(literal -2 binary64)) x) %45)
(/.f64 (-.f64 (*.f64 %102 #s(literal 2 binary64)) %18) %36)
(/.f64 (-.f64 (*.f64 %102 #s(literal -2 binary64)) x) %45)
(/.f64 (-.f64 y (*.f64 %5 #s(literal -1 binary64))) %45)
(/.f64 (-.f64 (*.f64 %81 #s(literal -2 binary64)) %15) (*.f64 %5 #s(literal -2 binary64)))
(/.f64 (-.f64 %55 (*.f64 %36 #s(literal -1 binary64))) %71)
(/.f64 (-.f64 (*.f64 %21 #s(literal -2 binary64)) %36) (*.f64 %36 #s(literal -2 binary64)))
(/.f64 (-.f64 %69 %256) %203)
(/.f64 (-.f64 (*.f64 y #s(literal -2 binary64)) %260) %262)
(/.f64 (-.f64 %296 (*.f64 #s(literal -2 binary64) %96)) %299)
(/.f64 (-.f64 %5 (*.f64 #s(literal -2 binary64) %91)) %45)
(/.f64 (-.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %30)) #s(literal -4 binary64))
(/.f64 (-.f64 %307 (*.f64 #s(literal -2 binary64) %107)) %36)
(/.f64 (-.f64 %296 (*.f64 #s(literal -2 binary64) %99)) %299)
(/.f64 (-.f64 %307 (*.f64 #s(literal -2 binary64) %102)) %36)
(/.f64 (-.f64 %296 (*.f64 #s(literal -2 binary64) %21)) %299)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %36) (*.f64 #s(literal -2 binary64) y)) (*.f64 #s(literal -2 binary64) %36))
(/.f64 (-.f64 %325 (*.f64 %55 %96)) %328)
(/.f64 (-.f64 %57 (*.f64 %55 %91)) %332)
(/.f64 (-.f64 %55 (*.f64 %55 %30)) (*.f64 %55 #s(literal 2 binary64)))
(/.f64 (-.f64 %338 (*.f64 %55 %107)) %341)
(/.f64 (-.f64 %325 (*.f64 %55 %99)) %328)
(/.f64 (-.f64 %338 (*.f64 %55 %102)) %341)
(/.f64 (-.f64 %57 (*.f64 %55 %81)) %332)
(/.f64 (-.f64 %325 (*.f64 %55 %21)) %328)
(/.f64 (-.f64 (*.f64 %21 %36) (*.f64 %55 y)) (*.f64 %55 %36))
(/.f64 (-.f64 %46 (*.f64 #s(literal 2 binary64) %96)) %362)
(/.f64 (-.f64 x (*.f64 #s(literal 2 binary64) %91)) %36)
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %30)) #s(literal 4 binary64))
(/.f64 (-.f64 %46 (*.f64 #s(literal 2 binary64) %99)) %362)
(/.f64 (-.f64 %5 (*.f64 #s(literal 1 binary64) %96)) %46)
(/.f64 (-.f64 %157 (*.f64 #s(literal 1 binary64) %91)) x)
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) %30)) #s(literal 2 binary64))
(/.f64 (-.f64 %382 (*.f64 #s(literal 1 binary64) %107)) %5)
(/.f64 (-.f64 %5 (*.f64 #s(literal 1 binary64) %99)) %46)
(/.f64 (-.f64 %382 (*.f64 #s(literal 1 binary64) %102)) %5)
(/.f64 (-.f64 %157 (*.f64 #s(literal 1 binary64) %81)) x)
(/.f64 (-.f64 %395 (*.f64 %69 %96)) %398)
(/.f64 (-.f64 %65 (*.f64 %69 %91)) %402)
(/.f64 (-.f64 %69 (*.f64 %69 %30)) (*.f64 %69 #s(literal 2 binary64)))
(/.f64 (-.f64 %61 (*.f64 %69 %107)) %410)
(/.f64 (-.f64 %395 (*.f64 %69 %99)) %398)
(/.f64 (-.f64 %61 (*.f64 %69 %102)) %410)
(/.f64 (-.f64 %65 (*.f64 %69 %81)) %402)
(/.f64 (-.f64 %395 (*.f64 %69 %21)) %398)
(/.f64 (-.f64 %424 (*.f64 %69 y)) (*.f64 %69 %36))
(/.f64 (-.f64 %166 (*.f64 %45 %107)) %431)
(/.f64 (-.f64 %166 (*.f64 %45 %102)) %431)
(/.f64 (-.f64 %5 (*.f64 #s(literal 2 binary64) %107)) %45)
(/.f64 (-.f64 %5 (*.f64 #s(literal 2 binary64) %102)) %45)
(/.f64 (-.f64 %5 (*.f64 #s(literal -2 binary64) %81)) %45)
(/.f64 (neg.f64 %445) #s(literal -2 binary64))
(/.f64 (neg.f64 %448) #s(literal -2 binary64))
(/.f64 (neg.f64 %451) %453)
(/.f64 (neg.f64 %455) %457)
(/.f64 (neg.f64 %459) %462)
(/.f64 (neg.f64 %464) %466)
(/.f64 (neg.f64 %468) %453)
(/.f64 (neg.f64 %471) %457)
(/.f64 (neg.f64 %475) %462)
(/.f64 (neg.f64 %479) %466)
(/.f64 (neg.f64 %483) (neg.f64 %225))
(/.f64 (neg.f64 %488) (neg.f64 %221))
(/.f64 (neg.f64 %493) (neg.f64 %194))
(/.f64 (neg.f64 %498) %45)
(/.f64 (neg.f64 %501) %466)
(/.f64 (neg.f64 %504) %462)
(/.f64 (neg.f64 %507) %36)
(/.f64 (neg.f64 %510) x)
(/.f64 %507 %45)
(/.f64 %445 #s(literal 2 binary64))
(/.f64 (*.f64 %151 #s(literal 1 binary64)) %45)
(/.f64 %517 %25)
(/.f64 %517 %5)
(/.f64 %448 #s(literal 2 binary64))
(/.f64 %451 %71)
(/.f64 %455 %203)
(/.f64 %459 %461)
(/.f64 %464 %362)
(/.f64 %468 %71)
(/.f64 %471 %203)
(/.f64 %475 %461)
(/.f64 %479 %362)
(/.f64 %483 %225)
(/.f64 %488 %221)
(/.f64 %493 %194)
(/.f64 %498 %36)
(/.f64 %501 %362)
(/.f64 %504 %461)
(/.f64 %510 %5)
(/.f64 %149 x)
(/.f64 %151 %46)
(/.f64 %151 %45)
(/.f64 %148 %43)
(/.f64 %148 %36)
(/.f64 #s(literal 1 binary64) %541)
(neg.f64 %543)
%155
(fma.f64 %40 %21 #s(literal 1/2 binary64))
(fma.f64 %21 %40 #s(literal 1/2 binary64))
(fma.f64 y %75 #s(literal 1/2 binary64))
(-.f64 %123 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %87)
(+.f64 %123 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %123)
(*.f64 (*.f64 %552 #s(literal 2 binary64)) x)
(*.f64 (/.f64 y %149) x)
(*.f64 %557 #s(literal 2 binary64))
(*.f64 %559 %45)
(*.f64 (/.f64 #s(literal -1 binary64) %151) %492)
%563
(*.f64 %564 %21)
(*.f64 %541 y)
(*.f64 %21 %564)
(*.f64 #s(literal 1 binary64) %563)
(*.f64 %36 %552)
(*.f64 y %541)
(pow.f64 %563 #s(literal 1 binary64))
(/.f64 %97 %155)
(/.f64 (neg.f64 %492) %151)
(/.f64 (neg.f64 %424) %151)
(/.f64 (neg.f64 %552) %75)
(/.f64 %100 %155)
(/.f64 %96 %543)
(/.f64 %559 %75)
(/.f64 %492 %148)
(/.f64 %99 %543)
(/.f64 %424 %148)
(/.f64 %552 %40)
(/.f64 %21 %543)
(/.f64 #s(literal 1 binary64) (pow.f64 %563 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %543 %21))
(/.f64 #s(literal 1 binary64) (/.f64 %155 y))
(/.f64 y %155)
(neg.f64 (*.f64 %564 y))
(neg.f64 (*.f64 y %564))
(fma.f64 %552 x %557)
(fma.f64 x %552 %599)
(+.f64 %557 %557)
(+.f64 %599 %599)
(*.f64 %603 %146)
(*.f64 %82 %127)
(*.f64 %146 %603)
(*.f64 #s(literal 1 binary64) %607)
(*.f64 %127 %82)
(pow.f64 %607 #s(literal 1 binary64))
(/.f64 (neg.f64 %611) x)
(/.f64 (neg.f64 %614) x)
(/.f64 (neg.f64 %617) x)
(/.f64 %611 %5)
(/.f64 %617 %5)
(/.f64 %614 %5)
(/.f64 %146 %25)
(/.f64 %146 %5)
(/.f64 #s(literal 1 binary64) %625)
%607
(neg.f64 %627)
(*.f64 (/.f64 %629 #s(literal 1 binary64)) %5)
(*.f64 %632 x)
(*.f64 %634 %144)
(*.f64 %636 %45)
(*.f64 %629 %5)
(*.f64 %639 #s(literal -2 binary64))
(*.f64 %144 %36)
(*.f64 %642 x)
(*.f64 %625 #s(literal 2 binary64))
(*.f64 %5 %629)
(*.f64 #s(literal -2 binary64) %639)
(*.f64 #s(literal 1 binary64) %647)
(*.f64 %647 #s(literal 1 binary64))
(*.f64 %36 %144)
(*.f64 #s(literal 2 binary64) %625)
(*.f64 x %642)
(pow.f64 %647 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %654 %82) (*.f64 %21 %636)) %658)
(/.f64 (-.f64 (*.f64 %654 %603) %661) %663)
(/.f64 (-.f64 (*.f64 %654 %607) %254) %667)
(/.f64 (-.f64 (*.f64 %654 %127) %338) %671)
(/.f64 (-.f64 (*.f64 %654 %673) %675) %677)
(/.f64 (-.f64 (*.f64 %654 %627) %21) %673)
(/.f64 (-.f64 (*.f64 %654 %682) %684) %686)
(/.f64 (-.f64 (*.f64 %654 %146) %57) %690)
(/.f64 (-.f64 (*.f64 %692 %82) (*.f64 y %636)) %696)
(/.f64 (-.f64 (*.f64 %692 %603) %699) %701)
(/.f64 (-.f64 (*.f64 %692 %607) %99) %705)
(/.f64 (-.f64 (*.f64 %692 %127) %61) %709)
(/.f64 (-.f64 (*.f64 %692 %673) %684) %713)
(/.f64 (-.f64 (*.f64 %692 %627) y) %682)
(/.f64 (-.f64 (*.f64 %692 %682) %675) %720)
(/.f64 (-.f64 (*.f64 %692 %146) %65) %724)
(/.f64 (-.f64 (*.f64 %726 %82) %728) %730)
(/.f64 (-.f64 (*.f64 %726 %603) %733) %735)
(/.f64 (-.f64 (*.f64 %726 %607) %738) %740)
(/.f64 (-.f64 (*.f64 %726 %127) %743) %607)
(/.f64 (-.f64 (*.f64 %726 %673) %747) %749)
(/.f64 (-.f64 (*.f64 %726 %627) %82) %753)
(/.f64 (-.f64 (*.f64 %726 %682) %756) %758)
(/.f64 (-.f64 (*.f64 %726 %146) #s(literal 1 binary64)) %627)
(/.f64 (-.f64 (*.f64 %661 %82) (*.f64 %658 %636)) (*.f64 %658 %82))
(/.f64 (-.f64 (*.f64 %661 %603) (*.f64 %658 %144)) (*.f64 %658 %603))
(/.f64 (-.f64 (*.f64 %661 %607) (*.f64 %658 #s(literal -1 binary64))) (*.f64 %658 %607))
(/.f64 (-.f64 (*.f64 %661 %127) (*.f64 %658 %5)) (*.f64 %658 %127))
(/.f64 (-.f64 (*.f64 %661 %673) (*.f64 %658 %21)) (*.f64 %658 %673))
(/.f64 (-.f64 (*.f64 %661 %627) (*.f64 %658 #s(literal 1 binary64))) (*.f64 %658 %627))
(/.f64 (-.f64 (*.f64 %661 %682) (*.f64 %658 y)) (*.f64 %658 %682))
(/.f64 (-.f64 (*.f64 %661 %146) (*.f64 %658 x)) (*.f64 %658 %146))
(/.f64 (-.f64 (*.f64 %699 %82) (*.f64 %696 %636)) (*.f64 %696 %82))
(/.f64 (-.f64 (*.f64 %699 %603) (*.f64 %696 %144)) (*.f64 %696 %603))
(/.f64 (-.f64 (*.f64 %699 %607) (*.f64 %696 #s(literal -1 binary64))) (*.f64 %696 %607))
(/.f64 (-.f64 (*.f64 %699 %127) (*.f64 %696 %5)) (*.f64 %696 %127))
(/.f64 (-.f64 (*.f64 %699 %673) (*.f64 %696 %21)) (*.f64 %696 %673))
(/.f64 (-.f64 (*.f64 %699 %627) (*.f64 %696 #s(literal 1 binary64))) (*.f64 %696 %627))
(/.f64 (-.f64 (*.f64 %699 %682) (*.f64 %696 y)) (*.f64 %696 %682))
(/.f64 (-.f64 (*.f64 %699 %146) (*.f64 %696 x)) (*.f64 %696 %146))
(/.f64 (-.f64 (*.f64 %338 %82) (*.f64 %690 %636)) (*.f64 %690 %82))
(/.f64 (-.f64 (*.f64 %338 %603) (*.f64 %690 %144)) (*.f64 %690 %603))
(/.f64 (-.f64 (*.f64 %338 %607) (*.f64 %690 #s(literal -1 binary64))) (*.f64 %690 %607))
(/.f64 (-.f64 (*.f64 %338 %127) (*.f64 %690 %5)) (*.f64 %690 %127))
(/.f64 (-.f64 (*.f64 %338 %673) (*.f64 %690 %21)) (*.f64 %690 %673))
(/.f64 (-.f64 (*.f64 %338 %627) (*.f64 %690 #s(literal 1 binary64))) (*.f64 %690 %627))
(/.f64 (-.f64 (*.f64 %338 %682) (*.f64 %690 y)) (*.f64 %690 %682))
(/.f64 (-.f64 (*.f64 %338 %146) (*.f64 %690 x)) (*.f64 %690 %146))
(/.f64 (-.f64 (*.f64 %254 %82) (*.f64 %673 %636)) (*.f64 %673 %82))
(/.f64 (-.f64 (*.f64 %254 %603) (*.f64 %673 %144)) (*.f64 %673 %603))
(/.f64 (-.f64 (*.f64 %254 %607) (*.f64 %673 #s(literal -1 binary64))) (*.f64 %673 %607))
(/.f64 (-.f64 (*.f64 %254 %127) (*.f64 %673 %5)) (*.f64 %673 %127))
(/.f64 (-.f64 (*.f64 %254 %673) (*.f64 %673 %21)) (*.f64 %673 %673))
(/.f64 (-.f64 (*.f64 %254 %627) (*.f64 %673 #s(literal 1 binary64))) (*.f64 %673 %627))
(/.f64 (-.f64 (*.f64 %254 %682) (*.f64 %673 y)) (*.f64 %673 %682))
(/.f64 (-.f64 (*.f64 %254 %146) (*.f64 %673 x)) (*.f64 %673 %146))
(/.f64 (-.f64 (*.f64 %57 %82) (*.f64 %671 %636)) (*.f64 %671 %82))
(/.f64 (-.f64 (*.f64 %57 %603) (*.f64 %671 %144)) (*.f64 %671 %603))
(/.f64 (-.f64 (*.f64 %57 %607) (*.f64 %671 #s(literal -1 binary64))) (*.f64 %671 %607))
(/.f64 (-.f64 (*.f64 %57 %127) (*.f64 %671 %5)) (*.f64 %671 %127))
(/.f64 (-.f64 (*.f64 %57 %673) (*.f64 %671 %21)) (*.f64 %671 %673))
(/.f64 (-.f64 (*.f64 %57 %627) (*.f64 %671 #s(literal 1 binary64))) (*.f64 %671 %627))
(/.f64 (-.f64 (*.f64 %57 %682) (*.f64 %671 y)) (*.f64 %671 %682))
(/.f64 (-.f64 (*.f64 %57 %146) (*.f64 %671 x)) (*.f64 %671 %146))
(/.f64 (-.f64 (*.f64 %99 %82) (*.f64 %682 %636)) (*.f64 %682 %82))
(/.f64 (-.f64 (*.f64 %99 %603) (*.f64 %682 %144)) (*.f64 %682 %603))
(/.f64 (-.f64 (*.f64 %99 %607) (*.f64 %682 #s(literal -1 binary64))) (*.f64 %682 %607))
(/.f64 (-.f64 (*.f64 %99 %127) (*.f64 %682 %5)) (*.f64 %682 %127))
(/.f64 (-.f64 (*.f64 %99 %673) (*.f64 %682 %21)) (*.f64 %682 %673))
(/.f64 (-.f64 (*.f64 %99 %627) (*.f64 %682 #s(literal 1 binary64))) (*.f64 %682 %627))
(/.f64 (-.f64 (*.f64 %99 %682) (*.f64 %682 y)) (*.f64 %682 %682))
(/.f64 (-.f64 (*.f64 %99 %146) (*.f64 %682 x)) (*.f64 %682 %146))
(/.f64 (-.f64 (*.f64 %636 %82) (*.f64 %603 %636)) (*.f64 %603 %82))
(/.f64 (-.f64 (*.f64 %636 %603) (*.f64 %603 %144)) %730)
(/.f64 (-.f64 (*.f64 %636 %607) (*.f64 %603 #s(literal -1 binary64))) (*.f64 %603 %607))
(/.f64 (-.f64 (*.f64 %636 %127) (*.f64 %603 %5)) %627)
(/.f64 (-.f64 (*.f64 %636 %673) (*.f64 %603 %21)) (*.f64 %603 %673))
(/.f64 (-.f64 (*.f64 %636 %627) (*.f64 %603 #s(literal 1 binary64))) (*.f64 %603 %627))
(/.f64 (-.f64 (*.f64 %636 %682) (*.f64 %603 y)) (*.f64 %603 %682))
(/.f64 (-.f64 (*.f64 %636 %146) (*.f64 %603 x)) %607)
(/.f64 (-.f64 %1040 %728) %730)
(/.f64 (-.f64 (*.f64 %144 %603) %733) %735)
(/.f64 (-.f64 %1046 %738) %740)
(/.f64 (-.f64 #s(literal 1 binary64) %743) %607)
(/.f64 (-.f64 (*.f64 %144 %673) %747) %749)
(/.f64 (-.f64 %1054 %82) %753)
(/.f64 (-.f64 (*.f64 %144 %682) %756) %758)
(/.f64 (-.f64 %1060 #s(literal 1 binary64)) %627)
(/.f64 (-.f64 (*.f64 %61 %82) (*.f64 %724 %636)) (*.f64 %724 %82))
(/.f64 (-.f64 (*.f64 %61 %603) (*.f64 %724 %144)) (*.f64 %724 %603))
(/.f64 (-.f64 (*.f64 %61 %607) (*.f64 %724 #s(literal -1 binary64))) (*.f64 %724 %607))
(/.f64 (-.f64 (*.f64 %61 %127) (*.f64 %724 %5)) (*.f64 %724 %127))
(/.f64 (-.f64 (*.f64 %61 %673) (*.f64 %724 %21)) (*.f64 %724 %673))
(/.f64 (-.f64 (*.f64 %61 %627) (*.f64 %724 #s(literal 1 binary64))) (*.f64 %724 %627))
(/.f64 (-.f64 (*.f64 %61 %682) (*.f64 %724 y)) (*.f64 %724 %682))
(/.f64 (-.f64 (*.f64 %61 %146) (*.f64 %724 x)) (*.f64 %724 %146))
(/.f64 (-.f64 (*.f64 %65 %82) (*.f64 %709 %636)) (*.f64 %709 %82))
(/.f64 (-.f64 (*.f64 %65 %603) (*.f64 %709 %144)) (*.f64 %709 %603))
(/.f64 (-.f64 (*.f64 %65 %607) (*.f64 %709 #s(literal -1 binary64))) (*.f64 %709 %607))
(/.f64 (-.f64 (*.f64 %65 %127) (*.f64 %709 %5)) (*.f64 %709 %127))
(/.f64 (-.f64 (*.f64 %65 %673) (*.f64 %709 %21)) (*.f64 %709 %673))
(/.f64 (-.f64 (*.f64 %65 %627) (*.f64 %709 #s(literal 1 binary64))) (*.f64 %709 %627))
(/.f64 (-.f64 (*.f64 %65 %682) (*.f64 %709 y)) (*.f64 %709 %682))
(/.f64 (-.f64 (*.f64 %65 %146) (*.f64 %709 x)) (*.f64 %709 %146))
(/.f64 (-.f64 %603 (*.f64 %627 %636)) %1145)
(/.f64 (-.f64 %82 %1147) (*.f64 %627 %603))
(/.f64 (-.f64 %1151 %1152) %1154)
(/.f64 (-.f64 %611 %1156) %1158)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %673) (*.f64 %627 %21)) (*.f64 %627 %673))
(/.f64 (-.f64 %1165 %1166) %1168)
(/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %682) (*.f64 %627 y)) (*.f64 %627 %682))
(/.f64 (-.f64 %1175 %1176) %1178)
(/.f64 (-.f64 %1180 (*.f64 %146 %636)) %627)
(/.f64 (-.f64 (*.f64 %5 %603) %1185) %607)
(/.f64 (-.f64 %1188 %1189) %1191)
(/.f64 (-.f64 %1193 %1194) %1196)
(/.f64 (-.f64 (*.f64 %5 %673) (*.f64 %146 %21)) (*.f64 %146 %673))
(/.f64 (-.f64 %1203 %617) %1205)
(/.f64 (-.f64 (*.f64 %5 %682) (*.f64 %146 y)) (*.f64 %146 %682))
(/.f64 (-.f64 %1212 %1213) %1215)
(/.f64 (-.f64 %658 (*.f64 %667 %636)) (*.f64 %667 %82))
(/.f64 (-.f64 %663 (*.f64 %667 %144)) (*.f64 %667 %603))
(/.f64 (-.f64 %667 (*.f64 %667 #s(literal -1 binary64))) (*.f64 %667 %607))
(/.f64 (-.f64 %671 (*.f64 %667 %5)) (*.f64 %667 %127))
(/.f64 (-.f64 %677 (*.f64 %667 %21)) (*.f64 %667 %673))
(/.f64 (-.f64 %673 (*.f64 %667 #s(literal 1 binary64))) (*.f64 %667 %627))
(/.f64 (-.f64 %686 (*.f64 %667 y)) (*.f64 %667 %682))
(/.f64 (-.f64 %690 (*.f64 %667 x)) (*.f64 %667 %146))
(/.f64 (-.f64 %82 (*.f64 %607 %636)) %1251)
(/.f64 (-.f64 %603 %1253) (*.f64 %607 %603))
(/.f64 (-.f64 %607 %1257) %1168)
(/.f64 (-.f64 %127 %1260) %1262)
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %673) (*.f64 %607 %21)) (*.f64 %607 %673))
(/.f64 (-.f64 %1269 %1270) %1272)
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) %682) (*.f64 %607 y)) (*.f64 %607 %682))
(/.f64 (-.f64 %1279 %1280) %1282)
(/.f64 (-.f64 %696 (*.f64 %705 %636)) (*.f64 %705 %82))
(/.f64 (-.f64 %701 (*.f64 %705 %144)) (*.f64 %705 %603))
(/.f64 (-.f64 %705 (*.f64 %705 #s(literal -1 binary64))) (*.f64 %705 %607))
(/.f64 (-.f64 %709 (*.f64 %705 %5)) (*.f64 %705 %127))
(/.f64 (-.f64 %713 (*.f64 %705 %21)) (*.f64 %705 %673))
(/.f64 (-.f64 %682 (*.f64 %705 #s(literal 1 binary64))) (*.f64 %705 %627))
(/.f64 (-.f64 %720 (*.f64 %705 y)) (*.f64 %705 %682))
(/.f64 (-.f64 %724 (*.f64 %705 x)) (*.f64 %705 %146))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 %127 %636)) %607)
(/.f64 (-.f64 (*.f64 x %603) #s(literal 1 binary64)) %627)
(/.f64 (-.f64 %1322 %614) %1324)
(/.f64 (-.f64 %1326 %1327) %1215)
(/.f64 (-.f64 (*.f64 x %673) %137) (*.f64 %127 %673))
(/.f64 (-.f64 %1334 %127) %1336)
(/.f64 (-.f64 (*.f64 x %682) %132) (*.f64 %127 %682))
(/.f64 (-.f64 %1342 %1343) %1345)
(/.f64 (neg.f64 %632) %603)
(/.f64 (neg.f64 %1349) %603)
(/.f64 (neg.f64 %1352) %607)
(/.f64 (neg.f64 %1355) %127)
(/.f64 (neg.f64 %1358) %146)
(/.f64 (neg.f64 %1361) %1363)
(/.f64 (neg.f64 %1365) %1367)
(/.f64 (neg.f64 %1369) %607)
(/.f64 (neg.f64 %1372) (neg.f64 %740))
(/.f64 (neg.f64 %1376) %1378)
(/.f64 (neg.f64 %1380) %1382)
(/.f64 (neg.f64 %1384) %1386)
(/.f64 (neg.f64 %1388) %1390)
(/.f64 (neg.f64 %1392) %1394)
(/.f64 (neg.f64 %1396) %607)
(/.f64 (neg.f64 %1399) %1401)
(/.f64 (neg.f64 %1403) %1405)
(/.f64 (neg.f64 %1407) %1409)
(/.f64 (neg.f64 %1411) %1413)
(/.f64 (neg.f64 %1415) %1417)
(/.f64 (neg.f64 %1419) %1421)
(/.f64 (neg.f64 %1423) %1425)
(/.f64 (neg.f64 %1427) %1382)
(/.f64 (neg.f64 %1430) %1432)
(/.f64 (neg.f64 %1434) %1436)
(/.f64 (neg.f64 %1438) %1440)
(/.f64 (neg.f64 %1442) (neg.f64 %1324))
(/.f64 (neg.f64 %1446) %1405)
(/.f64 (neg.f64 %634) %146)
(/.f64 (neg.f64 %1451) %1363)
(/.f64 (neg.f64 %1454) %1367)
(/.f64 (neg.f64 %1457) %607)
(/.f64 (neg.f64 %1460) %1378)
(/.f64 (neg.f64 %1463) %1382)
(/.f64 (neg.f64 %1466) %1386)
(/.f64 (neg.f64 %1469) %1390)
(/.f64 (neg.f64 %1472) %1394)
(/.f64 (neg.f64 %1475) %607)
(/.f64 (neg.f64 %1478) %1401)
(/.f64 (neg.f64 %1481) %1405)
(/.f64 (neg.f64 %1484) %1409)
(/.f64 (neg.f64 %1487) %1413)
(/.f64 (neg.f64 %1490) %1417)
(/.f64 (neg.f64 %1493) %1421)
(/.f64 (neg.f64 %1496) %1425)
(/.f64 (neg.f64 %1499) %1382)
(/.f64 (neg.f64 %1502) %1432)
(/.f64 (neg.f64 %1505) %1436)
(/.f64 (neg.f64 %1508) %1440)
(/.f64 (neg.f64 %1511) %1405)
(/.f64 %632 %82)
(/.f64 (*.f64 #s(literal -2 binary64) %144) %603)
(/.f64 %1349 %82)
(/.f64 %1352 %627)
(/.f64 %1355 %146)
(/.f64 %1358 %127)
(/.f64 %1361 %730)
(/.f64 %1365 %753)
(/.f64 %1369 %627)
(/.f64 %1372 %740)
(/.f64 %1376 %1145)
(/.f64 %1380 %1168)
(/.f64 %1384 %1178)
(/.f64 %1388 %1154)
(/.f64 %1392 %1158)
(/.f64 %1396 %627)
(/.f64 %1399 %1205)
(/.f64 %1403 %1215)
(/.f64 %1407 %1191)
(/.f64 %1411 %1196)
(/.f64 %1415 %1251)
(/.f64 %1419 %1272)
(/.f64 %1423 %1282)
(/.f64 %1427 %1168)
(/.f64 %1430 %1262)
(/.f64 %1434 %1336)
(/.f64 %1438 %1345)
(/.f64 %1442 %1324)
(/.f64 %1446 %1215)
(/.f64 %634 %127)
(/.f64 %1451 %730)
(/.f64 %1454 %753)
(/.f64 %1457 %627)
(/.f64 %1460 %1145)
(/.f64 %1463 %1168)
(/.f64 %1466 %1178)
(/.f64 %1469 %1154)
(/.f64 %1472 %1158)
(/.f64 %1475 %627)
(/.f64 %1478 %1205)
(/.f64 %1481 %1215)
(/.f64 %1484 %1191)
(/.f64 %1487 %1196)
(/.f64 %1490 %1251)
(/.f64 %1493 %1272)
(/.f64 %1496 %1282)
(/.f64 %1499 %1168)
(/.f64 %1502 %1262)
(/.f64 %1505 %1336)
(/.f64 %1508 %1345)
(/.f64 %1511 %1215)
(/.f64 %629 %603)
(/.f64 %642 %82)
(/.f64 %45 %146)
(/.f64 #s(literal -2 binary64) %627)
(/.f64 #s(literal 1 binary64) (pow.f64 %647 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %82 %642))
(/.f64 #s(literal 1 binary64) (/.f64 %127 %36))
(/.f64 #s(literal 1 binary64) (/.f64 %627 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %607 #s(literal 2 binary64)))
%647
(/.f64 #s(literal 2 binary64) %607)
(neg.f64 (*.f64 %625 #s(literal -2 binary64)))
(neg.f64 (/.f64 %45 %127))
(neg.f64 (*.f64 #s(literal -2 binary64) %625))
(fma.f64 (/.f64 %636 #s(literal 1 binary64)) %5 %625)
(fma.f64 %726 x %625)
(fma.f64 (/.f64 #s(literal -1/2 binary64) %127) (/.f64 #s(literal -2 binary64) %82) %625)
(fma.f64 (/.f64 y %82) (/.f64 %8 %127) %625)
(fma.f64 (/.f64 %21 %127) (/.f64 %4 %82) %625)
(fma.f64 (/.f64 y %127) (/.f64 %4 %603) %625)
(fma.f64 %1602 %634 %625)
(fma.f64 %1604 %642 %625)
(fma.f64 %634 %1602 %625)
(fma.f64 %636 %5 %625)
(fma.f64 %629 (/.f64 #s(literal -1/2 binary64) %82) %625)
(fma.f64 %144 x %625)
(fma.f64 #s(literal -1 binary64) %639 %625)
(fma.f64 %642 %1604 %625)
(fma.f64 %625 #s(literal 1 binary64) %625)
(fma.f64 %5 %636 %625)
(fma.f64 #s(literal 1 binary64) %625 %625)
(fma.f64 #s(literal 1/2 binary64) %647 %625)
(fma.f64 y (*.f64 %8 %625) %625)
(fma.f64 y (/.f64 %8 %607) %625)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %625) %625)
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %607) %625)
(fma.f64 x %144 %625)
(-.f64 %625 (*.f64 (neg.f64 %636) %5))
(-.f64 %625 (*.f64 #s(literal -1 binary64) %625))
(-.f64 %625 %639)
(+.f64 %625 %625)
reconstruct52.0ms (3.1%)
Counts
628 → 133
Compiler
Compiled 628 to 1 791 computations (-185.2% saved)
eval12.0ms (0.7%)
Compiler
Compiled 126 to 496 computations (-293.7% saved)
prune3.0ms (0.2%)
Pruning
10 alts after pruning (3 fresh and 7 done)
PrunedKeptTotal
New1233126
Fresh000
Picked112
Done066
Total12410134
Accuracy
100.0%
Counts
134 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
40.4%
(/.f64 (+.f64 x x) (approx (/ (- x y) y) (/.f64 x y)))
88.4%
(/.f64 y (fma.f64 (/.f64 #s(literal -1/2 binary64) x) y #s(literal 1/2 binary64)))
✓40.2%
(/.f64 #s(literal 2 binary64) (/.f64 (approx (/ (- x y) y) (/.f64 x y)) x))
✓47.4%
(/.f64 #s(literal 1 binary64) (approx (/ (- x y) (* y (+ x x))) (/.f64 #s(literal -1/2 binary64) x)))
✓89.5%
(*.f64 (+.f64 y y) (/.f64 x (-.f64 x y)))
✓87.8%
(*.f64 (+.f64 x x) (/.f64 y (-.f64 x y)))
40.3%
(*.f64 x (/.f64 #s(literal 2 binary64) (approx (/ (- x y) y) (/.f64 x y))))
✓54.0%
(approx (/ (* (* x 2) y) (- x y)) (+.f64 y y))
✓53.4%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal 2 binary64) (fma.f64 y (/.f64 y x) y)))
✓47.5%
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal -2 binary64) x))
Compiler
Compiled 10 to 28 computations (-180.0% saved)
regimes28.0ms (1.7%)
Accuracy
Total 16.4b remaining (34.9%)
Threshold costs 0.1b (0.1%)
13.4b52.5%
3.0b61.8%
0.0b99.5%
0.0b99.5%
0.0b0%
Counts
1 → 1
2 → 3
9 → 3
10 → 3
14 → 3
Calls
Call 1
Inputs
(approx (/ (* (* x 2) y) (- x y)) (+.f64 y y))
Outputs
(approx (/ (* (* x 2) y) (- x y)) (+.f64 y y))
Call 2
Inputs
%6 = (/ (* (* x 2) y) (- x y))
(approx %6 (+.f64 y y))
(approx %6 (*.f64 #s(literal -2 binary64) x))
Outputs
%6 = (/ (* (* x 2) y) (- x y))
%8 = (approx %6 (+.f64 y y))
%8
(approx %6 (*.f64 #s(literal -2 binary64) x))
%8
Call 3
Inputs
%5 = (- x y)
%6 = (/ (* (* x 2) y) %5)
%23 = (+.f64 x x)
%26 = (approx (/ %5 y) (/.f64 x y))
(approx %6 (+.f64 y y))
(approx %6 (*.f64 #s(literal -2 binary64) x))
(approx %6 (*.f64 #s(literal 2 binary64) y))
(/.f64 #s(literal 1 binary64) (approx (/ %5 (* y (+ x x))) (/.f64 #s(literal -1/2 binary64) x)))
(/.f64 %23 %26)
(*.f64 x (/.f64 #s(literal 2 binary64) %26))
(/.f64 #s(literal 2 binary64) (/.f64 %26 x))
(approx %6 (*.f64 #s(literal 2 binary64) (fma.f64 y (/.f64 y x) y)))
(*.f64 %23 (/.f64 y (-.f64 x y)))
Outputs
%5 = (*.f64 (+.f64 x x) (/.f64 y (-.f64 x y)))
%5
(approx (/ (* (* x 2) y) (- x y)) (*.f64 #s(literal 2 binary64) (fma.f64 y (/.f64 y x) y)))
%5
Call 4
Inputs
%5 = (- x y)
%6 = (/ (* (* x 2) y) %5)
%7 = (+.f64 y y)
%23 = (+.f64 x x)
%26 = (approx (/ %5 y) (/.f64 x y))
%36 = (-.f64 x y)
(approx %6 %7)
(approx %6 (*.f64 #s(literal -2 binary64) x))
(approx %6 (*.f64 #s(literal 2 binary64) y))
(/.f64 #s(literal 1 binary64) (approx (/ %5 (* y (+ x x))) (/.f64 #s(literal -1/2 binary64) x)))
(/.f64 %23 %26)
(*.f64 x (/.f64 #s(literal 2 binary64) %26))
(/.f64 #s(literal 2 binary64) (/.f64 %26 x))
(approx %6 (*.f64 #s(literal 2 binary64) (fma.f64 y (/.f64 y x) y)))
(*.f64 %23 (/.f64 y %36))
(*.f64 %7 (/.f64 x %36))
Outputs
%3 = (-.f64 x y)
%5 = (*.f64 (+.f64 x x) (/.f64 y %3))
%5
(*.f64 (+.f64 y y) (/.f64 x %3))
%5
Call 5
Inputs
%5 = (- x y)
%6 = (/ (* (* x 2) y) %5)
%7 = (+.f64 y y)
%20 = (/.f64 #s(literal -1/2 binary64) x)
%23 = (+.f64 x x)
%26 = (approx (/ %5 y) (/.f64 x y))
%32 = (/.f64 y x)
%36 = (-.f64 x y)
(approx %6 %7)
(approx %6 (*.f64 #s(literal -2 binary64) x))
(approx %6 (*.f64 #s(literal 2 binary64) y))
(/.f64 #s(literal 1 binary64) (approx (/ %5 (* y (+ x x))) %20))
(/.f64 %23 %26)
(*.f64 x (/.f64 #s(literal 2 binary64) %26))
(/.f64 #s(literal 2 binary64) (/.f64 %26 x))
(approx %6 (*.f64 #s(literal 2 binary64) (fma.f64 y %32 y)))
(*.f64 %23 (/.f64 y %36))
(*.f64 %7 (/.f64 x %36))
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) %36)
(approx %6 (*.f64 y (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %32))))
(/.f64 y (fma.f64 %20 y #s(literal 1/2 binary64)))
(/.f64 y (-.f64 #s(literal 1/2 binary64) (/.f64 y %23)))
Outputs
%3 = (-.f64 x y)
%6 = (+.f64 x x)
(*.f64 (+.f64 y y) (/.f64 x %3))
(*.f64 %6 (/.f64 y %3))
(/.f64 y (-.f64 #s(literal 1/2 binary64) (/.f64 y %6)))
Calls
3 calls:
17.0ms
x
11.0ms
y
8.0ms
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) (-.f64 x y))
Results
AccuracySegmentsBranch
54.0%1
y
54.0%1
x
54.0%1
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) (-.f64 x y))
Compiler
Compiled 21 to 57 computations (-171.4% saved)
bsearch5.0ms (0.3%)
Algorithm
2×binary-search
Stop Event
1×predicate-same
1×predicate-same
Steps
TimeLeftRight
1.0ms
1.6822977259161094e-10
3.3229180385847352e-9
3.0ms
-28316448.131730366
-4669.8976053929
Samples
2.0ms80×0valid
Compiler
Compiled 16 to 30 computations (-87.5% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch7.0ms (0.4%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
5.0ms
4.528461901083382e+77
5.0154983978218724e+79
1.0ms
-1.7822949699217333e+24
-1.6423395118509608e+24
Samples
2.0ms128×0valid
Compiler
Compiled 16 to 29 computations (-81.3% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch16.0ms (0.9%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
10.0ms
3.3003929900051086e-162
1.3119260068448465e-153
7.0ms
-5.29669260967841e-229
-1.1060006537523697e-242
Samples
6.0ms304×0valid
Compiler
Compiled 16 to 31 computations (-93.8% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch12.0ms (0.7%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
9.0ms
4.1876733463546205e+30
3.4561698286081654e+44
4.0ms
-2.2178716321692806e-55
-4.902425141099928e-56
Samples
5.0ms256×0valid
Compiler
Compiled 16 to 21 computations (-31.3% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations126.0ms (7.5%)
Stop Event
1×fuel
Compiler
Compiled 5 to 43 computations (-760.0% saved)
preprocess24.0ms (1.4%)
Compiler
Compiled 6 to 50 computations (-733.3% saved)
end0.0ms (0.0%)
gc367ms (21.7%)
Allocations
AllocatedPercentPhase
680.5 MiB27.5%sample
568.5 MiB23.0%rewrite
445.6 MiB18.0%reconstruct
228.5 MiB9.2%series
133.8 MiB5.4%eval
118.8 MiB4.8%derivations
91.9 MiB3.7%bsearch
87.8 MiB3.5%preprocess
72.5 MiB2.9%regimes
38.2 MiB1.5%prune
9.7 MiB0.4%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
2 475.9 MiB100.0%total
Profiling
Loading profile data...