Numeric.Integration.TanhSinh:nonNegative from integration-0.2.1

Time bar (total: 1.1s)

start0.0ms (0.0%)

analyze1.0ms (0.1%)

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
75.0%75.0%25.0%0.0%0.0%0.0%0.0%3
87.5%87.5%12.5%0.0%0.0%0.0%0.0%4
93.8%93.7%6.2%0.0%0.0%0.0%0.0%5
96.9%96.8%3.1%0.0%0.0%0.0%0.0%6
98.4%98.4%1.6%0.0%0.0%0.0%0.0%7
99.2%99.2%0.8%0.0%0.0%0.0%0.0%8
99.6%99.6%0.4%0.0%0.0%0.0%0.0%9
99.8%99.8%0.2%0.0%0.0%0.0%0.0%10
99.9%99.9%0.1%0.0%0.0%0.0%0.0%11
100.0%99.9%0.0%0.0%0.0%0.0%0.0%12
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample203.0ms (19.0%)

Samples
127.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 6.0ms
Div: 4.0ms (61.9% of total, 0.0 MiB)
Sub: 3.0ms (46.4% of total, 0.0 MiB)
Bogosity

preprocess45.0ms (4.2%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0818
14616
214715
342415
4369915
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler

Compiled 2 to 8 computations (-300.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series6.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
051179
Stop Event
1×iter-limit
Counts
4 → 15
Calls
Call 1
Inputs
%2 = (-.f64 #s(literal 1 binary64) x)
x
#s(literal 1 binary64)
%2
(/.f64 x %2)
Outputs
%5 = (- 1 x)
%9 = (*.f64 #s(literal -1 binary64) x)
%12 = (/ x %5)
%14 = (*.f64 x (+.f64 #s(literal 1 binary64) x))
%17 = (*.f64 x (+.f64 #s(literal 1 binary64) %14))
%23 = (/.f64 #s(literal 1 binary64) x)
%28 = (+.f64 #s(literal 1 binary64) %23)
%36 = (pow.f64 x #s(literal 2 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) %9))
(approx %12 %14)
(approx %12 %17)
(approx %12 (*.f64 x (+.f64 #s(literal 1 binary64) %17)))
(approx %5 %9)
(approx %5 (*.f64 x (-.f64 %23 #s(literal 1 binary64))))
(approx %12 #s(literal -1 binary64))
(approx %12 (*.f64 #s(literal -1 binary64) %28))
(approx %12 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %28 x)) #s(literal 1 binary64)))
(approx %12 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %28 %36)) %28))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %23))))
(approx %12 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (+.f64 %23 (/.f64 #s(literal 1 binary64) %36))) x)) #s(literal 1 binary64)))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite105.0ms (9.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0410
0610
12610
27810
326110
4201510
0486310
0502110
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 293
Calls
Call 1
Inputs
%2 = (-.f64 #s(literal 1 binary64) x)
x
#s(literal 1 binary64)
%2
(/.f64 x %2)
Outputs
%4 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64))
%6 = (/.f64 %4 #s(literal -8 binary64))
%10 = (/.f64 %4 #s(literal -4 binary64))
%12 = (-.f64 #s(literal 1 binary64) x)
%13 = (*.f64 #s(literal 2 binary64) %12)
%16 = (+.f64 x x)
%17 = (-.f64 #s(literal 2 binary64) %16)
%19 = (*.f64 #s(literal 1/2 binary64) x)
%20 = (-.f64 #s(literal 1/2 binary64) %19)
%24 = (*.f64 #s(literal 2 binary64) %16)
%28 = (-.f64 #s(literal 1 binary64) %16)
%35 = (*.f64 %16 #s(literal 2 binary64))
%43 = (-.f64 #s(literal 0 binary64) %16)
%46 = (*.f64 %16 #s(literal -1 binary64))
%49 = (*.f64 #s(literal -1 binary64) %16)
%61 = (-.f64 x #s(literal 1/2 binary64))
%66 = (*.f64 x #s(literal -2 binary64))
%67 = (-.f64 %66 #s(literal -2 binary64))
%73 = (*.f64 %16 #s(literal -2 binary64))
%80 = (*.f64 #s(literal -2 binary64) %16)
%90 = (*.f64 %4 #s(literal 2 binary64))
%94 = (-.f64 %73 #s(literal -4 binary64))
%97 = (-.f64 %35 #s(literal 4 binary64))
%104 = (-.f64 #s(literal -4 binary64) %80)
%108 = (/.f64 %4 #s(literal -1/2 binary64))
%111 = (fma.f64 %13 #s(literal 2 binary64) #s(literal 0 binary64))
%114 = (-.f64 #s(literal 4 binary64) %24)
%117 = (neg.f64 x)
%118 = (fma.f64 %117 #s(literal -2 binary64) #s(literal -2 binary64))
%121 = (*.f64 %117 #s(literal -2 binary64))
%122 = (-.f64 %121 #s(literal 2 binary64))
%125 = (/.f64 %4 #s(literal -1 binary64))
%142 = (*.f64 #s(literal -2 binary64) x)
%149 = (neg.f64 %16)
%185 = (*.f64 #s(literal -2 binary64) %12)
%187 = (-.f64 x #s(literal 1 binary64))
%188 = (*.f64 #s(literal -2 binary64) %187)
%194 = (/.f64 #s(literal 1 binary64) %12)
%203 = (*.f64 %117 #s(literal 1/2 binary64))
%226 = (-.f64 #s(literal 1/2 binary64) x)
%254 = (*.f64 %194 %16)
%256 = (*.f64 %194 %19)
%258 = (/.f64 #s(literal -2 binary64) %12)
%260 = (/.f64 #s(literal -1/2 binary64) %12)
%262 = (/.f64 x %17)
%264 = (/.f64 #s(literal -2 binary64) %187)
%267 = (/.f64 #s(literal 1/2 binary64) %12)
%270 = (*.f64 %260 x)
%272 = (/.f64 #s(literal -1 binary64) %12)
%274 = (/.f64 x %187)
%276 = (*.f64 %258 %117)
%278 = (*.f64 #s(literal 4 binary64) %262)
%280 = (*.f64 %264 x)
%282 = (/.f64 x %12)
%283 = (*.f64 #s(literal 2 binary64) %282)
%285 = (*.f64 %260 %117)
%296 = (*.f64 x %264)
%299 = (*.f64 #s(literal 8 binary64) %262)
%306 = (*.f64 #s(literal -2 binary64) %282)
%311 = (*.f64 %16 %194)
%314 = (*.f64 %264 %16)
%317 = (*.f64 #s(literal -2 binary64) %117)
%320 = (*.f64 %16 %264)
%333 = (*.f64 %13 #s(literal 2 binary64))
%337 = (*.f64 #s(literal 2 binary64) %4)
%341 = (*.f64 #s(literal 2 binary64) %13)
%387 = (*.f64 %194 #s(literal 0 binary64))
%389 = (*.f64 %117 #s(literal 0 binary64))
%410 = (*.f64 %19 %194)
%455 = (*.f64 %117 %260)
x
#s(literal 1 binary64)
(*.f64 %6 #s(literal 4 binary64))
(*.f64 %10 #s(literal 2 binary64))
(*.f64 %13 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %17)
(*.f64 #s(literal 2 binary64) %20)
(*.f64 #s(literal 1 binary64) %12)
(pow.f64 %12 #s(literal 1 binary64))
(/.f64 (-.f64 (-.f64 #s(literal 2 binary64) %24) #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %28 #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 1 binary64) (-.f64 %16 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) (-.f64 %35 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 (-.f64 #s(literal 0 binary64) %24) #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %43 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %46 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %49 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %4 #s(literal 1/2 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %4 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 x #s(literal -2 binary64) #s(literal 2 binary64))) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %61 #s(literal 2 binary64)) #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %67) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 #s(literal -4 binary64) %35)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 4 binary64) %73)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 #s(literal -4 binary64) %24)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 4 binary64) %80)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 %16 #s(literal 2 binary64) #s(literal -4 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 %16 #s(literal -2 binary64) #s(literal 4 binary64))) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 %90 #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %94) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %97) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %4) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %13) #s(literal -2 binary64))
(/.f64 (-.f64 %104 #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %108 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %111 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %114 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %118 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %122 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %125 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %17 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) (*.f64 %19 #s(literal 8 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) (/.f64 %16 #s(literal 1/2 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) (/.f64 %16 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal -2 binary64) %66) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal -2 binary64) %142) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) %73) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %35) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal -2 binary64) %149) #s(literal -2 binary64))
(/.f64 (-.f64 %13 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %80 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %24 #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %142 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 %108) #s(literal -4 binary64))
(/.f64 (neg.f64 %125) #s(literal -2 binary64))
(/.f64 (neg.f64 %118) #s(literal 2 binary64))
(/.f64 (neg.f64 %122) #s(literal 2 binary64))
(/.f64 (neg.f64 %111) #s(literal -4 binary64))
(/.f64 (neg.f64 %104) #s(literal 4 binary64))
(/.f64 (neg.f64 %114) #s(literal -4 binary64))
(/.f64 %108 #s(literal 4 binary64))
(/.f64 %125 #s(literal 2 binary64))
(/.f64 %118 #s(literal -2 binary64))
(/.f64 %122 #s(literal -2 binary64))
(/.f64 %67 #s(literal 2 binary64))
(/.f64 %17 #s(literal 2 binary64))
(/.f64 %111 #s(literal 4 binary64))
(/.f64 %104 #s(literal -4 binary64))
(/.f64 %114 #s(literal 4 binary64))
(/.f64 %94 #s(literal 4 binary64))
(/.f64 %97 #s(literal -4 binary64))
(/.f64 %185 #s(literal -2 binary64))
(/.f64 %188 #s(literal 2 binary64))
(/.f64 %4 #s(literal -2 binary64))
(/.f64 %13 #s(literal 2 binary64))
(/.f64 %187 #s(literal -1 binary64))
(/.f64 %12 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %194)
(neg.f64 %187)
(fma.f64 %6 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %10 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 x #s(literal -1/2 binary64)) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 #s(literal -1 binary64) %19) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %203 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 (neg.f64 %19) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %66 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %49 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %19 #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 %149 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %16 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 %13 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %16 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %19 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %17 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %43 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %28 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %142 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %20 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (/.f64 %117 #s(literal 2 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) x) #s(literal 1 binary64))
(fma.f64 %117 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %226 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %117 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %12 #s(literal 0 binary64))
(fma.f64 x #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 (+.f64 %12 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 (-.f64 #s(literal 1 binary64) %19) %19)
(-.f64 %226 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %117))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) x))
(-.f64 #s(literal 1/2 binary64) %61)
(-.f64 %117 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %187)
(-.f64 %12 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %117))
%12
(+.f64 %226 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %226))
(+.f64 #s(literal 1/2 binary64) %226)
(+.f64 %117 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %12)
(+.f64 %12 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %117)
(*.f64 %254 #s(literal 1/2 binary64))
(*.f64 %256 #s(literal 2 binary64))
(*.f64 %203 %258)
(*.f64 %66 %260)
(*.f64 %262 #s(literal 2 binary64))
(*.f64 %19 %264)
(*.f64 %149 %260)
(*.f64 %16 %267)
(*.f64 %267 %16)
(*.f64 #s(literal -2 binary64) %270)
(*.f64 %272 %117)
(*.f64 #s(literal -1 binary64) %274)
(*.f64 #s(literal 1/2 binary64) %276)
(*.f64 #s(literal 1/2 binary64) %278)
(*.f64 #s(literal 1/2 binary64) %280)
(*.f64 #s(literal 1/2 binary64) %283)
(*.f64 #s(literal 2 binary64) %285)
(*.f64 #s(literal 2 binary64) %262)
(*.f64 %194 x)
(*.f64 %117 %272)
(*.f64 %282 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %282)
(*.f64 x %194)
(pow.f64 %282 #s(literal 1 binary64))
(/.f64 (neg.f64 %254) #s(literal -2 binary64))
(/.f64 (neg.f64 %296) #s(literal -2 binary64))
(/.f64 (neg.f64 %299) #s(literal -4 binary64))
(/.f64 (neg.f64 %278) #s(literal -2 binary64))
(/.f64 (neg.f64 %280) #s(literal -2 binary64))
(/.f64 (neg.f64 %306) #s(literal 2 binary64))
(/.f64 (neg.f64 %283) #s(literal -2 binary64))
(/.f64 (neg.f64 %311) #s(literal -2 binary64))
(/.f64 (neg.f64 %314) #s(literal -4 binary64))
(/.f64 (neg.f64 %317) %4)
(/.f64 (neg.f64 %320) #s(literal -4 binary64))
(/.f64 (neg.f64 %46) %13)
(/.f64 (neg.f64 %49) %13)
(/.f64 (neg.f64 %142) %13)
(/.f64 (neg.f64 %80) (neg.f64 %90))
(/.f64 (neg.f64 %24) (neg.f64 %333))
(/.f64 (neg.f64 %73) (neg.f64 %337))
(/.f64 (neg.f64 %35) (neg.f64 %341))
(/.f64 %254 #s(literal 2 binary64))
(/.f64 %296 #s(literal 2 binary64))
(/.f64 %299 #s(literal 4 binary64))
(/.f64 %278 #s(literal 2 binary64))
(/.f64 %280 #s(literal 2 binary64))
(/.f64 %306 #s(literal -2 binary64))
(/.f64 %283 #s(literal 2 binary64))
(/.f64 %311 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %117) %12)
(/.f64 (*.f64 %117 #s(literal -1 binary64)) %12)
(/.f64 %121 %17)
(/.f64 %121 %188)
(/.f64 %121 %13)
(/.f64 %66 %185)
(/.f64 %66 %4)
(/.f64 %314 #s(literal 4 binary64))
(/.f64 %317 %188)
(/.f64 %142 %185)
(/.f64 %142 %4)
(/.f64 %320 #s(literal 4 binary64))
(/.f64 %46 %4)
(/.f64 %49 %4)
(/.f64 %80 %90)
(/.f64 %24 %333)
(/.f64 %73 %337)
(/.f64 %35 %341)
(/.f64 %149 %185)
(/.f64 %149 %4)
(/.f64 %16 %17)
(/.f64 %16 %188)
(/.f64 %16 %13)
(/.f64 %274 #s(literal -1 binary64))
(/.f64 %117 %187)
(/.f64 %282 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %282 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %187 %117))
(/.f64 #s(literal 1 binary64) (/.f64 %12 x))
%282
(neg.f64 %274)
(fma.f64 %254 #s(literal 1/2 binary64) %387)
(fma.f64 %254 #s(literal 1/2 binary64) %389)
(fma.f64 %254 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %256 #s(literal 2 binary64) %387)
(fma.f64 %256 #s(literal 2 binary64) %389)
(fma.f64 %256 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %267 %19) #s(literal 2 binary64) %262)
(fma.f64 %203 %258 %387)
(fma.f64 %203 %258 %389)
(fma.f64 %203 %258 #s(literal 0 binary64))
(fma.f64 %66 %260 %387)
(fma.f64 %66 %260 %389)
(fma.f64 %66 %260 #s(literal 0 binary64))
(fma.f64 %262 #s(literal 2 binary64) %387)
(fma.f64 %262 #s(literal 2 binary64) %389)
(fma.f64 %262 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %262 #s(literal 1 binary64) %262)
(fma.f64 %19 %264 %387)
(fma.f64 %19 %264 %389)
(fma.f64 %19 %264 #s(literal 0 binary64))
(fma.f64 %19 %194 %410)
(fma.f64 %149 %260 %387)
(fma.f64 %149 %260 %389)
(fma.f64 %149 %260 #s(literal 0 binary64))
(fma.f64 %16 %267 %387)
(fma.f64 %16 %267 %389)
(fma.f64 %16 %267 #s(literal 0 binary64))
(fma.f64 %260 %117 %285)
(fma.f64 %267 %16 %387)
(fma.f64 %267 %16 %389)
(fma.f64 %267 %16 #s(literal 0 binary64))
(fma.f64 %267 x %262)
(fma.f64 #s(literal -2 binary64) %270 %387)
(fma.f64 #s(literal -2 binary64) %270 %389)
(fma.f64 #s(literal -2 binary64) %270 #s(literal 0 binary64))
(fma.f64 %272 %117 %387)
(fma.f64 %272 %117 %389)
(fma.f64 %272 %117 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %274 %387)
(fma.f64 #s(literal -1 binary64) %274 %389)
(fma.f64 #s(literal -1 binary64) %274 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %276 %387)
(fma.f64 #s(literal 1/2 binary64) %276 %389)
(fma.f64 #s(literal 1/2 binary64) %276 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %278 %387)
(fma.f64 #s(literal 1/2 binary64) %278 %389)
(fma.f64 #s(literal 1/2 binary64) %278 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %280 %387)
(fma.f64 #s(literal 1/2 binary64) %280 %389)
(fma.f64 #s(literal 1/2 binary64) %280 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %283 %387)
(fma.f64 #s(literal 1/2 binary64) %283 %389)
(fma.f64 #s(literal 1/2 binary64) %283 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %282 %262)
(fma.f64 #s(literal 2 binary64) %285 %387)
(fma.f64 #s(literal 2 binary64) %285 %389)
(fma.f64 #s(literal 2 binary64) %285 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %262 %387)
(fma.f64 #s(literal 2 binary64) %262 %389)
(fma.f64 #s(literal 2 binary64) %262 #s(literal 0 binary64))
(fma.f64 %194 %19 %256)
(fma.f64 %194 x %387)
(fma.f64 %194 x %389)
(fma.f64 %194 x #s(literal 0 binary64))
(fma.f64 %117 %260 %455)
(fma.f64 %117 %272 %387)
(fma.f64 %117 %272 %389)
(fma.f64 %117 %272 #s(literal 0 binary64))
(fma.f64 %282 #s(literal 1/2 binary64) %262)
(fma.f64 %282 #s(literal 1 binary64) %387)
(fma.f64 %282 #s(literal 1 binary64) %389)
(fma.f64 %282 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %262 %262)
(fma.f64 #s(literal 1 binary64) %282 %387)
(fma.f64 #s(literal 1 binary64) %282 %389)
(fma.f64 #s(literal 1 binary64) %282 #s(literal 0 binary64))
(fma.f64 x %267 %262)
(fma.f64 x %194 %387)
(fma.f64 x %194 %389)
(fma.f64 x %194 #s(literal 0 binary64))
(+.f64 %256 %256)
(+.f64 %455 %455)
(+.f64 %410 %410)
(+.f64 %285 %285)
(+.f64 %262 %262)
(+.f64 %282 %387)
(+.f64 %282 %389)
(+.f64 %282 #s(literal 0 binary64))
reconstruct20.0ms (1.9%)
Counts
308 → 25
Compiler
Compiled 308 to 509 computations (-65.3% saved)
eval2.0ms (0.2%)
Compiler
Compiled 22 to 64 computations (-190.9% saved)
prune1.0ms (0.1%)
Pruning
6 alts after pruning (5 fresh and 1 done)
PrunedKeptTotal
New17522
Fresh000
Picked011
Done000
Total17623
Accuracy
100.0%
Counts
23 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
▶50.1%
(/.f64 x (approx (- 1 x) #s(literal 1 binary64)))
▶99.8%
(*.f64 x (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)))
▶50.6%
(approx (/ x (- 1 x)) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) x)))))
▶49.7%
(approx (/ x (- 1 x)) (*.f64 x (+.f64 #s(literal 1 binary64) x)))
▶51.5%
(approx (/ x (- 1 x)) #s(literal -1 binary64))
Compiler
Compiled 6 to 12 computations (-100.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series7.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
085476
Stop Event
1×iter-limit
Counts
15 → 32
Calls
Call 1
Inputs
%2 = (-.f64 #s(literal 1 binary64) x)
%4 = (- 1 x)
%5 = (approx %4 #s(literal 1 binary64))
%7 = (+.f64 #s(literal 1 binary64) x)
%8 = (*.f64 x %7)
%9 = (/ x %4)
%11 = (+.f64 #s(literal 1 binary64) %8)
%12 = (*.f64 x %11)
%15 = (/.f64 #s(literal 1 binary64) %2)
x
#s(literal 1 binary64)
%2
%5
#s(literal -1 binary64)
%7
%8
(approx %9 %8)
%11
%12
(approx %9 %12)
(approx %9 #s(literal -1 binary64))
%15
(*.f64 x %15)
(/.f64 x %5)
Outputs
%5 = (- 1 x)
%9 = (*.f64 #s(literal -1 binary64) x)
%12 = (+ 1 x)
%13 = (+.f64 #s(literal 1 binary64) x)
%15 = (* x %12)
%16 = (*.f64 x %13)
%18 = (/ x %5)
%19 = (+.f64 #s(literal 1 binary64) %16)
%20 = (*.f64 x %19)
%22 = (+.f64 #s(literal 1 binary64) %20)
%25 = (+ 1 %15)
%27 = (/ 1 %5)
%30 = (/.f64 #s(literal 1 binary64) x)
%34 = (+.f64 #s(literal 1 binary64) %30)
%38 = (pow.f64 x #s(literal 2 binary64))
%46 = (*.f64 #s(literal -1 binary64) (/.f64 %34 x))
%47 = (-.f64 %46 #s(literal 1 binary64))
%51 = (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %34 %38)) %34)
%55 = (+.f64 #s(literal 1 binary64) (+.f64 %30 (/.f64 #s(literal 1 binary64) %38)))
%58 = (* x %25)
%60 = (pow.f64 x #s(literal 3 binary64))
%69 = (/.f64 %47 x)
%78 = (*.f64 #s(literal -1 binary64) (/.f64 %55 x))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal 1 binary64))
(approx %5 (+.f64 #s(literal 1 binary64) %9))
(approx %12 %13)
(approx %15 %16)
(approx %18 %20)
(approx %18 (*.f64 x %22))
(approx %25 %19)
(approx %27 %22)
(approx %5 %9)
(approx %5 (*.f64 x (-.f64 %30 #s(literal 1 binary64))))
(approx %12 (*.f64 x %34))
(approx %15 %38)
(approx %15 (*.f64 %38 %34))
(approx %18 #s(literal -1 binary64))
(approx %18 (*.f64 #s(literal -1 binary64) %34))
(approx %18 %47)
(approx %18 %51)
(approx %25 (*.f64 %38 %55))
(approx %58 %60)
(approx %58 (*.f64 %60 %34))
(approx %58 (*.f64 %60 %55))
(approx %27 (/.f64 #s(literal -1 binary64) x))
(approx %27 %46)
(approx %27 %69)
(approx %27 (/.f64 %51 x))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %30))))
(approx %18 (-.f64 %78 #s(literal 1 binary64)))
(approx %58 (*.f64 #s(literal -1 binary64) (*.f64 %60 %47)))
(approx %27 %78)
(approx %27 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %69)) x)))
Calls
3 calls:
TimeVariablePoint
3.0ms
x
inf
1.0ms
x
-inf
1.0ms
x
0
rewrite114.0ms (10.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01787
02585
18785
227285
3109385
0403785
0424978
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
15 → 1 541
Calls
Call 1
Inputs
%2 = (-.f64 #s(literal 1 binary64) x)
%4 = (- 1 x)
%5 = (approx %4 #s(literal 1 binary64))
%7 = (+.f64 #s(literal 1 binary64) x)
%8 = (*.f64 x %7)
%9 = (/ x %4)
%11 = (+.f64 #s(literal 1 binary64) %8)
%12 = (*.f64 x %11)
%15 = (/.f64 #s(literal 1 binary64) %2)
x
#s(literal 1 binary64)
%2
%5
#s(literal -1 binary64)
%7
%8
(approx %9 %8)
%11
%12
(approx %9 %12)
(approx %9 #s(literal -1 binary64))
%15
(*.f64 x %15)
(/.f64 x %5)
Outputs
%4 = (+.f64 x x)
%5 = (-.f64 #s(literal 2 binary64) %4)
%7 = (*.f64 #s(literal 1/2 binary64) x)
%8 = (-.f64 #s(literal 1/2 binary64) %7)
%10 = (-.f64 #s(literal 1 binary64) x)
%14 = (neg.f64 x)
%15 = (*.f64 %14 #s(literal 2 binary64))
%20 = (*.f64 #s(literal 2 binary64) %14)
%21 = (*.f64 %20 #s(literal 4 binary64))
%26 = (*.f64 %15 #s(literal -2 binary64))
%29 = (*.f64 %20 #s(literal -2 binary64))
%32 = (*.f64 %15 #s(literal 2 binary64))
%35 = (*.f64 %20 #s(literal 2 binary64))
%38 = (*.f64 %15 #s(literal 1 binary64))
%41 = (*.f64 %20 #s(literal 1 binary64))
%46 = (fma.f64 %14 #s(literal 2 binary64) #s(literal 2 binary64))
%76 = (*.f64 #s(literal 4 binary64) %15)
%79 = (*.f64 #s(literal 4 binary64) %20)
%82 = (*.f64 #s(literal -2 binary64) %15)
%85 = (*.f64 #s(literal -2 binary64) %20)
%88 = (*.f64 #s(literal 2 binary64) %15)
%91 = (*.f64 #s(literal 2 binary64) %20)
%94 = (*.f64 #s(literal 1 binary64) %15)
%97 = (*.f64 #s(literal 1 binary64) %20)
%108 = (*.f64 #s(literal 4 binary64) %4)
%111 = (*.f64 #s(literal -2 binary64) %4)
%114 = (*.f64 #s(literal 2 binary64) %4)
%129 = (/.f64 #s(literal 1 binary64) %10)
%131 = (-.f64 x #s(literal 1 binary64))
%133 = (/.f64 %14 #s(literal 4 binary64))
%135 = (/.f64 %14 #s(literal 1/2 binary64))
%137 = (/.f64 %14 #s(literal 2 binary64))
%139 = (/.f64 %14 #s(literal 1 binary64))
%142 = (*.f64 #s(literal -1 binary64) %4)
%144 = (*.f64 x #s(literal -2 binary64))
%146 = (*.f64 %14 #s(literal 1/2 binary64))
%148 = (neg.f64 %4)
%159 = (*.f64 #s(literal -1/2 binary64) x)
%161 = (*.f64 %7 #s(literal -1 binary64))
%163 = (*.f64 #s(literal 1/2 binary64) %14)
%166 = (neg.f64 %7)
%189 = (- 1 x)
%190 = (approx %189 #s(literal 1 binary64))
%193 = (/.f64 #s(literal 1 binary64) %190)
%195 = (neg.f64 %190)
%197 = (+.f64 #s(literal 2 binary64) %4)
%199 = (-.f64 %4 #s(literal -2 binary64))
%201 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64))
%203 = (+.f64 #s(literal 1/2 binary64) %7)
%205 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 1/2 binary64))
%207 = (-.f64 %7 #s(literal -1/2 binary64))
%209 = (-.f64 x #s(literal -1 binary64))
%213 = (*.f64 %4 #s(literal 4 binary64))
%216 = (*.f64 %4 #s(literal -2 binary64))
%219 = (*.f64 %4 #s(literal 2 binary64))
%285 = (-.f64 #s(literal -1 binary64) x)
%309 = (*.f64 %209 %4)
%311 = (*.f64 %209 #s(literal 2 binary64))
%313 = (*.f64 #s(literal 1/2 binary64) %209)
%316 = (*.f64 %7 %209)
%319 = (fma.f64 x x x)
%325 = (-.f64 %15 #s(literal 2 binary64))
%340 = (*.f64 %285 x)
%342 = (fabs.f64 x)
%343 = (neg.f64 %342)
%344 = (neg.f64 %343)
%346 = (*.f64 x %4)
%347 = (fabs.f64 %346)
%349 = (*.f64 %4 %4)
%350 = (fabs.f64 %349)
%354 = (*.f64 %14 #s(literal -1 binary64))
%356 = (*.f64 #s(literal -1 binary64) %14)
%359 = (*.f64 %7 %7)
%360 = (fabs.f64 %359)
%364 = (fabs.f64 %4)
%365 = (*.f64 %342 #s(literal 1/2 binary64))
%369 = (*.f64 %7 x)
%370 = (fabs.f64 %369)
%373 = (*.f64 x x)
%378 = (*.f64 %14 x)
%382 = (/ x %189)
%383 = (approx %382 %319)
%388 = (fma.f64 %209 x #s(literal 1 binary64))
%391 = (fma.f64 %373 #s(literal 2 binary64) #s(literal 2 binary64))
%399 = (fma.f64 %319 #s(literal 2 binary64) #s(literal 2 binary64))
%428 = (fma.f64 %285 x #s(literal -1 binary64))
%461 = (fma.f64 x x #s(literal 1 binary64))
%482 = (*.f64 %319 #s(literal 2 binary64))
%512 = (fma.f64 %319 x x)
%528 = (*.f64 %285 %373)
%531 = (fma.f64 %373 x x)
%533 = (*.f64 x %461)
%535 = (*.f64 %461 x)
%550 = (*.f64 %373 x)
%596 = (*.f64 %319 x)
%629 = (approx %382 %512)
%634 = (approx %382 #s(literal -1 binary64))
%639 = (/.f64 %129 #s(literal 1/2 binary64))
%641 = (/.f64 %129 #s(literal 4 binary64))
%643 = (/.f64 %129 #s(literal 1 binary64))
%645 = (/.f64 %129 #s(literal 2 binary64))
%647 = (/.f64 #s(literal 4 binary64) %10)
%650 = (fma.f64 #s(literal 1/2 binary64) x #s(literal -1/2 binary64))
%651 = (/.f64 #s(literal 2 binary64) %650)
%653 = (-.f64 %7 #s(literal 1/2 binary64))
%654 = (/.f64 #s(literal 2 binary64) %653)
%656 = (/.f64 #s(literal -1/2 binary64) %5)
%658 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64))
%659 = (/.f64 #s(literal 1/2 binary64) %658)
%661 = (-.f64 %4 #s(literal 2 binary64))
%662 = (/.f64 #s(literal 1/2 binary64) %661)
%665 = (/.f64 #s(literal 4 binary64) %8)
%667 = (*.f64 %129 #s(literal 2 binary64))
%669 = (/.f64 #s(literal -2 binary64) %131)
%671 = (/.f64 #s(literal -2 binary64) %10)
%673 = (/.f64 #s(literal -2 binary64) %650)
%675 = (/.f64 #s(literal -2 binary64) %653)
%678 = (/.f64 #s(literal 2 binary64) %8)
%680 = (/.f64 #s(literal 1/4 binary64) %5)
%683 = (/.f64 #s(literal 1/4 binary64) %10)
%685 = (/.f64 #s(literal 1/2 binary64) %5)
%687 = (/.f64 #s(literal -1/2 binary64) %658)
%689 = (/.f64 #s(literal -1/2 binary64) %661)
%691 = (/.f64 #s(literal -1/2 binary64) %131)
%693 = (/.f64 #s(literal -1 binary64) %8)
%695 = (/.f64 #s(literal 1 binary64) %650)
%697 = (/.f64 #s(literal 1 binary64) %653)
%700 = (/.f64 #s(literal -1 binary64) %5)
%702 = (/.f64 #s(literal 1 binary64) %658)
%704 = (/.f64 #s(literal 1 binary64) %661)
%706 = (/.f64 #s(literal -1/2 binary64) %10)
%708 = (/.f64 #s(literal -1 binary64) %10)
%711 = (/.f64 #s(literal 4 binary64) %5)
%713 = (/.f64 #s(literal 1 binary64) %8)
%715 = (/.f64 #s(literal -1 binary64) %650)
%717 = (/.f64 #s(literal -1 binary64) %653)
%721 = (/.f64 #s(literal 1/4 binary64) %8)
%723 = (/.f64 #s(literal 1 binary64) %5)
%725 = (/.f64 #s(literal -1 binary64) %658)
%727 = (/.f64 #s(literal -1 binary64) %661)
%731 = (/.f64 #s(literal -1/2 binary64) %8)
%733 = (/.f64 #s(literal 2 binary64) %658)
%735 = (/.f64 #s(literal 2 binary64) %661)
%737 = (/.f64 #s(literal 1/2 binary64) %650)
%739 = (/.f64 #s(literal 1/2 binary64) %653)
%741 = (*.f64 %708 #s(literal 1 binary64))
%745 = (/.f64 #s(literal -2 binary64) %658)
%747 = (/.f64 #s(literal -2 binary64) %661)
%749 = (/.f64 #s(literal 2 binary64) %5)
%751 = (/.f64 #s(literal 1/2 binary64) %8)
%753 = (/.f64 #s(literal -1/2 binary64) %650)
%755 = (/.f64 #s(literal -1/2 binary64) %653)
%762 = (*.f64 %131 %131)
%766 = (*.f64 %131 %10)
%770 = (*.f64 %10 %131)
%774 = (*.f64 %10 %10)
%776 = (*.f64 %131 #s(literal 2 binary64))
%779 = (*.f64 %776 %10)
%781 = (*.f64 #s(literal 2 binary64) %131)
%784 = (*.f64 %781 %10)
%786 = (*.f64 %10 #s(literal 2 binary64))
%789 = (*.f64 %786 %10)
%791 = (*.f64 #s(literal 2 binary64) %10)
%794 = (*.f64 %791 %10)
%872 = (*.f64 %791 #s(literal -2 binary64))
%876 = (*.f64 #s(literal -2 binary64) %791)
%878 = (*.f64 %131 #s(literal 4 binary64))
%880 = (*.f64 #s(literal 2 binary64) %776)
%882 = (*.f64 #s(literal 2 binary64) %781)
%884 = (*.f64 %776 #s(literal 2 binary64))
%886 = (*.f64 %781 #s(literal 2 binary64))
%888 = (*.f64 #s(literal 4 binary64) %131)
%893 = (*.f64 %781 #s(literal 4 binary64))
%897 = (*.f64 #s(literal 4 binary64) %781)
%903 = (*.f64 %791 #s(literal 4 binary64))
%907 = (*.f64 #s(literal 4 binary64) %791)
%911 = (*.f64 %781 #s(literal -2 binary64))
%915 = (*.f64 #s(literal -2 binary64) %781)
%917 = (*.f64 %10 #s(literal 4 binary64))
%919 = (*.f64 #s(literal 2 binary64) %786)
%921 = (*.f64 #s(literal 2 binary64) %791)
%923 = (*.f64 %786 #s(literal 2 binary64))
%925 = (*.f64 %791 #s(literal 2 binary64))
%927 = (*.f64 #s(literal 4 binary64) %10)
%931 = (*.f64 %781 #s(literal 1 binary64))
%935 = (*.f64 #s(literal 1 binary64) %781)
%937 = (*.f64 %10 #s(literal -2 binary64))
%939 = (*.f64 #s(literal -2 binary64) %10)
%943 = (neg.f64 %791)
%949 = (*.f64 %791 #s(literal 1 binary64))
%953 = (*.f64 #s(literal 1 binary64) %791)
%955 = (*.f64 %131 #s(literal -2 binary64))
%957 = (*.f64 #s(literal -2 binary64) %131)
%961 = (neg.f64 %781)
%965 = (*.f64 %131 #s(literal 1 binary64))
%968 = (*.f64 %10 #s(literal 1 binary64))
%978 = (*.f64 %129 #s(literal 0 binary64))
%980 = (/.f64 #s(literal 0 binary64) %131)
%1014 = (/.f64 #s(literal 0 binary64) %8)
%1021 = (/.f64 #s(literal 0 binary64) %650)
%1023 = (/.f64 #s(literal 0 binary64) %653)
%1031 = (/.f64 #s(literal 0 binary64) %5)
%1039 = (/.f64 #s(literal 0 binary64) %658)
%1041 = (/.f64 #s(literal 0 binary64) %661)
%1190 = (/.f64 #s(literal 3/2 binary64) %786)
%1191 = (/.f64 #s(literal 1/2 binary64) %786)
%1194 = (/.f64 #s(literal 3/2 binary64) %791)
%1195 = (/.f64 #s(literal 1/2 binary64) %791)
%1202 = (/.f64 %142 #s(literal 1/2 binary64))
%1205 = (/.f64 %142 #s(literal 2 binary64))
%1208 = (/.f64 %142 #s(literal 1 binary64))
%1210 = (/.f64 %144 #s(literal 1/2 binary64))
%1213 = (/.f64 %144 #s(literal 2 binary64))
%1216 = (/.f64 %144 #s(literal 1 binary64))
%1218 = (/.f64 %146 #s(literal 1/2 binary64))
%1221 = (/.f64 %146 #s(literal 2 binary64))
%1224 = (/.f64 %146 #s(literal 1 binary64))
%1226 = (/.f64 %148 #s(literal 1/2 binary64))
%1229 = (/.f64 %148 #s(literal 2 binary64))
%1232 = (/.f64 %148 #s(literal 1 binary64))
%1234 = (/.f64 %15 #s(literal 1/2 binary64))
%1237 = (/.f64 %15 #s(literal 1 binary64))
%1244 = (/.f64 %7 #s(literal 1/2 binary64))
%1246 = (/.f64 %7 #s(literal 2 binary64))
%1248 = (/.f64 %7 #s(literal 1 binary64))
%1250 = (/.f64 %4 #s(literal 1/2 binary64))
%1254 = (/.f64 %4 #s(literal 1 binary64))
%1256 = (/.f64 x #s(literal 1/2 binary64))
%1260 = (/.f64 x #s(literal 1 binary64))
%1262 = (/.f64 x #s(literal 2 binary64))
%1267 = (/.f64 %7 %658)
%1269 = (/.f64 %7 %661)
%1271 = (*.f64 %129 %4)
%1274 = (/.f64 %20 %650)
%1276 = (/.f64 %20 %653)
%1278 = (/.f64 %4 %8)
%1280 = (/.f64 x %10)
%1281 = (/.f64 %1280 #s(literal 4 binary64))
%1283 = (/.f64 %159 %658)
%1285 = (/.f64 %159 %661)
%1287 = (/.f64 %161 %658)
%1289 = (/.f64 %161 %661)
%1291 = (/.f64 %163 %658)
%1293 = (/.f64 %163 %661)
%1295 = (/.f64 %166 %658)
%1297 = (/.f64 %166 %661)
%1299 = (/.f64 %7 %5)
%1302 = (/.f64 x %650)
%1304 = (/.f64 x %653)
%1306 = (/.f64 x %658)
%1308 = (/.f64 x %661)
%1310 = (/.f64 x %131)
%1311 = (*.f64 #s(literal 1/2 binary64) %1310)
%1314 = (/.f64 %1280 #s(literal 1/2 binary64))
%1316 = (/.f64 %20 %131)
%1318 = (/.f64 %14 %650)
%1320 = (/.f64 %14 %653)
%1322 = (/.f64 %4 %10)
%1324 = (/.f64 x %8)
%1326 = (*.f64 #s(literal 2 binary64) %1280)
%1328 = (/.f64 %1280 #s(literal 2 binary64))
%1330 = (/.f64 %159 %131)
%1332 = (/.f64 %161 %131)
%1334 = (/.f64 %14 %658)
%1336 = (/.f64 %14 %661)
%1338 = (/.f64 x %5)
%1340 = (/.f64 %163 %131)
%1342 = (*.f64 %691 x)
%1344 = (*.f64 %7 %129)
%1346 = (*.f64 #s(literal 1/2 binary64) %1280)
%1353 = (/.f64 %7 %650)
%1355 = (/.f64 %7 %653)
%1357 = (*.f64 %708 x)
%1360 = (/.f64 %1280 #s(literal 1 binary64))
%1362 = (/.f64 %20 %658)
%1364 = (/.f64 %20 %661)
%1366 = (/.f64 %159 %650)
%1368 = (/.f64 %159 %653)
%1370 = (/.f64 %161 %650)
%1372 = (/.f64 %161 %653)
%1374 = (/.f64 %163 %650)
%1376 = (/.f64 %163 %653)
%1378 = (/.f64 %166 %650)
%1380 = (/.f64 %166 %653)
%1382 = (/.f64 %4 %5)
%1384 = (/.f64 %7 %8)
%1412 = (*.f64 #s(literal -1 binary64) %15)
%1414 = (*.f64 #s(literal -1 binary64) %20)
%1416 = (*.f64 %14 #s(literal 4 binary64))
%1418 = (*.f64 %14 #s(literal -2 binary64))
%1420 = (*.f64 x #s(literal 4 binary64))
%1435 = (*.f64 #s(literal 8 binary64) %7)
%1437 = (*.f64 #s(literal 4 binary64) %7)
%1440 = (*.f64 %15 #s(literal -1 binary64))
%1446 = (*.f64 %20 #s(literal -1 binary64))
%1450 = (*.f64 #s(literal 4 binary64) %14)
%1452 = (*.f64 #s(literal 4 binary64) x)
%1454 = (*.f64 #s(literal -2 binary64) %14)
%1457 = (*.f64 #s(literal -2 binary64) x)
%1460 = (*.f64 %4 #s(literal -1 binary64))
%1505 = (*.f64 %14 #s(literal 0 binary64))
%1506 = (/.f64 %1505 %131)
%1508 = (*.f64 #s(literal 0 binary64) %14)
%1509 = (/.f64 %1508 %131)
%1511 = (*.f64 x #s(literal 0 binary64))
%1512 = (/.f64 %1511 %10)
%1514 = (*.f64 #s(literal 0 binary64) x)
%1515 = (/.f64 %1514 %10)
%1969 = (/.f64 %146 %131)
%1977 = (*.f64 %193 %4)
%1979 = (*.f64 %193 #s(literal 2 binary64))
%1981 = (/.f64 #s(literal 1/2 binary64) %190)
%1983 = (/.f64 #s(literal -1 binary64) %190)
%1985 = (*.f64 %1981 x)
%1987 = (*.f64 %7 %193)
%1989 = (/.f64 %7 %190)
%1993 = (/.f64 x %190)
%1998 = (*.f64 %190 #s(literal 2 binary64))
%2001 = (*.f64 #s(literal 2 binary64) %193)
%2012 = (*.f64 #s(literal 2 binary64) %195)
%2013 = (*.f64 %2012 #s(literal 2 binary64))
%2016 = (*.f64 %195 #s(literal 2 binary64))
%2019 = (*.f64 #s(literal 4 binary64) %190)
%2021 = (*.f64 #s(literal 2 binary64) %190)
%2023 = (*.f64 #s(literal 2 binary64) %2012)
%2066 = (/.f64 %1505 %195)
%2068 = (/.f64 %1508 %195)
%2070 = (/.f64 %1511 %190)
%2072 = (/.f64 %1514 %190)
%2118 = (/.f64 %146 %195)
%2120 = (/.f64 %163 %195)
x
#s(literal 1 binary64)
(*.f64 #s(literal 1/2 binary64) %5)
(*.f64 #s(literal 2 binary64) %8)
(*.f64 #s(literal 1 binary64) %10)
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 %15 #s(literal 4 binary64))) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) %21) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %26) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %29) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %32) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %35) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %38) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %41) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %14 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %46 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %15) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %20) #s(literal 2 binary64))
(/.f64 (-.f64 %15 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %20 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %15 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %15 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %15 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %15 #s(literal 1 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %20 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %20 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %20 #s(literal 1 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %46 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) %76) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) %79) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %82) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %85) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %88) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %91) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %94) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 2 binary64) %97) #s(literal 2 binary64))
(/.f64 (-.f64 %32 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %26 #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 %35 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %29 #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 8 binary64) %108) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) %111) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %114) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %46) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %46) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %46) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %46) #s(literal 2 binary64))
(/.f64 (neg.f64 %46) #s(literal -2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %46 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %129)
(neg.f64 %131)
(fma.f64 %133 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 %135 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %137 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %139 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %142 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %144 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %146 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %148 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %15 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %133 #s(literal 1 binary64))
(fma.f64 %4 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %7 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %135 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %5 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %20 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %137 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %159 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %161 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %163 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %8 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %166 #s(literal 1 binary64))
(fma.f64 %14 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %139 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %14 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %10 #s(literal 0 binary64))
(fma.f64 x #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 %14 #s(literal -1 binary64))
%10
(+.f64 (+.f64 %14 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %14))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) x))
(+.f64 %14 #s(literal 1 binary64))
(+.f64 %10 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %14))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) x))
(+.f64 #s(literal 1 binary64) %14)
(*.f64 #s(literal 1 binary64) %190)
(pow.f64 %190 #s(literal 1 binary64))
%190
(/.f64 #s(literal 1 binary64) %193)
(neg.f64 %195)
#s(literal -1 binary64)
(*.f64 #s(literal 1/2 binary64) %197)
(*.f64 #s(literal 1/2 binary64) %199)
(*.f64 #s(literal 1/2 binary64) %201)
(*.f64 #s(literal 2 binary64) %203)
(*.f64 #s(literal 2 binary64) %205)
(*.f64 #s(literal 2 binary64) %207)
(*.f64 %209 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %209)
(pow.f64 %209 #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) %213) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %216) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %219) #s(literal 4 binary64))
(/.f64 (+.f64 %201 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %15) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %20) #s(literal 2 binary64))
(/.f64 (fma.f64 %201 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 8 binary64) %108) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %111) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %114) #s(literal 4 binary64))
(/.f64 (fma.f64 %4 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %4 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 8 binary64) %76) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal 8 binary64) %79) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) %82) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) %85) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %88) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %91) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %94) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %97) #s(literal 2 binary64))
(/.f64 (-.f64 %219 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %216 #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %201 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %201 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %201 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %201) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %201) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %201) #s(literal 4 binary64))
(/.f64 (*.f64 %201 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %201) #s(literal 2 binary64))
(/.f64 (neg.f64 %201) #s(literal -2 binary64))
(/.f64 %197 #s(literal 2 binary64))
(/.f64 %199 #s(literal 2 binary64))
(/.f64 %201 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %209 #s(literal -1 binary64)))
(neg.f64 %285)
(fma.f64 #s(literal 1/2 binary64) %197 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %199 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %201 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %203 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %205 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %207 #s(literal 0 binary64))
(fma.f64 %209 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %209 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) %14)
%209
(+.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) %14))
(+.f64 %209 #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) %14))
(+.f64 #s(literal 1 binary64) x)
(+.f64 x #s(literal 1 binary64))
(*.f64 %309 #s(literal 1/2 binary64))
(*.f64 %311 %7)
(*.f64 %4 %313)
(*.f64 %285 %14)
(*.f64 #s(literal 2 binary64) %316)
(*.f64 %14 %285)
(*.f64 %319 #s(literal 1 binary64))
(*.f64 %209 x)
(*.f64 #s(literal 1 binary64) %319)
(*.f64 x %209)
(pow.f64 %319 #s(literal 1 binary64))
(/.f64 (*.f64 %325 %15) #s(literal 4 binary64))
(/.f64 (*.f64 %325 %20) #s(literal 4 binary64))
(/.f64 (*.f64 %15 %325) #s(literal 4 binary64))
(/.f64 (*.f64 %20 %325) #s(literal 4 binary64))
(/.f64 (*.f64 %201 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %201) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %319 #s(literal -1 binary64)))
(neg.f64 %340)
(fma.f64 %344 %344 x)
(fma.f64 %347 #s(literal 1/2 binary64) x)
(fma.f64 %350 #s(literal 1/4 binary64) x)
(fma.f64 %346 #s(literal 1/2 binary64) x)
(fma.f64 %354 %354 x)
(fma.f64 %356 %356 x)
(fma.f64 %349 #s(literal 1/4 binary64) x)
(fma.f64 #s(literal 4 binary64) %360 x)
(fma.f64 #s(literal 4 binary64) %359 x)
(fma.f64 %343 %343 x)
(fma.f64 %364 %365 x)
(fma.f64 %4 %7 x)
(fma.f64 %342 %342 x)
(fma.f64 #s(literal 2 binary64) %370 x)
(fma.f64 #s(literal 2 binary64) %369 x)
(fma.f64 %373 #s(literal 1 binary64) x)
(fma.f64 %14 %14 x)
(fma.f64 #s(literal 1 binary64) %373 x)
%319
(-.f64 %373 %14)
(-.f64 x %378)
(+.f64 %373 x)
(+.f64 x %373)
(*.f64 #s(literal 1 binary64) %383)
(pow.f64 %383 #s(literal 1 binary64))
%383
(/.f64 #s(literal 1 binary64) (pow.f64 %383 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %388)
(pow.f64 %388 #s(literal 1 binary64))
(/.f64 (fma.f64 %391 #s(literal 2 binary64) %219) #s(literal 4 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) (*.f64 %391 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 %391 %4) #s(literal 2 binary64))
(/.f64 (+.f64 %399 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %391) #s(literal 2 binary64))
(/.f64 (fma.f64 %391 #s(literal 2 binary64) %114) #s(literal 4 binary64))
(/.f64 (fma.f64 %399 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %4 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %391)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %399) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %399) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %399) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %399) #s(literal 2 binary64))
(/.f64 (neg.f64 %399) #s(literal -2 binary64))
(/.f64 %399 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %388 #s(literal -1 binary64)))
(neg.f64 (+.f64 #s(literal -1 binary64) %340))
(neg.f64 (-.f64 #s(literal -1 binary64) %319))
(neg.f64 %428)
(fma.f64 %344 %344 %209)
(fma.f64 %347 #s(literal 1/2 binary64) %209)
(fma.f64 %350 #s(literal 1/4 binary64) %209)
(fma.f64 %346 #s(literal 1/2 binary64) %209)
(fma.f64 %309 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %311 %7 #s(literal 1 binary64))
(fma.f64 %354 %354 %209)
(fma.f64 %356 %356 %209)
(fma.f64 %349 #s(literal 1/4 binary64) %209)
(fma.f64 #s(literal 4 binary64) %360 %209)
(fma.f64 #s(literal 4 binary64) %359 %209)
(fma.f64 %343 %343 %209)
(fma.f64 %364 %365 %209)
(fma.f64 %4 %313 #s(literal 1 binary64))
(fma.f64 %4 %7 %209)
(fma.f64 %285 %14 #s(literal 1 binary64))
(fma.f64 %342 %342 %209)
(fma.f64 #s(literal 1/2 binary64) %197 %373)
(fma.f64 #s(literal 1/2 binary64) %199 %373)
(fma.f64 #s(literal 1/2 binary64) %201 %373)
(fma.f64 #s(literal 2 binary64) %370 %209)
(fma.f64 #s(literal 2 binary64) %369 %209)
(fma.f64 #s(literal 2 binary64) %316 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %203 %373)
(fma.f64 #s(literal 2 binary64) %205 %373)
(fma.f64 #s(literal 2 binary64) %207 %373)
(fma.f64 %373 #s(literal 1 binary64) %209)
(fma.f64 %14 %285 #s(literal 1 binary64))
(fma.f64 %14 %14 %209)
(fma.f64 %319 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %209 #s(literal 1 binary64) %373)
%388
(fma.f64 #s(literal 1 binary64) %461 x)
(fma.f64 #s(literal 1 binary64) %373 %209)
(fma.f64 #s(literal 1 binary64) %388 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %319 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %209 %373)
(fma.f64 x %209 #s(literal 1 binary64))
(fma.f64 x x %209)
(-.f64 (-.f64 #s(literal 1 binary64) %378) %14)
(-.f64 %319 #s(literal -1 binary64))
(-.f64 %209 %378)
(-.f64 #s(literal 1 binary64) %340)
(-.f64 x (-.f64 #s(literal -1 binary64) %373))
(-.f64 x (-.f64 %378 #s(literal 1 binary64)))
(-.f64 x (fma.f64 %14 x #s(literal -1 binary64)))
(-.f64 x (neg.f64 %461))
(+.f64 (/.f64 %482 #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 (fma.f64 %209 x #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %461 x)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %319))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %340))
(+.f64 %373 %209)
(+.f64 %388 #s(literal 0 binary64))
(+.f64 %319 #s(literal 1 binary64))
(+.f64 %209 %373)
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %319))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %340))
(+.f64 #s(literal 1 binary64) %319)
(+.f64 x %461)
(*.f64 (*.f64 %388 %4) #s(literal 1/2 binary64))
(*.f64 (*.f64 %388 #s(literal 2 binary64)) %7)
(*.f64 (*.f64 %388 #s(literal 1 binary64)) x)
(*.f64 %4 (*.f64 #s(literal 1/2 binary64) %388))
(*.f64 #s(literal 2 binary64) (*.f64 %7 %388))
(*.f64 %512 #s(literal 1 binary64))
(*.f64 %388 x)
(*.f64 #s(literal 1 binary64) %512)
(*.f64 x %388)
(pow.f64 %512 #s(literal 1 binary64))
(/.f64 (*.f64 %399 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %399) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %512 #s(literal -1 binary64)))
(neg.f64 (*.f64 %428 x))
(neg.f64 (*.f64 x %428))
(neg.f64 (-.f64 %528 x))
(fma.f64 %344 %344 %531)
(fma.f64 %344 %344 %533)
(fma.f64 %344 %344 %535)
(fma.f64 %347 #s(literal 1/2 binary64) %531)
(fma.f64 %347 #s(literal 1/2 binary64) %533)
(fma.f64 %347 #s(literal 1/2 binary64) %535)
(fma.f64 %350 #s(literal 1/4 binary64) %531)
(fma.f64 %350 #s(literal 1/4 binary64) %533)
(fma.f64 %350 #s(literal 1/4 binary64) %535)
(fma.f64 %346 #s(literal 1/2 binary64) %531)
(fma.f64 %346 #s(literal 1/2 binary64) %533)
(fma.f64 %346 #s(literal 1/2 binary64) %535)
(fma.f64 (*.f64 %319 %4) #s(literal 1/2 binary64) x)
(fma.f64 (*.f64 %209 %342) %342 x)
(fma.f64 %309 #s(literal 1/2 binary64) %550)
(fma.f64 %311 %7 %550)
(fma.f64 %354 %354 %531)
(fma.f64 %354 %354 %533)
(fma.f64 %354 %354 %535)
(fma.f64 %356 %356 %531)
(fma.f64 %356 %356 %533)
(fma.f64 %356 %356 %535)
(fma.f64 %349 #s(literal 1/4 binary64) %531)
(fma.f64 %349 #s(literal 1/4 binary64) %533)
(fma.f64 %349 #s(literal 1/4 binary64) %535)
(fma.f64 %482 %7 x)
(fma.f64 #s(literal 4 binary64) %360 %531)
(fma.f64 #s(literal 4 binary64) %360 %533)
(fma.f64 #s(literal 4 binary64) %360 %535)
(fma.f64 #s(literal 4 binary64) %359 %531)
(fma.f64 #s(literal 4 binary64) %359 %533)
(fma.f64 #s(literal 4 binary64) %359 %535)
(fma.f64 %343 %343 %531)
(fma.f64 %343 %343 %533)
(fma.f64 %343 %343 %535)
(fma.f64 %364 %365 %531)
(fma.f64 %364 %365 %533)
(fma.f64 %364 %365 %535)
(fma.f64 %4 (*.f64 #s(literal 1/2 binary64) %319) x)
(fma.f64 %4 %313 %550)
(fma.f64 %4 %7 %531)
(fma.f64 %4 %7 %533)
(fma.f64 %4 %7 %535)
(fma.f64 %285 %14 %550)
(fma.f64 %342 (*.f64 %342 %209) x)
(fma.f64 %342 %342 %531)
(fma.f64 %342 %342 %533)
(fma.f64 %342 %342 %535)
(fma.f64 #s(literal 2 binary64) %370 %531)
(fma.f64 #s(literal 2 binary64) %370 %533)
(fma.f64 #s(literal 2 binary64) %370 %535)
(fma.f64 #s(literal 2 binary64) %369 %531)
(fma.f64 #s(literal 2 binary64) %369 %533)
(fma.f64 #s(literal 2 binary64) %369 %535)
(fma.f64 #s(literal 2 binary64) (*.f64 %7 %319) x)
(fma.f64 #s(literal 2 binary64) %316 %550)
(fma.f64 %596 #s(literal 1 binary64) x)
(fma.f64 %373 %209 x)
(fma.f64 %373 #s(literal 1 binary64) %531)
(fma.f64 %373 #s(literal 1 binary64) %533)
(fma.f64 %373 #s(literal 1 binary64) %535)
(fma.f64 %340 %14 x)
(fma.f64 %14 %285 %550)
(fma.f64 %14 %340 x)
(fma.f64 %14 %14 %531)
(fma.f64 %14 %14 %533)
(fma.f64 %14 %14 %535)
(fma.f64 %319 #s(literal 1 binary64) %550)
%512
(fma.f64 %209 %373 x)
(fma.f64 %209 x %550)
(fma.f64 #s(literal 1 binary64) %596 x)
(fma.f64 #s(literal 1 binary64) %373 %531)
(fma.f64 #s(literal 1 binary64) %373 %533)
(fma.f64 #s(literal 1 binary64) %373 %535)
(fma.f64 #s(literal 1 binary64) %319 %550)
(fma.f64 x %319 x)
(fma.f64 x %209 %550)
(fma.f64 x x %531)
(fma.f64 x x %533)
(fma.f64 x x %535)
(-.f64 %596 %14)
(-.f64 x %528)
(+.f64 %596 x)
(+.f64 %373 %531)
(+.f64 %373 %533)
(+.f64 %373 %535)
(+.f64 %319 %550)
(+.f64 x %596)
(*.f64 #s(literal 1 binary64) %629)
(pow.f64 %629 #s(literal 1 binary64))
%629
(/.f64 #s(literal 1 binary64) (pow.f64 %629 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %634)
(pow.f64 %634 #s(literal 1 binary64))
%634
(/.f64 #s(literal 1 binary64) (pow.f64 %634 #s(literal -1 binary64)))
(*.f64 %639 #s(literal 1/2 binary64))
(*.f64 %641 #s(literal 4 binary64))
(*.f64 %643 #s(literal 1 binary64))
(*.f64 %645 #s(literal 2 binary64))
(*.f64 %647 #s(literal 1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %651)
(*.f64 #s(literal -1/4 binary64) %654)
(*.f64 #s(literal -4 binary64) %656)
(*.f64 #s(literal -4 binary64) %659)
(*.f64 #s(literal -4 binary64) %662)
(*.f64 #s(literal 1/8 binary64) %665)
(*.f64 %667 #s(literal 1/2 binary64))
(*.f64 %669 #s(literal 1/2 binary64))
(*.f64 %671 #s(literal -1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %673)
(*.f64 #s(literal 1/4 binary64) %675)
(*.f64 #s(literal 1/4 binary64) %647)
(*.f64 #s(literal 1/4 binary64) %678)
(*.f64 #s(literal 8 binary64) %680)
(*.f64 #s(literal 4 binary64) %641)
(*.f64 #s(literal 4 binary64) %683)
(*.f64 #s(literal 4 binary64) %685)
(*.f64 #s(literal 4 binary64) %687)
(*.f64 #s(literal 4 binary64) %689)
(*.f64 %691 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %693)
(*.f64 #s(literal -1/2 binary64) %695)
(*.f64 #s(literal -1/2 binary64) %697)
(*.f64 #s(literal -1/2 binary64) %671)
(*.f64 #s(literal -2 binary64) %700)
(*.f64 #s(literal -2 binary64) %702)
(*.f64 #s(literal -2 binary64) %704)
(*.f64 #s(literal -2 binary64) %706)
(*.f64 %708 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %639)
(*.f64 #s(literal 1/2 binary64) %711)
(*.f64 #s(literal 1/2 binary64) %713)
(*.f64 #s(literal 1/2 binary64) %715)
(*.f64 #s(literal 1/2 binary64) %717)
(*.f64 #s(literal 1/2 binary64) %669)
(*.f64 #s(literal 2 binary64) %645)
(*.f64 #s(literal 2 binary64) %721)
(*.f64 #s(literal 2 binary64) %723)
(*.f64 #s(literal 2 binary64) %725)
(*.f64 #s(literal 2 binary64) %727)
(*.f64 #s(literal 2 binary64) %691)
(*.f64 %129 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %731)
(*.f64 #s(literal -1 binary64) %733)
(*.f64 #s(literal -1 binary64) %735)
(*.f64 #s(literal -1 binary64) %737)
(*.f64 #s(literal -1 binary64) %739)
(*.f64 #s(literal -1 binary64) %741)
(*.f64 #s(literal -1 binary64) %708)
(*.f64 #s(literal 1 binary64) %643)
(*.f64 #s(literal 1 binary64) %745)
(*.f64 #s(literal 1 binary64) %747)
(*.f64 #s(literal 1 binary64) %749)
(*.f64 #s(literal 1 binary64) %751)
(*.f64 #s(literal 1 binary64) %753)
(*.f64 #s(literal 1 binary64) %755)
(*.f64 #s(literal 1 binary64) %129)
(pow.f64 %129 #s(literal 1 binary64))
(pow.f64 %10 #s(literal -1 binary64))
(/.f64 (fma.f64 #s(literal -1/2 binary64) %131 (*.f64 #s(literal -1/2 binary64) %131)) %762)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %10 (*.f64 #s(literal 1/2 binary64) %131)) %766)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %131 (*.f64 #s(literal -1/2 binary64) %10)) %770)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %10 (*.f64 #s(literal 1/2 binary64) %10)) %774)
(/.f64 (fma.f64 #s(literal -2 binary64) %10 (*.f64 #s(literal 0 binary64) %776)) %779)
(/.f64 (fma.f64 #s(literal -2 binary64) %10 (*.f64 #s(literal 0 binary64) %781)) %784)
(/.f64 (fma.f64 #s(literal 2 binary64) %10 (*.f64 #s(literal 0 binary64) %786)) %789)
(/.f64 (fma.f64 #s(literal 2 binary64) %10 (*.f64 #s(literal 0 binary64) %791)) %794)
(/.f64 (fma.f64 #s(literal -1 binary64) %10 (*.f64 #s(literal 0 binary64) %131)) %766)
(/.f64 (+.f64 %10 (*.f64 #s(literal 0 binary64) %10)) %774)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %131 (*.f64 %131 #s(literal -1/2 binary64))) %762)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %10 (*.f64 %131 #s(literal 1/2 binary64))) %766)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %131 (*.f64 %10 #s(literal -1/2 binary64))) %770)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %10 (*.f64 %10 #s(literal 1/2 binary64))) %774)
(/.f64 (fma.f64 %667 %10 #s(literal 0 binary64)) %791)
(/.f64 (fma.f64 %669 %10 #s(literal 0 binary64)) %791)
(/.f64 (fma.f64 #s(literal -2 binary64) %10 (*.f64 %776 #s(literal 0 binary64))) %779)
(/.f64 (fma.f64 #s(literal -2 binary64) %10 (*.f64 %781 #s(literal 0 binary64))) %784)
(/.f64 (fma.f64 #s(literal 2 binary64) %10 (*.f64 %786 #s(literal 0 binary64))) %789)
(/.f64 (fma.f64 #s(literal 2 binary64) %10 (*.f64 %791 #s(literal 0 binary64))) %794)
(/.f64 (fma.f64 #s(literal -1 binary64) %10 (*.f64 %131 #s(literal 0 binary64))) %766)
(/.f64 (+.f64 %10 (*.f64 %10 #s(literal 0 binary64))) %774)
(/.f64 (*.f64 %667 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %667 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %667 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %669 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %669 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %669 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %667) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %669) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %667) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %669) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %667) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %669) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %667) #s(literal 2 binary64))
(/.f64 (*.f64 %667 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %669 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 %667) #s(literal -2 binary64))
(/.f64 (neg.f64 %669) #s(literal -2 binary64))
(/.f64 #s(literal -4 binary64) (*.f64 %786 #s(literal -2 binary64)))
(/.f64 #s(literal -4 binary64) %872)
(/.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %786))
(/.f64 #s(literal -4 binary64) %876)
(/.f64 #s(literal -4 binary64) %878)
(/.f64 #s(literal -4 binary64) %880)
(/.f64 #s(literal -4 binary64) %882)
(/.f64 #s(literal -4 binary64) %884)
(/.f64 #s(literal -4 binary64) %886)
(/.f64 #s(literal -4 binary64) %888)
(/.f64 #s(literal -8 binary64) (*.f64 %776 #s(literal 4 binary64)))
(/.f64 #s(literal -8 binary64) %893)
(/.f64 #s(literal -8 binary64) (*.f64 #s(literal 4 binary64) %776))
(/.f64 #s(literal -8 binary64) %897)
(/.f64 %667 #s(literal 2 binary64))
(/.f64 %669 #s(literal 2 binary64))
(/.f64 #s(literal 8 binary64) (*.f64 %786 #s(literal 4 binary64)))
(/.f64 #s(literal 8 binary64) %903)
(/.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %786))
(/.f64 #s(literal 8 binary64) %907)
(/.f64 #s(literal 4 binary64) (*.f64 %776 #s(literal -2 binary64)))
(/.f64 #s(literal 4 binary64) %911)
(/.f64 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %776))
(/.f64 #s(literal 4 binary64) %915)
(/.f64 #s(literal 4 binary64) %917)
(/.f64 #s(literal 4 binary64) %919)
(/.f64 #s(literal 4 binary64) %921)
(/.f64 #s(literal 4 binary64) %923)
(/.f64 #s(literal 4 binary64) %925)
(/.f64 #s(literal 4 binary64) %927)
(/.f64 #s(literal -2 binary64) (*.f64 %776 #s(literal 1 binary64)))
(/.f64 #s(literal -2 binary64) %931)
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %776))
(/.f64 #s(literal -2 binary64) %935)
(/.f64 #s(literal -2 binary64) %937)
(/.f64 #s(literal -2 binary64) %939)
(/.f64 #s(literal -2 binary64) (neg.f64 %786))
(/.f64 #s(literal -2 binary64) %943)
(/.f64 #s(literal -2 binary64) %776)
(/.f64 #s(literal -2 binary64) %781)
(/.f64 #s(literal 2 binary64) (*.f64 %786 #s(literal 1 binary64)))
(/.f64 #s(literal 2 binary64) %949)
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %786))
(/.f64 #s(literal 2 binary64) %953)
(/.f64 #s(literal 2 binary64) %955)
(/.f64 #s(literal 2 binary64) %957)
(/.f64 #s(literal 2 binary64) (neg.f64 %776))
(/.f64 #s(literal 2 binary64) %961)
(/.f64 #s(literal 2 binary64) %786)
(/.f64 #s(literal 2 binary64) %791)
(/.f64 #s(literal -1 binary64) %965)
(/.f64 #s(literal -1 binary64) %131)
(/.f64 #s(literal 1 binary64) %968)
(/.f64 #s(literal 1 binary64) (pow.f64 %129 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %131 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %10 #s(literal 1 binary64)))
%129
(neg.f64 %741)
(neg.f64 %708)
(fma.f64 %639 #s(literal 1/2 binary64) %978)
(fma.f64 %639 #s(literal 1/2 binary64) %980)
(fma.f64 %641 #s(literal 4 binary64) %978)
(fma.f64 %641 #s(literal 4 binary64) %980)
(fma.f64 %643 #s(literal 1 binary64) %978)
(fma.f64 %643 #s(literal 1 binary64) %980)
(fma.f64 %645 #s(literal 2 binary64) %978)
(fma.f64 %645 #s(literal 2 binary64) %980)
(fma.f64 %647 #s(literal 1/4 binary64) %978)
(fma.f64 %647 #s(literal 1/4 binary64) %980)
(fma.f64 #s(literal -1/4 binary64) %651 %978)
(fma.f64 #s(literal -1/4 binary64) %651 %980)
(fma.f64 #s(literal -1/4 binary64) %654 %978)
(fma.f64 #s(literal -1/4 binary64) %654 %980)
(fma.f64 #s(literal -4 binary64) %656 %978)
(fma.f64 #s(literal -4 binary64) %656 %980)
(fma.f64 #s(literal -4 binary64) %659 %978)
(fma.f64 #s(literal -4 binary64) %659 %980)
(fma.f64 #s(literal -4 binary64) %662 %978)
(fma.f64 #s(literal -4 binary64) %662 %980)
(fma.f64 #s(literal 1/8 binary64) %665 %978)
(fma.f64 #s(literal 1/8 binary64) %665 %980)
(fma.f64 %667 #s(literal 1/2 binary64) %978)
(fma.f64 %667 #s(literal 1/2 binary64) %980)
(fma.f64 %669 #s(literal 1/2 binary64) %978)
(fma.f64 %669 #s(literal 1/2 binary64) %980)
(fma.f64 %671 #s(literal -1/2 binary64) %978)
(fma.f64 %671 #s(literal -1/2 binary64) %980)
(fma.f64 #s(literal 1/4 binary64) %673 %978)
(fma.f64 #s(literal 1/4 binary64) %673 %980)
(fma.f64 #s(literal 1/4 binary64) %675 %978)
(fma.f64 #s(literal 1/4 binary64) %675 %980)
(fma.f64 #s(literal 1/4 binary64) %647 %978)
(fma.f64 #s(literal 1/4 binary64) %647 %980)
(fma.f64 #s(literal 1/4 binary64) %1014 %129)
(fma.f64 #s(literal 1/4 binary64) %678 %978)
(fma.f64 #s(literal 1/4 binary64) %678 %980)
(fma.f64 #s(literal 1/4 binary64) %713 %691)
(fma.f64 #s(literal 1/4 binary64) %715 %691)
(fma.f64 #s(literal 1/4 binary64) %717 %691)
(fma.f64 #s(literal 1/4 binary64) %1021 %129)
(fma.f64 #s(literal 1/4 binary64) %1023 %129)
(fma.f64 #s(literal 8 binary64) %680 %978)
(fma.f64 #s(literal 8 binary64) %680 %980)
(fma.f64 #s(literal 4 binary64) %641 %978)
(fma.f64 #s(literal 4 binary64) %641 %980)
(fma.f64 #s(literal 4 binary64) %683 %978)
(fma.f64 #s(literal 4 binary64) %683 %980)
(fma.f64 #s(literal 4 binary64) %1031 %129)
(fma.f64 #s(literal 4 binary64) %685 %978)
(fma.f64 #s(literal 4 binary64) %685 %980)
(fma.f64 #s(literal 4 binary64) %687 %978)
(fma.f64 #s(literal 4 binary64) %687 %980)
(fma.f64 #s(literal 4 binary64) %689 %978)
(fma.f64 #s(literal 4 binary64) %689 %980)
(fma.f64 #s(literal 4 binary64) %1039 %129)
(fma.f64 #s(literal 4 binary64) %1041 %129)
(fma.f64 %691 #s(literal 2 binary64) %978)
(fma.f64 %691 #s(literal 2 binary64) %980)
(fma.f64 %691 #s(literal 1 binary64) %691)
(fma.f64 #s(literal -1/2 binary64) %693 %978)
(fma.f64 #s(literal -1/2 binary64) %693 %980)
(fma.f64 #s(literal -1/2 binary64) %695 %978)
(fma.f64 #s(literal -1/2 binary64) %695 %980)
(fma.f64 #s(literal -1/2 binary64) %697 %978)
(fma.f64 #s(literal -1/2 binary64) %697 %980)
(fma.f64 #s(literal -1/2 binary64) %671 %978)
(fma.f64 #s(literal -1/2 binary64) %671 %980)
(fma.f64 #s(literal -1/2 binary64) %708 %691)
(fma.f64 #s(literal -2 binary64) %700 %978)
(fma.f64 #s(literal -2 binary64) %700 %980)
(fma.f64 #s(literal -2 binary64) %702 %978)
(fma.f64 #s(literal -2 binary64) %702 %980)
(fma.f64 #s(literal -2 binary64) %704 %978)
(fma.f64 #s(literal -2 binary64) %704 %980)
(fma.f64 #s(literal -2 binary64) %706 %978)
(fma.f64 #s(literal -2 binary64) %706 %980)
(fma.f64 %708 #s(literal -1 binary64) %978)
(fma.f64 %708 #s(literal -1 binary64) %980)
(fma.f64 #s(literal 1/2 binary64) %639 %978)
(fma.f64 #s(literal 1/2 binary64) %639 %980)
(fma.f64 #s(literal 1/2 binary64) %711 %978)
(fma.f64 #s(literal 1/2 binary64) %711 %980)
(fma.f64 #s(literal 1/2 binary64) %1014 %129)
(fma.f64 #s(literal 1/2 binary64) %751 %691)
(fma.f64 #s(literal 1/2 binary64) %713 %978)
(fma.f64 #s(literal 1/2 binary64) %713 %980)
(fma.f64 #s(literal 1/2 binary64) %753 %691)
(fma.f64 #s(literal 1/2 binary64) %755 %691)
(fma.f64 #s(literal 1/2 binary64) %715 %978)
(fma.f64 #s(literal 1/2 binary64) %715 %980)
(fma.f64 #s(literal 1/2 binary64) %717 %978)
(fma.f64 #s(literal 1/2 binary64) %717 %980)
(fma.f64 #s(literal 1/2 binary64) %1021 %129)
(fma.f64 #s(literal 1/2 binary64) %1023 %129)
(fma.f64 #s(literal 1/2 binary64) %669 %978)
(fma.f64 #s(literal 1/2 binary64) %669 %980)
(fma.f64 #s(literal 1/2 binary64) %980 %129)
(fma.f64 #s(literal 1/2 binary64) %129 %691)
(fma.f64 #s(literal 2 binary64) %645 %978)
(fma.f64 #s(literal 2 binary64) %645 %980)
(fma.f64 #s(literal 2 binary64) %721 %978)
(fma.f64 #s(literal 2 binary64) %721 %980)
(fma.f64 #s(literal 2 binary64) %1031 %129)
(fma.f64 #s(literal 2 binary64) %685 %691)
(fma.f64 #s(literal 2 binary64) %723 %978)
(fma.f64 #s(literal 2 binary64) %723 %980)
(fma.f64 #s(literal 2 binary64) %687 %691)
(fma.f64 #s(literal 2 binary64) %689 %691)
(fma.f64 #s(literal 2 binary64) %725 %978)
(fma.f64 #s(literal 2 binary64) %725 %980)
(fma.f64 #s(literal 2 binary64) %727 %978)
(fma.f64 #s(literal 2 binary64) %727 %980)
(fma.f64 #s(literal 2 binary64) %1039 %129)
(fma.f64 #s(literal 2 binary64) %1041 %129)
(fma.f64 #s(literal 2 binary64) %980 %129)
(fma.f64 #s(literal 2 binary64) %691 %978)
(fma.f64 #s(literal 2 binary64) %691 %980)
(fma.f64 #s(literal 0 binary64) %1031 %129)
(fma.f64 #s(literal 0 binary64) %1014 %129)
(fma.f64 #s(literal 0 binary64) %749 %129)
(fma.f64 #s(literal 0 binary64) %678 %129)
(fma.f64 #s(literal 0 binary64) %685 %129)
(fma.f64 #s(literal 0 binary64) %751 %129)
(fma.f64 #s(literal 0 binary64) %723 %129)
(fma.f64 #s(literal 0 binary64) %713 %129)
(fma.f64 #s(literal 0 binary64) %700 %129)
(fma.f64 #s(literal 0 binary64) %693 %129)
(fma.f64 #s(literal 0 binary64) %733 %129)
(fma.f64 #s(literal 0 binary64) %735 %129)
(fma.f64 #s(literal 0 binary64) %651 %129)
(fma.f64 #s(literal 0 binary64) %654 %129)
(fma.f64 #s(literal 0 binary64) %725 %129)
(fma.f64 #s(literal 0 binary64) %727 %129)
(fma.f64 #s(literal 0 binary64) %715 %129)
(fma.f64 #s(literal 0 binary64) %717 %129)
(fma.f64 #s(literal 0 binary64) %1039 %129)
(fma.f64 #s(literal 0 binary64) %1041 %129)
(fma.f64 #s(literal 0 binary64) %1021 %129)
(fma.f64 #s(literal 0 binary64) %1023 %129)
(fma.f64 #s(literal 0 binary64) %702 %129)
(fma.f64 #s(literal 0 binary64) %704 %129)
(fma.f64 #s(literal 0 binary64) %695 %129)
(fma.f64 #s(literal 0 binary64) %697 %129)
(fma.f64 #s(literal 0 binary64) %659 %129)
(fma.f64 #s(literal 0 binary64) %662 %129)
(fma.f64 #s(literal 0 binary64) %737 %129)
(fma.f64 #s(literal 0 binary64) %739 %129)
(fma.f64 #s(literal 0 binary64) %669 %129)
(fma.f64 #s(literal 0 binary64) %671 %129)
(fma.f64 #s(literal 0 binary64) %706 %129)
(fma.f64 #s(literal 0 binary64) %980 %129)
(fma.f64 #s(literal 0 binary64) %691 %129)
(fma.f64 #s(literal 0 binary64) %708 %129)
(fma.f64 #s(literal 0 binary64) %129 %129)
(fma.f64 %129 #s(literal 1/2 binary64) %691)
(fma.f64 %129 #s(literal 1 binary64) %978)
(fma.f64 %129 #s(literal 1 binary64) %980)
(fma.f64 #s(literal -1 binary64) %731 %978)
(fma.f64 #s(literal -1 binary64) %731 %980)
(fma.f64 #s(literal -1 binary64) %733 %978)
(fma.f64 #s(literal -1 binary64) %733 %980)
(fma.f64 #s(literal -1 binary64) %735 %978)
(fma.f64 #s(literal -1 binary64) %735 %980)
(fma.f64 #s(literal -1 binary64) %737 %978)
(fma.f64 #s(literal -1 binary64) %737 %980)
(fma.f64 #s(literal -1 binary64) %739 %978)
(fma.f64 #s(literal -1 binary64) %739 %980)
(fma.f64 #s(literal -1 binary64) %741 %978)
(fma.f64 #s(literal -1 binary64) %741 %980)
(fma.f64 #s(literal -1 binary64) %708 %978)
(fma.f64 #s(literal -1 binary64) %708 %980)
(fma.f64 #s(literal 1 binary64) %643 %978)
(fma.f64 #s(literal 1 binary64) %643 %980)
(fma.f64 #s(literal 1 binary64) %745 %978)
(fma.f64 #s(literal 1 binary64) %745 %980)
(fma.f64 #s(literal 1 binary64) %747 %978)
(fma.f64 #s(literal 1 binary64) %747 %980)
(fma.f64 #s(literal 1 binary64) %1031 %129)
(fma.f64 #s(literal 1 binary64) %1014 %129)
(fma.f64 #s(literal 1 binary64) %749 %978)
(fma.f64 #s(literal 1 binary64) %749 %980)
(fma.f64 #s(literal 1 binary64) %751 %978)
(fma.f64 #s(literal 1 binary64) %751 %980)
(fma.f64 #s(literal 1 binary64) %723 %691)
(fma.f64 #s(literal 1 binary64) %753 %978)
(fma.f64 #s(literal 1 binary64) %753 %980)
(fma.f64 #s(literal 1 binary64) %755 %978)
(fma.f64 #s(literal 1 binary64) %755 %980)
(fma.f64 #s(literal 1 binary64) %725 %691)
(fma.f64 #s(literal 1 binary64) %727 %691)
(fma.f64 #s(literal 1 binary64) %1039 %129)
(fma.f64 #s(literal 1 binary64) %1041 %129)
(fma.f64 #s(literal 1 binary64) %1021 %129)
(fma.f64 #s(literal 1 binary64) %1023 %129)
(fma.f64 #s(literal 1 binary64) %980 %129)
(fma.f64 #s(literal 1 binary64) %691 %691)
(fma.f64 #s(literal 1 binary64) %129 %978)
(fma.f64 #s(literal 1 binary64) %129 %980)
(-.f64 %691 (/.f64 #s(literal -1 binary64) %786))
(-.f64 %691 %706)
(-.f64 %129 %980)
(+.f64 %1190 %1191)
(+.f64 %1191 %1190)
(+.f64 %1194 %1195)
(+.f64 %1195 %1194)
(+.f64 %980 %129)
(+.f64 %691 %691)
(+.f64 %129 %978)
(+.f64 %129 %980)
(*.f64 %1202 %659)
(*.f64 %1202 %662)
(*.f64 %1205 %737)
(*.f64 %1205 %739)
(*.f64 %1208 %706)
(*.f64 %1210 %659)
(*.f64 %1210 %662)
(*.f64 %1213 %737)
(*.f64 %1213 %739)
(*.f64 %1216 %706)
(*.f64 %1218 %733)
(*.f64 %1218 %735)
(*.f64 %1221 %651)
(*.f64 %1221 %654)
(*.f64 %1224 %671)
(*.f64 %1226 %659)
(*.f64 %1226 %662)
(*.f64 %1229 %737)
(*.f64 %1229 %739)
(*.f64 %1232 %706)
(*.f64 %1234 %659)
(*.f64 %1234 %662)
(*.f64 %1237 %706)
(*.f64 %135 %702)
(*.f64 %135 %704)
(*.f64 %137 %695)
(*.f64 %137 %697)
(*.f64 %139 %708)
(*.f64 %1244 %749)
(*.f64 %1246 %678)
(*.f64 %1248 %669)
(*.f64 %1250 %685)
(*.f64 %1250 %687)
(*.f64 %1250 %689)
(*.f64 %1254 %691)
(*.f64 %1256 %723)
(*.f64 %1256 %725)
(*.f64 %1256 %727)
(*.f64 %1260 %129)
(*.f64 %1262 %713)
(*.f64 %1262 %715)
(*.f64 %1262 %717)
(*.f64 %1262 %669)
(*.f64 #s(literal -4 binary64) %1267)
(*.f64 #s(literal -4 binary64) %1269)
(*.f64 %1271 #s(literal 1/2 binary64))
(*.f64 %667 %7)
(*.f64 #s(literal 1/4 binary64) %1274)
(*.f64 #s(literal 1/4 binary64) %1276)
(*.f64 #s(literal 1/4 binary64) %1278)
(*.f64 #s(literal 4 binary64) %1281)
(*.f64 #s(literal 4 binary64) %1283)
(*.f64 #s(literal 4 binary64) %1285)
(*.f64 #s(literal 4 binary64) %1287)
(*.f64 #s(literal 4 binary64) %1289)
(*.f64 #s(literal 4 binary64) %1291)
(*.f64 #s(literal 4 binary64) %1293)
(*.f64 #s(literal 4 binary64) %1295)
(*.f64 #s(literal 4 binary64) %1297)
(*.f64 #s(literal 4 binary64) %1299)
(*.f64 %4 %691)
(*.f64 #s(literal -1/2 binary64) %1302)
(*.f64 #s(literal -1/2 binary64) %1304)
(*.f64 #s(literal -2 binary64) %1306)
(*.f64 #s(literal -2 binary64) %1308)
(*.f64 #s(literal -2 binary64) %1311)
(*.f64 %708 %14)
(*.f64 #s(literal 1/2 binary64) %1314)
(*.f64 #s(literal 1/2 binary64) %1316)
(*.f64 #s(literal 1/2 binary64) %1318)
(*.f64 #s(literal 1/2 binary64) %1320)
(*.f64 #s(literal 1/2 binary64) %1322)
(*.f64 #s(literal 1/2 binary64) %1324)
(*.f64 #s(literal 1/2 binary64) %1326)
(*.f64 #s(literal 2 binary64) %1328)
(*.f64 #s(literal 2 binary64) %1330)
(*.f64 #s(literal 2 binary64) %1332)
(*.f64 #s(literal 2 binary64) %1334)
(*.f64 #s(literal 2 binary64) %1336)
(*.f64 #s(literal 2 binary64) %1338)
(*.f64 #s(literal 2 binary64) %1340)
(*.f64 #s(literal 2 binary64) %1342)
(*.f64 #s(literal 2 binary64) %1344)
(*.f64 #s(literal 2 binary64) %1346)
(*.f64 %14 %737)
(*.f64 %14 %739)
(*.f64 %14 %708)
(*.f64 %129 x)
(*.f64 %1280 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %1353)
(*.f64 #s(literal -1 binary64) %1355)
(*.f64 #s(literal -1 binary64) %1357)
(*.f64 #s(literal -1 binary64) %1310)
(*.f64 #s(literal 1 binary64) %1360)
(*.f64 #s(literal 1 binary64) %1362)
(*.f64 #s(literal 1 binary64) %1364)
(*.f64 #s(literal 1 binary64) %1366)
(*.f64 #s(literal 1 binary64) %1368)
(*.f64 #s(literal 1 binary64) %1370)
(*.f64 #s(literal 1 binary64) %1372)
(*.f64 #s(literal 1 binary64) %1374)
(*.f64 #s(literal 1 binary64) %1376)
(*.f64 #s(literal 1 binary64) %1378)
(*.f64 #s(literal 1 binary64) %1380)
(*.f64 #s(literal 1 binary64) %1382)
(*.f64 #s(literal 1 binary64) %1384)
(*.f64 #s(literal 1 binary64) %1280)
(*.f64 x %751)
(*.f64 x %753)
(*.f64 x %755)
(*.f64 x %129)
(pow.f64 %1280 #s(literal 1 binary64))
(/.f64 (*.f64 %667 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %669 %4) #s(literal 4 binary64))
(/.f64 (*.f64 %1326 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %1326 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %1326 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %1326 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %1326) #s(literal 2 binary64))
(/.f64 (*.f64 %4 %667) #s(literal 4 binary64))
(/.f64 (*.f64 %4 %669) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %1326) #s(literal 8 binary64))
(/.f64 %1412 %786)
(/.f64 %1414 %786)
(/.f64 %1416 %878)
(/.f64 %1418 %955)
(/.f64 %1420 %917)
(/.f64 (*.f64 #s(literal -2 binary64) %1326) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %1326) #s(literal 4 binary64))
(/.f64 %21 %893)
(/.f64 %79 %897)
(/.f64 %85 %915)
(/.f64 %88 %886)
(/.f64 %91 %882)
(/.f64 %91 %886)
(/.f64 %94 %776)
(/.f64 %97 %935)
(/.f64 %97 %776)
(/.f64 %1435 %927)
(/.f64 %1437 %791)
(/.f64 %32 %882)
(/.f64 %1440 %791)
(/.f64 %38 %781)
(/.f64 %29 %911)
(/.f64 %35 %882)
(/.f64 %35 %886)
(/.f64 %1446 %791)
(/.f64 %41 %931)
(/.f64 %41 %781)
(/.f64 %1450 %888)
(/.f64 %1452 %927)
(/.f64 %1454 %957)
(/.f64 %1454 %791)
(/.f64 %1457 %939)
(/.f64 %1457 %781)
(/.f64 %1460 %781)
(/.f64 %108 %907)
(/.f64 %111 %876)
(/.f64 %111 %884)
(/.f64 %111 %886)
(/.f64 %114 %921)
(/.f64 %114 %923)
(/.f64 %114 %925)
(/.f64 %213 %903)
(/.f64 %216 %872)
(/.f64 %216 %880)
(/.f64 %216 %882)
(/.f64 %219 %919)
(/.f64 %219 %921)
(/.f64 %219 %925)
(/.f64 (neg.f64 %1326) #s(literal -2 binary64))
(/.f64 (neg.f64 %20) %961)
(/.f64 %142 %776)
(/.f64 %144 %937)
(/.f64 %1326 #s(literal 2 binary64))
(/.f64 %354 %10)
(/.f64 %356 %10)
(/.f64 %148 %943)
(/.f64 %15 %776)
(/.f64 %20 %939)
(/.f64 %20 %781)
(/.f64 %4 %949)
(/.f64 %4 %953)
(/.f64 %4 %957)
(/.f64 %4 %786)
(/.f64 %4 %791)
(/.f64 %14 %965)
(/.f64 %14 %131)
(/.f64 #s(literal 1 binary64) (pow.f64 %1280 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %131 %14))
(/.f64 #s(literal 1 binary64) (/.f64 %10 x))
(/.f64 x %968)
%1280
(neg.f64 %1357)
(neg.f64 %1310)
(fma.f64 %1202 %659 %1506)
(fma.f64 %1202 %659 %1509)
(fma.f64 %1202 %659 %1512)
(fma.f64 %1202 %659 %1515)
(fma.f64 %1202 %662 %1506)
(fma.f64 %1202 %662 %1509)
(fma.f64 %1202 %662 %1512)
(fma.f64 %1202 %662 %1515)
(fma.f64 %1205 %737 %1506)
(fma.f64 %1205 %737 %1509)
(fma.f64 %1205 %737 %1512)
(fma.f64 %1205 %737 %1515)
(fma.f64 %1205 %739 %1506)
(fma.f64 %1205 %739 %1509)
(fma.f64 %1205 %739 %1512)
(fma.f64 %1205 %739 %1515)
(fma.f64 %1208 %706 %1506)
(fma.f64 %1208 %706 %1509)
(fma.f64 %1208 %706 %1512)
(fma.f64 %1208 %706 %1515)
(fma.f64 %1210 %659 %1506)
(fma.f64 %1210 %659 %1509)
(fma.f64 %1210 %659 %1512)
(fma.f64 %1210 %659 %1515)
(fma.f64 %1210 %662 %1506)
(fma.f64 %1210 %662 %1509)
(fma.f64 %1210 %662 %1512)
(fma.f64 %1210 %662 %1515)
(fma.f64 %1213 %737 %1506)
(fma.f64 %1213 %737 %1509)
(fma.f64 %1213 %737 %1512)
(fma.f64 %1213 %737 %1515)
(fma.f64 %1213 %739 %1506)
(fma.f64 %1213 %739 %1509)
(fma.f64 %1213 %739 %1512)
(fma.f64 %1213 %739 %1515)
(fma.f64 %1216 %706 %1506)
(fma.f64 %1216 %706 %1509)
(fma.f64 %1216 %706 %1512)
(fma.f64 %1216 %706 %1515)
(fma.f64 %1218 %733 %1506)
(fma.f64 %1218 %733 %1509)
(fma.f64 %1218 %733 %1512)
(fma.f64 %1218 %733 %1515)
(fma.f64 %1218 %735 %1506)
(fma.f64 %1218 %735 %1509)
(fma.f64 %1218 %735 %1512)
(fma.f64 %1218 %735 %1515)
(fma.f64 %1221 %651 %1506)
(fma.f64 %1221 %651 %1509)
(fma.f64 %1221 %651 %1512)
(fma.f64 %1221 %651 %1515)
(fma.f64 %1221 %654 %1506)
(fma.f64 %1221 %654 %1509)
(fma.f64 %1221 %654 %1512)
(fma.f64 %1221 %654 %1515)
(fma.f64 %1224 %671 %1506)
(fma.f64 %1224 %671 %1509)
(fma.f64 %1224 %671 %1512)
(fma.f64 %1224 %671 %1515)
(fma.f64 %1226 %659 %1506)
(fma.f64 %1226 %659 %1509)
(fma.f64 %1226 %659 %1512)
(fma.f64 %1226 %659 %1515)
(fma.f64 %1226 %662 %1506)
(fma.f64 %1226 %662 %1509)
(fma.f64 %1226 %662 %1512)
(fma.f64 %1226 %662 %1515)
(fma.f64 %1229 %737 %1506)
(fma.f64 %1229 %737 %1509)
(fma.f64 %1229 %737 %1512)
(fma.f64 %1229 %737 %1515)
(fma.f64 %1229 %739 %1506)
(fma.f64 %1229 %739 %1509)
(fma.f64 %1229 %739 %1512)
(fma.f64 %1229 %739 %1515)
(fma.f64 %1232 %706 %1506)
(fma.f64 %1232 %706 %1509)
(fma.f64 %1232 %706 %1512)
(fma.f64 %1232 %706 %1515)
(fma.f64 %1234 %659 %1506)
(fma.f64 %1234 %659 %1509)
(fma.f64 %1234 %659 %1512)
(fma.f64 %1234 %659 %1515)
(fma.f64 %1234 %662 %1506)
(fma.f64 %1234 %662 %1509)
(fma.f64 %1234 %662 %1512)
(fma.f64 %1234 %662 %1515)
(fma.f64 %1237 %706 %1506)
(fma.f64 %1237 %706 %1509)
(fma.f64 %1237 %706 %1512)
(fma.f64 %1237 %706 %1515)
(fma.f64 %135 %702 %1506)
(fma.f64 %135 %702 %1509)
(fma.f64 %135 %702 %1512)
(fma.f64 %135 %702 %1515)
(fma.f64 %135 %704 %1506)
(fma.f64 %135 %704 %1509)
(fma.f64 %135 %704 %1512)
(fma.f64 %135 %704 %1515)
(fma.f64 %137 %695 %1506)
(fma.f64 %137 %695 %1509)
(fma.f64 %137 %695 %1512)
(fma.f64 %137 %695 %1515)
(fma.f64 %137 %697 %1506)
(fma.f64 %137 %697 %1509)
(fma.f64 %137 %697 %1512)
(fma.f64 %137 %697 %1515)
(fma.f64 %139 %708 %1506)
(fma.f64 %139 %708 %1509)
(fma.f64 %139 %708 %1512)
(fma.f64 %139 %708 %1515)
(fma.f64 %1244 %749 %1506)
(fma.f64 %1244 %749 %1509)
(fma.f64 %1244 %749 %1512)
(fma.f64 %1244 %749 %1515)
(fma.f64 %1244 %723 %1346)
(fma.f64 %1246 %678 %1506)
(fma.f64 %1246 %678 %1509)
(fma.f64 %1246 %678 %1512)
(fma.f64 %1246 %678 %1515)
(fma.f64 %1246 %713 %1346)
(fma.f64 %1248 %669 %1506)
(fma.f64 %1248 %669 %1509)
(fma.f64 %1248 %669 %1512)
(fma.f64 %1248 %669 %1515)
(fma.f64 %1248 %129 %1346)
(fma.f64 %1250 %685 %1506)
(fma.f64 %1250 %685 %1509)
(fma.f64 %1250 %685 %1512)
(fma.f64 %1250 %685 %1515)
(fma.f64 %1250 %687 %1506)
(fma.f64 %1250 %687 %1509)
(fma.f64 %1250 %687 %1512)
(fma.f64 %1250 %687 %1515)
(fma.f64 %1250 %689 %1506)
(fma.f64 %1250 %689 %1509)
(fma.f64 %1250 %689 %1512)
(fma.f64 %1250 %689 %1515)
(fma.f64 %1254 %691 %1506)
(fma.f64 %1254 %691 %1509)
(fma.f64 %1254 %691 %1512)
(fma.f64 %1254 %691 %1515)
(fma.f64 %1256 %685 %1346)
(fma.f64 %1256 %723 %1506)
(fma.f64 %1256 %723 %1509)
(fma.f64 %1256 %723 %1512)
(fma.f64 %1256 %723 %1515)
(fma.f64 %1256 %725 %1506)
(fma.f64 %1256 %725 %1509)
(fma.f64 %1256 %725 %1512)
(fma.f64 %1256 %725 %1515)
(fma.f64 %1256 %727 %1506)
(fma.f64 %1256 %727 %1509)
(fma.f64 %1256 %727 %1512)
(fma.f64 %1256 %727 %1515)
(fma.f64 %1260 %691 %1346)
(fma.f64 %1260 %129 %1506)
(fma.f64 %1260 %129 %1509)
(fma.f64 %1260 %129 %1512)
(fma.f64 %1260 %129 %1515)
(fma.f64 %1262 %751 %1346)
(fma.f64 %1262 %713 %1506)
(fma.f64 %1262 %713 %1509)
(fma.f64 %1262 %713 %1512)
(fma.f64 %1262 %713 %1515)
(fma.f64 %1262 %715 %1506)
(fma.f64 %1262 %715 %1509)
(fma.f64 %1262 %715 %1512)
(fma.f64 %1262 %715 %1515)
(fma.f64 %1262 %717 %1506)
(fma.f64 %1262 %717 %1509)
(fma.f64 %1262 %717 %1512)
(fma.f64 %1262 %717 %1515)
(fma.f64 %1262 %669 %1506)
(fma.f64 %1262 %669 %1509)
(fma.f64 %1262 %669 %1512)
(fma.f64 %1262 %669 %1515)
(fma.f64 #s(literal -4 binary64) %1267 %1506)
(fma.f64 #s(literal -4 binary64) %1267 %1509)
(fma.f64 #s(literal -4 binary64) %1267 %1512)
(fma.f64 #s(literal -4 binary64) %1267 %1515)
(fma.f64 #s(literal -4 binary64) %1269 %1506)
(fma.f64 #s(literal -4 binary64) %1269 %1509)
(fma.f64 #s(literal -4 binary64) %1269 %1512)
(fma.f64 #s(literal -4 binary64) %1269 %1515)
(fma.f64 %1271 #s(literal 1/2 binary64) %1506)
(fma.f64 %1271 #s(literal 1/2 binary64) %1509)
(fma.f64 %1271 #s(literal 1/2 binary64) %1512)
(fma.f64 %1271 #s(literal 1/2 binary64) %1515)
(fma.f64 %667 %7 %1506)
(fma.f64 %667 %7 %1509)
(fma.f64 %667 %7 %1512)
(fma.f64 %667 %7 %1515)
(fma.f64 #s(literal 1/4 binary64) %1274 %1506)
(fma.f64 #s(literal 1/4 binary64) %1274 %1509)
(fma.f64 #s(literal 1/4 binary64) %1274 %1512)
(fma.f64 #s(literal 1/4 binary64) %1274 %1515)
(fma.f64 #s(literal 1/4 binary64) %1276 %1506)
(fma.f64 #s(literal 1/4 binary64) %1276 %1509)
(fma.f64 #s(literal 1/4 binary64) %1276 %1512)
(fma.f64 #s(literal 1/4 binary64) %1276 %1515)
(fma.f64 #s(literal 1/4 binary64) %1278 %1506)
(fma.f64 #s(literal 1/4 binary64) %1278 %1509)
(fma.f64 #s(literal 1/4 binary64) %1278 %1512)
(fma.f64 #s(literal 1/4 binary64) %1278 %1515)
(fma.f64 #s(literal 1/4 binary64) %1324 %1346)
(fma.f64 #s(literal 4 binary64) %1281 %1506)
(fma.f64 #s(literal 4 binary64) %1281 %1509)
(fma.f64 #s(literal 4 binary64) %1281 %1512)
(fma.f64 #s(literal 4 binary64) %1281 %1515)
(fma.f64 #s(literal 4 binary64) %1283 %1506)
(fma.f64 #s(literal 4 binary64) %1283 %1509)
(fma.f64 #s(literal 4 binary64) %1283 %1512)
(fma.f64 #s(literal 4 binary64) %1283 %1515)
(fma.f64 #s(literal 4 binary64) %1285 %1506)
(fma.f64 #s(literal 4 binary64) %1285 %1509)
(fma.f64 #s(literal 4 binary64) %1285 %1512)
(fma.f64 #s(literal 4 binary64) %1285 %1515)
(fma.f64 #s(literal 4 binary64) %1287 %1506)
(fma.f64 #s(literal 4 binary64) %1287 %1509)
(fma.f64 #s(literal 4 binary64) %1287 %1512)
(fma.f64 #s(literal 4 binary64) %1287 %1515)
(fma.f64 #s(literal 4 binary64) %1289 %1506)
(fma.f64 #s(literal 4 binary64) %1289 %1509)
(fma.f64 #s(literal 4 binary64) %1289 %1512)
(fma.f64 #s(literal 4 binary64) %1289 %1515)
(fma.f64 #s(literal 4 binary64) %1291 %1506)
(fma.f64 #s(literal 4 binary64) %1291 %1509)
(fma.f64 #s(literal 4 binary64) %1291 %1512)
(fma.f64 #s(literal 4 binary64) %1291 %1515)
(fma.f64 #s(literal 4 binary64) %1293 %1506)
(fma.f64 #s(literal 4 binary64) %1293 %1509)
(fma.f64 #s(literal 4 binary64) %1293 %1512)
(fma.f64 #s(literal 4 binary64) %1293 %1515)
(fma.f64 #s(literal 4 binary64) %1295 %1506)
(fma.f64 #s(literal 4 binary64) %1295 %1509)
(fma.f64 #s(literal 4 binary64) %1295 %1512)
(fma.f64 #s(literal 4 binary64) %1295 %1515)
(fma.f64 #s(literal 4 binary64) %1297 %1506)
(fma.f64 #s(literal 4 binary64) %1297 %1509)
(fma.f64 #s(literal 4 binary64) %1297 %1512)
(fma.f64 #s(literal 4 binary64) %1297 %1515)
(fma.f64 #s(literal 4 binary64) %1299 %1506)
(fma.f64 #s(literal 4 binary64) %1299 %1509)
(fma.f64 #s(literal 4 binary64) %1299 %1512)
(fma.f64 #s(literal 4 binary64) %1299 %1515)
(fma.f64 %4 %691 %1506)
(fma.f64 %4 %691 %1509)
(fma.f64 %4 %691 %1512)
(fma.f64 %4 %691 %1515)
(fma.f64 #s(literal -1/2 binary64) %1302 %1506)
(fma.f64 #s(literal -1/2 binary64) %1302 %1509)
(fma.f64 #s(literal -1/2 binary64) %1302 %1512)
(fma.f64 #s(literal -1/2 binary64) %1302 %1515)
(fma.f64 #s(literal -1/2 binary64) %1304 %1506)
(fma.f64 #s(literal -1/2 binary64) %1304 %1509)
(fma.f64 #s(literal -1/2 binary64) %1304 %1512)
(fma.f64 #s(literal -1/2 binary64) %1304 %1515)
(fma.f64 #s(literal -2 binary64) %1306 %1506)
(fma.f64 #s(literal -2 binary64) %1306 %1509)
(fma.f64 #s(literal -2 binary64) %1306 %1512)
(fma.f64 #s(literal -2 binary64) %1306 %1515)
(fma.f64 #s(literal -2 binary64) %1308 %1506)
(fma.f64 #s(literal -2 binary64) %1308 %1509)
(fma.f64 #s(literal -2 binary64) %1308 %1512)
(fma.f64 #s(literal -2 binary64) %1308 %1515)
(fma.f64 #s(literal -2 binary64) %1311 %1506)
(fma.f64 #s(literal -2 binary64) %1311 %1509)
(fma.f64 #s(literal -2 binary64) %1311 %1512)
(fma.f64 #s(literal -2 binary64) %1311 %1515)
(fma.f64 %708 %14 %1506)
(fma.f64 %708 %14 %1509)
(fma.f64 %708 %14 %1512)
(fma.f64 %708 %14 %1515)
(fma.f64 #s(literal 1/2 binary64) %1314 %1506)
(fma.f64 #s(literal 1/2 binary64) %1314 %1509)
(fma.f64 #s(literal 1/2 binary64) %1314 %1512)
(fma.f64 #s(literal 1/2 binary64) %1314 %1515)
(fma.f64 #s(literal 1/2 binary64) %1316 %1506)
(fma.f64 #s(literal 1/2 binary64) %1316 %1509)
(fma.f64 #s(literal 1/2 binary64) %1316 %1512)
(fma.f64 #s(literal 1/2 binary64) %1316 %1515)
(fma.f64 #s(literal 1/2 binary64) %1318 %1506)
(fma.f64 #s(literal 1/2 binary64) %1318 %1509)
(fma.f64 #s(literal 1/2 binary64) %1318 %1512)
(fma.f64 #s(literal 1/2 binary64) %1318 %1515)
(fma.f64 #s(literal 1/2 binary64) %1320 %1506)
(fma.f64 #s(literal 1/2 binary64) %1320 %1509)
(fma.f64 #s(literal 1/2 binary64) %1320 %1512)
(fma.f64 #s(literal 1/2 binary64) %1320 %1515)
(fma.f64 #s(literal 1/2 binary64) %1322 %1506)
(fma.f64 #s(literal 1/2 binary64) %1322 %1509)
(fma.f64 #s(literal 1/2 binary64) %1322 %1512)
(fma.f64 #s(literal 1/2 binary64) %1322 %1515)
(fma.f64 #s(literal 1/2 binary64) %1384 %1346)
(fma.f64 #s(literal 1/2 binary64) %1324 %1506)
(fma.f64 #s(literal 1/2 binary64) %1324 %1509)
(fma.f64 #s(literal 1/2 binary64) %1324 %1512)
(fma.f64 #s(literal 1/2 binary64) %1324 %1515)
(fma.f64 #s(literal 1/2 binary64) %1326 %1506)
(fma.f64 #s(literal 1/2 binary64) %1326 %1509)
(fma.f64 #s(literal 1/2 binary64) %1326 %1512)
(fma.f64 #s(literal 1/2 binary64) %1326 %1515)
(fma.f64 #s(literal 1/2 binary64) %1280 %1346)
(fma.f64 #s(literal 2 binary64) %1328 %1506)
(fma.f64 #s(literal 2 binary64) %1328 %1509)
(fma.f64 #s(literal 2 binary64) %1328 %1512)
(fma.f64 #s(literal 2 binary64) %1328 %1515)
(fma.f64 #s(literal 2 binary64) %1330 %1506)
(fma.f64 #s(literal 2 binary64) %1330 %1509)
(fma.f64 #s(literal 2 binary64) %1330 %1512)
(fma.f64 #s(literal 2 binary64) %1330 %1515)
(fma.f64 #s(literal 2 binary64) %1332 %1506)
(fma.f64 #s(literal 2 binary64) %1332 %1509)
(fma.f64 #s(literal 2 binary64) %1332 %1512)
(fma.f64 #s(literal 2 binary64) %1332 %1515)
(fma.f64 #s(literal 2 binary64) %1334 %1506)
(fma.f64 #s(literal 2 binary64) %1334 %1509)
(fma.f64 #s(literal 2 binary64) %1334 %1512)
(fma.f64 #s(literal 2 binary64) %1334 %1515)
(fma.f64 #s(literal 2 binary64) %1336 %1506)
(fma.f64 #s(literal 2 binary64) %1336 %1509)
(fma.f64 #s(literal 2 binary64) %1336 %1512)
(fma.f64 #s(literal 2 binary64) %1336 %1515)
(fma.f64 #s(literal 2 binary64) %1299 %1346)
(fma.f64 #s(literal 2 binary64) %1338 %1506)
(fma.f64 #s(literal 2 binary64) %1338 %1509)
(fma.f64 #s(literal 2 binary64) %1338 %1512)
(fma.f64 #s(literal 2 binary64) %1338 %1515)
(fma.f64 #s(literal 2 binary64) %1340 %1506)
(fma.f64 #s(literal 2 binary64) %1340 %1509)
(fma.f64 #s(literal 2 binary64) %1340 %1512)
(fma.f64 #s(literal 2 binary64) %1340 %1515)
(fma.f64 #s(literal 2 binary64) %1342 %1506)
(fma.f64 #s(literal 2 binary64) %1342 %1509)
(fma.f64 #s(literal 2 binary64) %1342 %1512)
(fma.f64 #s(literal 2 binary64) %1342 %1515)
(fma.f64 #s(literal 2 binary64) %1344 %1506)
(fma.f64 #s(literal 2 binary64) %1344 %1509)
(fma.f64 #s(literal 2 binary64) %1344 %1512)
(fma.f64 #s(literal 2 binary64) %1344 %1515)
(fma.f64 #s(literal 2 binary64) %1346 %1506)
(fma.f64 #s(literal 2 binary64) %1346 %1509)
(fma.f64 #s(literal 2 binary64) %1346 %1512)
(fma.f64 #s(literal 2 binary64) %1346 %1515)
(fma.f64 %14 %737 %1506)
(fma.f64 %14 %737 %1509)
(fma.f64 %14 %737 %1512)
(fma.f64 %14 %737 %1515)
(fma.f64 %14 %739 %1506)
(fma.f64 %14 %739 %1509)
(fma.f64 %14 %739 %1512)
(fma.f64 %14 %739 %1515)
(fma.f64 %14 %708 %1506)
(fma.f64 %14 %708 %1509)
(fma.f64 %14 %708 %1512)
(fma.f64 %14 %708 %1515)
(fma.f64 %129 x %1506)
(fma.f64 %129 x %1509)
(fma.f64 %129 x %1512)
(fma.f64 %129 x %1515)
(fma.f64 %1280 #s(literal 1 binary64) %1506)
(fma.f64 %1280 #s(literal 1 binary64) %1509)
(fma.f64 %1280 #s(literal 1 binary64) %1512)
(fma.f64 %1280 #s(literal 1 binary64) %1515)
(fma.f64 #s(literal -1 binary64) %1353 %1506)
(fma.f64 #s(literal -1 binary64) %1353 %1509)
(fma.f64 #s(literal -1 binary64) %1353 %1512)
(fma.f64 #s(literal -1 binary64) %1353 %1515)
(fma.f64 #s(literal -1 binary64) %1355 %1506)
(fma.f64 #s(literal -1 binary64) %1355 %1509)
(fma.f64 #s(literal -1 binary64) %1355 %1512)
(fma.f64 #s(literal -1 binary64) %1355 %1515)
(fma.f64 #s(literal -1 binary64) %1357 %1506)
(fma.f64 #s(literal -1 binary64) %1357 %1509)
(fma.f64 #s(literal -1 binary64) %1357 %1512)
(fma.f64 #s(literal -1 binary64) %1357 %1515)
(fma.f64 #s(literal -1 binary64) %1310 %1506)
(fma.f64 #s(literal -1 binary64) %1310 %1509)
(fma.f64 #s(literal -1 binary64) %1310 %1512)
(fma.f64 #s(literal -1 binary64) %1310 %1515)
(fma.f64 #s(literal 1 binary64) %1360 %1506)
(fma.f64 #s(literal 1 binary64) %1360 %1509)
(fma.f64 #s(literal 1 binary64) %1360 %1512)
(fma.f64 #s(literal 1 binary64) %1360 %1515)
(fma.f64 #s(literal 1 binary64) %1362 %1506)
(fma.f64 #s(literal 1 binary64) %1362 %1509)
(fma.f64 #s(literal 1 binary64) %1362 %1512)
(fma.f64 #s(literal 1 binary64) %1362 %1515)
(fma.f64 #s(literal 1 binary64) %1364 %1506)
(fma.f64 #s(literal 1 binary64) %1364 %1509)
(fma.f64 #s(literal 1 binary64) %1364 %1512)
(fma.f64 #s(literal 1 binary64) %1364 %1515)
(fma.f64 #s(literal 1 binary64) %1366 %1506)
(fma.f64 #s(literal 1 binary64) %1366 %1509)
(fma.f64 #s(literal 1 binary64) %1366 %1512)
(fma.f64 #s(literal 1 binary64) %1366 %1515)
(fma.f64 #s(literal 1 binary64) %1368 %1506)
(fma.f64 #s(literal 1 binary64) %1368 %1509)
(fma.f64 #s(literal 1 binary64) %1368 %1512)
(fma.f64 #s(literal 1 binary64) %1368 %1515)
(fma.f64 #s(literal 1 binary64) %1370 %1506)
(fma.f64 #s(literal 1 binary64) %1370 %1509)
(fma.f64 #s(literal 1 binary64) %1370 %1512)
(fma.f64 #s(literal 1 binary64) %1370 %1515)
(fma.f64 #s(literal 1 binary64) %1372 %1506)
(fma.f64 #s(literal 1 binary64) %1372 %1509)
(fma.f64 #s(literal 1 binary64) %1372 %1512)
(fma.f64 #s(literal 1 binary64) %1372 %1515)
(fma.f64 #s(literal 1 binary64) %1374 %1506)
(fma.f64 #s(literal 1 binary64) %1374 %1509)
(fma.f64 #s(literal 1 binary64) %1374 %1512)
(fma.f64 #s(literal 1 binary64) %1374 %1515)
(fma.f64 #s(literal 1 binary64) %1376 %1506)
(fma.f64 #s(literal 1 binary64) %1376 %1509)
(fma.f64 #s(literal 1 binary64) %1376 %1512)
(fma.f64 #s(literal 1 binary64) %1376 %1515)
(fma.f64 #s(literal 1 binary64) %1378 %1506)
(fma.f64 #s(literal 1 binary64) %1378 %1509)
(fma.f64 #s(literal 1 binary64) %1378 %1512)
(fma.f64 #s(literal 1 binary64) %1378 %1515)
(fma.f64 #s(literal 1 binary64) %1380 %1506)
(fma.f64 #s(literal 1 binary64) %1380 %1509)
(fma.f64 #s(literal 1 binary64) %1380 %1512)
(fma.f64 #s(literal 1 binary64) %1380 %1515)
(fma.f64 #s(literal 1 binary64) %1382 %1506)
(fma.f64 #s(literal 1 binary64) %1382 %1509)
(fma.f64 #s(literal 1 binary64) %1382 %1512)
(fma.f64 #s(literal 1 binary64) %1382 %1515)
(fma.f64 #s(literal 1 binary64) %1384 %1506)
(fma.f64 #s(literal 1 binary64) %1384 %1509)
(fma.f64 #s(literal 1 binary64) %1384 %1512)
(fma.f64 #s(literal 1 binary64) %1384 %1515)
(fma.f64 #s(literal 1 binary64) %1338 %1346)
(fma.f64 #s(literal 1 binary64) %1346 %1346)
(fma.f64 #s(literal 1 binary64) %1280 %1506)
(fma.f64 #s(literal 1 binary64) %1280 %1509)
(fma.f64 #s(literal 1 binary64) %1280 %1512)
(fma.f64 #s(literal 1 binary64) %1280 %1515)
(fma.f64 x %751 %1506)
(fma.f64 x %751 %1509)
(fma.f64 x %751 %1512)
(fma.f64 x %751 %1515)
(fma.f64 x %753 %1506)
(fma.f64 x %753 %1509)
(fma.f64 x %753 %1512)
(fma.f64 x %753 %1515)
(fma.f64 x %755 %1506)
(fma.f64 x %755 %1509)
(fma.f64 x %755 %1512)
(fma.f64 x %755 %1515)
(fma.f64 x %129 %1506)
(fma.f64 x %129 %1509)
(fma.f64 x %129 %1512)
(fma.f64 x %129 %1515)
(+.f64 %1969 %1969)
(+.f64 %1340 %1340)
(+.f64 %1346 %1346)
(+.f64 %1280 %1506)
(+.f64 %1280 %1509)
(+.f64 %1280 %1512)
(+.f64 %1280 %1515)
(*.f64 %1977 #s(literal 1/2 binary64))
(*.f64 %1979 %7)
(*.f64 %4 %1981)
(*.f64 %1983 %14)
(*.f64 #s(literal 2 binary64) %1985)
(*.f64 #s(literal 2 binary64) %1987)
(*.f64 #s(literal 2 binary64) %1989)
(*.f64 %193 x)
(*.f64 %14 %1983)
(*.f64 %1993 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %1993)
(*.f64 x %193)
(pow.f64 %1993 #s(literal 1 binary64))
(/.f64 %1412 %1998)
(/.f64 %1414 %1998)
(/.f64 (*.f64 %2001 %4) #s(literal 4 binary64))
(/.f64 %1416 (*.f64 %195 #s(literal 4 binary64)))
(/.f64 %1418 (*.f64 %195 #s(literal -2 binary64)))
(/.f64 %1420 (*.f64 %190 #s(literal 4 binary64)))
(/.f64 (*.f64 %4 %2001) #s(literal 4 binary64))
(/.f64 %88 %2013)
(/.f64 %91 %2013)
(/.f64 %94 %2016)
(/.f64 %97 %2016)
(/.f64 %1435 %2019)
(/.f64 %1437 %2021)
(/.f64 %32 %2023)
(/.f64 %1440 %2021)
(/.f64 %38 %2012)
(/.f64 %35 %2023)
(/.f64 %1446 %2021)
(/.f64 %41 %2012)
(/.f64 %1450 (*.f64 #s(literal 4 binary64) %195))
(/.f64 %1452 %2019)
(/.f64 %1454 (*.f64 #s(literal -2 binary64) %195))
(/.f64 %1457 (*.f64 #s(literal -2 binary64) %190))
(/.f64 %1460 %2012)
(/.f64 %111 %2013)
(/.f64 %114 (*.f64 %2021 #s(literal 2 binary64)))
(/.f64 %216 %2023)
(/.f64 %219 (*.f64 #s(literal 2 binary64) %2021))
(/.f64 %142 %2016)
(/.f64 %144 (*.f64 %190 #s(literal -2 binary64)))
(/.f64 %354 %190)
(/.f64 %356 %190)
(/.f64 %15 %2016)
(/.f64 %20 %2012)
(/.f64 %4 %1998)
(/.f64 %4 %2021)
(/.f64 %14 (*.f64 %195 #s(literal 1 binary64)))
(/.f64 %14 %195)
(/.f64 #s(literal 1 binary64) (pow.f64 %1993 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %195 %14))
(/.f64 #s(literal 1 binary64) (/.f64 %190 x))
(/.f64 x (*.f64 %190 #s(literal 1 binary64)))
%1993
(neg.f64 (/.f64 %14 %190))
(fma.f64 %1977 #s(literal 1/2 binary64) %2066)
(fma.f64 %1977 #s(literal 1/2 binary64) %2068)
(fma.f64 %1977 #s(literal 1/2 binary64) %2070)
(fma.f64 %1977 #s(literal 1/2 binary64) %2072)
(fma.f64 %1979 %7 %2066)
(fma.f64 %1979 %7 %2068)
(fma.f64 %1979 %7 %2070)
(fma.f64 %1979 %7 %2072)
(fma.f64 %4 %1981 %2066)
(fma.f64 %4 %1981 %2068)
(fma.f64 %4 %1981 %2070)
(fma.f64 %4 %1981 %2072)
(fma.f64 %1983 %14 %2066)
(fma.f64 %1983 %14 %2068)
(fma.f64 %1983 %14 %2070)
(fma.f64 %1983 %14 %2072)
(fma.f64 #s(literal 2 binary64) %1985 %2066)
(fma.f64 #s(literal 2 binary64) %1985 %2068)
(fma.f64 #s(literal 2 binary64) %1985 %2070)
(fma.f64 #s(literal 2 binary64) %1985 %2072)
(fma.f64 #s(literal 2 binary64) %1987 %2066)
(fma.f64 #s(literal 2 binary64) %1987 %2068)
(fma.f64 #s(literal 2 binary64) %1987 %2070)
(fma.f64 #s(literal 2 binary64) %1987 %2072)
(fma.f64 #s(literal 2 binary64) %1989 %2066)
(fma.f64 #s(literal 2 binary64) %1989 %2068)
(fma.f64 #s(literal 2 binary64) %1989 %2070)
(fma.f64 #s(literal 2 binary64) %1989 %2072)
(fma.f64 %193 x %2066)
(fma.f64 %193 x %2068)
(fma.f64 %193 x %2070)
(fma.f64 %193 x %2072)
(fma.f64 %14 %1983 %2066)
(fma.f64 %14 %1983 %2068)
(fma.f64 %14 %1983 %2070)
(fma.f64 %14 %1983 %2072)
(fma.f64 %1993 #s(literal 1 binary64) %2066)
(fma.f64 %1993 #s(literal 1 binary64) %2068)
(fma.f64 %1993 #s(literal 1 binary64) %2070)
(fma.f64 %1993 #s(literal 1 binary64) %2072)
(fma.f64 #s(literal 1 binary64) %1993 %2066)
(fma.f64 #s(literal 1 binary64) %1993 %2068)
(fma.f64 #s(literal 1 binary64) %1993 %2070)
(fma.f64 #s(literal 1 binary64) %1993 %2072)
(fma.f64 x %193 %2066)
(fma.f64 x %193 %2068)
(fma.f64 x %193 %2070)
(fma.f64 x %193 %2072)
(+.f64 %2118 %2118)
(+.f64 %2120 %2120)
(+.f64 %1989 %1989)
(+.f64 %1993 %2066)
(+.f64 %1993 %2068)
(+.f64 %1993 %2070)
(+.f64 %1993 %2072)
reconstruct144.0ms (13.5%)
Counts
1 573 → 83
Compiler
Compiled 1 573 to 2 164 computations (-37.6% saved)
eval8.0ms (0.8%)
Compiler
Compiled 90 to 217 computations (-141.1% saved)
prune2.0ms (0.2%)
Pruning
6 alts after pruning (2 fresh and 4 done)
PrunedKeptTotal
New88290
Fresh000
Picked235
Done011
Total90696
Accuracy
100.0%
Counts
96 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓50.1%
(/.f64 x (approx (- 1 x) #s(literal 1 binary64)))
✓99.8%
(*.f64 x (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)))
▶50.6%
(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
▶49.7%
(approx (/ x (- 1 x)) (fma.f64 x x x))
✓51.5%
(approx (/ x (- 1 x)) #s(literal -1 binary64))
Compiler
Compiled 6 to 10 computations (-66.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series5.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
056231
Stop Event
1×iter-limit
Counts
5 → 16
Calls
Call 1
Inputs
%1 = (fma.f64 x x x)
%4 = (/ x (- 1 x))
%6 = (fma.f64 %1 x x)
x
%1
(approx %4 %1)
%6
(approx %4 %6)
Outputs
%5 = (+ (* x x) x)
%8 = (*.f64 x (+.f64 #s(literal 1 binary64) x))
%12 = (/ x (- 1 x))
%14 = (*.f64 x (+.f64 #s(literal 1 binary64) %8))
%20 = (pow.f64 x #s(literal 2 binary64))
%22 = (/.f64 #s(literal 1 binary64) x)
%23 = (+.f64 #s(literal 1 binary64) %22)
%32 = (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %23 x)) #s(literal 1 binary64))
%39 = (+ (* %5 x) x)
%41 = (pow.f64 x #s(literal 3 binary64))
%47 = (+.f64 #s(literal 1 binary64) (+.f64 %22 (/.f64 #s(literal 1 binary64) %20)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %8)
(approx %12 %14)
(approx %12 (*.f64 x (+.f64 #s(literal 1 binary64) %14)))
(approx %5 %20)
(approx %5 (*.f64 %20 %23))
(approx %12 #s(literal -1 binary64))
(approx %12 (*.f64 #s(literal -1 binary64) %23))
(approx %12 %32)
(approx %12 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %23 %20)) %23))
(approx %39 %41)
(approx %39 (*.f64 %41 %23))
(approx %39 (*.f64 %41 %47))
(approx %12 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %47 x)) #s(literal 1 binary64)))
(approx %39 (*.f64 #s(literal -1 binary64) (*.f64 %41 %32)))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
0.0ms
x
0
rewrite85.0ms (7.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0835
01235
15135
216135
362635
0417135
0433835
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 312
Calls
Call 1
Inputs
%1 = (fma.f64 x x x)
%4 = (/ x (- 1 x))
%6 = (fma.f64 %1 x x)
x
%1
(approx %4 %1)
%6
(approx %4 %6)
Outputs
%2 = (+.f64 #s(literal 1 binary64) x)
%4 = (*.f64 #s(literal 1/2 binary64) x)
%5 = (*.f64 %2 %4)
%8 = (fma.f64 x #s(literal 2 binary64) #s(literal 2 binary64))
%10 = (fma.f64 x x x)
%11 = (*.f64 %10 #s(literal 2 binary64))
%13 = (+.f64 x x)
%14 = (*.f64 #s(literal 1/2 binary64) %2)
%17 = (-.f64 #s(literal -1 binary64) x)
%18 = (neg.f64 x)
%41 = (*.f64 %17 x)
%45 = (fabs.f64 x)
%46 = (sqrt.f64 %45)
%47 = (*.f64 %45 %46)
%49 = (*.f64 x %4)
%51 = (*.f64 %2 #s(literal 0 binary64))
%53 = (*.f64 #s(literal 0 binary64) %2)
%56 = (*.f64 #s(literal 1/2 binary64) %4)
%57 = (*.f64 x x)
%58 = (fma.f64 #s(literal 1/2 binary64) x %57)
%60 = (*.f64 %18 x)
%61 = (-.f64 %4 %60)
%64 = (-.f64 x #s(literal -1/2 binary64))
%65 = (*.f64 x %64)
%67 = (*.f64 %64 x)
%69 = (*.f64 %4 %4)
%71 = (*.f64 %13 %13)
%75 = (*.f64 #s(literal 2 binary64) x)
%80 = (*.f64 %4 %2)
%89 = (*.f64 x %13)
%99 = (*.f64 %46 %45)
%104 = (neg.f64 %45)
%139 = (+.f64 #s(literal 0 binary64) %57)
%167 = (/ x (- 1 x))
%168 = (approx %167 %10)
%173 = (fma.f64 %2 x #s(literal 1 binary64))
%174 = (*.f64 %173 #s(literal 1 binary64))
%176 = (*.f64 %173 %13)
%178 = (*.f64 %173 %4)
%180 = (fma.f64 %10 #s(literal 2 binary64) #s(literal 2 binary64))
%182 = (*.f64 #s(literal 1/2 binary64) %173)
%185 = (fma.f64 %10 x x)
%197 = (*.f64 %10 x)
%209 = (*.f64 %173 #s(literal 0 binary64))
%211 = (*.f64 #s(literal 0 binary64) %173)
%214 = (*.f64 x %45)
%217 = (fma.f64 x x #s(literal 1 binary64))
%220 = (*.f64 %2 %45)
%223 = (*.f64 %217 x)
%244 = (*.f64 %57 x)
%246 = (fma.f64 #s(literal 1/2 binary64) x %197)
%248 = (*.f64 %17 %57)
%249 = (-.f64 %4 %248)
%251 = (+.f64 #s(literal 1/2 binary64) %10)
%252 = (*.f64 x %251)
%254 = (*.f64 %251 x)
%270 = (fma.f64 %2 x #s(literal 1/2 binary64))
%275 = (*.f64 x %104)
%289 = (*.f64 %4 %173)
%312 = (*.f64 %45 x)
%327 = (*.f64 %104 x)
%410 = (*.f64 %60 x)
%447 = (approx %167 %185)
x
(*.f64 %5 #s(literal 2 binary64))
(*.f64 %4 %8)
(*.f64 %11 #s(literal 1/2 binary64))
(*.f64 %13 %14)
(*.f64 %17 %18)
(*.f64 %2 x)
(*.f64 %18 %17)
(*.f64 #s(literal 1 binary64) %10)
(*.f64 %10 #s(literal 1 binary64))
(*.f64 x %2)
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 (*.f64 %8 x) #s(literal 2 binary64))
(/.f64 (*.f64 %13 %2) #s(literal 2 binary64))
(/.f64 (fma.f64 x %13 %13) #s(literal 2 binary64))
(/.f64 (*.f64 %8 %13) #s(literal 4 binary64))
(/.f64 (*.f64 %13 %8) #s(literal 4 binary64))
(/.f64 %11 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(neg.f64 (+.f64 #s(literal 0 binary64) %41))
(neg.f64 %41)
(fma.f64 %47 %46 x)
(fma.f64 %49 #s(literal 2 binary64) x)
(fma.f64 %5 #s(literal 2 binary64) %51)
(fma.f64 %5 #s(literal 2 binary64) %53)
(fma.f64 %5 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %56 #s(literal 2 binary64) %58)
(fma.f64 %56 #s(literal 2 binary64) %61)
(fma.f64 %56 #s(literal 2 binary64) %65)
(fma.f64 %56 #s(literal 2 binary64) %67)
(fma.f64 %69 #s(literal 4 binary64) x)
(fma.f64 %71 #s(literal 1/4 binary64) x)
(fma.f64 %64 x %4)
(fma.f64 %4 %75 x)
(fma.f64 %4 %8 %51)
(fma.f64 %4 %8 %53)
(fma.f64 %4 %8 #s(literal 0 binary64))
(fma.f64 %4 %2 %80)
(fma.f64 %4 #s(literal 1 binary64) %58)
(fma.f64 %4 #s(literal 1 binary64) %61)
(fma.f64 %4 #s(literal 1 binary64) %65)
(fma.f64 %4 #s(literal 1 binary64) %67)
(fma.f64 %11 #s(literal 1/2 binary64) %51)
(fma.f64 %11 #s(literal 1/2 binary64) %53)
(fma.f64 %11 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %89 #s(literal 1/2 binary64) x)
(fma.f64 %13 %14 %51)
(fma.f64 %13 %14 %53)
(fma.f64 %13 %14 #s(literal 0 binary64))
(fma.f64 %13 #s(literal 1/4 binary64) %58)
(fma.f64 %13 #s(literal 1/4 binary64) %61)
(fma.f64 %13 #s(literal 1/4 binary64) %65)
(fma.f64 %13 #s(literal 1/4 binary64) %67)
(fma.f64 %13 %4 x)
(fma.f64 %46 %99 x)
(fma.f64 %17 %18 %51)
(fma.f64 %17 %18 %53)
(fma.f64 %17 %18 #s(literal 0 binary64))
(fma.f64 %104 %104 x)
(fma.f64 #s(literal 1/2 binary64) x %58)
(fma.f64 #s(literal 1/2 binary64) x %61)
(fma.f64 #s(literal 1/2 binary64) x %65)
(fma.f64 #s(literal 1/2 binary64) x %67)
(fma.f64 %2 %4 %5)
(fma.f64 %2 x %51)
(fma.f64 %2 x %53)
(fma.f64 %2 x #s(literal 0 binary64))
(fma.f64 %45 %45 x)
(fma.f64 %18 %17 %51)
(fma.f64 %18 %17 %53)
(fma.f64 %18 %17 #s(literal 0 binary64))
(fma.f64 %18 %18 x)
(fma.f64 %57 #s(literal 1 binary64) x)
(fma.f64 #s(literal 1 binary64) %4 %58)
(fma.f64 #s(literal 1 binary64) %4 %61)
(fma.f64 #s(literal 1 binary64) %4 %65)
(fma.f64 #s(literal 1 binary64) %4 %67)
(fma.f64 #s(literal 1 binary64) %57 x)
(fma.f64 #s(literal 1 binary64) %10 %51)
(fma.f64 #s(literal 1 binary64) %10 %53)
(fma.f64 #s(literal 1 binary64) %10 #s(literal 0 binary64))
(fma.f64 %10 #s(literal 1 binary64) %51)
(fma.f64 %10 #s(literal 1 binary64) %53)
(fma.f64 %10 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 x %64 %4)
(fma.f64 x #s(literal 1/2 binary64) %58)
(fma.f64 x #s(literal 1/2 binary64) %61)
(fma.f64 x #s(literal 1/2 binary64) %65)
(fma.f64 x #s(literal 1/2 binary64) %67)
(fma.f64 x %2 %51)
(fma.f64 x %2 %53)
(fma.f64 x %2 #s(literal 0 binary64))
%10
(-.f64 %139 %18)
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) %10))
(-.f64 #s(literal 0 binary64) %41)
(-.f64 %57 %18)
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) %10))
(-.f64 x %60)
(+.f64 %5 %5)
(+.f64 %65 %4)
(+.f64 %80 %80)
(+.f64 %67 %4)
(+.f64 %4 %58)
(+.f64 %4 %61)
(+.f64 %4 %65)
(+.f64 %4 %67)
(+.f64 #s(literal 0 binary64) %10)
(+.f64 %57 x)
(+.f64 %10 %51)
(+.f64 %10 %53)
(+.f64 %10 #s(literal 0 binary64))
(+.f64 x (-.f64 #s(literal 0 binary64) %60))
(+.f64 x %139)
(+.f64 x %57)
(*.f64 #s(literal 1 binary64) %168)
(pow.f64 %168 #s(literal 1 binary64))
%168
(/.f64 #s(literal 1 binary64) (pow.f64 %168 #s(literal -1 binary64)))
(*.f64 %174 x)
(*.f64 %176 #s(literal 1/2 binary64))
(*.f64 %178 #s(literal 2 binary64))
(*.f64 %4 %180)
(*.f64 %13 %182)
(*.f64 %173 x)
(*.f64 %185 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %185)
(*.f64 x %173)
(pow.f64 %185 #s(literal 1 binary64))
(/.f64 %176 #s(literal 2 binary64))
(/.f64 (*.f64 x %180) #s(literal 2 binary64))
(/.f64 (*.f64 %180 x) #s(literal 2 binary64))
(/.f64 (*.f64 %13 %173) #s(literal 2 binary64))
(/.f64 (fma.f64 %197 #s(literal 2 binary64) %13) #s(literal 2 binary64))
(/.f64 (*.f64 %180 %13) #s(literal 4 binary64))
(/.f64 (*.f64 %13 %180) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %185 #s(literal -1 binary64)))
(neg.f64 (*.f64 (-.f64 #s(literal -1 binary64) %10) x))
(fma.f64 %174 x %209)
(fma.f64 %174 x %211)
(fma.f64 %174 x #s(literal 0 binary64))
(fma.f64 (*.f64 %214 %46) %46 %10)
(fma.f64 (*.f64 %217 #s(literal 1 binary64)) x %57)
(fma.f64 (*.f64 %220 %46) %46 x)
(fma.f64 %47 %46 %223)
(fma.f64 %176 #s(literal 1/2 binary64) %209)
(fma.f64 %176 #s(literal 1/2 binary64) %211)
(fma.f64 %176 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %57 %13) #s(literal 1/2 binary64) %10)
(fma.f64 (*.f64 %217 %13) #s(literal 1/2 binary64) %57)
(fma.f64 (*.f64 %10 %13) #s(literal 1/2 binary64) x)
(fma.f64 %178 #s(literal 2 binary64) %209)
(fma.f64 %178 #s(literal 2 binary64) %211)
(fma.f64 %178 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %57 %4) #s(literal 2 binary64) %10)
(fma.f64 (*.f64 %217 %4) #s(literal 2 binary64) %57)
(fma.f64 %49 #s(literal 2 binary64) %223)
(fma.f64 (*.f64 %10 %4) #s(literal 2 binary64) x)
(fma.f64 %5 #s(literal 2 binary64) %244)
(fma.f64 %56 #s(literal 2 binary64) %246)
(fma.f64 %56 #s(literal 2 binary64) %249)
(fma.f64 %56 #s(literal 2 binary64) %252)
(fma.f64 %56 #s(literal 2 binary64) %254)
(fma.f64 %69 #s(literal 4 binary64) %223)
(fma.f64 %71 #s(literal 1/4 binary64) %223)
(fma.f64 (pow.f64 %4 #s(literal 3 binary64)) #s(literal 8 binary64) %10)
(fma.f64 (pow.f64 %13 #s(literal 3 binary64)) #s(literal 1/8 binary64) %10)
(fma.f64 (*.f64 %18 %104) %45 %10)
(fma.f64 (*.f64 %18 %45) %104 %10)
(fma.f64 %223 #s(literal 1 binary64) %57)
(fma.f64 %270 x %4)
(fma.f64 (*.f64 %2 %104) %104 x)
(fma.f64 %220 %45 x)
(fma.f64 %275 %104 %10)
(fma.f64 %214 %45 %10)
(fma.f64 %4 (*.f64 #s(literal 2 binary64) %57) %10)
(fma.f64 %4 (*.f64 #s(literal 2 binary64) %10) x)
(fma.f64 %4 %75 %223)
(fma.f64 %4 %180 %209)
(fma.f64 %4 %180 %211)
(fma.f64 %4 %180 #s(literal 0 binary64))
(fma.f64 %4 (fma.f64 x %13 #s(literal 2 binary64)) %57)
(fma.f64 %4 %8 %244)
(fma.f64 %4 %173 %289)
(fma.f64 %4 #s(literal 1 binary64) %246)
(fma.f64 %4 #s(literal 1 binary64) %249)
(fma.f64 %4 #s(literal 1 binary64) %252)
(fma.f64 %4 #s(literal 1 binary64) %254)
(fma.f64 %11 #s(literal 1/2 binary64) %244)
(fma.f64 %89 #s(literal 1/2 binary64) %223)
(fma.f64 %13 %182 %209)
(fma.f64 %13 %182 %211)
(fma.f64 %13 %182 #s(literal 0 binary64))
(fma.f64 %13 (*.f64 #s(literal 1/2 binary64) %217) %57)
(fma.f64 %13 %14 %244)
(fma.f64 %13 (*.f64 #s(literal 1/2 binary64) %57) %10)
(fma.f64 %13 (*.f64 #s(literal 1/2 binary64) %10) x)
(fma.f64 %13 #s(literal 1/4 binary64) %246)
(fma.f64 %13 #s(literal 1/4 binary64) %249)
(fma.f64 %13 #s(literal 1/4 binary64) %252)
(fma.f64 %13 #s(literal 1/4 binary64) %254)
(fma.f64 %13 %4 %223)
(fma.f64 %46 (*.f64 %46 %312) %10)
(fma.f64 %46 %99 %223)
(fma.f64 %217 x %57)
(fma.f64 %17 %60 x)
(fma.f64 %17 %18 %244)
(fma.f64 %244 #s(literal 1 binary64) %10)
(fma.f64 %41 %18 x)
(fma.f64 %60 %17 x)
(fma.f64 %60 %18 %10)
(fma.f64 %104 (*.f64 %104 %2) x)
(fma.f64 %104 (fma.f64 %104 x %104) x)
(fma.f64 %104 (+.f64 %104 %327) x)
(fma.f64 %104 (-.f64 %327 %45) x)
(fma.f64 %104 (fma.f64 x %104 %104) x)
(fma.f64 %104 (+.f64 %104 %275) x)
(fma.f64 %104 (-.f64 %275 %45) x)
(fma.f64 %104 (*.f64 %45 %18) %10)
(fma.f64 %104 %327 %10)
(fma.f64 %104 %104 %223)
(fma.f64 #s(literal 1/2 binary64) x %246)
(fma.f64 #s(literal 1/2 binary64) x %249)
(fma.f64 #s(literal 1/2 binary64) x %252)
(fma.f64 #s(literal 1/2 binary64) x %254)
(fma.f64 %173 %4 %178)
(fma.f64 %173 x %209)
(fma.f64 %173 x %211)
(fma.f64 %173 x #s(literal 0 binary64))
(fma.f64 %2 %57 x)
(fma.f64 %2 x %244)
(fma.f64 %45 (*.f64 %45 %2) x)
(fma.f64 %45 (fma.f64 %45 x %45) x)
(fma.f64 %45 (+.f64 %45 %312) x)
(fma.f64 %45 (-.f64 %312 %104) x)
(fma.f64 %45 (fma.f64 x %45 %45) x)
(fma.f64 %45 (+.f64 %45 %214) x)
(fma.f64 %45 (-.f64 %214 %104) x)
(fma.f64 %45 (*.f64 %104 %18) %10)
(fma.f64 %45 %312 %10)
(fma.f64 %45 %45 %223)
(fma.f64 %18 %17 %244)
(fma.f64 %18 %41 x)
(fma.f64 %18 %60 %10)
(fma.f64 %18 %18 %223)
(fma.f64 %197 #s(literal 1 binary64) x)
(fma.f64 %57 %2 x)
(fma.f64 %57 #s(literal 1 binary64) %223)
(fma.f64 %57 x %10)
(fma.f64 %185 #s(literal 1 binary64) %209)
(fma.f64 %185 #s(literal 1 binary64) %211)
(fma.f64 %185 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %223 %57)
(fma.f64 #s(literal 1 binary64) %4 %246)
(fma.f64 #s(literal 1 binary64) %4 %249)
(fma.f64 #s(literal 1 binary64) %4 %252)
(fma.f64 #s(literal 1 binary64) %4 %254)
(fma.f64 #s(literal 1 binary64) %244 %10)
(fma.f64 #s(literal 1 binary64) %197 x)
(fma.f64 #s(literal 1 binary64) %57 %223)
(fma.f64 #s(literal 1 binary64) %185 %209)
(fma.f64 #s(literal 1 binary64) %185 %211)
(fma.f64 #s(literal 1 binary64) %185 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %10 %244)
(fma.f64 %10 #s(literal 1 binary64) %244)
%185
(fma.f64 x %270 %4)
(fma.f64 x %217 %57)
(fma.f64 x #s(literal 1/2 binary64) %246)
(fma.f64 x #s(literal 1/2 binary64) %249)
(fma.f64 x #s(literal 1/2 binary64) %252)
(fma.f64 x #s(literal 1/2 binary64) %254)
(fma.f64 x %173 %209)
(fma.f64 x %173 %211)
(fma.f64 x %173 #s(literal 0 binary64))
(fma.f64 x %2 %244)
(fma.f64 x %57 %10)
(fma.f64 x %10 x)
(fma.f64 x x %223)
(-.f64 %223 %60)
(-.f64 %244 %41)
(-.f64 %197 %18)
(-.f64 %57 (-.f64 %410 x))
(-.f64 %57 (fma.f64 %60 x %18))
(-.f64 %57 (*.f64 %18 %217))
(-.f64 %57 (*.f64 (-.f64 #s(literal -1 binary64) %57) x))
(-.f64 %57 (neg.f64 %223))
(-.f64 %10 %410)
(-.f64 x %248)
(+.f64 %178 %178)
(+.f64 (*.f64 x %270) %4)
(+.f64 %289 %289)
(+.f64 (*.f64 %270 x) %4)
(+.f64 %223 %57)
(+.f64 %4 %246)
(+.f64 %4 %249)
(+.f64 %4 %252)
(+.f64 %4 %254)
(+.f64 %244 %10)
(+.f64 %197 x)
(+.f64 %57 %223)
(+.f64 %185 %209)
(+.f64 %185 %211)
(+.f64 %185 #s(literal 0 binary64))
(+.f64 %10 %244)
(+.f64 x (+.f64 #s(literal 0 binary64) %197))
(+.f64 x (-.f64 #s(literal 0 binary64) %248))
(+.f64 x %197)
(*.f64 #s(literal 1 binary64) %447)
(pow.f64 %447 #s(literal 1 binary64))
%447
(/.f64 #s(literal 1 binary64) (pow.f64 %447 #s(literal -1 binary64)))
reconstruct31.0ms (2.9%)
Counts
328 → 50
Compiler
Compiled 328 to 473 computations (-44.2% saved)
eval6.0ms (0.5%)
Compiler
Compiled 59 to 117 computations (-98.3% saved)
prune3.0ms (0.3%)
Pruning
6 alts after pruning (0 fresh and 6 done)
PrunedKeptTotal
New59059
Fresh000
Picked022
Done044
Total59665
Accuracy
100.0%
Counts
65 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓50.1%
(/.f64 x (approx (- 1 x) #s(literal 1 binary64)))
✓99.8%
(*.f64 x (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)))
✓50.6%
(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
✓49.7%
(approx (/ x (- 1 x)) (fma.f64 x x x))
✓51.5%
(approx (/ x (- 1 x)) #s(literal -1 binary64))
Compiler
Compiled 6 to 10 computations (-66.7% saved)
regimes9.0ms (0.9%)
Accuracy
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
0.0b0.0%
0.0b-∞%
0.0b100.0%
-0.0b100.0%
Counts
1 → 1
2 → 2
3 → 2
5 → 1
Calls
Call 1
Inputs
(approx (/ x (- 1 x)) #s(literal -1 binary64))
Outputs
(approx (/ x (- 1 x)) #s(literal -1 binary64))
Call 2
Inputs
%2 = (- 1 x)
(approx (/ x %2) #s(literal -1 binary64))
(/.f64 x (approx %2 #s(literal 1 binary64)))
Outputs
%2 = (- 1 x)
(approx (/ x %2) #s(literal -1 binary64))
(/.f64 x (approx %2 #s(literal 1 binary64)))
Call 3
Inputs
%2 = (- 1 x)
%3 = (/ x %2)
(approx %3 #s(literal -1 binary64))
(/.f64 x (approx %2 #s(literal 1 binary64)))
(approx %3 (fma.f64 x x x))
Outputs
%3 = (/ x (- 1 x))
(approx %3 #s(literal -1 binary64))
(approx %3 (fma.f64 x x x))
Call 4
Inputs
%2 = (- 1 x)
%3 = (/ x %2)
(approx %3 #s(literal -1 binary64))
(/.f64 x (approx %2 #s(literal 1 binary64)))
(approx %3 (fma.f64 x x x))
(approx %3 (*.f64 x (+.f64 #s(literal 1 binary64) x)))
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Calls
2 calls:
5.0ms
x
3.0ms
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Results
AccuracySegmentsBranch
51.5%1
x
51.5%1
(/.f64 x (-.f64 #s(literal 1 binary64) x))
Compiler
Compiled 10 to 18 computations (-80.0% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-0.9999999999897253
-5.533973650321139e-8
Compiler
Compiled 1 to 4 computations (-300.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-0.9999999999897253
-5.533973650321139e-8
Compiler
Compiled 1 to 4 computations (-300.0% saved)
bsearch0.0ms (0.0%)
derivations22.0ms (2.1%)
Stop Event
1×done
Compiler
Compiled 4 to 11 computations (-175.0% saved)
preprocess15.0ms (1.4%)
Compiler
Compiled 5 to 15 computations (-200.0% saved)
end0.0ms (0.0%)
gc231ms (21.6%)
Allocations
AllocatedPercentPhase
325.0 MiB37.0%rewrite
258.4 MiB29.5%reconstruct
162.3 MiB18.5%sample
41.4 MiB4.7%preprocess
24.9 MiB2.8%series
24.2 MiB2.8%eval
15.5 MiB1.8%regimes
11.9 MiB1.4%derivations
11.8 MiB1.3%prune
1.3 MiB0.1%bsearch
0.5 MiB0.1%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
877.3 MiB100.0%total
Profiling
Loading profile data...