Numeric.Log:$clog1p from log-domain-0.10.2.1, B

Time bar (total: 2.5s)

start0.0ms (0.0%)

analyze1.0ms (0.0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%100.0%0.0%0.0%0.0%0.0%0
0.0%0.0%100.0%0.0%0.0%0.0%0.0%1
50.0%50.0%50.0%0.0%0.0%0.0%0.0%2
66.7%50.0%25.0%0.0%0.0%25.0%0.0%3
83.3%62.5%12.5%0.0%0.0%25.0%0.0%4
91.7%68.7%6.2%0.0%0.0%25.0%0.0%5
95.8%71.8%3.1%0.0%0.0%25.0%0.0%6
97.9%73.4%1.6%0.0%0.0%25.0%0.0%7
99.0%74.2%0.8%0.0%0.0%25.0%0.0%8
99.5%74.6%0.4%0.0%0.0%25.0%0.0%9
99.7%74.8%0.2%0.0%0.0%25.0%0.0%10
99.9%74.9%0.1%0.0%0.0%25.0%0.0%11
99.9%74.9%0.0%0.0%0.0%25.0%0.0%12
Compiler

Compiled 10 to 7 computations (30.0% saved)

sample227.0ms (9.2%)

Samples
178.0ms8 251×0valid
0.0ms4×2valid
0.0ms2×0invalid
0.0ms1×1valid
Precisions
Click to see histograms. Total time spent on operations: 14.0ms
Sqrt: 6.0ms (43.9% of total, 0.0 MiB)
Add: 4.0ms (29.2% of total, 0.0 MiB)
Div: 3.0ms (21.9% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess39.0ms (1.6%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01229
16325
217724
360224
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.7%
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series24.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0184917
Stop Event
1×iter-limit
Counts
6 → 38
Calls
Call 1
Inputs
%2 = (+.f64 x #s(literal 1 binary64))
%3 = (sqrt.f64 %2)
%4 = (+.f64 #s(literal 1 binary64) %3)
x
#s(literal 1 binary64)
%2
%3
%4
(/.f64 x %4)
Outputs
%5 = (+ x 1)
%10 = (sqrt %5)
%12 = (*.f64 #s(literal 1/2 binary64) x)
%18 = (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/8 binary64) x)))
%27 = (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) x) #s(literal 1/8 binary64)))))
%30 = (+ 1 %10)
%39 = (/ x %30)
%52 = (/.f64 #s(literal 1 binary64) x)
%56 = (sqrt.f64 %52)
%57 = (*.f64 x %56)
%59 = (pow.f64 x #s(literal 2 binary64))
%60 = (*.f64 %59 %56)
%62 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %60))
%64 = (*.f64 x (+.f64 %56 %62))
%66 = (/.f64 #s(literal 1/2 binary64) %60)
%69 = (pow.f64 x #s(literal 4 binary64))
%71 = (pow.f64 %56 #s(literal 3 binary64))
%72 = (*.f64 %69 %71)
%75 = (*.f64 x (-.f64 (+.f64 %56 %66) (/.f64 #s(literal 1/8 binary64) %72)))
%80 = (pow.f64 %56 #s(literal 5 binary64))
%87 = (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %72))
%89 = (*.f64 x (-.f64 (+.f64 %56 (+.f64 %66 (*.f64 #s(literal 1/16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (pow.f64 x #s(literal 6 binary64)) %80))))) %87))
%103 = (/.f64 #s(literal 1 binary64) %56)
%105 = (pow.f64 %56 #s(literal 2 binary64))
%107 = (/.f64 #s(literal 1 binary64) (*.f64 x %105))
%110 = (*.f64 %59 %71)
%115 = (/.f64 #s(literal 1 binary64) %110)
%165 = (/.f64 #s(literal 1 binary64) %105)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) x))
(approx %10 (+.f64 #s(literal 1 binary64) %12))
(approx %10 (+.f64 #s(literal 1 binary64) %18))
(approx %10 (+.f64 #s(literal 1 binary64) %27))
(approx %30 #s(literal 2 binary64))
(approx %30 (+.f64 #s(literal 2 binary64) %12))
(approx %30 (+.f64 #s(literal 2 binary64) %18))
(approx %30 (+.f64 #s(literal 2 binary64) %27))
(approx %39 %12)
(approx %39 %18)
(approx %39 %27)
(approx %39 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (-.f64 (*.f64 x (+.f64 #s(literal 1/16 binary64) (*.f64 #s(literal -5/128 binary64) x))) #s(literal 1/8 binary64))))))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %52)))
(approx %10 %57)
(approx %10 %64)
(approx %10 %75)
(approx %10 %89)
(approx %30 (*.f64 x (+.f64 %56 %52)))
(approx %30 (*.f64 x (+.f64 %56 (+.f64 %66 %52))))
(approx %30 (*.f64 x (-.f64 (+.f64 %56 (+.f64 %52 %62)) %87)))
(approx %39 %103)
(approx %39 (-.f64 %103 %107))
(approx %39 (-.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) %110) %103) %107))
(approx %39 (-.f64 (+.f64 %103 (*.f64 #s(literal 1/2 binary64) %115)) (+.f64 %107 (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %69 %80))))))
(approx %10 (*.f64 #s(literal -1 binary64) %57))
(approx %10 (*.f64 #s(literal -1 binary64) %64))
(approx %10 (*.f64 #s(literal -1 binary64) %75))
(approx %10 (*.f64 #s(literal -1 binary64) %89))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %56 %52))))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %56 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %57))) x))))))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %56 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %103) (*.f64 #s(literal 1/8 binary64) %115)) x))) x))))))
(approx %39 (/.f64 #s(literal -1 binary64) %56))
(approx %39 (*.f64 #s(literal -1 binary64) (+.f64 %103 %107)))
(approx %39 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x %71)) %165) x)) %103))
(approx %39 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %59 %80))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %71))) x) %165) x)) %103))
Calls
3 calls:
TimeVariablePoint
30.0ms
x
inf
3.0ms
x
-inf
1.0ms
x
0
rewrite120.0ms (4.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0623
01023
13823
29923
335923
4274523
0409023
0437723
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 347
Calls
Call 1
Inputs
%2 = (+.f64 x #s(literal 1 binary64))
%3 = (sqrt.f64 %2)
%4 = (+.f64 #s(literal 1 binary64) %3)
x
#s(literal 1 binary64)
%2
%3
%4
(/.f64 x %4)
Outputs
%2 = (+.f64 #s(literal 1 binary64) x)
%3 = (sqrt.f64 %2)
%4 = (sqrt.f64 %3)
%5 = (*.f64 %4 %3)
%8 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64))
%10 = (/.f64 %8 #s(literal 8 binary64))
%13 = (/.f64 %8 #s(literal 4 binary64))
%16 = (-.f64 #s(literal -1 binary64) x)
%17 = (*.f64 %16 %16)
%19 = (pow.f64 %17 #s(literal -1/2 binary64))
%24 = (*.f64 #s(literal 1/2 binary64) x)
%25 = (+.f64 #s(literal 1/2 binary64) %24)
%27 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 1/2 binary64))
%29 = (-.f64 %24 #s(literal -1/2 binary64))
%31 = (neg.f64 %3)
%53 = (-.f64 x #s(literal -1/2 binary64))
%65 = (*.f64 x #s(literal -2 binary64))
%68 = (+.f64 x x)
%73 = (*.f64 %68 #s(literal -2 binary64))
%76 = (*.f64 %68 #s(literal 2 binary64))
%85 = (*.f64 #s(literal -2 binary64) %68)
%88 = (*.f64 #s(literal 2 binary64) %68)
%103 = (fabs.f64 %8)
%120 = (*.f64 #s(literal 1/2 binary64) %24)
%121 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 1 binary64))
%123 = (-.f64 %24 #s(literal -1 binary64))
%125 = (fma.f64 #s(literal 2 binary64) x #s(literal 1 binary64))
%134 = (*.f64 #s(literal 1/4 binary64) x)
%160 = (neg.f64 x)
%190 = (neg.f64 %4)
%192 = (pow.f64 %2 #s(literal -1/2 binary64))
%215 = (+.f64 #s(literal 0 binary64) %31)
%217 = (-.f64 %31 #s(literal 0 binary64))
%225 = (-.f64 #s(literal 0 binary64) %3)
%231 = (-.f64 #s(literal 1 binary64) %3)
%237 = (fma.f64 #s(literal 2 binary64) %3 #s(literal 2 binary64))
%238 = (/.f64 %237 #s(literal 8 binary64))
%240 = (/.f64 %237 #s(literal 4 binary64))
%243 = (+.f64 %3 #s(literal 1 binary64))
%250 = (-.f64 %3 #s(literal -1/2 binary64))
%269 = (-.f64 #s(literal -1 binary64) %3)
%270 = (*.f64 #s(literal 2 binary64) %269)
%274 = (/.f64 #s(literal 1 binary64) %243)
%317 = (*.f64 %274 %68)
%319 = (*.f64 %274 %24)
%321 = (*.f64 %160 #s(literal 1/2 binary64))
%322 = (/.f64 #s(literal -2 binary64) %243)
%324 = (/.f64 #s(literal -1/2 binary64) %243)
%326 = (*.f64 %160 #s(literal 2 binary64))
%328 = (/.f64 x %237)
%330 = (/.f64 #s(literal 2 binary64) %243)
%332 = (/.f64 #s(literal 1/2 binary64) %243)
%335 = (/.f64 x %243)
%336 = (*.f64 #s(literal -1/2 binary64) %335)
%338 = (*.f64 %324 x)
%340 = (/.f64 #s(literal -1 binary64) %243)
%342 = (*.f64 %324 %160)
%345 = (/.f64 x %269)
%349 = (*.f64 %322 %160)
%351 = (*.f64 #s(literal 4 binary64) %328)
%353 = (*.f64 %330 x)
%355 = (*.f64 #s(literal 2 binary64) %335)
%390 = (*.f64 #s(literal -2 binary64) x)
%420 = (*.f64 %274 #s(literal 0 binary64))
%422 = (*.f64 %160 #s(literal 0 binary64))
%446 = (*.f64 %24 %274)
%478 = (*.f64 %160 %324)
x
#s(literal 1 binary64)
(*.f64 %5 %4)
(*.f64 %10 #s(literal 4 binary64))
(*.f64 %13 #s(literal 2 binary64))
(*.f64 %19 %17)
(*.f64 %8 #s(literal 1/2 binary64))
(*.f64 %4 %5)
(*.f64 #s(literal 2 binary64) %25)
(*.f64 #s(literal 2 binary64) %27)
(*.f64 #s(literal 2 binary64) %29)
(*.f64 %31 %31)
(*.f64 #s(literal 1/2 binary64) %8)
(*.f64 %3 %3)
(*.f64 %2 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %2)
(pow.f64 (*.f64 %17 #s(literal 1 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 %31 #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 %17 %17) #s(literal 1/4 binary64))
(pow.f64 %4 #s(literal 4 binary64))
(pow.f64 %17 #s(literal 1/2 binary64))
(pow.f64 %31 #s(literal 2 binary64))
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 (/.f64 %8 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %8 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %53 #s(literal 4 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %53 #s(literal -2 binary64) #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %53 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %65 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 %68 #s(literal 4 binary64))) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %73) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %76) #s(literal 4 binary64))
(/.f64 (fma.f64 %8 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %68)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %85) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %88) #s(literal 4 binary64))
(/.f64 (fma.f64 %68 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %68 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %68 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %76 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %73 #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (neg.f64 %8) #s(literal -2 binary64))
(/.f64 %103 #s(literal 2 binary64))
(/.f64 %8 #s(literal 2 binary64))
(/.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %31 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %8))
(/.f64 #s(literal 1 binary64) %19)
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %16)
(fma.f64 %5 %4 #s(literal 0 binary64))
(fma.f64 %10 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %13 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %120 #s(literal 2 binary64) %121)
(fma.f64 %120 #s(literal 2 binary64) %123)
(fma.f64 %125 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 %19 %17 #s(literal 0 binary64))
(fma.f64 %24 #s(literal 1 binary64) %121)
(fma.f64 %24 #s(literal 1 binary64) %123)
(fma.f64 %8 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %68 #s(literal 1/4 binary64) %121)
(fma.f64 %68 #s(literal 1/4 binary64) %123)
(fma.f64 %4 %5 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %134 %121)
(fma.f64 #s(literal 2 binary64) %134 %123)
(fma.f64 #s(literal 2 binary64) %25 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %27 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %29 #s(literal 0 binary64))
(fma.f64 %31 %31 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %125 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) %68) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %8 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) x %121)
(fma.f64 #s(literal 1/2 binary64) x %123)
(fma.f64 %3 %3 #s(literal 0 binary64))
(fma.f64 %2 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %53 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %24 %121)
(fma.f64 #s(literal 1 binary64) %24 %123)
(fma.f64 #s(literal 1 binary64) %2 #s(literal 0 binary64))
(fma.f64 x #s(literal 1/2 binary64) %121)
(fma.f64 x #s(literal 1/2 binary64) %123)
(-.f64 (+.f64 %2 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 %53 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) x))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %160))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %53))
(-.f64 %2 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) x))
(-.f64 #s(literal 1 binary64) (-.f64 %160 #s(literal 0 binary64)))
(-.f64 #s(literal 1 binary64) %160)
(-.f64 x #s(literal -1 binary64))
(sqrt.f64 %17)
(fabs.f64 %16)
(fabs.f64 %2)
(+.f64 (+.f64 %53 #s(literal 1/4 binary64)) #s(literal 1/4 binary64))
(+.f64 (+.f64 #s(literal 1 binary64) %24) %24)
(+.f64 %53 #s(literal 1/2 binary64))
(+.f64 %24 %121)
(+.f64 %24 %123)
(+.f64 #s(literal 1/4 binary64) (+.f64 #s(literal 1/4 binary64) %53))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %53))
(+.f64 #s(literal 1/2 binary64) %53)
(+.f64 #s(literal 0 binary64) %2)
(+.f64 %2 #s(literal 0 binary64))
%2
(+.f64 x #s(literal 1 binary64))
(*.f64 %190 %190)
(*.f64 %192 %2)
(*.f64 %4 %4)
(*.f64 %3 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 (*.f64 %4 #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 %190 #s(literal 2 binary64))
(pow.f64 %4 #s(literal 2 binary64))
(pow.f64 %17 #s(literal 1/4 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 %103) (sqrt.f64 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1/4 binary64)))
(/.f64 #s(literal 1 binary64) %192)
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %215)
(neg.f64 %217)
(neg.f64 %31)
(fma.f64 %190 %190 #s(literal 0 binary64))
(fma.f64 %192 %2 #s(literal 0 binary64))
(fma.f64 %4 %4 #s(literal 0 binary64))
(fma.f64 %3 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) %225)
(-.f64 #s(literal 0 binary64) %215)
(-.f64 #s(literal 0 binary64) %31)
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) %31))
(-.f64 #s(literal 1 binary64) %231)
%3
(fabs.f64 %31)
(fabs.f64 %3)
(+.f64 #s(literal 0 binary64) %3)
(+.f64 %3 #s(literal 0 binary64))
(*.f64 %238 #s(literal 4 binary64))
(*.f64 %240 #s(literal 2 binary64))
(*.f64 %237 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %243)
(pow.f64 %243 #s(literal 1 binary64))
(/.f64 (/.f64 %237 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %237 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %250 #s(literal 4 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %250 #s(literal -2 binary64) #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %3 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %3 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %3 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %2 #s(literal 1 binary64)) (-.f64 %3 #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) %2) %231)
(/.f64 (fma.f64 %237 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 %270 #s(literal -2 binary64))
(/.f64 %237 #s(literal 2 binary64))
(/.f64 %243 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %274)
(neg.f64 %269)
(fma.f64 %238 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %240 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %190 %190 #s(literal 1 binary64))
(fma.f64 %192 %2 #s(literal 1 binary64))
(fma.f64 %237 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %4 %4 #s(literal 1 binary64))
(fma.f64 %3 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %250 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %243 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %3 #s(literal 1 binary64))
(-.f64 (+.f64 %243 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 %250 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %3))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %31))
(-.f64 #s(literal 1/2 binary64) (-.f64 %31 #s(literal 1/2 binary64)))
(-.f64 #s(literal 0 binary64) %269)
(-.f64 %243 #s(literal 0 binary64))
(-.f64 %3 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %225)
(-.f64 #s(literal 1 binary64) %215)
(-.f64 #s(literal 1 binary64) %217)
(-.f64 #s(literal 1 binary64) %31)
(+.f64 (+.f64 %250 #s(literal 1/4 binary64)) #s(literal 1/4 binary64))
(+.f64 (/.f64 (*.f64 #s(literal 2 binary64) %3) #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %250 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/4 binary64) (+.f64 #s(literal 1/4 binary64) %250))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %250))
(+.f64 #s(literal 1/2 binary64) %250)
(+.f64 #s(literal 0 binary64) %243)
(+.f64 %243 #s(literal 0 binary64))
%243
(+.f64 #s(literal 1 binary64) %3)
(*.f64 %317 #s(literal 1/2 binary64))
(*.f64 %319 #s(literal 2 binary64))
(*.f64 %321 %322)
(*.f64 %65 %324)
(*.f64 %326 %324)
(*.f64 %328 #s(literal 2 binary64))
(*.f64 %24 %330)
(*.f64 %68 %332)
(*.f64 %332 %68)
(*.f64 #s(literal -2 binary64) %336)
(*.f64 #s(literal -2 binary64) %338)
(*.f64 %340 %160)
(*.f64 #s(literal 2 binary64) %342)
(*.f64 #s(literal 2 binary64) %328)
(*.f64 #s(literal -1 binary64) %345)
(*.f64 %274 x)
(*.f64 %160 %340)
(*.f64 #s(literal 1/2 binary64) %349)
(*.f64 #s(literal 1/2 binary64) %351)
(*.f64 #s(literal 1/2 binary64) %353)
(*.f64 #s(literal 1/2 binary64) %355)
(*.f64 %335 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %335)
(*.f64 x %274)
(pow.f64 %335 #s(literal 1 binary64))
(/.f64 %317 #s(literal 2 binary64))
(/.f64 (*.f64 x %330) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %328) #s(literal 4 binary64))
(/.f64 %351 #s(literal 2 binary64))
(/.f64 %353 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %335) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %335) #s(literal -2 binary64))
(/.f64 %355 #s(literal 2 binary64))
(/.f64 (*.f64 %68 %274) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %160) %243)
(/.f64 %65 %270)
(/.f64 %326 %270)
(/.f64 (*.f64 %330 %68) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %160) (*.f64 #s(literal 4 binary64) %269))
(/.f64 (*.f64 #s(literal 4 binary64) x) (*.f64 #s(literal 4 binary64) %243))
(/.f64 (*.f64 #s(literal -2 binary64) %160) (*.f64 #s(literal -2 binary64) %269))
(/.f64 %390 (*.f64 #s(literal -2 binary64) %243))
(/.f64 %390 %270)
(/.f64 (*.f64 #s(literal 2 binary64) %160) %270)
(/.f64 (*.f64 %68 %330) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %68) %270)
(/.f64 (*.f64 %68 #s(literal -1 binary64)) %270)
(/.f64 %85 (*.f64 %270 #s(literal 2 binary64)))
(/.f64 %88 (*.f64 %237 #s(literal 2 binary64)))
(/.f64 %73 (*.f64 #s(literal 2 binary64) %270))
(/.f64 %76 (*.f64 #s(literal 2 binary64) %237))
(/.f64 %68 %237)
(/.f64 %160 %269)
(/.f64 %335 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %335 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %269 %160))
(/.f64 #s(literal 1 binary64) (/.f64 %243 x))
%335
(neg.f64 %345)
(fma.f64 %317 #s(literal 1/2 binary64) %420)
(fma.f64 %317 #s(literal 1/2 binary64) %422)
(fma.f64 %317 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %319 #s(literal 2 binary64) %420)
(fma.f64 %319 #s(literal 2 binary64) %422)
(fma.f64 %319 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %332 %24) #s(literal 2 binary64) %328)
(fma.f64 %321 %322 %420)
(fma.f64 %321 %322 %422)
(fma.f64 %321 %322 #s(literal 0 binary64))
(fma.f64 %65 %324 %420)
(fma.f64 %65 %324 %422)
(fma.f64 %65 %324 #s(literal 0 binary64))
(fma.f64 %326 %324 %420)
(fma.f64 %326 %324 %422)
(fma.f64 %326 %324 #s(literal 0 binary64))
(fma.f64 %328 #s(literal 2 binary64) %420)
(fma.f64 %328 #s(literal 2 binary64) %422)
(fma.f64 %328 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %328 #s(literal 1 binary64) %328)
(fma.f64 %24 %330 %420)
(fma.f64 %24 %330 %422)
(fma.f64 %24 %330 #s(literal 0 binary64))
(fma.f64 %24 %274 %446)
(fma.f64 %68 %332 %420)
(fma.f64 %68 %332 %422)
(fma.f64 %68 %332 #s(literal 0 binary64))
(fma.f64 %324 %160 %342)
(fma.f64 %332 %68 %420)
(fma.f64 %332 %68 %422)
(fma.f64 %332 %68 #s(literal 0 binary64))
(fma.f64 %332 x %328)
(fma.f64 #s(literal -2 binary64) %336 %420)
(fma.f64 #s(literal -2 binary64) %336 %422)
(fma.f64 #s(literal -2 binary64) %336 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %338 %420)
(fma.f64 #s(literal -2 binary64) %338 %422)
(fma.f64 #s(literal -2 binary64) %338 #s(literal 0 binary64))
(fma.f64 %340 %160 %420)
(fma.f64 %340 %160 %422)
(fma.f64 %340 %160 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %342 %420)
(fma.f64 #s(literal 2 binary64) %342 %422)
(fma.f64 #s(literal 2 binary64) %342 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %328 %420)
(fma.f64 #s(literal 2 binary64) %328 %422)
(fma.f64 #s(literal 2 binary64) %328 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %345 %420)
(fma.f64 #s(literal -1 binary64) %345 %422)
(fma.f64 #s(literal -1 binary64) %345 #s(literal 0 binary64))
(fma.f64 %274 %24 %319)
(fma.f64 %274 x %420)
(fma.f64 %274 x %422)
(fma.f64 %274 x #s(literal 0 binary64))
(fma.f64 %160 %324 %478)
(fma.f64 %160 %340 %420)
(fma.f64 %160 %340 %422)
(fma.f64 %160 %340 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %349 %420)
(fma.f64 #s(literal 1/2 binary64) %349 %422)
(fma.f64 #s(literal 1/2 binary64) %349 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %351 %420)
(fma.f64 #s(literal 1/2 binary64) %351 %422)
(fma.f64 #s(literal 1/2 binary64) %351 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %353 %420)
(fma.f64 #s(literal 1/2 binary64) %353 %422)
(fma.f64 #s(literal 1/2 binary64) %353 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %355 %420)
(fma.f64 #s(literal 1/2 binary64) %355 %422)
(fma.f64 #s(literal 1/2 binary64) %355 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %335 %328)
(fma.f64 %335 #s(literal 1/2 binary64) %328)
(fma.f64 %335 #s(literal 1 binary64) %420)
(fma.f64 %335 #s(literal 1 binary64) %422)
(fma.f64 %335 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %328 %328)
(fma.f64 #s(literal 1 binary64) %335 %420)
(fma.f64 #s(literal 1 binary64) %335 %422)
(fma.f64 #s(literal 1 binary64) %335 #s(literal 0 binary64))
(fma.f64 x %332 %328)
(fma.f64 x %274 %420)
(fma.f64 x %274 %422)
(fma.f64 x %274 #s(literal 0 binary64))
(+.f64 %319 %319)
(+.f64 %478 %478)
(+.f64 %446 %446)
(+.f64 %342 %342)
(+.f64 %328 %328)
(+.f64 %335 %420)
(+.f64 %335 %422)
(+.f64 %335 #s(literal 0 binary64))
reconstruct25.0ms (1.0%)
Counts
385 → 74
Compiler
Compiled 385 to 646 computations (-67.8% saved)
eval7.0ms (0.3%)
Compiler
Compiled 72 to 322 computations (-347.2% saved)
prune2.0ms (0.1%)
Pruning
9 alts after pruning (8 fresh and 1 done)
PrunedKeptTotal
New64872
Fresh000
Picked011
Done000
Total64973
Accuracy
100.0%
Counts
73 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶37.9%
%19 = (+.f64 #s(literal 1 binary64) x)
(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) %19) (-.f64 #s(literal 1 binary64) (sqrt.f64 %19))))
✓99.7%
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
▶66.7%
(/.f64 x (approx (+ 1 (sqrt (+ x 1))) (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) x))))
▶40.4%
%15 = (/.f64 #s(literal 1 binary64) x)
(/.f64 x (approx (+ 1 (sqrt (+ x 1))) (*.f64 x (+.f64 (sqrt.f64 %15) %15))))
▶99.5%
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)) x))
▶99.7%
(*.f64 x (/.f64 #s(literal 1 binary64) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64))))
▶36.2%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
▶64.5%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/8 binary64) x))))
▶66.0%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 #s(literal 1/2 binary64) x))
Compiler
Compiled 9 to 32 computations (-255.6% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series26.0ms (1.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03672467
Stop Event
1×iter-limit
Counts
33 → 96
Calls
Call 1
Inputs
%2 = (+.f64 #s(literal 1 binary64) x)
%4 = (*.f64 #s(literal 1/2 binary64) x)
%6 = (*.f64 #s(literal -1/8 binary64) x)
%7 = (+.f64 #s(literal 1/2 binary64) %6)
%8 = (*.f64 x %7)
%10 = (+.f64 #s(literal 2 binary64) %4)
%14 = (+ 1 (sqrt (+ x 1)))
%15 = (approx %14 %10)
%16 = (/ x %14)
%19 = (/.f64 #s(literal 1 binary64) x)
%20 = (sqrt.f64 %19)
%21 = (+.f64 %20 %19)
%22 = (*.f64 x %21)
%23 = (approx %14 %22)
%24 = (/.f64 #s(literal 1 binary64) %20)
%26 = (sqrt.f64 %2)
%27 = (-.f64 #s(literal 1 binary64) %26)
%28 = (+.f64 %26 #s(literal 1 binary64))
%29 = (-.f64 #s(literal 1 binary64) %2)
%30 = (/.f64 %29 %27)
%31 = (/.f64 #s(literal 1 binary64) %28)
%33 = (/.f64 %28 x)
x
#s(literal 1 binary64)
%2
#s(literal 1/2 binary64)
%4
#s(literal -1/8 binary64)
%6
%7
%8
#s(literal 2 binary64)
%10
%15
(approx %16 %4)
(approx %16 %8)
%19
%20
%21
%22
%23
%24
(approx %16 %24)
%26
%27
%28
%29
%30
%31
(*.f64 x %31)
%33
(/.f64 #s(literal 1 binary64) %33)
(/.f64 x %23)
(/.f64 x %30)
(/.f64 x %15)
Outputs
%5 = (+ 1 x)
%11 = (* 1/2 x)
%13 = (*.f64 #s(literal 1/2 binary64) x)
%16 = (* -1/8 x)
%18 = (*.f64 #s(literal -1/8 binary64) x)
%20 = (+ 1/2 %16)
%22 = (+.f64 #s(literal 1/2 binary64) %18)
%24 = (* x %20)
%25 = (*.f64 x %22)
%28 = (+ 2 %11)
%31 = (+.f64 #s(literal 2 binary64) %13)
%35 = (+ 1 (sqrt (+ x 1)))
%36 = (+.f64 #s(literal 2 binary64) %25)
%43 = (+.f64 #s(literal 1/2 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) x) #s(literal 1/8 binary64))))
%44 = (*.f64 x %43)
%45 = (+.f64 #s(literal 2 binary64) %44)
%47 = (/ x %35)
%55 = (+.f64 #s(literal 1/2 binary64) (*.f64 x (-.f64 (*.f64 x (+.f64 #s(literal 1/16 binary64) (*.f64 #s(literal -5/128 binary64) x))) #s(literal 1/8 binary64))))
%58 = (/ 1 x)
%59 = (/.f64 #s(literal 1 binary64) x)
%61 = (sqrt %58)
%62 = (sqrt.f64 x)
%65 = (+ %61 %58)
%66 = (+.f64 #s(literal 1 binary64) %62)
%69 = (* x %65)
%74 = (sqrt %5)
%81 = (- 1 %74)
%105 = (- 1 %5)
%109 = (+ %74 1)
%110 = (/ 1 %109)
%113 = (/ %109 x)
%125 = (*.f64 #s(literal 1/2 binary64) %59)
%126 = (-.f64 %125 #s(literal 1/8 binary64))
%129 = (pow.f64 x #s(literal 2 binary64))
%138 = (sqrt.f64 %59)
%139 = (*.f64 x %138)
%141 = (+.f64 %138 %59)
%142 = (*.f64 x %141)
%144 = (*.f64 %129 %138)
%145 = (/.f64 #s(literal 1/2 binary64) %144)
%147 = (+.f64 %138 (+.f64 %145 %59))
%148 = (*.f64 x %147)
%151 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %144))
%155 = (pow.f64 x #s(literal 4 binary64))
%157 = (pow.f64 %138 #s(literal 3 binary64))
%158 = (*.f64 %155 %157)
%160 = (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %158))
%161 = (-.f64 (+.f64 %138 (+.f64 %59 %151)) %160)
%164 = (/.f64 #s(literal 1 binary64) %138)
%166 = (pow.f64 %138 #s(literal 2 binary64))
%168 = (/.f64 #s(literal 1 binary64) (*.f64 x %166))
%169 = (-.f64 %164 %168)
%171 = (*.f64 %129 %157)
%172 = (/.f64 #s(literal 1/2 binary64) %171)
%174 = (-.f64 (+.f64 %172 %164) %168)
%176 = (/.f64 #s(literal 1 binary64) %171)
%177 = (*.f64 #s(literal 1/2 binary64) %176)
%180 = (pow.f64 %138 #s(literal 5 binary64))
%183 = (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %155 %180)))
%185 = (-.f64 (+.f64 %164 %177) (+.f64 %168 %183))
%189 = (+.f64 %138 %151)
%190 = (*.f64 x %189)
%192 = (+.f64 %138 %145)
%195 = (*.f64 x (-.f64 %192 (/.f64 #s(literal 1/8 binary64) %158)))
%205 = (*.f64 x (-.f64 (+.f64 %138 (+.f64 %145 (*.f64 #s(literal 1/16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (pow.f64 x #s(literal 6 binary64)) %180))))) %160))
%215 = (+.f64 %59 %160)
%219 = (/ %105 %81)
%220 = (+.f64 %164 %168)
%222 = (+.f64 %172 %220)
%228 = (/.f64 #s(literal 1 binary64) %139)
%238 = (/ x %219)
%240 = (*.f64 x (-.f64 %138 %59))
%254 = (*.f64 #s(literal 1/2 binary64) %228)
%262 = (*.f64 #s(literal 1/2 binary64) %164)
%263 = (*.f64 #s(literal 1/8 binary64) %176)
%266 = (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %262 %263) x))
%279 = (/.f64 #s(literal 1 binary64) (*.f64 x %157))
%280 = (/.f64 #s(literal 1 binary64) %166)
%288 = (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %129 %180)))
%290 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %157))
%292 = (/.f64 (-.f64 %288 %290) x)
%298 = (*.f64 #s(literal -1 binary64) %138)
%318 = (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %263 %262) x))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) x))
(approx %11 %13)
(approx %16 %18)
(approx %20 #s(literal 1/2 binary64))
(approx %20 %22)
(approx %24 %25)
(approx %28 #s(literal 2 binary64))
(approx %28 %31)
(approx %35 %36)
(approx %35 %45)
(approx %47 %44)
(approx %47 (*.f64 x %55))
(approx %58 %59)
(approx %61 (/.f64 %62 x))
(approx %65 (/.f64 %66 x))
(approx %69 %66)
(approx (/ 1 %61) (/.f64 x %62))
(approx %74 (+.f64 #s(literal 1 binary64) %13))
(approx %74 (+.f64 #s(literal 1 binary64) %25))
(approx %74 (+.f64 #s(literal 1 binary64) %44))
(approx %81 (*.f64 #s(literal -1/2 binary64) x))
(approx %81 (*.f64 x (-.f64 (*.f64 #s(literal 1/8 binary64) x) #s(literal 1/2 binary64))))
(approx %81 (*.f64 x (-.f64 (*.f64 x (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal -1/16 binary64) x))) #s(literal 1/2 binary64))))
(approx %81 (*.f64 x (-.f64 (*.f64 x (+.f64 #s(literal 1/8 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 5/128 binary64) x) #s(literal 1/16 binary64))))) #s(literal 1/2 binary64))))
(approx %105 (*.f64 #s(literal -1 binary64) x))
(approx %110 %43)
(approx %110 %55)
(approx %113 (/.f64 #s(literal 2 binary64) x))
(approx %113 (/.f64 %31 x))
(approx %113 (/.f64 %36 x))
(approx %113 (/.f64 %45 x))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %59)))
(approx %20 (*.f64 x %126))
(approx %24 (*.f64 #s(literal -1/8 binary64) %129))
(approx %24 (*.f64 %129 %126))
(approx %28 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %59))))
(approx %35 %139)
(approx %35 %142)
(approx %35 %148)
(approx %35 (*.f64 x %161))
(approx %47 %164)
(approx %47 %169)
(approx %47 %174)
(approx %47 %185)
(approx %61 %138)
(approx %65 %141)
(approx %74 %190)
(approx %74 %195)
(approx %74 %205)
(approx %81 (*.f64 #s(literal -1 binary64) %139))
(approx %81 (*.f64 x (-.f64 %59 %138)))
(approx %81 (*.f64 x (-.f64 %59 %192)))
(approx %81 (*.f64 x (-.f64 %215 %189)))
(approx %219 %220)
(approx %219 %222)
(approx %219 (-.f64 (+.f64 %164 (+.f64 %168 %177)) %183))
(approx %110 %228)
(approx %110 (/.f64 %169 x))
(approx %110 (/.f64 %174 x))
(approx %110 (/.f64 %185 x))
(approx %113 %147)
(approx %113 %161)
(approx %238 %240)
(approx %238 (*.f64 x (-.f64 %192 %59)))
(approx %238 (*.f64 x (-.f64 %189 %215)))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1/8 binary64) %125))))
(approx %35 (*.f64 #s(literal -1 binary64) %240))
(approx %35 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %138 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) %254) x))))))
(approx %35 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %138 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) %266) x))))))
(approx %47 (/.f64 #s(literal -1 binary64) %138))
(approx %47 (*.f64 #s(literal -1 binary64) %220))
(approx %47 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 1/2 binary64) %279 %280) x)) %164))
(approx %47 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) %292 %280) x)) %164))
(approx %69 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %298 %59))))
(approx %74 (*.f64 #s(literal -1 binary64) %190))
(approx %74 (*.f64 #s(literal -1 binary64) %195))
(approx %74 (*.f64 #s(literal -1 binary64) %205))
(approx %81 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) %254) x)) %138))))
(approx %81 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) %318) x)) %138))))
(approx %219 (-.f64 %168 %164))
(approx %219 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 1/2 binary64) %279) %280) x)) %164))
(approx %219 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) %292) %280) x)) %164))
(approx %110 (/.f64 #s(literal -1 binary64) %139))
(approx %110 (*.f64 #s(literal -1 binary64) (/.f64 %220 x)))
(approx %110 (*.f64 #s(literal -1 binary64) (/.f64 %222 x)))
(approx %110 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %290 %288) x)) %280) x) %164) x)))
(approx %113 %298)
(approx %113 (fma.f64 #s(literal -1 binary64) %138 %59))
(approx %113 (fma.f64 #s(literal -1 binary64) %138 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %254 #s(literal 1 binary64)) x))))
(approx %113 (fma.f64 #s(literal -1 binary64) %138 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %318 #s(literal 1 binary64)) x))))
(approx %238 (*.f64 #s(literal -1 binary64) %142))
(approx %238 (*.f64 #s(literal -1 binary64) %148))
(approx %238 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %138 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %266 #s(literal 1 binary64)) x))))))
Calls
3 calls:
TimeVariablePoint
14.0ms
x
-inf
5.0ms
x
inf
3.0ms
x
0
rewrite93.0ms (3.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
037250
060240
1242222
2848204
04111190
04561184
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
33 → 2 433
Calls
Call 1
Inputs
%2 = (+.f64 #s(literal 1 binary64) x)
%4 = (*.f64 #s(literal 1/2 binary64) x)
%6 = (*.f64 #s(literal -1/8 binary64) x)
%7 = (+.f64 #s(literal 1/2 binary64) %6)
%8 = (*.f64 x %7)
%10 = (+.f64 #s(literal 2 binary64) %4)
%14 = (+ 1 (sqrt (+ x 1)))
%15 = (approx %14 %10)
%16 = (/ x %14)
%19 = (/.f64 #s(literal 1 binary64) x)
%20 = (sqrt.f64 %19)
%21 = (+.f64 %20 %19)
%22 = (*.f64 x %21)
%23 = (approx %14 %22)
%24 = (/.f64 #s(literal 1 binary64) %20)
%26 = (sqrt.f64 %2)
%27 = (-.f64 #s(literal 1 binary64) %26)
%28 = (+.f64 %26 #s(literal 1 binary64))
%29 = (-.f64 #s(literal 1 binary64) %2)
%30 = (/.f64 %29 %27)
%31 = (/.f64 #s(literal 1 binary64) %28)
%33 = (/.f64 %28 x)
x
#s(literal 1 binary64)
%2
#s(literal 1/2 binary64)
%4
#s(literal -1/8 binary64)
%6
%7
%8
#s(literal 2 binary64)
%10
%15
(approx %16 %4)
(approx %16 %8)
%19
%20
%21
%22
%23
%24
(approx %16 %24)
%26
%27
%28
%29
%30
%31
(*.f64 x %31)
%33
(/.f64 #s(literal 1 binary64) %33)
(/.f64 x %23)
(/.f64 x %30)
(/.f64 x %15)
Outputs
%2 = (+.f64 #s(literal 1 binary64) x)
%3 = (sqrt.f64 %2)
%4 = (neg.f64 %3)
%7 = (*.f64 %2 %2)
%13 = (neg.f64 x)
%15 = (*.f64 #s(literal -1 binary64) x)
%18 = (*.f64 x #s(literal -1 binary64))
%21 = (E.f64 )
%31 = (-.f64 #s(literal -1 binary64) x)
%42 = (*.f64 #s(literal 1/2 binary64) x)
%48 = (*.f64 #s(literal -1/8 binary64) x)
%53 = (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))
%63 = (*.f64 #s(literal 1/8 binary64) x)
%74 = (*.f64 %53 x)
%79 = (*.f64 x x)
%83 = (*.f64 %48 x)
%95 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))
%97 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 1 binary64))
%112 = (*.f64 #s(literal -1/2 binary64) x)
%130 = (sqrt (+ 1 x))
%131 = (+ %130 1)
%132 = (approx %131 %95)
%134 = (/.f64 #s(literal 1 binary64) %132)
%136 = (- %130 1)
%137 = (approx %136 %42)
%141 = (approx %136 %74)
%145 = (sqrt.f64 #s(literal 2 binary64))
%146 = (*.f64 x #s(literal 2 binary64))
%147 = (/.f64 %145 %146)
%148 = (sqrt.f64 #s(literal 1/2 binary64))
%149 = (/.f64 %148 #s(literal 1/2 binary64))
%151 = (/.f64 #s(literal 1 binary64) x)
%152 = (/.f64 %151 %146)
%153 = (/.f64 x #s(literal 1/2 binary64))
%155 = (/.f64 #s(literal 1/2 binary64) %146)
%158 = (/.f64 %145 x)
%159 = (/.f64 %148 #s(literal 1 binary64))
%161 = (/.f64 #s(literal 2 binary64) x)
%163 = (/.f64 %151 x)
%164 = (/.f64 x #s(literal 1 binary64))
%166 = (/.f64 #s(literal 1 binary64) %146)
%168 = (/.f64 x %146)
%169 = (/.f64 %151 #s(literal 1/2 binary64))
%171 = (/.f64 %145 #s(literal 1 binary64))
%172 = (/.f64 %148 x)
%174 = (/.f64 %151 #s(literal 1 binary64))
%177 = (/.f64 #s(literal 1/2 binary64) x)
%179 = (sqrt.f64 x)
%180 = (/.f64 #s(literal -1 binary64) %179)
%182 = (/.f64 #s(literal -1 binary64) x)
%184 = (sqrt.f64 %151)
%187 = (*.f64 #s(literal 1/2 binary64) %151)
%188 = (fabs.f64 %187)
%190 = (fabs.f64 %177)
%197 = (*.f64 %151 %151)
%203 = (*.f64 #s(literal -1 binary64) %15)
%205 = (*.f64 #s(literal -1 binary64) %18)
%207 = (*.f64 #s(literal -1 binary64) %21)
%208 = (*.f64 %13 %21)
%210 = (*.f64 #s(literal 1 binary64) %15)
%211 = (*.f64 x %13)
%213 = (*.f64 #s(literal 1 binary64) %18)
%215 = (*.f64 #s(literal 1 binary64) %21)
%216 = (*.f64 x %21)
%218 = (*.f64 %15 #s(literal -1 binary64))
%220 = (*.f64 %15 #s(literal 1 binary64))
%221 = (*.f64 %13 x)
%223 = (*.f64 %18 #s(literal -1 binary64))
%225 = (*.f64 %18 #s(literal 1 binary64))
%227 = (*.f64 %21 #s(literal -1 binary64))
%228 = (*.f64 %21 %13)
%230 = (*.f64 #s(literal 2 binary64) %13)
%232 = (*.f64 %13 #s(literal 2 binary64))
%236 = (*.f64 %21 x)
%238 = (neg.f64 %179)
%243 = (*.f64 #s(literal 1 binary64) %13)
%245 = (*.f64 %13 #s(literal 1 binary64))
%248 = (*.f64 #s(literal 2 binary64) x)
%259 = (/.f64 #s(literal 0 binary64) x)
%283 = (cosh.f64 #s(literal -1 binary64))
%284 = (*.f64 %283 %283)
%286 = (sinh.f64 #s(literal 1 binary64))
%287 = (*.f64 %286 %286)
%301 = (/.f64 %184 %146)
%303 = (/.f64 %184 x)
%305 = (/.f64 %184 #s(literal 1/2 binary64))
%307 = (/.f64 %145 %179)
%309 = (/.f64 %145 #s(literal -1 binary64))
%310 = (/.f64 #s(literal -1 binary64) %184)
%311 = (/.f64 %148 %310)
%313 = (/.f64 %145 #s(literal 2 binary64))
%314 = (*.f64 #s(literal 1/2 binary64) %179)
%315 = (/.f64 %148 %314)
%317 = (/.f64 #s(literal -1/2 binary64) %180)
%318 = (/.f64 %148 %317)
%320 = (/.f64 %148 %179)
%322 = (/.f64 %151 #s(literal -1 binary64))
%323 = (/.f64 x %310)
%325 = (/.f64 %151 #s(literal 2 binary64))
%326 = (/.f64 x %314)
%328 = (/.f64 x %317)
%330 = (/.f64 #s(literal 2 binary64) %179)
%333 = (/.f64 x #s(literal -1 binary64))
%334 = (/.f64 %151 %310)
%336 = (/.f64 x #s(literal 2 binary64))
%337 = (/.f64 %151 %314)
%339 = (/.f64 %151 %317)
%341 = (/.f64 %151 %179)
%344 = (/.f64 #s(literal 2 binary64) %314)
%346 = (/.f64 #s(literal 2 binary64) %317)
%350 = (sqrt.f64 %184)
%352 = (/.f64 #s(literal 1/2 binary64) %179)
%354 = (/.f64 #s(literal 1/2 binary64) %310)
%356 = (sqrt.f64 %188)
%358 = (sqrt.f64 %190)
%360 = (/.f64 #s(literal 2 binary64) %310)
%362 = (/.f64 %184 #s(literal 1 binary64))
%370 = (/.f64 #s(literal 1 binary64) %314)
%372 = (/.f64 #s(literal 1 binary64) %317)
%374 = (/.f64 #s(literal 1/2 binary64) %314)
%376 = (/.f64 #s(literal 1/2 binary64) %317)
%384 = (*.f64 %13 %238)
%386 = (*.f64 %13 %179)
%394 = (*.f64 #s(literal -1 binary64) %179)
%396 = (*.f64 x %238)
%399 = (*.f64 %21 %179)
%402 = (*.f64 #s(literal 1 binary64) %238)
%404 = (neg.f64 %180)
%405 = (*.f64 %13 %404)
%407 = (*.f64 %13 %184)
%409 = (*.f64 x %180)
%413 = (*.f64 #s(literal 2 binary64) %179)
%415 = (*.f64 %13 %180)
%417 = (*.f64 x %404)
%422 = (*.f64 x %179)
%424 = (/.f64 #s(literal 0 binary64) %179)
%473 = (-.f64 %179 #s(literal -1 binary64))
%474 = (/.f64 %473 x)
%477 = (/.f64 %474 x)
%479 = (/.f64 %474 #s(literal 1 binary64))
%489 = (fma.f64 %179 %13 %18)
%491 = (*.f64 %184 %13)
%499 = (fma.f64 %179 %13 %15)
%501 = (fma.f64 %179 x x)
%503 = (*.f64 #s(literal -1 binary64) %238)
%505 = (*.f64 %238 %13)
%508 = (*.f64 %238 x)
%514 = (*.f64 %238 #s(literal -1 binary64))
%517 = (*.f64 %238 #s(literal 1 binary64))
%520 = (*.f64 %13 #s(literal -1 binary64))
%529 = (*.f64 %179 #s(literal -1 binary64))
%531 = (*.f64 %179 x)
%534 = (*.f64 %179 %13)
%544 = (*.f64 x %473)
%549 = (*.f64 %473 x)
%554 = (fma.f64 %184 %13 #s(literal -1 binary64))
%557 = (+.f64 %179 x)
%558 = (/.f64 %557 x)
%561 = (fma.f64 #s(literal 1 binary64) %13 %394)
%563 = (neg.f64 %534)
%565 = (+.f64 x %179)
%569 = (fma.f64 #s(literal -1 binary64) %179 %243)
%571 = (neg.f64 %386)
%576 = (fma.f64 #s(literal 1 binary64) %13 %529)
%579 = (fma.f64 #s(literal -1 binary64) %179 %245)
%582 = (neg.f64 %473)
%663 = (*.f64 %13 %151)
%666 = (*.f64 %182 x)
%680 = (/.f64 %243 %534)
%685 = (/.f64 %394 %386)
%710 = (*.f64 %15 %179)
%713 = (*.f64 %18 %179)
%717 = (*.f64 %179 %21)
%720 = (*.f64 %179 #s(literal 2 binary64))
%732 = (*.f64 %179 %15)
%735 = (*.f64 %179 %18)
%765 = (/.f64 %179 %145)
%766 = (/.f64 #s(literal 1 binary64) %148)
%768 = (/.f64 #s(literal -1 binary64) %145)
%769 = (/.f64 %310 %148)
%771 = (/.f64 %179 #s(literal 1/2 binary64))
%773 = (/.f64 %179 %151)
%775 = (/.f64 #s(literal -1 binary64) %151)
%776 = (/.f64 %310 x)
%778 = (/.f64 #s(literal 2 binary64) %145)
%779 = (/.f64 %314 %148)
%781 = (/.f64 %317 %148)
%783 = (/.f64 %314 %151)
%785 = (/.f64 %317 %151)
%787 = (/.f64 #s(literal 2 binary64) %151)
%788 = (/.f64 %314 x)
%790 = (/.f64 %317 x)
%792 = (/.f64 %146 %179)
%794 = (/.f64 %146 #s(literal -1 binary64))
%796 = (/.f64 %146 #s(literal 2 binary64))
%799 = (/.f64 %146 #s(literal 1 binary64))
%801 = (/.f64 %148 %352)
%803 = (/.f64 %148 %184)
%805 = (/.f64 x %352)
%807 = (/.f64 x %184)
%810 = (/.f64 %151 %352)
%814 = (/.f64 #s(literal 2 binary64) %352)
%816 = (/.f64 %151 %184)
%820 = (/.f64 %314 #s(literal 2 binary64))
%822 = (/.f64 %317 #s(literal 2 binary64))
%824 = (/.f64 %310 #s(literal 2 binary64))
%826 = (/.f64 %179 %148)
%828 = (/.f64 %310 #s(literal 1/2 binary64))
%830 = (/.f64 %310 %151)
%833 = (/.f64 %310 #s(literal 1 binary64))
%840 = (/.f64 %314 #s(literal 1 binary64))
%842 = (/.f64 %317 #s(literal 1 binary64))
%847 = (/.f64 #s(literal 2 binary64) %184)
%849 = (/.f64 #s(literal 1 binary64) %352)
%853 = (/.f64 %314 #s(literal 1/2 binary64))
%855 = (/.f64 %317 #s(literal 1/2 binary64))
%857 = (/.f64 #s(literal 1/2 binary64) %352)
%865 = (approx %131 %473)
%867 = (/.f64 #s(literal 1 binary64) %865)
%936 = (*.f64 %180 %13)
%941 = (*.f64 %404 %13)
%1004 = (/.f64 #s(literal 0 binary64) %404)
%1006 = (/.f64 #s(literal 0 binary64) %184)
%1130 = (/.f64 #s(literal 1/2 binary64) %404)
%1135 = (approx %136 %179)
%1139 = (sqrt.f64 %3)
%1147 = (neg.f64 %4)
%1151 = (-.f64 #s(literal -1 binary64) %3)
%1152 = (/.f64 %145 %1151)
%1153 = (/.f64 %148 %151)
%1155 = (+.f64 %3 #s(literal 1 binary64))
%1156 = (/.f64 %145 %1155)
%1157 = (/.f64 %148 %182)
%1159 = (/.f64 %151 %1151)
%1160 = (/.f64 x %151)
%1162 = (/.f64 %151 %1155)
%1163 = (/.f64 x %182)
%1165 = (*.f64 %1155 #s(literal 1 binary64))
%1166 = (/.f64 #s(literal -2 binary64) %1165)
%1167 = (/.f64 #s(literal -1/2 binary64) %182)
%1169 = (/.f64 #s(literal -2 binary64) %1155)
%1171 = (/.f64 #s(literal -2 binary64) %151)
%1172 = (/.f64 #s(literal -1/2 binary64) %1151)
%1174 = (/.f64 #s(literal 2 binary64) %1165)
%1175 = (/.f64 #s(literal -1/2 binary64) %151)
%1177 = (/.f64 #s(literal 2 binary64) %1151)
%1179 = (/.f64 %146 x)
%1180 = (/.f64 %1155 x)
%1181 = (/.f64 #s(literal -1/2 binary64) %1180)
%1183 = (/.f64 %146 %13)
%1184 = (/.f64 %1151 x)
%1185 = (/.f64 #s(literal -1/2 binary64) %1184)
%1187 = (/.f64 #s(literal -1/2 binary64) %1155)
%1189 = (/.f64 #s(literal 1/2 binary64) %1151)
%1191 = (/.f64 #s(literal 2 binary64) %182)
%1193 = (/.f64 #s(literal -1 binary64) %1155)
%1195 = (/.f64 #s(literal 2 binary64) %1155)
%1197 = (/.f64 #s(literal 1/2 binary64) %182)
%1199 = (/.f64 x %1180)
%1201 = (-.f64 %3 #s(literal 1 binary64))
%1202 = (/.f64 %151 %182)
%1205 = (/.f64 #s(literal 1 binary64) %1155)
%1208 = (-.f64 #s(literal 1 binary64) %3)
%1209 = (/.f64 %151 %151)
%1211 = (/.f64 x %1184)
%1234 = (/.f64 #s(literal 0 binary64) %1184)
%1244 = (/.f64 #s(literal -2 binary64) %13)
%1245 = (/.f64 %31 %1155)
%1247 = (/.f64 %145 %1184)
%1248 = (/.f64 %148 %13)
%1252 = (/.f64 %145 %13)
%1253 = (/.f64 %148 %1184)
%1255 = (/.f64 %151 %13)
%1258 = (/.f64 #s(literal 2 binary64) %1184)
%1259 = (/.f64 #s(literal 1/2 binary64) %13)
%1261 = (/.f64 %151 %1184)
%1263 = (/.f64 %148 %1180)
%1270 = (/.f64 #s(literal 2 binary64) %1180)
%1276 = (/.f64 #s(literal -2 binary64) x)
%1279 = (/.f64 #s(literal -1/2 binary64) %1201)
%1280 = (/.f64 %151 %1279)
%1295 = (*.f64 #s(literal 1/2 binary64) %1205)
%1298 = (/.f64 %182 %1279)
%1306 = (-.f64 #s(literal 1 binary64) x)
%1307 = (/.f64 %1306 %1155)
%1309 = (/.f64 #s(literal 0 binary64) %1155)
%1311 = (/.f64 %2 %1155)
%1322 = (*.f64 %1184 %13)
%1323 = (*.f64 %13 %1184)
%1324 = (*.f64 x %1180)
%1325 = (pow.f64 %1155 #s(literal 1 binary64))
%1327 = (/.f64 (fma.f64 %3 %21 %21) %21)
%1329 = (/.f64 (fma.f64 %3 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
%1331 = (/.f64 (fma.f64 %3 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
%1332 = (/.f64 #s(literal 0 binary64) %1201)
%1335 = (/.f64 (-.f64 (*.f64 %1332 %1208) x) %1208)
%1338 = (/.f64 (-.f64 (*.f64 %1184 %1201) %31) %1201)
%1341 = (*.f64 %1201 %1208)
%1342 = (/.f64 (+.f64 %1201 (*.f64 %31 %1201)) %1341)
%1345 = (*.f64 %1201 %1201)
%1346 = (/.f64 (+.f64 %1208 (*.f64 %31 %1208)) %1345)
%1348 = (/.f64 (-.f64 #s(literal -1 binary64) %31) %1201)
%1349 = (*.f64 %1201 %31)
%1351 = (/.f64 (+.f64 %1201 %1349) %1341)
%1352 = (*.f64 %1208 %31)
%1354 = (/.f64 (+.f64 %1208 %1352) %1345)
%1358 = (/.f64 (-.f64 (*.f64 #s(literal 0 binary64) %1208) (*.f64 %1208 x)) %1345)
%1360 = (/.f64 (-.f64 %1208 %1349) %1345)
%1363 = (/.f64 (-.f64 %1201 (*.f64 %1201 %2)) %1341)
%1366 = (/.f64 (-.f64 %1201 %1352) (*.f64 %1208 %1201))
%1368 = (/.f64 (neg.f64 %245) %1201)
%1369 = (*.f64 %1208 %2)
%1370 = (-.f64 %1208 %1369)
%1373 = (/.f64 (neg.f64 %1370) (neg.f64 %1345))
%1374 = (fma.f64 %3 %13 %15)
%1375 = (/.f64 %1374 %13)
%1376 = (fma.f64 %3 x x)
%1377 = (/.f64 %1376 x)
%1378 = (/.f64 %245 %1208)
%1379 = (fma.f64 %3 %13 %18)
%1380 = (/.f64 %1379 %13)
%1381 = (/.f64 %1370 %1345)
%1382 = (/.f64 %13 %1208)
%1383 = (/.f64 #s(literal 1 binary64) %1205)
%1384 = (/.f64 x %1201)
%1385 = (neg.f64 %1151)
%1386 = (/.f64 %1155 %146)
%1387 = (-.f64 x #s(literal 1 binary64))
%1388 = (/.f64 %1387 %1201)
%1389 = (fma.f64 %1386 #s(literal 2 binary64) %1388)
%1390 = (fma.f64 %1139 %1139 #s(literal 1 binary64))
%1391 = (fma.f64 %1165 %151 %1388)
%1392 = (/.f64 %1155 #s(literal 1 binary64))
%1393 = (fma.f64 %1392 %151 %1388)
%1394 = (fma.f64 %1184 %13 %1332)
%1395 = (fma.f64 %13 %1184 %1332)
%1396 = (fma.f64 %1151 %182 %1388)
%1397 = (/.f64 %2 %1208)
%1398 = (neg.f64 %1397)
%1399 = (fma.f64 %1151 %151 %1398)
%1400 = (/.f64 %31 %1208)
%1401 = (fma.f64 %1151 %151 %1400)
%1402 = (fma.f64 %1180 #s(literal 1 binary64) %1388)
%1403 = (fma.f64 %1155 %182 %1398)
%1404 = (fma.f64 %1155 %182 %1400)
%1405 = (fma.f64 %1155 %151 %1388)
%1406 = (fma.f64 %151 %1155 %1388)
%1407 = (fma.f64 #s(literal 2 binary64) %1279 %1398)
%1408 = (fma.f64 #s(literal 2 binary64) %1279 %1400)
%1409 = (fma.f64 #s(literal 1 binary64) %1184 %1398)
%1410 = (fma.f64 #s(literal 1 binary64) %1184 %1400)
%1411 = (fma.f64 x %1180 %1332)
%1414 = (-.f64 (/.f64 %1208 %1345) (/.f64 %1369 %1345))
%1415 = (/.f64 %1306 %1208)
%1416 = (-.f64 %1415 %1184)
%1417 = (-.f64 %1332 %1151)
%1418 = (-.f64 %1400 %1180)
%1419 = (-.f64 %1184 %1397)
%1420 = (+.f64 %13 #s(literal 1 binary64))
%1422 = (-.f64 %1180 (/.f64 %1420 %1201))
%1423 = (-.f64 %1155 %1332)
%1424 = (-.f64 %3 #s(literal -1 binary64))
%1425 = (-.f64 #s(literal 1 binary64) %4)
%1426 = (+.f64 %1415 %1180)
%1427 = (+.f64 %1332 %1155)
%1428 = (+.f64 %1400 %1184)
%1429 = (+.f64 %1184 %1398)
%1430 = (+.f64 %1184 %1400)
%1431 = (+.f64 %1180 %1388)
%1432 = (+.f64 %1155 %1332)
%1433 = (+.f64 #s(literal 1 binary64) %1147)
%1434 = (+.f64 #s(literal 1 binary64) %3)
%1448 = (*.f64 %1306 %13)
%1500 = (*.f64 %1151 %13)
%1503 = (*.f64 %1151 %21)
%1518 = (*.f64 %21 %1184)
%1525 = (*.f64 #s(literal 2 binary64) %1184)
%1533 = (*.f64 %1155 %13)
%1536 = (*.f64 %1155 %21)
%1538 = (*.f64 %13 %1151)
%1540 = (*.f64 %13 %1155)
%1544 = (*.f64 %21 %1151)
%1546 = (*.f64 x %1208)
%1548 = (*.f64 %1151 #s(literal 2 binary64))
%1550 = (*.f64 #s(literal 2 binary64) %1151)
%1552 = (*.f64 %1151 x)
%1554 = (*.f64 x %1151)
%1556 = (*.f64 %21 %1155)
%1560 = (*.f64 %1151 #s(literal 1 binary64))
%1562 = (*.f64 #s(literal 1 binary64) %1151)
%1568 = (*.f64 %1155 #s(literal 2 binary64))
%1570 = (*.f64 #s(literal 2 binary64) %1155)
%1572 = (*.f64 #s(literal 1 binary64) %1155)
%1580 = (*.f64 %1155 x)
%1582 = (*.f64 x %1155)
%1586 = (/.f64 %3 x)
%1626 = (/.f64 %3 %13)
%1628 = (/.f64 %4 x)
%1635 = (/.f64 %146 %1184)
%1636 = (*.f64 %1635 %1259)
%1637 = (/.f64 %1205 #s(literal -1 binary64))
%1638 = (*.f64 %1637 %13)
%1639 = (/.f64 %1205 #s(literal 2 binary64))
%1640 = (/.f64 #s(literal 1 binary64) %187)
%1641 = (*.f64 %1639 %1640)
%1642 = (/.f64 #s(literal 1 binary64) %177)
%1643 = (*.f64 %1639 %1642)
%1644 = (/.f64 %1205 #s(literal 1 binary64))
%1645 = (*.f64 %1644 x)
%1646 = (/.f64 %145 %1165)
%1647 = (*.f64 %1646 %1153)
%1648 = (*.f64 %1152 %1157)
%1649 = (*.f64 %1156 %1153)
%1650 = (/.f64 %151 %1165)
%1651 = (*.f64 %1650 %1160)
%1652 = (*.f64 %1159 %1163)
%1653 = (/.f64 #s(literal 1/2 binary64) %1165)
%1654 = (*.f64 %1653 %787)
%1655 = (*.f64 %1162 %1160)
%1656 = (*.f64 %1169 %1197)
%1657 = (*.f64 %1174 %1167)
%1658 = (*.f64 %1177 %1175)
%1659 = (*.f64 %1177 %1197)
%1660 = (/.f64 %1193 #s(literal 1 binary64))
%1661 = (*.f64 %775 %1660)
%1662 = (*.f64 %1179 %1185)
%1663 = (*.f64 %1183 %1181)
%1664 = (*.f64 %1211 %182)
%1665 = (/.f64 %145 %151)
%1666 = (/.f64 %148 %1155)
%1667 = (*.f64 %1665 %1666)
%1668 = (/.f64 %1295 #s(literal 1 binary64))
%1669 = (*.f64 %787 %1668)
%1670 = (/.f64 %1172 #s(literal 1 binary64))
%1671 = (*.f64 %787 %1670)
%1672 = (*.f64 %787 %1172)
%1673 = (*.f64 %1160 %1162)
%1674 = (*.f64 %1209 %1201)
%1675 = (*.f64 %336 %1298)
%1676 = (*.f64 %1189 %1191)
%1677 = (*.f64 %164 %1205)
%1678 = (*.f64 %1172 %787)
%1679 = (/.f64 %1295 %182)
%1680 = (*.f64 #s(literal -2 binary64) %1679)
%1681 = (/.f64 %1172 %182)
%1682 = (*.f64 #s(literal -2 binary64) %1681)
%1683 = (*.f64 %1193 %775)
%1684 = (*.f64 %1193 %13)
%1685 = (*.f64 %1167 %1195)
%1686 = (*.f64 %1195 %1167)
%1687 = (/.f64 %1193 %187)
%1688 = (*.f64 #s(literal -1/2 binary64) %1687)
%1689 = (/.f64 %1193 %177)
%1690 = (*.f64 #s(literal -1/2 binary64) %1689)
%1691 = (*.f64 %182 %1211)
%1692 = (*.f64 %1201 %1209)
%1693 = (*.f64 %1201 #s(literal 1 binary64))
%1694 = (*.f64 %13 %1193)
%1695 = (/.f64 %1193 %151)
%1696 = (*.f64 #s(literal -1 binary64) %1695)
%1697 = (/.f64 %1205 %182)
%1698 = (*.f64 #s(literal -1 binary64) %1697)
%1699 = (*.f64 #s(literal -1 binary64) %1208)
%1700 = (*.f64 %1205 x)
%1701 = (*.f64 %1208 %1202)
%1702 = (*.f64 %1208 #s(literal -1 binary64))
%1703 = (*.f64 %151 %1199)
%1704 = (/.f64 %1295 %151)
%1705 = (*.f64 #s(literal 2 binary64) %1704)
%1706 = (/.f64 %1172 %151)
%1707 = (*.f64 #s(literal 2 binary64) %1706)
%1708 = (*.f64 #s(literal 1/2 binary64) %1201)
%1709 = (*.f64 #s(literal 2 binary64) %1708)
%1710 = (*.f64 #s(literal 2 binary64) %1185)
%1711 = (/.f64 %1205 %187)
%1712 = (*.f64 #s(literal 1/2 binary64) %1711)
%1713 = (/.f64 %1205 %177)
%1714 = (*.f64 #s(literal 1/2 binary64) %1713)
%1715 = (/.f64 %1295 %187)
%1716 = (*.f64 #s(literal 1 binary64) %1715)
%1717 = (/.f64 %1295 %177)
%1718 = (*.f64 #s(literal 1 binary64) %1717)
%1719 = (/.f64 %1172 %187)
%1720 = (*.f64 #s(literal 1 binary64) %1719)
%1721 = (/.f64 %1172 %177)
%1722 = (*.f64 #s(literal 1 binary64) %1721)
%1723 = (*.f64 #s(literal 1 binary64) %1201)
%1724 = (*.f64 x %1644)
%1725 = (*.f64 x %1205)
%1726 = (pow.f64 %1201 #s(literal 1 binary64))
%1727 = (pow.f64 %1180 #s(literal -1 binary64))
%1728 = (*.f64 %3 %13)
%1730 = (/.f64 (-.f64 %1728 %15) %13)
%1732 = (/.f64 (-.f64 %1728 %18) %13)
%1735 = (/.f64 (-.f64 (*.f64 %3 %21) %21) %21)
%1738 = (/.f64 (-.f64 (*.f64 %3 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
%1741 = (/.f64 (-.f64 (*.f64 %3 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
%1742 = (*.f64 %3 x)
%1744 = (/.f64 (-.f64 %1742 x) x)
%1746 = (/.f64 (*.f64 %243 %15) %1500)
%1748 = (/.f64 (*.f64 %243 %18) %1500)
%1750 = (/.f64 (*.f64 %243 %21) %1503)
%1752 = (/.f64 (*.f64 %243 #s(literal 2 binary64)) %1548)
%1754 = (/.f64 (*.f64 %243 #s(literal 1 binary64)) %1560)
%1756 = (/.f64 (*.f64 %243 x) %1552)
%1757 = (/.f64 %203 %1155)
%1758 = (/.f64 %205 %1155)
%1760 = (/.f64 %207 (*.f64 %1184 %21))
%1762 = (*.f64 %151 %13)
%1763 = (/.f64 (*.f64 %1205 %15) %1762)
%1765 = (/.f64 (*.f64 %1205 %18) %1762)
%1768 = (/.f64 (*.f64 %1205 %21) (*.f64 %151 %21))
%1771 = (/.f64 (*.f64 %1205 #s(literal 2 binary64)) (*.f64 %151 #s(literal 2 binary64)))
%1773 = (/.f64 (*.f64 %15 %243) %1538)
%1775 = (/.f64 (*.f64 %15 %1205) %663)
%1777 = (/.f64 (*.f64 %18 %243) %1538)
%1779 = (/.f64 (*.f64 %18 %1205) %663)
%1781 = (/.f64 (*.f64 %21 %243) %1544)
%1784 = (/.f64 (*.f64 %21 %1205) (*.f64 %21 %151))
%1786 = (/.f64 (*.f64 #s(literal 2 binary64) %243) %1550)
%1789 = (/.f64 (*.f64 #s(literal 2 binary64) %1205) (*.f64 #s(literal 2 binary64) %151))
%1791 = (/.f64 (*.f64 #s(literal 1 binary64) %243) %1562)
%1793 = (/.f64 (*.f64 x %243) %1554)
%1795 = (/.f64 (*.f64 %15 %13) %1538)
%1797 = (/.f64 (*.f64 %18 %13) %1538)
%1798 = (*.f64 %15 %15)
%1799 = (/.f64 %1798 %1500)
%1800 = (/.f64 %1798 %1538)
%1801 = (*.f64 %15 %18)
%1802 = (/.f64 %1801 %1500)
%1803 = (/.f64 %1801 %1538)
%1805 = (/.f64 (*.f64 %15 %21) %1503)
%1807 = (/.f64 (*.f64 %15 #s(literal 2 binary64)) %1548)
%1808 = (*.f64 %15 x)
%1809 = (/.f64 %1808 %1552)
%1810 = (/.f64 %1808 %1540)
%1811 = (*.f64 %18 %15)
%1812 = (/.f64 %1811 %1500)
%1813 = (/.f64 %1811 %1538)
%1814 = (*.f64 %18 %18)
%1815 = (/.f64 %1814 %1500)
%1816 = (/.f64 %1814 %1538)
%1818 = (/.f64 (*.f64 %18 %21) %1503)
%1820 = (/.f64 (*.f64 %18 #s(literal 2 binary64)) %1548)
%1821 = (*.f64 %18 x)
%1822 = (/.f64 %1821 %1552)
%1823 = (/.f64 %1821 %1540)
%1825 = (/.f64 (*.f64 %21 %15) %1544)
%1826 = (/.f64 %228 %1544)
%1828 = (/.f64 (*.f64 %21 %18) %1544)
%1829 = (/.f64 %236 %1556)
%1831 = (/.f64 (*.f64 #s(literal 2 binary64) %15) %1550)
%1832 = (/.f64 %230 %1550)
%1834 = (/.f64 (*.f64 #s(literal 2 binary64) %18) %1550)
%1835 = (/.f64 %248 %1570)
%1836 = (*.f64 %1180 %13)
%1837 = (/.f64 %210 %1836)
%1838 = (/.f64 %210 %1562)
%1839 = (/.f64 %213 %1836)
%1840 = (/.f64 %213 %1562)
%1842 = (/.f64 %215 (*.f64 %1180 %21))
%1843 = (/.f64 %218 %1155)
%1844 = (/.f64 %220 %1560)
%1845 = (/.f64 %220 %1151)
%1846 = (/.f64 %223 %1155)
%1847 = (/.f64 %225 %1560)
%1848 = (/.f64 %225 %1151)
%1849 = (/.f64 %227 %1518)
%1851 = (/.f64 (*.f64 %13 %15) %1500)
%1853 = (/.f64 (*.f64 %13 %18) %1500)
%1854 = (*.f64 x %15)
%1855 = (/.f64 %1854 %1533)
%1856 = (/.f64 %1854 %1554)
%1857 = (*.f64 x %18)
%1858 = (/.f64 %1857 %1533)
%1859 = (/.f64 %1857 %1554)
%1860 = (/.f64 %208 %1503)
%1861 = (/.f64 %216 %1536)
%1862 = (/.f64 %232 %1548)
%1863 = (/.f64 %221 %1552)
%1865 = (/.f64 (neg.f64 %1546) x)
%1867 = (/.f64 (neg.f64 %243) %1155)
%1869 = (/.f64 (neg.f64 %1205) %182)
%1871 = (/.f64 (neg.f64 %15) %1155)
%1873 = (/.f64 (neg.f64 %18) %1155)
%1874 = (/.f64 %146 %1568)
%1875 = (/.f64 %1546 %13)
%1877 = (/.f64 #s(literal -2 binary64) (*.f64 %1184 #s(literal 2 binary64)))
%1878 = (/.f64 #s(literal -2 binary64) %1525)
%1879 = (/.f64 %1193 %182)
%1881 = (/.f64 %15 (*.f64 %1184 x))
%1882 = (/.f64 %15 %1151)
%1883 = (/.f64 %243 %1562)
%1884 = (/.f64 %243 %1151)
%1885 = (/.f64 %245 %1560)
%1886 = (/.f64 %211 %1554)
%1887 = (/.f64 %18 %1151)
%1888 = (/.f64 %79 %1580)
%1889 = (/.f64 %79 %1582)
%1891 = (/.f64 %21 (*.f64 %21 %1180))
%1892 = (/.f64 %1201 #s(literal 1 binary64))
%1893 = (/.f64 %13 %1151)
%1895 = (/.f64 #s(literal -1 binary64) (*.f64 %1184 #s(literal 1 binary64)))
%1896 = (/.f64 #s(literal -1 binary64) %1184)
%1897 = (/.f64 %1205 %151)
%1899 = (/.f64 #s(literal 2 binary64) (*.f64 %1180 #s(literal 2 binary64)))
%1901 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %1180))
%1903 = (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) %1180))
%1905 = (/.f64 #s(literal 1 binary64) (/.f64 %1184 #s(literal -1 binary64)))
%1907 = (/.f64 #s(literal 1 binary64) (/.f64 %1180 #s(literal 1 binary64)))
%1908 = (/.f64 #s(literal 1 binary64) %1180)
%1910 = (/.f64 x (*.f64 %1180 x))
%1911 = (/.f64 x %1572)
%1912 = (/.f64 x %1165)
%1913 = (/.f64 x %1155)
%1914 = (neg.f64 %1208)
%1915 = (fma.f64 %1635 %1259 %1309)
%1916 = (/.f64 #s(literal 0 binary64) %1180)
%1917 = (fma.f64 %1635 %1259 %1916)
%1918 = (fma.f64 %1637 %13 %1309)
%1919 = (fma.f64 %1637 %13 %1916)
%1920 = (fma.f64 %1639 %1640 %1309)
%1921 = (fma.f64 %1639 %1640 %1916)
%1922 = (fma.f64 %1639 %1642 %1309)
%1923 = (fma.f64 %1639 %1642 %1916)
%1924 = (fma.f64 %1644 x %1309)
%1925 = (fma.f64 %1644 x %1916)
%1926 = (fma.f64 %1646 %1153 %1309)
%1927 = (fma.f64 %1646 %1153 %1916)
%1928 = (fma.f64 %1152 %1157 %1309)
%1929 = (fma.f64 %1152 %1157 %1916)
%1930 = (fma.f64 %1156 %1153 %1309)
%1931 = (fma.f64 %1156 %1153 %1916)
%1932 = (fma.f64 %1650 %1160 %1309)
%1933 = (fma.f64 %1650 %1160 %1916)
%1934 = (fma.f64 %1159 %1163 %1309)
%1935 = (fma.f64 %1159 %1163 %1916)
%1936 = (fma.f64 %1653 %787 %1309)
%1937 = (fma.f64 %1653 %787 %1916)
%1938 = (fma.f64 %1162 %1160 %1309)
%1939 = (fma.f64 %1162 %1160 %1916)
%1940 = (fma.f64 %1169 %1197 %1309)
%1941 = (fma.f64 %1169 %1197 %1916)
%1942 = (fma.f64 %1174 %1167 %1309)
%1943 = (fma.f64 %1174 %1167 %1916)
%1944 = (fma.f64 %1177 %1175 %1309)
%1945 = (fma.f64 %1177 %1175 %1916)
%1946 = (fma.f64 %1177 %1197 %1309)
%1947 = (fma.f64 %1177 %1197 %1916)
%1948 = (fma.f64 %775 %1660 %1309)
%1949 = (fma.f64 %775 %1660 %1916)
%1950 = (/.f64 %1387 %1155)
%1951 = (fma.f64 %1244 %1185 %1950)
%1952 = (fma.f64 %1247 %1248 %1950)
%1953 = (fma.f64 %1179 %1185 %1309)
%1954 = (fma.f64 %1179 %1185 %1916)
%1955 = (fma.f64 %1183 %1181 %1309)
%1956 = (fma.f64 %1183 %1181 %1916)
%1957 = (fma.f64 %1252 %1263 %1311)
%1958 = (/.f64 %31 %1151)
%1959 = (fma.f64 %1252 %1263 %1958)
%1960 = (fma.f64 %1252 %1253 %1950)
%1961 = (fma.f64 %1211 %1255 %1950)
%1962 = (fma.f64 %1211 %182 %1309)
%1963 = (fma.f64 %1211 %182 %1916)
%1964 = (fma.f64 %1255 %1199 %1311)
%1965 = (fma.f64 %1255 %1199 %1958)
%1966 = (fma.f64 %1255 %1211 %1950)
%1967 = (fma.f64 %1258 %1259 %1950)
%1968 = (fma.f64 %1261 #s(literal -1 binary64) %1950)
%1969 = (fma.f64 %1665 %1666 %1309)
%1970 = (fma.f64 %1665 %1666 %1916)
%1971 = (fma.f64 %158 %1263 %1950)
%1972 = (fma.f64 %158 %1253 %1311)
%1973 = (fma.f64 %158 %1253 %1958)
%1974 = (fma.f64 %161 %1185 %1950)
%1975 = (fma.f64 %161 %1181 %1311)
%1976 = (fma.f64 %161 %1181 %1958)
%1977 = (fma.f64 %787 %1668 %1309)
%1978 = (fma.f64 %787 %1668 %1916)
%1979 = (fma.f64 %787 %1670 %1309)
%1980 = (fma.f64 %787 %1670 %1916)
%1981 = (fma.f64 %787 %1172 %1309)
%1982 = (fma.f64 %787 %1172 %1916)
%1983 = (fma.f64 %163 %1199 %1950)
%1984 = (fma.f64 %163 %1211 %1311)
%1985 = (fma.f64 %163 %1211 %1958)
%1986 = (fma.f64 %1160 %1162 %1309)
%1987 = (fma.f64 %1160 %1162 %1916)
%1988 = (fma.f64 %1209 %1201 %1309)
%1989 = (fma.f64 %1209 %1201 %1916)
%1990 = (fma.f64 %336 %1298 %1309)
%1991 = (fma.f64 %336 %1298 %1916)
%1992 = (fma.f64 %1259 %1270 %1311)
%1993 = (fma.f64 %1259 %1270 %1958)
%1994 = (fma.f64 %1259 %1258 %1950)
%1995 = (fma.f64 %1189 %1191 %1309)
%1996 = (fma.f64 %1189 %1191 %1916)
%1997 = (fma.f64 %164 %1205 %1309)
%1998 = (fma.f64 %164 %1205 %1916)
%1999 = (fma.f64 %1139 %1139 #s(literal -1 binary64))
%2000 = (fma.f64 %177 %1270 %1950)
%2001 = (fma.f64 %177 %1258 %1311)
%2002 = (fma.f64 %177 %1258 %1958)
%2003 = (fma.f64 %1172 %787 %1309)
%2004 = (fma.f64 %1172 %787 %1916)
%2005 = (fma.f64 #s(literal -2 binary64) %1679 %1309)
%2006 = (fma.f64 #s(literal -2 binary64) %1679 %1916)
%2007 = (fma.f64 #s(literal -2 binary64) %1681 %1309)
%2008 = (fma.f64 #s(literal -2 binary64) %1681 %1916)
%2009 = (fma.f64 %1193 %775 %1309)
%2010 = (fma.f64 %1193 %775 %1916)
%2011 = (fma.f64 %1193 %13 %1309)
%2012 = (fma.f64 %1193 %13 %1916)
%2013 = (fma.f64 %1167 %1195 %1309)
%2014 = (fma.f64 %1167 %1195 %1916)
%2015 = (fma.f64 %1195 %1167 %1309)
%2016 = (fma.f64 %1195 %1167 %1916)
%2017 = (fma.f64 %1181 %1276 %1950)
%2018 = (fma.f64 %1276 %1185 %1311)
%2019 = (fma.f64 %1276 %1185 %1958)
%2020 = (fma.f64 %1276 %1181 %1950)
%2021 = (fma.f64 #s(literal -1/2 binary64) %1687 %1309)
%2022 = (fma.f64 #s(literal -1/2 binary64) %1687 %1916)
%2023 = (fma.f64 #s(literal -1/2 binary64) %1689 %1309)
%2024 = (fma.f64 #s(literal -1/2 binary64) %1689 %1916)
%2025 = (fma.f64 #s(literal -1/2 binary64) %1280 %1950)
%2026 = (fma.f64 %182 %1211 %1309)
%2027 = (fma.f64 %182 %1211 %1916)
%2028 = (fma.f64 %182 %1201 %1311)
%2029 = (fma.f64 %182 %1201 %1958)
%2030 = (fma.f64 %182 %1208 %1950)
%2031 = (fma.f64 %1201 %1209 %1309)
%2032 = (fma.f64 %1201 %1209 %1916)
%2033 = (fma.f64 %1201 #s(literal 1 binary64) %1309)
%2034 = (fma.f64 %1201 #s(literal 1 binary64) %1916)
%2035 = (fma.f64 %13 %1193 %1309)
%2036 = (fma.f64 %13 %1193 %1916)
%2037 = (fma.f64 #s(literal -1 binary64) %1695 %1309)
%2038 = (fma.f64 #s(literal -1 binary64) %1695 %1916)
%2039 = (fma.f64 #s(literal -1 binary64) %1697 %1309)
%2040 = (fma.f64 #s(literal -1 binary64) %1697 %1916)
%2041 = (fma.f64 #s(literal -1 binary64) %1261 %1950)
%2042 = (fma.f64 #s(literal -1 binary64) %1193 %1950)
%2043 = (fma.f64 #s(literal -1 binary64) %1205 %1311)
%2044 = (fma.f64 #s(literal -1 binary64) %1205 %1958)
%2045 = (fma.f64 #s(literal -1 binary64) %1208 %1309)
%2046 = (fma.f64 #s(literal -1 binary64) %1208 %1916)
%2047 = (fma.f64 %1205 #s(literal 1 binary64) %1950)
%2048 = (fma.f64 %1205 x %1309)
%2049 = (fma.f64 %1205 x %1916)
%2050 = (fma.f64 %1208 %1202 %1309)
%2051 = (fma.f64 %1208 %1202 %1916)
%2052 = (fma.f64 %1208 %182 %1950)
%2053 = (fma.f64 %1208 #s(literal -1 binary64) %1309)
%2054 = (fma.f64 %1208 #s(literal -1 binary64) %1916)
%2055 = (fma.f64 %151 %1199 %1309)
%2056 = (fma.f64 %151 %1199 %1916)
%2057 = (fma.f64 %151 %1201 %1950)
%2058 = (fma.f64 %151 %1208 %1311)
%2059 = (fma.f64 %151 %1208 %1958)
%2060 = (fma.f64 #s(literal 2 binary64) %1704 %1309)
%2061 = (fma.f64 #s(literal 2 binary64) %1704 %1916)
%2062 = (fma.f64 #s(literal 2 binary64) %1706 %1309)
%2063 = (fma.f64 #s(literal 2 binary64) %1706 %1916)
%2064 = (fma.f64 #s(literal 2 binary64) %1708 %1309)
%2065 = (fma.f64 #s(literal 2 binary64) %1708 %1916)
%2066 = (fma.f64 #s(literal 2 binary64) %1295 %1950)
%2067 = (fma.f64 #s(literal 2 binary64) %1185 %1309)
%2068 = (fma.f64 #s(literal 2 binary64) %1185 %1916)
%2069 = (fma.f64 #s(literal 2 binary64) %1172 %1950)
%2070 = (fma.f64 #s(literal 1/2 binary64) %1711 %1309)
%2071 = (fma.f64 #s(literal 1/2 binary64) %1711 %1916)
%2072 = (fma.f64 #s(literal 1/2 binary64) %1713 %1309)
%2073 = (fma.f64 #s(literal 1/2 binary64) %1713 %1916)
%2074 = (fma.f64 #s(literal 1/2 binary64) %1298 %1950)
%2075 = (fma.f64 #s(literal 1 binary64) %1715 %1309)
%2076 = (fma.f64 #s(literal 1 binary64) %1715 %1916)
%2077 = (fma.f64 #s(literal 1 binary64) %1717 %1309)
%2078 = (fma.f64 #s(literal 1 binary64) %1717 %1916)
%2079 = (fma.f64 #s(literal 1 binary64) %1719 %1309)
%2080 = (fma.f64 #s(literal 1 binary64) %1719 %1916)
%2081 = (fma.f64 #s(literal 1 binary64) %1721 %1309)
%2082 = (fma.f64 #s(literal 1 binary64) %1721 %1916)
%2083 = (fma.f64 #s(literal 1 binary64) %1261 %1311)
%2084 = (fma.f64 #s(literal 1 binary64) %1261 %1958)
%2085 = (fma.f64 #s(literal 1 binary64) %1201 %1309)
%2086 = (fma.f64 #s(literal 1 binary64) %1201 %1916)
%2087 = (fma.f64 #s(literal 1 binary64) %1205 %1950)
%2088 = (fma.f64 x %1644 %1309)
%2089 = (fma.f64 x %1644 %1916)
%2090 = (fma.f64 x %1205 %1309)
%2091 = (fma.f64 x %1205 %1916)
%2094 = (-.f64 (/.f64 %284 %1180) (/.f64 %287 %1180))
%2095 = (-.f64 %1311 %1205)
%2096 = (/.f64 %1306 %1151)
%2097 = (-.f64 %2096 %1193)
%2098 = (/.f64 #s(literal 0 binary64) %1151)
%2099 = (-.f64 %2098 %1208)
%2101 = (-.f64 %1193 (/.f64 %2 %1151))
%2102 = (-.f64 %1201 %1309)
%2104 = (-.f64 %1205 (/.f64 %1420 %1155))
%2105 = (+.f64 %1311 %1193)
%2106 = (+.f64 %2096 %1205)
%2107 = (+.f64 %2098 %1201)
%2108 = (+.f64 %1958 %1193)
%2109 = (+.f64 %1185 %1185)
%2110 = (+.f64 %1193 %1311)
%2111 = (+.f64 %1193 %1958)
%2112 = (+.f64 %1201 %1309)
%2113 = (+.f64 %1201 %1916)
%2115 = (+.f64 #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) %4))
%2117 = (+.f64 #s(literal -1 binary64) (*.f64 %4 #s(literal -1 binary64)))
%2118 = (+.f64 #s(literal -1 binary64) %1147)
%2119 = (+.f64 %1205 %1950)
%2120 = (+.f64 %3 #s(literal -1 binary64))
%2132 = (*.f64 %1586 x)
%2135 = (*.f64 %1586 %13)
%2142 = (*.f64 %4 %13)
%2147 = (*.f64 %4 x)
%2156 = (*.f64 %13 %4)
%2162 = (*.f64 x %4)
%2180 = (*.f64 %1155 #s(literal -1 binary64))
%2185 = (fma.f64 %1586 %13 #s(literal -1 binary64))
%2188 = (fma.f64 %1586 x #s(literal 1 binary64))
%2192 = (neg.f64 %211)
%2253 = (/.f64 %1728 %211)
%2257 = (/.f64 #s(literal 1/2 binary64) %1201)
%2263 = (/.f64 #s(literal -1 binary64) %865)
%2266 = (/.f64 x %865)
%2268 = (neg.f64 %865)
%2269 = (neg.f64 %2268)
%2280 = (/.f64 %13 %865)
%2282 = (/.f64 #s(literal 0 binary64) %2269)
%2286 = (/.f64 %1387 %2269)
%2290 = (/.f64 %2 %2269)
%2292 = (/.f64 %1306 %2268)
%2294 = (/.f64 #s(literal 0 binary64) %2268)
%2303 = (/.f64 %31 %2268)
%2311 = (/.f64 #s(literal -1 binary64) %132)
%2314 = (/.f64 x %132)
%2316 = (neg.f64 %132)
%2317 = (neg.f64 %2316)
%2328 = (/.f64 %13 %132)
%2330 = (/.f64 #s(literal 0 binary64) %2317)
%2334 = (/.f64 %1387 %2317)
%2338 = (/.f64 %2 %2317)
%2340 = (/.f64 %1306 %2316)
%2342 = (/.f64 #s(literal 0 binary64) %2316)
%2351 = (/.f64 %31 %2316)
x
#s(literal 1 binary64)
(*.f64 %4 %4)
(*.f64 %3 %3)
(pow.f64 %7 #s(literal 1/2 binary64))
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 (fma.f64 x %13 %15) %13)
(/.f64 (fma.f64 x %13 %18) %13)
(/.f64 (fma.f64 x %21 %21) %21)
(/.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 x x x) x)
(/.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %31)
(-.f64 #s(literal 1 binary64) %13)
(-.f64 x #s(literal -1 binary64))
(sqrt.f64 %7)
(fabs.f64 (*.f64 %4 %3))
(fabs.f64 (*.f64 %3 %4))
(fabs.f64 %2)
%2
(+.f64 x #s(literal 1 binary64))
#s(literal 1/2 binary64)
%42
(*.f64 x #s(literal 1/2 binary64))
(pow.f64 %42 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %42 #s(literal -1 binary64)))
#s(literal -1/8 binary64)
%48
(*.f64 x #s(literal -1/8 binary64))
(pow.f64 %48 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %48 #s(literal -1 binary64)))
(pow.f64 %53 #s(literal 1 binary64))
(/.f64 (fma.f64 %48 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %48 #s(literal 2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %53 #s(literal -1 binary64)))
(neg.f64 (-.f64 %63 #s(literal 1/2 binary64)))
%53
(fma.f64 x #s(literal -1/8 binary64) #s(literal 1/2 binary64))
(-.f64 %48 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %63)
(+.f64 %48 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (neg.f64 %63))
(+.f64 #s(literal 1/2 binary64) %48)
%74
(*.f64 x %53)
(pow.f64 %74 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %74 #s(literal -1 binary64)))
(fma.f64 %79 #s(literal -1/8 binary64) %42)
(fma.f64 %48 x %42)
(fma.f64 #s(literal -1/8 binary64) %79 %42)
(fma.f64 #s(literal 1/2 binary64) x %83)
(fma.f64 x %48 %42)
(fma.f64 x #s(literal 1/2 binary64) %83)
(-.f64 %42 (*.f64 %13 %48))
(-.f64 %42 (*.f64 %63 x))
(-.f64 %42 (neg.f64 %83))
(+.f64 %83 %42)
(+.f64 %42 %83)
#s(literal 2 binary64)
(pow.f64 %95 #s(literal 1 binary64))
(/.f64 (fma.f64 %97 %13 %15) %13)
(/.f64 (fma.f64 %97 %13 %18) %13)
(/.f64 (fma.f64 %97 %21 %21) %21)
(/.f64 (fma.f64 %97 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %97 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %97 x x) x)
(/.f64 #s(literal 1 binary64) (pow.f64 %95 #s(literal -1 binary64)))
(neg.f64 (-.f64 %112 #s(literal 2 binary64)))
%95
(fma.f64 x #s(literal 1/2 binary64) #s(literal 2 binary64))
(-.f64 #s(literal 2 binary64) %112)
(-.f64 %42 #s(literal -2 binary64))
(+.f64 %97 #s(literal 1 binary64))
(+.f64 #s(literal 2 binary64) (neg.f64 %112))
(+.f64 #s(literal 2 binary64) %42)
(+.f64 %42 #s(literal 2 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) %42))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) %112))
(pow.f64 %132 #s(literal 1 binary64))
%132
(/.f64 #s(literal 1 binary64) %134)
(pow.f64 %137 #s(literal 1 binary64))
%137
(/.f64 #s(literal 1 binary64) (pow.f64 %137 #s(literal -1 binary64)))
(pow.f64 %141 #s(literal 1 binary64))
%141
(/.f64 #s(literal 1 binary64) (pow.f64 %141 #s(literal -1 binary64)))
(*.f64 %147 %149)
(*.f64 %152 %153)
(*.f64 %155 #s(literal 4 binary64))
(*.f64 %158 %159)
(*.f64 %161 #s(literal 1/2 binary64))
(*.f64 %163 %164)
(*.f64 %166 #s(literal 2 binary64))
(*.f64 %168 %169)
(*.f64 %171 %172)
(*.f64 %174 #s(literal 1 binary64))
(*.f64 %164 %163)
(*.f64 %177 #s(literal 2 binary64))
(*.f64 %180 %180)
(*.f64 #s(literal -1 binary64) %182)
(*.f64 %184 %184)
(*.f64 %151 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %188)
(*.f64 #s(literal 2 binary64) %190)
(*.f64 #s(literal 2 binary64) %187)
(*.f64 #s(literal 2 binary64) %177)
(*.f64 #s(literal 1/2 binary64) %161)
(*.f64 #s(literal 1 binary64) %174)
(*.f64 #s(literal 1 binary64) %151)
(pow.f64 %197 #s(literal 1/2 binary64))
(pow.f64 %179 #s(literal -2 binary64))
(pow.f64 %184 #s(literal 2 binary64))
(pow.f64 %151 #s(literal 1 binary64))
(pow.f64 x #s(literal -1 binary64))
(/.f64 %203 %79)
(/.f64 %205 %79)
(/.f64 %207 %208)
(/.f64 %210 %211)
(/.f64 %213 %211)
(/.f64 %215 %216)
(/.f64 %218 %79)
(/.f64 %220 %221)
(/.f64 %223 %79)
(/.f64 %225 %221)
(/.f64 %227 %228)
(/.f64 #s(literal -2 binary64) %230)
(/.f64 #s(literal -2 binary64) %232)
(/.f64 %15 %221)
(/.f64 %18 %211)
(/.f64 %21 %236)
(/.f64 #s(literal -1 binary64) (*.f64 %238 %179))
(/.f64 #s(literal -1 binary64) (*.f64 %179 %238))
(/.f64 #s(literal -1 binary64) %243)
(/.f64 #s(literal -1 binary64) %245)
(/.f64 #s(literal -1 binary64) %13)
(/.f64 #s(literal 2 binary64) %248)
(/.f64 #s(literal 2 binary64) %146)
(/.f64 #s(literal 1 binary64) (*.f64 %238 %238))
(/.f64 #s(literal 1 binary64) %164)
(/.f64 #s(literal 1 binary64) (/.f64 %13 #s(literal -1 binary64)))
%151
(/.f64 x %79)
(neg.f64 %182)
(fma.f64 %147 %149 %259)
(fma.f64 %152 %153 %259)
(fma.f64 %155 #s(literal 4 binary64) %259)
(fma.f64 %158 %159 %259)
(fma.f64 %161 #s(literal 1/2 binary64) %259)
(fma.f64 %163 %164 %259)
(fma.f64 %166 #s(literal 2 binary64) %259)
(fma.f64 %168 %169 %259)
(fma.f64 %171 %172 %259)
(fma.f64 %174 #s(literal 1 binary64) %259)
(fma.f64 %164 %163 %259)
(fma.f64 %177 #s(literal 2 binary64) %259)
(fma.f64 %180 %180 %259)
(fma.f64 #s(literal -1 binary64) %182 %259)
(fma.f64 %184 %184 %259)
(fma.f64 %151 #s(literal 1 binary64) %259)
(fma.f64 #s(literal 2 binary64) %188 %259)
(fma.f64 #s(literal 2 binary64) %190 %259)
(fma.f64 #s(literal 2 binary64) %187 %259)
(fma.f64 #s(literal 2 binary64) %177 %259)
(fma.f64 #s(literal 1/2 binary64) %161 %259)
(fma.f64 #s(literal 1 binary64) %174 %259)
(fma.f64 #s(literal 1 binary64) %151 %259)
(-.f64 (/.f64 %284 x) (/.f64 %287 x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) %79))
(sqrt.f64 %197)
(fabs.f64 (*.f64 %180 %184))
(fabs.f64 (*.f64 %184 %180))
(fabs.f64 %182)
(fabs.f64 %151)
(+.f64 %177 %177)
(+.f64 %151 %259)
(*.f64 %301 %153)
(*.f64 %303 %164)
(*.f64 %168 %305)
(*.f64 %307 %159)
(*.f64 %309 %311)
(*.f64 %313 %315)
(*.f64 %313 %318)
(*.f64 %171 %320)
(*.f64 %322 %323)
(*.f64 %325 %326)
(*.f64 %325 %328)
(*.f64 %330 #s(literal 1/2 binary64))
(*.f64 %174 %179)
(*.f64 %333 %334)
(*.f64 %336 %337)
(*.f64 %336 %339)
(*.f64 %341 %164)
(*.f64 #s(literal 1/4 binary64) %344)
(*.f64 #s(literal 1/4 binary64) %346)
(*.f64 %164 %303)
(*.f64 %164 %341)
(*.f64 %350 %350)
(*.f64 %352 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %354)
(*.f64 %145 %356)
(*.f64 %145 %358)
(*.f64 #s(literal -1/2 binary64) %360)
(*.f64 %362 #s(literal 1 binary64))
(*.f64 %179 %174)
(*.f64 #s(literal -1 binary64) %180)
(*.f64 %184 #s(literal 1 binary64))
(*.f64 %151 %179)
(*.f64 #s(literal 2 binary64) %352)
(*.f64 #s(literal 1/2 binary64) %330)
(*.f64 #s(literal 1/2 binary64) %370)
(*.f64 #s(literal 1/2 binary64) %372)
(*.f64 #s(literal 1 binary64) %374)
(*.f64 #s(literal 1 binary64) %376)
(*.f64 #s(literal 1 binary64) %362)
(*.f64 #s(literal 1 binary64) %184)
(pow.f64 %179 #s(literal -1 binary64))
(pow.f64 %184 #s(literal 1 binary64))
(pow.f64 %151 #s(literal 1/2 binary64))
(pow.f64 x #s(literal -1/2 binary64))
(/.f64 %218 %384)
(/.f64 %220 %386)
(/.f64 %223 %384)
(/.f64 %225 %386)
(/.f64 %227 (*.f64 %21 %238))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %238))
(/.f64 %394 %245)
(/.f64 %18 %396)
(/.f64 %238 %13)
(/.f64 %21 %399)
(/.f64 %179 x)
(/.f64 #s(literal -1 binary64) %402)
(/.f64 #s(literal -1 binary64) %405)
(/.f64 #s(literal -1 binary64) %407)
(/.f64 #s(literal -1 binary64) %409)
(/.f64 #s(literal -1 binary64) %310)
(/.f64 #s(literal -1 binary64) %238)
(/.f64 #s(literal 2 binary64) %413)
(/.f64 #s(literal 1 binary64) %415)
(/.f64 #s(literal 1 binary64) %417)
(/.f64 #s(literal 1 binary64) (neg.f64 %238))
(/.f64 #s(literal 1 binary64) %179)
(/.f64 x %422)
(fma.f64 %301 %153 %424)
(fma.f64 %303 %164 %424)
(fma.f64 %168 %305 %424)
(fma.f64 %307 %159 %424)
(fma.f64 %309 %311 %424)
(fma.f64 %313 %315 %424)
(fma.f64 %313 %318 %424)
(fma.f64 %171 %320 %424)
(fma.f64 %322 %323 %424)
(fma.f64 %325 %326 %424)
(fma.f64 %325 %328 %424)
(fma.f64 %330 #s(literal 1/2 binary64) %424)
(fma.f64 %174 %179 %424)
(fma.f64 %333 %334 %424)
(fma.f64 %336 %337 %424)
(fma.f64 %336 %339 %424)
(fma.f64 %341 %164 %424)
(fma.f64 #s(literal 1/4 binary64) %344 %424)
(fma.f64 #s(literal 1/4 binary64) %346 %424)
(fma.f64 %164 %303 %424)
(fma.f64 %164 %341 %424)
(fma.f64 %350 %350 %424)
(fma.f64 %352 #s(literal 2 binary64) %424)
(fma.f64 #s(literal -2 binary64) %354 %424)
(fma.f64 %145 %356 %424)
(fma.f64 %145 %358 %424)
(fma.f64 #s(literal -1/2 binary64) %360 %424)
(fma.f64 %362 #s(literal 1 binary64) %424)
(fma.f64 %179 %174 %424)
(fma.f64 #s(literal -1 binary64) %180 %424)
(fma.f64 %184 #s(literal 1 binary64) %424)
(fma.f64 %151 %179 %424)
(fma.f64 #s(literal 2 binary64) %352 %424)
(fma.f64 #s(literal 1/2 binary64) %330 %424)
(fma.f64 #s(literal 1/2 binary64) %370 %424)
(fma.f64 #s(literal 1/2 binary64) %372 %424)
(fma.f64 #s(literal 1 binary64) %374 %424)
(fma.f64 #s(literal 1 binary64) %376 %424)
(fma.f64 #s(literal 1 binary64) %362 %424)
(fma.f64 #s(literal 1 binary64) %184 %424)
(-.f64 (/.f64 %284 %179) (/.f64 %287 %179))
%184
(fabs.f64 %404)
(fabs.f64 %180)
(fabs.f64 %184)
(+.f64 %352 %352)
(+.f64 %184 %424)
(*.f64 (/.f64 %474 %146) %153)
(*.f64 %477 %164)
(*.f64 %479 #s(literal 1 binary64))
(*.f64 %168 (/.f64 %474 #s(literal 1/2 binary64)))
(*.f64 %164 %477)
(*.f64 %473 %151)
(*.f64 #s(literal 1 binary64) %479)
(pow.f64 %474 #s(literal 1 binary64))
(/.f64 (fma.f64 %151 %238 #s(literal -1 binary64)) %238)
(/.f64 %489 %211)
(/.f64 (-.f64 %491 #s(literal 1 binary64)) %13)
(/.f64 (-.f64 %184 #s(literal -1 binary64)) %179)
(/.f64 (-.f64 (*.f64 %151 %238) #s(literal 1 binary64)) %238)
(/.f64 %499 %211)
(/.f64 %501 %79)
(/.f64 (+.f64 x %503) %505)
(/.f64 (fma.f64 #s(literal -1 binary64) x %402) %508)
(/.f64 (fma.f64 #s(literal -1 binary64) %238 x) %384)
(/.f64 (fma.f64 #s(literal 1 binary64) %238 %15) %396)
(/.f64 (+.f64 x %514) %505)
(/.f64 (fma.f64 #s(literal -1 binary64) x %517) %508)
(/.f64 (fma.f64 #s(literal -1 binary64) %238 %520) %384)
(/.f64 (fma.f64 #s(literal 1 binary64) %238 %18) %396)
(/.f64 (-.f64 %15 %514) %508)
(/.f64 (-.f64 x %517) %505)
(/.f64 (-.f64 x %529) %531)
(/.f64 (-.f64 %243 %179) %534)
(/.f64 (-.f64 %394 %520) %386)
(/.f64 (-.f64 %503 %245) %384)
(/.f64 (-.f64 %179 %18) %422)
(/.f64 (-.f64 %402 x) %396)
(/.f64 (*.f64 %544 #s(literal -1 binary64)) %211)
(/.f64 (*.f64 %544 #s(literal 1 binary64)) %79)
(/.f64 (*.f64 %549 #s(literal -1 binary64)) %211)
(/.f64 (*.f64 %549 #s(literal 1 binary64)) %79)
(/.f64 (neg.f64 %554) x)
(/.f64 (neg.f64 %558) %238)
(/.f64 (neg.f64 %561) %563)
(/.f64 (neg.f64 %565) (neg.f64 %531))
(/.f64 (neg.f64 %569) %571)
(/.f64 (neg.f64 %557) (neg.f64 %422))
(/.f64 (neg.f64 %576) %563)
(/.f64 (neg.f64 %579) %571)
(/.f64 (neg.f64 %582) x)
(/.f64 %554 %13)
(/.f64 %558 %179)
(/.f64 %561 %534)
(/.f64 %565 %531)
(/.f64 %569 %386)
(/.f64 %557 %422)
(/.f64 %576 %534)
(/.f64 %579 %386)
(/.f64 %582 %13)
%474
(/.f64 #s(literal 1 binary64) (pow.f64 %474 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %473))
(neg.f64 (-.f64 %182 %184))
(fma.f64 %147 %149 %184)
(fma.f64 %152 %153 %184)
(fma.f64 %155 #s(literal 4 binary64) %184)
(fma.f64 %301 %153 %151)
(fma.f64 %303 %164 %151)
(fma.f64 %158 %159 %184)
(fma.f64 %161 #s(literal 1/2 binary64) %184)
(fma.f64 %163 %164 %184)
(fma.f64 %166 #s(literal 2 binary64) %184)
(fma.f64 %168 %305 %151)
(fma.f64 %168 %169 %184)
(fma.f64 %307 %159 %151)
(fma.f64 %309 %311 %151)
(fma.f64 %313 %315 %151)
(fma.f64 %313 %318 %151)
(fma.f64 %171 %172 %184)
(fma.f64 %171 %320 %151)
(fma.f64 %322 %323 %151)
(fma.f64 %325 %326 %151)
(fma.f64 %325 %328 %151)
(fma.f64 %330 #s(literal 1/2 binary64) %151)
(fma.f64 %174 %179 %151)
(fma.f64 %174 #s(literal 1 binary64) %184)
(fma.f64 %333 %334 %151)
(fma.f64 %336 %337 %151)
(fma.f64 %336 %339 %151)
(fma.f64 %341 %164 %151)
(fma.f64 #s(literal 1/4 binary64) %344 %151)
(fma.f64 #s(literal 1/4 binary64) %346 %151)
(fma.f64 %164 %303 %151)
(fma.f64 %164 %163 %184)
(fma.f64 %164 %341 %151)
(fma.f64 %350 %350 %151)
(fma.f64 %177 #s(literal 2 binary64) %184)
(fma.f64 %352 #s(literal 2 binary64) %151)
(fma.f64 #s(literal -2 binary64) %354 %151)
(fma.f64 %145 %356 %151)
(fma.f64 %145 %358 %151)
(fma.f64 #s(literal -1/2 binary64) %360 %151)
(fma.f64 %362 #s(literal 1 binary64) %151)
(fma.f64 %180 %180 %184)
(fma.f64 %179 %174 %151)
(fma.f64 #s(literal -1 binary64) %182 %184)
(fma.f64 #s(literal -1 binary64) %180 %151)
(fma.f64 %184 %184 %184)
(fma.f64 %184 #s(literal 1 binary64) %151)
(fma.f64 %151 %179 %151)
(fma.f64 %151 #s(literal 1 binary64) %184)
(fma.f64 #s(literal 2 binary64) %188 %184)
(fma.f64 #s(literal 2 binary64) %190 %184)
(fma.f64 #s(literal 2 binary64) %187 %184)
(fma.f64 #s(literal 2 binary64) %177 %184)
(fma.f64 #s(literal 2 binary64) %352 %151)
(fma.f64 #s(literal 1/2 binary64) %161 %184)
(fma.f64 #s(literal 1/2 binary64) %330 %151)
(fma.f64 #s(literal 1/2 binary64) %370 %151)
(fma.f64 #s(literal 1/2 binary64) %372 %151)
(fma.f64 #s(literal 1 binary64) %374 %151)
(fma.f64 #s(literal 1 binary64) %376 %151)
(fma.f64 #s(literal 1 binary64) %174 %184)
(fma.f64 #s(literal 1 binary64) %362 %151)
(fma.f64 #s(literal 1 binary64) %184 %151)
(fma.f64 #s(literal 1 binary64) %151 %184)
(-.f64 %184 (/.f64 %663 x))
(-.f64 %184 (/.f64 %666 x))
(-.f64 %184 %182)
(-.f64 %151 %180)
(+.f64 (/.f64 %491 %13) %151)
(+.f64 (/.f64 %184 %179) %184)
(+.f64 (/.f64 x %531) (/.f64 %179 %531))
(+.f64 (/.f64 %179 %422) %184)
(+.f64 %680 (/.f64 %394 %534))
(+.f64 %680 (/.f64 %529 %534))
(+.f64 %685 (/.f64 %243 %386))
(+.f64 %685 (/.f64 %245 %386))
(+.f64 %184 %151)
(+.f64 %151 %184)
(*.f64 (/.f64 %473 %146) %153)
(*.f64 %168 (/.f64 %473 #s(literal 1/2 binary64)))
(*.f64 %164 %474)
(*.f64 %473 #s(literal 1 binary64))
(*.f64 %474 %164)
(*.f64 %474 x)
(*.f64 #s(literal 1 binary64) %473)
(*.f64 x %474)
(pow.f64 %473 #s(literal 1 binary64))
(/.f64 %489 %13)
(/.f64 (fma.f64 %179 %21 %21) %21)
(/.f64 (fma.f64 %179 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %499 %13)
(/.f64 %501 x)
(/.f64 (fma.f64 x %13 %710) %534)
(/.f64 (fma.f64 x %13 %713) %534)
(/.f64 (fma.f64 x %21 %399) %717)
(/.f64 (fma.f64 x #s(literal 2 binary64) %413) %720)
(/.f64 (fma.f64 x x %422) %531)
(/.f64 (fma.f64 %15 %179 %211) %386)
(/.f64 (fma.f64 %18 %179 %211) %386)
(/.f64 (fma.f64 %21 %179 %216) %399)
(/.f64 (fma.f64 #s(literal 2 binary64) %179 %146) %413)
(/.f64 (fma.f64 x %13 %732) %534)
(/.f64 (fma.f64 x %13 %735) %534)
(/.f64 (fma.f64 x %21 %717) %717)
(/.f64 (fma.f64 x #s(literal 2 binary64) %720) %720)
(/.f64 (fma.f64 x x %531) %531)
(/.f64 (fma.f64 %15 %179 %221) %386)
(/.f64 (fma.f64 %18 %179 %221) %386)
(/.f64 (fma.f64 %21 %179 %236) %399)
(/.f64 (fma.f64 #s(literal 2 binary64) %179 %248) %413)
(/.f64 (fma.f64 x %179 %79) %422)
(/.f64 (neg.f64 %544) %13)
(/.f64 (neg.f64 %549) %13)
(/.f64 %544 x)
(/.f64 %549 x)
(/.f64 %565 %179)
(/.f64 %557 %179)
(/.f64 %473 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %473 #s(literal -1 binary64)))
(fma.f64 %765 %766 #s(literal 1 binary64))
(fma.f64 %768 %769 #s(literal 1 binary64))
(fma.f64 %771 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %773 %151 #s(literal 1 binary64))
(fma.f64 %775 %776 #s(literal 1 binary64))
(fma.f64 %778 %779 #s(literal 1 binary64))
(fma.f64 %778 %781 #s(literal 1 binary64))
(fma.f64 %161 %783 #s(literal 1 binary64))
(fma.f64 %161 %785 #s(literal 1 binary64))
(fma.f64 %787 %788 #s(literal 1 binary64))
(fma.f64 %787 %790 #s(literal 1 binary64))
(fma.f64 %792 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %794 %354 #s(literal 1 binary64))
(fma.f64 %796 %374 #s(literal 1 binary64))
(fma.f64 %796 %376 #s(literal 1 binary64))
(fma.f64 %799 %352 #s(literal 1 binary64))
(fma.f64 %313 %801 #s(literal 1 binary64))
(fma.f64 %171 %803 #s(literal 1 binary64))
(fma.f64 %325 %805 #s(literal 1 binary64))
(fma.f64 %174 %807 #s(literal 1 binary64))
(fma.f64 %333 %180 #s(literal 1 binary64))
(fma.f64 %336 %810 #s(literal 1 binary64))
(fma.f64 %336 %370 #s(literal 1 binary64))
(fma.f64 %336 %372 #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) %814 #s(literal 1 binary64))
(fma.f64 %164 %816 #s(literal 1 binary64))
(fma.f64 %164 %184 #s(literal 1 binary64))
(fma.f64 %314 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %820 #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %822 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %824 #s(literal 1 binary64))
(fma.f64 %148 %826 #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %828 #s(literal 1 binary64))
(fma.f64 %182 %830 #s(literal 1 binary64))
(fma.f64 %179 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %833 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %323 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %310 #s(literal 1 binary64))
(fma.f64 %184 %164 #s(literal 1 binary64))
(fma.f64 %184 x #s(literal 1 binary64))
(fma.f64 %151 %773 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %840 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %842 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %314 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %317 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %771 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %847 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %849 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %326 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %328 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %853 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %855 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %857 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %179 #s(literal 1 binary64))
(fma.f64 x %184 #s(literal 1 binary64))
(-.f64 %179 %663)
(-.f64 %179 %666)
%473
(+.f64 %179 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) %179)
(pow.f64 %865 #s(literal 1 binary64))
%865
(/.f64 #s(literal 1 binary64) %867)
(*.f64 %765 %766)
(*.f64 %768 %769)
(*.f64 %771 #s(literal 1/2 binary64))
(*.f64 %773 %151)
(*.f64 %775 %776)
(*.f64 %778 %779)
(*.f64 %778 %781)
(*.f64 %161 %783)
(*.f64 %161 %785)
(*.f64 %787 %788)
(*.f64 %787 %790)
(*.f64 %792 #s(literal 1/2 binary64))
(*.f64 %794 %354)
(*.f64 %796 %374)
(*.f64 %796 %376)
(*.f64 %799 %352)
(*.f64 %313 %801)
(*.f64 %171 %803)
(*.f64 %325 %805)
(*.f64 %174 %807)
(*.f64 %333 %180)
(*.f64 %336 %810)
(*.f64 %336 %370)
(*.f64 %336 %372)
(*.f64 #s(literal 1/4 binary64) %814)
(*.f64 %164 %816)
(*.f64 %164 %184)
(*.f64 %314 #s(literal 2 binary64))
(*.f64 #s(literal 4 binary64) %820)
(*.f64 #s(literal 4 binary64) %822)
(*.f64 #s(literal -2 binary64) %824)
(*.f64 %148 %826)
(*.f64 #s(literal -1/2 binary64) %828)
(*.f64 %182 %830)
(*.f64 %179 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %833)
(*.f64 #s(literal -1 binary64) %323)
(*.f64 #s(literal -1 binary64) %310)
(*.f64 %184 %164)
(*.f64 %184 x)
(*.f64 %151 %773)
(*.f64 #s(literal 2 binary64) %840)
(*.f64 #s(literal 2 binary64) %842)
(*.f64 #s(literal 2 binary64) %314)
(*.f64 #s(literal 2 binary64) %317)
(*.f64 #s(literal 1/2 binary64) %771)
(*.f64 #s(literal 1/2 binary64) %847)
(*.f64 #s(literal 1/2 binary64) %849)
(*.f64 #s(literal 1/2 binary64) %326)
(*.f64 #s(literal 1/2 binary64) %328)
(*.f64 #s(literal 1 binary64) %853)
(*.f64 #s(literal 1 binary64) %855)
(*.f64 #s(literal 1 binary64) %857)
(*.f64 #s(literal 1 binary64) %179)
(*.f64 x %184)
(pow.f64 %404 #s(literal -1 binary64))
(pow.f64 %79 #s(literal 1/4 binary64))
(pow.f64 %179 #s(literal 1 binary64))
(pow.f64 %184 #s(literal -1 binary64))
(pow.f64 %151 #s(literal -1/2 binary64))
(pow.f64 x #s(literal 1/2 binary64))
(/.f64 %732 %243)
(/.f64 %735 %243)
(/.f64 %717 %215)
(/.f64 %720 #s(literal 2 binary64))
(/.f64 %710 %245)
(/.f64 %713 %245)
(/.f64 %203 %936)
(/.f64 %205 %936)
(/.f64 %207 (*.f64 %180 %21))
(/.f64 %210 %941)
(/.f64 %210 %491)
(/.f64 %213 %941)
(/.f64 %213 %491)
(/.f64 %215 (*.f64 %404 %21))
(/.f64 %215 (*.f64 %184 %21))
(/.f64 %218 %415)
(/.f64 %220 %405)
(/.f64 %220 %407)
(/.f64 %223 %415)
(/.f64 %225 %405)
(/.f64 %225 %407)
(/.f64 %227 (*.f64 %21 %180))
(/.f64 %399 %21)
(/.f64 %413 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 %180 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %180))
(/.f64 %310 #s(literal -1 binary64))
(/.f64 %15 (*.f64 %180 x))
(/.f64 %531 x)
(/.f64 %422 x)
(/.f64 %18 %409)
(/.f64 %238 #s(literal -1 binary64))
(/.f64 %21 (*.f64 %21 %404))
(/.f64 %21 (*.f64 %21 %184))
(/.f64 %13 %238)
(/.f64 %179 #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (*.f64 %180 #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 %404))
(/.f64 #s(literal -1 binary64) %180)
(/.f64 #s(literal 2 binary64) (*.f64 %404 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 %184 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %404))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %184))
(/.f64 #s(literal 1 binary64) (*.f64 %404 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 1 binary64) %404))
(/.f64 #s(literal 1 binary64) (/.f64 %180 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %404)
(/.f64 #s(literal 1 binary64) %362)
(/.f64 #s(literal 1 binary64) %184)
(/.f64 x (*.f64 %404 x))
(/.f64 x %417)
(/.f64 x %179)
(neg.f64 %310)
(fma.f64 %765 %766 %1004)
(fma.f64 %765 %766 %1006)
(fma.f64 %768 %769 %1004)
(fma.f64 %768 %769 %1006)
(fma.f64 %771 #s(literal 1/2 binary64) %1004)
(fma.f64 %771 #s(literal 1/2 binary64) %1006)
(fma.f64 %773 %151 %1004)
(fma.f64 %773 %151 %1006)
(fma.f64 %775 %776 %1004)
(fma.f64 %775 %776 %1006)
(fma.f64 %778 %779 %1004)
(fma.f64 %778 %779 %1006)
(fma.f64 %778 %781 %1004)
(fma.f64 %778 %781 %1006)
(fma.f64 %161 %783 %1004)
(fma.f64 %161 %783 %1006)
(fma.f64 %161 %785 %1004)
(fma.f64 %161 %785 %1006)
(fma.f64 %787 %788 %1004)
(fma.f64 %787 %788 %1006)
(fma.f64 %787 %790 %1004)
(fma.f64 %787 %790 %1006)
(fma.f64 %792 #s(literal 1/2 binary64) %1004)
(fma.f64 %792 #s(literal 1/2 binary64) %1006)
(fma.f64 %794 %354 %1004)
(fma.f64 %794 %354 %1006)
(fma.f64 %796 %374 %1004)
(fma.f64 %796 %374 %1006)
(fma.f64 %796 %376 %1004)
(fma.f64 %796 %376 %1006)
(fma.f64 %799 %352 %1004)
(fma.f64 %799 %352 %1006)
(fma.f64 %313 %801 %1004)
(fma.f64 %313 %801 %1006)
(fma.f64 %171 %803 %1004)
(fma.f64 %171 %803 %1006)
(fma.f64 %325 %805 %1004)
(fma.f64 %325 %805 %1006)
(fma.f64 %174 %807 %1004)
(fma.f64 %174 %807 %1006)
(fma.f64 %333 %180 %1004)
(fma.f64 %333 %180 %1006)
(fma.f64 %336 %810 %1004)
(fma.f64 %336 %810 %1006)
(fma.f64 %336 %370 %1004)
(fma.f64 %336 %370 %1006)
(fma.f64 %336 %372 %1004)
(fma.f64 %336 %372 %1006)
(fma.f64 #s(literal 1/4 binary64) %814 %1004)
(fma.f64 #s(literal 1/4 binary64) %814 %1006)
(fma.f64 %164 %816 %1004)
(fma.f64 %164 %816 %1006)
(fma.f64 %164 %184 %1004)
(fma.f64 %164 %184 %1006)
(fma.f64 %314 #s(literal 2 binary64) %1004)
(fma.f64 %314 #s(literal 2 binary64) %1006)
(fma.f64 #s(literal 4 binary64) %820 %1004)
(fma.f64 #s(literal 4 binary64) %820 %1006)
(fma.f64 #s(literal 4 binary64) %822 %1004)
(fma.f64 #s(literal 4 binary64) %822 %1006)
(fma.f64 #s(literal -2 binary64) %824 %1004)
(fma.f64 #s(literal -2 binary64) %824 %1006)
(fma.f64 %148 %826 %1004)
(fma.f64 %148 %826 %1006)
(fma.f64 #s(literal -1/2 binary64) %828 %1004)
(fma.f64 #s(literal -1/2 binary64) %828 %1006)
(fma.f64 %182 %830 %1004)
(fma.f64 %182 %830 %1006)
(fma.f64 %179 #s(literal 1 binary64) %1004)
(fma.f64 %179 #s(literal 1 binary64) %1006)
(fma.f64 #s(literal -1 binary64) %833 %1004)
(fma.f64 #s(literal -1 binary64) %833 %1006)
(fma.f64 #s(literal -1 binary64) %323 %1004)
(fma.f64 #s(literal -1 binary64) %323 %1006)
(fma.f64 #s(literal -1 binary64) %310 %1004)
(fma.f64 #s(literal -1 binary64) %310 %1006)
(fma.f64 %184 %164 %1004)
(fma.f64 %184 %164 %1006)
(fma.f64 %184 x %1004)
(fma.f64 %184 x %1006)
(fma.f64 %151 %773 %1004)
(fma.f64 %151 %773 %1006)
(fma.f64 #s(literal 2 binary64) %840 %1004)
(fma.f64 #s(literal 2 binary64) %840 %1006)
(fma.f64 #s(literal 2 binary64) %842 %1004)
(fma.f64 #s(literal 2 binary64) %842 %1006)
(fma.f64 #s(literal 2 binary64) %314 %1004)
(fma.f64 #s(literal 2 binary64) %314 %1006)
(fma.f64 #s(literal 2 binary64) %317 %1004)
(fma.f64 #s(literal 2 binary64) %317 %1006)
(fma.f64 #s(literal 1/2 binary64) %771 %1004)
(fma.f64 #s(literal 1/2 binary64) %771 %1006)
(fma.f64 #s(literal 1/2 binary64) %847 %1004)
(fma.f64 #s(literal 1/2 binary64) %847 %1006)
(fma.f64 #s(literal 1/2 binary64) %849 %1004)
(fma.f64 #s(literal 1/2 binary64) %849 %1006)
(fma.f64 #s(literal 1/2 binary64) %326 %1004)
(fma.f64 #s(literal 1/2 binary64) %326 %1006)
(fma.f64 #s(literal 1/2 binary64) %328 %1004)
(fma.f64 #s(literal 1/2 binary64) %328 %1006)
(fma.f64 #s(literal 1 binary64) %853 %1004)
(fma.f64 #s(literal 1 binary64) %853 %1006)
(fma.f64 #s(literal 1 binary64) %855 %1004)
(fma.f64 #s(literal 1 binary64) %855 %1006)
(fma.f64 #s(literal 1 binary64) %857 %1004)
(fma.f64 #s(literal 1 binary64) %857 %1006)
(fma.f64 #s(literal 1 binary64) %179 %1004)
(fma.f64 #s(literal 1 binary64) %179 %1006)
(fma.f64 x %184 %1004)
(fma.f64 x %184 %1006)
(-.f64 (/.f64 %284 %404) (/.f64 %287 %404))
(-.f64 (/.f64 %284 %184) (/.f64 %287 %184))
(sqrt.f64 %164)
%179
(fabs.f64 (/.f64 %179 #s(literal -1 binary64)))
(fabs.f64 %310)
(fabs.f64 %529)
(fabs.f64 %394)
(fabs.f64 %238)
(fabs.f64 %179)
(+.f64 %1130 %1130)
(+.f64 %317 %317)
(+.f64 %179 %1004)
(+.f64 %179 %1006)
(pow.f64 %1135 #s(literal 1 binary64))
%1135
(/.f64 #s(literal 1 binary64) (pow.f64 %1135 #s(literal -1 binary64)))
(*.f64 %1139 %1139)
(pow.f64 %3 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1/2 binary64)))
%3
(fabs.f64 %1147)
(fabs.f64 %4)
(fabs.f64 %3)
(*.f64 %1152 %1153)
(*.f64 %1156 %1157)
(*.f64 %1159 %1160)
(*.f64 %1162 %1163)
(*.f64 %1166 %1167)
(*.f64 %1169 %1167)
(*.f64 %1171 %1172)
(*.f64 %1174 %1175)
(*.f64 %1177 %1167)
(*.f64 %1179 %1181)
(*.f64 %1183 %1185)
(*.f64 %787 %1187)
(*.f64 %1189 %787)
(*.f64 %1172 %1191)
(*.f64 %1193 x)
(*.f64 %1195 %1175)
(*.f64 %1195 %1197)
(*.f64 %182 %1199)
(*.f64 %1201 %1202)
(*.f64 #s(literal -1 binary64) %1201)
(*.f64 %1205 %775)
(*.f64 %1205 %13)
(*.f64 %1208 %1209)
(*.f64 %151 %1211)
(*.f64 #s(literal 1 binary64) %1208)
(*.f64 x %1193)
(pow.f64 %1184 #s(literal -1 binary64))
(pow.f64 %1208 #s(literal 1 binary64))
(/.f64 (fma.f64 %4 %13 %15) %13)
(/.f64 (fma.f64 %4 %13 %18) %13)
(/.f64 (fma.f64 %4 %21 %21) %21)
(/.f64 (fma.f64 %4 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %4 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %4 x x) x)
(/.f64 %13 %1155)
(/.f64 #s(literal -1 binary64) %1180)
(/.f64 #s(literal 1 binary64) %1184)
(/.f64 x %1151)
(neg.f64 %1201)
(fma.f64 %1152 %1153 %1234)
(fma.f64 %1156 %1157 %1234)
(fma.f64 %1159 %1160 %1234)
(fma.f64 %1162 %1163 %1234)
(fma.f64 %1166 %1167 %1234)
(fma.f64 %1169 %1167 %1234)
(fma.f64 %1171 %1172 %1234)
(fma.f64 %1174 %1175 %1234)
(fma.f64 %1177 %1167 %1234)
(fma.f64 %1244 %1185 %1245)
(fma.f64 %1247 %1248 %1245)
(fma.f64 %1179 %1181 %1234)
(fma.f64 %1183 %1185 %1234)
(fma.f64 %1252 %1253 %1245)
(fma.f64 %1211 %1255 %1245)
(fma.f64 %1255 %1211 %1245)
(fma.f64 %1258 %1259 %1245)
(fma.f64 %1261 #s(literal -1 binary64) %1245)
(fma.f64 %158 %1263 %1245)
(fma.f64 %161 %1185 %1245)
(fma.f64 %787 %1187 %1234)
(fma.f64 %163 %1199 %1245)
(fma.f64 %1259 %1258 %1245)
(fma.f64 %1189 %787 %1234)
(fma.f64 %177 %1270 %1245)
(fma.f64 %1172 %1191 %1234)
(fma.f64 %1193 x %1234)
(fma.f64 %1195 %1175 %1234)
(fma.f64 %1195 %1197 %1234)
(fma.f64 %1181 %1276 %1245)
(fma.f64 %1276 %1181 %1245)
(fma.f64 #s(literal -1/2 binary64) %1280 %1245)
(fma.f64 %182 %1199 %1234)
(fma.f64 %182 %1208 %1245)
(fma.f64 %1201 %1202 %1234)
(fma.f64 #s(literal -1 binary64) %1261 %1245)
(fma.f64 #s(literal -1 binary64) %1193 %1245)
(fma.f64 #s(literal -1 binary64) %1201 %1234)
(fma.f64 %1205 %775 %1234)
(fma.f64 %1205 %13 %1234)
(fma.f64 %1205 #s(literal 1 binary64) %1245)
(fma.f64 %1208 %1209 %1234)
(fma.f64 %1208 %182 %1245)
(fma.f64 %151 %1211 %1234)
(fma.f64 %151 %1201 %1245)
(fma.f64 #s(literal 2 binary64) %1295 %1245)
(fma.f64 #s(literal 2 binary64) %1172 %1245)
(fma.f64 #s(literal 1/2 binary64) %1298 %1245)
(fma.f64 #s(literal 1 binary64) %1205 %1245)
(fma.f64 #s(literal 1 binary64) %1208 %1234)
(fma.f64 x %1193 %1234)
(-.f64 (/.f64 %284 %1184) (/.f64 %287 %1184))
(-.f64 %1307 %1205)
(-.f64 %1309 %1201)
(-.f64 %1205 %1311)
(-.f64 #s(literal 1 binary64) %1147)
%1208
(+.f64 %1307 %1193)
(+.f64 %1245 %1205)
(+.f64 %1309 %1208)
(+.f64 %1181 %1181)
(+.f64 %4 #s(literal 1 binary64))
(+.f64 %1205 %1245)
(+.f64 %1208 %1234)
(+.f64 #s(literal 1 binary64) %4)
%1322
%1323
%1324
%1325
%1327
%1329
%1331
%1335
%1338
%1342
%1346
%1348
%1351
%1354
%1358
%1360
%1363
%1366
%1368
%1373
%1375
%1377
%1378
%1380
%1381
%1382
%1383
%1384
%1385
%1389
%1390
%1391
%1393
%1394
%1395
%1396
%1399
%1401
%1402
%1403
%1404
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1414
%1416
%1417
%1418
%1419
%1422
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1155
%1433
%1434
(pow.f64 %13 #s(literal 1 binary64))
(/.f64 (fma.f64 %31 %13 %15) %13)
(/.f64 (fma.f64 %31 %13 %18) %13)
(/.f64 (fma.f64 %31 %21 %21) %21)
(/.f64 (fma.f64 %31 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %31 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %31 x x) x)
(/.f64 (-.f64 %1448 %15) %13)
(/.f64 (-.f64 %1448 %18) %13)
(/.f64 (-.f64 (*.f64 %1306 %21) %21) %21)
(/.f64 (-.f64 (*.f64 %1306 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %1306 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %1306 x) x) x)
(/.f64 #s(literal 1 binary64) %182)
%13
(-.f64 %1306 #s(literal 1 binary64))
(-.f64 #s(literal 0 binary64) x)
(-.f64 #s(literal 1 binary64) %2)
(+.f64 %1306 #s(literal -1 binary64))
(+.f64 %31 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %13)
(+.f64 #s(literal 1 binary64) %31)
%1322
%1323
%1324
%1325
%1327
%1329
%1331
%1335
%1338
%1342
%1346
%1348
%1351
%1354
%1358
%1360
%1363
%1366
%1368
%1373
%1375
%1377
%1378
%1380
%1381
%1382
%1383
%1384
%1385
%1389
%1390
%1391
%1393
%1394
%1395
%1396
%1399
%1401
%1402
%1403
%1404
%1405
%1406
%1407
%1408
%1409
%1410
%1411
%1414
%1416
%1417
%1418
%1419
%1422
%1423
%1424
%1425
%1426
%1427
%1428
%1429
%1430
%1431
%1432
%1155
%1433
%1434
(*.f64 %1244 %1185)
(*.f64 %1247 %1248)
(*.f64 %1252 %1253)
(*.f64 %1211 %1255)
(*.f64 %1255 %1211)
(*.f64 %1258 %1259)
(*.f64 %1261 #s(literal -1 binary64))
(*.f64 %158 %1263)
(*.f64 %161 %1185)
(*.f64 %163 %1199)
(*.f64 %1259 %1258)
(*.f64 %177 %1270)
(*.f64 %1181 %1276)
(*.f64 %1276 %1181)
(*.f64 #s(literal -1/2 binary64) %1280)
(*.f64 %182 %1208)
(*.f64 #s(literal -1 binary64) %1261)
(*.f64 #s(literal -1 binary64) %1193)
(*.f64 %1205 #s(literal 1 binary64))
(*.f64 %1208 %182)
(*.f64 %151 %1201)
(*.f64 #s(literal 2 binary64) %1295)
(*.f64 #s(literal 2 binary64) %1172)
(*.f64 #s(literal 1/2 binary64) %1298)
(*.f64 #s(literal 1 binary64) %1205)
(pow.f64 %1205 #s(literal 1 binary64))
(pow.f64 %1155 #s(literal -1 binary64))
(/.f64 %203 %1500)
(/.f64 %205 %1500)
(/.f64 %207 %1503)
(/.f64 (*.f64 %15 %182) %1155)
(/.f64 (*.f64 %15 %1201) %221)
(/.f64 (*.f64 %15 %1208) %79)
(/.f64 (*.f64 %18 %182) %1155)
(/.f64 (*.f64 %18 %1201) %221)
(/.f64 (*.f64 %18 %1208) %79)
(/.f64 (*.f64 %21 %182) %1518)
(/.f64 (*.f64 %21 %1201) %236)
(/.f64 (*.f64 %21 %1208) %228)
(/.f64 (*.f64 #s(literal 2 binary64) %182) %1525)
(/.f64 (*.f64 #s(literal 2 binary64) %1201) %248)
(/.f64 (*.f64 #s(literal 2 binary64) %1208) %230)
(/.f64 (*.f64 x %1201) %79)
(/.f64 %210 %1533)
(/.f64 %213 %1533)
(/.f64 %215 %1536)
(/.f64 %218 %1538)
(/.f64 %220 %1540)
(/.f64 %223 %1538)
(/.f64 %225 %1540)
(/.f64 %227 %1544)
(/.f64 %1546 %211)
(/.f64 #s(literal -2 binary64) %1548)
(/.f64 #s(literal -2 binary64) %1550)
(/.f64 %15 %1552)
(/.f64 %18 %1554)
(/.f64 %21 %1556)
(/.f64 %182 %1184)
(/.f64 %1201 x)
(/.f64 #s(literal -1 binary64) %1560)
(/.f64 #s(literal -1 binary64) %1562)
(/.f64 #s(literal -1 binary64) %1151)
(/.f64 %1208 %243)
(/.f64 %1208 %13)
(/.f64 %151 %1180)
(/.f64 #s(literal 2 binary64) %1568)
(/.f64 #s(literal 2 binary64) %1570)
(/.f64 #s(literal 1 binary64) %1572)
(/.f64 #s(literal 1 binary64) (pow.f64 %1205 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %1165)
(/.f64 #s(literal 1 binary64) (/.f64 %1151 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %1392)
%1205
(/.f64 x %1580)
(/.f64 x %1582)
(neg.f64 %1193)
(fma.f64 (/.f64 #s(literal -2 binary64) %146) #s(literal 1 binary64) %1586)
(fma.f64 %1244 %1185 %1309)
(fma.f64 %1247 %1248 %1309)
(fma.f64 %1252 %1253 %1309)
(fma.f64 %1211 %1255 %1309)
(fma.f64 %1255 %1211 %1309)
(fma.f64 %1258 %1259 %1309)
(fma.f64 %1261 #s(literal -1 binary64) %1309)
(fma.f64 %158 %1263 %1309)
(fma.f64 %161 %1185 %1309)
(fma.f64 %161 #s(literal -1/2 binary64) %1586)
(fma.f64 %163 %1199 %1309)
(fma.f64 %166 #s(literal -2 binary64) %1586)
(fma.f64 %1259 %1258 %1309)
(fma.f64 %177 %1270 %1309)
(fma.f64 #s(literal -2 binary64) %177 %1586)
(fma.f64 %1181 %1276 %1309)
(fma.f64 %1276 %1181 %1309)
(fma.f64 %1276 #s(literal 1/2 binary64) %1586)
(fma.f64 #s(literal -1/2 binary64) %1280 %1309)
(fma.f64 %182 %1208 %1309)
(fma.f64 #s(literal -1 binary64) %1261 %1309)
(fma.f64 #s(literal -1 binary64) %1193 %1309)
(fma.f64 #s(literal -1 binary64) %151 %1586)
(fma.f64 %1205 #s(literal 1 binary64) %1309)
(fma.f64 %1208 %182 %1309)
(fma.f64 %3 %151 %182)
(fma.f64 %151 %1201 %1309)
(fma.f64 %151 #s(literal -1 binary64) %1586)
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal -1/2 binary64) x) %1586)
(fma.f64 #s(literal 2 binary64) %1295 %1309)
(fma.f64 #s(literal 2 binary64) %1172 %1309)
(fma.f64 #s(literal 1/2 binary64) %1298 %1309)
(fma.f64 #s(literal 1 binary64) %182 %1586)
(fma.f64 #s(literal 1 binary64) %1205 %1309)
(-.f64 (/.f64 %284 %1155) (/.f64 %287 %1155))
(-.f64 %182 %1626)
(-.f64 %182 %1628)
(-.f64 %1586 %151)
(+.f64 %1172 %1172)
(+.f64 %182 %1586)
(+.f64 %1586 %182)
(+.f64 %1205 %1309)
%1636
%1638
%1641
%1643
%1645
%1647
%1648
%1649
%1651
%1652
%1654
%1655
%1656
%1657
%1658
%1659
%1661
%1662
%1663
%1664
%1667
%1669
%1671
%1672
%1673
%1674
%1675
%1676
%1677
%1678
%1680
%1682
%1683
%1684
%1685
%1686
%1688
%1690
%1691
%1692
%1693
%1694
%1696
%1698
%1699
%1700
%1701
%1702
%1703
%1705
%1707
%1709
%1710
%1712
%1714
%1716
%1718
%1720
%1722
%1723
%1724
%1725
%1726
%1727
%1730
%1732
%1735
%1738
%1741
%1744
%1746
%1748
%1750
%1752
%1754
%1756
%1757
%1758
%1760
%1763
%1765
%1768
%1771
%1773
%1775
%1777
%1779
%1781
%1784
%1786
%1789
%1791
%1793
%1795
%1797
%1799
%1800
%1802
%1803
%1805
%1807
%1809
%1810
%1812
%1813
%1815
%1816
%1818
%1820
%1822
%1823
%1825
%1826
%1828
%1829
%1831
%1832
%1834
%1835
%1837
%1838
%1839
%1840
%1842
%1843
%1844
%1845
%1846
%1847
%1848
%1849
%1851
%1853
%1855
%1856
%1858
%1859
%1860
%1861
%1862
%1863
%1865
%1867
%1869
%1871
%1873
%1874
%1875
%1877
%1878
%1879
%1881
%1882
%1883
%1884
%1885
%1886
%1887
%1888
%1889
%1891
%1892
%1893
%1895
%1896
%1897
%1899
%1901
%1903
%1905
%1907
%1908
%1910
%1911
%1912
%1913
%1914
%1915
%1917
%1918
%1919
%1920
%1921
%1922
%1923
%1924
%1925
%1926
%1927
%1928
%1929
%1930
%1931
%1932
%1933
%1934
%1935
%1936
%1937
%1938
%1939
%1940
%1941
%1942
%1943
%1944
%1945
%1946
%1947
%1948
%1949
%1951
%1952
%1953
%1954
%1955
%1956
%1957
%1959
%1960
%1961
%1962
%1963
%1964
%1965
%1966
%1967
%1968
%1969
%1970
%1971
%1972
%1973
%1974
%1975
%1976
%1977
%1978
%1979
%1980
%1981
%1982
%1983
%1984
%1985
%1986
%1987
%1988
%1989
%1990
%1991
%1992
%1993
%1994
%1995
%1996
%1997
%1998
%1999
%2000
%2001
%2002
%2003
%2004
%2005
%2006
%2007
%2008
%2009
%2010
%2011
%2012
%2013
%2014
%2015
%2016
%2017
%2018
%2019
%2020
%2021
%2022
%2023
%2024
%2025
%2026
%2027
%2028
%2029
%2030
%2031
%2032
%2033
%2034
%2035
%2036
%2037
%2038
%2039
%2040
%2041
%2042
%2043
%2044
%2045
%2046
%2047
%2048
%2049
%2050
%2051
%2052
%2053
%2054
%2055
%2056
%2057
%2058
%2059
%2060
%2061
%2062
%2063
%2064
%2065
%2066
%2067
%2068
%2069
%2070
%2071
%2072
%2073
%2074
%2075
%2076
%2077
%2078
%2079
%2080
%2081
%2082
%2083
%2084
%2085
%2086
%2087
%2088
%2089
%2090
%2091
%2094
%2095
%2097
%2099
%2101
%2102
%2104
%1201
%2105
%2106
%2107
%2108
%2109
%2110
%2111
%2112
%2113
%2115
%2117
%2118
%2119
%2120
(*.f64 %1386 #s(literal 2 binary64))
(*.f64 %1165 %151)
(*.f64 %1392 %151)
(*.f64 %1151 %182)
(*.f64 %1180 #s(literal 1 binary64))
(*.f64 %1155 %151)
(*.f64 %151 %1155)
(pow.f64 %1201 #s(literal -1 binary64))
(pow.f64 %1180 #s(literal 1 binary64))
(/.f64 (fma.f64 %151 %13 %4) %13)
(/.f64 (-.f64 %2132 #s(literal -1 binary64)) x)
(/.f64 (-.f64 %2135 #s(literal 1 binary64)) %13)
(/.f64 (fma.f64 %4 %13 x) %79)
(/.f64 (fma.f64 %4 x %243) %221)
(/.f64 (+.f64 x %2142) %79)
(/.f64 (fma.f64 #s(literal -1 binary64) x %1728) %221)
(/.f64 (fma.f64 #s(literal 1 binary64) %13 %2147) %211)
(/.f64 (+.f64 x %1742) %79)
(/.f64 (fma.f64 %4 %13 %520) %79)
(/.f64 (fma.f64 %4 x %245) %221)
(/.f64 (+.f64 x %2156) %79)
(/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 %13 %3)) %221)
(/.f64 (fma.f64 #s(literal 1 binary64) %13 %2162) %211)
(/.f64 (+.f64 x (*.f64 x %3)) %79)
(/.f64 (-.f64 %2147 %520) %221)
(/.f64 (-.f64 %2142 %245) %79)
(/.f64 (-.f64 %1742 %18) %79)
(/.f64 (-.f64 %1728 x) %211)
(/.f64 (-.f64 %15 %2156) %221)
(/.f64 (-.f64 x %2162) %79)
(/.f64 (neg.f64 %2180) x)
(/.f64 (neg.f64 %1165) %13)
(/.f64 (neg.f64 %2185) x)
(/.f64 (neg.f64 %2188) %13)
(/.f64 (neg.f64 %1374) %2192)
(/.f64 (neg.f64 %1376) (neg.f64 %79))
(/.f64 (neg.f64 %1379) %2192)
(/.f64 %2180 %13)
(/.f64 %1165 x)
(/.f64 %2185 %13)
(/.f64 %2188 x)
(/.f64 %1374 %211)
(/.f64 %1376 %79)
(/.f64 %1379 %211)
(/.f64 %1151 %13)
(/.f64 #s(literal -1 binary64) %1208)
%1180
(/.f64 #s(literal 1 binary64) %1201)
(neg.f64 %1184)
(fma.f64 %147 %149 %1586)
(fma.f64 %152 %153 %1586)
(fma.f64 %155 #s(literal 4 binary64) %1586)
(fma.f64 %1386 #s(literal 2 binary64) %1332)
(fma.f64 %158 %159 %1586)
(fma.f64 %161 #s(literal 1/2 binary64) %1586)
(fma.f64 %163 %164 %1586)
(fma.f64 %166 #s(literal 2 binary64) %1586)
(fma.f64 %168 %169 %1586)
(fma.f64 %171 %172 %1586)
(fma.f64 %174 #s(literal 1 binary64) %1586)
(fma.f64 %164 %163 %1586)
(fma.f64 %1165 %151 %1332)
(fma.f64 %177 #s(literal 2 binary64) %1586)
(fma.f64 %1392 %151 %1332)
(fma.f64 %180 %180 %1586)
(fma.f64 %1151 %182 %1332)
(fma.f64 #s(literal -1 binary64) %182 %1586)
(fma.f64 %1180 #s(literal 1 binary64) %1332)
(fma.f64 %1155 %151 %1332)
(fma.f64 %3 %151 %151)
(fma.f64 %184 %184 %1586)
(fma.f64 %151 %1155 %1332)
(fma.f64 %151 #s(literal 1 binary64) %1586)
(fma.f64 #s(literal 2 binary64) %188 %1586)
(fma.f64 #s(literal 2 binary64) %190 %1586)
(fma.f64 #s(literal 2 binary64) %187 %1586)
(fma.f64 #s(literal 2 binary64) %177 %1586)
(fma.f64 #s(literal 1/2 binary64) %161 %1586)
(fma.f64 #s(literal 1 binary64) %174 %1586)
(fma.f64 #s(literal 1 binary64) %151 %1586)
(-.f64 (/.f64 %284 %1201) (/.f64 %287 %1201))
(-.f64 %1586 %182)
(-.f64 %151 %1626)
(-.f64 %151 %1628)
(+.f64 (/.f64 %2135 %13) %151)
(+.f64 (/.f64 %2132 x) %151)
(+.f64 (/.f64 %1742 %79) %151)
(+.f64 %2253 (/.f64 %15 %211))
(+.f64 %2253 %151)
(+.f64 %2257 %2257)
(+.f64 %1586 %151)
(+.f64 %1180 %1332)
(+.f64 %151 %1586)
%1636
%1638
%1641
%1643
%1645
%1647
%1648
%1649
%1651
%1652
%1654
%1655
%1656
%1657
%1658
%1659
%1661
%1662
%1663
%1664
%1667
%1669
%1671
%1672
%1673
%1674
%1675
%1676
%1677
%1678
%1680
%1682
%1683
%1684
%1685
%1686
%1688
%1690
%1691
%1692
%1693
%1694
%1696
%1698
%1699
%1700
%1701
%1702
%1703
%1705
%1707
%1709
%1710
%1712
%1714
%1716
%1718
%1720
%1722
%1723
%1724
%1725
%1726
%1727
%1730
%1732
%1735
%1738
%1741
%1744
%1746
%1748
%1750
%1752
%1754
%1756
%1757
%1758
%1760
%1763
%1765
%1768
%1771
%1773
%1775
%1777
%1779
%1781
%1784
%1786
%1789
%1791
%1793
%1795
%1797
%1799
%1800
%1802
%1803
%1805
%1807
%1809
%1810
%1812
%1813
%1815
%1816
%1818
%1820
%1822
%1823
%1825
%1826
%1828
%1829
%1831
%1832
%1834
%1835
%1837
%1838
%1839
%1840
%1842
%1843
%1844
%1845
%1846
%1847
%1848
%1849
%1851
%1853
%1855
%1856
%1858
%1859
%1860
%1861
%1862
%1863
%1865
%1867
%1869
%1871
%1873
%1874
%1875
%1877
%1878
%1879
%1881
%1882
%1883
%1884
%1885
%1886
%1887
%1888
%1889
%1891
%1892
%1893
%1895
%1896
%1897
%1899
%1901
%1903
%1905
%1907
%1908
%1910
%1911
%1912
%1913
%1914
%1915
%1917
%1918
%1919
%1920
%1921
%1922
%1923
%1924
%1925
%1926
%1927
%1928
%1929
%1930
%1931
%1932
%1933
%1934
%1935
%1936
%1937
%1938
%1939
%1940
%1941
%1942
%1943
%1944
%1945
%1946
%1947
%1948
%1949
%1951
%1952
%1953
%1954
%1955
%1956
%1957
%1959
%1960
%1961
%1962
%1963
%1964
%1965
%1966
%1967
%1968
%1969
%1970
%1971
%1972
%1973
%1974
%1975
%1976
%1977
%1978
%1979
%1980
%1981
%1982
%1983
%1984
%1985
%1986
%1987
%1988
%1989
%1990
%1991
%1992
%1993
%1994
%1995
%1996
%1997
%1998
%1999
%2000
%2001
%2002
%2003
%2004
%2005
%2006
%2007
%2008
%2009
%2010
%2011
%2012
%2013
%2014
%2015
%2016
%2017
%2018
%2019
%2020
%2021
%2022
%2023
%2024
%2025
%2026
%2027
%2028
%2029
%2030
%2031
%2032
%2033
%2034
%2035
%2036
%2037
%2038
%2039
%2040
%2041
%2042
%2043
%2044
%2045
%2046
%2047
%2048
%2049
%2050
%2051
%2052
%2053
%2054
%2055
%2056
%2057
%2058
%2059
%2060
%2061
%2062
%2063
%2064
%2065
%2066
%2067
%2068
%2069
%2070
%2071
%2072
%2073
%2074
%2075
%2076
%2077
%2078
%2079
%2080
%2081
%2082
%2083
%2084
%2085
%2086
%2087
%2088
%2089
%2090
%2091
%2094
%2095
%2097
%2099
%2101
%2102
%2104
%1201
%2105
%2106
%2107
%2108
%2109
%2110
%2111
%2112
%2113
%2115
%2117
%2118
%2119
%2120
(*.f64 %867 x)
(*.f64 %13 %2263)
(*.f64 x %867)
(pow.f64 %2266 #s(literal 1 binary64))
(/.f64 %13 (neg.f64 %2269))
(/.f64 %13 %2268)
(/.f64 #s(literal 1 binary64) (pow.f64 %2266 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %2268 %13))
(/.f64 #s(literal 1 binary64) (/.f64 %865 x))
(/.f64 x %2269)
%2266
(neg.f64 %2280)
(fma.f64 %867 x %2282)
(fma.f64 %13 %2263 %2282)
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %865) %2286)
(fma.f64 #s(literal 1 binary64) %867 %2286)
(fma.f64 x %867 %2282)
(-.f64 %2290 %867)
(-.f64 %2292 %2263)
(-.f64 %2294 %2280)
(-.f64 %2263 (/.f64 %2 %2268))
(-.f64 %867 (/.f64 %1420 %2269))
(-.f64 %2266 %2282)
(+.f64 %2290 %2263)
(+.f64 %2292 %867)
(+.f64 %2303 %2263)
(+.f64 %2294 %2266)
(+.f64 %2263 %2290)
(+.f64 %2263 %2303)
(+.f64 %867 %2286)
(+.f64 %2266 %2282)
%1636
%1638
%1641
%1643
%1645
%1647
%1648
%1649
%1651
%1652
%1654
%1655
%1656
%1657
%1658
%1659
%1661
%1662
%1663
%1664
%1667
%1669
%1671
%1672
%1673
%1674
%1675
%1676
%1677
%1678
%1680
%1682
%1683
%1684
%1685
%1686
%1688
%1690
%1691
%1692
%1693
%1694
%1696
%1698
%1699
%1700
%1701
%1702
%1703
%1705
%1707
%1709
%1710
%1712
%1714
%1716
%1718
%1720
%1722
%1723
%1724
%1725
%1726
%1727
%1730
%1732
%1735
%1738
%1741
%1744
%1746
%1748
%1750
%1752
%1754
%1756
%1757
%1758
%1760
%1763
%1765
%1768
%1771
%1773
%1775
%1777
%1779
%1781
%1784
%1786
%1789
%1791
%1793
%1795
%1797
%1799
%1800
%1802
%1803
%1805
%1807
%1809
%1810
%1812
%1813
%1815
%1816
%1818
%1820
%1822
%1823
%1825
%1826
%1828
%1829
%1831
%1832
%1834
%1835
%1837
%1838
%1839
%1840
%1842
%1843
%1844
%1845
%1846
%1847
%1848
%1849
%1851
%1853
%1855
%1856
%1858
%1859
%1860
%1861
%1862
%1863
%1865
%1867
%1869
%1871
%1873
%1874
%1875
%1877
%1878
%1879
%1881
%1882
%1883
%1884
%1885
%1886
%1887
%1888
%1889
%1891
%1892
%1893
%1895
%1896
%1897
%1899
%1901
%1903
%1905
%1907
%1908
%1910
%1911
%1912
%1913
%1914
%1915
%1917
%1918
%1919
%1920
%1921
%1922
%1923
%1924
%1925
%1926
%1927
%1928
%1929
%1930
%1931
%1932
%1933
%1934
%1935
%1936
%1937
%1938
%1939
%1940
%1941
%1942
%1943
%1944
%1945
%1946
%1947
%1948
%1949
%1951
%1952
%1953
%1954
%1955
%1956
%1957
%1959
%1960
%1961
%1962
%1963
%1964
%1965
%1966
%1967
%1968
%1969
%1970
%1971
%1972
%1973
%1974
%1975
%1976
%1977
%1978
%1979
%1980
%1981
%1982
%1983
%1984
%1985
%1986
%1987
%1988
%1989
%1990
%1991
%1992
%1993
%1994
%1995
%1996
%1997
%1998
%1999
%2000
%2001
%2002
%2003
%2004
%2005
%2006
%2007
%2008
%2009
%2010
%2011
%2012
%2013
%2014
%2015
%2016
%2017
%2018
%2019
%2020
%2021
%2022
%2023
%2024
%2025
%2026
%2027
%2028
%2029
%2030
%2031
%2032
%2033
%2034
%2035
%2036
%2037
%2038
%2039
%2040
%2041
%2042
%2043
%2044
%2045
%2046
%2047
%2048
%2049
%2050
%2051
%2052
%2053
%2054
%2055
%2056
%2057
%2058
%2059
%2060
%2061
%2062
%2063
%2064
%2065
%2066
%2067
%2068
%2069
%2070
%2071
%2072
%2073
%2074
%2075
%2076
%2077
%2078
%2079
%2080
%2081
%2082
%2083
%2084
%2085
%2086
%2087
%2088
%2089
%2090
%2091
%2094
%2095
%2097
%2099
%2101
%2102
%2104
%1201
%2105
%2106
%2107
%2108
%2109
%2110
%2111
%2112
%2113
%2115
%2117
%2118
%2119
%2120
(*.f64 %134 x)
(*.f64 %13 %2311)
(*.f64 x %134)
(pow.f64 %2314 #s(literal 1 binary64))
(/.f64 %13 (neg.f64 %2317))
(/.f64 %13 %2316)
(/.f64 #s(literal 1 binary64) (pow.f64 %2314 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %2316 %13))
(/.f64 #s(literal 1 binary64) (/.f64 %132 x))
(/.f64 x %2317)
%2314
(neg.f64 %2328)
(fma.f64 %134 x %2330)
(fma.f64 %13 %2311 %2330)
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/2 binary64) %132) %2334)
(fma.f64 #s(literal 1 binary64) %134 %2334)
(fma.f64 x %134 %2330)
(-.f64 %2338 %134)
(-.f64 %2340 %2311)
(-.f64 %2342 %2328)
(-.f64 %2311 (/.f64 %2 %2316))
(-.f64 %134 (/.f64 %1420 %2317))
(-.f64 %2314 %2330)
(+.f64 %2338 %2311)
(+.f64 %2340 %134)
(+.f64 %2351 %2311)
(+.f64 %2342 %2314)
(+.f64 %2311 %2338)
(+.f64 %2311 %2351)
(+.f64 %134 %2334)
(+.f64 %2314 %2330)
reconstruct304.0ms (12.4%)
Counts
2 529 → 522
Compiler
Compiled 2 529 to 2 572 computations (-1.7% saved)
eval66.0ms (2.7%)
Compiler
Compiled 545 to 1 626 computations (-198.3% saved)
prune13.0ms (0.5%)
Pruning
9 alts after pruning (7 fresh and 2 done)
PrunedKeptTotal
New5387545
Fresh000
Picked718
Done011
Total5459554
Accuracy
100.0%
Counts
554 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
▶66.7%
(/.f64 x (approx (+ (sqrt (+ 1 x)) 1) (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))))
▶65.8%
(/.f64 #s(literal 1 binary64) (approx (/ (+ (sqrt (+ 1 x)) 1) x) (/.f64 #s(literal 2 binary64) x)))
▶40.9%
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
▶64.6%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (fma.f64 #s(literal -1/8 binary64) (*.f64 x x) (*.f64 #s(literal 1/2 binary64) x)))
▶64.5%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 x (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))))
✓66.0%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 #s(literal 1/2 binary64) x))
▶36.3%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (sqrt.f64 x))
▶36.1%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (approx (/ 1 (sqrt (/ 1 x))) (/.f64 x (sqrt.f64 x))))
Compiler
Compiled 9 to 24 computations (-166.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series36.0ms (1.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02611483
Stop Event
1×iter-limit
Counts
27 → 67
Calls
Call 1
Inputs
%2 = (+.f64 #s(literal 1 binary64) x)
%4 = (*.f64 #s(literal 1/2 binary64) x)
%8 = (sqrt.f64 %2)
%9 = (sqrt.f64 x)
%10 = (/.f64 x %9)
%15 = (approx (/ 1 (sqrt (/ 1 x))) %10)
%16 = (/.f64 #s(literal 2 binary64) x)
%19 = (+ (sqrt (+ 1 x)) 1)
%21 = (approx (/ %19 x) %16)
%22 = (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))
%23 = (*.f64 x %22)
%24 = (*.f64 x x)
%25 = (fma.f64 #s(literal -1/8 binary64) %24 %4)
%26 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))
%27 = (approx %19 %26)
%33 = (/ x (+ 1 (sqrt (+ x 1))))
x
#s(literal 1 binary64)
%2
#s(literal 1/2 binary64)
%4
#s(literal -1/8 binary64)
#s(literal 2 binary64)
#s(literal -1 binary64)
%8
%9
%10
%15
%16
%21
%22
%23
%24
%25
%26
%27
(+.f64 %8 #s(literal -1 binary64))
(/.f64 x %27)
(approx %33 %23)
(approx %33 %25)
(/.f64 #s(literal 1 binary64) %21)
(approx %33 %15)
(approx %33 %9)
Outputs
%5 = (+ 1 x)
%11 = (* 1/2 x)
%13 = (*.f64 #s(literal 1/2 binary64) x)
%15 = (sqrt %5)
%19 = (*.f64 #s(literal -1/8 binary64) x)
%20 = (+.f64 #s(literal 1/2 binary64) %19)
%21 = (*.f64 x %20)
%30 = (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) x) #s(literal 1/8 binary64)))))
%33 = (sqrt x)
%34 = (sqrt.f64 x)
%36 = (/ x %33)
%44 = (+ %15 1)
%45 = (/ %44 x)
%46 = (+.f64 #s(literal 2 binary64) %13)
%49 = (+.f64 #s(literal 2 binary64) %21)
%52 = (+.f64 #s(literal 2 binary64) %30)
%57 = (+ (* -1/8 x) 1/2)
%60 = (* x %57)
%63 = (pow.f64 x #s(literal 2 binary64))
%65 = (+ %11 2)
%71 = (+ %15 -1)
%82 = (/.f64 #s(literal 1 binary64) x)
%86 = (sqrt.f64 %82)
%87 = (*.f64 x %86)
%89 = (*.f64 %63 %86)
%91 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %89))
%92 = (+.f64 %86 %91)
%93 = (*.f64 x %92)
%95 = (/.f64 #s(literal 1/2 binary64) %89)
%96 = (+.f64 %86 %95)
%98 = (pow.f64 x #s(literal 4 binary64))
%100 = (pow.f64 %86 #s(literal 3 binary64))
%101 = (*.f64 %98 %100)
%104 = (*.f64 x (-.f64 %96 (/.f64 #s(literal 1/8 binary64) %101)))
%109 = (pow.f64 %86 #s(literal 5 binary64))
%116 = (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %101))
%118 = (*.f64 x (-.f64 (+.f64 %86 (+.f64 %95 (*.f64 #s(literal 1/16 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (pow.f64 x #s(literal 6 binary64)) %109))))) %116))
%120 = (/.f64 #s(literal 1 binary64) %86)
%123 = (+.f64 %86 %82)
%126 = (+.f64 %86 (+.f64 %95 %82))
%130 = (-.f64 (+.f64 %86 (+.f64 %82 %91)) %116)
%133 = (*.f64 #s(literal 1/2 binary64) %82)
%134 = (-.f64 %133 #s(literal 1/8 binary64))
%145 = (*.f64 x %123)
%147 = (*.f64 x %126)
%152 = (*.f64 x (-.f64 %86 %82))
%161 = (/ x %44)
%162 = (pow.f64 %86 #s(literal 2 binary64))
%164 = (/.f64 #s(literal 1 binary64) (*.f64 x %162))
%167 = (*.f64 %63 %100)
%172 = (/.f64 #s(literal 1 binary64) %167)
%197 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %87))
%203 = (*.f64 #s(literal 1/8 binary64) %172)
%204 = (*.f64 #s(literal 1/2 binary64) %120)
%228 = (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %204 %203) x))
%252 = (/.f64 #s(literal 1 binary64) %162)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) x))
(approx %11 %13)
(approx %15 (+.f64 #s(literal 1 binary64) %13))
(approx %15 (+.f64 #s(literal 1 binary64) %21))
(approx %15 (+.f64 #s(literal 1 binary64) %30))
(approx %33 %34)
(approx %36 (/.f64 x %34))
(approx (/ 2 x) (/.f64 #s(literal 2 binary64) x))
(approx %45 (/.f64 %46 x))
(approx %45 (/.f64 %49 x))
(approx %45 (/.f64 %52 x))
(approx %57 #s(literal 1/2 binary64))
(approx %57 %20)
(approx %60 %21)
(approx (* x x) %63)
(approx %65 #s(literal 2 binary64))
(approx %65 %46)
(approx %44 %49)
(approx %44 %52)
(approx %71 %30)
(approx %71 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (-.f64 (*.f64 x (+.f64 #s(literal 1/16 binary64) (*.f64 #s(literal -5/128 binary64) x))) #s(literal 1/8 binary64))))))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %82)))
(approx %15 %87)
(approx %15 %93)
(approx %15 %104)
(approx %15 %118)
(approx %36 %120)
(approx %45 %86)
(approx %45 %123)
(approx %45 %126)
(approx %45 %130)
(approx %57 %19)
(approx %57 (*.f64 x %134))
(approx %60 (*.f64 #s(literal -1/8 binary64) %63))
(approx %60 (*.f64 %63 %134))
(approx %65 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %82))))
(approx %44 %145)
(approx %44 %147)
(approx %44 (*.f64 x %130))
(approx %71 %152)
(approx %71 (*.f64 x (-.f64 %96 %82)))
(approx %71 (*.f64 x (-.f64 %92 (+.f64 %82 %116))))
(approx %161 (-.f64 %120 %164))
(approx %161 (-.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) %167) %120) %164))
(approx %161 (-.f64 (+.f64 %120 (*.f64 #s(literal 1/2 binary64) %172)) (+.f64 %164 (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %98 %109))))))
(approx %15 (*.f64 #s(literal -1 binary64) %87))
(approx %15 (*.f64 #s(literal -1 binary64) %93))
(approx %15 (*.f64 #s(literal -1 binary64) %104))
(approx %15 (*.f64 #s(literal -1 binary64) %118))
(approx %36 (/.f64 #s(literal -1 binary64) %86))
(approx %45 (*.f64 #s(literal -1 binary64) %86))
(approx %45 (fma.f64 #s(literal -1 binary64) %86 %82))
(approx %45 (fma.f64 #s(literal -1 binary64) %86 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %197 #s(literal 1 binary64)) x))))
(approx %45 (fma.f64 #s(literal -1 binary64) %86 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %203 %204) x)) #s(literal 1 binary64)) x))))
(approx %57 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1/8 binary64) %133))))
(approx %44 (*.f64 #s(literal -1 binary64) %152))
(approx %44 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %86 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) %197) x))))))
(approx %44 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %86 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) %228) x))))))
(approx %71 (*.f64 #s(literal -1 binary64) %145))
(approx %71 (*.f64 #s(literal -1 binary64) %147))
(approx %71 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 %86 (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 %228 #s(literal 1 binary64)) x))))))
(approx %161 (*.f64 #s(literal -1 binary64) (+.f64 %120 %164)))
(approx %161 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x %100)) %252) x)) %120))
(approx %161 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %63 %109))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %100))) x) %252) x)) %120))
Calls
3 calls:
TimeVariablePoint
7.0ms
x
-inf
6.0ms
x
0
6.0ms
x
inf
rewrite139.0ms (5.7%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
038180
055174
1199164
2633162
33010162
04194162
04792162
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
27 → 755
Calls
Call 1
Inputs
%2 = (+.f64 #s(literal 1 binary64) x)
%4 = (*.f64 #s(literal 1/2 binary64) x)
%8 = (sqrt.f64 %2)
%9 = (sqrt.f64 x)
%10 = (/.f64 x %9)
%15 = (approx (/ 1 (sqrt (/ 1 x))) %10)
%16 = (/.f64 #s(literal 2 binary64) x)
%19 = (+ (sqrt (+ 1 x)) 1)
%21 = (approx (/ %19 x) %16)
%22 = (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))
%23 = (*.f64 x %22)
%24 = (*.f64 x x)
%25 = (fma.f64 #s(literal -1/8 binary64) %24 %4)
%26 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))
%27 = (approx %19 %26)
%33 = (/ x (+ 1 (sqrt (+ x 1))))
x
#s(literal 1 binary64)
%2
#s(literal 1/2 binary64)
%4
#s(literal -1/8 binary64)
#s(literal 2 binary64)
#s(literal -1 binary64)
%8
%9
%10
%15
%16
%21
%22
%23
%24
%25
%26
%27
(+.f64 %8 #s(literal -1 binary64))
(/.f64 x %27)
(approx %33 %23)
(approx %33 %25)
(/.f64 #s(literal 1 binary64) %21)
(approx %33 %15)
(approx %33 %9)
Outputs
%2 = (+.f64 #s(literal 1 binary64) x)
%3 = (*.f64 %2 %2)
%5 = (pow.f64 %3 #s(literal -1/2 binary64))
%7 = (sqrt.f64 %2)
%8 = (neg.f64 %7)
%35 = (neg.f64 x)
%58 = (*.f64 #s(literal 1/2 binary64) x)
%61 = (/.f64 #s(literal 2 binary64) x)
%67 = (*.f64 #s(literal -1/2 binary64) x)
%70 = (sqrt.f64 %7)
%72 = (pow.f64 %2 #s(literal -1/2 binary64))
%81 = (sqrt.f64 x)
%82 = (neg.f64 %81)
%89 = (sqrt.f64 #s(literal 2 binary64))
%90 = (*.f64 %81 %89)
%91 = (sqrt.f64 #s(literal 1/2 binary64))
%92 = (*.f64 %90 %91)
%93 = (*.f64 %81 x)
%94 = (/.f64 #s(literal 1 binary64) x)
%95 = (*.f64 %93 %94)
%96 = (/.f64 x %35)
%97 = (*.f64 %96 %82)
%98 = (/.f64 %81 %89)
%99 = (*.f64 %98 %89)
%100 = (/.f64 #s(literal -1 binary64) %89)
%101 = (/.f64 %82 %91)
%102 = (*.f64 %100 %101)
%103 = (/.f64 %81 #s(literal 1/2 binary64))
%104 = (*.f64 %103 #s(literal 1/2 binary64))
%105 = (*.f64 x #s(literal 2 binary64))
%106 = (/.f64 #s(literal 1/2 binary64) %81)
%107 = (*.f64 %105 %106)
%108 = (*.f64 %81 #s(literal 2 binary64))
%109 = (*.f64 %108 #s(literal 1/2 binary64))
%111 = (/.f64 #s(literal 2 binary64) %106)
%112 = (*.f64 #s(literal 1/4 binary64) %111)
%113 = (sqrt.f64 %81)
%114 = (*.f64 %113 %113)
%115 = (*.f64 %81 #s(literal 1/2 binary64))
%116 = (*.f64 %115 #s(literal 2 binary64))
%118 = (/.f64 %115 #s(literal 2 binary64))
%119 = (*.f64 #s(literal 4 binary64) %118)
%120 = (/.f64 %81 %91)
%121 = (*.f64 %91 %120)
%122 = (/.f64 %91 %106)
%123 = (*.f64 %91 %122)
%124 = (*.f64 %91 %81)
%125 = (*.f64 %89 %124)
%126 = (/.f64 %115 %91)
%127 = (*.f64 %89 %126)
%128 = (/.f64 %81 x)
%129 = (/.f64 %91 %128)
%130 = (*.f64 %89 %129)
%131 = (/.f64 %82 #s(literal 1/2 binary64))
%132 = (*.f64 #s(literal -1/2 binary64) %131)
%133 = (*.f64 #s(literal 1/2 binary64) %82)
%134 = (*.f64 #s(literal -2 binary64) %133)
%135 = (/.f64 %82 #s(literal 2 binary64))
%136 = (*.f64 #s(literal -2 binary64) %135)
%137 = (/.f64 #s(literal -1 binary64) %81)
%138 = (/.f64 #s(literal 1/2 binary64) %137)
%139 = (*.f64 #s(literal -2 binary64) %138)
%140 = (*.f64 %82 #s(literal -1 binary64))
%141 = (*.f64 %137 %35)
%142 = (*.f64 %35 %137)
%143 = (*.f64 %128 x)
%144 = (*.f64 %81 #s(literal 1 binary64))
%145 = (*.f64 #s(literal -1 binary64) %82)
%146 = (*.f64 %106 x)
%147 = (*.f64 #s(literal 2 binary64) %146)
%148 = (*.f64 #s(literal 2 binary64) %115)
%149 = (/.f64 #s(literal 1 binary64) %106)
%150 = (*.f64 #s(literal 1/2 binary64) %149)
%151 = (*.f64 #s(literal 4 binary64) %115)
%152 = (*.f64 #s(literal 1/2 binary64) %151)
%153 = (*.f64 #s(literal 1/2 binary64) %103)
%154 = (/.f64 #s(literal 2 binary64) %128)
%155 = (*.f64 #s(literal 1/2 binary64) %154)
%156 = (*.f64 #s(literal 2 binary64) %81)
%157 = (*.f64 #s(literal 1/2 binary64) %156)
%158 = (*.f64 #s(literal 1 binary64) %81)
%159 = (*.f64 x %128)
%160 = (*.f64 x x)
%162 = (pow.f64 (*.f64 %160 #s(literal 1 binary64)) #s(literal 1/4 binary64))
%163 = (pow.f64 %160 #s(literal 1/4 binary64))
%164 = (pow.f64 %128 #s(literal -1 binary64))
%165 = (pow.f64 %94 #s(literal -1/2 binary64))
%166 = (pow.f64 %81 #s(literal 1 binary64))
%167 = (pow.f64 x #s(literal 1/2 binary64))
%168 = (/.f64 %93 x)
%169 = (/.f64 %96 %137)
%170 = (/.f64 %98 %91)
%171 = (/.f64 %103 #s(literal 2 binary64))
%172 = (*.f64 %35 #s(literal 1 binary64))
%173 = (/.f64 %172 %82)
%174 = (/.f64 %108 #s(literal 2 binary64))
%175 = (/.f64 %156 #s(literal 2 binary64))
%176 = (/.f64 %115 #s(literal 1/2 binary64))
%178 = (/.f64 #s(literal -2 binary64) (*.f64 %137 #s(literal 2 binary64)))
%180 = (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %137))
%181 = (/.f64 %82 #s(literal -1 binary64))
%182 = (/.f64 %35 %82)
%183 = (/.f64 %81 #s(literal 1 binary64))
%184 = (/.f64 #s(literal -1 binary64) %137)
%185 = (*.f64 %128 #s(literal 2 binary64))
%186 = (/.f64 #s(literal 2 binary64) %185)
%188 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %128))
%189 = (/.f64 #s(literal 1/2 binary64) %106)
%190 = (/.f64 #s(literal 1 binary64) %128)
%191 = (/.f64 x %81)
%192 = (neg.f64 %82)
%193 = (*.f64 %81 #s(literal 0 binary64))
%194 = (fma.f64 %90 %91 %193)
%195 = (*.f64 #s(literal 0 binary64) %81)
%196 = (fma.f64 %90 %91 %195)
%197 = (/.f64 #s(literal 0 binary64) %128)
%198 = (fma.f64 %90 %91 %197)
%199 = (fma.f64 %93 %94 %193)
%200 = (fma.f64 %93 %94 %195)
%201 = (fma.f64 %93 %94 %197)
%202 = (fma.f64 %96 %82 %193)
%203 = (fma.f64 %96 %82 %195)
%204 = (fma.f64 %96 %82 %197)
%205 = (fma.f64 %98 %89 %193)
%206 = (fma.f64 %98 %89 %195)
%207 = (fma.f64 %98 %89 %197)
%208 = (fma.f64 %100 %101 %193)
%209 = (fma.f64 %100 %101 %195)
%210 = (fma.f64 %100 %101 %197)
%211 = (fma.f64 %103 #s(literal 1/2 binary64) %193)
%212 = (fma.f64 %103 #s(literal 1/2 binary64) %195)
%213 = (fma.f64 %103 #s(literal 1/2 binary64) %197)
%214 = (fma.f64 %105 %106 %193)
%215 = (fma.f64 %105 %106 %195)
%216 = (fma.f64 %105 %106 %197)
%217 = (fma.f64 %108 #s(literal 1/2 binary64) %193)
%218 = (fma.f64 %108 #s(literal 1/2 binary64) %195)
%219 = (fma.f64 %108 #s(literal 1/2 binary64) %197)
%220 = (fma.f64 #s(literal 1/4 binary64) %111 %193)
%221 = (fma.f64 #s(literal 1/4 binary64) %111 %195)
%222 = (fma.f64 #s(literal 1/4 binary64) %111 %197)
%223 = (fma.f64 %113 %113 %193)
%224 = (fma.f64 %113 %113 %195)
%225 = (fma.f64 %113 %113 %197)
%226 = (fma.f64 %115 #s(literal 2 binary64) %193)
%227 = (fma.f64 %115 #s(literal 2 binary64) %195)
%228 = (fma.f64 %115 #s(literal 2 binary64) %197)
%229 = (fma.f64 %115 #s(literal 1 binary64) %115)
%230 = (fma.f64 #s(literal 4 binary64) %118 %193)
%231 = (fma.f64 #s(literal 4 binary64) %118 %195)
%232 = (fma.f64 #s(literal 4 binary64) %118 %197)
%233 = (fma.f64 %91 %120 %193)
%234 = (fma.f64 %91 %120 %195)
%235 = (fma.f64 %91 %120 %197)
%236 = (fma.f64 %91 %122 %193)
%237 = (fma.f64 %91 %122 %195)
%238 = (fma.f64 %91 %122 %197)
%239 = (fma.f64 %89 %124 %193)
%240 = (fma.f64 %89 %124 %195)
%241 = (fma.f64 %89 %124 %197)
%242 = (fma.f64 %89 %126 %193)
%243 = (fma.f64 %89 %126 %195)
%244 = (fma.f64 %89 %126 %197)
%245 = (fma.f64 %89 %129 %193)
%246 = (fma.f64 %89 %129 %195)
%247 = (fma.f64 %89 %129 %197)
%248 = (fma.f64 #s(literal -1/2 binary64) %131 %193)
%249 = (fma.f64 #s(literal -1/2 binary64) %131 %195)
%250 = (fma.f64 #s(literal -1/2 binary64) %131 %197)
%251 = (fma.f64 #s(literal -1/2 binary64) %82 %115)
%252 = (fma.f64 #s(literal -2 binary64) %133 %193)
%253 = (fma.f64 #s(literal -2 binary64) %133 %195)
%254 = (fma.f64 #s(literal -2 binary64) %133 %197)
%255 = (fma.f64 #s(literal -2 binary64) %135 %193)
%256 = (fma.f64 #s(literal -2 binary64) %135 %195)
%257 = (fma.f64 #s(literal -2 binary64) %135 %197)
%258 = (fma.f64 #s(literal -2 binary64) %138 %193)
%259 = (fma.f64 #s(literal -2 binary64) %138 %195)
%260 = (fma.f64 #s(literal -2 binary64) %138 %197)
%261 = (fma.f64 %82 #s(literal -1 binary64) %193)
%262 = (fma.f64 %82 #s(literal -1 binary64) %195)
%263 = (fma.f64 %82 #s(literal -1 binary64) %197)
%264 = (fma.f64 %137 %35 %193)
%265 = (fma.f64 %137 %35 %195)
%266 = (fma.f64 %137 %35 %197)
%267 = (fma.f64 %35 %137 %193)
%268 = (fma.f64 %35 %137 %195)
%269 = (fma.f64 %35 %137 %197)
%270 = (fma.f64 %128 x %193)
%271 = (fma.f64 %128 x %195)
%272 = (fma.f64 %128 x %197)
%273 = (fma.f64 %81 #s(literal 1/2 binary64) %115)
%274 = (fma.f64 %81 #s(literal 1 binary64) %193)
%275 = (fma.f64 %81 #s(literal 1 binary64) %195)
%276 = (fma.f64 %81 #s(literal 1 binary64) %197)
%277 = (fma.f64 #s(literal -1 binary64) %82 %193)
%278 = (fma.f64 #s(literal -1 binary64) %82 %195)
%279 = (fma.f64 #s(literal -1 binary64) %82 %197)
%280 = (fma.f64 #s(literal 2 binary64) %146 %193)
%281 = (fma.f64 #s(literal 2 binary64) %146 %195)
%282 = (fma.f64 #s(literal 2 binary64) %146 %197)
%283 = (fma.f64 #s(literal 2 binary64) %115 %193)
%284 = (fma.f64 #s(literal 2 binary64) %115 %195)
%285 = (fma.f64 #s(literal 2 binary64) %115 %197)
%286 = (fma.f64 #s(literal 1/2 binary64) %149 %193)
%287 = (fma.f64 #s(literal 1/2 binary64) %149 %195)
%288 = (fma.f64 #s(literal 1/2 binary64) %149 %197)
%289 = (fma.f64 #s(literal 1/2 binary64) %151 %193)
%290 = (fma.f64 #s(literal 1/2 binary64) %151 %195)
%291 = (fma.f64 #s(literal 1/2 binary64) %151 %197)
%292 = (fma.f64 #s(literal 1/2 binary64) %103 %193)
%293 = (fma.f64 #s(literal 1/2 binary64) %103 %195)
%294 = (fma.f64 #s(literal 1/2 binary64) %103 %197)
%295 = (fma.f64 #s(literal 1/2 binary64) %154 %193)
%296 = (fma.f64 #s(literal 1/2 binary64) %154 %195)
%297 = (fma.f64 #s(literal 1/2 binary64) %154 %197)
%298 = (fma.f64 #s(literal 1/2 binary64) %156 %193)
%299 = (fma.f64 #s(literal 1/2 binary64) %156 %195)
%300 = (fma.f64 #s(literal 1/2 binary64) %156 %197)
%301 = (fma.f64 #s(literal 1/2 binary64) %81 %115)
%302 = (fma.f64 #s(literal 1 binary64) %115 %115)
%303 = (fma.f64 #s(literal 1 binary64) %81 %193)
%304 = (fma.f64 #s(literal 1 binary64) %81 %195)
%305 = (fma.f64 #s(literal 1 binary64) %81 %197)
%306 = (fma.f64 x %128 %193)
%307 = (fma.f64 x %128 %195)
%308 = (fma.f64 x %128 %197)
%309 = (fabs.f64 %82)
%310 = (fabs.f64 %81)
%311 = (+.f64 %115 %115)
%312 = (+.f64 %81 %193)
%313 = (+.f64 %81 %195)
%314 = (+.f64 %81 %197)
%316 = (approx (sqrt x) %81)
%321 = (/.f64 #s(literal 1/2 binary64) x)
%324 = (/.f64 #s(literal -1 binary64) x)
%329 = (*.f64 %324 #s(literal 2 binary64))
%331 = (/.f64 #s(literal -2 binary64) x)
%348 = (*.f64 %35 x)
%387 = (/.f64 #s(literal 1 binary64) %160)
%395 = (- (sqrt (+ 1 x)) -1)
%397 = (approx (/ %395 x) %61)
%400 = (/.f64 #s(literal 1 binary64) %397)
%402 = (neg.f64 %397)
%404 = (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))
%407 = (*.f64 #s(literal -1/8 binary64) x)
%416 = (*.f64 #s(literal 1/8 binary64) x)
%417 = (-.f64 %416 #s(literal 1/2 binary64))
%419 = (-.f64 #s(literal -1/2 binary64) %407)
%432 = (neg.f64 %416)
%435 = (*.f64 %35 %417)
%436 = (*.f64 %404 x)
%437 = (*.f64 #s(literal 1 binary64) %436)
%438 = (*.f64 x %404)
%439 = (pow.f64 %436 #s(literal 1 binary64))
%441 = (/.f64 #s(literal 1 binary64) (pow.f64 %436 #s(literal -1 binary64)))
%443 = (neg.f64 (*.f64 %419 x))
%444 = (*.f64 #s(literal 1/8 binary64) %160)
%446 = (neg.f64 (-.f64 %444 %58))
%448 = (neg.f64 (*.f64 x %419))
%449 = (fma.f64 %416 %35 %58)
%450 = (*.f64 %432 x)
%451 = (fma.f64 #s(literal -1/2 binary64) %35 %450)
%452 = (*.f64 %160 #s(literal -1/8 binary64))
%453 = (fma.f64 #s(literal -1/2 binary64) %35 %452)
%454 = (fma.f64 %35 %416 %58)
%455 = (fma.f64 %35 #s(literal -1/2 binary64) %450)
%456 = (fma.f64 %35 #s(literal -1/2 binary64) %452)
%457 = (fma.f64 %407 x %58)
%458 = (fma.f64 %160 #s(literal -1/8 binary64) %58)
%459 = (fma.f64 #s(literal -1/8 binary64) %160 %58)
%460 = (fma.f64 #s(literal 1/2 binary64) x %450)
%461 = (fma.f64 #s(literal 1/2 binary64) x %452)
%462 = (fma.f64 #s(literal 1 binary64) %452 %58)
%463 = (fma.f64 #s(literal 1 binary64) %58 %450)
%464 = (fma.f64 #s(literal 1 binary64) %58 %452)
%465 = (fma.f64 x %407 %58)
%466 = (fma.f64 x #s(literal 1/2 binary64) %450)
%467 = (fma.f64 x #s(literal 1/2 binary64) %452)
%468 = (-.f64 %452 %67)
%469 = (-.f64 %58 %444)
%470 = (+.f64 %452 %58)
%471 = (+.f64 %58 %450)
%472 = (+.f64 %58 %452)
%475 = (*.f64 %160 %160)
%488 = (+.f64 #s(literal 4 binary64) x)
%490 = (+.f64 x #s(literal 4 binary64))
%492 = (-.f64 #s(literal 4 binary64) %35)
%494 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))
%497 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 1 binary64))
%513 = (+.f64 x #s(literal 2 binary64))
%541 = (approx %395 %494)
%544 = (/.f64 #s(literal 1 binary64) %541)
%546 = (neg.f64 %541)
%548 = (-.f64 %7 #s(literal 1 binary64))
%575 = (/.f64 #s(literal 1/2 binary64) %541)
%577 = (/.f64 #s(literal -1 binary64) %541)
%583 = (/.f64 x %541)
%603 = (/ x %395)
%604 = (approx %603 %436)
%605 = (*.f64 #s(literal 1 binary64) %604)
%606 = (pow.f64 %604 #s(literal 1 binary64))
%608 = (/.f64 #s(literal 1 binary64) (pow.f64 %604 #s(literal -1 binary64)))
%609 = (*.f64 %400 %89)
%611 = (*.f64 %400 #s(literal 2 binary64))
%613 = (/.f64 #s(literal 1/2 binary64) %397)
%615 = (/.f64 #s(literal -1 binary64) %397)
%617 = (*.f64 %91 %400)
%619 = (/.f64 %91 %397)
%621 = (*.f64 #s(literal 1/2 binary64) %615)
%623 = (/.f64 #s(literal 1/2 binary64) %402)
%628 = (*.f64 #s(literal 4 binary64) %613)
%630 = (*.f64 #s(literal 2 binary64) %400)
%632 = (/.f64 #s(literal 2 binary64) %397)
%635 = (*.f64 %397 #s(literal 1 binary64))
%661 = (*.f64 %400 #s(literal 0 binary64))
%663 = (*.f64 #s(literal 0 binary64) %400)
%665 = (/.f64 #s(literal 0 binary64) %397)
%718 = (approx %603 %316)
%723 = (approx %603 %81)
x
#s(literal 1 binary64)
(*.f64 %5 %3)
(*.f64 %8 %8)
(*.f64 %7 %7)
(*.f64 #s(literal 1 binary64) %2)
(pow.f64 %3 #s(literal 1/2 binary64))
(pow.f64 %8 #s(literal 2 binary64))
(pow.f64 %7 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %5)
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal -1 binary64) x))
(fma.f64 %5 %3 #s(literal 0 binary64))
(fma.f64 %8 %8 #s(literal 0 binary64))
(fma.f64 %7 %7 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %2 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) %35)
(-.f64 x #s(literal -1 binary64))
(sqrt.f64 %3)
(fabs.f64 (*.f64 %8 %7))
(fabs.f64 (*.f64 %7 %8))
(fabs.f64 %2)
(+.f64 (+.f64 x #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) x))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %35))
(+.f64 %2 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) x))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %35))
%2
(+.f64 x #s(literal 1 binary64))
#s(literal 1/2 binary64)
(*.f64 #s(literal -1/2 binary64) %35)
(*.f64 %35 #s(literal -1/2 binary64))
%58
(*.f64 #s(literal 1 binary64) %58)
(*.f64 x #s(literal 1/2 binary64))
(pow.f64 %61 #s(literal -1 binary64))
(pow.f64 %58 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %58 #s(literal -1 binary64)))
(/.f64 x #s(literal 2 binary64))
(neg.f64 %67)
#s(literal -1/8 binary64)
#s(literal 2 binary64)
#s(literal -1 binary64)
(*.f64 %70 %70)
(*.f64 %72 %2)
(*.f64 #s(literal 1 binary64) %7)
(pow.f64 %7 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) %72)
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %8)
(cosh.f64 (asinh.f64 %82))
(cosh.f64 (asinh.f64 %81))
%7
(fabs.f64 %8)
(fabs.f64 %7)
%92
%95
%97
%99
%102
%104
%107
%109
%112
%114
%116
%119
%121
%123
%125
%127
%130
%132
%134
%136
%139
%140
%141
%142
%143
%144
%145
%147
%148
%150
%152
%153
%155
%157
%158
%159
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%173
%174
%175
%176
%178
%180
%181
%182
%183
%184
%186
%188
%189
%190
%191
%192
%194
%196
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%211
%212
%213
%214
%215
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
%252
%253
%254
%255
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%307
%308
%81
%309
%310
%311
%312
%313
%314
%92
%95
%97
%99
%102
%104
%107
%109
%112
%114
%116
%119
%121
%123
%125
%127
%130
%132
%134
%136
%139
%140
%141
%142
%143
%144
%145
%147
%148
%150
%152
%153
%155
%157
%158
%159
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%173
%174
%175
%176
%178
%180
%181
%182
%183
%184
%186
%188
%189
%190
%191
%192
%194
%196
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%211
%212
%213
%214
%215
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
%252
%253
%254
%255
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%307
%308
%81
%309
%310
%311
%312
%313
%314
(*.f64 #s(literal 1 binary64) %316)
(pow.f64 %316 #s(literal 1 binary64))
%316
(/.f64 #s(literal 1 binary64) (pow.f64 %316 #s(literal -1 binary64)))
(*.f64 %321 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %321)
(*.f64 %324 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %324)
(*.f64 %61 #s(literal 1 binary64))
(*.f64 %94 #s(literal 2 binary64))
(*.f64 #s(literal -1 binary64) %329)
(*.f64 #s(literal -1 binary64) %331)
(*.f64 #s(literal 2 binary64) %94)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %94))
(*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 4 binary64) x))
(*.f64 #s(literal 1 binary64) %61)
(pow.f64 %61 #s(literal 1 binary64))
(/.f64 (fma.f64 %94 %35 #s(literal -1 binary64)) %35)
(/.f64 (+.f64 x x) %160)
(/.f64 (+.f64 x (*.f64 %35 #s(literal -1 binary64))) %160)
(/.f64 (+.f64 %35 %172) %348)
(/.f64 (+.f64 %35 %35) %348)
(/.f64 #s(literal -2 binary64) %35)
%61
(/.f64 #s(literal 1 binary64) (/.f64 %35 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) %58)
(neg.f64 %329)
(neg.f64 (*.f64 %94 #s(literal -2 binary64)))
(neg.f64 %331)
(fma.f64 (*.f64 %94 %89) %91 %94)
(fma.f64 %185 %106 %94)
(fma.f64 %321 #s(literal 2 binary64) %94)
(fma.f64 #s(literal 4 binary64) (*.f64 %106 %106) %94)
(fma.f64 %324 #s(literal -1 binary64) %94)
(fma.f64 %89 (*.f64 %91 %94) %94)
(fma.f64 %89 (/.f64 %91 x) %94)
(fma.f64 #s(literal -2 binary64) (*.f64 #s(literal 1/2 binary64) %324) %94)
(fma.f64 #s(literal -2 binary64) (/.f64 #s(literal 1/2 binary64) %35) %94)
(fma.f64 %137 %137 %94)
(fma.f64 %61 #s(literal 1/2 binary64) %94)
(fma.f64 %128 %128 %94)
(fma.f64 %94 #s(literal 1 binary64) %94)
(fma.f64 #s(literal -1 binary64) %324 %94)
(fma.f64 #s(literal 2 binary64) (*.f64 %106 %128) %94)
(fma.f64 #s(literal 2 binary64) (fabs.f64 %321) %94)
(fma.f64 #s(literal 2 binary64) %321 %94)
(fma.f64 #s(literal 1/2 binary64) %61 %94)
(fma.f64 #s(literal 1 binary64) %94 %94)
(fma.f64 x %387 %94)
(-.f64 %94 %324)
(+.f64 %94 %94)
(*.f64 #s(literal 1 binary64) %397)
(pow.f64 %397 #s(literal 1 binary64))
%397
(/.f64 #s(literal 1 binary64) %400)
(neg.f64 %402)
(*.f64 #s(literal 1 binary64) %404)
(pow.f64 %404 #s(literal 1 binary64))
(/.f64 (fma.f64 %407 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %407 #s(literal 2 binary64)) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %404 #s(literal -1 binary64)))
(neg.f64 %417)
(neg.f64 %419)
%404
(fma.f64 #s(literal 1 binary64) %407 #s(literal 1/2 binary64))
(fma.f64 x #s(literal -1/8 binary64) #s(literal 1/2 binary64))
(-.f64 (fma.f64 #s(literal -1/8 binary64) x #s(literal 1 binary64)) #s(literal 1/2 binary64))
(-.f64 %407 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) %416)
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1/2 binary64) %407))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 1/2 binary64) %416))
(+.f64 %407 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %432)
(+.f64 #s(literal 1/2 binary64) %407)
%435
%436
%437
%438
%439
%441
%443
%446
%448
%449
%451
%453
%454
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
(*.f64 %35 %35)
(*.f64 #s(literal 1 binary64) %160)
%160
(pow.f64 %475 #s(literal 1/2 binary64))
(pow.f64 %387 #s(literal -1 binary64))
(pow.f64 %35 #s(literal 2 binary64))
(pow.f64 %160 #s(literal 1 binary64))
(pow.f64 %94 #s(literal -2 binary64))
(pow.f64 %81 #s(literal 4 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %387)
(neg.f64 %348)
(sqrt.f64 %475)
(fabs.f64 %348)
(fabs.f64 %160)
%435
%436
%437
%438
%439
%441
%443
%446
%448
%449
%451
%453
%454
%455
%456
%457
%458
%459
%460
%461
%462
%463
%464
%465
%466
%467
%468
%469
%470
%471
%472
(*.f64 #s(literal 1/2 binary64) %488)
(*.f64 #s(literal 1/2 binary64) %490)
(*.f64 #s(literal 1/2 binary64) %492)
(*.f64 #s(literal 1 binary64) %494)
(pow.f64 %494 #s(literal 1 binary64))
(/.f64 (fma.f64 %497 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %497 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %494 #s(literal -1 binary64)))
(neg.f64 (-.f64 %67 #s(literal 2 binary64)))
(neg.f64 (-.f64 #s(literal -2 binary64) %58))
(fma.f64 #s(literal -1/2 binary64) %35 #s(literal 2 binary64))
(fma.f64 %35 #s(literal -1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) %488 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %490 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %492 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %513 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 2 binary64) x) #s(literal 1 binary64))
%494
(fma.f64 #s(literal 1 binary64) %497 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %494 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %58 #s(literal 2 binary64))
(fma.f64 x #s(literal 1/2 binary64) #s(literal 2 binary64))
(-.f64 %497 #s(literal -1 binary64))
(-.f64 #s(literal 2 binary64) %67)
(-.f64 %58 #s(literal -2 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) %58))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) %67))
(-.f64 #s(literal 1 binary64) (neg.f64 %497))
(+.f64 (fma.f64 #s(literal 1/2 binary64) %513 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %497 #s(literal 1 binary64))
(+.f64 %494 #s(literal 0 binary64))
(+.f64 #s(literal 2 binary64) %58)
(+.f64 %58 #s(literal 2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %497))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %497))
(+.f64 #s(literal 1 binary64) %497)
(*.f64 #s(literal 1 binary64) %541)
(pow.f64 %541 #s(literal 1 binary64))
%541
(/.f64 #s(literal 1 binary64) %544)
(neg.f64 %546)
(*.f64 #s(literal 1 binary64) %548)
(pow.f64 %548 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %7 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %7 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 x #s(literal 0 binary64)) (-.f64 %7 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %548 #s(literal -1 binary64)))
(neg.f64 (-.f64 %8 #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal 1 binary64) %7))
(fma.f64 %70 %70 #s(literal -1 binary64))
(fma.f64 %72 %2 #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) %7 #s(literal -1 binary64))
(-.f64 (-.f64 %7 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(-.f64 %548 #s(literal 0 binary64))
%548
(-.f64 #s(literal -1 binary64) %8)
(+.f64 %7 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) %7)
(*.f64 %105 %575)
(*.f64 %577 %35)
(*.f64 %544 x)
(*.f64 %35 %577)
(*.f64 #s(literal 2 binary64) (*.f64 %575 x))
(*.f64 #s(literal 1 binary64) %583)
(*.f64 x %544)
(pow.f64 (*.f64 %541 %94) #s(literal -1 binary64))
(pow.f64 (*.f64 %94 %541) #s(literal -1 binary64))
(pow.f64 %583 #s(literal 1 binary64))
(/.f64 %172 %546)
(/.f64 %35 %546)
(/.f64 #s(literal 1 binary64) (/.f64 %546 %35))
(/.f64 #s(literal 1 binary64) (pow.f64 %583 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %541 x))
%583
(neg.f64 (*.f64 %577 x))
(neg.f64 (/.f64 %35 %541))
%605
%606
%604
%608
%605
%606
%604
%608
(*.f64 %609 %91)
(*.f64 %611 #s(literal 1/2 binary64))
(*.f64 %613 #s(literal 2 binary64))
(*.f64 %615 #s(literal -1 binary64))
(*.f64 %89 %617)
(*.f64 %89 %619)
(*.f64 #s(literal -2 binary64) %621)
(*.f64 #s(literal -2 binary64) %623)
(*.f64 %400 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %615)
(*.f64 #s(literal 2 binary64) %613)
(*.f64 #s(literal 1/2 binary64) %628)
(*.f64 #s(literal 1/2 binary64) %630)
(*.f64 #s(literal 1/2 binary64) %632)
(*.f64 #s(literal 1 binary64) %400)
(pow.f64 %635 #s(literal -1 binary64))
(pow.f64 %400 #s(literal 1 binary64))
(pow.f64 %397 #s(literal -1 binary64))
(/.f64 %611 #s(literal 2 binary64))
(/.f64 %630 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (*.f64 %402 #s(literal 2 binary64)))
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %402))
(/.f64 %400 #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (*.f64 %402 #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) %402)
(/.f64 #s(literal 2 binary64) (*.f64 %397 #s(literal 2 binary64)))
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %397))
(/.f64 #s(literal 1 binary64) %635)
(/.f64 #s(literal 1 binary64) (/.f64 %402 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %400 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %397 #s(literal 1 binary64)))
%400
(neg.f64 %615)
(fma.f64 %609 %91 %661)
(fma.f64 %609 %91 %663)
(fma.f64 %609 %91 %665)
(fma.f64 %611 #s(literal 1/2 binary64) %661)
(fma.f64 %611 #s(literal 1/2 binary64) %663)
(fma.f64 %611 #s(literal 1/2 binary64) %665)
(fma.f64 %613 #s(literal 2 binary64) %661)
(fma.f64 %613 #s(literal 2 binary64) %663)
(fma.f64 %613 #s(literal 2 binary64) %665)
(fma.f64 %613 #s(literal 1 binary64) %613)
(fma.f64 %615 #s(literal -1 binary64) %661)
(fma.f64 %615 #s(literal -1 binary64) %663)
(fma.f64 %615 #s(literal -1 binary64) %665)
(fma.f64 %89 %617 %661)
(fma.f64 %89 %617 %663)
(fma.f64 %89 %617 %665)
(fma.f64 %89 %619 %661)
(fma.f64 %89 %619 %663)
(fma.f64 %89 %619 %665)
(fma.f64 #s(literal -1/2 binary64) %615 %613)
(fma.f64 #s(literal -2 binary64) %621 %661)
(fma.f64 #s(literal -2 binary64) %621 %663)
(fma.f64 #s(literal -2 binary64) %621 %665)
(fma.f64 #s(literal -2 binary64) %623 %661)
(fma.f64 #s(literal -2 binary64) %623 %663)
(fma.f64 #s(literal -2 binary64) %623 %665)
(fma.f64 %400 #s(literal 1/2 binary64) %613)
(fma.f64 %400 #s(literal 1 binary64) %661)
(fma.f64 %400 #s(literal 1 binary64) %663)
(fma.f64 %400 #s(literal 1 binary64) %665)
(fma.f64 #s(literal -1 binary64) %615 %661)
(fma.f64 #s(literal -1 binary64) %615 %663)
(fma.f64 #s(literal -1 binary64) %615 %665)
(fma.f64 #s(literal 2 binary64) %613 %661)
(fma.f64 #s(literal 2 binary64) %613 %663)
(fma.f64 #s(literal 2 binary64) %613 %665)
(fma.f64 #s(literal 1/2 binary64) %628 %661)
(fma.f64 #s(literal 1/2 binary64) %628 %663)
(fma.f64 #s(literal 1/2 binary64) %628 %665)
(fma.f64 #s(literal 1/2 binary64) %630 %661)
(fma.f64 #s(literal 1/2 binary64) %630 %663)
(fma.f64 #s(literal 1/2 binary64) %630 %665)
(fma.f64 #s(literal 1/2 binary64) %632 %661)
(fma.f64 #s(literal 1/2 binary64) %632 %663)
(fma.f64 #s(literal 1/2 binary64) %632 %665)
(fma.f64 #s(literal 1/2 binary64) %400 %613)
(fma.f64 #s(literal 1 binary64) %613 %613)
(fma.f64 #s(literal 1 binary64) %400 %661)
(fma.f64 #s(literal 1 binary64) %400 %663)
(fma.f64 #s(literal 1 binary64) %400 %665)
(+.f64 %613 %613)
(+.f64 %400 %661)
(+.f64 %400 %663)
(+.f64 %400 %665)
(*.f64 #s(literal 1 binary64) %718)
(pow.f64 %718 #s(literal 1 binary64))
%718
(/.f64 #s(literal 1 binary64) (pow.f64 %718 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %723)
(pow.f64 %723 #s(literal 1 binary64))
%723
(/.f64 #s(literal 1 binary64) (pow.f64 %723 #s(literal -1 binary64)))
reconstruct101.0ms (4.1%)
Counts
822 → 171
Compiler
Compiled 822 to 877 computations (-6.7% saved)
eval37.0ms (1.5%)
Compiler
Compiled 181 to 440 computations (-143.1% saved)
prune6.0ms (0.3%)
Pruning
10 alts after pruning (1 fresh and 9 done)
PrunedKeptTotal
New1801181
Fresh000
Picked077
Done022
Total18010190
Accuracy
100.0%
Counts
190 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
✓66.7%
(/.f64 x (approx (+ (sqrt (+ 1 x)) 1) (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))))
✓65.8%
(/.f64 #s(literal 1 binary64) (approx (/ (+ (sqrt (+ 1 x)) 1) x) (/.f64 #s(literal 2 binary64) x)))
✓40.9%
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
✓64.6%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (fma.f64 #s(literal -1/8 binary64) (*.f64 x x) (*.f64 #s(literal 1/2 binary64) x)))
✓64.5%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 x (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))))
✓66.0%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 #s(literal 1/2 binary64) x))
▶4.5%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (sqrt.f64 (approx x #s(literal 0 binary64))))
✓36.3%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (sqrt.f64 x))
✓36.1%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (approx (/ 1 (sqrt (/ 1 x))) (/.f64 x (sqrt.f64 x))))
Compiler
Compiled 10 to 26 computations (-160.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series12.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
099379
Stop Event
1×iter-limit
Counts
5 → 17
Calls
Call 1
Inputs
%2 = (approx x #s(literal 0 binary64))
%3 = (sqrt.f64 %2)
x
#s(literal 0 binary64)
%2
%3
(approx (/ x (+ 1 (sqrt (+ x 1)))) %3)
Outputs
%4 = (sqrt x)
%11 = (/ x (+ 1 (sqrt (+ x 1))))
%39 = (sqrt.f64 (/.f64 #s(literal 1 binary64) x))
%40 = (*.f64 x %39)
%42 = (/.f64 #s(literal 1 binary64) %39)
%45 = (pow.f64 %39 #s(literal 2 binary64))
%47 = (/.f64 #s(literal 1 binary64) (*.f64 x %45))
%50 = (pow.f64 x #s(literal 2 binary64))
%52 = (pow.f64 %39 #s(literal 3 binary64))
%53 = (*.f64 %50 %52)
%64 = (pow.f64 %39 #s(literal 5 binary64))
%81 = (/.f64 #s(literal 1 binary64) %45)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 (sqrt.f64 x))
(approx %11 (*.f64 #s(literal 1/2 binary64) x))
(approx %11 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/8 binary64) x))))
(approx %11 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/16 binary64) x) #s(literal 1/8 binary64))))))
(approx %11 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 x (-.f64 (*.f64 x (+.f64 #s(literal 1/16 binary64) (*.f64 #s(literal -5/128 binary64) x))) #s(literal 1/8 binary64))))))
(approx %4 %40)
(approx %11 %42)
(approx %11 (-.f64 %42 %47))
(approx %11 (-.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) %53) %42) %47))
(approx %11 (-.f64 (+.f64 %42 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %53))) (+.f64 %47 (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (pow.f64 x #s(literal 4 binary64)) %64))))))
(approx %4 (*.f64 #s(literal -1 binary64) %40))
(approx %11 (/.f64 #s(literal -1 binary64) %39))
(approx %11 (*.f64 #s(literal -1 binary64) (+.f64 %42 %47)))
(approx %11 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x %52)) %81) x)) %42))
(approx %11 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (-.f64 (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %50 %64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %52))) x) %81) x)) %42))
Calls
3 calls:
TimeVariablePoint
2.0ms
x
-inf
2.0ms
x
inf
1.0ms
x
0
rewrite199.0ms (8.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01022
01122
14522
211022
341722
4375722
0409222
0424722
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 36
Calls
Call 1
Inputs
%2 = (approx x #s(literal 0 binary64))
%3 = (sqrt.f64 %2)
x
#s(literal 0 binary64)
%2
%3
(approx (/ x (+ 1 (sqrt (+ x 1)))) %3)
Outputs
%2 = (approx x #s(literal 0 binary64))
%3 = (sqrt.f64 %2)
%4 = (sqrt.f64 %3)
%9 = (neg.f64 %3)
%14 = (*.f64 %2 %2)
%30 = (neg.f64 %2)
%35 = (neg.f64 %4)
%56 = (approx (/ x (+ (sqrt (+ 1 x)) 1)) %3)
x
#s(literal 0 binary64)
(*.f64 (*.f64 %3 %4) %4)
(*.f64 %4 (*.f64 %4 %3))
(*.f64 %9 %9)
(*.f64 #s(literal 1 binary64) %2)
(*.f64 %3 %3)
(pow.f64 %14 #s(literal 1/2 binary64))
(pow.f64 %9 #s(literal 2 binary64))
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
%2
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %30)
(sqrt.f64 %14)
(fabs.f64 %30)
(fabs.f64 %2)
(*.f64 %35 %35)
(*.f64 %4 %4)
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %4 #s(literal 2 binary64))
(pow.f64 %14 #s(literal 1/4 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %9)
%3
(fabs.f64 %9)
(fabs.f64 %3)
(*.f64 #s(literal 1 binary64) %56)
(pow.f64 %56 #s(literal 1 binary64))
%56
(/.f64 #s(literal 1 binary64) (pow.f64 %56 #s(literal -1 binary64)))
reconstruct8.0ms (0.3%)
Counts
53 → 21
Compiler
Compiled 53 to 124 computations (-134.0% saved)
eval6.0ms (0.2%)
Compiler
Compiled 17 to 77 computations (-352.9% saved)
prune4.0ms (0.2%)
Pruning
10 alts after pruning (0 fresh and 10 done)
PrunedKeptTotal
New17017
Fresh000
Picked011
Done099
Total171027
Accuracy
100.0%
Counts
27 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
✓66.7%
(/.f64 x (approx (+ (sqrt (+ 1 x)) 1) (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))))
✓65.8%
(/.f64 #s(literal 1 binary64) (approx (/ (+ (sqrt (+ 1 x)) 1) x) (/.f64 #s(literal 2 binary64) x)))
✓40.9%
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
✓64.6%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (fma.f64 #s(literal -1/8 binary64) (*.f64 x x) (*.f64 #s(literal 1/2 binary64) x)))
✓64.5%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 x (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))))
✓66.0%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 #s(literal 1/2 binary64) x))
✓4.5%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (sqrt.f64 (approx x #s(literal 0 binary64))))
✓36.3%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (sqrt.f64 x))
✓36.1%
(approx (/ x (+ 1 (sqrt (+ x 1)))) (approx (/ 1 (sqrt (/ 1 x))) (/.f64 x (sqrt.f64 x))))
Compiler
Compiled 10 to 26 computations (-160.0% saved)
regimes38.0ms (1.6%)
Accuracy
Total 0.6b remaining (0.7%)
Threshold costs 0.6b (0.7%)
0.2b0.0%
0.1b99.3%
0.1b99.6%
0.1b99.6%
0.1b99.6%
Counts
1 → 1
2 → 2
3 → 2
5 → 2
7 → 2
9 → 2
12 → 2
13 → 1
Calls
Call 1
Inputs
(approx (/ x (+ 1 (sqrt (+ x 1)))) (sqrt.f64 x))
Outputs
(approx (/ x (+ 1 (sqrt (+ x 1)))) (sqrt.f64 x))
Call 2
Inputs
%5 = (/ x (+ 1 (sqrt (+ x 1))))
(approx %5 (sqrt.f64 x))
(approx %5 (sqrt.f64 (approx x #s(literal 0 binary64))))
Outputs
%5 = (/ x (+ 1 (sqrt (+ x 1))))
(approx %5 (sqrt.f64 (approx x #s(literal 0 binary64))))
(approx %5 (sqrt.f64 x))
Call 3
Inputs
%5 = (/ x (+ 1 (sqrt (+ x 1))))
(approx %5 (sqrt.f64 x))
(approx %5 (sqrt.f64 (approx x #s(literal 0 binary64))))
(approx %5 (*.f64 #s(literal 1/2 binary64) x))
Outputs
%5 = (/ x (+ 1 (sqrt (+ x 1))))
(approx %5 (*.f64 #s(literal 1/2 binary64) x))
(approx %5 (sqrt.f64 x))
Call 4
Inputs
%5 = (/ x (+ 1 (sqrt (+ x 1))))
%6 = (sqrt.f64 x)
(approx %5 %6)
(approx %5 (sqrt.f64 (approx x #s(literal 0 binary64))))
(approx %5 (*.f64 #s(literal 1/2 binary64) x))
(approx %5 (approx (/ 1 (sqrt (/ 1 x))) (/.f64 x %6)))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
Outputs
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 #s(literal 1/2 binary64) x))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
Call 5
Inputs
%5 = (/ x (+ 1 (sqrt (+ x 1))))
%6 = (sqrt.f64 x)
(approx %5 %6)
(approx %5 (sqrt.f64 (approx x #s(literal 0 binary64))))
(approx %5 (*.f64 #s(literal 1/2 binary64) x))
(approx %5 (approx (/ 1 (sqrt (/ 1 x))) (/.f64 x %6)))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (approx (/ (+ (sqrt (+ 1 x)) 1) x) (/.f64 #s(literal 2 binary64) x)))
(approx %5 (*.f64 x (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))))
Outputs
(approx (/ x (+ 1 (sqrt (+ x 1)))) (*.f64 x (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
Call 6
Inputs
%5 = (/ x (+ 1 (sqrt (+ x 1))))
%6 = (sqrt.f64 x)
%28 = (+ (sqrt (+ 1 x)) 1)
(approx %5 %6)
(approx %5 (sqrt.f64 (approx x #s(literal 0 binary64))))
(approx %5 (*.f64 #s(literal 1/2 binary64) x))
(approx %5 (approx (/ 1 (sqrt (/ 1 x))) (/.f64 x %6)))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (approx (/ %28 x) (/.f64 #s(literal 2 binary64) x)))
(approx %5 (*.f64 x (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))))
(approx %5 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/8 binary64) x))))
(/.f64 x (approx %28 (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))))
Outputs
(/.f64 x (approx (+ (sqrt (+ 1 x)) 1) (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
Call 7
Inputs
%4 = (+ 1 (sqrt (+ x 1)))
%5 = (/ x %4)
%6 = (sqrt.f64 x)
%13 = (*.f64 #s(literal 1/2 binary64) x)
%28 = (+ (sqrt (+ 1 x)) 1)
(approx %5 %6)
(approx %5 (sqrt.f64 (approx x #s(literal 0 binary64))))
(approx %5 %13)
(approx %5 (approx (/ 1 (sqrt (/ 1 x))) (/.f64 x %6)))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (approx (/ %28 x) (/.f64 #s(literal 2 binary64) x)))
(approx %5 (*.f64 x (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))))
(approx %5 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/8 binary64) x))))
(/.f64 x (approx %28 (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))))
(/.f64 x (approx %4 (+.f64 #s(literal 2 binary64) %13)))
(approx %5 (/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(approx %5 (fma.f64 #s(literal -1/8 binary64) (*.f64 x x) %13))
Outputs
(approx (/ x (+ 1 (sqrt (+ x 1)))) (fma.f64 #s(literal -1/8 binary64) (*.f64 x x) (*.f64 #s(literal 1/2 binary64) x)))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
Call 8
Inputs
%4 = (+ 1 (sqrt (+ x 1)))
%5 = (/ x %4)
%6 = (sqrt.f64 x)
%13 = (*.f64 #s(literal 1/2 binary64) x)
%28 = (+ (sqrt (+ 1 x)) 1)
(approx %5 %6)
(approx %5 (sqrt.f64 (approx x #s(literal 0 binary64))))
(approx %5 %13)
(approx %5 (approx (/ 1 (sqrt (/ 1 x))) (/.f64 x %6)))
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (approx (/ %28 x) (/.f64 #s(literal 2 binary64) x)))
(approx %5 (*.f64 x (fma.f64 #s(literal -1/8 binary64) x #s(literal 1/2 binary64))))
(approx %5 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/8 binary64) x))))
(/.f64 x (approx %28 (fma.f64 #s(literal 1/2 binary64) x #s(literal 2 binary64))))
(/.f64 x (approx %4 (+.f64 #s(literal 2 binary64) %13)))
(approx %5 (/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(approx %5 (fma.f64 #s(literal -1/8 binary64) (*.f64 x x) %13))
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
Outputs
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
Calls
2 calls:
19.0ms
x
18.0ms
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
Results
AccuracySegmentsBranch
36.3%1
x
36.3%1
(/.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x #s(literal 1 binary64)))))
Compiler
Compiled 19 to 52 computations (-173.7% saved)
bsearch0.0ms (0.0%)
bsearch1.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
3.003699100969848e-6
0.036133861101008385
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
3.003699100969848e-6
0.036133861101008385
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
3.003699100969848e-6
0.036133861101008385
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
7.71927679023868e-13
3.003699100969848e-6
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
0.036133861101008385
668.048093799459
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
2.1044708837544787e-210
2.084506129783608e-202
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch0.0ms (0.0%)
derivations157.0ms (6.4%)
Stop Event
1×done
Compiler
Compiled 8 to 37 computations (-362.5% saved)
preprocess59.0ms (2.4%)
Compiler
Compiled 9 to 43 computations (-377.8% saved)
end0.0ms (0.0%)
gc703ms (28.6%)
Allocations
AllocatedPercentPhase
784.0 MiB27.2%reconstruct
740.5 MiB25.7%sample
594.2 MiB20.6%rewrite
175.1 MiB6.1%series
166.0 MiB5.8%eval
149.4 MiB5.2%derivations
144.7 MiB5.0%preprocess
65.9 MiB2.3%regimes
55.2 MiB1.9%prune
7.1 MiB0.2%bsearch
4.7 MiB0.2%analyze
0.1 MiB0.0%start
0.0 MiB0.0%end
2 886.8 MiB100.0%total
Profiling
Loading profile data...