Data.Colour.SRGB:invTransferFunction from colour-2.3.3

Time bar (total: 1.7s)

start0.0ms (0.0%)

analyze11.0ms (0.6%)

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 9 to 7 computations (22.2% saved)

sample367.0ms (21.5%)

Samples
306.0ms8 254×0valid
0.0ms2×2valid
Precisions
Click to see histograms. Total time spent on operations: 11.0ms
Add: 6.0ms (54.0% of total, 0.0 MiB)
Div: 5.0ms (45.0% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess44.0ms (2.6%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01848
110342
239842
3174542
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 (+.f64 x y) (+.f64 y #s(literal 1 binary64)))
Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series22.0ms (1.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0116425
Stop Event
1×iter-limit
Counts
6 → 25
Calls
Call 1
Inputs
%2 = (+.f64 x y)
%4 = (+.f64 y #s(literal 1 binary64))
x
y
%2
#s(literal 1 binary64)
%4
(/.f64 %2 %4)
Outputs
%5 = (+ x y)
%10 = (+ y 1)
%11 = (/ %5 %10)
%13 = (+.f64 #s(literal 1 binary64) y)
%14 = (/.f64 y %13)
%16 = (/.f64 x %13)
%19 = (/.f64 y x)
%24 = (/.f64 #s(literal 1 binary64) %13)
%26 = (/.f64 y (*.f64 x %13))
%45 = (+.f64 x (*.f64 y (-.f64 #s(literal 1 binary64) x)))
%61 = (/.f64 x y)
%62 = (+.f64 #s(literal 1 binary64) %61)
%65 = (/.f64 #s(literal 1 binary64) y)
%72 = (pow.f64 y #s(literal 2 binary64))
%73 = (/.f64 #s(literal 1 binary64) %72)
%76 = (/.f64 x %72)
%81 = (pow.f64 y #s(literal 3 binary64))
%97 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) x))
%99 = (*.f64 #s(literal -1 binary64) (/.f64 %97 y))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %11 %14)
(approx %11 (+.f64 %16 %14))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %19)))
(approx %11 %16)
(approx %11 (*.f64 x (+.f64 %24 %26)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %19) #s(literal 1 binary64)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %26) %24))))
(approx %10 #s(literal 1 binary64))
(approx %10 %13)
(approx %11 %45)
(approx %11 (+.f64 x (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 x #s(literal 1 binary64)))) x))))
(approx %11 (+.f64 x (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 %45 #s(literal 1 binary64)))) x))))
(approx %5 (*.f64 y %62))
(approx %10 (*.f64 y (+.f64 #s(literal 1 binary64) %65)))
(approx %11 (-.f64 %62 %65))
(approx %11 (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 %73 %61)) (+.f64 %65 %76)))
(approx %11 (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 %73 (+.f64 %61 (/.f64 x %81)))) (+.f64 %65 (+.f64 (/.f64 #s(literal 1 binary64) %81) %76))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %61) #s(literal 1 binary64)))))
(approx %11 (+.f64 #s(literal 1 binary64) %99))
(approx %11 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x %99)) y))))
(approx %11 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %99 (*.f64 #s(literal -1 binary64) %97)) y)))) y))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
-inf
2.0ms
y
-inf
2.0ms
x
inf
2.0ms
y
inf
1.0ms
x
0
rewrite127.0ms (7.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0616
0916
13816
212416
355216
0438716
0456516
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 412
Calls
Call 1
Inputs
%2 = (+.f64 x y)
%4 = (+.f64 y #s(literal 1 binary64))
x
y
%2
#s(literal 1 binary64)
%4
(/.f64 %2 %4)
Outputs
%2 = (+.f64 y x)
%4 = (*.f64 %2 #s(literal 2 binary64))
%6 = (/.f64 %4 #s(literal 8 binary64))
%9 = (/.f64 %4 #s(literal 4 binary64))
%12 = (+.f64 #s(literal 1 binary64) y)
%13 = (*.f64 %12 %2)
%14 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64))
%15 = (/.f64 %13 %14)
%18 = (/.f64 %2 #s(literal 1/2 binary64))
%21 = (*.f64 #s(literal 1/2 binary64) %2)
%23 = (/.f64 #s(literal 1 binary64) %12)
%27 = (neg.f64 %2)
%30 = (/.f64 %2 %12)
%44 = (*.f64 %2 #s(literal -2 binary64))
%46 = (*.f64 #s(literal -2 binary64) %2)
%48 = (*.f64 #s(literal 2 binary64) %2)
%50 = (*.f64 #s(literal -2 binary64) %4)
%53 = (*.f64 #s(literal 2 binary64) %4)
%55 = (*.f64 #s(literal 1 binary64) %4)
%57 = (*.f64 %4 #s(literal -2 binary64))
%59 = (*.f64 %4 #s(literal 2 binary64))
%61 = (*.f64 %4 #s(literal 1 binary64))
%66 = (-.f64 #s(literal -1 binary64) y)
%67 = (*.f64 %66 %2)
%77 = (/.f64 %13 %66)
%81 = (*.f64 %21 #s(literal 0 binary64))
%83 = (*.f64 #s(literal 0 binary64) %21)
%85 = (*.f64 #s(literal 0 binary64) %4)
%87 = (*.f64 %4 #s(literal 0 binary64))
%106 = (*.f64 #s(literal 1/2 binary64) %21)
%113 = (*.f64 %21 #s(literal 1/2 binary64))
%115 = (*.f64 %21 #s(literal 3/2 binary64))
%122 = (*.f64 %21 #s(literal 1 binary64))
%134 = (*.f64 #s(literal 3/2 binary64) %21)
%142 = (/.f64 y %12)
%154 = (*.f64 #s(literal 1 binary64) %21)
%174 = (fma.f64 y y y)
%175 = (/.f64 %174 %12)
%176 = (neg.f64 x)
%178 = (*.f64 %27 #s(literal 0 binary64))
%181 = (/.f64 x %12)
%184 = (/.f64 x %66)
%190 = (/.f64 %174 %66)
%192 = (neg.f64 y)
%210 = (/.f64 %14 #s(literal 8 binary64))
%212 = (/.f64 %14 #s(literal 4 binary64))
%229 = (*.f64 %14 #s(literal 2 binary64))
%233 = (*.f64 #s(literal 2 binary64) %14)
%235 = (*.f64 #s(literal -2 binary64) %12)
%246 = (*.f64 #s(literal 2 binary64) %66)
%257 = (*.f64 #s(literal 0 binary64) %12)
%259 = (*.f64 %12 #s(literal 0 binary64))
%265 = (-.f64 y #s(literal -1/2 binary64))
%270 = (*.f64 #s(literal 1/2 binary64) %12)
%273 = (*.f64 %12 #s(literal 1/2 binary64))
%284 = (+.f64 #s(literal 1/2 binary64) y)
%308 = (fabs.f64 %12)
%309 = (/.f64 %12 %308)
%310 = (/.f64 %2 %308)
%312 = (/.f64 %12 %66)
%313 = (/.f64 %2 %66)
%315 = (/.f64 %2 %14)
%317 = (/.f64 #s(literal 1/2 binary64) %12)
%319 = (/.f64 #s(literal 2 binary64) %12)
%321 = (-.f64 %190 x)
%322 = (/.f64 #s(literal -1 binary64) %12)
%324 = (*.f64 %66 %12)
%325 = (/.f64 #s(literal 1 binary64) %324)
%327 = (+.f64 x x)
%328 = (fma.f64 y #s(literal 2 binary64) %327)
%330 = (+.f64 y y)
%331 = (fma.f64 x #s(literal 2 binary64) %330)
%334 = (*.f64 %12 %12)
%335 = (/.f64 #s(literal 1 binary64) %334)
%341 = (/.f64 %2 %334)
%376 = (fma.f64 y x x)
%379 = (*.f64 %334 %334)
%390 = (*.f64 #s(literal -2 binary64) %66)
%415 = (*.f64 #s(literal 1 binary64) %67)
%456 = (/.f64 x %308)
%458 = (/.f64 y %308)
%462 = (*.f64 %23 #s(literal 0 binary64))
%464 = (*.f64 #s(literal 0 binary64) %27)
%473 = (/.f64 y %66)
%488 = (*.f64 %21 %23)
%495 = (/.f64 #s(literal -1/2 binary64) %12)
%496 = (*.f64 %495 %27)
%512 = (*.f64 %322 %192)
%514 = (*.f64 %322 %176)
%537 = (*.f64 %23 %21)
%547 = (*.f64 %27 %495)
%569 = (*.f64 %2 %317)
x
y
(*.f64 %6 #s(literal 4 binary64))
(*.f64 %9 #s(literal 2 binary64))
(*.f64 %15 #s(literal 2 binary64))
(*.f64 %18 #s(literal 1/2 binary64))
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %21 #s(literal 2 binary64))
(*.f64 %13 %23)
(*.f64 #s(literal 1/2 binary64) %4)
(*.f64 #s(literal 2 binary64) %21)
(*.f64 %27 #s(literal -1 binary64))
(*.f64 %12 %30)
(*.f64 #s(literal 1 binary64) %2)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 (*.f64 %21 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %21 #s(literal 4 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %4 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %4 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 %44 #s(literal -2 binary64))
(/.f64 %46 #s(literal -2 binary64))
(/.f64 %48 #s(literal 2 binary64))
(/.f64 %50 #s(literal -4 binary64))
(/.f64 %53 #s(literal 4 binary64))
(/.f64 %55 #s(literal 2 binary64))
(/.f64 %57 #s(literal -4 binary64))
(/.f64 %59 #s(literal 4 binary64))
(/.f64 %61 #s(literal 2 binary64))
(/.f64 (neg.f64 %4) #s(literal -2 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 %67 %66)
(/.f64 %13 %12)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %13))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(/.f64 %2 #s(literal 1 binary64))
(neg.f64 %77)
(neg.f64 %27)
(fma.f64 %6 #s(literal 4 binary64) %81)
(fma.f64 %6 #s(literal 4 binary64) %83)
(fma.f64 %6 #s(literal 4 binary64) %85)
(fma.f64 %6 #s(literal 4 binary64) %87)
(fma.f64 %6 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %9 #s(literal 2 binary64) %81)
(fma.f64 %9 #s(literal 2 binary64) %83)
(fma.f64 %9 #s(literal 2 binary64) %85)
(fma.f64 %9 #s(literal 2 binary64) %87)
(fma.f64 %9 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %15 #s(literal 2 binary64) %81)
(fma.f64 %15 #s(literal 2 binary64) %83)
(fma.f64 %15 #s(literal 2 binary64) %85)
(fma.f64 %15 #s(literal 2 binary64) %87)
(fma.f64 %15 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %18 #s(literal 1/2 binary64) %81)
(fma.f64 %18 #s(literal 1/2 binary64) %83)
(fma.f64 %18 #s(literal 1/2 binary64) %85)
(fma.f64 %18 #s(literal 1/2 binary64) %87)
(fma.f64 %18 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) %21 %106)
(fma.f64 %4 #s(literal 1/2 binary64) %81)
(fma.f64 %4 #s(literal 1/2 binary64) %83)
(fma.f64 %4 #s(literal 1/2 binary64) %85)
(fma.f64 %4 #s(literal 1/2 binary64) %87)
(fma.f64 %4 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %21 #s(literal 3/2 binary64) %113)
(fma.f64 %21 #s(literal 1/2 binary64) %115)
(fma.f64 %21 #s(literal 2 binary64) %81)
(fma.f64 %21 #s(literal 2 binary64) %83)
(fma.f64 %21 #s(literal 2 binary64) %85)
(fma.f64 %21 #s(literal 2 binary64) %87)
(fma.f64 %21 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %21 #s(literal 1 binary64) %122)
(fma.f64 %13 %23 %81)
(fma.f64 %13 %23 %83)
(fma.f64 %13 %23 %85)
(fma.f64 %13 %23 %87)
(fma.f64 %13 %23 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %4 %81)
(fma.f64 #s(literal 1/2 binary64) %4 %83)
(fma.f64 #s(literal 1/2 binary64) %4 %85)
(fma.f64 #s(literal 1/2 binary64) %4 %87)
(fma.f64 #s(literal 1/2 binary64) %4 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %21 %134)
(fma.f64 #s(literal 1/2 binary64) %2 %21)
(fma.f64 #s(literal 2 binary64) %21 %81)
(fma.f64 #s(literal 2 binary64) %21 %83)
(fma.f64 #s(literal 2 binary64) %21 %85)
(fma.f64 #s(literal 2 binary64) %21 %87)
(fma.f64 #s(literal 2 binary64) %21 #s(literal 0 binary64))
(fma.f64 %142 %12 x)
(fma.f64 %27 #s(literal -1 binary64) %81)
(fma.f64 %27 #s(literal -1 binary64) %83)
(fma.f64 %27 #s(literal -1 binary64) %85)
(fma.f64 %27 #s(literal -1 binary64) %87)
(fma.f64 %27 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %12 %30 %81)
(fma.f64 %12 %30 %83)
(fma.f64 %12 %30 %85)
(fma.f64 %12 %30 %87)
(fma.f64 %12 %30 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %21 %154)
(fma.f64 #s(literal 1 binary64) %2 %81)
(fma.f64 #s(literal 1 binary64) %2 %83)
(fma.f64 #s(literal 1 binary64) %2 %85)
(fma.f64 #s(literal 1 binary64) %2 %87)
(fma.f64 #s(literal 1 binary64) %2 #s(literal 0 binary64))
(fma.f64 %2 #s(literal 1/2 binary64) %21)
(fma.f64 %2 #s(literal 1 binary64) %81)
(fma.f64 %2 #s(literal 1 binary64) %83)
(fma.f64 %2 #s(literal 1 binary64) %85)
(fma.f64 %2 #s(literal 1 binary64) %87)
(fma.f64 %2 #s(literal 1 binary64) #s(literal 0 binary64))
(-.f64 %21 (*.f64 %27 #s(literal 1/2 binary64)))
(-.f64 %21 (*.f64 #s(literal -1/2 binary64) %2))
(-.f64 %21 (neg.f64 %21))
(-.f64 %175 %176)
(-.f64 %2 %178)
(-.f64 %2 #s(literal 0 binary64))
(-.f64 y (*.f64 %66 %181))
(-.f64 y (*.f64 %184 %12))
(-.f64 y (*.f64 %176 #s(literal 1 binary64)))
(-.f64 y %176)
(-.f64 x %190)
(-.f64 x %192)
(+.f64 %115 %113)
(+.f64 %113 %115)
(+.f64 %134 %106)
(+.f64 %106 %134)
(+.f64 %154 %154)
(+.f64 %122 %122)
(+.f64 %21 %21)
(+.f64 %175 x)
(+.f64 #s(literal 0 binary64) %2)
(+.f64 %2 %81)
(+.f64 %2 %83)
(+.f64 %2 %85)
(+.f64 %2 %87)
(+.f64 %2 #s(literal 0 binary64))
%2
(+.f64 x %175)
(+.f64 x y)
#s(literal 1 binary64)
(*.f64 %210 #s(literal 4 binary64))
(*.f64 %212 #s(literal 2 binary64))
(*.f64 %14 #s(literal 1/2 binary64))
(*.f64 %12 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %12)
(pow.f64 %12 #s(literal 1 binary64))
(/.f64 (/.f64 %14 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %14 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 y #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %14 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 %229 #s(literal 4 binary64))
(/.f64 (*.f64 %12 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %233 #s(literal 4 binary64))
(/.f64 %235 #s(literal -2 binary64))
(/.f64 (*.f64 %14 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %14 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %14) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %14) #s(literal 2 binary64))
(/.f64 %14 #s(literal 2 binary64))
(/.f64 %246 #s(literal -2 binary64))
(/.f64 %12 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %23)
(neg.f64 (*.f64 %12 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %12))
(neg.f64 (*.f64 %66 #s(literal 1 binary64)))
(neg.f64 %66)
(fma.f64 %210 #s(literal 4 binary64) %257)
(fma.f64 %210 #s(literal 4 binary64) %259)
(fma.f64 %210 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %212 #s(literal 2 binary64) %257)
(fma.f64 %212 #s(literal 2 binary64) %259)
(fma.f64 %212 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %265 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 %14 #s(literal 1/2 binary64) %257)
(fma.f64 %14 #s(literal 1/2 binary64) %259)
(fma.f64 %14 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %12 %270)
(fma.f64 #s(literal 0 binary64) %12 %12)
(fma.f64 %12 #s(literal 1/2 binary64) %273)
(fma.f64 %12 #s(literal 0 binary64) %12)
(fma.f64 %12 #s(literal 1 binary64) %257)
(fma.f64 %12 #s(literal 1 binary64) %259)
(fma.f64 %12 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %265 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %12 %257)
(fma.f64 #s(literal 1 binary64) %12 %259)
(fma.f64 #s(literal 1 binary64) %12 #s(literal 0 binary64))
(-.f64 %265 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %284))
(-.f64 %12 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) %192)
(-.f64 y #s(literal -1 binary64))
(+.f64 (*.f64 #s(literal 1 binary64) %265) #s(literal 1/2 binary64))
(+.f64 (*.f64 %265 #s(literal 1 binary64)) #s(literal 1/2 binary64))
(+.f64 %257 %12)
(+.f64 %273 %273)
(+.f64 %270 %270)
(+.f64 %259 %12)
(+.f64 %265 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) %284))
(+.f64 #s(literal 1/2 binary64) (*.f64 %284 #s(literal 1 binary64)))
(+.f64 #s(literal 1/2 binary64) %284)
(+.f64 %12 %257)
(+.f64 %12 %259)
(+.f64 %12 #s(literal 0 binary64))
%12
(+.f64 y #s(literal 1 binary64))
(*.f64 %309 %310)
(*.f64 %312 %313)
(*.f64 %315 #s(literal 2 binary64))
(*.f64 %4 %317)
(*.f64 %21 %319)
(*.f64 %321 %322)
(*.f64 %67 %325)
(*.f64 %317 %328)
(*.f64 %317 %331)
(*.f64 %322 %27)
(*.f64 %13 %335)
(*.f64 #s(literal 2 binary64) %315)
(*.f64 #s(literal -1 binary64) %313)
(*.f64 %23 %2)
(*.f64 %27 %322)
(*.f64 %12 %341)
(*.f64 #s(literal 1 binary64) %30)
(*.f64 %2 %23)
(pow.f64 %30 #s(literal 1 binary64))
(/.f64 (*.f64 %13 #s(literal 1 binary64)) %334)
(/.f64 (*.f64 %23 %4) #s(literal 2 binary64))
(/.f64 (*.f64 %2 %319) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %315) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %315) #s(literal 2 binary64))
(/.f64 (*.f64 %319 %2) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %30) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %30) #s(literal 2 binary64))
(/.f64 (*.f64 %4 %23) #s(literal 2 binary64))
(/.f64 (/.f64 %67 %12) %66)
(/.f64 (/.f64 %13 %308) %308)
(/.f64 (*.f64 %27 #s(literal 2 binary64)) %246)
(/.f64 (*.f64 #s(literal -1 binary64) %27) %12)
(/.f64 %44 %246)
(/.f64 %77 %66)
(/.f64 (fma.f64 %181 %334 %174) %334)
(/.f64 (fma.f64 %376 %334 (*.f64 %174 %334)) %379)
(/.f64 (fma.f64 %376 %334 (*.f64 %334 %174)) %379)
(/.f64 (*.f64 %319 %4) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %4) (*.f64 %66 #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -2 binary64) %321) %390)
(/.f64 (*.f64 #s(literal -2 binary64) %67) (*.f64 #s(literal -2 binary64) %324))
(/.f64 (*.f64 #s(literal -2 binary64) %13) (*.f64 #s(literal -2 binary64) %334))
(/.f64 (*.f64 #s(literal -2 binary64) %27) %390)
(/.f64 %46 %235)
(/.f64 %46 %246)
(/.f64 (*.f64 #s(literal 2 binary64) %321) %246)
(/.f64 (*.f64 #s(literal 2 binary64) %67) (*.f64 #s(literal 2 binary64) %324))
(/.f64 (*.f64 #s(literal 2 binary64) %13) (*.f64 #s(literal 2 binary64) %334))
(/.f64 (*.f64 #s(literal 2 binary64) %27) %246)
(/.f64 %48 %14)
(/.f64 (*.f64 #s(literal 1 binary64) %321) %66)
(/.f64 %415 (*.f64 #s(literal 1 binary64) %324))
(/.f64 %415 %324)
(/.f64 (*.f64 %4 %319) #s(literal 4 binary64))
(/.f64 %50 (*.f64 %246 #s(literal 2 binary64)))
(/.f64 %53 %229)
(/.f64 %55 %14)
(/.f64 %57 (*.f64 #s(literal 2 binary64) %246))
(/.f64 %59 %233)
(/.f64 (*.f64 %4 #s(literal -1 binary64)) %246)
(/.f64 %61 %14)
(/.f64 (neg.f64 %321) %12)
(/.f64 %4 %14)
(/.f64 %321 %66)
(/.f64 %67 %324)
(/.f64 %13 %334)
(/.f64 %27 %66)
(/.f64 %30 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %66 %321))
(/.f64 #s(literal 1 binary64) (/.f64 %324 %67))
(/.f64 #s(literal 1 binary64) (/.f64 %334 %13))
(/.f64 #s(literal 1 binary64) (pow.f64 %30 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %66 %27))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %2))
%30
(neg.f64 %313)
(fma.f64 (/.f64 y %14) #s(literal 2 binary64) %181)
(fma.f64 (/.f64 x %14) #s(literal 2 binary64) %142)
(fma.f64 %456 %309 %142)
(fma.f64 %458 %309 %181)
(fma.f64 %309 %456 %142)
(fma.f64 %309 %458 %181)
(fma.f64 %309 %310 %462)
(fma.f64 %309 %310 %464)
(fma.f64 %309 %310 %178)
(fma.f64 %309 %310 #s(literal 0 binary64))
(fma.f64 %312 %184 %142)
(fma.f64 %312 %313 %462)
(fma.f64 %312 %313 %464)
(fma.f64 %312 %313 %178)
(fma.f64 %312 %313 #s(literal 0 binary64))
(fma.f64 %312 %473 %181)
(fma.f64 %327 %317 %142)
(fma.f64 %315 #s(literal 2 binary64) %462)
(fma.f64 %315 #s(literal 2 binary64) %464)
(fma.f64 %315 #s(literal 2 binary64) %178)
(fma.f64 %315 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %4 %317 %462)
(fma.f64 %4 %317 %464)
(fma.f64 %4 %317 %178)
(fma.f64 %4 %317 #s(literal 0 binary64))
(fma.f64 %21 %319 %462)
(fma.f64 %21 %319 %464)
(fma.f64 %21 %319 %178)
(fma.f64 %21 %319 #s(literal 0 binary64))
(fma.f64 %21 %23 %488)
(fma.f64 %321 %322 %462)
(fma.f64 %321 %322 %464)
(fma.f64 %321 %322 %178)
(fma.f64 %321 %322 #s(literal 0 binary64))
(fma.f64 %330 %317 %181)
(fma.f64 %495 %27 %496)
(fma.f64 %184 %312 %142)
(fma.f64 %67 %325 %462)
(fma.f64 %67 %325 %464)
(fma.f64 %67 %325 %178)
(fma.f64 %67 %325 #s(literal 0 binary64))
(fma.f64 %317 %328 %462)
(fma.f64 %317 %328 %464)
(fma.f64 %317 %328 %178)
(fma.f64 %317 %328 #s(literal 0 binary64))
(fma.f64 %317 %331 %462)
(fma.f64 %317 %331 %464)
(fma.f64 %317 %331 %178)
(fma.f64 %317 %331 #s(literal 0 binary64))
(fma.f64 %317 %2 %315)
(fma.f64 %322 %176 %512)
(fma.f64 %322 %192 %514)
(fma.f64 %322 %27 %462)
(fma.f64 %322 %27 %464)
(fma.f64 %322 %27 %178)
(fma.f64 %322 %27 #s(literal 0 binary64))
(fma.f64 %13 %335 %462)
(fma.f64 %13 %335 %464)
(fma.f64 %13 %335 %178)
(fma.f64 %13 %335 #s(literal 0 binary64))
(fma.f64 %174 %335 %181)
(fma.f64 %473 %312 %181)
(fma.f64 %376 %335 %142)
(fma.f64 %176 %322 %142)
(fma.f64 #s(literal 2 binary64) %315 %462)
(fma.f64 #s(literal 2 binary64) %315 %464)
(fma.f64 #s(literal 2 binary64) %315 %178)
(fma.f64 #s(literal 2 binary64) %315 #s(literal 0 binary64))
(fma.f64 %192 %322 %181)
(fma.f64 #s(literal -1 binary64) %313 %462)
(fma.f64 #s(literal -1 binary64) %313 %464)
(fma.f64 #s(literal -1 binary64) %313 %178)
(fma.f64 #s(literal -1 binary64) %313 #s(literal 0 binary64))
(fma.f64 %23 %21 %537)
(fma.f64 %23 %2 %462)
(fma.f64 %23 %2 %464)
(fma.f64 %23 %2 %178)
(fma.f64 %23 %2 #s(literal 0 binary64))
(fma.f64 %23 y %181)
(fma.f64 %23 x %142)
(fma.f64 %142 #s(literal 1 binary64) %181)
(fma.f64 %181 #s(literal 1 binary64) %142)
(fma.f64 %27 %495 %547)
(fma.f64 %27 %322 %462)
(fma.f64 %27 %322 %464)
(fma.f64 %27 %322 %178)
(fma.f64 %27 %322 #s(literal 0 binary64))
(fma.f64 %12 %341 %462)
(fma.f64 %12 %341 %464)
(fma.f64 %12 %341 %178)
(fma.f64 %12 %341 #s(literal 0 binary64))
(fma.f64 %12 (/.f64 x %334) %142)
(fma.f64 %12 (/.f64 y %334) %181)
(fma.f64 %12 (/.f64 %181 %12) %142)
(fma.f64 #s(literal 1 binary64) %142 %181)
(fma.f64 #s(literal 1 binary64) %181 %142)
(fma.f64 #s(literal 1 binary64) %30 %462)
(fma.f64 #s(literal 1 binary64) %30 %464)
(fma.f64 #s(literal 1 binary64) %30 %178)
(fma.f64 #s(literal 1 binary64) %30 #s(literal 0 binary64))
(fma.f64 %2 %317 %569)
(fma.f64 %2 %23 %462)
(fma.f64 %2 %23 %464)
(fma.f64 %2 %23 %178)
(fma.f64 %2 %23 #s(literal 0 binary64))
(fma.f64 y %23 %181)
(fma.f64 x %23 %142)
(-.f64 %142 %184)
(-.f64 %181 (/.f64 %174 %324))
(-.f64 %181 (/.f64 (*.f64 %66 y) %334))
(-.f64 %181 %473)
(+.f64 %537 %537)
(+.f64 %547 %547)
(+.f64 %488 %488)
(+.f64 %496 %496)
(+.f64 %512 %514)
(+.f64 %514 %512)
(+.f64 %569 %569)
(+.f64 %315 %315)
(+.f64 %142 %181)
(+.f64 %181 %142)
(+.f64 %30 %462)
(+.f64 %30 %464)
(+.f64 %30 %178)
(+.f64 %30 #s(literal 0 binary64))
reconstruct99.0ms (5.8%)
Counts
437 → 66
Compiler
Compiled 437 to 675 computations (-54.5% saved)
eval5.0ms (0.3%)
Compiler
Compiled 64 to 191 computations (-198.4% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (6 fresh and 1 done)
PrunedKeptTotal
New58664
Fresh000
Picked011
Done000
Total58765
Accuracy
100.0%
Counts
65 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (+.f64 x y) (+.f64 y #s(literal 1 binary64)))
▶100.0%
(/.f64 (+.f64 x y) (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y)))
▶53.7%
(/.f64 (+.f64 x y) (approx (+ y 1) #s(literal 1 binary64)))
▶46.9%
(/.f64 (approx (+ x y) y) (+.f64 y #s(literal 1 binary64)))
▶99.8%
(*.f64 (+.f64 y x) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) y)))
▶54.2%
(approx (/ (+ x y) (+ y 1)) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
▶47.2%
(approx (/ (+ x y) (+ y 1)) (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 x y)) (/.f64 #s(literal 1 binary64) y)))
Compiler
Compiled 7 to 21 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series20.0ms (1.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0230944
Stop Event
1×iter-limit
Counts
24 → 56
Calls
Call 1
Inputs
%2 = (+.f64 x y)
%4 = (+.f64 y #s(literal 1 binary64))
%5 = (+ x y)
%6 = (approx %5 y)
%7 = (+.f64 #s(literal 1 binary64) y)
%8 = (/.f64 x %7)
%10 = (+ y 1)
%11 = (/ %5 %10)
%13 = (/.f64 #s(literal 1 binary64) %7)
%14 = (approx %10 #s(literal 1 binary64))
%15 = (/.f64 x y)
%16 = (+.f64 #s(literal 1 binary64) %15)
%17 = (/.f64 #s(literal 1 binary64) y)
%18 = (-.f64 %16 %17)
%20 = (+.f64 y x)
%22 = (+.f64 #s(literal 1/2 binary64) y)
%23 = (+.f64 #s(literal 1/2 binary64) %22)
x
y
%2
#s(literal 1 binary64)
%4
%6
%7
%8
(approx %11 %8)
%13
%14
%15
%16
%17
%18
(approx %11 %18)
%20
#s(literal 1/2 binary64)
%22
%23
(*.f64 %20 %13)
(/.f64 %2 %14)
(/.f64 %2 %23)
(/.f64 %6 %4)
Outputs
%5 = (+ x y)
%7 = (+.f64 x y)
%10 = (+ 1 y)
%11 = (/ x %10)
%13 = (+.f64 #s(literal 1 binary64) y)
%14 = (/.f64 x %13)
%16 = (+ y 1)
%17 = (/ %5 %16)
%18 = (/.f64 y %13)
%22 = (/ x y)
%23 = (/.f64 x y)
%25 = (+ 1 %22)
%27 = (+.f64 #s(literal 1 binary64) %23)
%29 = (/ 1 y)
%30 = (- %25 %29)
%31 = (/.f64 #s(literal 1 binary64) y)
%32 = (-.f64 #s(literal 1 binary64) %31)
%36 = (/.f64 y x)
%40 = (/.f64 #s(literal 1 binary64) %13)
%42 = (/.f64 y (*.f64 x %13))
%47 = (+.f64 (/.f64 #s(literal 1 binary64) x) %31)
%50 = (*.f64 x y)
%73 = (*.f64 #s(literal -1 binary64) %50)
%80 = (*.f64 #s(literal -1 binary64) x)
%89 = (+.f64 x (*.f64 y (-.f64 #s(literal 1 binary64) x)))
%91 = (-.f64 x #s(literal 1 binary64))
%105 = (/ 1 %10)
%107 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) y))
%127 = (+ 1/2 y)
%137 = (*.f64 #s(literal -1 binary64) %23)
%142 = (pow.f64 y #s(literal 2 binary64))
%143 = (/.f64 x %142)
%149 = (pow.f64 y #s(literal 3 binary64))
%150 = (/.f64 x %149)
%157 = (/.f64 #s(literal 1 binary64) %142)
%166 = (/.f64 #s(literal 1 binary64) %149)
%173 = (+.f64 #s(literal 1 binary64) %157)
%195 = (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %23 x) y))
%207 = (+.f64 #s(literal 1 binary64) %80)
%209 = (*.f64 #s(literal -1 binary64) (/.f64 %207 y))
%230 = (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %31 #s(literal 1 binary64)) y))
%234 = (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %230 #s(literal 1 binary64)) y))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 %7)
(approx %11 %14)
(approx %17 %18)
(approx %17 (+.f64 %14 %18))
(approx %22 %23)
(approx %25 #s(literal 1 binary64))
(approx %25 %27)
(approx %30 %32)
(approx %30 (-.f64 %27 %31))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %36)))
(approx %17 (*.f64 x (+.f64 %40 %42)))
(approx %25 (*.f64 x %47))
(approx %30 (*.f64 x (-.f64 %47 (/.f64 #s(literal 1 binary64) %50))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %36) #s(literal 1 binary64)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %42) %40))))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %32 x)) %31))))
(approx %16 %13)
(approx %11 (+.f64 x %73))
(approx %11 (+.f64 x (*.f64 y (-.f64 %50 x))))
(approx %11 (+.f64 x (*.f64 y (-.f64 (*.f64 y (-.f64 %73 %80)) x))))
(approx %17 %89)
(approx %17 (+.f64 x (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y %91)) x))))
(approx %17 (+.f64 x (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 %89 #s(literal 1 binary64)))) x))))
(approx %105 %107)
(approx %105 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 y #s(literal 1 binary64)))))
(approx %105 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 (*.f64 y %107) #s(literal 1 binary64)))))
(approx %25 (/.f64 %7 y))
(approx %29 %31)
(approx %30 (/.f64 %91 y))
(approx %30 (/.f64 (-.f64 %7 #s(literal 1 binary64)) y))
(approx %127 #s(literal 1/2 binary64))
(approx %127 (+.f64 #s(literal 1/2 binary64) y))
(approx %5 (*.f64 y %27))
(approx %16 (*.f64 y (+.f64 #s(literal 1 binary64) %31)))
(approx %11 (/.f64 (+.f64 x %137) y))
(approx %11 (/.f64 (-.f64 (+.f64 x %143) %23) y))
(approx %11 (/.f64 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) %150)) (fma.f64 #s(literal -1 binary64) %143 %23)) y))
(approx %17 (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 %157 %23)) (+.f64 %31 %143)))
(approx %17 (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 %157 (+.f64 %23 %150))) (+.f64 %31 (+.f64 %166 %143))))
(approx %105 (/.f64 %32 y))
(approx %105 (/.f64 (-.f64 %173 %31) y))
(approx %105 (/.f64 (-.f64 %173 (+.f64 %31 %166)) y))
(approx %127 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) %31))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %137 #s(literal 1 binary64)))))
(approx %11 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x %23) y)))
(approx %11 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x %195) y)))
(approx %11 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %195 x) y))) y)))
(approx %17 (+.f64 #s(literal 1 binary64) %209))
(approx %17 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x %209)) y))))
(approx %17 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %209 (*.f64 #s(literal -1 binary64) %207)) y)))) y))))
(approx %105 %230)
(approx %105 %234)
(approx %105 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %234 #s(literal 1 binary64)) y)))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
-inf
2.0ms
x
0
2.0ms
y
0
2.0ms
x
inf
2.0ms
y
inf
rewrite72.0ms (4.2%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
027130
044124
1177120
2581120
04159120
04388120
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
24 → 1 069
Calls
Call 1
Inputs
%2 = (+.f64 x y)
%4 = (+.f64 y #s(literal 1 binary64))
%5 = (+ x y)
%6 = (approx %5 y)
%7 = (+.f64 #s(literal 1 binary64) y)
%8 = (/.f64 x %7)
%10 = (+ y 1)
%11 = (/ %5 %10)
%13 = (/.f64 #s(literal 1 binary64) %7)
%14 = (approx %10 #s(literal 1 binary64))
%15 = (/.f64 x y)
%16 = (+.f64 #s(literal 1 binary64) %15)
%17 = (/.f64 #s(literal 1 binary64) y)
%18 = (-.f64 %16 %17)
%20 = (+.f64 y x)
%22 = (+.f64 #s(literal 1/2 binary64) y)
%23 = (+.f64 #s(literal 1/2 binary64) %22)
x
y
%2
#s(literal 1 binary64)
%4
%6
%7
%8
(approx %11 %8)
%13
%14
%15
%16
%17
%18
(approx %11 %18)
%20
#s(literal 1/2 binary64)
%22
%23
(*.f64 %20 %13)
(/.f64 %2 %14)
(/.f64 %2 %23)
(/.f64 %6 %4)
Outputs
%2 = (+.f64 y x)
%3 = (/.f64 %2 y)
%5 = (*.f64 %3 #s(literal 2 binary64))
%7 = (*.f64 #s(literal 1/2 binary64) y)
%8 = (*.f64 %5 %7)
%9 = (/.f64 %2 #s(literal 2 binary64))
%10 = (/.f64 y %7)
%11 = (*.f64 %9 %10)
%12 = (*.f64 #s(literal 2 binary64) %2)
%13 = (*.f64 %12 #s(literal 1/2 binary64))
%14 = (*.f64 #s(literal 1/2 binary64) %2)
%15 = (*.f64 %14 #s(literal 2 binary64))
%16 = (*.f64 %2 y)
%18 = (/.f64 #s(literal 1 binary64) y)
%19 = (*.f64 %16 %18)
%20 = (*.f64 #s(literal 2 binary64) %14)
%21 = (*.f64 #s(literal 1/2 binary64) %12)
%22 = (/.f64 y #s(literal 1 binary64))
%23 = (*.f64 %3 %22)
%24 = (*.f64 %3 y)
%25 = (*.f64 #s(literal 1 binary64) %2)
%26 = (*.f64 %2 #s(literal 1 binary64))
%27 = (*.f64 y %3)
%28 = (pow.f64 %2 #s(literal 1 binary64))
%30 = (/.f64 (/.f64 %16 #s(literal 2 binary64)) %7)
%32 = (/.f64 (/.f64 %16 #s(literal 1 binary64)) y)
%34 = (*.f64 #s(literal 2 binary64) y)
%35 = (/.f64 (*.f64 #s(literal 2 binary64) %16) %34)
%37 = (*.f64 y #s(literal 2 binary64))
%38 = (/.f64 (*.f64 %16 #s(literal 2 binary64)) %37)
%39 = (/.f64 %12 #s(literal 2 binary64))
%40 = (neg.f64 %2)
%41 = (*.f64 %40 y)
%42 = (neg.f64 y)
%43 = (/.f64 %41 %42)
%44 = (/.f64 %16 y)
%46 = (/.f64 #s(literal 1 binary64) (/.f64 y %16))
%49 = (/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
%50 = (/.f64 %2 #s(literal 1 binary64))
%51 = (neg.f64 %40)
%53 = (fma.f64 (*.f64 #s(literal 1/2 binary64) %3) y %14)
%55 = (*.f64 %2 #s(literal 0 binary64))
%56 = (fma.f64 %5 %7 %55)
%57 = (*.f64 #s(literal 0 binary64) %2)
%58 = (fma.f64 %5 %7 %57)
%59 = (fma.f64 %9 %10 %55)
%60 = (fma.f64 %9 %10 %57)
%61 = (/.f64 x y)
%63 = (-.f64 %61 #s(literal -1/2 binary64))
%64 = (fma.f64 %63 y %7)
%66 = (fma.f64 %12 #s(literal 1/4 binary64) %14)
%67 = (fma.f64 %12 #s(literal 1/2 binary64) %55)
%68 = (fma.f64 %12 #s(literal 1/2 binary64) %57)
%69 = (fma.f64 %7 %3 %14)
%70 = (*.f64 y %63)
%71 = (fma.f64 %7 #s(literal 1 binary64) %70)
%72 = (*.f64 %63 y)
%73 = (fma.f64 %7 #s(literal 1 binary64) %72)
%74 = (fma.f64 %14 #s(literal 2 binary64) %55)
%75 = (fma.f64 %14 #s(literal 2 binary64) %57)
%76 = (fma.f64 %14 #s(literal 1 binary64) %14)
%77 = (fma.f64 %16 %18 %55)
%78 = (fma.f64 %16 %18 %57)
%79 = (fma.f64 #s(literal 2 binary64) %14 %55)
%80 = (fma.f64 #s(literal 2 binary64) %14 %57)
%81 = (fma.f64 #s(literal 1/2 binary64) %12 %55)
%82 = (fma.f64 #s(literal 1/2 binary64) %12 %57)
%83 = (fma.f64 #s(literal 1/2 binary64) %2 %14)
%84 = (fma.f64 #s(literal 1/2 binary64) y %70)
%85 = (fma.f64 #s(literal 1/2 binary64) y %72)
%86 = (fma.f64 %3 %22 %55)
%87 = (fma.f64 %3 %22 %57)
%88 = (fma.f64 %3 %7 %14)
%89 = (fma.f64 %3 y %55)
%90 = (fma.f64 %3 y %57)
%91 = (fma.f64 #s(literal 1 binary64) %7 %70)
%92 = (fma.f64 #s(literal 1 binary64) %7 %72)
%93 = (fma.f64 #s(literal 1 binary64) %14 %14)
%94 = (fma.f64 #s(literal 1 binary64) %2 %55)
%95 = (fma.f64 #s(literal 1 binary64) %2 %57)
%96 = (fma.f64 %2 #s(literal 1/2 binary64) %14)
%97 = (fma.f64 %2 #s(literal 1 binary64) %55)
%98 = (fma.f64 %2 #s(literal 1 binary64) %57)
%100 = (fma.f64 y (*.f64 %3 #s(literal 1/2 binary64)) %14)
%101 = (fma.f64 y %63 %7)
%102 = (fma.f64 y #s(literal 1/2 binary64) %70)
%103 = (fma.f64 y #s(literal 1/2 binary64) %72)
%104 = (fma.f64 y %3 %55)
%105 = (fma.f64 y %3 %57)
%107 = (-.f64 %14 (*.f64 %40 #s(literal 1/2 binary64)))
%109 = (-.f64 %14 (*.f64 #s(literal -1/2 binary64) %2))
%111 = (-.f64 %14 (neg.f64 %14))
%112 = (neg.f64 x)
%113 = (-.f64 y %112)
%114 = (-.f64 x %42)
%115 = (+.f64 %70 %7)
%116 = (+.f64 %72 %7)
%117 = (+.f64 %7 %70)
%118 = (+.f64 %7 %72)
%119 = (+.f64 %14 %14)
%120 = (+.f64 %2 %55)
%121 = (+.f64 %2 %57)
%122 = (+.f64 x y)
%123 = (+.f64 #s(literal 1/2 binary64) %7)
%124 = (*.f64 #s(literal 2 binary64) %123)
%125 = (fma.f64 #s(literal 1/2 binary64) y #s(literal 1/2 binary64))
%126 = (*.f64 #s(literal 2 binary64) %125)
%127 = (-.f64 %7 #s(literal -1/2 binary64))
%128 = (*.f64 #s(literal 2 binary64) %127)
%129 = (+.f64 #s(literal 1 binary64) y)
%130 = (*.f64 %129 #s(literal 1 binary64))
%131 = (*.f64 #s(literal 1 binary64) %129)
%132 = (pow.f64 %129 #s(literal 1 binary64))
%134 = (/.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
%135 = (/.f64 #s(literal 1 binary64) %129)
%136 = (/.f64 #s(literal 1 binary64) %135)
%137 = (-.f64 #s(literal -1 binary64) y)
%138 = (neg.f64 %137)
%139 = (fma.f64 #s(literal 2 binary64) %123 #s(literal 0 binary64))
%140 = (fma.f64 #s(literal 2 binary64) %125 #s(literal 0 binary64))
%141 = (fma.f64 #s(literal 2 binary64) %127 #s(literal 0 binary64))
%142 = (fma.f64 %129 #s(literal 1 binary64) #s(literal 0 binary64))
%143 = (fma.f64 #s(literal 1 binary64) %129 #s(literal 0 binary64))
%144 = (+.f64 #s(literal 1/2 binary64) y)
%145 = (-.f64 %144 #s(literal -1/2 binary64))
%146 = (-.f64 #s(literal -1/2 binary64) y)
%147 = (-.f64 #s(literal 1/2 binary64) %146)
%148 = (-.f64 #s(literal 1 binary64) %42)
%149 = (-.f64 y #s(literal -1 binary64))
%150 = (+.f64 %144 #s(literal 1/2 binary64))
%151 = (+.f64 #s(literal 1/2 binary64) %144)
%152 = (+.f64 %129 #s(literal 0 binary64))
%154 = (+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y))
%156 = (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %42))
%157 = (+.f64 y #s(literal 1 binary64))
%158 = (+ y x)
%159 = (approx %158 y)
%160 = (*.f64 %159 #s(literal 2 binary64))
%162 = (*.f64 %159 #s(literal 1/2 binary64))
%170 = (neg.f64 %159)
%172 = (*.f64 %159 #s(literal 0 binary64))
%174 = (*.f64 #s(literal 0 binary64) %159)
%178 = (*.f64 #s(literal 1/2 binary64) %159)
%189 = (*.f64 x #s(literal 2 binary64))
%190 = (/.f64 #s(literal 1/2 binary64) %129)
%192 = (/.f64 #s(literal -1 binary64) %129)
%194 = (*.f64 %190 x)
%197 = (*.f64 %192 x)
%200 = (/.f64 x %129)
%205 = (*.f64 %112 #s(literal 1 binary64))
%215 = (/.f64 x %137)
%218 = (*.f64 x %190)
%223 = (+ 1 y)
%224 = (/ %158 %223)
%225 = (approx %224 %200)
%229 = (*.f64 %135 #s(literal 2 binary64))
%232 = (*.f64 #s(literal 1/2 binary64) %192)
%234 = (/.f64 #s(literal 1/2 binary64) %137)
%239 = (*.f64 %192 #s(literal 1 binary64))
%242 = (*.f64 #s(literal 2 binary64) %135)
%244 = (/.f64 #s(literal 2 binary64) %129)
%256 = (*.f64 %137 %137)
%263 = (*.f64 #s(literal 2 binary64) %137)
%267 = (*.f64 #s(literal 2 binary64) %129)
%280 = (*.f64 %135 #s(literal 0 binary64))
%282 = (*.f64 #s(literal 0 binary64) %135)
%284 = (/.f64 #s(literal 0 binary64) %129)
%332 = (approx %223 #s(literal 1 binary64))
%334 = (/.f64 #s(literal 1 binary64) %332)
%336 = (neg.f64 %332)
%338 = (*.f64 %112 #s(literal -1 binary64))
%340 = (/.f64 #s(literal -1 binary64) y)
%342 = (/.f64 x #s(literal 2 binary64))
%343 = (/.f64 #s(literal 1 binary64) %7)
%345 = (/.f64 x #s(literal 1 binary64))
%347 = (/.f64 #s(literal 1/2 binary64) y)
%349 = (*.f64 %347 x)
%353 = (/.f64 %112 y)
%374 = (*.f64 x %347)
%378 = (/.f64 %12 #s(literal 1 binary64))
%380 = (/.f64 %12 y)
%382 = (/.f64 %3 #s(literal 2 binary64))
%384 = (/.f64 %3 y)
%387 = (/.f64 y #s(literal 2 binary64))
%388 = (/.f64 %3 %7)
%393 = (/.f64 %2 %7)
%399 = (*.f64 %3 %18)
%405 = (*.f64 #s(literal 2 binary64) %42)
%407 = (*.f64 %42 #s(literal 2 binary64))
%421 = (*.f64 #s(literal 2 binary64) %112)
%424 = (*.f64 #s(literal 2 binary64) x)
%431 = (*.f64 %16 #s(literal -1 binary64))
%432 = (*.f64 %42 y)
%435 = (*.f64 y y)
%445 = (-.f64 #s(literal -1 binary64) %61)
%460 = (*.f64 %347 %2)
%474 = (*.f64 %2 %347)
%495 = (/.f64 %14 y)
%506 = (*.f64 %18 #s(literal 2 binary64))
%508 = (/.f64 #s(literal 2 binary64) %7)
%510 = (/.f64 #s(literal 2 binary64) y)
%512 = (*.f64 #s(literal 1/2 binary64) %340)
%514 = (/.f64 #s(literal 1/2 binary64) %42)
%520 = (*.f64 #s(literal 2 binary64) %18)
%546 = (*.f64 %18 #s(literal 0 binary64))
%548 = (*.f64 #s(literal 0 binary64) %18)
%550 = (/.f64 #s(literal 0 binary64) y)
%596 = (neg.f64 %347)
%598 = (/.f64 #s(literal -1/2 binary64) y)
%604 = (-.f64 %2 #s(literal 1 binary64))
%605 = (*.f64 %604 #s(literal 2 binary64))
%607 = (*.f64 %604 #s(literal -1 binary64))
%609 = (*.f64 %604 #s(literal 1 binary64))
%611 = (fma.f64 %40 y y)
%612 = (/.f64 #s(literal 1 binary64) %432)
%614 = (-.f64 #s(literal 1 binary64) %2)
%616 = (*.f64 y %604)
%617 = (/.f64 #s(literal 1 binary64) %435)
%620 = (-.f64 x #s(literal 1 binary64))
%621 = (/.f64 %620 y)
%622 = (-.f64 %621 #s(literal -1 binary64))
%642 = (-.f64 %112 #s(literal -1 binary64))
%646 = (-.f64 (*.f64 %112 %42) y)
%649 = (fma.f64 %112 y y)
%653 = (-.f64 (*.f64 y x) y)
%660 = (*.f64 #s(literal 2 binary64) %435)
%662 = (*.f64 %435 #s(literal 2 binary64))
%664 = (*.f64 #s(literal 2 binary64) %432)
%666 = (*.f64 %432 #s(literal 2 binary64))
%670 = (*.f64 %40 %42)
%740 = (/.f64 (-.f64 #s(literal 1 binary64) x) y)
%747 = (/.f64 (+.f64 y #s(literal -1 binary64)) y)
%767 = (*.f64 %347 %604)
%789 = (*.f64 %604 %347)
%828 = (-.f64 #s(literal 1/2 binary64) %740)
%871 = (approx %224 %622)
%883 = (*.f64 (*.f64 %135 %12) #s(literal 1/2 binary64))
%885 = (*.f64 (*.f64 %135 %3) y)
%886 = (*.f64 %12 %190)
%887 = (*.f64 %192 %40)
%888 = (fma.f64 y x x)
%889 = (/.f64 %888 %129)
%890 = (+.f64 %889 y)
%891 = (*.f64 %890 %135)
%892 = (neg.f64 %888)
%893 = (fma.f64 %137 y %892)
%894 = (*.f64 %137 %129)
%896 = (*.f64 %893 (/.f64 #s(literal 1 binary64) %894))
%897 = (*.f64 %129 %2)
%899 = (*.f64 %897 (/.f64 #s(literal 1 binary64) %256))
%900 = (/.f64 %2 %129)
%902 = (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %900))
%903 = (*.f64 %190 %2)
%904 = (*.f64 #s(literal 2 binary64) %903)
%905 = (/.f64 y %129)
%906 = (*.f64 %905 %3)
%907 = (*.f64 %40 %192)
%908 = (*.f64 %192 %2)
%909 = (*.f64 #s(literal -1 binary64) %908)
%910 = (/.f64 %2 %137)
%911 = (*.f64 #s(literal -1 binary64) %910)
%912 = (*.f64 #s(literal 2 binary64) %900)
%913 = (*.f64 #s(literal 1/2 binary64) %912)
%914 = (*.f64 %3 %905)
%915 = (*.f64 %135 %2)
%916 = (*.f64 %900 #s(literal 1 binary64))
%917 = (*.f64 #s(literal 1 binary64) %900)
%918 = (*.f64 %2 %135)
%920 = (*.f64 y (*.f64 %3 %135))
%922 = (*.f64 y (/.f64 %3 %129))
%923 = (pow.f64 %900 #s(literal 1 binary64))
%925 = (/.f64 (*.f64 %135 %16) y)
%927 = (/.f64 (*.f64 #s(literal 1 binary64) %890) %129)
%929 = (/.f64 (*.f64 #s(literal 1 binary64) %893) %894)
%931 = (/.f64 (*.f64 #s(literal 1 binary64) %897) %256)
%932 = (/.f64 %912 #s(literal 2 binary64))
%934 = (/.f64 (*.f64 %16 %135) y)
%936 = (/.f64 (/.f64 %893 %137) %129)
%938 = (/.f64 (/.f64 %897 %129) %129)
%940 = (/.f64 (fma.f64 %905 %137 %112) %137)
%942 = (/.f64 (fma.f64 %905 %129 x) %129)
%944 = (/.f64 (fma.f64 %200 %137 %42) %137)
%947 = (/.f64 (-.f64 (*.f64 %905 %129) %112) %129)
%950 = (/.f64 (fma.f64 %42 %137 (*.f64 %112 %137)) %256)
%953 = (/.f64 (fma.f64 %42 %129 (*.f64 x %137)) %894)
%956 = (/.f64 (fma.f64 %112 %137 (*.f64 %42 %137)) %256)
%957 = (*.f64 %42 %129)
%959 = (/.f64 (fma.f64 x %137 %957) %894)
%960 = (*.f64 %137 %112)
%962 = (/.f64 (fma.f64 %42 %137 %960) %256)
%965 = (/.f64 (fma.f64 %42 %129 (*.f64 %137 x)) %894)
%966 = (*.f64 %137 %42)
%968 = (/.f64 (fma.f64 %112 %137 %966) %256)
%969 = (*.f64 %129 %42)
%971 = (/.f64 (fma.f64 x %137 %969) %894)
%973 = (/.f64 (-.f64 %957 %960) %894)
%974 = (fma.f64 y y y)
%976 = (/.f64 (-.f64 %974 %892) %256)
%978 = (/.f64 (-.f64 %892 %966) %894)
%980 = (/.f64 (-.f64 %888 %969) %256)
%981 = (*.f64 #s(literal -1 binary64) %16)
%982 = (*.f64 %137 y)
%983 = (/.f64 %981 %982)
%985 = (/.f64 (*.f64 #s(literal 2 binary64) %890) %267)
%988 = (/.f64 (*.f64 #s(literal 2 binary64) %893) (*.f64 #s(literal 2 binary64) %894))
%991 = (/.f64 (*.f64 #s(literal 2 binary64) %897) (*.f64 #s(literal 2 binary64) %256))
%993 = (/.f64 (*.f64 #s(literal 2 binary64) %40) %263)
%994 = (/.f64 %431 %982)
%996 = (/.f64 (neg.f64 %890) %137)
%998 = (/.f64 (neg.f64 %893) %256)
%1000 = (/.f64 (neg.f64 %897) %894)
%1001 = (/.f64 %12 %267)
%1002 = (/.f64 %890 %129)
%1003 = (/.f64 %893 %894)
%1004 = (/.f64 %897 %256)
%1005 = (/.f64 %16 %974)
%1006 = (/.f64 %40 %137)
%1008 = (/.f64 #s(literal 1 binary64) (/.f64 %129 %890))
%1010 = (/.f64 #s(literal 1 binary64) (/.f64 %894 %893))
%1012 = (/.f64 #s(literal 1 binary64) (/.f64 %256 %897))
%1014 = (/.f64 #s(literal 1 binary64) (pow.f64 %900 #s(literal -1 binary64)))
%1016 = (/.f64 #s(literal 1 binary64) (/.f64 %137 %40))
%1018 = (/.f64 #s(literal 1 binary64) (/.f64 %129 %2))
%1019 = (neg.f64 %908)
%1021 = (neg.f64 (*.f64 #s(literal -1 binary64) %900))
%1023 = (neg.f64 (*.f64 %135 %40))
%1025 = (neg.f64 (/.f64 %890 %137))
%1026 = (neg.f64 %910)
%1027 = (fma.f64 %229 %7 %200)
%1028 = (fma.f64 %189 %190 %905)
%1029 = (fma.f64 %37 %190 %200)
%1030 = (*.f64 %14 %135)
%1031 = (fma.f64 %14 %135 %1030)
%1032 = (fma.f64 %192 %112 %905)
%1033 = (fma.f64 %190 %2 %903)
%1035 = (fma.f64 #s(literal 2 binary64) (*.f64 %7 %135) %200)
%1037 = (fma.f64 #s(literal 2 binary64) (/.f64 %7 %129) %200)
%1038 = (fma.f64 #s(literal 2 binary64) %194 %905)
%1040 = (fma.f64 #s(literal 2 binary64) (*.f64 %190 y) %200)
%1041 = (fma.f64 %905 #s(literal 1 binary64) %200)
%1042 = (fma.f64 %112 %192 %905)
%1043 = (fma.f64 %42 %192 %200)
%1044 = (fma.f64 #s(literal -1 binary64) %197 %905)
%1045 = (*.f64 %192 y)
%1046 = (fma.f64 #s(literal -1 binary64) %1045 %200)
%1047 = (*.f64 %135 %14)
%1048 = (fma.f64 %135 %14 %1047)
%1049 = (fma.f64 %135 y %200)
%1050 = (fma.f64 %135 x %905)
%1051 = (fma.f64 %200 #s(literal 1 binary64) %905)
%1052 = (fma.f64 #s(literal 1 binary64) %905 %200)
%1053 = (fma.f64 #s(literal 1 binary64) %200 %905)
%1054 = (*.f64 %2 %190)
%1055 = (fma.f64 %2 %190 %1054)
%1056 = (fma.f64 y %135 %200)
%1057 = (fma.f64 x %135 %905)
%1058 = (-.f64 %905 %197)
%1059 = (-.f64 %905 %215)
%1060 = (-.f64 %200 %1045)
%1062 = (-.f64 %200 (/.f64 y %137))
%1063 = (+.f64 %1047 %1047)
%1064 = (+.f64 %1054 %1054)
%1065 = (+.f64 %1030 %1030)
%1066 = (+.f64 %903 %903)
%1068 = (+.f64 (/.f64 %889 %129) %905)
%1071 = (+.f64 (/.f64 %892 %894) (/.f64 %982 %894))
%1074 = (+.f64 (/.f64 %888 %256) (/.f64 %974 %256))
%1075 = (/.f64 %14 %129)
%1076 = (+.f64 %1075 %1075)
%1077 = (+.f64 %905 %200)
%1078 = (+.f64 %200 %905)
%1083 = (/.f64 #s(literal 1/2 binary64) %332)
%1085 = (/.f64 #s(literal -1 binary64) %332)
%1087 = (/.f64 x %332)
%1088 = (fma.f64 %1087 %332 y)
%1090 = (*.f64 %332 %2)
%1091 = (*.f64 %332 %332)
%1094 = (*.f64 %1083 %2)
%1097 = (/.f64 y %332)
%1100 = (/.f64 %2 %332)
%1130 = (*.f64 %336 %332)
%1132 = (*.f64 %112 %332)
%1134 = (*.f64 %332 %336)
%1139 = (*.f64 y %336)
%1142 = (*.f64 %42 %332)
%1145 = (*.f64 %336 %112)
%1151 = (*.f64 %332 %112)
%1154 = (*.f64 %336 %42)
%1157 = (*.f64 %336 y)
%1160 = (*.f64 %332 %42)
%1165 = (*.f64 %332 y)
%1170 = (*.f64 %332 x)
%1200 = (*.f64 %14 %334)
%1207 = (*.f64 %334 %14)
%1214 = (*.f64 %2 %1083)
%1232 = (/.f64 %14 %332)
%1238 = (*.f64 %190 %159)
%1241 = (*.f64 %192 %159)
%1243 = (/.f64 %159 %129)
%1262 = (*.f64 %159 %190)
x
y
%8
%11
%13
%15
%19
%20
%21
%23
%24
%25
%26
%27
%28
%30
%32
%35
%38
%39
%43
%44
%46
%49
%50
%51
%53
%56
%58
%59
%60
%64
%66
%67
%68
%69
%71
%73
%74
%75
%76
%77
%78
%79
%80
%81
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%98
%100
%101
%102
%103
%104
%105
%107
%109
%111
%113
%114
%115
%116
%117
%118
%119
%120
%121
%2
%122
#s(literal 1 binary64)
%124
%126
%128
%130
%131
%132
%134
%136
%138
%139
%140
%141
%142
%143
%145
%147
%148
%149
%150
%151
%152
%154
%156
%129
%157
(*.f64 %160 #s(literal 1/2 binary64))
(*.f64 %162 #s(literal 2 binary64))
(*.f64 %159 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %159)
(pow.f64 %159 #s(literal 1 binary64))
%159
(/.f64 %160 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %159 #s(literal -1 binary64)))
(neg.f64 %170)
(fma.f64 %160 #s(literal 1/2 binary64) %172)
(fma.f64 %160 #s(literal 1/2 binary64) %174)
(fma.f64 %162 #s(literal 2 binary64) %172)
(fma.f64 %162 #s(literal 2 binary64) %174)
(fma.f64 #s(literal 1/2 binary64) %159 %178)
(fma.f64 %159 #s(literal 1/2 binary64) %162)
(fma.f64 %159 #s(literal 1 binary64) %172)
(fma.f64 %159 #s(literal 1 binary64) %174)
(fma.f64 #s(literal 1 binary64) %159 %172)
(fma.f64 #s(literal 1 binary64) %159 %174)
(+.f64 %162 %162)
(+.f64 %178 %178)
(+.f64 %159 %172)
(+.f64 %159 %174)
%124
%126
%128
%130
%131
%132
%134
%136
%138
%139
%140
%141
%142
%143
%145
%147
%148
%149
%150
%151
%152
%154
%156
%129
%157
(*.f64 %189 %190)
(*.f64 %192 %112)
(*.f64 #s(literal 2 binary64) %194)
(*.f64 %112 %192)
(*.f64 #s(literal -1 binary64) %197)
(*.f64 %135 x)
(*.f64 %200 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %200)
(*.f64 x %135)
(pow.f64 %200 #s(literal 1 binary64))
(/.f64 %205 %137)
(/.f64 %112 %137)
(/.f64 #s(literal 1 binary64) (pow.f64 %200 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %137 %112))
(/.f64 #s(literal 1 binary64) (/.f64 %129 x))
%200
(neg.f64 %197)
(neg.f64 %215)
(fma.f64 %190 x %194)
(fma.f64 x %190 %218)
(+.f64 %218 %218)
(+.f64 %194 %194)
(pow.f64 %225 #s(literal 1 binary64))
%225
(/.f64 #s(literal 1 binary64) (pow.f64 %225 #s(literal -1 binary64)))
(*.f64 %229 #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) %232)
(*.f64 #s(literal -2 binary64) %234)
(*.f64 %192 #s(literal -1 binary64))
(*.f64 %190 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %190)
(*.f64 #s(literal -1 binary64) %239)
(*.f64 #s(literal -1 binary64) %192)
(*.f64 #s(literal 1/2 binary64) %242)
(*.f64 #s(literal 1/2 binary64) %244)
(*.f64 %135 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %135)
(pow.f64 %135 #s(literal 1 binary64))
(pow.f64 %129 #s(literal -1 binary64))
(/.f64 %229 #s(literal 2 binary64))
(/.f64 %242 #s(literal 2 binary64))
(/.f64 (fma.f64 %190 %129 #s(literal 1/2 binary64)) %129)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %129 (*.f64 #s(literal 1/2 binary64) %129)) %256)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %129 (*.f64 %129 #s(literal 1/2 binary64))) %256)
(/.f64 #s(literal -2 binary64) (*.f64 %137 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) %263)
(/.f64 #s(literal 2 binary64) (*.f64 %129 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) %267)
(/.f64 #s(literal -1 binary64) %137)
(/.f64 #s(literal 1 binary64) (pow.f64 %135 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %137 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %129 #s(literal 1 binary64)))
%135
(neg.f64 %239)
(neg.f64 (*.f64 %135 #s(literal -1 binary64)))
(neg.f64 %192)
(fma.f64 %229 #s(literal 1/2 binary64) %280)
(fma.f64 %229 #s(literal 1/2 binary64) %282)
(fma.f64 %229 #s(literal 1/2 binary64) %284)
(fma.f64 #s(literal -2 binary64) %232 %280)
(fma.f64 #s(literal -2 binary64) %232 %282)
(fma.f64 #s(literal -2 binary64) %232 %284)
(fma.f64 #s(literal -2 binary64) %234 %280)
(fma.f64 #s(literal -2 binary64) %234 %282)
(fma.f64 #s(literal -2 binary64) %234 %284)
(fma.f64 #s(literal -1/2 binary64) %192 %190)
(fma.f64 %192 #s(literal -1 binary64) %280)
(fma.f64 %192 #s(literal -1 binary64) %282)
(fma.f64 %192 #s(literal -1 binary64) %284)
(fma.f64 %190 #s(literal 2 binary64) %280)
(fma.f64 %190 #s(literal 2 binary64) %282)
(fma.f64 %190 #s(literal 2 binary64) %284)
(fma.f64 %190 #s(literal 1 binary64) %190)
(fma.f64 #s(literal 2 binary64) %190 %280)
(fma.f64 #s(literal 2 binary64) %190 %282)
(fma.f64 #s(literal 2 binary64) %190 %284)
(fma.f64 #s(literal -1 binary64) %239 %280)
(fma.f64 #s(literal -1 binary64) %239 %282)
(fma.f64 #s(literal -1 binary64) %239 %284)
(fma.f64 #s(literal -1 binary64) %192 %280)
(fma.f64 #s(literal -1 binary64) %192 %282)
(fma.f64 #s(literal -1 binary64) %192 %284)
(fma.f64 #s(literal 1/2 binary64) %242 %280)
(fma.f64 #s(literal 1/2 binary64) %242 %282)
(fma.f64 #s(literal 1/2 binary64) %242 %284)
(fma.f64 #s(literal 1/2 binary64) %244 %280)
(fma.f64 #s(literal 1/2 binary64) %244 %282)
(fma.f64 #s(literal 1/2 binary64) %244 %284)
(fma.f64 #s(literal 1/2 binary64) %135 %190)
(fma.f64 %135 #s(literal 1/2 binary64) %190)
(fma.f64 %135 #s(literal 1 binary64) %280)
(fma.f64 %135 #s(literal 1 binary64) %282)
(fma.f64 %135 #s(literal 1 binary64) %284)
(fma.f64 #s(literal 1 binary64) %190 %190)
(fma.f64 #s(literal 1 binary64) %135 %280)
(fma.f64 #s(literal 1 binary64) %135 %282)
(fma.f64 #s(literal 1 binary64) %135 %284)
(-.f64 %190 (neg.f64 %190))
(-.f64 %190 (/.f64 #s(literal -1/2 binary64) %129))
(+.f64 %190 %190)
(+.f64 %135 %280)
(+.f64 %135 %282)
(+.f64 %135 %284)
(pow.f64 %332 #s(literal 1 binary64))
%332
(/.f64 #s(literal 1 binary64) %334)
(neg.f64 %336)
(*.f64 %338 %18)
(*.f64 %205 %340)
(*.f64 %342 %343)
(*.f64 %345 %18)
(*.f64 %189 %347)
(*.f64 #s(literal 2 binary64) %349)
(*.f64 %340 %112)
(*.f64 %112 %340)
(*.f64 #s(literal -1 binary64) %353)
(*.f64 %18 x)
(*.f64 %61 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %61)
(*.f64 x %18)
(pow.f64 %61 #s(literal 1 binary64))
(/.f64 %338 y)
(/.f64 %205 %42)
(/.f64 %342 %7)
(/.f64 %345 y)
(/.f64 %112 %42)
(/.f64 %61 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %61 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %42 %112))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
%61
(neg.f64 %353)
(fma.f64 %347 x %349)
(fma.f64 x %347 %374)
(+.f64 %374 %374)
(+.f64 %349 %349)
(*.f64 %378 %347)
(*.f64 %380 #s(literal 1/2 binary64))
(*.f64 %382 %10)
(*.f64 %384 %22)
(*.f64 %9 %343)
(*.f64 %387 %388)
(*.f64 %22 %384)
(*.f64 %12 %347)
(*.f64 %40 %340)
(*.f64 #s(literal 1/2 binary64) %393)
(*.f64 %18 %2)
(*.f64 %3 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %2 %18)
(*.f64 y %399)
(*.f64 y %384)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (fma.f64 %61 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %112 #s(literal 2 binary64) %405) %407)
(/.f64 (fma.f64 x #s(literal 2 binary64) %34) %37)
(/.f64 (fma.f64 #s(literal 2 binary64) %42 (*.f64 %112 #s(literal 2 binary64))) %405)
(/.f64 (fma.f64 #s(literal 2 binary64) y %189) %34)
(/.f64 %9 %7)
(/.f64 (fma.f64 %112 #s(literal 2 binary64) %407) %407)
(/.f64 (fma.f64 x #s(literal 2 binary64) %37) %37)
(/.f64 (fma.f64 #s(literal 2 binary64) %42 %421) %405)
(/.f64 (fma.f64 #s(literal 2 binary64) y %424) %34)
(/.f64 (-.f64 %34 %421) %34)
(/.f64 (-.f64 %405 %424) %405)
(/.f64 %431 %432)
(/.f64 %41 %432)
(/.f64 %16 %435)
(/.f64 %40 %42)
(/.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %42 %40))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %2))
%3
(neg.f64 %445)
(fma.f64 %338 %18 #s(literal 1 binary64))
(fma.f64 %205 %340 #s(literal 1 binary64))
(fma.f64 %378 %347 #s(literal 0 binary64))
(fma.f64 %380 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %382 %10 #s(literal 0 binary64))
(fma.f64 %384 %22 #s(literal 0 binary64))
(fma.f64 %9 %343 #s(literal 0 binary64))
(fma.f64 %342 %343 #s(literal 1 binary64))
(fma.f64 %345 %18 #s(literal 1 binary64))
(fma.f64 %387 %388 #s(literal 0 binary64))
(fma.f64 %22 %384 #s(literal 0 binary64))
(fma.f64 %189 %347 #s(literal 1 binary64))
(fma.f64 %12 %347 #s(literal 0 binary64))
(fma.f64 %347 %2 %460)
(fma.f64 #s(literal 2 binary64) %349 #s(literal 1 binary64))
(fma.f64 %340 %112 #s(literal 1 binary64))
(fma.f64 %112 %340 #s(literal 1 binary64))
(fma.f64 %40 %340 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %353 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %393 #s(literal 0 binary64))
(fma.f64 %18 %2 #s(literal 0 binary64))
(fma.f64 %18 x #s(literal 1 binary64))
(fma.f64 %3 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %61 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %61 #s(literal 1 binary64))
(fma.f64 %2 %347 %474)
(fma.f64 %2 %18 #s(literal 0 binary64))
(fma.f64 y %399 #s(literal 0 binary64))
(fma.f64 y %384 #s(literal 0 binary64))
(fma.f64 x %18 #s(literal 1 binary64))
(-.f64 %63 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %61))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %353))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %63))
(-.f64 %61 (/.f64 y %42))
(-.f64 %61 (/.f64 %42 y))
(-.f64 %61 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %353)
(+.f64 %474 %474)
(+.f64 %460 %460)
(+.f64 %495 %495)
(+.f64 %63 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %63)
(+.f64 %3 #s(literal 0 binary64))
(+.f64 %61 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %61))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %353))
(+.f64 #s(literal 1 binary64) %61)
(*.f64 %506 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %508)
(*.f64 %510 #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) %512)
(*.f64 #s(literal -2 binary64) %514)
(*.f64 %347 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %347)
(*.f64 %340 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %340)
(*.f64 #s(literal 1/2 binary64) %520)
(*.f64 #s(literal 1/2 binary64) %510)
(*.f64 #s(literal 1/2 binary64) %343)
(*.f64 %18 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %18)
(pow.f64 %18 #s(literal 1 binary64))
(pow.f64 y #s(literal -1 binary64))
(/.f64 %520 #s(literal 2 binary64))
(/.f64 (fma.f64 %347 y #s(literal 1/2 binary64)) y)
(/.f64 %506 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %407)
(/.f64 #s(literal -2 binary64) %405)
(/.f64 #s(literal 2 binary64) %34)
(/.f64 #s(literal 2 binary64) %37)
(/.f64 #s(literal -1 binary64) %42)
(/.f64 #s(literal 1/2 binary64) %7)
(/.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %22)
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %42 #s(literal -1 binary64)))
%18
(/.f64 y %435)
(neg.f64 %340)
(fma.f64 %506 #s(literal 1/2 binary64) %546)
(fma.f64 %506 #s(literal 1/2 binary64) %548)
(fma.f64 %506 #s(literal 1/2 binary64) %550)
(fma.f64 #s(literal 1/4 binary64) %508 %546)
(fma.f64 #s(literal 1/4 binary64) %508 %548)
(fma.f64 #s(literal 1/4 binary64) %508 %550)
(fma.f64 %510 #s(literal 1/2 binary64) %546)
(fma.f64 %510 #s(literal 1/2 binary64) %548)
(fma.f64 %510 #s(literal 1/2 binary64) %550)
(fma.f64 #s(literal -2 binary64) %512 %546)
(fma.f64 #s(literal -2 binary64) %512 %548)
(fma.f64 #s(literal -2 binary64) %512 %550)
(fma.f64 #s(literal -2 binary64) %514 %546)
(fma.f64 #s(literal -2 binary64) %514 %548)
(fma.f64 #s(literal -2 binary64) %514 %550)
(fma.f64 #s(literal -1/2 binary64) %340 %347)
(fma.f64 %347 #s(literal 2 binary64) %546)
(fma.f64 %347 #s(literal 2 binary64) %548)
(fma.f64 %347 #s(literal 2 binary64) %550)
(fma.f64 %347 #s(literal 1 binary64) %347)
(fma.f64 #s(literal 2 binary64) %347 %546)
(fma.f64 #s(literal 2 binary64) %347 %548)
(fma.f64 #s(literal 2 binary64) %347 %550)
(fma.f64 %340 #s(literal -1 binary64) %546)
(fma.f64 %340 #s(literal -1 binary64) %548)
(fma.f64 %340 #s(literal -1 binary64) %550)
(fma.f64 #s(literal -1 binary64) %340 %546)
(fma.f64 #s(literal -1 binary64) %340 %548)
(fma.f64 #s(literal -1 binary64) %340 %550)
(fma.f64 #s(literal 1/2 binary64) %520 %546)
(fma.f64 #s(literal 1/2 binary64) %520 %548)
(fma.f64 #s(literal 1/2 binary64) %520 %550)
(fma.f64 #s(literal 1/2 binary64) %510 %546)
(fma.f64 #s(literal 1/2 binary64) %510 %548)
(fma.f64 #s(literal 1/2 binary64) %510 %550)
(fma.f64 #s(literal 1/2 binary64) %343 %546)
(fma.f64 #s(literal 1/2 binary64) %343 %548)
(fma.f64 #s(literal 1/2 binary64) %343 %550)
(fma.f64 #s(literal 1/2 binary64) %18 %347)
(fma.f64 %18 #s(literal 1/2 binary64) %347)
(fma.f64 %18 #s(literal 1 binary64) %546)
(fma.f64 %18 #s(literal 1 binary64) %548)
(fma.f64 %18 #s(literal 1 binary64) %550)
(fma.f64 #s(literal 1 binary64) %347 %347)
(fma.f64 #s(literal 1 binary64) %18 %546)
(fma.f64 #s(literal 1 binary64) %18 %548)
(fma.f64 #s(literal 1 binary64) %18 %550)
(-.f64 %347 %596)
(-.f64 %347 %598)
(+.f64 %347 %347)
(+.f64 %18 %546)
(+.f64 %18 %548)
(+.f64 %18 %550)
(*.f64 %605 %347)
(*.f64 %607 %340)
(*.f64 %609 %18)
(*.f64 %611 %612)
(*.f64 %614 %340)
(*.f64 %616 %617)
(*.f64 %604 %18)
(*.f64 %622 #s(literal 1 binary64))
(*.f64 %18 %604)
(pow.f64 %622 #s(literal 1 binary64))
(/.f64 %607 %42)
(/.f64 %609 y)
(/.f64 (/.f64 %611 y) %42)
(/.f64 (/.f64 %616 y) y)
(/.f64 (/.f64 %604 #s(literal 2 binary64)) %7)
(/.f64 (/.f64 %604 #s(literal 1 binary64)) y)
(/.f64 (fma.f64 %621 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %340 %42 %40) %42)
(/.f64 (fma.f64 %340 y %2) y)
(/.f64 (+.f64 %42 %642) %42)
(/.f64 (fma.f64 y y %646) %435)
(/.f64 (fma.f64 %42 y %649) %432)
(/.f64 (fma.f64 y y %653) %435)
(/.f64 (fma.f64 %642 #s(literal 2 binary64) %405) %407)
(/.f64 (fma.f64 %620 #s(literal 2 binary64) %34) %37)
(/.f64 (fma.f64 %646 #s(literal 2 binary64) %660) %662)
(/.f64 (fma.f64 %649 #s(literal 2 binary64) %664) %666)
(/.f64 (fma.f64 %653 #s(literal 2 binary64) %660) %662)
(/.f64 (+.f64 %42 %670) %435)
(/.f64 (fma.f64 %40 %42 %42) %435)
(/.f64 (fma.f64 #s(literal 2 binary64) %42 (*.f64 %642 #s(literal 2 binary64))) %405)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 %620 #s(literal 2 binary64))) %34)
(/.f64 (fma.f64 #s(literal 2 binary64) %435 (*.f64 %646 #s(literal 2 binary64))) %660)
(/.f64 (fma.f64 #s(literal 2 binary64) %432 (*.f64 %649 #s(literal 2 binary64))) %664)
(/.f64 (fma.f64 #s(literal 2 binary64) %435 (*.f64 %653 #s(literal 2 binary64))) %660)
(/.f64 (fma.f64 %642 #s(literal 2 binary64) %407) %407)
(/.f64 (fma.f64 %620 #s(literal 2 binary64) %37) %37)
(/.f64 (fma.f64 %646 #s(literal 2 binary64) %662) %662)
(/.f64 (fma.f64 %649 #s(literal 2 binary64) %666) %666)
(/.f64 (fma.f64 %653 #s(literal 2 binary64) %662) %662)
(/.f64 (+.f64 %42 (*.f64 %42 %40)) %435)
(/.f64 %611 %432)
(/.f64 (fma.f64 #s(literal 2 binary64) %42 (*.f64 #s(literal 2 binary64) %642)) %405)
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 2 binary64) %620)) %34)
(/.f64 (fma.f64 #s(literal 2 binary64) %435 (*.f64 #s(literal 2 binary64) %646)) %660)
(/.f64 (fma.f64 #s(literal 2 binary64) %432 (*.f64 #s(literal 2 binary64) %649)) %664)
(/.f64 (fma.f64 #s(literal 2 binary64) %435 (*.f64 #s(literal 2 binary64) %653)) %660)
(/.f64 (-.f64 %670 y) %435)
(/.f64 %614 %42)
(/.f64 %616 %435)
(/.f64 (+.f64 %42 %16) %435)
(/.f64 (*.f64 y %614) %432)
(/.f64 %604 y)
(/.f64 %622 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %432 %611))
(/.f64 #s(literal 1 binary64) (/.f64 %435 %616))
(/.f64 #s(literal 1 binary64) (/.f64 %42 %614))
(/.f64 #s(literal 1 binary64) (pow.f64 %622 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %604))
(neg.f64 (-.f64 %740 #s(literal 1 binary64)))
(fma.f64 %605 %347 #s(literal 0 binary64))
(fma.f64 %607 %340 #s(literal 0 binary64))
(fma.f64 %609 %18 #s(literal 0 binary64))
(fma.f64 %338 %18 %747)
(fma.f64 %205 %340 %747)
(fma.f64 %378 %347 %340)
(fma.f64 %380 #s(literal 1/2 binary64) %340)
(fma.f64 %382 %10 %340)
(fma.f64 %384 %22 %340)
(fma.f64 %9 %343 %340)
(fma.f64 %342 %343 %747)
(fma.f64 %345 %18 %747)
(fma.f64 (/.f64 #s(literal -2 binary64) y) #s(literal 1/2 binary64) %3)
(fma.f64 %510 #s(literal -1/2 binary64) %3)
(fma.f64 %387 %388 %340)
(fma.f64 %22 %384 %340)
(fma.f64 %611 %612 #s(literal 0 binary64))
(fma.f64 %189 %347 %747)
(fma.f64 %12 %347 %340)
(fma.f64 #s(literal -2 binary64) %347 %3)
(fma.f64 %614 %340 #s(literal 0 binary64))
(fma.f64 %347 %604 %767)
(fma.f64 %642 %340 #s(literal 1 binary64))
(fma.f64 %620 %18 #s(literal 1 binary64))
(fma.f64 %616 %617 #s(literal 0 binary64))
(fma.f64 %646 %617 #s(literal 1 binary64))
(fma.f64 %649 %612 #s(literal 1 binary64))
(fma.f64 %653 %617 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %347 %620) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) %18) %3)
(fma.f64 #s(literal 2 binary64) %349 %747)
(fma.f64 #s(literal 2 binary64) (-.f64 #s(literal 1/2 binary64) %347) %61)
(fma.f64 #s(literal 2 binary64) %512 %3)
(fma.f64 #s(literal 2 binary64) %596 %3)
(fma.f64 #s(literal 2 binary64) %598 %3)
(fma.f64 #s(literal 2 binary64) %514 %3)
(fma.f64 %340 %642 #s(literal 1 binary64))
(fma.f64 %340 %112 %747)
(fma.f64 %340 #s(literal 1 binary64) %3)
(fma.f64 %604 %347 %789)
(fma.f64 %604 %18 #s(literal 0 binary64))
(fma.f64 %112 %340 %747)
(fma.f64 %40 %340 %340)
(fma.f64 #s(literal -1 binary64) %740 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %353 %747)
(fma.f64 #s(literal -1 binary64) %18 %3)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %340) %3)
(fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 2 binary64) %42) %3)
(fma.f64 #s(literal 1/2 binary64) %393 %340)
(fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal -1 binary64) %7) %3)
(fma.f64 %622 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %18 (*.f64 #s(literal 1 binary64) %620) #s(literal 1 binary64))
(fma.f64 %18 %620 #s(literal 1 binary64))
(fma.f64 %18 %604 #s(literal 0 binary64))
(fma.f64 %18 #s(literal -1 binary64) %3)
(fma.f64 %18 %2 %340)
(fma.f64 %18 x %747)
(fma.f64 %3 #s(literal 1 binary64) %340)
(fma.f64 %61 #s(literal 1 binary64) %747)
(fma.f64 #s(literal 1 binary64) %747 %61)
(fma.f64 #s(literal 1 binary64) %621 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %340 %3)
(fma.f64 #s(literal 1 binary64) %3 %340)
(fma.f64 #s(literal 1 binary64) %61 %747)
(fma.f64 %2 %18 %340)
(fma.f64 y %399 %340)
(fma.f64 y %384 %340)
(fma.f64 x %18 %747)
(-.f64 (-.f64 %3 %347) %347)
(-.f64 (/.f64 (-.f64 %2 #s(literal 1/2 binary64)) y) %347)
(-.f64 %828 #s(literal -1/2 binary64))
(-.f64 %747 %353)
%622
(-.f64 %340 %445)
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %621))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %740))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %828))
(-.f64 %3 (/.f64 %42 %432))
(-.f64 %3 %18)
(-.f64 %61 (-.f64 #s(literal -1 binary64) %340))
(-.f64 %61 (+.f64 #s(literal -1 binary64) %18))
(-.f64 %61 (-.f64 %18 #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) %740)
(+.f64 (+.f64 %340 %63) #s(literal 1/2 binary64))
(+.f64 (+.f64 %340 #s(literal 1/2 binary64)) %63)
(+.f64 %789 %789)
(+.f64 %767 %767)
(+.f64 %828 #s(literal 1/2 binary64))
(+.f64 %63 (+.f64 #s(literal 1/2 binary64) %340))
(+.f64 %63 (-.f64 #s(literal 1/2 binary64) %18))
(+.f64 %747 %61)
(+.f64 %621 #s(literal 1 binary64))
(+.f64 %340 %3)
(+.f64 #s(literal 1/2 binary64) %828)
(+.f64 %622 #s(literal 0 binary64))
(+.f64 %3 %340)
(+.f64 %61 %747)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %621))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %740))
(+.f64 #s(literal 1 binary64) %621)
(pow.f64 %871 #s(literal 1 binary64))
%871
(/.f64 #s(literal 1 binary64) (pow.f64 %871 #s(literal -1 binary64)))
%8
%11
%13
%15
%19
%20
%21
%23
%24
%25
%26
%27
%28
%30
%32
%35
%38
%39
%43
%44
%46
%49
%50
%51
%53
%56
%58
%59
%60
%64
%66
%67
%68
%69
%71
%73
%74
%75
%76
%77
%78
%79
%80
%81
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%98
%100
%101
%102
%103
%104
%105
%107
%109
%111
%113
%114
%115
%116
%117
%118
%119
%120
%121
%2
%122
#s(literal 1/2 binary64)
(pow.f64 %144 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %144 #s(literal -1 binary64)))
(neg.f64 %146)
(-.f64 #s(literal 1/2 binary64) %42)
(-.f64 y #s(literal -1/2 binary64))
%144
(+.f64 y #s(literal 1/2 binary64))
%124
%126
%128
%130
%131
%132
%134
%136
%138
%139
%140
%141
%142
%143
%145
%147
%148
%149
%150
%151
%152
%154
%156
%129
%157
%883
%885
%886
%887
%891
%896
%899
%902
%904
%906
%907
%909
%911
%913
%914
%915
%916
%917
%918
%920
%922
%923
%925
%927
%929
%931
%932
%934
%936
%938
%940
%942
%944
%947
%950
%953
%956
%959
%962
%965
%968
%971
%973
%976
%978
%980
%983
%985
%988
%991
%993
%994
%996
%998
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1008
%1010
%1012
%1014
%1016
%1018
%900
%1019
%1021
%1023
%1025
%1026
%1027
%1028
%1029
%1031
%1032
%1033
%1035
%1037
%1038
%1040
%1041
%1042
%1043
%1044
%1046
%1048
%1049
%1050
%1051
%1052
%1053
%1055
%1056
%1057
%1058
%1059
%1060
%1062
%1063
%1064
%1065
%1066
%1068
%1071
%1074
%1076
%1077
%1078
(*.f64 (*.f64 %334 %12) #s(literal 1/2 binary64))
(*.f64 (*.f64 %334 %3) y)
(*.f64 %12 %1083)
(*.f64 %1085 %40)
(*.f64 %1088 %334)
(*.f64 %1090 (/.f64 #s(literal 1 binary64) %1091))
(*.f64 #s(literal 2 binary64) %1094)
(*.f64 %334 %2)
(*.f64 %1097 %3)
(*.f64 %40 %1085)
(*.f64 %1100 #s(literal 1 binary64))
(*.f64 %3 %1097)
(*.f64 #s(literal 1 binary64) %1100)
(*.f64 %2 %334)
(*.f64 y (*.f64 %3 %334))
(*.f64 y (/.f64 %3 %332))
(pow.f64 %1100 #s(literal 1 binary64))
(/.f64 (*.f64 %334 %16) y)
(/.f64 (*.f64 %16 %334) y)
(/.f64 (/.f64 %1090 %332) %332)
(/.f64 (fma.f64 %1097 %336 %112) %336)
(/.f64 (fma.f64 %1097 %332 x) %332)
(/.f64 (fma.f64 %1087 %336 %42) %336)
(/.f64 (-.f64 (*.f64 %1097 %332) %112) %332)
(/.f64 (fma.f64 %42 %336 (*.f64 %112 %336)) %1091)
(/.f64 (fma.f64 %42 %332 (*.f64 x %336)) %1130)
(/.f64 (fma.f64 y %336 %1132) %1134)
(/.f64 (fma.f64 %112 %336 (*.f64 %42 %336)) %1091)
(/.f64 (fma.f64 %112 %332 %1139) %1130)
(/.f64 (fma.f64 x %336 %1142) %1134)
(/.f64 (fma.f64 %42 %336 %1145) %1091)
(/.f64 (fma.f64 %42 %332 (*.f64 %336 x)) %1130)
(/.f64 (fma.f64 y %336 %1151) %1134)
(/.f64 (fma.f64 %112 %336 %1154) %1091)
(/.f64 (fma.f64 %112 %332 %1157) %1130)
(/.f64 (fma.f64 x %336 %1160) %1134)
(/.f64 (-.f64 %1142 %1145) %1130)
(/.f64 (-.f64 %1165 %1151) %1091)
(/.f64 (-.f64 %1132 %1154) %1130)
(/.f64 (-.f64 %1170 %1160) %1091)
(/.f64 %981 %1157)
(/.f64 %431 %1139)
(/.f64 (neg.f64 %1088) %336)
(/.f64 (neg.f64 %1090) (neg.f64 %1091))
(/.f64 %1088 %332)
(/.f64 %1090 %1091)
(/.f64 %16 %1165)
(/.f64 %40 %336)
(/.f64 #s(literal 1 binary64) (/.f64 %332 %1088))
(/.f64 #s(literal 1 binary64) (/.f64 %1091 %1090))
(/.f64 #s(literal 1 binary64) (pow.f64 %1100 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %336 %40))
(/.f64 #s(literal 1 binary64) (/.f64 %332 %2))
%1100
(neg.f64 (*.f64 %334 %40))
(neg.f64 (/.f64 %40 %332))
(fma.f64 %189 %1083 %1097)
(fma.f64 %37 %1083 %1087)
(fma.f64 %14 %334 %1200)
(fma.f64 %1083 %2 %1094)
(fma.f64 #s(literal 2 binary64) (*.f64 %7 %334) %1087)
(fma.f64 #s(literal 2 binary64) (/.f64 %7 %332) %1087)
(fma.f64 %334 %14 %1207)
(fma.f64 %334 y %1087)
(fma.f64 %334 x %1097)
(fma.f64 %112 %1085 %1097)
(fma.f64 %42 %1085 %1087)
(fma.f64 #s(literal 1 binary64) %1097 %1087)
(fma.f64 %2 %1083 %1214)
(fma.f64 y %334 %1087)
(fma.f64 x %334 %1097)
(-.f64 %1097 (/.f64 %112 %332))
(-.f64 %1087 (/.f64 %42 %332))
(+.f64 %1207 %1207)
(+.f64 %1214 %1214)
(+.f64 %1200 %1200)
(+.f64 %1094 %1094)
(+.f64 (/.f64 (*.f64 %1087 %332) %332) %1097)
(+.f64 (/.f64 %1170 %1091) (/.f64 %1165 %1091))
(+.f64 %1232 %1232)
(+.f64 %1097 %1087)
(+.f64 %1087 %1097)
%883
%885
%886
%887
%891
%896
%899
%902
%904
%906
%907
%909
%911
%913
%914
%915
%916
%917
%918
%920
%922
%923
%925
%927
%929
%931
%932
%934
%936
%938
%940
%942
%944
%947
%950
%953
%956
%959
%962
%965
%968
%971
%973
%976
%978
%980
%983
%985
%988
%991
%993
%994
%996
%998
%1000
%1001
%1002
%1003
%1004
%1005
%1006
%1008
%1010
%1012
%1014
%1016
%1018
%900
%1019
%1021
%1023
%1025
%1026
%1027
%1028
%1029
%1031
%1032
%1033
%1035
%1037
%1038
%1040
%1041
%1042
%1043
%1044
%1046
%1048
%1049
%1050
%1051
%1052
%1053
%1055
%1056
%1057
%1058
%1059
%1060
%1062
%1063
%1064
%1065
%1066
%1068
%1071
%1074
%1076
%1077
%1078
(*.f64 %160 %190)
(*.f64 %192 %170)
(*.f64 #s(literal 2 binary64) %1238)
(*.f64 %170 %192)
(*.f64 #s(literal -1 binary64) %1241)
(*.f64 %1243 #s(literal 1 binary64))
(*.f64 %135 %159)
(*.f64 %159 %135)
(*.f64 #s(literal 1 binary64) %1243)
(pow.f64 %1243 #s(literal 1 binary64))
(/.f64 (*.f64 %170 #s(literal 1 binary64)) %137)
(/.f64 %170 %137)
%1243
(/.f64 #s(literal 1 binary64) (pow.f64 %1243 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %137 %170))
(/.f64 #s(literal 1 binary64) (/.f64 %129 %159))
(neg.f64 %1241)
(neg.f64 (/.f64 %159 %137))
(fma.f64 %190 %159 %1238)
(fma.f64 %159 %190 %1262)
(+.f64 %1262 %1262)
(+.f64 %1238 %1238)
reconstruct141.0ms (8.3%)
Counts
1 125 → 211
Compiler
Compiled 1 125 to 1 407 computations (-25.1% saved)
eval16.0ms (1.0%)
Compiler
Compiled 198 to 483 computations (-143.9% saved)
prune4.0ms (0.2%)
Pruning
6 alts after pruning (3 fresh and 3 done)
PrunedKeptTotal
New1953198
Fresh000
Picked336
Done101
Total1996205
Accuracy
100.0%
Counts
205 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓53.7%
(/.f64 (+.f64 x y) (approx (+ y 1) #s(literal 1 binary64)))
✓46.9%
(/.f64 (approx (+ x y) y) (+.f64 y #s(literal 1 binary64)))
▶15.7%
(/.f64 (approx (+ x y) y) (approx (+ y 1) #s(literal 1 binary64)))
▶47.2%
(approx (/ (+ y x) (+ 1 y)) (-.f64 (/.f64 (-.f64 x #s(literal 1 binary64)) y) #s(literal -1 binary64)))
✓54.2%
(approx (/ (+ x y) (+ y 1)) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
▶54.2%
(approx (/ (+ x y) (+ y 1)) (/.f64 x (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y))))
Compiler
Compiled 6 to 18 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series16.0ms (0.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0214837
Stop Event
1×iter-limit
Counts
16 → 51
Calls
Call 1
Inputs
%3 = (+ x y)
%4 = (approx %3 y)
%7 = (+ y 1)
%8 = (approx %7 #s(literal 1 binary64))
%9 = (-.f64 x #s(literal 1 binary64))
%11 = (+.f64 #s(literal 1/2 binary64) y)
%12 = (+.f64 #s(literal 1/2 binary64) %11)
%13 = (/.f64 %9 y)
%14 = (-.f64 %13 #s(literal -1 binary64))
%20 = (/.f64 x %12)
x
y
#s(literal 1 binary64)
%4
#s(literal -1 binary64)
%8
%9
#s(literal 1/2 binary64)
%11
%12
%13
%14
(approx (/ (+ y x) (+ 1 y)) %14)
(/.f64 %4 %8)
%20
(approx (/ %3 %7) %20)
Outputs
%5 = (+ x y)
%7 = (+.f64 x y)
%10 = (- x 1)
%14 = (-.f64 x #s(literal 1 binary64))
%16 = (/ %10 y)
%19 = (/.f64 x y)
%20 = (/.f64 #s(literal 1 binary64) y)
%24 = (- %16 -1)
%25 = (-.f64 #s(literal 1 binary64) %20)
%27 = (+.f64 #s(literal 1 binary64) %19)
%32 = (/ (+ y x) (+ 1 y))
%33 = (+.f64 #s(literal 1 binary64) y)
%34 = (/.f64 y %33)
%36 = (/.f64 x %33)
%40 = (+ 1/2 y)
%42 = (/ x (+ 1/2 %40))
%44 = (/.f64 y x)
%48 = (/.f64 #s(literal 1 binary64) x)
%53 = (*.f64 x y)
%54 = (/.f64 #s(literal 1 binary64) %53)
%62 = (/.f64 #s(literal 1 binary64) %33)
%64 = (/.f64 y (*.f64 x %33))
%92 = (+ y 1)
%106 = (+.f64 x (*.f64 y (-.f64 #s(literal 1 binary64) x)))
%121 = (*.f64 #s(literal -1 binary64) %53)
%128 = (*.f64 #s(literal -1 binary64) x)
%145 = (pow.f64 y #s(literal 2 binary64))
%146 = (/.f64 #s(literal 1 binary64) %145)
%149 = (/.f64 x %145)
%154 = (pow.f64 y #s(literal 3 binary64))
%155 = (/.f64 x %154)
%164 = (*.f64 #s(literal -1 binary64) %19)
%182 = (+.f64 #s(literal 1 binary64) %128)
%184 = (*.f64 #s(literal -1 binary64) (/.f64 %182 y))
%209 = (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %19 x) y))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 %7)
(approx %10 #s(literal -1 binary64))
(approx %10 %14)
(approx %16 (/.f64 #s(literal -1 binary64) y))
(approx %16 (-.f64 %19 %20))
(approx %24 %25)
(approx %24 (-.f64 %27 %20))
(approx %32 %34)
(approx %32 (+.f64 %36 %34))
(approx %42 %36)
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %44)))
(approx %10 (*.f64 x (-.f64 #s(literal 1 binary64) %48)))
(approx %16 %19)
(approx %16 (*.f64 x (-.f64 %20 %54)))
(approx %24 (*.f64 x (-.f64 (+.f64 %48 %20) %54)))
(approx %32 (*.f64 x (+.f64 %62 %64)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %44) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %48 #s(literal 1 binary64)))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %54 %20))))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %25 x)) %20))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %64) %62))))
(approx %92 #s(literal 1 binary64))
(approx %92 %33)
(approx %40 #s(literal 1/2 binary64))
(approx %40 (+.f64 #s(literal 1/2 binary64) y))
(approx %16 (/.f64 %14 y))
(approx %24 (/.f64 (-.f64 %7 #s(literal 1 binary64)) y))
(approx %32 %106)
(approx %32 (+.f64 x (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y %14)) x))))
(approx %32 (+.f64 x (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 %106 #s(literal 1 binary64)))) x))))
(approx %42 (+.f64 x %121))
(approx %42 (+.f64 x (*.f64 y (-.f64 %53 x))))
(approx %42 (+.f64 x (*.f64 y (-.f64 (*.f64 y (-.f64 %121 %128)) x))))
(approx %5 (*.f64 y %27))
(approx %92 (*.f64 y (+.f64 #s(literal 1 binary64) %20)))
(approx %40 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) %20))))
(approx %32 (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 %146 %19)) (+.f64 %20 %149)))
(approx %32 (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 %146 (+.f64 %19 %155))) (+.f64 %20 (+.f64 (/.f64 #s(literal 1 binary64) %154) %149))))
(approx %42 (/.f64 (+.f64 x %164) y))
(approx %42 (/.f64 (-.f64 (+.f64 x %149) %19) y))
(approx %42 (/.f64 (-.f64 (+.f64 x (*.f64 #s(literal -1 binary64) %155)) (fma.f64 #s(literal -1 binary64) %149 %19)) y))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %164 #s(literal 1 binary64)))))
(approx %32 (+.f64 #s(literal 1 binary64) %184))
(approx %32 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x %184)) y))))
(approx %32 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %184 (*.f64 #s(literal -1 binary64) %182)) y)))) y))))
(approx %42 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x %19) y)))
(approx %42 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x %209) y)))
(approx %42 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %209 x) y))) y)))
Calls
6 calls:
TimeVariablePoint
3.0ms
x
-inf
2.0ms
x
0
2.0ms
x
inf
2.0ms
y
0
1.0ms
y
-inf
rewrite90.0ms (5.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02286
02980
113280
241880
3202780
0437880
0484880
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
16 → 416
Calls
Call 1
Inputs
%3 = (+ x y)
%4 = (approx %3 y)
%7 = (+ y 1)
%8 = (approx %7 #s(literal 1 binary64))
%9 = (-.f64 x #s(literal 1 binary64))
%11 = (+.f64 #s(literal 1/2 binary64) y)
%12 = (+.f64 #s(literal 1/2 binary64) %11)
%13 = (/.f64 %9 y)
%14 = (-.f64 %13 #s(literal -1 binary64))
%20 = (/.f64 x %12)
x
y
#s(literal 1 binary64)
%4
#s(literal -1 binary64)
%8
%9
#s(literal 1/2 binary64)
%11
%12
%13
%14
(approx (/ (+ y x) (+ 1 y)) %14)
(/.f64 %4 %8)
%20
(approx (/ %3 %7) %20)
Outputs
%3 = (+ y x)
%4 = (approx %3 y)
%6 = (*.f64 %4 #s(literal 2 binary64))
%9 = (*.f64 %4 #s(literal 1/2 binary64))
%21 = (*.f64 %4 #s(literal -1 binary64))
%23 = (neg.f64 %4)
%26 = (*.f64 %4 #s(literal 0 binary64))
%28 = (*.f64 #s(literal 0 binary64) %4)
%32 = (*.f64 #s(literal 1/2 binary64) %4)
%44 = (- y -1)
%45 = (approx %44 #s(literal 1 binary64))
%48 = (/.f64 #s(literal 1 binary64) %45)
%50 = (neg.f64 %45)
%52 = (-.f64 x #s(literal 1 binary64))
%53 = (*.f64 %52 #s(literal 1/2 binary64))
%55 = (*.f64 %52 #s(literal 2 binary64))
%60 = (neg.f64 x)
%61 = (*.f64 %60 y)
%63 = (neg.f64 y)
%64 = (*.f64 %63 #s(literal -2 binary64))
%68 = (*.f64 %63 #s(literal 2 binary64))
%72 = (*.f64 %63 #s(literal 1 binary64))
%75 = (*.f64 y x)
%77 = (*.f64 y #s(literal -2 binary64))
%80 = (*.f64 %75 #s(literal 2 binary64))
%81 = (*.f64 y #s(literal 2 binary64))
%87 = (*.f64 x #s(literal 2 binary64))
%88 = (-.f64 %87 #s(literal 2 binary64))
%114 = (-.f64 #s(literal 1 binary64) x)
%115 = (*.f64 %114 #s(literal 1 binary64))
%117 = (*.f64 %52 #s(literal -1 binary64))
%120 = (*.f64 %52 #s(literal 0 binary64))
%122 = (*.f64 #s(literal 0 binary64) %52)
%126 = (*.f64 #s(literal 1/2 binary64) %52)
%131 = (-.f64 x #s(literal 1/2 binary64))
%149 = (+.f64 #s(literal 1/2 binary64) y)
%154 = (-.f64 #s(literal -1/2 binary64) y)
%159 = (-.f64 y #s(literal -1 binary64))
%168 = (fma.f64 y #s(literal 2 binary64) #s(literal 2 binary64))
%172 = (-.f64 #s(literal -1 binary64) y)
%173 = (/.f64 #s(literal -1 binary64) %172)
%190 = (/.f64 #s(literal 1/2 binary64) y)
%192 = (/.f64 #s(literal -1 binary64) y)
%194 = (-.f64 %75 y)
%195 = (*.f64 y y)
%196 = (/.f64 #s(literal 1 binary64) %195)
%198 = (*.f64 %190 %52)
%200 = (/.f64 #s(literal 1 binary64) y)
%204 = (/.f64 %52 y)
%207 = (*.f64 #s(literal 2 binary64) %200)
%210 = (*.f64 %195 #s(literal 2 binary64))
%212 = (*.f64 %75 y)
%213 = (fma.f64 %190 y #s(literal 1/2 binary64))
%216 = (*.f64 %195 y)
%218 = (*.f64 %75 %195)
%219 = (*.f64 y #s(literal 1/2 binary64))
%220 = (fma.f64 #s(literal 1/2 binary64) y %219)
%223 = (*.f64 %195 %195)
%225 = (*.f64 #s(literal 2 binary64) %63)
%227 = (*.f64 %195 #s(literal -2 binary64))
%231 = (*.f64 #s(literal 2 binary64) y)
%249 = (*.f64 y %63)
%258 = (*.f64 x #s(literal -1 binary64))
%259 = (*.f64 %258 #s(literal 2 binary64))
%260 = (*.f64 %63 %207)
%263 = (*.f64 %258 y)
%264 = (*.f64 %63 %213)
%266 = (*.f64 %63 y)
%268 = (*.f64 %258 %195)
%269 = (*.f64 %63 %220)
%271 = (*.f64 %63 %195)
%275 = (*.f64 %63 %225)
%279 = (*.f64 %63 %231)
%288 = (*.f64 %60 #s(literal 2 binary64))
%293 = (*.f64 %60 %195)
%310 = (*.f64 x %195)
%313 = (*.f64 y %195)
%325 = (*.f64 #s(literal -1 binary64) %52)
%328 = (/.f64 %194 y)
%331 = (/.f64 x y)
%333 = (-.f64 (*.f64 %331 %63) #s(literal -1 binary64))
%336 = (fma.f64 %60 y y)
%338 = (neg.f64 %266)
%341 = (-.f64 (*.f64 %60 %63) y)
%343 = (neg.f64 %195)
%345 = (-.f64 %61 %72)
%349 = (-.f64 (*.f64 x %63) %63)
%353 = (neg.f64 %194)
%367 = (-.f64 %63 (*.f64 %63 x))
%369 = (-.f64 y %75)
%382 = (/.f64 %114 y)
%384 = (*.f64 %200 #s(literal -1 binary64))
%391 = (/.f64 #s(literal -1/2 binary64) y)
%400 = (*.f64 %52 %190)
%412 = (/.f64 %131 y)
%424 = (-.f64 %204 #s(literal -1 binary64))
%428 = (-.f64 (*.f64 %200 #s(literal 2 binary64)) #s(literal 2 binary64))
%429 = (*.f64 %63 %428)
%433 = (-.f64 #s(literal -2 binary64) %68)
%434 = (*.f64 %63 %433)
%436 = (*.f64 %63 %68)
%439 = (-.f64 #s(literal 2 binary64) %81)
%440 = (*.f64 %63 %439)
%442 = (*.f64 %63 %81)
%496 = (*.f64 %266 #s(literal -2 binary64))
%498 = (*.f64 %266 #s(literal 2 binary64))
%516 = (*.f64 %249 #s(literal -2 binary64))
%518 = (*.f64 %249 #s(literal 2 binary64))
%524 = (*.f64 %343 #s(literal -2 binary64))
%526 = (*.f64 %343 #s(literal 2 binary64))
%531 = (*.f64 %194 #s(literal 2 binary64))
%537 = (*.f64 %114 #s(literal 2 binary64))
%548 = (*.f64 #s(literal -2 binary64) %63)
%549 = (*.f64 %114 #s(literal -1 binary64))
%553 = (*.f64 #s(literal -2 binary64) y)
%558 = (-.f64 (*.f64 %200 %63) %60)
%562 = (*.f64 #s(literal -2 binary64) %195)
%564 = (-.f64 y (*.f64 %63 %60))
%568 = (*.f64 #s(literal -2 binary64) %266)
%572 = (*.f64 #s(literal -2 binary64) %249)
%574 = (-.f64 %63 (*.f64 y %60))
%584 = (*.f64 #s(literal -2 binary64) %343)
%603 = (*.f64 #s(literal 2 binary64) %195)
%607 = (*.f64 #s(literal 2 binary64) %266)
%611 = (*.f64 #s(literal 2 binary64) %249)
%621 = (*.f64 #s(literal 2 binary64) %343)
%622 = (*.f64 #s(literal 2 binary64) %194)
%625 = (*.f64 #s(literal 2 binary64) %114)
%628 = (*.f64 #s(literal 2 binary64) %52)
%643 = (*.f64 #s(literal 1 binary64) %266)
%647 = (*.f64 #s(literal 1 binary64) %249)
%657 = (*.f64 #s(literal 1 binary64) %343)
%660 = (fma.f64 %204 #s(literal 2 binary64) #s(literal 2 binary64))
%663 = (fma.f64 y y %194)
%666 = (fma.f64 %194 #s(literal 2 binary64) %603)
%668 = (neg.f64 %210)
%670 = (fma.f64 %114 #s(literal 2 binary64) %225)
%672 = (neg.f64 %68)
%674 = (fma.f64 %52 #s(literal 2 binary64) %231)
%676 = (neg.f64 %81)
%678 = (fma.f64 #s(literal 2 binary64) %195 %531)
%680 = (neg.f64 %603)
%682 = (fma.f64 #s(literal 2 binary64) %63 %537)
%684 = (neg.f64 %225)
%686 = (fma.f64 #s(literal 2 binary64) y %55)
%688 = (neg.f64 %231)
%690 = (fma.f64 %194 #s(literal 2 binary64) %210)
%693 = (fma.f64 %114 #s(literal 2 binary64) %68)
%696 = (fma.f64 %52 #s(literal 2 binary64) %81)
%699 = (fma.f64 #s(literal 2 binary64) %195 %622)
%702 = (fma.f64 #s(literal 2 binary64) %63 %625)
%705 = (fma.f64 #s(literal 2 binary64) y %628)
%709 = (-.f64 (+.f64 y x) #s(literal 1 binary64))
%710 = (neg.f64 %709)
%713 = (-.f64 %63 %52)
%714 = (neg.f64 %713)
%743 = (-.f64 %192 #s(literal -1 binary64))
%745 = (+.f64 %192 #s(literal 1 binary64))
%748 = (/.f64 (-.f64 #s(literal 1 binary64) y) y)
%749 = (neg.f64 %748)
%764 = (-.f64 %204 #s(literal -1/2 binary64))
%774 = (+.f64 #s(literal 1 binary64) %331)
%795 = (/ %3 %44)
%796 = (approx %795 %424)
%801 = (/.f64 #s(literal 1/2 binary64) %45)
%803 = (/.f64 #s(literal -1 binary64) %45)
%805 = (*.f64 %801 %4)
%810 = (/.f64 %4 %45)
%813 = (*.f64 %23 #s(literal 1 binary64))
%816 = (*.f64 #s(literal -1 binary64) %4)
%834 = (*.f64 %4 %801)
%838 = (/.f64 #s(literal 1/2 binary64) %159)
%840 = (/.f64 #s(literal -1 binary64) %159)
%842 = (*.f64 %838 x)
%846 = (/.f64 x %159)
%850 = (*.f64 #s(literal -1 binary64) x)
%853 = (*.f64 %60 #s(literal 1 binary64))
%858 = (/.f64 x %172)
%873 = (*.f64 x %838)
%877 = (approx %795 %846)
x
y
#s(literal 1 binary64)
(*.f64 %6 #s(literal 1/2 binary64))
(*.f64 %9 #s(literal 2 binary64))
(*.f64 %4 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 (neg.f64 %6) #s(literal -2 binary64))
(/.f64 %6 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %21)
(neg.f64 %23)
(fma.f64 %6 #s(literal 1/2 binary64) %26)
(fma.f64 %6 #s(literal 1/2 binary64) %28)
(fma.f64 %9 #s(literal 2 binary64) %26)
(fma.f64 %9 #s(literal 2 binary64) %28)
(fma.f64 #s(literal 1/2 binary64) %4 %32)
(fma.f64 %4 #s(literal 1/2 binary64) %9)
(fma.f64 %4 #s(literal 1 binary64) %26)
(fma.f64 %4 #s(literal 1 binary64) %28)
(fma.f64 #s(literal 1 binary64) %4 %26)
(fma.f64 #s(literal 1 binary64) %4 %28)
(+.f64 %9 %9)
(+.f64 %32 %32)
(+.f64 %4 %26)
(+.f64 %4 %28)
#s(literal -1 binary64)
(*.f64 #s(literal 1 binary64) %45)
(pow.f64 %45 #s(literal 1 binary64))
%45
(/.f64 #s(literal 1 binary64) %48)
(neg.f64 %50)
(*.f64 %53 #s(literal 2 binary64))
(*.f64 %55 #s(literal 1/2 binary64))
(*.f64 %52 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %52)
(pow.f64 %52 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %61 #s(literal -2 binary64)) %64) %64)
(/.f64 (-.f64 (*.f64 %61 #s(literal 2 binary64)) %68) %68)
(/.f64 (-.f64 (*.f64 %61 #s(literal 1 binary64)) %72) %72)
(/.f64 (-.f64 (*.f64 %75 #s(literal -2 binary64)) %77) %77)
(/.f64 (-.f64 %80 %81) %81)
(/.f64 (-.f64 (*.f64 %75 #s(literal 1 binary64)) y) y)
(/.f64 (-.f64 (*.f64 %88 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %55 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %87 #s(literal -2 binary64)) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %87 #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %87 #s(literal 1 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 %88) #s(literal -2 binary64))
(/.f64 (neg.f64 %55) #s(literal -2 binary64))
(/.f64 %88 #s(literal 2 binary64))
(/.f64 %55 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %52 #s(literal -1 binary64)))
(neg.f64 %115)
(neg.f64 %117)
(neg.f64 %114)
(fma.f64 %53 #s(literal 2 binary64) %120)
(fma.f64 %53 #s(literal 2 binary64) %122)
(fma.f64 %55 #s(literal 1/2 binary64) %120)
(fma.f64 %55 #s(literal 1/2 binary64) %122)
(fma.f64 #s(literal 1/2 binary64) %52 %126)
(fma.f64 %52 #s(literal 1/2 binary64) %53)
(fma.f64 %52 #s(literal 1 binary64) %120)
(fma.f64 %52 #s(literal 1 binary64) %122)
(fma.f64 #s(literal 1 binary64) %131 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) %52 %120)
(fma.f64 #s(literal 1 binary64) %52 %122)
(-.f64 %131 #s(literal 1/2 binary64))
(-.f64 %52 #s(literal 0 binary64))
(-.f64 #s(literal -1 binary64) %60)
%52
(+.f64 %53 %53)
(+.f64 %126 %126)
(+.f64 %131 #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) (+.f64 #s(literal -1/2 binary64) x))
(+.f64 #s(literal -1/2 binary64) %131)
(+.f64 %52 %120)
(+.f64 %52 %122)
(+.f64 #s(literal -1 binary64) x)
(+.f64 x #s(literal -1 binary64))
#s(literal 1/2 binary64)
(*.f64 #s(literal 1 binary64) %149)
(pow.f64 %149 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %149 #s(literal -1 binary64)))
(neg.f64 %154)
(-.f64 #s(literal 1/2 binary64) %63)
(-.f64 y #s(literal -1/2 binary64))
%149
(+.f64 y #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %159)
(pow.f64 %159 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %81 #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %81 #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (neg.f64 %168) #s(literal -2 binary64))
(/.f64 %168 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %173)
(neg.f64 %172)
(fma.f64 #s(literal 1 binary64) %159 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %149 #s(literal 1/2 binary64))
(-.f64 %149 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %154)
(-.f64 #s(literal 1 binary64) %63)
%159
(+.f64 %159 #s(literal 0 binary64))
(+.f64 %149 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %149)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %63))
(+.f64 #s(literal 1 binary64) y)
(+.f64 y #s(literal 1 binary64))
(*.f64 %55 %190)
(*.f64 %192 %114)
(*.f64 %194 %196)
(*.f64 #s(literal 2 binary64) %198)
(*.f64 %200 %52)
(*.f64 %114 %192)
(*.f64 %52 %200)
(*.f64 #s(literal 1 binary64) %204)
(pow.f64 %204 #s(literal 1 binary64))
(/.f64 (-.f64 %80 (*.f64 %195 %207)) %210)
(/.f64 (-.f64 %212 (*.f64 %195 %213)) %216)
(/.f64 (-.f64 %218 (*.f64 %195 %220)) %223)
(/.f64 (-.f64 (*.f64 %75 %225) %227) (*.f64 %195 %225))
(/.f64 (-.f64 (*.f64 %75 %231) %210) (*.f64 %195 %231))
(/.f64 (-.f64 (*.f64 %75 %63) (*.f64 %195 #s(literal -1 binary64))) (*.f64 %195 %63))
(/.f64 (-.f64 %212 (*.f64 %195 #s(literal 1 binary64))) %216)
(/.f64 (-.f64 %218 %216) %223)
(/.f64 (-.f64 (*.f64 %131 %63) (*.f64 y #s(literal -1/2 binary64))) %249)
(/.f64 (-.f64 (*.f64 %131 y) %219) %195)
(/.f64 (-.f64 %225 (*.f64 %225 x)) (*.f64 %225 %63))
(/.f64 (-.f64 %259 %260) %68)
(/.f64 (-.f64 %263 %264) %266)
(/.f64 (-.f64 %268 %269) %271)
(/.f64 (-.f64 (*.f64 %258 %225) %64) %275)
(/.f64 (-.f64 (*.f64 %258 %231) %68) %279)
(/.f64 (-.f64 (*.f64 %258 %63) y) %195)
(/.f64 (-.f64 %263 %72) %266)
(/.f64 (-.f64 %268 %266) %271)
(/.f64 (-.f64 %288 %260) %68)
(/.f64 (-.f64 %61 %264) %266)
(/.f64 (-.f64 %293 %269) %271)
(/.f64 (-.f64 (*.f64 %60 %225) %64) %275)
(/.f64 (-.f64 (*.f64 %60 %231) %68) %279)
(/.f64 (-.f64 %293 %266) %271)
(/.f64 (-.f64 %87 (*.f64 y %207)) %81)
(/.f64 (-.f64 %75 (*.f64 y %213)) %195)
(/.f64 (-.f64 %310 (*.f64 y %220)) %313)
(/.f64 (-.f64 (*.f64 x %225) %77) (*.f64 y %225))
(/.f64 (-.f64 (*.f64 x %231) %81) (*.f64 y %231))
(/.f64 (-.f64 %310 %195) %313)
(/.f64 (neg.f64 %325) y)
(/.f64 (neg.f64 %328) %63)
(/.f64 (neg.f64 %333) y)
(/.f64 (neg.f64 %336) %338)
(/.f64 (neg.f64 %341) %343)
(/.f64 (neg.f64 %345) %338)
(/.f64 (neg.f64 %349) (neg.f64 %249))
(/.f64 (neg.f64 %353) (neg.f64 %343))
(/.f64 %325 %63)
(/.f64 %328 y)
(/.f64 %115 %63)
(/.f64 %117 %63)
(/.f64 %333 %63)
(/.f64 %336 %266)
(/.f64 %341 %195)
(/.f64 %345 %266)
(/.f64 %349 %249)
(/.f64 %367 %195)
(/.f64 %369 %249)
(/.f64 %353 %343)
(/.f64 %194 %195)
(/.f64 %114 %63)
%204
(/.f64 #s(literal 1 binary64) (/.f64 %195 %194))
(/.f64 #s(literal 1 binary64) (/.f64 %63 %114))
(/.f64 #s(literal 1 binary64) (pow.f64 %204 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %52))
(neg.f64 %382)
(fma.f64 %87 %190 %384)
(fma.f64 %87 %190 %192)
(fma.f64 #s(literal -2 binary64) %190 %331)
(fma.f64 %190 %52 %198)
(fma.f64 #s(literal 2 binary64) (neg.f64 %190) %331)
(fma.f64 #s(literal 2 binary64) %391 %331)
(fma.f64 %200 #s(literal -1 binary64) %331)
(fma.f64 %200 x %384)
(fma.f64 %200 x %192)
(fma.f64 %60 %192 %384)
(fma.f64 %60 %192 %192)
(fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal -2 binary64) y) %331)
(fma.f64 %52 %190 %400)
(fma.f64 #s(literal -1 binary64) %200 %331)
(fma.f64 #s(literal 1 binary64) %192 %331)
(fma.f64 #s(literal 1 binary64) %331 %384)
(fma.f64 #s(literal 1 binary64) %331 %192)
(fma.f64 x %200 %384)
(fma.f64 x %200 %192)
(-.f64 (-.f64 %331 %190) %190)
(-.f64 (/.f64 %75 %195) %200)
(-.f64 %412 %190)
(-.f64 %192 (/.f64 %60 y))
(-.f64 %331 %200)
(+.f64 %384 %331)
(+.f64 %400 %400)
(+.f64 %198 %198)
(+.f64 %391 %412)
(+.f64 %192 %331)
(+.f64 %331 %384)
(+.f64 %331 %192)
(*.f64 #s(literal 1 binary64) %424)
(pow.f64 %424 #s(literal 1 binary64))
(/.f64 (-.f64 %259 %429) %68)
(/.f64 (-.f64 (*.f64 %258 %68) %434) %436)
(/.f64 (-.f64 (*.f64 %258 %81) %440) %442)
(/.f64 (-.f64 %288 %429) %68)
(/.f64 (-.f64 (*.f64 %60 %68) %434) %436)
(/.f64 (-.f64 (*.f64 %60 %81) %440) %442)
(/.f64 (-.f64 %87 (*.f64 y %428)) %81)
(/.f64 (-.f64 (*.f64 x %68) (*.f64 y %433)) (*.f64 y %68))
(/.f64 (-.f64 (*.f64 x %81) (*.f64 y %439)) (*.f64 y %81))
(/.f64 (-.f64 (*.f64 %325 #s(literal 2 binary64)) %64) %68)
(/.f64 (-.f64 (*.f64 %325 #s(literal -2 binary64)) %68) %64)
(/.f64 (-.f64 (*.f64 %328 #s(literal 2 binary64)) %77) %81)
(/.f64 (-.f64 (*.f64 %328 #s(literal -2 binary64)) %81) %77)
(/.f64 (-.f64 (*.f64 %115 #s(literal 2 binary64)) %64) %68)
(/.f64 (-.f64 (*.f64 %115 #s(literal -2 binary64)) %68) %64)
(/.f64 (-.f64 (*.f64 %117 #s(literal 2 binary64)) %64) %68)
(/.f64 (-.f64 (*.f64 %117 #s(literal -2 binary64)) %68) %64)
(/.f64 (-.f64 (*.f64 %333 #s(literal 2 binary64)) %64) %68)
(/.f64 (-.f64 (*.f64 %333 #s(literal -2 binary64)) %68) %64)
(/.f64 (-.f64 (*.f64 %336 #s(literal 2 binary64)) %496) %498)
(/.f64 (-.f64 (*.f64 %336 #s(literal -2 binary64)) %498) %496)
(/.f64 (-.f64 (*.f64 %341 #s(literal 2 binary64)) %227) %210)
(/.f64 (-.f64 (*.f64 %341 #s(literal -2 binary64)) %210) %227)
(/.f64 (-.f64 (*.f64 %345 #s(literal 2 binary64)) %496) %498)
(/.f64 (-.f64 (*.f64 %345 #s(literal -2 binary64)) %498) %496)
(/.f64 (-.f64 (*.f64 %349 #s(literal 2 binary64)) %516) %518)
(/.f64 (-.f64 (*.f64 %349 #s(literal -2 binary64)) %518) %516)
(/.f64 (-.f64 (*.f64 %353 #s(literal 2 binary64)) %524) %526)
(/.f64 (-.f64 (*.f64 %353 #s(literal -2 binary64)) %526) %524)
(/.f64 (-.f64 %531 %227) %210)
(/.f64 (-.f64 (*.f64 %194 #s(literal -2 binary64)) %210) %227)
(/.f64 (-.f64 %537 %64) %68)
(/.f64 (-.f64 (*.f64 %114 #s(literal -2 binary64)) %68) %64)
(/.f64 (-.f64 %55 %77) %81)
(/.f64 (-.f64 (*.f64 %52 #s(literal -2 binary64)) %81) %77)
(/.f64 (-.f64 %548 (*.f64 #s(literal -2 binary64) %549)) %548)
(/.f64 (-.f64 %553 (*.f64 #s(literal -2 binary64) %115)) %553)
(/.f64 (-.f64 %548 (*.f64 #s(literal -2 binary64) %558)) %548)
(/.f64 (-.f64 %562 (*.f64 #s(literal -2 binary64) %564)) %562)
(/.f64 (-.f64 %568 (*.f64 #s(literal -2 binary64) %367)) %568)
(/.f64 (-.f64 %572 (*.f64 #s(literal -2 binary64) %574)) %572)
(/.f64 (-.f64 %562 (*.f64 #s(literal -2 binary64) %369)) %562)
(/.f64 (-.f64 %562 (*.f64 #s(literal -2 binary64) %353)) %562)
(/.f64 (-.f64 %584 (*.f64 #s(literal -2 binary64) %194)) %584)
(/.f64 (-.f64 %553 (*.f64 #s(literal -2 binary64) %114)) %553)
(/.f64 (-.f64 %548 (*.f64 #s(literal -2 binary64) %52)) %548)
(/.f64 (-.f64 %225 (*.f64 #s(literal 2 binary64) %549)) %225)
(/.f64 (-.f64 %231 (*.f64 #s(literal 2 binary64) %115)) %231)
(/.f64 (-.f64 %225 (*.f64 #s(literal 2 binary64) %558)) %225)
(/.f64 (-.f64 %603 (*.f64 #s(literal 2 binary64) %564)) %603)
(/.f64 (-.f64 %607 (*.f64 #s(literal 2 binary64) %367)) %607)
(/.f64 (-.f64 %611 (*.f64 #s(literal 2 binary64) %574)) %611)
(/.f64 (-.f64 %603 (*.f64 #s(literal 2 binary64) %369)) %603)
(/.f64 (-.f64 %603 (*.f64 #s(literal 2 binary64) %353)) %603)
(/.f64 (-.f64 %621 %622) %621)
(/.f64 (-.f64 %231 %625) %231)
(/.f64 (-.f64 %225 %628) %225)
(/.f64 (-.f64 %63 (*.f64 #s(literal 1 binary64) %549)) %63)
(/.f64 (-.f64 y (*.f64 #s(literal 1 binary64) %115)) y)
(/.f64 (-.f64 %63 (*.f64 #s(literal 1 binary64) %558)) %63)
(/.f64 (-.f64 %195 (*.f64 #s(literal 1 binary64) %564)) %195)
(/.f64 (-.f64 %643 (*.f64 #s(literal 1 binary64) %367)) %643)
(/.f64 (-.f64 %647 (*.f64 #s(literal 1 binary64) %574)) %647)
(/.f64 (-.f64 %195 (*.f64 #s(literal 1 binary64) %369)) %195)
(/.f64 (-.f64 %195 (*.f64 #s(literal 1 binary64) %353)) %195)
(/.f64 (-.f64 %657 %194) %657)
(/.f64 (neg.f64 %660) #s(literal -2 binary64))
(/.f64 (neg.f64 %663) %343)
(/.f64 (neg.f64 %666) %668)
(/.f64 (neg.f64 %670) %672)
(/.f64 (neg.f64 %674) %676)
(/.f64 (neg.f64 %678) %680)
(/.f64 (neg.f64 %682) %684)
(/.f64 (neg.f64 %686) %688)
(/.f64 (neg.f64 %690) %668)
(/.f64 (neg.f64 %693) %672)
(/.f64 (neg.f64 %696) %676)
(/.f64 (neg.f64 %699) %680)
(/.f64 (neg.f64 %702) %684)
(/.f64 (neg.f64 %705) %688)
(/.f64 (neg.f64 %710) y)
(/.f64 (neg.f64 %714) %63)
(/.f64 (-.f64 %52 %63) y)
(/.f64 (-.f64 %114 y) %63)
(/.f64 %660 #s(literal 2 binary64))
(/.f64 %663 %195)
(/.f64 %666 %210)
(/.f64 %670 %68)
(/.f64 %674 %81)
(/.f64 %678 %603)
(/.f64 %682 %225)
(/.f64 %686 %231)
(/.f64 %690 %210)
(/.f64 %693 %68)
(/.f64 %696 %81)
(/.f64 %699 %603)
(/.f64 %702 %225)
(/.f64 %705 %231)
(/.f64 %710 %63)
(/.f64 %714 y)
(/.f64 %709 y)
(/.f64 %713 %63)
(/.f64 #s(literal 1 binary64) (pow.f64 %424 #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) %204))
(fma.f64 %87 %190 %743)
(fma.f64 %87 %190 %745)
(fma.f64 %87 %190 %749)
(fma.f64 %55 %190 #s(literal 1 binary64))
(fma.f64 %192 %114 #s(literal 1 binary64))
(fma.f64 %194 %196 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %198 #s(literal 1 binary64))
(fma.f64 %200 %52 #s(literal 1 binary64))
(fma.f64 %200 x %743)
(fma.f64 %200 x %745)
(fma.f64 %200 x %749)
(fma.f64 %60 %192 %743)
(fma.f64 %60 %192 %745)
(fma.f64 %60 %192 %749)
(fma.f64 %114 %192 #s(literal 1 binary64))
(fma.f64 %52 %200 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %764 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %331 %743)
(fma.f64 #s(literal 1 binary64) %331 %745)
(fma.f64 #s(literal 1 binary64) %331 %749)
(fma.f64 #s(literal 1 binary64) %424 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %204 #s(literal 1 binary64))
(fma.f64 x %200 %743)
(fma.f64 x %200 %745)
(fma.f64 x %200 %749)
(-.f64 %774 %200)
(-.f64 %764 #s(literal -1/2 binary64))
(-.f64 %331 %748)
%424
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %204))
(-.f64 #s(literal 1 binary64) %382)
(+.f64 %774 %192)
(+.f64 (neg.f64 (-.f64 #s(literal -1 binary64) %331)) %192)
(+.f64 %764 #s(literal 1/2 binary64))
(+.f64 %331 %743)
(+.f64 %331 %745)
(+.f64 %331 %749)
(+.f64 %424 #s(literal 0 binary64))
(+.f64 %204 #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) %764)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %204))
(+.f64 #s(literal 1 binary64) %204)
(*.f64 #s(literal 1 binary64) %796)
(pow.f64 %796 #s(literal 1 binary64))
%796
(/.f64 #s(literal 1 binary64) (pow.f64 %796 #s(literal -1 binary64)))
(*.f64 %6 %801)
(*.f64 %803 %23)
(*.f64 #s(literal 2 binary64) %805)
(*.f64 %48 %4)
(*.f64 %23 %803)
(*.f64 %4 %48)
(*.f64 #s(literal 1 binary64) %810)
(pow.f64 %810 #s(literal 1 binary64))
(/.f64 (neg.f64 %813) %45)
(/.f64 (neg.f64 %816) %45)
(/.f64 %813 %50)
(/.f64 %816 %50)
(/.f64 %21 %50)
(/.f64 %23 %50)
%810
(/.f64 #s(literal 1 binary64) (/.f64 %50 %23))
(/.f64 #s(literal 1 binary64) (pow.f64 %810 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %45 %4))
(neg.f64 (*.f64 %803 %4))
(neg.f64 (/.f64 %23 %45))
(fma.f64 %801 %4 %805)
(fma.f64 %4 %801 %834)
(+.f64 %834 %834)
(+.f64 %805 %805)
(*.f64 %87 %838)
(*.f64 %840 %60)
(*.f64 #s(literal 2 binary64) %842)
(*.f64 %173 x)
(*.f64 %60 %840)
(*.f64 #s(literal 1 binary64) %846)
(*.f64 x %173)
(pow.f64 %846 #s(literal 1 binary64))
(/.f64 (neg.f64 %850) %159)
(/.f64 (neg.f64 %853) %159)
(/.f64 %850 %172)
(/.f64 %853 %172)
(/.f64 (*.f64 %858 %159) %172)
(/.f64 %258 %172)
(/.f64 (*.f64 %846 %172) %172)
(/.f64 %60 %172)
(/.f64 #s(literal 1 binary64) (/.f64 %172 %60))
(/.f64 #s(literal 1 binary64) (pow.f64 %846 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %159 x))
%846
(neg.f64 %858)
(fma.f64 %838 x %842)
(fma.f64 x %838 %873)
(+.f64 %873 %873)
(+.f64 %842 %842)
(*.f64 #s(literal 1 binary64) %877)
(pow.f64 %877 #s(literal 1 binary64))
%877
(/.f64 #s(literal 1 binary64) (pow.f64 %877 #s(literal -1 binary64)))
reconstruct41.0ms (2.4%)
Counts
467 → 99
Compiler
Compiled 467 to 1 011 computations (-116.5% saved)
eval23.0ms (1.4%)
Compiler
Compiled 95 to 327 computations (-244.2% saved)
prune3.0ms (0.2%)
Pruning
6 alts after pruning (1 fresh and 5 done)
PrunedKeptTotal
New94195
Fresh000
Picked123
Done033
Total956101
Accuracy
100.0%
Counts
101 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓53.7%
(/.f64 (+.f64 x y) (approx (+ y 1) #s(literal 1 binary64)))
✓46.9%
(/.f64 (approx (+ x y) y) (+.f64 y #s(literal 1 binary64)))
✓15.7%
(/.f64 (approx (+ x y) y) (approx (+ y 1) #s(literal 1 binary64)))
▶47.3%
(approx (/ (+ y x) (+ 1 y)) (-.f64 (approx (/ (- x 1) y) (/.f64 x y)) #s(literal -1 binary64)))
✓54.2%
(approx (/ (+ x y) (+ y 1)) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
✓54.2%
(approx (/ (+ x y) (+ y 1)) (/.f64 x (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y))))
Compiler
Compiled 6 to 17 computations (-183.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series12.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0128502
Stop Event
1×iter-limit
Counts
7 → 28
Calls
Call 1
Inputs
%3 = (/.f64 x y)
%7 = (approx (/ (- x 1) y) %3)
%8 = (-.f64 %7 #s(literal -1 binary64))
x
y
#s(literal -1 binary64)
%3
%7
%8
(approx (/ (+ y x) (+ 1 y)) %8)
Outputs
%6 = (/.f64 x y)
%10 = (/ (- x 1) y)
%15 = (/.f64 #s(literal 1 binary64) y)
%19 = (- %10 -1)
%20 = (-.f64 #s(literal 1 binary64) %15)
%27 = (/ (+ y x) (+ 1 y))
%28 = (+.f64 #s(literal 1 binary64) y)
%29 = (/.f64 y %28)
%31 = (/.f64 x %28)
%35 = (/.f64 #s(literal 1 binary64) (*.f64 x y))
%45 = (/.f64 #s(literal 1 binary64) %28)
%47 = (/.f64 y (*.f64 x %28))
%67 = (-.f64 x #s(literal 1 binary64))
%76 = (+.f64 x (*.f64 y (-.f64 #s(literal 1 binary64) x)))
%93 = (pow.f64 y #s(literal 2 binary64))
%94 = (/.f64 #s(literal 1 binary64) %93)
%97 = (/.f64 x %93)
%102 = (pow.f64 y #s(literal 3 binary64))
%113 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) x))
%115 = (*.f64 #s(literal -1 binary64) (/.f64 %113 y))
(approx x #s(literal 0 binary64))
(approx x x)
(approx (/ x y) %6)
(approx %10 (/.f64 #s(literal -1 binary64) y))
(approx %10 (-.f64 %6 %15))
(approx %19 %20)
(approx %19 (-.f64 (+.f64 #s(literal 1 binary64) %6) %15))
(approx %27 %29)
(approx %27 (+.f64 %31 %29))
(approx %10 (*.f64 x (-.f64 %15 %35)))
(approx %19 (*.f64 x (-.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) %15) %35)))
(approx %27 %31)
(approx %27 (*.f64 x (+.f64 %45 %47)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %35 %15))))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %20 x)) %15))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %47) %45))))
(approx y y)
(approx %10 (/.f64 %67 y))
(approx %19 (/.f64 (-.f64 (+.f64 x y) #s(literal 1 binary64)) y))
(approx %27 %76)
(approx %27 (+.f64 x (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y %67)) x))))
(approx %27 (+.f64 x (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y (-.f64 %76 #s(literal 1 binary64)))) x))))
(approx %19 #s(literal 1 binary64))
(approx %27 (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 %94 %6)) (+.f64 %15 %97)))
(approx %27 (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 %94 (+.f64 %6 (/.f64 x %102)))) (+.f64 %15 (+.f64 (/.f64 #s(literal 1 binary64) %102) %97))))
(approx %27 (+.f64 #s(literal 1 binary64) %115))
(approx %27 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x %115)) y))))
(approx %27 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %115 (*.f64 #s(literal -1 binary64) %113)) y)))) y))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
0
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
0
1.0ms
y
-inf
rewrite67.0ms (3.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01345
01545
16945
225345
3117645
0414945
0449145
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 97
Calls
Call 1
Inputs
%3 = (/.f64 x y)
%7 = (approx (/ (- x 1) y) %3)
%8 = (-.f64 %7 #s(literal -1 binary64))
x
y
#s(literal -1 binary64)
%3
%7
%8
(approx (/ (+ y x) (+ 1 y)) %8)
Outputs
%4 = (*.f64 x #s(literal 2 binary64))
%6 = (/.f64 #s(literal 1/2 binary64) y)
%8 = (/.f64 #s(literal -1 binary64) y)
%9 = (neg.f64 x)
%11 = (*.f64 %6 x)
%14 = (/.f64 #s(literal 1 binary64) y)
%17 = (/.f64 x y)
%21 = (*.f64 #s(literal 2 binary64) %14)
%26 = (*.f64 %9 #s(literal 1 binary64))
%28 = (neg.f64 y)
%29 = (*.f64 #s(literal -2 binary64) %28)
%31 = (*.f64 #s(literal -1 binary64) x)
%34 = (*.f64 x #s(literal -1 binary64))
%43 = (*.f64 #s(literal 2 binary64) %28)
%52 = (*.f64 #s(literal 2 binary64) y)
%90 = (/.f64 %9 y)
%91 = (*.f64 %90 y)
%92 = (*.f64 y #s(literal -1 binary64))
%112 = (/.f64 (*.f64 x #s(literal 0 binary64)) y)
%115 = (/.f64 (*.f64 #s(literal 0 binary64) x) y)
%130 = (/.f64 (*.f64 x #s(literal 1/2 binary64)) y)
%133 = (/.f64 (*.f64 #s(literal 1/2 binary64) x) y)
%140 = (approx (/ (- x 1) y) %17)
%145 = (-.f64 %140 #s(literal -1 binary64))
%148 = (fma.f64 %140 #s(literal 2 binary64) #s(literal 2 binary64))
%162 = (neg.f64 %140)
%182 = (approx (/ (+ y x) (- y -1)) %145)
x
y
#s(literal -1 binary64)
(*.f64 %4 %6)
(*.f64 %8 %9)
(*.f64 #s(literal 2 binary64) %11)
(*.f64 %14 x)
(*.f64 %9 %8)
(*.f64 #s(literal 1 binary64) %17)
(*.f64 x %14)
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 (*.f64 %21 %4) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %26) %29)
(/.f64 (*.f64 #s(literal -2 binary64) %31) %29)
(/.f64 (*.f64 #s(literal -2 binary64) %34) %29)
(/.f64 (*.f64 #s(literal -2 binary64) %9) %29)
(/.f64 (*.f64 #s(literal -2 binary64) x) (*.f64 #s(literal -2 binary64) y))
(/.f64 (*.f64 #s(literal 2 binary64) %26) %43)
(/.f64 (*.f64 #s(literal 2 binary64) %31) %43)
(/.f64 (*.f64 #s(literal 2 binary64) %34) %43)
(/.f64 (*.f64 #s(literal 2 binary64) %9) %43)
(/.f64 (*.f64 #s(literal 2 binary64) x) %52)
(/.f64 (*.f64 #s(literal 1 binary64) %26) %28)
(/.f64 (*.f64 #s(literal 1 binary64) %31) %28)
(/.f64 (*.f64 #s(literal 1 binary64) %34) %28)
(/.f64 (*.f64 %4 %21) #s(literal 4 binary64))
(/.f64 (*.f64 %4 #s(literal -1 binary64)) %43)
(/.f64 (*.f64 #s(literal -1 binary64) %4) (*.f64 %28 #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -2 binary64) %4) (*.f64 %43 #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal 2 binary64) %4) (*.f64 %52 #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal 1 binary64) %4) (*.f64 y #s(literal 2 binary64)))
(/.f64 (*.f64 %4 #s(literal -2 binary64)) (*.f64 #s(literal 2 binary64) %43))
(/.f64 (*.f64 %4 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %52))
(/.f64 (*.f64 %4 #s(literal 1 binary64)) %52)
(/.f64 (neg.f64 %26) y)
(/.f64 (neg.f64 %31) y)
(/.f64 %26 %28)
(/.f64 %31 %28)
(/.f64 %91 %92)
(/.f64 %91 %28)
(/.f64 %34 %92)
(/.f64 %34 %28)
(/.f64 %9 %92)
(/.f64 %9 %28)
(/.f64 #s(literal 1 binary64) (/.f64 %28 %9))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y x))
(/.f64 x (*.f64 %28 #s(literal -1 binary64)))
%17
(neg.f64 (*.f64 %8 x))
(neg.f64 %90)
(fma.f64 %4 %6 %112)
(fma.f64 %4 %6 %115)
(fma.f64 %8 %9 %112)
(fma.f64 %8 %9 %115)
(fma.f64 #s(literal 2 binary64) %11 %112)
(fma.f64 #s(literal 2 binary64) %11 %115)
(fma.f64 %14 x %112)
(fma.f64 %14 x %115)
(fma.f64 %9 %8 %112)
(fma.f64 %9 %8 %115)
(fma.f64 #s(literal 1 binary64) %17 %112)
(fma.f64 #s(literal 1 binary64) %17 %115)
(fma.f64 x %14 %112)
(fma.f64 x %14 %115)
(+.f64 %130 %130)
(+.f64 %133 %133)
(+.f64 %17 %112)
(+.f64 %17 %115)
(*.f64 #s(literal 1 binary64) %140)
(pow.f64 %140 #s(literal 1 binary64))
%140
(/.f64 #s(literal 1 binary64) (pow.f64 %140 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %145)
(pow.f64 %145 #s(literal 1 binary64))
(/.f64 (+.f64 %148 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %148 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %148) #s(literal -2 binary64))
(/.f64 %148 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %145 #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) %140))
(fma.f64 #s(literal 1 binary64) %145 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %140 #s(literal 1 binary64))
%145
(-.f64 #s(literal 1 binary64) %162)
(+.f64 (/.f64 (*.f64 %140 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 (+.f64 %140 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %140))
(+.f64 %145 #s(literal 0 binary64))
(+.f64 %140 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %140))
(+.f64 #s(literal 1 binary64) (neg.f64 %162))
(+.f64 #s(literal 1 binary64) %140)
(*.f64 #s(literal 1 binary64) %182)
(pow.f64 %182 #s(literal 1 binary64))
%182
(/.f64 #s(literal 1 binary64) (pow.f64 %182 #s(literal -1 binary64)))
reconstruct10.0ms (0.6%)
Counts
125 → 40
Compiler
Compiled 125 to 265 computations (-112.0% saved)
eval4.0ms (0.2%)
Compiler
Compiled 37 to 131 computations (-254.1% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (1 fresh and 6 done)
PrunedKeptTotal
New36137
Fresh000
Picked011
Done055
Total36743
Accuracy
100.0%
Counts
43 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓53.7%
(/.f64 (+.f64 x y) (approx (+ y 1) #s(literal 1 binary64)))
✓46.9%
(/.f64 (approx (+ x y) y) (+.f64 y #s(literal 1 binary64)))
✓15.7%
(/.f64 (approx (+ x y) y) (approx (+ y 1) #s(literal 1 binary64)))
✓47.3%
(approx (/ (+ y x) (+ 1 y)) (-.f64 (approx (/ (- x 1) y) (/.f64 x y)) #s(literal -1 binary64)))
34.1%
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
✓54.2%
(approx (/ (+ x y) (+ y 1)) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
✓54.2%
(approx (/ (+ x y) (+ y 1)) (/.f64 x (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y))))
Compiler
Compiled 7 to 17 computations (-142.9% saved)
regimes22.0ms (1.3%)
Accuracy
Total 18.2b remaining (18.3%)
Threshold costs 0.2b (0.2%)
7.8b71.4%
7.4b73.3%
1.5b94.8%
1.3b95.7%
0.1b99.7%
Counts
1 → 1
2 → 2
3 → 3
4 → 3
5 → 4
6 → 3
7 → 3
9 → 1
10 → 1
Calls
Call 1
Inputs
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
Outputs
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
Call 2
Inputs
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
(/.f64 (approx (+ x y) y) (approx (+ y 1) #s(literal 1 binary64)))
Outputs
(/.f64 (approx (+ x y) y) (approx (+ y 1) #s(literal 1 binary64)))
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
Call 3
Inputs
%13 = (+ x y)
%15 = (+ y 1)
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
(/.f64 (approx %13 y) (approx %15 #s(literal 1 binary64)))
(approx (/ %13 %15) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
Outputs
%9 = (approx (/ (+ x y) (+ y 1)) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
%9
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
%9
Call 4
Inputs
%13 = (+ x y)
%14 = (approx %13 y)
%15 = (+ y 1)
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
(/.f64 %14 (approx %15 #s(literal 1 binary64)))
(approx (/ %13 %15) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
(/.f64 %14 (+.f64 y #s(literal 1 binary64)))
Outputs
%2 = (+ x y)
%9 = (approx (/ %2 (+ y 1)) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
%9
(/.f64 (approx %2 y) (+.f64 y #s(literal 1 binary64)))
%9
Call 5
Inputs
%13 = (+ x y)
%14 = (approx %13 y)
%15 = (+ y 1)
%16 = (approx %15 #s(literal 1 binary64))
(approx (/ (+ y x) (+ 1 y)) (approx (- (/ (- x 1) y) -1) #s(literal 1 binary64)))
(/.f64 %14 %16)
(approx (/ %13 %15) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
(/.f64 %14 (+.f64 y #s(literal 1 binary64)))
(/.f64 (+.f64 x y) %16)
Outputs
%2 = (+ x y)
%4 = (+ y 1)
%9 = (approx (/ %2 %4) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
%9
(/.f64 (+.f64 x y) (approx %4 #s(literal 1 binary64)))
(/.f64 (approx %2 y) (+.f64 y #s(literal 1 binary64)))
%9
Call 6
Inputs
%5 = (/ (+ y x) (+ 1 y))
%7 = (/ (- x 1) y)
%13 = (+ x y)
%14 = (approx %13 y)
%15 = (+ y 1)
%16 = (approx %15 #s(literal 1 binary64))
(approx %5 (approx (- %7 -1) #s(literal 1 binary64)))
(/.f64 %14 %16)
(approx (/ %13 %15) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
(/.f64 %14 (+.f64 y #s(literal 1 binary64)))
(/.f64 (+.f64 x y) %16)
(approx %5 (-.f64 (approx %7 (/.f64 x y)) #s(literal -1 binary64)))
Outputs
%12 = (approx (/ (+ y x) (+ 1 y)) (-.f64 (approx (/ (- x 1) y) (/.f64 x y)) #s(literal -1 binary64)))
%12
(/.f64 (+.f64 x y) (approx (+ y 1) #s(literal 1 binary64)))
%12
Call 7
Inputs
%5 = (/ (+ y x) (+ 1 y))
%7 = (/ (- x 1) y)
%13 = (+ x y)
%14 = (approx %13 y)
%15 = (+ y 1)
%16 = (approx %15 #s(literal 1 binary64))
(approx %5 (approx (- %7 -1) #s(literal 1 binary64)))
(/.f64 %14 %16)
(approx (/ %13 %15) (/.f64 x (+.f64 #s(literal 1 binary64) y)))
(/.f64 %14 (+.f64 y #s(literal 1 binary64)))
(/.f64 (+.f64 x y) %16)
(approx %5 (-.f64 (approx %7 (/.f64 x y)) #s(literal -1 binary64)))
(approx %5 (-.f64 (/.f64 (-.f64 x #s(literal 1 binary64)) y) #s(literal -1 binary64)))
Outputs
%11 = (approx (/ (+ y x) (+ 1 y)) (-.f64 (/.f64 (-.f64 x #s(literal 1 binary64)) y) #s(literal -1 binary64)))
%11
(/.f64 (+.f64 x y) (approx (+ y 1) #s(literal 1 binary64)))
%11
Call 8
Inputs
%5 = (/ (+ y x) (+ 1 y))
%7 = (/ (- x 1) y)
%13 = (+ x y)
%14 = (approx %13 y)
%15 = (+ y 1)
%16 = (approx %15 #s(literal 1 binary64))
%18 = (/ %13 %15)
%22 = (+.f64 y #s(literal 1 binary64))
%24 = (+.f64 x y)
(approx %5 (approx (- %7 -1) #s(literal 1 binary64)))
(/.f64 %14 %16)
(approx %18 (/.f64 x (+.f64 #s(literal 1 binary64) y)))
(/.f64 %14 %22)
(/.f64 %24 %16)
(approx %5 (-.f64 (approx %7 (/.f64 x y)) #s(literal -1 binary64)))
(approx %5 (-.f64 (/.f64 (-.f64 x #s(literal 1 binary64)) y) #s(literal -1 binary64)))
(approx %18 (/.f64 x (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y))))
(/.f64 %24 %22)
Outputs
(/.f64 (+.f64 x y) (+.f64 y #s(literal 1 binary64)))
Call 9
Inputs
%5 = (/ (+ y x) (+ 1 y))
%7 = (/ (- x 1) y)
%13 = (+ x y)
%14 = (approx %13 y)
%15 = (+ y 1)
%16 = (approx %15 #s(literal 1 binary64))
%18 = (/ %13 %15)
%22 = (+.f64 y #s(literal 1 binary64))
%24 = (+.f64 x y)
%37 = (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y))
(approx %5 (approx (- %7 -1) #s(literal 1 binary64)))
(/.f64 %14 %16)
(approx %18 (/.f64 x (+.f64 #s(literal 1 binary64) y)))
(/.f64 %14 %22)
(/.f64 %24 %16)
(approx %5 (-.f64 (approx %7 (/.f64 x y)) #s(literal -1 binary64)))
(approx %5 (-.f64 (/.f64 (-.f64 x #s(literal 1 binary64)) y) #s(literal -1 binary64)))
(approx %18 (/.f64 x %37))
(/.f64 %24 %22)
(/.f64 %24 %37)
Outputs
(/.f64 (+.f64 x y) (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) y)))
Calls
3 calls:
21.0ms
(/.f64 (+.f64 x y) (+.f64 y #s(literal 1 binary64)))
17.0ms
y
7.0ms
x
Results
AccuracySegmentsBranch
34.1%1
y
34.1%1
x
34.1%1
(/.f64 (+.f64 x y) (+.f64 y #s(literal 1 binary64)))
Compiler
Compiled 15 to 34 computations (-126.7% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch15.0ms (0.9%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
15.0ms
0.06122846362297401
572.5104229526586
7.0ms
-1929169082.1655777
-0.020246246823428786
Samples
6.0ms288×0valid
Compiler
Compiled 14 to 27 computations (-92.9% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Add: 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
5.0ms
0.06122846362297401
572.5104229526586
6.0ms
-1929169082.1655777
-0.020246246823428786
Samples
4.0ms240×0valid
Compiler
Compiled 14 to 25 computations (-78.6% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch1.0ms (0.0%)
Algorithm
3×left-value
Steps
TimeLeftRight
0.0ms
1.0000000192876308
2610.2622871523486
0.0ms
0.031061135471649008
0.9999617028659795
0.0ms
-219.43353853310475
-3.106191387612017
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1.0000000192876308
2610.2622871523486
0.0ms
2.8463601165961896e-134
4.07346557044959e-130
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1.0000000192876308
2610.2622871523486
0.0ms
0.031061135471649008
0.9999617028659795
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
7.805916169023988e-14
1.6822977259161094e-10
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
derivations33.0ms (1.9%)
Stop Event
1×fuel
Compiler
Compiled 9 to 50 computations (-455.6% saved)
preprocess34.0ms (2.0%)
Compiler
Compiled 10 to 56 computations (-460.0% saved)
end0.0ms (0.0%)
gc389ms (22.8%)
Allocations
AllocatedPercentPhase
759.9 MiB40.5%sample
441.8 MiB23.5%rewrite
233.4 MiB12.4%reconstruct
123.3 MiB6.6%preprocess
98.4 MiB5.2%series
56.2 MiB3.0%regimes
48.7 MiB2.6%eval
47.6 MiB2.5%bsearch
29.0 MiB1.5%analyze
23.0 MiB1.2%prune
15.6 MiB0.8%derivations
0.1 MiB0.0%start
0.0 MiB0.0%end
1 877.0 MiB100.0%total
Profiling
Loading profile data...