Graphics.Rendering.Chart.Plot.Vectors:renderPlotVectors from Chart-1.5.3

Time bar (total: 1.5s)

start0.0ms (0.0%)

analyze1.0ms (0.0%)

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

Compiled 11 to 8 computations (27.3% saved)

sample513.0ms (33.3%)

Samples
234.0ms6 272×0valid
179.0ms1 982×1valid
0.0ms2×2valid
Precisions
Click to see histograms. Total time spent on operations: 22.0ms
Sub: 8.0ms (37.1% of total, 0.0 MiB)
Mul: 7.0ms (32.5% of total, 0.0 MiB)
Add: 4.0ms (18.6% of total, 0.0 MiB)
adjust: 2.0ms (9.3% of total, 0.0 MiB)
Bogosity

preprocess23.0ms (1.5%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01958
18954
229254
3122954
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶78.6%
(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))
Compiler

Compiled 2 to 14 computations (-600.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series11.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0101438
Stop Event
1×iter-limit
Counts
7 → 30
Calls
Call 1
Inputs
%2 = (-.f64 #s(literal 1 binary64) x)
%4 = (-.f64 #s(literal 1 binary64) y)
%5 = (*.f64 %2 %4)
x
#s(literal 1 binary64)
%2
y
%4
%5
(+.f64 x %5)
Outputs
%5 = (- 1 x)
%9 = (*.f64 #s(literal -1 binary64) x)
%13 = (- 1 y)
%14 = (* %5 %13)
%15 = (-.f64 #s(literal 1 binary64) y)
%18 = (*.f64 #s(literal -1 binary64) (*.f64 x %15))
%22 = (+ x %14)
%25 = (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %15)))
%30 = (/.f64 #s(literal 1 binary64) x)
%35 = (fma.f64 #s(literal -1 binary64) %15 %30)
%36 = (/.f64 y x)
%50 = (*.f64 #s(literal -1 binary64) (/.f64 %15 x))
%63 = (*.f64 #s(literal -1 binary64) y)
%66 = (-.f64 #s(literal 1 binary64) x)
%69 = (*.f64 #s(literal -1 binary64) (*.f64 y %66))
%70 = (+.f64 #s(literal 1 binary64) %69)
%75 = (/.f64 #s(literal 1 binary64) y)
%80 = (fma.f64 #s(literal -1 binary64) %66 %75)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) %9))
(approx %14 %15)
(approx %14 (-.f64 (+.f64 #s(literal 1 binary64) %18) y))
(approx %22 (-.f64 (+.f64 #s(literal 1 binary64) %25) y))
(approx %5 %9)
(approx %5 (*.f64 x (-.f64 %30 #s(literal 1 binary64))))
(approx %14 %18)
(approx %14 (*.f64 x (-.f64 %35 %36)))
(approx %22 %25)
(approx %22 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %35) %36)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %30))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %50) y))))
(approx %22 (*.f64 x y))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %50 y))))
(approx y y)
(approx %13 (+.f64 #s(literal 1 binary64) %63))
(approx %14 %66)
(approx %14 (-.f64 %70 x))
(approx %22 %70)
(approx %13 %63)
(approx %13 (*.f64 y (-.f64 %75 #s(literal 1 binary64))))
(approx %14 %69)
(approx %14 (*.f64 y (-.f64 %80 (/.f64 x y))))
(approx %22 (*.f64 y %80))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %75))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %66 y))) x))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) (+.f64 x %75)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
-inf
1.0ms
y
inf
1.0ms
x
0
rewrite67.0ms (4.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0725
01125
13925
211225
349825
0411025
0417924
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 672
Calls
Call 1
Inputs
%2 = (-.f64 #s(literal 1 binary64) x)
%4 = (-.f64 #s(literal 1 binary64) y)
%5 = (*.f64 %2 %4)
x
#s(literal 1 binary64)
%2
y
%4
%5
(+.f64 x %5)
Outputs
%5 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64))
%6 = (*.f64 #s(literal -1 binary64) %5)
%9 = (-.f64 #s(literal 1 binary64) x)
%10 = (*.f64 #s(literal 2 binary64) %9)
%12 = (/.f64 %10 #s(literal 8 binary64))
%15 = (-.f64 x #s(literal 1 binary64))
%17 = (*.f64 %15 #s(literal -1/2 binary64))
%19 = (fma.f64 #s(literal 1/2 binary64) x #s(literal -1/2 binary64))
%20 = (*.f64 #s(literal -1 binary64) %19)
%22 = (*.f64 #s(literal 1/2 binary64) %9)
%23 = (*.f64 %22 #s(literal 1/2 binary64))
%25 = (*.f64 %15 #s(literal -2 binary64))
%27 = (/.f64 %9 #s(literal 1/2 binary64))
%34 = (/.f64 %9 #s(literal 4 binary64))
%38 = (*.f64 %5 #s(literal -1 binary64))
%40 = (*.f64 #s(literal -2 binary64) %15)
%43 = (*.f64 %19 #s(literal -1 binary64))
%45 = (*.f64 #s(literal -1/2 binary64) %15)
%68 = (neg.f64 x)
%107 = (*.f64 %68 #s(literal 1/2 binary64))
%109 = (*.f64 #s(literal 1/2 binary64) %22)
%115 = (-.f64 %68 #s(literal -1/2 binary64))
%123 = (*.f64 %22 #s(literal 3/2 binary64))
%132 = (neg.f64 (+.f64 x x))
%140 = (*.f64 #s(literal 2 binary64) %68)
%144 = (*.f64 #s(literal 3/2 binary64) %22)
%149 = (*.f64 #s(literal 1/2 binary64) %68)
%189 = (*.f64 x #s(literal -1 binary64))
%192 = (*.f64 #s(literal -1 binary64) x)
%196 = (-.f64 #s(literal 1/2 binary64) x)
%209 = (-.f64 #s(literal 1 binary64) y)
%210 = (*.f64 #s(literal 2 binary64) %209)
%211 = (/.f64 %210 #s(literal 8 binary64))
%213 = (*.f64 #s(literal 1/2 binary64) %209)
%214 = (*.f64 %213 #s(literal 1/2 binary64))
%216 = (/.f64 %209 #s(literal 1/2 binary64))
%220 = (/.f64 %209 #s(literal 4 binary64))
%222 = (-.f64 y #s(literal 1 binary64))
%242 = (neg.f64 y)
%261 = (fma.f64 y #s(literal 2 binary64) #s(literal -2 binary64))
%271 = (*.f64 %242 #s(literal 1/2 binary64))
%273 = (*.f64 #s(literal 1/2 binary64) %213)
%277 = (-.f64 %242 #s(literal -1/2 binary64))
%281 = (*.f64 %213 #s(literal 3/2 binary64))
%287 = (+.f64 y y)
%288 = (neg.f64 %287)
%292 = (*.f64 #s(literal 2 binary64) %242)
%294 = (*.f64 #s(literal 3/2 binary64) %213)
%299 = (*.f64 #s(literal 1/2 binary64) %242)
%311 = (*.f64 %222 #s(literal 1/2 binary64))
%323 = (*.f64 %222 #s(literal 0 binary64))
%338 = (-.f64 #s(literal 1/2 binary64) y)
%348 = (*.f64 %222 %5)
%350 = (*.f64 %209 %10)
%352 = (*.f64 %9 %210)
%354 = (*.f64 %222 %19)
%356 = (*.f64 %209 %22)
%358 = (*.f64 %9 %213)
%361 = (*.f64 %222 #s(literal 2 binary64))
%364 = (*.f64 #s(literal 1/2 binary64) %222)
%370 = (*.f64 %5 %222)
%372 = (*.f64 %210 %9)
%374 = (*.f64 %10 %209)
%376 = (*.f64 %19 %222)
%378 = (*.f64 %22 %209)
%380 = (*.f64 %213 %9)
%384 = (*.f64 %209 %9)
%399 = (*.f64 %222 x)
%402 = (*.f64 %15 y)
%415 = (*.f64 %15 %209)
%417 = (*.f64 y %9)
%418 = (-.f64 #s(literal 0 binary64) %417)
%427 = (*.f64 %242 %10)
%429 = (*.f64 y %5)
%431 = (*.f64 %68 %210)
%435 = (*.f64 %209 x)
%436 = (-.f64 #s(literal 0 binary64) %435)
%449 = (*.f64 %242 %22)
%451 = (*.f64 y %19)
%453 = (*.f64 y #s(literal 1/2 binary64))
%455 = (*.f64 %68 %213)
%460 = (-.f64 #s(literal 1 binary64) %435)
%465 = (-.f64 #s(literal 1 binary64) %417)
%467 = (-.f64 %213 %435)
%469 = (*.f64 %209 %196)
%471 = (*.f64 %196 %209)
%473 = (-.f64 %22 %417)
%475 = (*.f64 %9 %338)
%477 = (*.f64 %338 %9)
%505 = (*.f64 #s(literal 1/2 binary64) y)
%529 = (*.f64 #s(literal 2 binary64) y)
%571 = (*.f64 %10 %242)
%573 = (*.f64 %5 y)
%575 = (*.f64 %210 %68)
%605 = (*.f64 %22 %242)
%607 = (*.f64 %19 y)
%610 = (*.f64 %213 %68)
%674 = (*.f64 %242 x)
%677 = (-.f64 %9 y)
%679 = (*.f64 x %242)
%737 = (fma.f64 %209 %9 x)
%744 = (fma.f64 %15 y x)
%749 = (-.f64 %9 %68)
%752 = (-.f64 %209 %68)
%755 = (fma.f64 %222 x x)
%845 = (-.f64 x %15)
%848 = (-.f64 %845 y)
%857 = (-.f64 x %222)
x
#s(literal 1 binary64)
(*.f64 %6 #s(literal 1/2 binary64))
(*.f64 %12 #s(literal 4 binary64))
(*.f64 %17 #s(literal 2 binary64))
(*.f64 %20 #s(literal 2 binary64))
(*.f64 %23 #s(literal 4 binary64))
(*.f64 %25 #s(literal 1/2 binary64))
(*.f64 %27 #s(literal 1/2 binary64))
(*.f64 %10 #s(literal 1/2 binary64))
(*.f64 %5 #s(literal -1/2 binary64))
(*.f64 %22 #s(literal 2 binary64))
(*.f64 %19 #s(literal -2 binary64))
(*.f64 #s(literal -1/2 binary64) %5)
(*.f64 #s(literal 4 binary64) %34)
(*.f64 #s(literal -2 binary64) %19)
(*.f64 #s(literal -1 binary64) %15)
(*.f64 #s(literal 1/2 binary64) %38)
(*.f64 #s(literal 1/2 binary64) %40)
(*.f64 #s(literal 1/2 binary64) %10)
(*.f64 #s(literal 2 binary64) %43)
(*.f64 #s(literal 2 binary64) %45)
(*.f64 #s(literal 2 binary64) %22)
(*.f64 %15 #s(literal -1 binary64))
(*.f64 %9 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %9)
(pow.f64 %9 #s(literal 1 binary64))
(/.f64 %6 #s(literal 2 binary64))
(/.f64 (*.f64 %22 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 %38 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %22) #s(literal 4 binary64))
(/.f64 (/.f64 %10 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %10 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 %40 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %9) #s(literal -2 binary64))
(/.f64 (*.f64 %9 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %25 #s(literal 2 binary64))
(/.f64 (fma.f64 %68 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %68 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %10 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %10 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %10) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %10) #s(literal 4 binary64))
(/.f64 (*.f64 %5 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %5 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %5) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %5) #s(literal -4 binary64))
(/.f64 %10 #s(literal 2 binary64))
(/.f64 %5 #s(literal -2 binary64))
(/.f64 %9 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %10))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
(neg.f64 %15)
(fma.f64 %6 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %12 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %17 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %20 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %23 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %107 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %109 #s(literal 2 binary64) %22)
(fma.f64 %25 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %27 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %10 %22)
(fma.f64 %115 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 3/2 binary64) %22 %109)
(fma.f64 %10 #s(literal 1/4 binary64) %22)
(fma.f64 %10 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %5 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %22 #s(literal 3/2 binary64) %23)
(fma.f64 %22 #s(literal 1/2 binary64) %123)
(fma.f64 %22 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %22 #s(literal 1 binary64) %22)
(fma.f64 %19 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %19 #s(literal -1 binary64) %43)
(fma.f64 #s(literal -1/2 binary64) %5 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %15 %45)
(fma.f64 %132 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %34 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %19 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %19 %20)
(fma.f64 #s(literal -1 binary64) %15 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %38 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %140 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %40 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %10 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %22 %144)
(fma.f64 #s(literal 1/2 binary64) %9 %22)
(fma.f64 #s(literal 2 binary64) %43 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %23 %22)
(fma.f64 #s(literal 2 binary64) %149 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %45 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %22 #s(literal 0 binary64))
(fma.f64 %68 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %15 #s(literal -1/2 binary64) %17)
(fma.f64 %15 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %9 #s(literal 1/2 binary64) %22)
(fma.f64 %9 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %115 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %22 %22)
(fma.f64 #s(literal 1 binary64) %68 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %9 #s(literal 0 binary64))
(fma.f64 x #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 %115 #s(literal -1/2 binary64))
(-.f64 %22 (*.f64 #s(literal -1/2 binary64) %9))
(-.f64 %22 %19)
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) x))
(-.f64 #s(literal 1/2 binary64) (-.f64 x #s(literal 1/2 binary64)))
(-.f64 %68 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %15)
(-.f64 %9 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) x))
(-.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %68))
%9
(+.f64 %17 %17)
(+.f64 %20 %20)
(+.f64 %123 %23)
(+.f64 (*.f64 #s(literal 1 binary64) %115) #s(literal 1/2 binary64))
(+.f64 %43 %43)
(+.f64 %23 %123)
(+.f64 %144 %109)
(+.f64 %109 %144)
(+.f64 (*.f64 %115 #s(literal 1 binary64)) #s(literal 1/2 binary64))
(+.f64 %189 #s(literal 1 binary64))
(+.f64 %45 %45)
(+.f64 %192 #s(literal 1 binary64))
(+.f64 %115 #s(literal 1/2 binary64))
(+.f64 %22 %22)
(+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) %196))
(+.f64 #s(literal 1/2 binary64) (*.f64 %196 #s(literal 1 binary64)))
(+.f64 #s(literal 1/2 binary64) %196)
(+.f64 %68 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %9)
(+.f64 %9 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %189)
(+.f64 #s(literal 1 binary64) %192)
(+.f64 #s(literal 1 binary64) %68)
y
(*.f64 %211 #s(literal 4 binary64))
(*.f64 %214 #s(literal 4 binary64))
(*.f64 %216 #s(literal 1/2 binary64))
(*.f64 %213 #s(literal 2 binary64))
(*.f64 %210 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %220)
(*.f64 #s(literal -1 binary64) %222)
(*.f64 #s(literal 1/2 binary64) %210)
(*.f64 #s(literal 2 binary64) %213)
(*.f64 %222 #s(literal -1 binary64))
(*.f64 %209 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %209)
(pow.f64 %209 #s(literal 1 binary64))
(/.f64 (*.f64 %213 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %213) #s(literal 4 binary64))
(/.f64 (/.f64 %210 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %210 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %209) #s(literal -2 binary64))
(/.f64 (*.f64 %209 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %242 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %242 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %210 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %210 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %210 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %210) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %210) #s(literal 4 binary64))
(/.f64 (neg.f64 %210) #s(literal -2 binary64))
(/.f64 %210 #s(literal 2 binary64))
(/.f64 %261 #s(literal -2 binary64))
(/.f64 %209 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %210))
(/.f64 #s(literal 1 binary64) (pow.f64 %209 #s(literal -1 binary64)))
(neg.f64 %222)
(fma.f64 %211 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %214 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %271 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %273 #s(literal 2 binary64) %213)
(fma.f64 %216 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %210 %213)
(fma.f64 %277 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 3/2 binary64) %213 %273)
(fma.f64 %213 #s(literal 3/2 binary64) %214)
(fma.f64 %213 #s(literal 1/2 binary64) %281)
(fma.f64 %213 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %213 #s(literal 1 binary64) %213)
(fma.f64 %210 #s(literal 1/4 binary64) %213)
(fma.f64 %210 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %288 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %220 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %222 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %292 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %213 %294)
(fma.f64 #s(literal 1/2 binary64) %210 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %209 %213)
(fma.f64 #s(literal 2 binary64) %214 %213)
(fma.f64 #s(literal 2 binary64) %299 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %213 #s(literal 0 binary64))
(fma.f64 %242 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %222 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %209 #s(literal 1/2 binary64) %213)
(fma.f64 %209 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %277 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %213 %213)
(fma.f64 #s(literal 1 binary64) %242 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %209 #s(literal 0 binary64))
(-.f64 %277 #s(literal -1/2 binary64))
(-.f64 %213 %311)
(-.f64 %213 (*.f64 #s(literal -1/2 binary64) %209))
(-.f64 %213 (neg.f64 %213))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) y))
(-.f64 #s(literal 1/2 binary64) (-.f64 y #s(literal 1/2 binary64)))
(-.f64 %242 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %222)
(-.f64 %209 %323)
(-.f64 %209 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y))
%209
(+.f64 %281 %214)
(+.f64 (*.f64 #s(literal 1 binary64) %277) #s(literal 1/2 binary64))
(+.f64 %214 %281)
(+.f64 %294 %273)
(+.f64 %273 %294)
(+.f64 (*.f64 %277 #s(literal 1 binary64)) #s(literal 1/2 binary64))
(+.f64 %277 #s(literal 1/2 binary64))
(+.f64 %213 %213)
(+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) %338))
(+.f64 #s(literal 1/2 binary64) (*.f64 %338 #s(literal 1 binary64)))
(+.f64 #s(literal 1/2 binary64) %338)
(+.f64 %242 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %209)
(+.f64 %209 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %242)
(*.f64 %348 #s(literal 1/2 binary64))
(*.f64 %350 #s(literal 1/2 binary64))
(*.f64 %352 #s(literal 1/2 binary64))
(*.f64 %354 #s(literal 2 binary64))
(*.f64 %356 #s(literal 2 binary64))
(*.f64 %358 #s(literal 2 binary64))
(*.f64 %311 %5)
(*.f64 %361 %19)
(*.f64 %10 %213)
(*.f64 %5 %364)
(*.f64 %22 %210)
(*.f64 %213 %10)
(*.f64 %19 %261)
(*.f64 %210 %22)
(*.f64 #s(literal 1/2 binary64) %370)
(*.f64 #s(literal 1/2 binary64) %372)
(*.f64 #s(literal 1/2 binary64) %374)
(*.f64 #s(literal 2 binary64) %376)
(*.f64 #s(literal 2 binary64) %378)
(*.f64 #s(literal 2 binary64) %380)
(*.f64 %15 %222)
(*.f64 %222 %15)
(*.f64 %384 #s(literal 1 binary64))
%384
(*.f64 %9 %209)
(*.f64 #s(literal 1 binary64) %384)
(pow.f64 %384 #s(literal 1 binary64))
(/.f64 (*.f64 %15 %261) #s(literal 2 binary64))
(/.f64 %348 #s(literal 2 binary64))
(/.f64 %350 #s(literal 2 binary64))
(/.f64 %352 #s(literal 2 binary64))
(/.f64 %370 #s(literal 2 binary64))
(/.f64 (*.f64 %261 %15) #s(literal 2 binary64))
(/.f64 %372 #s(literal 2 binary64))
(/.f64 %374 #s(literal 2 binary64))
(/.f64 (fma.f64 %399 #s(literal 2 binary64) %210) #s(literal 2 binary64))
(/.f64 (fma.f64 %402 #s(literal 2 binary64) %10) #s(literal 2 binary64))
(/.f64 (*.f64 %5 %261) #s(literal 4 binary64))
(/.f64 (*.f64 %261 %5) #s(literal 4 binary64))
(/.f64 (*.f64 %210 %10) #s(literal 4 binary64))
(/.f64 (*.f64 %10 %210) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %384 #s(literal -1 binary64)))
(neg.f64 %415)
(fma.f64 %6 #s(literal 1/2 binary64) %418)
(fma.f64 %6 #s(literal 1/2 binary64) %402)
(fma.f64 %348 #s(literal 1/2 binary64) %323)
(fma.f64 %348 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %350 #s(literal 1/2 binary64) %323)
(fma.f64 %350 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %352 #s(literal 1/2 binary64) %323)
(fma.f64 %352 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %427 #s(literal 1/2 binary64) %9)
(fma.f64 %429 #s(literal 1/2 binary64) %9)
(fma.f64 %431 #s(literal 1/2 binary64) %209)
(fma.f64 %12 #s(literal 4 binary64) %418)
(fma.f64 %12 #s(literal 4 binary64) %402)
(fma.f64 %211 #s(literal 4 binary64) %436)
(fma.f64 %211 #s(literal 4 binary64) %399)
(fma.f64 %17 #s(literal 2 binary64) %418)
(fma.f64 %17 #s(literal 2 binary64) %402)
(fma.f64 %20 #s(literal 2 binary64) %418)
(fma.f64 %20 #s(literal 2 binary64) %402)
(fma.f64 %354 #s(literal 2 binary64) %323)
(fma.f64 %354 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %356 #s(literal 2 binary64) %323)
(fma.f64 %356 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %358 #s(literal 2 binary64) %323)
(fma.f64 %358 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %449 #s(literal 2 binary64) %9)
(fma.f64 %451 #s(literal 2 binary64) %9)
(fma.f64 %453 %5 %9)
(fma.f64 %455 #s(literal 2 binary64) %209)
(fma.f64 %214 #s(literal 4 binary64) %436)
(fma.f64 %214 #s(literal 4 binary64) %399)
(fma.f64 %271 %10 %9)
(fma.f64 %271 #s(literal 2 binary64) %460)
(fma.f64 %23 #s(literal 4 binary64) %418)
(fma.f64 %23 #s(literal 4 binary64) %402)
(fma.f64 %107 %210 %209)
(fma.f64 %107 #s(literal 2 binary64) %465)
(fma.f64 %273 #s(literal 2 binary64) %467)
(fma.f64 %273 #s(literal 2 binary64) %469)
(fma.f64 %273 #s(literal 2 binary64) %471)
(fma.f64 %109 #s(literal 2 binary64) %473)
(fma.f64 %109 #s(literal 2 binary64) %475)
(fma.f64 %109 #s(literal 2 binary64) %477)
(fma.f64 %25 #s(literal 1/2 binary64) %418)
(fma.f64 %25 #s(literal 1/2 binary64) %402)
(fma.f64 %311 %5 %323)
(fma.f64 %311 %5 #s(literal 0 binary64))
(fma.f64 %361 %19 %323)
(fma.f64 %361 %19 #s(literal 0 binary64))
(fma.f64 %27 #s(literal 1/2 binary64) %418)
(fma.f64 %27 #s(literal 1/2 binary64) %402)
(fma.f64 %216 #s(literal 1/2 binary64) %436)
(fma.f64 %216 #s(literal 1/2 binary64) %399)
(fma.f64 #s(literal 1/4 binary64) %10 %473)
(fma.f64 #s(literal 1/4 binary64) %10 %475)
(fma.f64 #s(literal 1/4 binary64) %10 %477)
(fma.f64 #s(literal 1/4 binary64) %210 %467)
(fma.f64 #s(literal 1/4 binary64) %210 %469)
(fma.f64 #s(literal 1/4 binary64) %210 %471)
(fma.f64 %115 %209 %213)
(fma.f64 %277 %9 %22)
(fma.f64 %10 %299 %9)
(fma.f64 %10 #s(literal 1/4 binary64) %473)
(fma.f64 %10 #s(literal 1/4 binary64) %475)
(fma.f64 %10 #s(literal 1/4 binary64) %477)
(fma.f64 %10 %213 %323)
(fma.f64 %10 %213 #s(literal 0 binary64))
(fma.f64 %10 #s(literal 1/2 binary64) %418)
(fma.f64 %10 #s(literal 1/2 binary64) %402)
(fma.f64 %5 %505 %9)
(fma.f64 %5 %364 %323)
(fma.f64 %5 %364 #s(literal 0 binary64))
(fma.f64 %5 #s(literal -1/2 binary64) %418)
(fma.f64 %5 #s(literal -1/2 binary64) %402)
(fma.f64 %22 %292 %9)
(fma.f64 %22 %210 %323)
(fma.f64 %22 %210 #s(literal 0 binary64))
(fma.f64 %22 #s(literal 2 binary64) %418)
(fma.f64 %22 #s(literal 2 binary64) %402)
(fma.f64 %22 %209 %378)
(fma.f64 %22 #s(literal 1 binary64) %473)
(fma.f64 %22 #s(literal 1 binary64) %475)
(fma.f64 %22 #s(literal 1 binary64) %477)
(fma.f64 %213 %140 %209)
(fma.f64 %213 %10 %323)
(fma.f64 %213 %10 #s(literal 0 binary64))
(fma.f64 %213 #s(literal 2 binary64) %436)
(fma.f64 %213 #s(literal 2 binary64) %399)
(fma.f64 %213 %9 %380)
(fma.f64 %213 #s(literal 1 binary64) %467)
(fma.f64 %213 #s(literal 1 binary64) %469)
(fma.f64 %213 #s(literal 1 binary64) %471)
(fma.f64 %19 %529 %9)
(fma.f64 %19 %261 %323)
(fma.f64 %19 %261 #s(literal 0 binary64))
(fma.f64 %19 #s(literal -2 binary64) %418)
(fma.f64 %19 #s(literal -2 binary64) %402)
(fma.f64 %19 %222 %376)
(fma.f64 #s(literal -1/2 binary64) %5 %418)
(fma.f64 #s(literal -1/2 binary64) %5 %402)
(fma.f64 %132 %213 %209)
(fma.f64 %132 #s(literal 1/2 binary64) %465)
(fma.f64 %210 %149 %209)
(fma.f64 %210 #s(literal 1/4 binary64) %467)
(fma.f64 %210 #s(literal 1/4 binary64) %469)
(fma.f64 %210 #s(literal 1/4 binary64) %471)
(fma.f64 %210 %22 %323)
(fma.f64 %210 %22 #s(literal 0 binary64))
(fma.f64 %210 #s(literal 1/2 binary64) %436)
(fma.f64 %210 #s(literal 1/2 binary64) %399)
(fma.f64 %288 %22 %9)
(fma.f64 %288 #s(literal 1/2 binary64) %460)
(fma.f64 %287 %19 %9)
(fma.f64 #s(literal 4 binary64) %34 %418)
(fma.f64 #s(literal 4 binary64) %34 %402)
(fma.f64 #s(literal 4 binary64) %220 %436)
(fma.f64 #s(literal 4 binary64) %220 %399)
(fma.f64 %399 #s(literal 1 binary64) %209)
(fma.f64 %402 #s(literal 1 binary64) %9)
(fma.f64 #s(literal -2 binary64) %19 %418)
(fma.f64 #s(literal -2 binary64) %19 %402)
(fma.f64 #s(literal -1 binary64) %15 %418)
(fma.f64 #s(literal -1 binary64) %15 %402)
(fma.f64 #s(literal -1 binary64) %222 %436)
(fma.f64 #s(literal -1 binary64) %222 %399)
(fma.f64 #s(literal 1/2 binary64) %38 %418)
(fma.f64 #s(literal 1/2 binary64) %38 %402)
(fma.f64 #s(literal 1/2 binary64) %370 %323)
(fma.f64 #s(literal 1/2 binary64) %370 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %372 %323)
(fma.f64 #s(literal 1/2 binary64) %372 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %374 %323)
(fma.f64 #s(literal 1/2 binary64) %374 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %571 %9)
(fma.f64 #s(literal 1/2 binary64) %573 %9)
(fma.f64 #s(literal 1/2 binary64) %575 %209)
(fma.f64 #s(literal 1/2 binary64) %140 %465)
(fma.f64 #s(literal 1/2 binary64) %292 %460)
(fma.f64 #s(literal 1/2 binary64) %40 %418)
(fma.f64 #s(literal 1/2 binary64) %40 %402)
(fma.f64 #s(literal 1/2 binary64) %10 %418)
(fma.f64 #s(literal 1/2 binary64) %10 %402)
(fma.f64 #s(literal 1/2 binary64) %210 %436)
(fma.f64 #s(literal 1/2 binary64) %210 %399)
(fma.f64 #s(literal 1/2 binary64) %209 %467)
(fma.f64 #s(literal 1/2 binary64) %209 %469)
(fma.f64 #s(literal 1/2 binary64) %209 %471)
(fma.f64 #s(literal 1/2 binary64) %9 %473)
(fma.f64 #s(literal 1/2 binary64) %9 %475)
(fma.f64 #s(literal 1/2 binary64) %9 %477)
(fma.f64 #s(literal 2 binary64) %43 %418)
(fma.f64 #s(literal 2 binary64) %43 %402)
(fma.f64 #s(literal 2 binary64) %214 %467)
(fma.f64 #s(literal 2 binary64) %214 %469)
(fma.f64 #s(literal 2 binary64) %214 %471)
(fma.f64 #s(literal 2 binary64) %23 %473)
(fma.f64 #s(literal 2 binary64) %23 %475)
(fma.f64 #s(literal 2 binary64) %23 %477)
(fma.f64 #s(literal 2 binary64) %376 %323)
(fma.f64 #s(literal 2 binary64) %376 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %378 %323)
(fma.f64 #s(literal 2 binary64) %378 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %380 %323)
(fma.f64 #s(literal 2 binary64) %380 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %605 %9)
(fma.f64 #s(literal 2 binary64) %607 %9)
(fma.f64 #s(literal 2 binary64) %299 %460)
(fma.f64 #s(literal 2 binary64) %610 %209)
(fma.f64 #s(literal 2 binary64) %149 %465)
(fma.f64 #s(literal 2 binary64) %45 %418)
(fma.f64 #s(literal 2 binary64) %45 %402)
(fma.f64 #s(literal 2 binary64) %22 %418)
(fma.f64 #s(literal 2 binary64) %22 %402)
(fma.f64 #s(literal 2 binary64) %213 %436)
(fma.f64 #s(literal 2 binary64) %213 %399)
(fma.f64 %68 %209 %209)
(fma.f64 %68 #s(literal 1 binary64) %465)
(fma.f64 %242 %9 %9)
(fma.f64 %242 #s(literal 1 binary64) %460)
(fma.f64 %15 #s(literal -1 binary64) %418)
(fma.f64 %15 #s(literal -1 binary64) %402)
(fma.f64 %15 %222 %323)
(fma.f64 %15 %222 #s(literal 0 binary64))
(fma.f64 %15 y %9)
(fma.f64 %222 %19 %354)
(fma.f64 %222 #s(literal -1 binary64) %436)
(fma.f64 %222 #s(literal -1 binary64) %399)
(fma.f64 %222 %15 %323)
(fma.f64 %222 %15 #s(literal 0 binary64))
(fma.f64 %222 x %209)
(fma.f64 %384 #s(literal 1 binary64) %323)
(fma.f64 %384 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %209 %115 %213)
(fma.f64 %209 %22 %356)
(fma.f64 %209 #s(literal 1/2 binary64) %467)
(fma.f64 %209 #s(literal 1/2 binary64) %469)
(fma.f64 %209 #s(literal 1/2 binary64) %471)
(fma.f64 %209 %68 %209)
(fma.f64 %209 %9 %323)
(fma.f64 %209 %9 #s(literal 0 binary64))
(fma.f64 %209 #s(literal 1 binary64) %436)
(fma.f64 %209 #s(literal 1 binary64) %399)
(fma.f64 y %15 %9)
(fma.f64 %9 %277 %22)
(fma.f64 %9 %213 %358)
(fma.f64 %9 #s(literal 1/2 binary64) %473)
(fma.f64 %9 #s(literal 1/2 binary64) %475)
(fma.f64 %9 #s(literal 1/2 binary64) %477)
(fma.f64 %9 %242 %9)
(fma.f64 %9 %209 %323)
(fma.f64 %9 %209 #s(literal 0 binary64))
(fma.f64 %9 #s(literal 1 binary64) %418)
(fma.f64 %9 #s(literal 1 binary64) %402)
(fma.f64 #s(literal 1 binary64) %22 %473)
(fma.f64 #s(literal 1 binary64) %22 %475)
(fma.f64 #s(literal 1 binary64) %22 %477)
(fma.f64 #s(literal 1 binary64) %213 %467)
(fma.f64 #s(literal 1 binary64) %213 %469)
(fma.f64 #s(literal 1 binary64) %213 %471)
(fma.f64 #s(literal 1 binary64) %399 %209)
(fma.f64 #s(literal 1 binary64) %402 %9)
(fma.f64 #s(literal 1 binary64) %68 %465)
(fma.f64 #s(literal 1 binary64) %242 %460)
(fma.f64 #s(literal 1 binary64) %384 %323)
(fma.f64 #s(literal 1 binary64) %384 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %209 %436)
(fma.f64 #s(literal 1 binary64) %209 %399)
(fma.f64 #s(literal 1 binary64) %9 %418)
(fma.f64 #s(literal 1 binary64) %9 %402)
(fma.f64 x %222 %209)
(-.f64 (-.f64 %9 %674) y)
(-.f64 %677 %674)
(-.f64 %677 %679)
(-.f64 (-.f64 %9 %679) y)
(-.f64 %399 %222)
(-.f64 %402 %15)
(-.f64 %68 (+.f64 #s(literal -1 binary64) %417))
(-.f64 %242 (+.f64 #s(literal -1 binary64) %435))
(-.f64 %209 %435)
(-.f64 %9 %417)
(-.f64 #s(literal 1 binary64) (+.f64 y %435))
(-.f64 #s(literal 1 binary64) (+.f64 x %417))
(+.f64 %354 %354)
(+.f64 (*.f64 %209 %115) %213)
(+.f64 %356 %356)
(+.f64 (*.f64 %9 %277) %22)
(+.f64 %358 %358)
(+.f64 %376 %376)
(+.f64 (*.f64 %115 %209) %213)
(+.f64 %378 %378)
(+.f64 (*.f64 %277 %9) %22)
(+.f64 %380 %380)
(+.f64 %115 (-.f64 #s(literal 1/2 binary64) %417))
(+.f64 %277 (-.f64 #s(literal 1/2 binary64) %435))
(+.f64 %22 %473)
(+.f64 %22 %475)
(+.f64 %22 %477)
(+.f64 %213 %467)
(+.f64 %213 %469)
(+.f64 %213 %471)
(+.f64 %399 %209)
(+.f64 %402 %9)
(+.f64 #s(literal 1/2 binary64) (-.f64 %338 %435))
(+.f64 #s(literal 1/2 binary64) (-.f64 %196 %417))
(+.f64 %68 %465)
(+.f64 %242 %460)
(+.f64 %384 %323)
(+.f64 %384 #s(literal 0 binary64))
(+.f64 %209 %436)
(+.f64 %209 %399)
(+.f64 %9 %418)
(+.f64 %9 %402)
(+.f64 #s(literal 1 binary64) (-.f64 %242 %435))
(+.f64 #s(literal 1 binary64) (-.f64 %68 %417))
(*.f64 #s(literal 1 binary64) %737)
(pow.f64 %737 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %737 #s(literal -1 binary64)))
(neg.f64 (-.f64 %415 x))
(fma.f64 %6 #s(literal 1/2 binary64) %744)
(fma.f64 %348 #s(literal 1/2 binary64) x)
(fma.f64 %350 #s(literal 1/2 binary64) x)
(fma.f64 %352 #s(literal 1/2 binary64) x)
(fma.f64 %427 #s(literal 1/2 binary64) %749)
(fma.f64 %429 #s(literal 1/2 binary64) %749)
(fma.f64 %431 #s(literal 1/2 binary64) %752)
(fma.f64 %12 #s(literal 4 binary64) %744)
(fma.f64 %211 #s(literal 4 binary64) %755)
(fma.f64 %17 #s(literal 2 binary64) %744)
(fma.f64 %20 #s(literal 2 binary64) %744)
(fma.f64 %354 #s(literal 2 binary64) x)
(fma.f64 %356 #s(literal 2 binary64) x)
(fma.f64 %358 #s(literal 2 binary64) x)
(fma.f64 %449 #s(literal 2 binary64) %749)
(fma.f64 %451 #s(literal 2 binary64) %749)
(fma.f64 %453 %5 %749)
(fma.f64 %455 #s(literal 2 binary64) %752)
(fma.f64 %214 #s(literal 4 binary64) %755)
(fma.f64 %271 %10 %749)
(fma.f64 %23 #s(literal 4 binary64) %744)
(fma.f64 %107 %210 %752)
(fma.f64 %25 #s(literal 1/2 binary64) %744)
(fma.f64 %311 %5 x)
(fma.f64 %361 %19 x)
(fma.f64 %27 #s(literal 1/2 binary64) %744)
(fma.f64 %216 #s(literal 1/2 binary64) %755)
(fma.f64 %10 %299 %749)
(fma.f64 %10 %213 x)
(fma.f64 %10 #s(literal 1/2 binary64) %744)
(fma.f64 %5 %505 %749)
(fma.f64 %5 %364 x)
(fma.f64 %5 #s(literal -1/2 binary64) %744)
(fma.f64 %22 %292 %749)
(fma.f64 %22 %210 x)
(fma.f64 %22 #s(literal 2 binary64) %744)
(fma.f64 %213 %140 %752)
(fma.f64 %213 %10 x)
(fma.f64 %213 #s(literal 2 binary64) %755)
(fma.f64 %19 %529 %749)
(fma.f64 %19 %261 x)
(fma.f64 %19 #s(literal -2 binary64) %744)
(fma.f64 #s(literal -1/2 binary64) %5 %744)
(fma.f64 %132 %213 %752)
(fma.f64 %210 %149 %752)
(fma.f64 %210 %22 x)
(fma.f64 %210 #s(literal 1/2 binary64) %755)
(fma.f64 %288 %22 %749)
(fma.f64 %287 %19 %749)
(fma.f64 #s(literal 4 binary64) %34 %744)
(fma.f64 #s(literal 4 binary64) %220 %755)
(fma.f64 %399 #s(literal 1 binary64) %752)
(fma.f64 %402 #s(literal 1 binary64) %749)
(fma.f64 #s(literal -2 binary64) %19 %744)
(fma.f64 #s(literal -1 binary64) %15 %744)
(fma.f64 #s(literal -1 binary64) %222 %755)
(fma.f64 #s(literal 1/2 binary64) %38 %744)
(fma.f64 #s(literal 1/2 binary64) %370 x)
(fma.f64 #s(literal 1/2 binary64) %372 x)
(fma.f64 #s(literal 1/2 binary64) %374 x)
(fma.f64 #s(literal 1/2 binary64) %571 %749)
(fma.f64 #s(literal 1/2 binary64) %573 %749)
(fma.f64 #s(literal 1/2 binary64) %575 %752)
(fma.f64 #s(literal 1/2 binary64) %40 %744)
(fma.f64 #s(literal 1/2 binary64) %10 %744)
(fma.f64 #s(literal 1/2 binary64) %210 %755)
(fma.f64 #s(literal 2 binary64) %43 %744)
(fma.f64 #s(literal 2 binary64) %376 x)
(fma.f64 #s(literal 2 binary64) %378 x)
(fma.f64 #s(literal 2 binary64) %380 x)
(fma.f64 #s(literal 2 binary64) %605 %749)
(fma.f64 #s(literal 2 binary64) %607 %749)
(fma.f64 #s(literal 2 binary64) %610 %752)
(fma.f64 #s(literal 2 binary64) %45 %744)
(fma.f64 #s(literal 2 binary64) %22 %744)
(fma.f64 #s(literal 2 binary64) %213 %755)
(fma.f64 %68 %209 %752)
(fma.f64 %242 %9 %749)
(fma.f64 %15 #s(literal -1 binary64) %744)
(fma.f64 %15 %222 x)
(fma.f64 %15 y %749)
(fma.f64 %222 #s(literal -1 binary64) %755)
(fma.f64 %222 %15 x)
(fma.f64 %222 x %752)
(fma.f64 %384 #s(literal 1 binary64) x)
(fma.f64 %209 %68 %752)
%737
(fma.f64 %209 #s(literal 1 binary64) %755)
(fma.f64 y %15 %749)
(fma.f64 %9 %242 %749)
(fma.f64 %9 %209 x)
(fma.f64 %9 #s(literal 1 binary64) %744)
(fma.f64 #s(literal 1 binary64) %399 %752)
(fma.f64 #s(literal 1 binary64) %402 %749)
(fma.f64 #s(literal 1 binary64) %384 x)
(fma.f64 #s(literal 1 binary64) %209 %755)
(fma.f64 #s(literal 1 binary64) %9 %744)
(fma.f64 x %222 %752)
(-.f64 (-.f64 %845 %674) y)
(-.f64 %848 %674)
(-.f64 %848 %679)
(-.f64 (-.f64 %845 %679) y)
(-.f64 (-.f64 x %435) %222)
(-.f64 (-.f64 x %417) %15)
(-.f64 %857 %435)
(-.f64 %845 %417)
(-.f64 %384 %68)
(-.f64 %209 (fma.f64 %209 x %68))
(-.f64 %209 (neg.f64 %755))
(-.f64 %9 (neg.f64 %744))
(-.f64 %9 (-.f64 %417 x))
(-.f64 x %415)
(+.f64 %857 %399)
(+.f64 %845 %402)
(+.f64 %399 %752)
(+.f64 %402 %749)
(+.f64 %384 x)
(+.f64 %209 %755)
(+.f64 %9 %744)
(+.f64 x %384)
reconstruct56.0ms (3.6%)
Counts
702 → 56
Compiler
Compiled 702 to 936 computations (-33.3% saved)
eval5.0ms (0.3%)
Compiler
Compiled 51 to 171 computations (-235.3% saved)
prune2.0ms (0.1%)
Pruning
6 alts after pruning (6 fresh and 0 done)
PrunedKeptTotal
New45651
Fresh000
Picked101
Done000
Total46652
Accuracy
100.0%
Counts
52 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶78.5%
(fma.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y) x)
▶64.1%
%22 = (approx x #s(literal 0 binary64))
(+.f64 %22 (*.f64 (-.f64 #s(literal 1 binary64) %22) (-.f64 #s(literal 1 binary64) y)))
▶50.9%
(+.f64 x (approx (* (- 1 x) (- 1 y)) (-.f64 #s(literal 1 binary64) y)))
▶27.5%
(+.f64 x (approx (* (- 1 x) (- 1 y)) (-.f64 #s(literal 1 binary64) x)))
▶100.0%
(approx (+ x (* (- 1 x) (- 1 y))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) x)))))
▶37.6%
(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 x y))
Compiler
Compiled 6 to 17 computations (-183.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series15.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0131627
Stop Event
1×iter-limit
Counts
22 → 41
Calls
Call 1
Inputs
%2 = (-.f64 #s(literal 1 binary64) x)
%4 = (-.f64 #s(literal 1 binary64) y)
%6 = (approx x #s(literal 0 binary64))
%11 = (* (- 1 x) (- 1 y))
%12 = (approx %11 %4)
%13 = (*.f64 x y)
%14 = (+ x %11)
%16 = (approx %11 %2)
%17 = (*.f64 y %2)
%18 = (*.f64 #s(literal -1 binary64) %17)
%19 = (+.f64 #s(literal 1 binary64) %18)
%22 = (-.f64 #s(literal 1 binary64) %6)
%23 = (*.f64 %22 %4)
x
#s(literal 1 binary64)
%2
y
%4
#s(literal 0 binary64)
%6
#s(literal -1 binary64)
%12
%13
(approx %14 %13)
%16
%17
%18
%19
(approx %14 %19)
(fma.f64 %2 %4 x)
%22
%23
(+.f64 %6 %23)
(+.f64 x %16)
(+.f64 x %12)
Outputs
%5 = (- 1 x)
%9 = (*.f64 #s(literal -1 binary64) x)
%13 = (- 1 y)
%14 = (* %5 %13)
%15 = (-.f64 #s(literal 1 binary64) y)
%18 = (*.f64 #s(literal -1 binary64) (*.f64 x %15))
%23 = (*.f64 x y)
%25 = (+ x %14)
%28 = (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %15)))
%32 = (* y %5)
%34 = (*.f64 #s(literal -1 binary64) %23)
%38 = (* -1 %32)
%39 = (*.f64 #s(literal -1 binary64) y)
%41 = (fma.f64 #s(literal -1 binary64) y %23)
%43 = (+ 1 %38)
%44 = (+.f64 #s(literal 1 binary64) %39)
%49 = (/.f64 #s(literal 1 binary64) x)
%54 = (fma.f64 #s(literal -1 binary64) %15 %49)
%55 = (/.f64 y x)
%66 = (*.f64 x (fma.f64 #s(literal -1 binary64) y %55))
%70 = (*.f64 x (+.f64 y (*.f64 #s(literal -1 binary64) %55)))
%81 = (*.f64 #s(literal -1 binary64) (/.f64 %15 x))
%101 = (-.f64 #s(literal 1 binary64) x)
%103 = (*.f64 y %101)
%104 = (*.f64 #s(literal -1 binary64) %103)
%105 = (+.f64 #s(literal 1 binary64) %104)
%111 = (/.f64 #s(literal 1 binary64) y)
%115 = (fma.f64 #s(literal -1 binary64) %101 %111)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) %9))
(approx %14 %15)
(approx %14 (-.f64 (+.f64 #s(literal 1 binary64) %18) y))
(approx (* x y) %23)
(approx %25 (-.f64 (+.f64 #s(literal 1 binary64) %28) y))
(approx %32 y)
(approx %32 (+.f64 y %34))
(approx %38 %39)
(approx %38 %41)
(approx %43 %44)
(approx %43 (+.f64 #s(literal 1 binary64) %41))
(approx %5 %9)
(approx %5 (*.f64 x (-.f64 %49 #s(literal 1 binary64))))
(approx %14 %18)
(approx %14 (*.f64 x (-.f64 %54 %55)))
(approx %25 %28)
(approx %25 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %54) %55)))
(approx %32 %34)
(approx %32 %66)
(approx %38 %70)
(approx %43 (*.f64 x (+.f64 y (fma.f64 #s(literal -1 binary64) %55 %49))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %49))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %81) y))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %81 y))))
(approx %32 (*.f64 #s(literal -1 binary64) %70))
(approx %38 (*.f64 #s(literal -1 binary64) %66))
(approx %43 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 %44 x))))))
(approx %14 %101)
(approx %14 (-.f64 %105 x))
(approx %25 %105)
(approx %32 %103)
(approx %38 %104)
(approx %13 (*.f64 y (-.f64 %111 #s(literal 1 binary64))))
(approx %14 (*.f64 y (-.f64 %115 (/.f64 x y))))
(approx %25 (*.f64 y %115))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %111))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %101 y))) x))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) (+.f64 x %111)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
y
inf
2.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
-inf
1.0ms
x
0
rewrite83.0ms (5.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
026153
038148
1112145
2364145
31454145
04024145
04284142
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
22 → 825
Calls
Call 1
Inputs
%2 = (-.f64 #s(literal 1 binary64) x)
%4 = (-.f64 #s(literal 1 binary64) y)
%6 = (approx x #s(literal 0 binary64))
%11 = (* (- 1 x) (- 1 y))
%12 = (approx %11 %4)
%13 = (*.f64 x y)
%14 = (+ x %11)
%16 = (approx %11 %2)
%17 = (*.f64 y %2)
%18 = (*.f64 #s(literal -1 binary64) %17)
%19 = (+.f64 #s(literal 1 binary64) %18)
%22 = (-.f64 #s(literal 1 binary64) %6)
%23 = (*.f64 %22 %4)
x
#s(literal 1 binary64)
%2
y
%4
#s(literal 0 binary64)
%6
#s(literal -1 binary64)
%12
%13
(approx %14 %13)
%16
%17
%18
%19
(approx %14 %19)
(fma.f64 %2 %4 x)
%22
%23
(+.f64 %6 %23)
(+.f64 x %16)
(+.f64 x %12)
Outputs
%2 = (-.f64 #s(literal 1 binary64) x)
%4 = (*.f64 %2 #s(literal 2 binary64))
%7 = (*.f64 %2 #s(literal 1/2 binary64))
%9 = (*.f64 #s(literal 2 binary64) %2)
%11 = (*.f64 #s(literal 1/2 binary64) %2)
%33 = (neg.f64 x)
%34 = (fma.f64 %33 #s(literal 2 binary64) #s(literal 2 binary64))
%41 = (E.f64 )
%43 = (*.f64 #s(literal 2 binary64) %41)
%62 = (*.f64 %41 #s(literal 2 binary64))
%116 = (-.f64 x #s(literal 1 binary64))
%118 = (*.f64 %2 #s(literal 0 binary64))
%120 = (*.f64 #s(literal 0 binary64) %2)
%147 = (*.f64 %33 #s(literal 1 binary64))
%164 = (-.f64 #s(literal 1 binary64) y)
%165 = (*.f64 %164 #s(literal 2 binary64))
%167 = (*.f64 %164 #s(literal 1/2 binary64))
%169 = (*.f64 #s(literal 2 binary64) %164)
%171 = (*.f64 #s(literal 1/2 binary64) %164)
%176 = (neg.f64 y)
%177 = (*.f64 #s(literal 2 binary64) %176)
%188 = (*.f64 %176 #s(literal 2 binary64))
%211 = (fma.f64 %176 #s(literal 2 binary64) #s(literal 2 binary64))
%260 = (*.f64 y #s(literal 2 binary64))
%264 = (*.f64 #s(literal 2 binary64) y)
%365 = (-.f64 y #s(literal 1 binary64))
%371 = (*.f64 y #s(literal -2 binary64))
%373 = (*.f64 %164 #s(literal 0 binary64))
%375 = (*.f64 #s(literal 0 binary64) %164)
%381 = (*.f64 %176 #s(literal 1/2 binary64))
%384 = (*.f64 #s(literal 1/2 binary64) y)
%395 = (*.f64 #s(literal 1/2 binary64) %176)
%425 = (approx x #s(literal 0 binary64))
%430 = (neg.f64 %425)
%435 = (* (- 1 y) (- 1 x))
%436 = (approx %435 %164)
%441 = (neg.f64 %436)
%443 = (*.f64 y x)
%449 = (+ %435 x)
%450 = (approx %449 %443)
%455 = (approx %435 %2)
%460 = (neg.f64 %455)
%462 = (*.f64 y %116)
%463 = (*.f64 %462 #s(literal -2 binary64))
%465 = (*.f64 #s(literal -1 binary64) %116)
%467 = (*.f64 %116 #s(literal -1 binary64))
%469 = (*.f64 y %2)
%470 = (*.f64 %469 #s(literal 2 binary64))
%472 = (*.f64 %384 %2)
%474 = (*.f64 #s(literal 1/2 binary64) %462)
%478 = (*.f64 #s(literal 2 binary64) %469)
%503 = (*.f64 %478 #s(literal -2 binary64))
%505 = (*.f64 %478 #s(literal 2 binary64))
%509 = (*.f64 %470 #s(literal -2 binary64))
%511 = (*.f64 %470 #s(literal 2 binary64))
%513 = (*.f64 %116 #s(literal 2 binary64))
%516 = (*.f64 #s(literal 2 binary64) %116)
%520 = (-.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 2 binary64))
%553 = (*.f64 %41 %478)
%555 = (*.f64 %41 %470)
%557 = (*.f64 #s(literal -2 binary64) %478)
%559 = (*.f64 #s(literal -2 binary64) %470)
%561 = (*.f64 #s(literal 2 binary64) %478)
%563 = (*.f64 #s(literal 2 binary64) %470)
%569 = (*.f64 #s(literal 1 binary64) %478)
%571 = (*.f64 #s(literal 1 binary64) %470)
%577 = (*.f64 #s(literal 4 binary64) %478)
%579 = (*.f64 #s(literal 4 binary64) %470)
%590 = (*.f64 %469 #s(literal 0 binary64))
%592 = (*.f64 #s(literal 0 binary64) %469)
%639 = (*.f64 y %33)
%644 = (neg.f64 %639)
%647 = (*.f64 %176 x)
%649 = (*.f64 x %176)
%661 = (neg.f64 %644)
%666 = (*.f64 %469 #s(literal -2 binary64))
%669 = (*.f64 %472 #s(literal -1 binary64))
%671 = (neg.f64 %472)
%780 = (-.f64 #s(literal 1/2 binary64) %472)
%782 = (fma.f64 y %116 #s(literal 1 binary64))
%785 = (fma.f64 %462 #s(literal 2 binary64) #s(literal 2 binary64))
%820 = (fma.f64 %176 %33 #s(literal 1 binary64))
%822 = (-.f64 %644 #s(literal -1 binary64))
%880 = (approx %449 %782)
%885 = (fma.f64 %164 %2 x)
%890 = (*.f64 %116 %164)
%893 = (fma.f64 y %116 x)
%895 = (-.f64 %462 %33)
%897 = (fma.f64 %33 %164 x)
%899 = (*.f64 %33 %164)
%900 = (-.f64 %899 %33)
%921 = (*.f64 %164 %2)
%941 = (-.f64 #s(literal 1 binary64) %425)
%942 = (*.f64 %941 #s(literal 2 binary64))
%944 = (*.f64 %941 #s(literal 1/2 binary64))
%946 = (*.f64 #s(literal 2 binary64) %941)
%948 = (*.f64 #s(literal 1/2 binary64) %941)
%965 = (fma.f64 %430 #s(literal 2 binary64) #s(literal 2 binary64))
%1043 = (*.f64 #s(literal -1 binary64) %941)
%1045 = (*.f64 %941 #s(literal -1 binary64))
%1047 = (-.f64 %425 #s(literal 1 binary64))
%1049 = (*.f64 %941 #s(literal 0 binary64))
%1051 = (*.f64 #s(literal 0 binary64) %941)
%1078 = (*.f64 %430 #s(literal 1 binary64))
%1096 = (*.f64 %941 %164)
%1100 = (*.f64 %1047 #s(literal 2 binary64))
%1101 = (-.f64 %260 #s(literal 2 binary64))
%1104 = (*.f64 #s(literal 2 binary64) %1047)
%1108 = (-.f64 (*.f64 %425 #s(literal 2 binary64)) #s(literal 2 binary64))
%1155 = (*.f64 %1047 %164)
%1157 = (*.f64 %176 %941)
%1159 = (*.f64 %430 %164)
%1167 = (*.f64 #s(literal -1 binary64) %1047)
%1175 = (*.f64 %1047 #s(literal -1 binary64))
%1179 = (*.f64 y %941)
%1188 = (fma.f64 %176 %425 y)
%1204 = (fma.f64 %941 %164 %425)
%1213 = (fma.f64 %176 %941 %425)
%1215 = (-.f64 %1157 %430)
%1217 = (fma.f64 %430 %164 %425)
%1219 = (-.f64 %1159 %430)
%1260 = (+.f64 %455 x)
%1273 = (+.f64 %436 x)
x
#s(literal 1 binary64)
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %7 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %9)
(*.f64 #s(literal 2 binary64) %11)
(*.f64 %2 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %2)
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 (fma.f64 %4 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %4 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %9 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %9 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %9 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %34 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %34 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %34 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %41) %43)
(/.f64 (*.f64 %4 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %4 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %9 %41) %43)
(/.f64 (*.f64 %9 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %9 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %34 %41) %43)
(/.f64 (*.f64 %34 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %34 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %41 %4) %62)
(/.f64 (*.f64 %41 %9) %62)
(/.f64 (*.f64 %41 %34) %62)
(/.f64 (*.f64 #s(literal 4 binary64) %4) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %9) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %34) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %4) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %9) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %34) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %4) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %9) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %34) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %4) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %9) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %34) #s(literal 4 binary64))
(/.f64 (*.f64 %4 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %4 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %9 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %9 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %34 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %34 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %4) #s(literal -2 binary64))
(/.f64 (neg.f64 %9) #s(literal -2 binary64))
(/.f64 (neg.f64 %34) #s(literal -2 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 %9 #s(literal 2 binary64))
(/.f64 %34 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %116)
(fma.f64 %4 #s(literal 1/2 binary64) %118)
(fma.f64 %4 #s(literal 1/2 binary64) %120)
(fma.f64 %4 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %7 #s(literal 2 binary64) %118)
(fma.f64 %7 #s(literal 2 binary64) %120)
(fma.f64 %7 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %9 %118)
(fma.f64 #s(literal 1/2 binary64) %9 %120)
(fma.f64 #s(literal 1/2 binary64) %9 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %2 %11)
(fma.f64 #s(literal 2 binary64) %11 %118)
(fma.f64 #s(literal 2 binary64) %11 %120)
(fma.f64 #s(literal 2 binary64) %11 #s(literal 0 binary64))
(fma.f64 %33 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %2 #s(literal 1/2 binary64) %7)
(fma.f64 %2 #s(literal 1 binary64) %118)
(fma.f64 %2 #s(literal 1 binary64) %120)
(fma.f64 %2 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %33 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %2 %118)
(fma.f64 #s(literal 1 binary64) %2 %120)
(fma.f64 #s(literal 1 binary64) %2 #s(literal 0 binary64))
(-.f64 %33 #s(literal -1 binary64))
%2
(+.f64 (+.f64 %33 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %7 %7)
(+.f64 %11 %11)
(+.f64 %147 #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %33))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) x))
(+.f64 %33 #s(literal 1 binary64))
(+.f64 %2 %118)
(+.f64 %2 %120)
(+.f64 %2 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %33))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) x))
(+.f64 #s(literal 1 binary64) %147)
(+.f64 #s(literal 1 binary64) %33)
y
(*.f64 %165 #s(literal 1/2 binary64))
(*.f64 %167 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %169)
(*.f64 #s(literal 2 binary64) %171)
(*.f64 %164 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %164)
(pow.f64 %164 #s(literal 1 binary64))
(/.f64 (fma.f64 %177 %41 %43) %43)
(/.f64 (fma.f64 %177 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %177 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %177 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %177 #s(literal 1 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %188 %41 %43) %43)
(/.f64 (fma.f64 %188 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %188 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %188 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %188 #s(literal 1 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %165 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %165 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %165 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %169 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %169 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %169 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %211 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %211 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %211 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %41 #s(literal 2 binary64) (*.f64 %41 %177)) %62)
(/.f64 (fma.f64 %41 #s(literal 2 binary64) (*.f64 %41 %188)) %62)
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %177)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %188)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %177)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %188)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %177)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %188)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %177)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %188)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %177 #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %177 #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %188 #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %188 #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %62 (*.f64 %41 %260)) %62)
(/.f64 (-.f64 %62 (*.f64 %41 %264)) %62)
(/.f64 (-.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %260)) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %264)) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %260)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %264)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %260)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %264)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %260)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %264)) #s(literal 2 binary64))
(/.f64 (*.f64 %165 %41) %43)
(/.f64 (*.f64 %165 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %165 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %165 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %165 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %169 %41) %43)
(/.f64 (*.f64 %169 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %169 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %169 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %169 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %211 %41) %43)
(/.f64 (*.f64 %211 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %211 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %211 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %211 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %41 %165) %62)
(/.f64 (*.f64 %41 %169) %62)
(/.f64 (*.f64 %41 %211) %62)
(/.f64 (*.f64 #s(literal 4 binary64) %165) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %169) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %211) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %165) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %169) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %211) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %165) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %169) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %211) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %165) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %169) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %211) #s(literal 4 binary64))
(/.f64 (neg.f64 %165) #s(literal -2 binary64))
(/.f64 (neg.f64 %169) #s(literal -2 binary64))
(/.f64 (neg.f64 %211) #s(literal -2 binary64))
(/.f64 %165 #s(literal 2 binary64))
(/.f64 %169 #s(literal 2 binary64))
(/.f64 %211 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %164 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %164))
(neg.f64 (*.f64 %365 #s(literal 1 binary64)))
(neg.f64 (*.f64 %164 #s(literal -1 binary64)))
(neg.f64 %365)
(fma.f64 %371 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %165 #s(literal 1/2 binary64) %373)
(fma.f64 %165 #s(literal 1/2 binary64) %375)
(fma.f64 %165 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %167 #s(literal 2 binary64) %373)
(fma.f64 %167 #s(literal 2 binary64) %375)
(fma.f64 %167 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %381 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %188 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %384 #s(literal 1 binary64))
(fma.f64 y #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %169 %373)
(fma.f64 #s(literal 1/2 binary64) %169 %375)
(fma.f64 #s(literal 1/2 binary64) %169 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %177 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %164 %171)
(fma.f64 #s(literal 2 binary64) %171 %373)
(fma.f64 #s(literal 2 binary64) %171 %375)
(fma.f64 #s(literal 2 binary64) %171 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %395 #s(literal 1 binary64))
(fma.f64 %176 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) y #s(literal 1 binary64))
(fma.f64 %164 #s(literal 1/2 binary64) %167)
(fma.f64 %164 #s(literal 1 binary64) %373)
(fma.f64 %164 #s(literal 1 binary64) %375)
(fma.f64 %164 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %176 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %164 %373)
(fma.f64 #s(literal 1 binary64) %164 %375)
(fma.f64 #s(literal 1 binary64) %164 #s(literal 0 binary64))
(-.f64 %176 #s(literal -1 binary64))
%164
(+.f64 (+.f64 %176 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %167 %167)
(+.f64 %171 %171)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %176))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) y))
(+.f64 %176 #s(literal 1 binary64))
(+.f64 %164 %373)
(+.f64 %164 %375)
(+.f64 %164 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %176))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) y))
(+.f64 #s(literal 1 binary64) %176)
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %425)
(pow.f64 %425 #s(literal 1 binary64))
%425
(/.f64 #s(literal 1 binary64) (pow.f64 %425 #s(literal -1 binary64)))
(neg.f64 %430)
#s(literal -1 binary64)
(*.f64 #s(literal 1 binary64) %436)
(pow.f64 %436 #s(literal 1 binary64))
%436
(/.f64 #s(literal 1 binary64) (pow.f64 %436 #s(literal -1 binary64)))
(neg.f64 %441)
%443
(*.f64 #s(literal 1 binary64) %443)
(*.f64 x y)
(pow.f64 %443 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %443 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %450)
(pow.f64 %450 #s(literal 1 binary64))
%450
(/.f64 #s(literal 1 binary64) (pow.f64 %450 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %455)
(pow.f64 %455 #s(literal 1 binary64))
%455
(/.f64 #s(literal 1 binary64) (pow.f64 %455 #s(literal -1 binary64)))
(neg.f64 %460)
(*.f64 %463 #s(literal 1/2 binary64))
(*.f64 %465 y)
(*.f64 %467 y)
(*.f64 %470 #s(literal 1/2 binary64))
(*.f64 %472 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %474)
(*.f64 y %465)
(*.f64 y %467)
%469
(*.f64 #s(literal 1/2 binary64) %478)
(*.f64 #s(literal 2 binary64) %472)
(*.f64 %469 #s(literal 1 binary64))
(*.f64 %176 %116)
(*.f64 %116 %176)
(*.f64 %462 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %462)
(*.f64 %2 y)
(*.f64 #s(literal 1 binary64) %469)
(pow.f64 %469 #s(literal 1 binary64))
(/.f64 (*.f64 %260 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %260 %9) #s(literal 4 binary64))
(/.f64 (*.f64 %260 %34) #s(literal 4 binary64))
(/.f64 (*.f64 %264 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %264 %9) #s(literal 4 binary64))
(/.f64 (*.f64 %264 %34) #s(literal 4 binary64))
(/.f64 (*.f64 %478 %41) %43)
(/.f64 %503 #s(literal -4 binary64))
(/.f64 %505 #s(literal 4 binary64))
(/.f64 (*.f64 %470 %41) %43)
(/.f64 %509 #s(literal -4 binary64))
(/.f64 %511 #s(literal 4 binary64))
(/.f64 (*.f64 %177 %513) #s(literal 4 binary64))
(/.f64 (*.f64 %177 %516) #s(literal 4 binary64))
(/.f64 (*.f64 %177 %520) #s(literal 4 binary64))
(/.f64 (*.f64 %188 %513) #s(literal 4 binary64))
(/.f64 (*.f64 %188 %516) #s(literal 4 binary64))
(/.f64 (*.f64 %188 %520) #s(literal 4 binary64))
(/.f64 (*.f64 %513 %177) #s(literal 4 binary64))
(/.f64 (*.f64 %513 %188) #s(literal 4 binary64))
(/.f64 (*.f64 %516 %177) #s(literal 4 binary64))
(/.f64 (*.f64 %516 %188) #s(literal 4 binary64))
(/.f64 (*.f64 %520 %177) #s(literal 4 binary64))
(/.f64 (*.f64 %520 %188) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %260) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %264) #s(literal 4 binary64))
(/.f64 (*.f64 %9 %260) #s(literal 4 binary64))
(/.f64 (*.f64 %9 %264) #s(literal 4 binary64))
(/.f64 (*.f64 %34 %260) #s(literal 4 binary64))
(/.f64 (*.f64 %34 %264) #s(literal 4 binary64))
(/.f64 %553 %62)
(/.f64 %555 %62)
(/.f64 %557 #s(literal -4 binary64))
(/.f64 %559 #s(literal -4 binary64))
(/.f64 %561 #s(literal 4 binary64))
(/.f64 %563 #s(literal 4 binary64))
(/.f64 (*.f64 %478 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %470 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 %569 #s(literal 2 binary64))
(/.f64 %571 #s(literal 2 binary64))
(/.f64 (*.f64 %478 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %470 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 %577 #s(literal 8 binary64))
(/.f64 %579 #s(literal 8 binary64))
(/.f64 (neg.f64 %478) #s(literal -2 binary64))
(/.f64 (neg.f64 %470) #s(literal -2 binary64))
(/.f64 %478 #s(literal 2 binary64))
(/.f64 %470 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %469 #s(literal -1 binary64)))
(neg.f64 %462)
(fma.f64 %463 #s(literal 1/2 binary64) %590)
(fma.f64 %463 #s(literal 1/2 binary64) %592)
(fma.f64 %384 %2 %472)
(fma.f64 %11 y %472)
(fma.f64 %395 %116 %472)
(fma.f64 %474 #s(literal -1 binary64) %472)
(fma.f64 %465 y %590)
(fma.f64 %465 y %592)
(fma.f64 %467 y %590)
(fma.f64 %467 y %592)
(fma.f64 #s(literal -1/2 binary64) %462 %472)
(fma.f64 %470 #s(literal 1/2 binary64) %590)
(fma.f64 %470 #s(literal 1/2 binary64) %592)
(fma.f64 %472 #s(literal 2 binary64) %590)
(fma.f64 %472 #s(literal 2 binary64) %592)
(fma.f64 %472 #s(literal 1 binary64) %472)
(fma.f64 #s(literal -2 binary64) %474 %590)
(fma.f64 #s(literal -2 binary64) %474 %592)
(fma.f64 y %465 %590)
(fma.f64 y %465 %592)
(fma.f64 y %467 %590)
(fma.f64 y %467 %592)
(fma.f64 y %33 y)
(fma.f64 y %2 %590)
(fma.f64 y %2 %592)
(fma.f64 #s(literal 1/2 binary64) %478 %590)
(fma.f64 #s(literal 1/2 binary64) %478 %592)
(fma.f64 #s(literal 1/2 binary64) %469 %472)
(fma.f64 #s(literal 2 binary64) %472 %590)
(fma.f64 #s(literal 2 binary64) %472 %592)
(fma.f64 %469 #s(literal 1/2 binary64) %472)
(fma.f64 %469 #s(literal 1 binary64) %590)
(fma.f64 %469 #s(literal 1 binary64) %592)
(fma.f64 %176 %116 %590)
(fma.f64 %176 %116 %592)
(fma.f64 %176 x y)
(fma.f64 %116 %176 %590)
(fma.f64 %116 %176 %592)
(fma.f64 %33 y y)
(fma.f64 %462 #s(literal -1 binary64) %590)
(fma.f64 %462 #s(literal -1 binary64) %592)
(fma.f64 #s(literal -1 binary64) %462 %590)
(fma.f64 #s(literal -1 binary64) %462 %592)
(fma.f64 %2 y %590)
(fma.f64 %2 y %592)
(fma.f64 #s(literal 1 binary64) %472 %472)
(fma.f64 #s(literal 1 binary64) %639 y)
(fma.f64 #s(literal 1 binary64) %469 %590)
(fma.f64 #s(literal 1 binary64) %469 %592)
(fma.f64 x %176 y)
(-.f64 y %644)
(-.f64 y %443)
(+.f64 %647 y)
(+.f64 %649 y)
(+.f64 %472 %472)
(+.f64 %639 y)
(+.f64 y (*.f64 #s(literal -1 binary64) %644))
(+.f64 y (*.f64 %644 #s(literal -1 binary64)))
(+.f64 y (*.f64 %639 #s(literal 1 binary64)))
(+.f64 y %647)
(+.f64 y %649)
(+.f64 y %661)
(+.f64 y %639)
(+.f64 %469 %590)
(+.f64 %469 %592)
(*.f64 %666 #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) %472)
%462
(*.f64 #s(literal 2 binary64) %669)
(*.f64 #s(literal 2 binary64) %671)
(*.f64 %469 #s(literal -1 binary64))
(*.f64 %176 %467)
(*.f64 %176 %2)
(*.f64 %116 y)
(*.f64 %462 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %469)
(*.f64 %2 %176)
(*.f64 #s(literal 1 binary64) %462)
(pow.f64 %462 #s(literal 1 binary64))
(/.f64 (*.f64 %260 %513) #s(literal 4 binary64))
(/.f64 (*.f64 %260 %516) #s(literal 4 binary64))
(/.f64 (*.f64 %260 %520) #s(literal 4 binary64))
(/.f64 (*.f64 %264 %513) #s(literal 4 binary64))
(/.f64 (*.f64 %264 %516) #s(literal 4 binary64))
(/.f64 (*.f64 %264 %520) #s(literal 4 binary64))
(/.f64 (*.f64 %177 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %177 %9) #s(literal 4 binary64))
(/.f64 (*.f64 %177 %34) #s(literal 4 binary64))
(/.f64 (*.f64 %188 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %188 %9) #s(literal 4 binary64))
(/.f64 (*.f64 %188 %34) #s(literal 4 binary64))
(/.f64 (*.f64 %513 %260) #s(literal 4 binary64))
(/.f64 (*.f64 %513 %264) #s(literal 4 binary64))
(/.f64 (*.f64 %516 %260) #s(literal 4 binary64))
(/.f64 (*.f64 %516 %264) #s(literal 4 binary64))
(/.f64 (*.f64 %520 %260) #s(literal 4 binary64))
(/.f64 (*.f64 %520 %264) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %177) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %188) #s(literal 4 binary64))
(/.f64 (*.f64 %9 %177) #s(literal 4 binary64))
(/.f64 (*.f64 %9 %188) #s(literal 4 binary64))
(/.f64 (*.f64 %34 %177) #s(literal 4 binary64))
(/.f64 (*.f64 %34 %188) #s(literal 4 binary64))
(/.f64 %503 #s(literal 4 binary64))
(/.f64 %505 #s(literal -4 binary64))
(/.f64 %509 #s(literal 4 binary64))
(/.f64 %511 #s(literal -4 binary64))
(/.f64 %557 #s(literal 4 binary64))
(/.f64 %559 #s(literal 4 binary64))
(/.f64 %561 #s(literal -4 binary64))
(/.f64 %563 #s(literal -4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %462 #s(literal -1 binary64)))
(neg.f64 %469)
(fma.f64 %371 #s(literal 1/2 binary64) %644)
(fma.f64 %371 #s(literal 1/2 binary64) %443)
(fma.f64 %381 #s(literal 2 binary64) %644)
(fma.f64 %381 #s(literal 2 binary64) %443)
(fma.f64 (*.f64 %33 #s(literal -1 binary64)) y %176)
(fma.f64 %188 #s(literal 1/2 binary64) %644)
(fma.f64 %188 #s(literal 1/2 binary64) %443)
(fma.f64 %639 #s(literal -1 binary64) %176)
(fma.f64 #s(literal -2 binary64) %384 %644)
(fma.f64 #s(literal -2 binary64) %384 %443)
(fma.f64 y (*.f64 #s(literal -1 binary64) %33) %176)
(fma.f64 y #s(literal -1 binary64) %644)
(fma.f64 y #s(literal -1 binary64) %443)
(fma.f64 y x %176)
(fma.f64 #s(literal 1/2 binary64) %177 %644)
(fma.f64 #s(literal 1/2 binary64) %177 %443)
(fma.f64 #s(literal 2 binary64) %395 %644)
(fma.f64 #s(literal 2 binary64) %395 %443)
(fma.f64 %176 %33 %176)
(fma.f64 %176 #s(literal 1 binary64) %644)
(fma.f64 %176 #s(literal 1 binary64) %443)
(fma.f64 %33 %176 %176)
(fma.f64 #s(literal -1 binary64) %639 %176)
(fma.f64 #s(literal -1 binary64) y %644)
(fma.f64 #s(literal -1 binary64) y %443)
(fma.f64 #s(literal 1 binary64) %644 %176)
(fma.f64 #s(literal 1 binary64) %176 %644)
(fma.f64 #s(literal 1 binary64) %176 %443)
(fma.f64 #s(literal 1 binary64) %443 %176)
(fma.f64 x y %176)
(-.f64 %176 %649)
(-.f64 %176 %661)
(-.f64 %176 %639)
(+.f64 %644 %176)
(+.f64 %176 %644)
(+.f64 %176 %443)
(+.f64 %443 %176)
(*.f64 #s(literal 2 binary64) %780)
(*.f64 #s(literal 1 binary64) %782)
(pow.f64 %782 #s(literal 1 binary64))
(/.f64 (fma.f64 %785 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %785 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %785 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %62 %553) %62)
(/.f64 (-.f64 %62 %555) %62)
(/.f64 (-.f64 #s(literal 8 binary64) %577) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal 8 binary64) %579) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) %557) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) %559) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %561) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %563) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %569) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %571) #s(literal 2 binary64))
(/.f64 (neg.f64 %785) #s(literal -2 binary64))
(/.f64 %785 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %782 #s(literal -1 binary64)))
(neg.f64 (fma.f64 y %2 #s(literal -1 binary64)))
(fma.f64 %666 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %371 #s(literal 1/2 binary64) %820)
(fma.f64 %371 #s(literal 1/2 binary64) %822)
(fma.f64 %165 #s(literal 1/2 binary64) %644)
(fma.f64 %167 #s(literal 2 binary64) %644)
(fma.f64 %381 #s(literal 2 binary64) %820)
(fma.f64 %381 #s(literal 2 binary64) %822)
(fma.f64 %188 #s(literal 1/2 binary64) %820)
(fma.f64 %188 #s(literal 1/2 binary64) %822)
(fma.f64 #s(literal -2 binary64) %384 %820)
(fma.f64 #s(literal -2 binary64) %384 %822)
(fma.f64 #s(literal -2 binary64) %472 #s(literal 1 binary64))
%782
(fma.f64 y #s(literal -1 binary64) %820)
(fma.f64 y #s(literal -1 binary64) %822)
(fma.f64 #s(literal 1/2 binary64) %169 %644)
(fma.f64 #s(literal 1/2 binary64) %177 %820)
(fma.f64 #s(literal 1/2 binary64) %177 %822)
(fma.f64 #s(literal 2 binary64) %669 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %171 %644)
(fma.f64 #s(literal 2 binary64) %395 %820)
(fma.f64 #s(literal 2 binary64) %395 %822)
(fma.f64 #s(literal 2 binary64) %780 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %671 #s(literal 1 binary64))
(fma.f64 %469 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 %176 %467 #s(literal 1 binary64))
(fma.f64 %176 %2 #s(literal 1 binary64))
(fma.f64 %176 #s(literal 1 binary64) %820)
(fma.f64 %176 #s(literal 1 binary64) %822)
(fma.f64 %116 y #s(literal 1 binary64))
(fma.f64 %462 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) y %820)
(fma.f64 #s(literal -1 binary64) y %822)
(fma.f64 #s(literal -1 binary64) %469 #s(literal 1 binary64))
(fma.f64 %164 #s(literal 1 binary64) %644)
(fma.f64 %2 %176 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %176 %820)
(fma.f64 #s(literal 1 binary64) %176 %822)
(fma.f64 #s(literal 1 binary64) %782 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %462 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %164 %644)
(-.f64 %462 #s(literal -1 binary64))
(-.f64 %164 %639)
(-.f64 #s(literal 1 binary64) %469)
(+.f64 (fma.f64 y %116 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %462))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %469))
(+.f64 %176 %820)
(+.f64 %176 %822)
(+.f64 %782 #s(literal 0 binary64))
(+.f64 %462 #s(literal 1 binary64))
(+.f64 %164 %644)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %462))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %469))
(+.f64 #s(literal 1 binary64) %462)
(*.f64 #s(literal 1 binary64) %880)
(pow.f64 %880 #s(literal 1 binary64))
%880
(/.f64 #s(literal 1 binary64) (pow.f64 %880 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %885)
(pow.f64 %885 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %885 #s(literal -1 binary64)))
(neg.f64 (-.f64 %890 x))
(fma.f64 %4 #s(literal 1/2 binary64) %893)
(fma.f64 %4 #s(literal 1/2 binary64) %895)
(fma.f64 %165 #s(literal 1/2 binary64) %897)
(fma.f64 %165 #s(literal 1/2 binary64) %900)
(fma.f64 %7 #s(literal 2 binary64) %893)
(fma.f64 %7 #s(literal 2 binary64) %895)
(fma.f64 %167 #s(literal 2 binary64) %897)
(fma.f64 %167 #s(literal 2 binary64) %900)
(fma.f64 #s(literal 1/2 binary64) %169 %897)
(fma.f64 #s(literal 1/2 binary64) %169 %900)
(fma.f64 #s(literal 1/2 binary64) %9 %893)
(fma.f64 #s(literal 1/2 binary64) %9 %895)
(fma.f64 #s(literal 2 binary64) %11 %893)
(fma.f64 #s(literal 2 binary64) %11 %895)
(fma.f64 #s(literal 2 binary64) %171 %897)
(fma.f64 #s(literal 2 binary64) %171 %900)
(fma.f64 %116 %365 x)
(fma.f64 %365 %116 x)
%885
(fma.f64 %164 #s(literal 1 binary64) %897)
(fma.f64 %164 #s(literal 1 binary64) %900)
(fma.f64 %2 %164 x)
(fma.f64 %2 #s(literal 1 binary64) %893)
(fma.f64 %2 #s(literal 1 binary64) %895)
(fma.f64 #s(literal 1 binary64) %921 x)
(fma.f64 #s(literal 1 binary64) %164 %897)
(fma.f64 #s(literal 1 binary64) %164 %900)
(fma.f64 #s(literal 1 binary64) %2 %893)
(fma.f64 #s(literal 1 binary64) %2 %895)
(-.f64 (-.f64 x %116) %469)
(-.f64 %921 %33)
(-.f64 x %890)
(+.f64 (+.f64 x %164) %899)
(+.f64 (+.f64 x %2) %462)
(+.f64 %921 x)
(+.f64 %164 %897)
(+.f64 %164 %900)
(+.f64 %2 %893)
(+.f64 %2 %895)
(+.f64 x %921)
(*.f64 %942 #s(literal 1/2 binary64))
(*.f64 %944 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %946)
(*.f64 #s(literal 2 binary64) %948)
(*.f64 %941 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %941)
(pow.f64 %941 #s(literal 1 binary64))
(/.f64 (fma.f64 %942 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %942 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %942 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %946 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %946 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %946 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %965 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %965 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %965 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %942 %41) %43)
(/.f64 (*.f64 %942 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %942 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %942 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %942 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %946 %41) %43)
(/.f64 (*.f64 %946 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %946 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %946 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %946 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %965 %41) %43)
(/.f64 (*.f64 %965 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %965 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %965 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %965 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %41 %942) %62)
(/.f64 (*.f64 %41 %946) %62)
(/.f64 (*.f64 %41 %965) %62)
(/.f64 (*.f64 #s(literal 4 binary64) %942) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %946) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %965) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %942) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %946) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %965) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %942) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %946) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %965) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %942) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %946) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %965) #s(literal 2 binary64))
(/.f64 (neg.f64 %942) #s(literal -2 binary64))
(/.f64 (neg.f64 %946) #s(literal -2 binary64))
(/.f64 (neg.f64 %965) #s(literal -2 binary64))
(/.f64 %942 #s(literal 2 binary64))
(/.f64 %946 #s(literal 2 binary64))
(/.f64 %965 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %941 #s(literal -1 binary64)))
(neg.f64 %1043)
(neg.f64 %1045)
(neg.f64 %1047)
(fma.f64 %942 #s(literal 1/2 binary64) %1049)
(fma.f64 %942 #s(literal 1/2 binary64) %1051)
(fma.f64 %942 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %944 #s(literal 2 binary64) %1049)
(fma.f64 %944 #s(literal 2 binary64) %1051)
(fma.f64 %944 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %946 %1049)
(fma.f64 #s(literal 1/2 binary64) %946 %1051)
(fma.f64 #s(literal 1/2 binary64) %946 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %941 %948)
(fma.f64 #s(literal 2 binary64) %948 %1049)
(fma.f64 #s(literal 2 binary64) %948 %1051)
(fma.f64 #s(literal 2 binary64) %948 #s(literal 0 binary64))
(fma.f64 %430 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %941 #s(literal 1/2 binary64) %944)
(fma.f64 %941 #s(literal 1 binary64) %1049)
(fma.f64 %941 #s(literal 1 binary64) %1051)
(fma.f64 %941 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %430 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %941 %1049)
(fma.f64 #s(literal 1 binary64) %941 %1051)
(fma.f64 #s(literal 1 binary64) %941 #s(literal 0 binary64))
(-.f64 %430 #s(literal -1 binary64))
%941
(+.f64 (+.f64 %430 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %944 %944)
(+.f64 %948 %948)
(+.f64 %1078 #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %430))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %425))
(+.f64 %430 #s(literal 1 binary64))
(+.f64 %941 %1049)
(+.f64 %941 %1051)
(+.f64 %941 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %430))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %425))
(+.f64 #s(literal 1 binary64) %1078)
(+.f64 #s(literal 1 binary64) %430)
(*.f64 %1047 %365)
(*.f64 %365 %1047)
%1096
(*.f64 %164 %941)
(*.f64 #s(literal 1 binary64) %1096)
(pow.f64 %1096 #s(literal 1 binary64))
(/.f64 (*.f64 %1100 %1101) #s(literal 4 binary64))
(/.f64 (*.f64 %1104 %1101) #s(literal 4 binary64))
(/.f64 (*.f64 %1108 %1101) #s(literal 4 binary64))
(/.f64 (*.f64 %1101 %1100) #s(literal 4 binary64))
(/.f64 (*.f64 %1101 %1104) #s(literal 4 binary64))
(/.f64 (*.f64 %1101 %1108) #s(literal 4 binary64))
(/.f64 (*.f64 %942 %165) #s(literal 4 binary64))
(/.f64 (*.f64 %942 %169) #s(literal 4 binary64))
(/.f64 (*.f64 %942 %211) #s(literal 4 binary64))
(/.f64 (*.f64 %946 %165) #s(literal 4 binary64))
(/.f64 (*.f64 %946 %169) #s(literal 4 binary64))
(/.f64 (*.f64 %946 %211) #s(literal 4 binary64))
(/.f64 (*.f64 %965 %165) #s(literal 4 binary64))
(/.f64 (*.f64 %965 %169) #s(literal 4 binary64))
(/.f64 (*.f64 %965 %211) #s(literal 4 binary64))
(/.f64 (*.f64 %165 %942) #s(literal 4 binary64))
(/.f64 (*.f64 %165 %946) #s(literal 4 binary64))
(/.f64 (*.f64 %165 %965) #s(literal 4 binary64))
(/.f64 (*.f64 %169 %942) #s(literal 4 binary64))
(/.f64 (*.f64 %169 %946) #s(literal 4 binary64))
(/.f64 (*.f64 %169 %965) #s(literal 4 binary64))
(/.f64 (*.f64 %211 %942) #s(literal 4 binary64))
(/.f64 (*.f64 %211 %946) #s(literal 4 binary64))
(/.f64 (*.f64 %211 %965) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1096 #s(literal -1 binary64)))
(neg.f64 %1155)
(fma.f64 %942 #s(literal 1/2 binary64) %1157)
(fma.f64 %165 #s(literal 1/2 binary64) %1159)
(fma.f64 %944 #s(literal 2 binary64) %1157)
(fma.f64 %167 #s(literal 2 binary64) %1159)
(fma.f64 %1045 y %941)
(fma.f64 (*.f64 %941 y) #s(literal -1 binary64) %941)
(fma.f64 y %1043 %941)
(fma.f64 y %1047 %1167)
(fma.f64 #s(literal 1/2 binary64) %946 %1157)
(fma.f64 #s(literal 1/2 binary64) %169 %1159)
(fma.f64 #s(literal 2 binary64) %948 %1157)
(fma.f64 #s(literal 2 binary64) %171 %1159)
(fma.f64 %430 %164 %164)
(fma.f64 %176 %941 %941)
(fma.f64 %1047 y %1175)
(fma.f64 %941 %176 %941)
(fma.f64 %941 #s(literal 1 binary64) %1157)
(fma.f64 #s(literal -1 binary64) %1179 %941)
(fma.f64 %164 %430 %164)
(fma.f64 %164 #s(literal 1 binary64) %1159)
(fma.f64 #s(literal 1 binary64) %1157 %941)
(fma.f64 #s(literal 1 binary64) %1159 %164)
(fma.f64 #s(literal 1 binary64) %941 %1157)
(fma.f64 #s(literal 1 binary64) %164 %1159)
(-.f64 %941 %1179)
(-.f64 %941 %1188)
(-.f64 %164 (*.f64 %425 %164))
(-.f64 %164 (*.f64 %365 %430))
(-.f64 %164 (neg.f64 %1159))
(+.f64 (*.f64 %1047 y) %1175)
(+.f64 (*.f64 y %1047) %1167)
(+.f64 %1157 %941)
(+.f64 %1159 %164)
(+.f64 %941 %1157)
(+.f64 %164 %1159)
(*.f64 #s(literal 1 binary64) %1204)
(pow.f64 %1204 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1204 #s(literal -1 binary64)))
(neg.f64 (-.f64 %430 %1096))
(neg.f64 (-.f64 %1155 %425))
(fma.f64 %942 #s(literal 1/2 binary64) %1213)
(fma.f64 %942 #s(literal 1/2 binary64) %1215)
(fma.f64 %165 #s(literal 1/2 binary64) %1217)
(fma.f64 %165 #s(literal 1/2 binary64) %1219)
(fma.f64 %944 #s(literal 2 binary64) %1213)
(fma.f64 %944 #s(literal 2 binary64) %1215)
(fma.f64 %167 #s(literal 2 binary64) %1217)
(fma.f64 %167 #s(literal 2 binary64) %1219)
(fma.f64 #s(literal 1/2 binary64) %946 %1213)
(fma.f64 #s(literal 1/2 binary64) %946 %1215)
(fma.f64 #s(literal 1/2 binary64) %169 %1217)
(fma.f64 #s(literal 1/2 binary64) %169 %1219)
(fma.f64 #s(literal 2 binary64) %948 %1213)
(fma.f64 #s(literal 2 binary64) %948 %1215)
(fma.f64 #s(literal 2 binary64) %171 %1217)
(fma.f64 #s(literal 2 binary64) %171 %1219)
(fma.f64 %1047 %365 %425)
(fma.f64 %365 %1047 %425)
%1204
(fma.f64 %941 #s(literal 1 binary64) %1213)
(fma.f64 %941 #s(literal 1 binary64) %1215)
(fma.f64 %164 %941 %425)
(fma.f64 %164 #s(literal 1 binary64) %1217)
(fma.f64 %164 #s(literal 1 binary64) %1219)
(fma.f64 #s(literal 1 binary64) %1096 %425)
(fma.f64 #s(literal 1 binary64) %941 %1213)
(fma.f64 #s(literal 1 binary64) %941 %1215)
(fma.f64 #s(literal 1 binary64) %425 %1096)
(fma.f64 #s(literal 1 binary64) %164 %1217)
(fma.f64 #s(literal 1 binary64) %164 %1219)
(-.f64 (-.f64 %425 %1047) %1188)
(-.f64 %1096 %430)
(-.f64 %425 %1155)
(+.f64 (+.f64 %425 %941) %1157)
(+.f64 (+.f64 %425 %164) %1159)
(+.f64 %1096 %425)
(+.f64 %941 %1213)
(+.f64 %941 %1215)
(+.f64 %425 %1096)
(+.f64 %164 %1217)
(+.f64 %164 %1219)
(*.f64 #s(literal 1 binary64) %1260)
(pow.f64 %1260 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1260 #s(literal -1 binary64)))
(neg.f64 (-.f64 %33 %455))
(neg.f64 (neg.f64 %1260))
(fma.f64 #s(literal 1 binary64) %455 x)
(-.f64 %455 %33)
(-.f64 x %460)
%1260
(+.f64 x %455)
(*.f64 #s(literal 1 binary64) %1273)
(pow.f64 %1273 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1273 #s(literal -1 binary64)))
(neg.f64 (-.f64 %33 %436))
(neg.f64 (neg.f64 %1273))
(fma.f64 #s(literal 1 binary64) %436 x)
(-.f64 %436 %33)
(-.f64 x %441)
%1273
(+.f64 x %436)
reconstruct68.0ms (4.4%)
Counts
866 → 90
Compiler
Compiled 866 to 1 352 computations (-56.1% saved)
eval10.0ms (0.6%)
Compiler
Compiled 112 to 284 computations (-153.6% saved)
prune2.0ms (0.1%)
Pruning
5 alts after pruning (4 fresh and 1 done)
PrunedKeptTotal
New1084112
Fresh000
Picked516
Done000
Total1135118
Accuracy
100.0%
Counts
118 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶64.1%
(+.f64 (approx x #s(literal 0 binary64)) (approx (* (- 1 x) (- 1 y)) (-.f64 #s(literal 1 binary64) y)))
▶25.4%
%2 = (- 1 x)
(+.f64 x (approx (* %2 (- 1 y)) (approx %2 #s(literal 1 binary64))))
▶100.0%
(approx (+ (* (- 1 y) (- 1 x)) x) (fma.f64 y (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
▶2.5%
(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 (approx x #s(literal 0 binary64)) y))
✓37.6%
(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 x y))
Compiler
Compiled 5 to 11 computations (-120.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series13.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0135583
Stop Event
1×iter-limit
Counts
16 → 41
Calls
Call 1
Inputs
%3 = (-.f64 #s(literal 1 binary64) y)
%5 = (approx x #s(literal 0 binary64))
%7 = (- 1 x)
%8 = (approx %7 #s(literal 1 binary64))
%9 = (- 1 y)
%10 = (* %7 %9)
%11 = (approx %10 %3)
%12 = (-.f64 x #s(literal 1 binary64))
%13 = (fma.f64 y %12 #s(literal 1 binary64))
%17 = (*.f64 %5 y)
%21 = (approx %10 %8)
x
#s(literal 1 binary64)
y
%3
#s(literal 0 binary64)
%5
%8
%11
%12
%13
(approx (+ (* %9 %7) x) %13)
%17
(approx (+ x %10) %17)
(+.f64 %5 %11)
%21
(+.f64 x %21)
Outputs
%5 = (- 1 x)
%9 = (*.f64 #s(literal -1 binary64) x)
%13 = (- 1 y)
%14 = (* %5 %13)
%15 = (-.f64 #s(literal 1 binary64) y)
%18 = (*.f64 #s(literal -1 binary64) (*.f64 x %15))
%22 = (- x 1)
%24 = (-.f64 x #s(literal 1 binary64))
%27 = (+ (* y %22) 1)
%28 = (*.f64 #s(literal -1 binary64) y)
%29 = (+.f64 #s(literal 1 binary64) %28)
%31 = (*.f64 x y)
%36 = (+ (* %13 %5) x)
%39 = (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %15)))
%46 = (/.f64 #s(literal 1 binary64) x)
%48 = (*.f64 x (-.f64 %46 #s(literal 1 binary64)))
%51 = (fma.f64 #s(literal -1 binary64) %15 %46)
%52 = (/.f64 y x)
%57 = (*.f64 x (-.f64 #s(literal 1 binary64) %46))
%71 = (*.f64 #s(literal -1 binary64) (/.f64 %15 x))
%90 = (-.f64 #s(literal 1 binary64) x)
%93 = (*.f64 #s(literal -1 binary64) (*.f64 y %90))
%94 = (+.f64 #s(literal 1 binary64) %93)
%97 = (*.f64 y %24)
%102 = (/.f64 #s(literal 1 binary64) y)
%107 = (fma.f64 #s(literal -1 binary64) %90 %102)
%113 = (+.f64 x %102)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) %9))
(approx %14 %15)
(approx %14 (-.f64 (+.f64 #s(literal 1 binary64) %18) y))
(approx %22 #s(literal -1 binary64))
(approx %22 %24)
(approx %27 %29)
(approx %27 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) y %31)))
(approx %36 (-.f64 (+.f64 #s(literal 1 binary64) %39) y))
(approx (* x y) %31)
(approx %5 %9)
(approx %5 %48)
(approx %14 %18)
(approx %14 (*.f64 x (-.f64 %51 %52)))
(approx %22 %57)
(approx %27 (*.f64 x (+.f64 y (fma.f64 #s(literal -1 binary64) %52 %46))))
(approx %36 %39)
(approx %36 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %51) %52)))
(approx %5 (*.f64 #s(literal -1 binary64) %57))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %71) y))))
(approx %22 (*.f64 #s(literal -1 binary64) %48))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 %29 x))))))
(approx %36 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %71 y))))
(approx y y)
(approx %14 %90)
(approx %14 (-.f64 %94 x))
(approx %27 (+.f64 #s(literal 1 binary64) %97))
(approx %36 %94)
(approx %13 %28)
(approx %13 (*.f64 y (-.f64 %102 #s(literal 1 binary64))))
(approx %14 %93)
(approx %14 (*.f64 y (-.f64 %107 (/.f64 x y))))
(approx %27 %97)
(approx %27 (*.f64 y (-.f64 %113 #s(literal 1 binary64))))
(approx %36 (*.f64 y %107))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %102))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %90 y))) x))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %24) %102))))
(approx %36 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %113))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
y
-inf
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
x
0
rewrite77.0ms (5.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
022114
029114
186114
2188114
3773114
04391114
04554112
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
16 → 633
Calls
Call 1
Inputs
%3 = (-.f64 #s(literal 1 binary64) y)
%5 = (approx x #s(literal 0 binary64))
%7 = (- 1 x)
%8 = (approx %7 #s(literal 1 binary64))
%9 = (- 1 y)
%10 = (* %7 %9)
%11 = (approx %10 %3)
%12 = (-.f64 x #s(literal 1 binary64))
%13 = (fma.f64 y %12 #s(literal 1 binary64))
%17 = (*.f64 %5 y)
%21 = (approx %10 %8)
x
#s(literal 1 binary64)
y
%3
#s(literal 0 binary64)
%5
%8
%11
%12
%13
(approx (+ (* %9 %7) x) %13)
%17
(approx (+ x %10) %17)
(+.f64 %5 %11)
%21
(+.f64 x %21)
Outputs
%3 = (-.f64 #s(literal 1 binary64) y)
%5 = (/.f64 %3 #s(literal 1/2 binary64))
%7 = (*.f64 %3 #s(literal 1/2 binary64))
%11 = (fma.f64 y #s(literal -2 binary64) #s(literal 2 binary64))
%14 = (/.f64 %3 #s(literal 4 binary64))
%17 = (+.f64 y y)
%18 = (+.f64 #s(literal -2 binary64) %17)
%20 = (fma.f64 y #s(literal 2 binary64) #s(literal -2 binary64))
%22 = (fma.f64 #s(literal 1/2 binary64) y #s(literal -1/2 binary64))
%24 = (*.f64 #s(literal 1/2 binary64) y)
%25 = (+.f64 #s(literal -1/2 binary64) %24)
%27 = (-.f64 %24 #s(literal 1/2 binary64))
%30 = (fma.f64 #s(literal -1/2 binary64) y #s(literal 1/2 binary64))
%33 = (fma.f64 #s(literal 1/2 binary64) %3 #s(literal 0 binary64))
%35 = (*.f64 #s(literal -1/2 binary64) y)
%36 = (+.f64 #s(literal 1/2 binary64) %35)
%38 = (-.f64 %35 #s(literal -1/2 binary64))
%41 = (*.f64 #s(literal 1/2 binary64) %3)
%43 = (-.f64 y #s(literal 1 binary64))
%50 = (neg.f64 y)
%51 = (E.f64 )
%74 = (*.f64 #s(literal 2 binary64) %51)
%77 = (*.f64 %51 #s(literal 2 binary64))
%105 = (fma.f64 y #s(literal -2 binary64) #s(literal 1 binary64))
%107 = (*.f64 #s(literal 0 binary64) %7)
%109 = (*.f64 %3 #s(literal 0 binary64))
%110 = (*.f64 %109 #s(literal 1 binary64))
%112 = (*.f64 #s(literal 0 binary64) %3)
%113 = (*.f64 %112 #s(literal 1 binary64))
%115 = (*.f64 #s(literal 0 binary64) %11)
%121 = (*.f64 #s(literal 1/2 binary64) %7)
%123 = (-.f64 #s(literal 1/2 binary64) y)
%125 = (*.f64 y #s(literal -2 binary64))
%134 = (*.f64 %7 #s(literal 1 binary64))
%136 = (*.f64 %41 #s(literal 1 binary64))
%192 = (*.f64 #s(literal 3/2 binary64) %7)
%271 = (*.f64 #s(literal 1 binary64) %7)
%299 = (-.f64 #s(literal 0 binary64) y)
%307 = (*.f64 %123 #s(literal 1 binary64))
%327 = (approx x #s(literal 0 binary64))
%333 = (- 1 x)
%334 = (approx %333 #s(literal 1 binary64))
%340 = (* (- 1 y) %333)
%341 = (approx %340 %3)
%346 = (neg.f64 %341)
%348 = (-.f64 x #s(literal 1 binary64))
%349 = (/.f64 %348 #s(literal 1/2 binary64))
%351 = (-.f64 #s(literal 1 binary64) x)
%352 = (*.f64 #s(literal 2 binary64) %351)
%354 = (fma.f64 x #s(literal 2 binary64) #s(literal -2 binary64))
%356 = (*.f64 %348 #s(literal 1/2 binary64))
%358 = (*.f64 %351 #s(literal 1/2 binary64))
%360 = (/.f64 %348 #s(literal 4 binary64))
%363 = (*.f64 #s(literal 1/2 binary64) %351)
%365 = (-.f64 %354 #s(literal 0 binary64))
%368 = (fma.f64 x #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%369 = (-.f64 %368 #s(literal 0 binary64))
%371 = (-.f64 %356 #s(literal 0 binary64))
%380 = (*.f64 x #s(literal 1 binary64))
%385 = (-.f64 x #s(literal 1/2 binary64))
%405 = (*.f64 %354 #s(literal 4 binary64))
%408 = (*.f64 %354 #s(literal -2 binary64))
%411 = (*.f64 %354 #s(literal 2 binary64))
%447 = (*.f64 #s(literal 0 binary64) %356)
%449 = (*.f64 %348 #s(literal 0 binary64))
%450 = (*.f64 %449 #s(literal 1 binary64))
%452 = (fma.f64 x #s(literal 0 binary64) #s(literal 0 binary64))
%453 = (*.f64 %452 #s(literal 1 binary64))
%455 = (*.f64 %449 #s(literal -1 binary64))
%457 = (*.f64 %452 #s(literal -1 binary64))
%459 = (*.f64 #s(literal 0 binary64) %354)
%464 = (*.f64 #s(literal 1/2 binary64) %356)
%466 = (-.f64 #s(literal 1/2 binary64) x)
%495 = (*.f64 %356 #s(literal 1 binary64))
%506 = (*.f64 %358 #s(literal -1 binary64))
%508 = (*.f64 %368 #s(literal 1 binary64))
%510 = (*.f64 %363 #s(literal -1 binary64))
%512 = (neg.f64 x)
%513 = (*.f64 %512 #s(literal 1 binary64))
%534 = (*.f64 #s(literal -1/2 binary64) %351)
%563 = (*.f64 #s(literal 3/2 binary64) %356)
%633 = (*.f64 #s(literal 1 binary64) %356)
%663 = (*.f64 %466 #s(literal -1 binary64))
%665 = (*.f64 %513 #s(literal -1 binary64))
%672 = (*.f64 %380 #s(literal 1 binary64))
%674 = (*.f64 %512 #s(literal -1 binary64))
%684 = (-.f64 #s(literal 0 binary64) x)
%704 = (fma.f64 %348 y #s(literal 1 binary64))
%705 = (*.f64 #s(literal 2 binary64) %704)
%709 = (fma.f64 %348 y #s(literal 1/2 binary64))
%712 = (*.f64 y x)
%715 = (*.f64 %348 y)
%760 = (+.f64 #s(literal 1 binary64) %712)
%763 = (*.f64 %351 y)
%764 = (-.f64 #s(literal 1/2 binary64) %763)
%771 = (-.f64 #s(literal 0 binary64) %763)
%786 = (+ %340 x)
%787 = (approx %786 %704)
%792 = (*.f64 %327 y)
%802 = (approx %786 %792)
%807 = (+.f64 %341 %327)
%814 = (neg.f64 %327)
%815 = (neg.f64 %814)
%825 = (approx %340 %334)
%830 = (neg.f64 %825)
%832 = (+.f64 %825 x)
x
#s(literal 1 binary64)
y
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %7 #s(literal 2 binary64))
(*.f64 %11 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %14)
(*.f64 #s(literal -1/2 binary64) %18)
(*.f64 #s(literal -1/2 binary64) %20)
(*.f64 #s(literal -2 binary64) %22)
(*.f64 #s(literal -2 binary64) %25)
(*.f64 #s(literal -2 binary64) %27)
(*.f64 #s(literal 1/2 binary64) %11)
(*.f64 #s(literal 2 binary64) %30)
(*.f64 #s(literal 2 binary64) %33)
(*.f64 #s(literal 2 binary64) %36)
(*.f64 #s(literal 2 binary64) %38)
(*.f64 #s(literal 2 binary64) %7)
(*.f64 #s(literal 2 binary64) %41)
(*.f64 %43 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %43)
(*.f64 %3 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (fma.f64 %50 %51 %51) %51)
(/.f64 (fma.f64 %50 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %50 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %3 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %3 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %50 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %11 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %11 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %11 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %11 %51) %74)
(/.f64 (*.f64 %51 %11) %77)
(/.f64 (*.f64 #s(literal -2 binary64) %11) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %11) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %11) #s(literal 2 binary64))
(/.f64 (*.f64 %11 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %11 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %11) #s(literal 8 binary64))
(/.f64 (*.f64 %11 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %11 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 %11) #s(literal -2 binary64))
(/.f64 %11 #s(literal 2 binary64))
(/.f64 %20 #s(literal -2 binary64))
(/.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %11))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %43)
(fma.f64 %105 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 %5 #s(literal 1/2 binary64) %107)
(fma.f64 %5 #s(literal 1/2 binary64) %110)
(fma.f64 %5 #s(literal 1/2 binary64) %113)
(fma.f64 %5 #s(literal 1/2 binary64) %115)
(fma.f64 %5 #s(literal 1/2 binary64) %109)
(fma.f64 %5 #s(literal 1/2 binary64) %112)
(fma.f64 %5 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) %7 %121)
(fma.f64 %123 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 %125 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %7 #s(literal 2 binary64) %107)
(fma.f64 %7 #s(literal 2 binary64) %110)
(fma.f64 %7 #s(literal 2 binary64) %113)
(fma.f64 %7 #s(literal 2 binary64) %115)
(fma.f64 %7 #s(literal 2 binary64) %109)
(fma.f64 %7 #s(literal 2 binary64) %112)
(fma.f64 %7 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %7 #s(literal 1 binary64) %134)
(fma.f64 %41 #s(literal 1 binary64) %136)
(fma.f64 %11 #s(literal 1/2 binary64) %107)
(fma.f64 %11 #s(literal 1/2 binary64) %110)
(fma.f64 %11 #s(literal 1/2 binary64) %113)
(fma.f64 %11 #s(literal 1/2 binary64) %115)
(fma.f64 %11 #s(literal 1/2 binary64) %109)
(fma.f64 %11 #s(literal 1/2 binary64) %112)
(fma.f64 %11 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %17 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %14 %107)
(fma.f64 #s(literal 4 binary64) %14 %110)
(fma.f64 #s(literal 4 binary64) %14 %113)
(fma.f64 #s(literal 4 binary64) %14 %115)
(fma.f64 #s(literal 4 binary64) %14 %109)
(fma.f64 #s(literal 4 binary64) %14 %112)
(fma.f64 #s(literal 4 binary64) %14 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %18 %107)
(fma.f64 #s(literal -1/2 binary64) %18 %110)
(fma.f64 #s(literal -1/2 binary64) %18 %113)
(fma.f64 #s(literal -1/2 binary64) %18 %115)
(fma.f64 #s(literal -1/2 binary64) %18 %109)
(fma.f64 #s(literal -1/2 binary64) %18 %112)
(fma.f64 #s(literal -1/2 binary64) %18 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %20 %107)
(fma.f64 #s(literal -1/2 binary64) %20 %110)
(fma.f64 #s(literal -1/2 binary64) %20 %113)
(fma.f64 #s(literal -1/2 binary64) %20 %115)
(fma.f64 #s(literal -1/2 binary64) %20 %109)
(fma.f64 #s(literal -1/2 binary64) %20 %112)
(fma.f64 #s(literal -1/2 binary64) %20 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %22 %107)
(fma.f64 #s(literal -2 binary64) %22 %110)
(fma.f64 #s(literal -2 binary64) %22 %113)
(fma.f64 #s(literal -2 binary64) %22 %115)
(fma.f64 #s(literal -2 binary64) %22 %109)
(fma.f64 #s(literal -2 binary64) %22 %112)
(fma.f64 #s(literal -2 binary64) %22 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %25 %107)
(fma.f64 #s(literal -2 binary64) %25 %110)
(fma.f64 #s(literal -2 binary64) %25 %113)
(fma.f64 #s(literal -2 binary64) %25 %115)
(fma.f64 #s(literal -2 binary64) %25 %109)
(fma.f64 #s(literal -2 binary64) %25 %112)
(fma.f64 #s(literal -2 binary64) %25 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %27 %107)
(fma.f64 #s(literal -2 binary64) %27 %110)
(fma.f64 #s(literal -2 binary64) %27 %113)
(fma.f64 #s(literal -2 binary64) %27 %115)
(fma.f64 #s(literal -2 binary64) %27 %109)
(fma.f64 #s(literal -2 binary64) %27 %112)
(fma.f64 #s(literal -2 binary64) %27 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %24 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) %125) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %105 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %7 %192)
(fma.f64 #s(literal 1/2 binary64) %11 %107)
(fma.f64 #s(literal 1/2 binary64) %11 %110)
(fma.f64 #s(literal 1/2 binary64) %11 %113)
(fma.f64 #s(literal 1/2 binary64) %11 %115)
(fma.f64 #s(literal 1/2 binary64) %11 %109)
(fma.f64 #s(literal 1/2 binary64) %11 %112)
(fma.f64 #s(literal 1/2 binary64) %11 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %3 %41)
(fma.f64 #s(literal 2 binary64) %30 %107)
(fma.f64 #s(literal 2 binary64) %30 %110)
(fma.f64 #s(literal 2 binary64) %30 %113)
(fma.f64 #s(literal 2 binary64) %30 %115)
(fma.f64 #s(literal 2 binary64) %30 %109)
(fma.f64 #s(literal 2 binary64) %30 %112)
(fma.f64 #s(literal 2 binary64) %30 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %33 %107)
(fma.f64 #s(literal 2 binary64) %33 %110)
(fma.f64 #s(literal 2 binary64) %33 %113)
(fma.f64 #s(literal 2 binary64) %33 %115)
(fma.f64 #s(literal 2 binary64) %33 %109)
(fma.f64 #s(literal 2 binary64) %33 %112)
(fma.f64 #s(literal 2 binary64) %33 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %36 %107)
(fma.f64 #s(literal 2 binary64) %36 %110)
(fma.f64 #s(literal 2 binary64) %36 %113)
(fma.f64 #s(literal 2 binary64) %36 %115)
(fma.f64 #s(literal 2 binary64) %36 %109)
(fma.f64 #s(literal 2 binary64) %36 %112)
(fma.f64 #s(literal 2 binary64) %36 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %38 %107)
(fma.f64 #s(literal 2 binary64) %38 %110)
(fma.f64 #s(literal 2 binary64) %38 %113)
(fma.f64 #s(literal 2 binary64) %38 %115)
(fma.f64 #s(literal 2 binary64) %38 %109)
(fma.f64 #s(literal 2 binary64) %38 %112)
(fma.f64 #s(literal 2 binary64) %38 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %35 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %7 %107)
(fma.f64 #s(literal 2 binary64) %7 %110)
(fma.f64 #s(literal 2 binary64) %7 %113)
(fma.f64 #s(literal 2 binary64) %7 %115)
(fma.f64 #s(literal 2 binary64) %7 %109)
(fma.f64 #s(literal 2 binary64) %7 %112)
(fma.f64 #s(literal 2 binary64) %7 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %41 %107)
(fma.f64 #s(literal 2 binary64) %41 %110)
(fma.f64 #s(literal 2 binary64) %41 %113)
(fma.f64 #s(literal 2 binary64) %41 %115)
(fma.f64 #s(literal 2 binary64) %41 %109)
(fma.f64 #s(literal 2 binary64) %41 %112)
(fma.f64 #s(literal 2 binary64) %41 #s(literal 0 binary64))
(fma.f64 %50 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %43 #s(literal -1 binary64) %107)
(fma.f64 %43 #s(literal -1 binary64) %110)
(fma.f64 %43 #s(literal -1 binary64) %113)
(fma.f64 %43 #s(literal -1 binary64) %115)
(fma.f64 %43 #s(literal -1 binary64) %109)
(fma.f64 %43 #s(literal -1 binary64) %112)
(fma.f64 %43 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %43 %107)
(fma.f64 #s(literal -1 binary64) %43 %110)
(fma.f64 #s(literal -1 binary64) %43 %113)
(fma.f64 #s(literal -1 binary64) %43 %115)
(fma.f64 #s(literal -1 binary64) %43 %109)
(fma.f64 #s(literal -1 binary64) %43 %112)
(fma.f64 #s(literal -1 binary64) %43 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) y #s(literal 1 binary64))
(fma.f64 %3 #s(literal 1/2 binary64) %7)
(fma.f64 %3 #s(literal 1 binary64) %107)
(fma.f64 %3 #s(literal 1 binary64) %110)
(fma.f64 %3 #s(literal 1 binary64) %113)
(fma.f64 %3 #s(literal 1 binary64) %115)
(fma.f64 %3 #s(literal 1 binary64) %109)
(fma.f64 %3 #s(literal 1 binary64) %112)
(fma.f64 %3 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %3 %3)
(fma.f64 y #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %7 %271)
(fma.f64 #s(literal 1 binary64) %50 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %3 %107)
(fma.f64 #s(literal 1 binary64) %3 %110)
(fma.f64 #s(literal 1 binary64) %3 %113)
(fma.f64 #s(literal 1 binary64) %3 %115)
(fma.f64 #s(literal 1 binary64) %3 %109)
(fma.f64 #s(literal 1 binary64) %3 %112)
(fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64))
(-.f64 %123 #s(literal -1/2 binary64))
(-.f64 %7 (*.f64 %43 #s(literal 1/2 binary64)))
(-.f64 %7 (neg.f64 %7))
(-.f64 %41 (*.f64 #s(literal -1/2 binary64) %3))
(-.f64 %41 (neg.f64 %41))
(-.f64 #s(literal 1/2 binary64) (-.f64 y #s(literal 1/2 binary64)))
(-.f64 %50 #s(literal -1 binary64))
(-.f64 %3 (*.f64 %43 #s(literal 0 binary64)))
(-.f64 %3 %109)
(-.f64 %3 %112)
(-.f64 %3 #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) %43)
(-.f64 #s(literal 1 binary64) (neg.f64 %299))
%3
(+.f64 %192 %121)
(+.f64 %121 %192)
(+.f64 %271 %271)
(+.f64 %134 %134)
(+.f64 %136 %136)
(+.f64 %307 #s(literal 1/2 binary64))
(+.f64 %123 #s(literal 1/2 binary64))
(+.f64 %7 %7)
(+.f64 %41 %41)
(+.f64 %112 %3)
(+.f64 #s(literal 1/2 binary64) %307)
(+.f64 #s(literal 1/2 binary64) %123)
(+.f64 %50 #s(literal 1 binary64))
(+.f64 %3 %107)
(+.f64 %3 %110)
(+.f64 %3 %113)
(+.f64 %3 %115)
(+.f64 %3 %109)
(+.f64 %3 %112)
(+.f64 %3 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 %299 #s(literal 1 binary64)))
(+.f64 #s(literal 1 binary64) %299)
(+.f64 #s(literal 1 binary64) %50)
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %327)
(pow.f64 %327 #s(literal 1 binary64))
%327
(/.f64 #s(literal 1 binary64) (pow.f64 %327 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %334)
(pow.f64 %334 #s(literal 1 binary64))
%334
(/.f64 #s(literal 1 binary64) (pow.f64 %334 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %341)
(pow.f64 %341 #s(literal 1 binary64))
%341
(/.f64 #s(literal 1 binary64) (pow.f64 %341 #s(literal -1 binary64)))
(neg.f64 %346)
(*.f64 %349 #s(literal 1/2 binary64))
(*.f64 %352 #s(literal -1/2 binary64))
(*.f64 %354 #s(literal 1/2 binary64))
(*.f64 %356 #s(literal 2 binary64))
(*.f64 %358 #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) %360)
(*.f64 #s(literal -1/2 binary64) %352)
(*.f64 #s(literal -2 binary64) %363)
(*.f64 #s(literal 1/2 binary64) %365)
(*.f64 #s(literal 1/2 binary64) %354)
(*.f64 #s(literal 2 binary64) %369)
(*.f64 #s(literal 2 binary64) %371)
(*.f64 #s(literal 2 binary64) %356)
(*.f64 #s(literal 2 binary64) %368)
(*.f64 #s(literal -1 binary64) %351)
(*.f64 %348 #s(literal 1 binary64))
(*.f64 %351 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %348)
(pow.f64 %348 #s(literal 1 binary64))
(/.f64 (fma.f64 %380 #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 x #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %385 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %348 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %348 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 x %51) %51) %51)
(/.f64 (-.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %365 #s(literal 2 binary64))
(/.f64 (-.f64 %405 #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 %408 #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %411 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %352) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %352) #s(literal -4 binary64))
(/.f64 (*.f64 %354 %51) %74)
(/.f64 (*.f64 %51 %354) %77)
(/.f64 (*.f64 %352 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %352 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %354) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %354) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %354) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %354) #s(literal 4 binary64))
(/.f64 (*.f64 %354 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 %408 #s(literal -4 binary64))
(/.f64 %411 #s(literal 4 binary64))
(/.f64 %405 #s(literal 8 binary64))
(/.f64 %352 #s(literal -2 binary64))
(/.f64 %354 #s(literal 2 binary64))
(/.f64 %348 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %354))
(/.f64 #s(literal 1 binary64) (pow.f64 %348 #s(literal -1 binary64)))
(neg.f64 %351)
(fma.f64 %349 #s(literal 1/2 binary64) %447)
(fma.f64 %349 #s(literal 1/2 binary64) %450)
(fma.f64 %349 #s(literal 1/2 binary64) %453)
(fma.f64 %349 #s(literal 1/2 binary64) %455)
(fma.f64 %349 #s(literal 1/2 binary64) %457)
(fma.f64 %349 #s(literal 1/2 binary64) %459)
(fma.f64 %349 #s(literal 1/2 binary64) %449)
(fma.f64 %349 #s(literal 1/2 binary64) %452)
(fma.f64 %349 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) %356 %464)
(fma.f64 %466 #s(literal -1 binary64) #s(literal -1/2 binary64))
(fma.f64 %352 #s(literal -1/2 binary64) %447)
(fma.f64 %352 #s(literal -1/2 binary64) %450)
(fma.f64 %352 #s(literal -1/2 binary64) %453)
(fma.f64 %352 #s(literal -1/2 binary64) %455)
(fma.f64 %352 #s(literal -1/2 binary64) %457)
(fma.f64 %352 #s(literal -1/2 binary64) %459)
(fma.f64 %352 #s(literal -1/2 binary64) %449)
(fma.f64 %352 #s(literal -1/2 binary64) %452)
(fma.f64 %352 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %354 #s(literal 1/2 binary64) %447)
(fma.f64 %354 #s(literal 1/2 binary64) %450)
(fma.f64 %354 #s(literal 1/2 binary64) %453)
(fma.f64 %354 #s(literal 1/2 binary64) %455)
(fma.f64 %354 #s(literal 1/2 binary64) %457)
(fma.f64 %354 #s(literal 1/2 binary64) %459)
(fma.f64 %354 #s(literal 1/2 binary64) %449)
(fma.f64 %354 #s(literal 1/2 binary64) %452)
(fma.f64 %354 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %356 #s(literal 2 binary64) %447)
(fma.f64 %356 #s(literal 2 binary64) %450)
(fma.f64 %356 #s(literal 2 binary64) %453)
(fma.f64 %356 #s(literal 2 binary64) %455)
(fma.f64 %356 #s(literal 2 binary64) %457)
(fma.f64 %356 #s(literal 2 binary64) %459)
(fma.f64 %356 #s(literal 2 binary64) %449)
(fma.f64 %356 #s(literal 2 binary64) %452)
(fma.f64 %356 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %356 #s(literal 1 binary64) %495)
(fma.f64 %358 #s(literal -2 binary64) %447)
(fma.f64 %358 #s(literal -2 binary64) %450)
(fma.f64 %358 #s(literal -2 binary64) %453)
(fma.f64 %358 #s(literal -2 binary64) %455)
(fma.f64 %358 #s(literal -2 binary64) %457)
(fma.f64 %358 #s(literal -2 binary64) %459)
(fma.f64 %358 #s(literal -2 binary64) %449)
(fma.f64 %358 #s(literal -2 binary64) %452)
(fma.f64 %358 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %358 #s(literal -1 binary64) %506)
(fma.f64 %368 #s(literal 1 binary64) %508)
(fma.f64 %363 #s(literal -1 binary64) %510)
(fma.f64 %513 #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 %380 #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) %360 %447)
(fma.f64 #s(literal 4 binary64) %360 %450)
(fma.f64 #s(literal 4 binary64) %360 %453)
(fma.f64 #s(literal 4 binary64) %360 %455)
(fma.f64 #s(literal 4 binary64) %360 %457)
(fma.f64 #s(literal 4 binary64) %360 %459)
(fma.f64 #s(literal 4 binary64) %360 %449)
(fma.f64 #s(literal 4 binary64) %360 %452)
(fma.f64 #s(literal 4 binary64) %360 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %352 %447)
(fma.f64 #s(literal -1/2 binary64) %352 %450)
(fma.f64 #s(literal -1/2 binary64) %352 %453)
(fma.f64 #s(literal -1/2 binary64) %352 %455)
(fma.f64 #s(literal -1/2 binary64) %352 %457)
(fma.f64 #s(literal -1/2 binary64) %352 %459)
(fma.f64 #s(literal -1/2 binary64) %352 %449)
(fma.f64 #s(literal -1/2 binary64) %352 %452)
(fma.f64 #s(literal -1/2 binary64) %352 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %351 %534)
(fma.f64 #s(literal -2 binary64) %363 %447)
(fma.f64 #s(literal -2 binary64) %363 %450)
(fma.f64 #s(literal -2 binary64) %363 %453)
(fma.f64 #s(literal -2 binary64) %363 %455)
(fma.f64 #s(literal -2 binary64) %363 %457)
(fma.f64 #s(literal -2 binary64) %363 %459)
(fma.f64 #s(literal -2 binary64) %363 %449)
(fma.f64 #s(literal -2 binary64) %363 %452)
(fma.f64 #s(literal -2 binary64) %363 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %365 %447)
(fma.f64 #s(literal 1/2 binary64) %365 %450)
(fma.f64 #s(literal 1/2 binary64) %365 %453)
(fma.f64 #s(literal 1/2 binary64) %365 %455)
(fma.f64 #s(literal 1/2 binary64) %365 %457)
(fma.f64 #s(literal 1/2 binary64) %365 %459)
(fma.f64 #s(literal 1/2 binary64) %365 %449)
(fma.f64 #s(literal 1/2 binary64) %365 %452)
(fma.f64 #s(literal 1/2 binary64) %365 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %354 %447)
(fma.f64 #s(literal 1/2 binary64) %354 %450)
(fma.f64 #s(literal 1/2 binary64) %354 %453)
(fma.f64 #s(literal 1/2 binary64) %354 %455)
(fma.f64 #s(literal 1/2 binary64) %354 %457)
(fma.f64 #s(literal 1/2 binary64) %354 %459)
(fma.f64 #s(literal 1/2 binary64) %354 %449)
(fma.f64 #s(literal 1/2 binary64) %354 %452)
(fma.f64 #s(literal 1/2 binary64) %354 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %356 %563)
(fma.f64 #s(literal 1/2 binary64) %348 %368)
(fma.f64 #s(literal 2 binary64) %369 %447)
(fma.f64 #s(literal 2 binary64) %369 %450)
(fma.f64 #s(literal 2 binary64) %369 %453)
(fma.f64 #s(literal 2 binary64) %369 %455)
(fma.f64 #s(literal 2 binary64) %369 %457)
(fma.f64 #s(literal 2 binary64) %369 %459)
(fma.f64 #s(literal 2 binary64) %369 %449)
(fma.f64 #s(literal 2 binary64) %369 %452)
(fma.f64 #s(literal 2 binary64) %369 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %371 %447)
(fma.f64 #s(literal 2 binary64) %371 %450)
(fma.f64 #s(literal 2 binary64) %371 %453)
(fma.f64 #s(literal 2 binary64) %371 %455)
(fma.f64 #s(literal 2 binary64) %371 %457)
(fma.f64 #s(literal 2 binary64) %371 %459)
(fma.f64 #s(literal 2 binary64) %371 %449)
(fma.f64 #s(literal 2 binary64) %371 %452)
(fma.f64 #s(literal 2 binary64) %371 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %356 %447)
(fma.f64 #s(literal 2 binary64) %356 %450)
(fma.f64 #s(literal 2 binary64) %356 %453)
(fma.f64 #s(literal 2 binary64) %356 %455)
(fma.f64 #s(literal 2 binary64) %356 %457)
(fma.f64 #s(literal 2 binary64) %356 %459)
(fma.f64 #s(literal 2 binary64) %356 %449)
(fma.f64 #s(literal 2 binary64) %356 %452)
(fma.f64 #s(literal 2 binary64) %356 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %368 %447)
(fma.f64 #s(literal 2 binary64) %368 %450)
(fma.f64 #s(literal 2 binary64) %368 %453)
(fma.f64 #s(literal 2 binary64) %368 %455)
(fma.f64 #s(literal 2 binary64) %368 %457)
(fma.f64 #s(literal 2 binary64) %368 %459)
(fma.f64 #s(literal 2 binary64) %368 %449)
(fma.f64 #s(literal 2 binary64) %368 %452)
(fma.f64 #s(literal 2 binary64) %368 #s(literal 0 binary64))
(fma.f64 %512 #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) %351 %447)
(fma.f64 #s(literal -1 binary64) %351 %450)
(fma.f64 #s(literal -1 binary64) %351 %453)
(fma.f64 #s(literal -1 binary64) %351 %455)
(fma.f64 #s(literal -1 binary64) %351 %457)
(fma.f64 #s(literal -1 binary64) %351 %459)
(fma.f64 #s(literal -1 binary64) %351 %449)
(fma.f64 #s(literal -1 binary64) %351 %452)
(fma.f64 #s(literal -1 binary64) %351 #s(literal 0 binary64))
(fma.f64 %348 #s(literal 1/2 binary64) %356)
(fma.f64 %348 #s(literal 1 binary64) %447)
(fma.f64 %348 #s(literal 1 binary64) %450)
(fma.f64 %348 #s(literal 1 binary64) %453)
(fma.f64 %348 #s(literal 1 binary64) %455)
(fma.f64 %348 #s(literal 1 binary64) %457)
(fma.f64 %348 #s(literal 1 binary64) %459)
(fma.f64 %348 #s(literal 1 binary64) %449)
(fma.f64 %348 #s(literal 1 binary64) %452)
(fma.f64 %348 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %351 #s(literal -1 binary64) %447)
(fma.f64 %351 #s(literal -1 binary64) %450)
(fma.f64 %351 #s(literal -1 binary64) %453)
(fma.f64 %351 #s(literal -1 binary64) %455)
(fma.f64 %351 #s(literal -1 binary64) %457)
(fma.f64 %351 #s(literal -1 binary64) %459)
(fma.f64 %351 #s(literal -1 binary64) %449)
(fma.f64 %351 #s(literal -1 binary64) %452)
(fma.f64 %351 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %348 %348)
(fma.f64 #s(literal 0 binary64) %351 %348)
(fma.f64 #s(literal 1 binary64) %356 %633)
(fma.f64 #s(literal 1 binary64) %348 %447)
(fma.f64 #s(literal 1 binary64) %348 %450)
(fma.f64 #s(literal 1 binary64) %348 %453)
(fma.f64 #s(literal 1 binary64) %348 %455)
(fma.f64 #s(literal 1 binary64) %348 %457)
(fma.f64 #s(literal 1 binary64) %348 %459)
(fma.f64 #s(literal 1 binary64) %348 %449)
(fma.f64 #s(literal 1 binary64) %348 %452)
(fma.f64 #s(literal 1 binary64) %348 #s(literal 0 binary64))
(fma.f64 x #s(literal 1 binary64) #s(literal -1 binary64))
(-.f64 (/.f64 (+.f64 x x) #s(literal 2 binary64)) #s(literal 1 binary64))
(-.f64 %385 #s(literal 1/2 binary64))
(-.f64 %356 %358)
(-.f64 %368 (*.f64 #s(literal -1/2 binary64) %348))
(-.f64 %368 %363)
(-.f64 %380 #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) x))
(-.f64 #s(literal -1 binary64) %513)
(-.f64 #s(literal -1 binary64) %512)
(-.f64 %348 %449)
(-.f64 %348 %452)
(-.f64 %348 #s(literal 0 binary64))
%348
(+.f64 %506 %506)
(+.f64 %510 %510)
(+.f64 %663 #s(literal -1/2 binary64))
(+.f64 %665 #s(literal -1 binary64))
(+.f64 %563 %464)
(+.f64 %464 %563)
(+.f64 %633 %633)
(+.f64 %495 %495)
(+.f64 %508 %508)
(+.f64 %672 #s(literal -1 binary64))
(+.f64 %674 #s(literal -1 binary64))
(+.f64 %534 %534)
(+.f64 %385 #s(literal -1/2 binary64))
(+.f64 %356 %356)
(+.f64 %368 %368)
(+.f64 %452 %348)
(+.f64 %380 #s(literal -1 binary64))
(+.f64 #s(literal -1/2 binary64) %663)
(+.f64 #s(literal -1/2 binary64) %385)
(+.f64 #s(literal -1 binary64) (*.f64 %684 #s(literal -1 binary64)))
(+.f64 #s(literal -1 binary64) %665)
(+.f64 #s(literal -1 binary64) %672)
(+.f64 #s(literal -1 binary64) %674)
(+.f64 #s(literal -1 binary64) (neg.f64 %684))
(+.f64 #s(literal -1 binary64) %380)
(+.f64 #s(literal -1 binary64) x)
(+.f64 %348 %447)
(+.f64 %348 %450)
(+.f64 %348 %453)
(+.f64 %348 %455)
(+.f64 %348 %457)
(+.f64 %348 %459)
(+.f64 %348 %449)
(+.f64 %348 %452)
(+.f64 %348 #s(literal 0 binary64))
(+.f64 x #s(literal -1 binary64))
(*.f64 %705 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %704)
(pow.f64 %704 #s(literal 1 binary64))
(/.f64 (fma.f64 %709 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %712 #s(literal 2 binary64) %11) #s(literal 2 binary64))
(/.f64 (fma.f64 %715 %51 %51) %51)
(/.f64 (fma.f64 %715 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %715 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %715 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %704 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %704 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %715 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %704 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %705 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %705 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %705 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %705) #s(literal -2 binary64))
(/.f64 %705 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %705))
(/.f64 #s(literal 1 binary64) (pow.f64 %704 #s(literal -1 binary64)))
(neg.f64 (fma.f64 %351 y #s(literal -1 binary64)))
(fma.f64 %705 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %50 %512 %3)
(fma.f64 %50 %351 #s(literal 1 binary64))
(fma.f64 %512 %50 %3)
%704
(fma.f64 %351 %50 #s(literal 1 binary64))
(fma.f64 y %348 #s(literal 1 binary64))
(fma.f64 y x %3)
(fma.f64 #s(literal 1 binary64) %712 %3)
(fma.f64 #s(literal 1 binary64) %715 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %704 #s(literal 0 binary64))
(fma.f64 x y %3)
(-.f64 %709 #s(literal -1/2 binary64))
(-.f64 %760 y)
(-.f64 %712 %43)
(-.f64 #s(literal 1/2 binary64) (neg.f64 %764))
(-.f64 %50 (-.f64 #s(literal -1 binary64) %712))
(-.f64 %715 #s(literal -1 binary64))
(-.f64 %704 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (neg.f64 %771))
(-.f64 #s(literal 1 binary64) %763)
(+.f64 (/.f64 (*.f64 %715 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %709 #s(literal 1/2 binary64))
(+.f64 %760 %50)
(+.f64 %712 %3)
(+.f64 #s(literal 1/2 binary64) %764)
(+.f64 %715 #s(literal 1 binary64))
(+.f64 %704 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %771)
(+.f64 #s(literal 1 binary64) %715)
(*.f64 #s(literal 1 binary64) %787)
(pow.f64 %787 #s(literal 1 binary64))
%787
(/.f64 #s(literal 1 binary64) (pow.f64 %787 #s(literal -1 binary64)))
%792
(*.f64 y %327)
(*.f64 #s(literal 1 binary64) %792)
(pow.f64 %792 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %792 #s(literal -1 binary64)))
(neg.f64 (*.f64 %50 %327))
(neg.f64 (*.f64 %327 %50))
(*.f64 #s(literal 1 binary64) %802)
(pow.f64 %802 #s(literal 1 binary64))
%802
(/.f64 #s(literal 1 binary64) (pow.f64 %802 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %807)
(pow.f64 %807 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %807 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %807))
(fma.f64 #s(literal 1 binary64) %341 %815)
(fma.f64 #s(literal 1 binary64) %341 %327)
(fma.f64 #s(literal 1 binary64) %327 %341)
(-.f64 %341 (neg.f64 %815))
(-.f64 %341 %814)
(-.f64 %327 %346)
(+.f64 %341 %815)
%807
(+.f64 %327 %341)
(*.f64 #s(literal 1 binary64) %825)
(pow.f64 %825 #s(literal 1 binary64))
%825
(/.f64 #s(literal 1 binary64) (pow.f64 %825 #s(literal -1 binary64)))
(neg.f64 %830)
(*.f64 #s(literal 1 binary64) %832)
(pow.f64 %832 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %832 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %832))
(fma.f64 #s(literal 1 binary64) %825 x)
(-.f64 %825 %512)
(-.f64 x %830)
%832
(+.f64 x %825)
reconstruct50.0ms (3.2%)
Counts
673 → 62
Compiler
Compiled 673 to 911 computations (-35.4% saved)
eval6.0ms (0.4%)
Compiler
Compiled 58 to 164 computations (-182.8% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (3 fresh and 4 done)
PrunedKeptTotal
New55358
Fresh000
Picked134
Done011
Total56763
Accuracy
100.0%
Counts
63 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶38.6%
%2 = (- 1 x)
(+.f64 (approx x #s(literal 0 binary64)) (approx (* %2 (- 1 y)) (approx %2 #s(literal 1 binary64))))
✓25.4%
%2 = (- 1 x)
(+.f64 x (approx (* %2 (- 1 y)) (approx %2 #s(literal 1 binary64))))
✓100.0%
(approx (+ (* (- 1 y) (- 1 x)) x) (fma.f64 y (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
▶64.1%
(approx (+ (* (- 1 y) (- 1 x)) x) (fma.f64 y (approx (- x 1) #s(literal -1 binary64)) #s(literal 1 binary64)))
▶62.8%
(approx (+ (* (- 1 y) (- 1 x)) x) (approx (+ (* y (- x 1)) 1) (*.f64 y (-.f64 x #s(literal 1 binary64)))))
✓2.5%
(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 (approx x #s(literal 0 binary64)) y))
✓37.6%
(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 x y))
Compiler
Compiled 7 to 13 computations (-85.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series11.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0136605
Stop Event
1×iter-limit
Counts
16 → 42
Calls
Call 1
Inputs
%4 = (approx x #s(literal 0 binary64))
%6 = (- 1 x)
%7 = (approx %6 #s(literal 1 binary64))
%9 = (-.f64 x #s(literal 1 binary64))
%10 = (*.f64 y %9)
%11 = (- 1 y)
%13 = (approx (* %6 %11) %7)
%14 = (- x 1)
%15 = (approx %14 #s(literal -1 binary64))
%18 = (approx (+ (* y %14) 1) %10)
%19 = (fma.f64 y %15 #s(literal 1 binary64))
%21 = (+ (* %11 %6) x)
x
#s(literal 1 binary64)
y
#s(literal 0 binary64)
%4
%7
#s(literal -1 binary64)
%9
%10
%13
%15
%18
%19
(approx %21 %19)
(+.f64 %4 %13)
(approx %21 %18)
Outputs
%5 = (- 1 x)
%9 = (*.f64 #s(literal -1 binary64) x)
%12 = (- x 1)
%14 = (-.f64 x #s(literal 1 binary64))
%17 = (* y %12)
%18 = (*.f64 #s(literal -1 binary64) y)
%20 = (*.f64 x y)
%21 = (fma.f64 #s(literal -1 binary64) y %20)
%23 = (- 1 y)
%24 = (* %5 %23)
%25 = (-.f64 #s(literal 1 binary64) y)
%28 = (*.f64 #s(literal -1 binary64) (*.f64 x %25))
%32 = (+ %17 1)
%33 = (+.f64 #s(literal 1 binary64) %18)
%38 = (+ (* %23 %5) x)
%41 = (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %25)))
%46 = (/.f64 #s(literal 1 binary64) x)
%48 = (*.f64 x (-.f64 %46 #s(literal 1 binary64)))
%51 = (*.f64 x (-.f64 #s(literal 1 binary64) %46))
%54 = (/.f64 y x)
%60 = (fma.f64 #s(literal -1 binary64) %25 %46)
%82 = (*.f64 #s(literal -1 binary64) (/.f64 %25 x))
%99 = (*.f64 y %14)
%101 = (-.f64 #s(literal 1 binary64) x)
%104 = (*.f64 #s(literal -1 binary64) (*.f64 y %101))
%105 = (+.f64 #s(literal 1 binary64) %104)
%112 = (/.f64 #s(literal 1 binary64) y)
%113 = (fma.f64 #s(literal -1 binary64) %101 %112)
%118 = (+.f64 x %112)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) %9))
(approx %12 #s(literal -1 binary64))
(approx %12 %14)
(approx %17 %18)
(approx %17 %21)
(approx %24 %25)
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) %28) y))
(approx %32 %33)
(approx %32 (+.f64 #s(literal 1 binary64) %21))
(approx %38 (-.f64 (+.f64 #s(literal 1 binary64) %41) y))
(approx %5 %9)
(approx %5 %48)
(approx %12 %51)
(approx %17 %20)
(approx %17 (*.f64 x (+.f64 y (*.f64 #s(literal -1 binary64) %54))))
(approx %24 %28)
(approx %24 (*.f64 x (-.f64 %60 %54)))
(approx %32 (*.f64 x (+.f64 y (fma.f64 #s(literal -1 binary64) %54 %46))))
(approx %38 %41)
(approx %38 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %60) %54)))
(approx %5 (*.f64 #s(literal -1 binary64) %51))
(approx %12 (*.f64 #s(literal -1 binary64) %48))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y %54))))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %82) y))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 %33 x))))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %82 y))))
(approx y y)
(approx %17 %99)
(approx %24 %101)
(approx %24 (-.f64 %105 x))
(approx %32 (+.f64 #s(literal 1 binary64) %99))
(approx %38 %105)
(approx %24 %104)
(approx %24 (*.f64 y (-.f64 %113 (/.f64 x y))))
(approx %32 (*.f64 y (-.f64 %118 #s(literal 1 binary64))))
(approx %38 (*.f64 y %113))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %101 y))) x))))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %14) %112))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %118))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
inf
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
-inf
1.0ms
x
0
rewrite72.0ms (4.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
024118
029118
180118
2172118
3765118
04216118
04387114
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
16 → 330
Calls
Call 1
Inputs
%4 = (approx x #s(literal 0 binary64))
%6 = (- 1 x)
%7 = (approx %6 #s(literal 1 binary64))
%9 = (-.f64 x #s(literal 1 binary64))
%10 = (*.f64 y %9)
%11 = (- 1 y)
%13 = (approx (* %6 %11) %7)
%14 = (- x 1)
%15 = (approx %14 #s(literal -1 binary64))
%18 = (approx (+ (* y %14) 1) %10)
%19 = (fma.f64 y %15 #s(literal 1 binary64))
%21 = (+ (* %11 %6) x)
x
#s(literal 1 binary64)
y
#s(literal 0 binary64)
%4
%7
#s(literal -1 binary64)
%9
%10
%13
%15
%18
%19
(approx %21 %19)
(+.f64 %4 %13)
(approx %21 %18)
Outputs
%4 = (approx x #s(literal 0 binary64))
%11 = (- 1 x)
%12 = (approx %11 #s(literal 1 binary64))
%17 = (-.f64 #s(literal 1 binary64) x)
%19 = (*.f64 %17 #s(literal 1/2 binary64))
%20 = (neg.f64 %19)
%23 = (*.f64 #s(literal 2 binary64) %17)
%24 = (neg.f64 %23)
%30 = (fma.f64 x #s(literal 2 binary64) #s(literal -2 binary64))
%33 = (*.f64 #s(literal 1/2 binary64) %17)
%36 = (neg.f64 %33)
%38 = (-.f64 x #s(literal 1 binary64))
%46 = (-.f64 x #s(literal 1/2 binary64))
%60 = (E.f64 )
%70 = (*.f64 x #s(literal 1 binary64))
%75 = (*.f64 %30 #s(literal 4 binary64))
%79 = (*.f64 %30 #s(literal -2 binary64))
%83 = (*.f64 %30 #s(literal 2 binary64))
%122 = (*.f64 %17 #s(literal 0 binary64))
%123 = (*.f64 %122 #s(literal -1 binary64))
%125 = (*.f64 #s(literal 0 binary64) %17)
%126 = (*.f64 %125 #s(literal -1 binary64))
%128 = (*.f64 #s(literal 0 binary64) %38)
%139 = (-.f64 #s(literal 1/2 binary64) x)
%147 = (*.f64 %19 #s(literal -1 binary64))
%149 = (neg.f64 x)
%150 = (*.f64 %149 #s(literal 1 binary64))
%152 = (*.f64 %33 #s(literal -1 binary64))
%172 = (*.f64 #s(literal -1/2 binary64) %17)
%186 = (*.f64 #s(literal 1/2 binary64) %38)
%229 = (*.f64 %139 #s(literal -1 binary64))
%231 = (*.f64 %150 #s(literal -1 binary64))
%235 = (*.f64 %149 #s(literal -1 binary64))
%240 = (neg.f64 %150)
%252 = (-.f64 #s(literal 0 binary64) x)
%263 = (neg.f64 y)
%265 = (*.f64 %38 y)
%274 = (*.f64 #s(literal 1/2 binary64) %263)
%276 = (*.f64 y #s(literal -2 binary64))
%277 = (*.f64 %252 %263)
%279 = (*.f64 %150 %263)
%281 = (*.f64 y x)
%283 = (*.f64 %19 %263)
%286 = (*.f64 %33 %263)
%288 = (+.f64 y y)
%292 = (*.f64 #s(literal 1/2 binary64) y)
%296 = (*.f64 %139 %263)
%298 = (*.f64 #s(literal -1/2 binary64) y)
%303 = (*.f64 %122 %263)
%305 = (*.f64 %125 %263)
%307 = (*.f64 #s(literal 0 binary64) %263)
%353 = (* (- 1 y) %11)
%354 = (approx %353 %12)
%359 = (neg.f64 %354)
%361 = (- x 1)
%362 = (approx %361 #s(literal -1 binary64))
%370 = (approx (- (* %361 y) -1) %265)
%375 = (fma.f64 %362 y #s(literal 1 binary64))
%376 = (*.f64 #s(literal 2 binary64) %375)
%380 = (fma.f64 %362 y #s(literal 1/2 binary64))
%383 = (*.f64 %362 y)
%416 = (neg.f64 %362)
%417 = (neg.f64 %416)
%427 = (+.f64 #s(literal 1/2 binary64) %383)
%435 = (+.f64 #s(literal 0 binary64) %383)
%449 = (+ %353 x)
%450 = (approx %449 %375)
%455 = (+.f64 %354 %4)
%462 = (neg.f64 %4)
%463 = (neg.f64 %462)
%473 = (approx %449 %370)
x
#s(literal 1 binary64)
y
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %12)
(pow.f64 %12 #s(literal 1 binary64))
%12
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
#s(literal -1 binary64)
(*.f64 %20 #s(literal 2 binary64))
(*.f64 %24 #s(literal 1/2 binary64))
(*.f64 %19 #s(literal -2 binary64))
(*.f64 %23 #s(literal -1/2 binary64))
(*.f64 %30 #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) %23)
(*.f64 #s(literal -2 binary64) %33)
(*.f64 #s(literal 1/2 binary64) %24)
(*.f64 #s(literal 2 binary64) %36)
(*.f64 %38 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %17)
(*.f64 %17 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %38)
(pow.f64 %38 #s(literal 1 binary64))
(/.f64 (fma.f64 x #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %46 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %38 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %38 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %38 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 x %60) %60) %60)
(/.f64 (-.f64 (*.f64 x #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %70 #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 %30 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %75 #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 %79 #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %83 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %30 %60) (*.f64 #s(literal 2 binary64) %60))
(/.f64 %75 #s(literal 8 binary64))
(/.f64 %79 #s(literal -4 binary64))
(/.f64 %83 #s(literal 4 binary64))
(/.f64 (*.f64 %30 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %23 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %23 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %60 %30) (*.f64 %60 #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal 4 binary64) %30) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %30) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %30) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %30) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %23) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %23) #s(literal -4 binary64))
(/.f64 %24 #s(literal 2 binary64))
(/.f64 %23 #s(literal -2 binary64))
(/.f64 %30 #s(literal 2 binary64))
(/.f64 %38 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %30))
(/.f64 #s(literal 1 binary64) (pow.f64 %38 #s(literal -1 binary64)))
(neg.f64 %17)
(fma.f64 %20 #s(literal 2 binary64) %123)
(fma.f64 %20 #s(literal 2 binary64) %126)
(fma.f64 %20 #s(literal 2 binary64) %128)
(fma.f64 %20 #s(literal 2 binary64) %122)
(fma.f64 %20 #s(literal 2 binary64) %125)
(fma.f64 %20 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %24 #s(literal 1/2 binary64) %123)
(fma.f64 %24 #s(literal 1/2 binary64) %126)
(fma.f64 %24 #s(literal 1/2 binary64) %128)
(fma.f64 %24 #s(literal 1/2 binary64) %122)
(fma.f64 %24 #s(literal 1/2 binary64) %125)
(fma.f64 %24 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %139 #s(literal -1 binary64) #s(literal -1/2 binary64))
(fma.f64 %19 #s(literal -2 binary64) %123)
(fma.f64 %19 #s(literal -2 binary64) %126)
(fma.f64 %19 #s(literal -2 binary64) %128)
(fma.f64 %19 #s(literal -2 binary64) %122)
(fma.f64 %19 #s(literal -2 binary64) %125)
(fma.f64 %19 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %19 #s(literal -1 binary64) %147)
(fma.f64 %150 #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 %33 #s(literal -1 binary64) %152)
(fma.f64 %23 #s(literal -1/2 binary64) %123)
(fma.f64 %23 #s(literal -1/2 binary64) %126)
(fma.f64 %23 #s(literal -1/2 binary64) %128)
(fma.f64 %23 #s(literal -1/2 binary64) %122)
(fma.f64 %23 #s(literal -1/2 binary64) %125)
(fma.f64 %23 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %30 #s(literal 1/2 binary64) %123)
(fma.f64 %30 #s(literal 1/2 binary64) %126)
(fma.f64 %30 #s(literal 1/2 binary64) %128)
(fma.f64 %30 #s(literal 1/2 binary64) %122)
(fma.f64 %30 #s(literal 1/2 binary64) %125)
(fma.f64 %30 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %23 %123)
(fma.f64 #s(literal -1/2 binary64) %23 %126)
(fma.f64 #s(literal -1/2 binary64) %23 %128)
(fma.f64 #s(literal -1/2 binary64) %23 %122)
(fma.f64 #s(literal -1/2 binary64) %23 %125)
(fma.f64 #s(literal -1/2 binary64) %23 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %17 %172)
(fma.f64 #s(literal -2 binary64) %33 %123)
(fma.f64 #s(literal -2 binary64) %33 %126)
(fma.f64 #s(literal -2 binary64) %33 %128)
(fma.f64 #s(literal -2 binary64) %33 %122)
(fma.f64 #s(literal -2 binary64) %33 %125)
(fma.f64 #s(literal -2 binary64) %33 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %24 %123)
(fma.f64 #s(literal 1/2 binary64) %24 %126)
(fma.f64 #s(literal 1/2 binary64) %24 %128)
(fma.f64 #s(literal 1/2 binary64) %24 %122)
(fma.f64 #s(literal 1/2 binary64) %24 %125)
(fma.f64 #s(literal 1/2 binary64) %24 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %38 %186)
(fma.f64 #s(literal 2 binary64) %36 %123)
(fma.f64 #s(literal 2 binary64) %36 %126)
(fma.f64 #s(literal 2 binary64) %36 %128)
(fma.f64 #s(literal 2 binary64) %36 %122)
(fma.f64 #s(literal 2 binary64) %36 %125)
(fma.f64 #s(literal 2 binary64) %36 #s(literal 0 binary64))
(fma.f64 %149 #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 %38 #s(literal 1 binary64) %123)
(fma.f64 %38 #s(literal 1 binary64) %126)
(fma.f64 %38 #s(literal 1 binary64) %128)
(fma.f64 %38 #s(literal 1 binary64) %122)
(fma.f64 %38 #s(literal 1 binary64) %125)
(fma.f64 %38 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %17 %123)
(fma.f64 #s(literal -1 binary64) %17 %126)
(fma.f64 #s(literal -1 binary64) %17 %128)
(fma.f64 #s(literal -1 binary64) %17 %122)
(fma.f64 #s(literal -1 binary64) %17 %125)
(fma.f64 #s(literal -1 binary64) %17 #s(literal 0 binary64))
(fma.f64 %17 #s(literal -1 binary64) %123)
(fma.f64 %17 #s(literal -1 binary64) %126)
(fma.f64 %17 #s(literal -1 binary64) %128)
(fma.f64 %17 #s(literal -1 binary64) %122)
(fma.f64 %17 #s(literal -1 binary64) %125)
(fma.f64 %17 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %38 %38)
(fma.f64 #s(literal 1 binary64) %38 %123)
(fma.f64 #s(literal 1 binary64) %38 %126)
(fma.f64 #s(literal 1 binary64) %38 %128)
(fma.f64 #s(literal 1 binary64) %38 %122)
(fma.f64 #s(literal 1 binary64) %38 %125)
(fma.f64 #s(literal 1 binary64) %38 #s(literal 0 binary64))
(fma.f64 x #s(literal 1 binary64) #s(literal -1 binary64))
(-.f64 (/.f64 (+.f64 x x) #s(literal 2 binary64)) #s(literal 1 binary64))
(-.f64 %46 #s(literal 1/2 binary64))
(-.f64 %38 #s(literal 0 binary64))
(-.f64 #s(literal -1 binary64) %149)
%38
(+.f64 %147 %147)
(+.f64 %152 %152)
(+.f64 %229 #s(literal -1/2 binary64))
(+.f64 %231 #s(literal -1 binary64))
(+.f64 %186 %186)
(+.f64 %128 %38)
(+.f64 %235 #s(literal -1 binary64))
(+.f64 %172 %172)
(+.f64 %20 %20)
(+.f64 %36 %36)
(+.f64 %240 #s(literal -1 binary64))
(+.f64 %70 #s(literal -1 binary64))
(+.f64 %46 #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) %229)
(+.f64 #s(literal -1/2 binary64) %46)
(+.f64 %38 %123)
(+.f64 %38 %126)
(+.f64 %38 %128)
(+.f64 %38 %122)
(+.f64 %38 %125)
(+.f64 %38 #s(literal 0 binary64))
(+.f64 #s(literal -1 binary64) (*.f64 %252 #s(literal -1 binary64)))
(+.f64 #s(literal -1 binary64) %231)
(+.f64 #s(literal -1 binary64) %235)
(+.f64 #s(literal -1 binary64) (neg.f64 %252))
(+.f64 #s(literal -1 binary64) %240)
(+.f64 #s(literal -1 binary64) %70)
(+.f64 #s(literal -1 binary64) x)
(+.f64 x #s(literal -1 binary64))
(*.f64 %263 %17)
%265
(*.f64 %17 %263)
(*.f64 y %38)
(*.f64 #s(literal 1 binary64) %265)
(pow.f64 %265 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %265 #s(literal -1 binary64)))
(neg.f64 (*.f64 %17 y))
(fma.f64 %139 %263 %274)
(fma.f64 %276 #s(literal 1/2 binary64) %277)
(fma.f64 %276 #s(literal 1/2 binary64) %279)
(fma.f64 %276 #s(literal 1/2 binary64) %281)
(fma.f64 %19 %263 %283)
(fma.f64 %150 %263 %263)
(fma.f64 %33 %263 %286)
(fma.f64 %288 #s(literal -1/2 binary64) %277)
(fma.f64 %288 #s(literal -1/2 binary64) %279)
(fma.f64 %288 #s(literal -1/2 binary64) %281)
(fma.f64 #s(literal -2 binary64) %292 %277)
(fma.f64 #s(literal -2 binary64) %292 %279)
(fma.f64 #s(literal -2 binary64) %292 %281)
(fma.f64 #s(literal 1/2 binary64) %263 %296)
(fma.f64 #s(literal 2 binary64) %298 %277)
(fma.f64 #s(literal 2 binary64) %298 %279)
(fma.f64 #s(literal 2 binary64) %298 %281)
(fma.f64 %263 %149 %263)
(fma.f64 %263 %17 %303)
(fma.f64 %263 %17 %305)
(fma.f64 %263 %17 %307)
(fma.f64 %263 #s(literal 1 binary64) %277)
(fma.f64 %263 #s(literal 1 binary64) %279)
(fma.f64 %263 #s(literal 1 binary64) %281)
(fma.f64 %149 %263 %263)
(fma.f64 %38 y %303)
(fma.f64 %38 y %305)
(fma.f64 %38 y %307)
(fma.f64 #s(literal -1 binary64) y %277)
(fma.f64 #s(literal -1 binary64) y %279)
(fma.f64 #s(literal -1 binary64) y %281)
(fma.f64 %17 %263 %303)
(fma.f64 %17 %263 %305)
(fma.f64 %17 %263 %307)
(fma.f64 y %38 %303)
(fma.f64 y %38 %305)
(fma.f64 y %38 %307)
(fma.f64 y #s(literal -1 binary64) %277)
(fma.f64 y #s(literal -1 binary64) %279)
(fma.f64 y #s(literal -1 binary64) %281)
(fma.f64 y x %263)
(fma.f64 #s(literal 1 binary64) %281 %263)
(fma.f64 #s(literal 1 binary64) %263 %277)
(fma.f64 #s(literal 1 binary64) %263 %279)
(fma.f64 #s(literal 1 binary64) %263 %281)
(fma.f64 #s(literal 1 binary64) %265 %303)
(fma.f64 #s(literal 1 binary64) %265 %305)
(fma.f64 #s(literal 1 binary64) %265 %307)
(fma.f64 x y %263)
(-.f64 %281 y)
(-.f64 %263 (*.f64 %263 x))
(+.f64 %283 %283)
(+.f64 %286 %286)
(+.f64 %296 %274)
(+.f64 %279 %263)
(+.f64 %274 %296)
(+.f64 %281 %263)
(+.f64 %263 %277)
(+.f64 %263 %279)
(+.f64 %263 %281)
(+.f64 %265 %303)
(+.f64 %265 %305)
(+.f64 %265 %307)
(*.f64 #s(literal 1 binary64) %354)
(pow.f64 %354 #s(literal 1 binary64))
%354
(/.f64 #s(literal 1 binary64) (pow.f64 %354 #s(literal -1 binary64)))
(neg.f64 %359)
(*.f64 #s(literal 1 binary64) %362)
(pow.f64 %362 #s(literal 1 binary64))
%362
(/.f64 #s(literal 1 binary64) (pow.f64 %362 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %370)
(pow.f64 %370 #s(literal 1 binary64))
%370
(/.f64 #s(literal 1 binary64) (pow.f64 %370 #s(literal -1 binary64)))
(*.f64 %376 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %375)
(pow.f64 %375 #s(literal 1 binary64))
(/.f64 (fma.f64 %380 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %383 %60 %60) %60)
(/.f64 (fma.f64 %383 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %383 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %383 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %375 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %375 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %383 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %375 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %376 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %376 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %376 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %376) #s(literal -2 binary64))
(/.f64 %376 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %376))
(/.f64 #s(literal 1 binary64) (pow.f64 %375 #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) %383))
(fma.f64 %417 y #s(literal 1 binary64))
(fma.f64 %376 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %416 %263 #s(literal 1 binary64))
(fma.f64 %263 %416 #s(literal 1 binary64))
%375
(fma.f64 y %417 #s(literal 1 binary64))
(fma.f64 y %362 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %383 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %375 #s(literal 0 binary64))
(-.f64 %380 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %427))
(-.f64 %383 #s(literal -1 binary64))
(-.f64 %375 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 %417) y))
(-.f64 #s(literal 1 binary64) (neg.f64 %435))
(-.f64 #s(literal 1 binary64) (*.f64 %263 %362))
(+.f64 (/.f64 (*.f64 %383 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %380 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %427)
(+.f64 %383 #s(literal 1 binary64))
(+.f64 %375 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %435)
(+.f64 #s(literal 1 binary64) %383)
(*.f64 #s(literal 1 binary64) %450)
(pow.f64 %450 #s(literal 1 binary64))
%450
(/.f64 #s(literal 1 binary64) (pow.f64 %450 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %455)
(pow.f64 %455 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %455 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %455))
(fma.f64 #s(literal 1 binary64) %354 %463)
(fma.f64 #s(literal 1 binary64) %354 %4)
(fma.f64 #s(literal 1 binary64) %4 %354)
(-.f64 %354 (neg.f64 %463))
(-.f64 %354 %462)
(-.f64 %4 %359)
(+.f64 %354 %463)
%455
(+.f64 %4 %354)
(*.f64 #s(literal 1 binary64) %473)
(pow.f64 %473 #s(literal 1 binary64))
%473
(/.f64 #s(literal 1 binary64) (pow.f64 %473 #s(literal -1 binary64)))
reconstruct29.0ms (1.9%)
Counts
371 → 63
Compiler
Compiled 371 to 543 computations (-46.4% saved)
eval5.0ms (0.3%)
Compiler
Compiled 55 to 149 computations (-170.9% saved)
prune2.0ms (0.2%)
Pruning
7 alts after pruning (1 fresh and 6 done)
PrunedKeptTotal
New54155
Fresh000
Picked033
Done134
Total55762
Accuracy
100.0%
Counts
62 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓38.6%
%2 = (- 1 x)
(+.f64 (approx x #s(literal 0 binary64)) (approx (* %2 (- 1 y)) (approx %2 #s(literal 1 binary64))))
✓25.4%
%2 = (- 1 x)
(+.f64 x (approx (* %2 (- 1 y)) (approx %2 #s(literal 1 binary64))))
✓100.0%
(approx (+ (* (- 1 y) (- 1 x)) x) (fma.f64 y (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
✓64.1%
(approx (+ (* (- 1 y) (- 1 x)) x) (fma.f64 y (approx (- x 1) #s(literal -1 binary64)) #s(literal 1 binary64)))
✓62.8%
(approx (+ (* (- 1 y) (- 1 x)) x) (approx (+ (* y (- x 1)) 1) (*.f64 y (-.f64 x #s(literal 1 binary64)))))
27.6%
%11 = (- x 1)
(approx (+ (* (- 1 y) (- 1 x)) x) (approx (+ (* y %11) 1) (*.f64 y (approx %11 #s(literal -1 binary64)))))
✓37.6%
(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 x y))
Compiler
Compiled 7 to 13 computations (-85.7% saved)
regimes31.0ms (2.0%)
Accuracy
Total 31.5b remaining (22.6%)
Threshold costs 0.4b (0.3%)
13.0b65.0%
6.8b68.3%
5.8b74.2%
5.6b74.9%
0.4b0.0%
Counts
1 → 1
2 → 1
3 → 3
5 → 5
6 → 3
10 → 3
11 → 1
Calls
Call 1
Inputs
%2 = (- 1 x)
(+.f64 x (approx (* %2 (- 1 y)) (approx %2 #s(literal 1 binary64))))
Outputs
%2 = (- 1 x)
(+.f64 x (approx (* %2 (- 1 y)) (approx %2 #s(literal 1 binary64))))
Call 2
Inputs
%2 = (- 1 x)
%8 = (approx (* %2 (- 1 y)) (approx %2 #s(literal 1 binary64)))
(+.f64 x %8)
(+.f64 (approx x #s(literal 0 binary64)) %8)
Outputs
%4 = (- 1 x)
(+.f64 (approx x #s(literal 0 binary64)) (approx (* %4 (- 1 y)) (approx %4 #s(literal 1 binary64))))
Call 3
Inputs
%2 = (- 1 x)
%5 = (* %2 (- 1 y))
%8 = (approx %5 (approx %2 #s(literal 1 binary64)))
(+.f64 x %8)
(+.f64 (approx x #s(literal 0 binary64)) %8)
(approx (+ x %5) (*.f64 x y))
Outputs
%2 = (- 1 x)
%5 = (* %2 (- 1 y))
%8 = (approx (+ x %5) (*.f64 x y))
%8
(+.f64 (approx x #s(literal 0 binary64)) (approx %5 (approx %2 #s(literal 1 binary64))))
%8
Call 4
Inputs
%2 = (- 1 x)
%4 = (- 1 y)
%5 = (* %2 %4)
%8 = (approx %5 (approx %2 #s(literal 1 binary64)))
%11 = (approx x #s(literal 0 binary64))
%13 = (+ x %5)
%20 = (- x 1)
(+.f64 x %8)
(+.f64 %11 %8)
(approx %13 (*.f64 x y))
(approx %13 (*.f64 %11 y))
(approx (+ (* %4 %2) x) (approx (+ (* y %20) 1) (*.f64 y (approx %20 #s(literal -1 binary64)))))
Outputs
%2 = (- 1 x)
%4 = (- 1 y)
%5 = (* %2 %4)
%8 = (approx (+ x %5) (*.f64 x y))
%11 = (- x 1)
%18 = (approx (+ (* %4 %2) x) (approx (+ (* y %11) 1) (*.f64 y (approx %11 #s(literal -1 binary64)))))
%8
%18
(+.f64 (approx x #s(literal 0 binary64)) (approx %5 (approx %2 #s(literal 1 binary64))))
%18
%8
Call 5
Inputs
%2 = (- 1 x)
%4 = (- 1 y)
%5 = (* %2 %4)
%8 = (approx %5 (approx %2 #s(literal 1 binary64)))
%11 = (approx x #s(literal 0 binary64))
%13 = (+ x %5)
%19 = (+ (* %4 %2) x)
%20 = (- x 1)
%24 = (approx %20 #s(literal -1 binary64))
(+.f64 x %8)
(+.f64 %11 %8)
(approx %13 (*.f64 x y))
(approx %13 (*.f64 %11 y))
(approx %19 (approx (+ (* y %20) 1) (*.f64 y %24)))
(approx %19 (fma.f64 y %24 #s(literal 1 binary64)))
Outputs
%2 = (- 1 x)
%4 = (- 1 y)
%8 = (approx (+ x (* %2 %4)) (*.f64 x y))
%8
(approx (+ (* %4 %2) x) (fma.f64 y (approx (- x 1) #s(literal -1 binary64)) #s(literal 1 binary64)))
%8
Call 6
Inputs
%2 = (- 1 x)
%4 = (- 1 y)
%5 = (* %2 %4)
%8 = (approx %5 (approx %2 #s(literal 1 binary64)))
%11 = (approx x #s(literal 0 binary64))
%13 = (+ x %5)
%19 = (+ (* %4 %2) x)
%20 = (- x 1)
%22 = (+ (* y %20) 1)
%24 = (approx %20 #s(literal -1 binary64))
%34 = (approx %5 (-.f64 #s(literal 1 binary64) y))
(+.f64 x %8)
(+.f64 %11 %8)
(approx %13 (*.f64 x y))
(approx %13 (*.f64 %11 y))
(approx %19 (approx %22 (*.f64 y %24)))
(approx %19 (fma.f64 y %24 #s(literal 1 binary64)))
(+.f64 x (approx %5 (-.f64 #s(literal 1 binary64) x)))
(+.f64 x %34)
(+.f64 %11 %34)
(approx %19 (approx %22 (*.f64 y (-.f64 x #s(literal 1 binary64)))))
Outputs
%6 = (+ (* (- 1 y) (- 1 x)) x)
%7 = (- x 1)
%14 = (approx %6 (approx (+ (* y %7) 1) (*.f64 y (-.f64 x #s(literal 1 binary64)))))
%14
(approx %6 (fma.f64 y (approx %7 #s(literal -1 binary64)) #s(literal 1 binary64)))
%14
Call 7
Inputs
%2 = (- 1 x)
%4 = (- 1 y)
%5 = (* %2 %4)
%8 = (approx %5 (approx %2 #s(literal 1 binary64)))
%11 = (approx x #s(literal 0 binary64))
%13 = (+ x %5)
%19 = (+ (* %4 %2) x)
%20 = (- x 1)
%22 = (+ (* y %20) 1)
%24 = (approx %20 #s(literal -1 binary64))
%34 = (approx %5 (-.f64 #s(literal 1 binary64) y))
%37 = (-.f64 x #s(literal 1 binary64))
(+.f64 x %8)
(+.f64 %11 %8)
(approx %13 (*.f64 x y))
(approx %13 (*.f64 %11 y))
(approx %19 (approx %22 (*.f64 y %24)))
(approx %19 (fma.f64 y %24 #s(literal 1 binary64)))
(+.f64 x (approx %5 (-.f64 #s(literal 1 binary64) x)))
(+.f64 x %34)
(+.f64 %11 %34)
(approx %19 (approx %22 (*.f64 y %37)))
(approx %19 (fma.f64 y %37 #s(literal 1 binary64)))
Outputs
(approx (+ (* (- 1 y) (- 1 x)) x) (fma.f64 y (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
Calls
4 calls:
8.0ms
x
8.0ms
y
8.0ms
(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))
7.0ms
(-.f64 #s(literal 1 binary64) y)
Results
AccuracySegmentsBranch
25.4%1
y
25.4%1
x
25.4%1
(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))
25.4%1
(-.f64 #s(literal 1 binary64) y)
Compiler
Compiled 19 to 35 computations (-84.2% saved)
bsearch0.0ms (0.0%)
bsearch1.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1915550274178.951
3.773648797814314e+33
0.0ms
-6004008558712669.0
0.0
Compiler
Compiled 1 to 7 computations (-600.0% saved)
bsearch14.0ms (0.9%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
9.0ms
8.514023950894466e+27
2.083136798987561e+38
5.0ms
-9663365479874.781
-481788773697.286
Samples
5.0ms207×0valid
2.0ms65×1valid
Compiler
Compiled 16 to 22 computations (-37.5% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Add: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
bsearch1.0ms (0.0%)
Algorithm
4×left-value
Steps
TimeLeftRight
0.0ms
6.584088248969496e+96
1.8124940617338023e+100
0.0ms
1.3265401055606292
8.956262582700838
0.0ms
-6004008558712669.0
0.0
0.0ms
-inf
-3.1157157081987126e+307
Compiler
Compiled 1 to 7 computations (-600.0% saved)
bsearch13.0ms (0.9%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
7.0ms
7.065847589515885e-15
1.1511746918382991e-7
5.0ms
-7.398787557941889e-77
-6.290049693375394e-78
Samples
3.0ms174×0valid
2.0ms66×1valid
Compiler
Compiled 16 to 22 computations (-37.5% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Add: 0.0ms (0.0% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations22.0ms (1.4%)
Stop Event
1×fuel
Compiler
Compiled 7 to 45 computations (-542.9% saved)
preprocess40.0ms (2.6%)
Compiler
Compiled 8 to 52 computations (-550.0% saved)
end0.0ms (0.0%)
gc293ms (19.0%)
Allocations
AllocatedPercentPhase
727.3 MiB48.1%sample
280.1 MiB18.5%rewrite
234.6 MiB15.5%reconstruct
74.8 MiB4.9%preprocess
65.8 MiB4.4%series
33.4 MiB2.2%bsearch
33.3 MiB2.2%regimes
32.1 MiB2.1%eval
15.1 MiB1.0%prune
14.5 MiB1.0%derivations
0.6 MiB0.0%analyze
0.1 MiB0.0%start
0.0 MiB0.0%end
1 511.7 MiB100.0%total
Profiling
Loading profile data...