Numeric.SpecFunctions:$slogFactorial from math-functions-0.1.5.2, A

Time bar (total: 981.0ms)

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)

sample308.0ms (31.3%)

Samples
199.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
Div: 5.0ms (54.0% of total, 0.0 MiB)
Mul: 4.0ms (43.2% of total, 0.0 MiB)
Bogosity

preprocess40.0ms (4.1%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0815
15010
218610
364910
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.2%
(/.f64 #s(literal 1 binary64) (*.f64 x x))
Symmetry

(abs x)

Compiler

Compiled 2 to 8 computations (-300.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series11.0ms (1.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01224
Stop Event
1×iter-limit
Counts
4 → 4
Calls
Call 1
Inputs
%2 = (*.f64 x x)
#s(literal 1 binary64)
x
%2
(/.f64 #s(literal 1 binary64) %2)
Outputs
%5 = (* x x)
%7 = (pow.f64 x #s(literal 2 binary64))
(approx 1 #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx (/ 1 %5) (/.f64 #s(literal 1 binary64) %7))
Calls
3 calls:
TimeVariablePoint
4.0ms
x
inf
1.0ms
x
-inf
1.0ms
x
0
rewrite148.0ms (15.1%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
0410
0610
1318
21198
35668
043098
046338
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 425
Calls
Call 1
Inputs
%2 = (*.f64 x x)
#s(literal 1 binary64)
x
%2
(/.f64 #s(literal 1 binary64) %2)
Outputs
%2 = (fabs.f64 x)
%3 = (sqrt.f64 %2)
%6 = (neg.f64 %2)
%9 = (neg.f64 x)
%11 = (*.f64 x x)
%13 = (*.f64 %11 %11)
%22 = (/.f64 #s(literal 1 binary64) %11)
%24 = (*.f64 %9 x)
%27 = (*.f64 %9 %6)
%29 = (*.f64 x %6)
%31 = (*.f64 %9 %2)
%33 = (*.f64 x %2)
%35 = (*.f64 %6 %9)
%37 = (*.f64 %2 %9)
%39 = (*.f64 %6 x)
%41 = (*.f64 %2 x)
%45 = (/.f64 #s(literal 2 binary64) %11)
%47 = (/.f64 %45 #s(literal 8 binary64))
%51 = (/.f64 #s(literal -1 binary64) %2)
%52 = (*.f64 %51 #s(literal -1 binary64))
%54 = (*.f64 %51 #s(literal 1 binary64))
%56 = (/.f64 #s(literal 1 binary64) %2)
%57 = (*.f64 %56 #s(literal -1 binary64))
%59 = (/.f64 %22 #s(literal 1/2 binary64))
%61 = (/.f64 %22 #s(literal 4 binary64))
%63 = (/.f64 #s(literal 2 binary64) %2)
%64 = (/.f64 %63 %3)
%65 = (/.f64 #s(literal 1/2 binary64) %3)
%68 = (/.f64 #s(literal 2 binary64) %3)
%69 = (/.f64 #s(literal 1/2 binary64) %2)
%70 = (/.f64 %69 %3)
%72 = (/.f64 %56 %3)
%73 = (/.f64 #s(literal 1 binary64) %3)
%76 = (/.f64 #s(literal 4 binary64) %11)
%79 = (/.f64 #s(literal 1/4 binary64) %6)
%80 = (/.f64 #s(literal 4 binary64) %6)
%83 = (/.f64 #s(literal 1/4 binary64) %2)
%84 = (/.f64 #s(literal 4 binary64) %2)
%87 = (/.f64 #s(literal 1/4 binary64) %9)
%88 = (/.f64 #s(literal 4 binary64) %9)
%91 = (/.f64 #s(literal 1/4 binary64) x)
%92 = (/.f64 #s(literal 4 binary64) x)
%95 = (/.f64 #s(literal -1 binary64) x)
%96 = (*.f64 %95 #s(literal -1 binary64))
%100 = (/.f64 #s(literal -2 binary64) %11)
%103 = (*.f64 #s(literal 1/4 binary64) %22)
%105 = (*.f64 #s(literal 4 binary64) %22)
%107 = (*.f64 %63 %63)
%109 = (/.f64 #s(literal -2 binary64) x)
%110 = (*.f64 %109 %109)
%112 = (/.f64 #s(literal 2 binary64) x)
%113 = (*.f64 %112 %112)
%116 = (/.f64 #s(literal -2 binary64) %2)
%117 = (/.f64 #s(literal -1/2 binary64) %2)
%118 = (*.f64 %117 #s(literal 1 binary64))
%120 = (*.f64 %69 #s(literal -1 binary64))
%123 = (*.f64 %116 #s(literal 1 binary64))
%125 = (*.f64 %63 #s(literal -1 binary64))
%131 = (*.f64 %103 #s(literal 1 binary64))
%133 = (/.f64 #s(literal 1/4 binary64) %11)
%136 = (+.f64 x x)
%137 = (*.f64 x %136)
%138 = (/.f64 #s(literal 1/2 binary64) %137)
%140 = (fabs.f64 %103)
%146 = (/.f64 #s(literal 1/2 binary64) %11)
%148 = (/.f64 #s(literal -1 binary64) %11)
%149 = (*.f64 %148 #s(literal 2 binary64))
%153 = (*.f64 %116 #s(literal -1 binary64))
%156 = (*.f64 %117 #s(literal -1 binary64))
%159 = (/.f64 #s(literal -1/2 binary64) x)
%160 = (*.f64 %112 #s(literal -1 binary64))
%163 = (/.f64 #s(literal 1/2 binary64) x)
%164 = (*.f64 %163 #s(literal -1 binary64))
%167 = (*.f64 %109 #s(literal -1 binary64))
%170 = (*.f64 %159 #s(literal -1 binary64))
%173 = (*.f64 %146 #s(literal -1 binary64))
%175 = (/.f64 #s(literal -1/2 binary64) %11)
%176 = (*.f64 %175 #s(literal 1 binary64))
%179 = (/.f64 #s(literal 1 binary64) x)
%182 = (*.f64 %100 #s(literal -1 binary64))
%187 = (*.f64 %175 #s(literal -1 binary64))
%211 = (*.f64 %116 #s(literal 1/2 binary64))
%258 = (*.f64 %6 %24)
%271 = (*.f64 %6 %11)
%275 = (*.f64 %24 %6)
%282 = (*.f64 %24 %2)
%286 = (*.f64 %24 %9)
%290 = (*.f64 %24 x)
%294 = (*.f64 %24 %11)
%301 = (*.f64 %2 %24)
%314 = (*.f64 %2 %11)
%321 = (*.f64 %9 %24)
%334 = (*.f64 %9 %11)
%341 = (*.f64 x %24)
%354 = (*.f64 x %11)
%358 = (*.f64 %11 %6)
%362 = (*.f64 %11 %24)
%366 = (*.f64 %11 %2)
%370 = (*.f64 %11 %9)
%374 = (*.f64 %11 x)
%388 = (fabs.f64 %136)
%391 = (*.f64 %388 %11)
%393 = (neg.f64 %136)
%396 = (*.f64 %393 %11)
%400 = (*.f64 %136 %11)
%402 = (*.f64 %9 %136)
%405 = (*.f64 %402 %11)
%415 = (*.f64 %137 %11)
%662 = (*.f64 #s(literal 3/2 binary64) %146)
%700 = (*.f64 %146 #s(literal 1/2 binary64))
%702 = (*.f64 %146 #s(literal 3/2 binary64))
%756 = (*.f64 %148 #s(literal 1/2 binary64))
%758 = (*.f64 #s(literal -1 binary64) %146)
%797 = (/.f64 #s(literal 3/2 binary64) %137)
#s(literal 1 binary64)
x
(*.f64 %3 (*.f64 %3 %2))
(*.f64 %6 %6)
(*.f64 %2 %2)
(*.f64 %9 %9)
%11
(*.f64 #s(literal 1 binary64) %11)
(pow.f64 %13 #s(literal 1/2 binary64))
(pow.f64 %6 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 %9 #s(literal 2 binary64))
(pow.f64 %11 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %22)
(neg.f64 %24)
(sqrt.f64 %13)
(fabs.f64 %27)
(fabs.f64 %29)
(fabs.f64 %31)
(fabs.f64 %33)
(fabs.f64 %35)
(fabs.f64 %37)
(fabs.f64 %39)
(fabs.f64 %41)
(fabs.f64 %24)
(fabs.f64 %11)
(*.f64 %47 #s(literal 4 binary64))
(*.f64 %52 %52)
(*.f64 %54 %54)
(*.f64 %57 %57)
(*.f64 %59 #s(literal 1/2 binary64))
(*.f64 %61 #s(literal 4 binary64))
(*.f64 %64 %65)
(*.f64 %65 %64)
(*.f64 %68 %70)
(*.f64 %72 %73)
(*.f64 %73 %72)
(*.f64 %76 #s(literal 1/4 binary64))
(*.f64 %79 %80)
(*.f64 %80 %79)
(*.f64 %83 %84)
(*.f64 %84 %83)
(*.f64 %87 %88)
(*.f64 %88 %87)
(*.f64 %91 %92)
(*.f64 %92 %91)
(*.f64 %96 %96)
(*.f64 %45 #s(literal 1/2 binary64))
(*.f64 %100 #s(literal -1/2 binary64))
(*.f64 %103 #s(literal 4 binary64))
(*.f64 #s(literal 1/4 binary64) %105)
(*.f64 #s(literal 1/4 binary64) %107)
(*.f64 #s(literal 1/4 binary64) %110)
(*.f64 #s(literal 1/4 binary64) %113)
(*.f64 #s(literal 1/4 binary64) %76)
(*.f64 %116 %118)
(*.f64 %116 %120)
(*.f64 %116 %117)
(*.f64 %117 %123)
(*.f64 %117 %125)
(*.f64 %117 %116)
(*.f64 %51 %54)
(*.f64 %51 %57)
(*.f64 %51 %51)
(*.f64 #s(literal 4 binary64) %131)
(*.f64 #s(literal 4 binary64) %133)
(*.f64 #s(literal 4 binary64) %61)
(*.f64 #s(literal 4 binary64) %138)
(*.f64 #s(literal 4 binary64) %140)
(*.f64 #s(literal 4 binary64) %103)
(*.f64 %56 %52)
(*.f64 %56 %56)
(*.f64 %95 %95)
(*.f64 %146 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %149)
(*.f64 #s(literal -1/2 binary64) %100)
(*.f64 %148 #s(literal -1 binary64))
(*.f64 %69 %153)
(*.f64 %69 %63)
(*.f64 %63 %156)
(*.f64 %63 %69)
(*.f64 %159 %160)
(*.f64 %159 %109)
(*.f64 %109 %164)
(*.f64 %109 %159)
(*.f64 %163 %167)
(*.f64 %163 %112)
(*.f64 %112 %170)
(*.f64 %112 %163)
(*.f64 #s(literal -2 binary64) %173)
(*.f64 #s(literal -2 binary64) %176)
(*.f64 #s(literal -2 binary64) %175)
(*.f64 %179 %96)
(*.f64 %179 %179)
(*.f64 #s(literal 1/2 binary64) %182)
(*.f64 #s(literal 1/2 binary64) %59)
(*.f64 #s(literal 1/2 binary64) %45)
(*.f64 #s(literal -1 binary64) %148)
(*.f64 #s(literal 2 binary64) %187)
(*.f64 #s(literal 2 binary64) %146)
(*.f64 %22 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %22)
(pow.f64 %51 #s(literal 2 binary64))
(pow.f64 %13 #s(literal -1/2 binary64))
(pow.f64 %56 #s(literal 2 binary64))
(pow.f64 %95 #s(literal 2 binary64))
(pow.f64 %6 #s(literal -2 binary64))
(pow.f64 %179 #s(literal 2 binary64))
(pow.f64 %2 #s(literal -2 binary64))
(pow.f64 %9 #s(literal -2 binary64))
(pow.f64 %22 #s(literal 1 binary64))
(pow.f64 %11 #s(literal -1 binary64))
(pow.f64 x #s(literal -2 binary64))
(/.f64 (*.f64 %146 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %69 #s(literal -2 binary64)) %6)
(/.f64 (*.f64 %22 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %116 #s(literal -1/2 binary64)) %2)
(/.f64 %211 %6)
(/.f64 (*.f64 %159 #s(literal -2 binary64)) x)
(/.f64 (*.f64 %117 #s(literal 2 binary64)) %6)
(/.f64 (*.f64 #s(literal 8 binary64) %146) #s(literal 4 binary64))
(/.f64 %105 #s(literal 4 binary64))
(/.f64 (/.f64 %45 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %45 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 %149 #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %22) #s(literal -2 binary64))
(/.f64 (*.f64 %22 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %109 #s(literal -1/2 binary64)) x)
(/.f64 (*.f64 %112 #s(literal -1/2 binary64)) %9)
(/.f64 (*.f64 %63 #s(literal -1/2 binary64)) %6)
(/.f64 %52 %2)
(/.f64 %54 %6)
(/.f64 %57 %6)
(/.f64 (fma.f64 %146 %6 %117) %6)
(/.f64 (fma.f64 %146 %24 #s(literal -1/2 binary64)) %24)
(/.f64 (fma.f64 %146 %2 %69) %2)
(/.f64 (fma.f64 %146 %9 %159) %9)
(/.f64 (fma.f64 %146 x %163) x)
(/.f64 (fma.f64 %146 %11 #s(literal 1/2 binary64)) %11)
(/.f64 (fma.f64 %22 %11 #s(literal 0 binary64)) %11)
(/.f64 (fma.f64 %117 %6 (*.f64 %117 %6)) %11)
(/.f64 (fma.f64 %117 %24 (*.f64 #s(literal -1/2 binary64) %6)) %258)
(/.f64 (fma.f64 %117 %2 (*.f64 %69 %6)) %24)
(/.f64 (fma.f64 %117 %9 (*.f64 %159 %6)) %35)
(/.f64 (fma.f64 %117 x (*.f64 %163 %6)) %39)
(/.f64 (fma.f64 %117 %11 (*.f64 #s(literal 1/2 binary64) %6)) %271)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %6 (*.f64 %117 %24)) %275)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %24 (*.f64 #s(literal -1/2 binary64) %24)) %13)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %2 (*.f64 %69 %24)) %282)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %9 (*.f64 %159 %24)) %286)
(/.f64 (fma.f64 #s(literal -1/2 binary64) x (*.f64 %163 %24)) %290)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %11 (*.f64 #s(literal 1/2 binary64) %24)) %294)
(/.f64 (fma.f64 %69 %6 (*.f64 %117 %2)) %24)
(/.f64 (fma.f64 %69 %24 (*.f64 #s(literal -1/2 binary64) %2)) %301)
(/.f64 (fma.f64 %69 %2 (*.f64 %69 %2)) %11)
(/.f64 (fma.f64 %69 %9 (*.f64 %159 %2)) %37)
(/.f64 (fma.f64 %69 x (*.f64 %163 %2)) %41)
(/.f64 (fma.f64 %69 %11 (*.f64 #s(literal 1/2 binary64) %2)) %314)
(/.f64 (fma.f64 %159 %6 (*.f64 %117 %9)) %27)
(/.f64 (fma.f64 %159 %24 (*.f64 #s(literal -1/2 binary64) %9)) %321)
(/.f64 (fma.f64 %159 %2 (*.f64 %69 %9)) %31)
(/.f64 (fma.f64 %159 %9 (*.f64 %159 %9)) %11)
(/.f64 (fma.f64 %159 x (*.f64 %163 %9)) %24)
(/.f64 (fma.f64 %159 %11 (*.f64 #s(literal 1/2 binary64) %9)) %334)
(/.f64 (fma.f64 %163 %6 (*.f64 %117 x)) %29)
(/.f64 (fma.f64 %163 %24 (*.f64 #s(literal -1/2 binary64) x)) %341)
(/.f64 (fma.f64 %163 %2 (*.f64 %69 x)) %33)
(/.f64 (fma.f64 %163 %9 (*.f64 %159 x)) %24)
(/.f64 (fma.f64 %163 x (*.f64 %163 x)) %11)
(/.f64 (fma.f64 %163 %11 (*.f64 #s(literal 1/2 binary64) x)) %354)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %6 (*.f64 %117 %11)) %358)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %24 (*.f64 #s(literal -1/2 binary64) %11)) %362)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %2 (*.f64 %69 %11)) %366)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %9 (*.f64 %159 %11)) %370)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 %163 %11)) %374)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %11 (*.f64 #s(literal 1/2 binary64) %11)) %13)
(/.f64 (fma.f64 %51 %11 (*.f64 #s(literal 0 binary64) %6)) %271)
(/.f64 (fma.f64 %56 %11 (*.f64 #s(literal 0 binary64) %2)) %314)
(/.f64 (fma.f64 %95 %11 (*.f64 #s(literal 0 binary64) %9)) %334)
(/.f64 (fma.f64 %63 %11 (*.f64 #s(literal 0 binary64) %388)) %391)
(/.f64 (fma.f64 %109 %11 (*.f64 #s(literal 0 binary64) %393)) %396)
(/.f64 (fma.f64 %112 %11 (*.f64 #s(literal 0 binary64) %136)) %400)
(/.f64 (fma.f64 #s(literal -2 binary64) %11 (*.f64 #s(literal 0 binary64) %402)) %405)
(/.f64 (fma.f64 %179 %11 (*.f64 #s(literal 0 binary64) x)) %354)
(/.f64 (fma.f64 #s(literal -1 binary64) %11 (*.f64 #s(literal 0 binary64) %24)) %294)
(/.f64 (fma.f64 x %136 (*.f64 #s(literal 0 binary64) %137)) %415)
(/.f64 (fma.f64 x x (*.f64 #s(literal 0 binary64) %11)) %13)
(/.f64 %72 %3)
(/.f64 (fma.f64 %117 %6 (*.f64 %6 %117)) %11)
(/.f64 (fma.f64 %117 %24 (*.f64 %6 #s(literal -1/2 binary64))) %258)
(/.f64 (fma.f64 %117 %2 (*.f64 %6 %69)) %24)
(/.f64 (fma.f64 %117 %9 (*.f64 %6 %159)) %35)
(/.f64 (fma.f64 %117 x (*.f64 %6 %163)) %39)
(/.f64 (fma.f64 %117 %11 (*.f64 %6 #s(literal 1/2 binary64))) %271)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %6 (*.f64 %24 %117)) %275)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %24 (*.f64 %24 #s(literal -1/2 binary64))) %13)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %2 (*.f64 %24 %69)) %282)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %9 (*.f64 %24 %159)) %286)
(/.f64 (fma.f64 #s(literal -1/2 binary64) x (*.f64 %24 %163)) %290)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %11 (*.f64 %24 #s(literal 1/2 binary64))) %294)
(/.f64 (fma.f64 %69 %6 (*.f64 %2 %117)) %24)
(/.f64 (fma.f64 %69 %24 (*.f64 %2 #s(literal -1/2 binary64))) %301)
(/.f64 (fma.f64 %69 %2 (*.f64 %2 %69)) %11)
(/.f64 (fma.f64 %69 %9 (*.f64 %2 %159)) %37)
(/.f64 (fma.f64 %69 x (*.f64 %2 %163)) %41)
(/.f64 (fma.f64 %69 %11 (*.f64 %2 #s(literal 1/2 binary64))) %314)
(/.f64 (fma.f64 %159 %6 (*.f64 %9 %117)) %27)
(/.f64 (fma.f64 %159 %24 (*.f64 %9 #s(literal -1/2 binary64))) %321)
(/.f64 (fma.f64 %159 %2 (*.f64 %9 %69)) %31)
(/.f64 (fma.f64 %159 %9 (*.f64 %9 %159)) %11)
(/.f64 (fma.f64 %159 x (*.f64 %9 %163)) %24)
(/.f64 (fma.f64 %159 %11 (*.f64 %9 #s(literal 1/2 binary64))) %334)
(/.f64 (fma.f64 %163 %6 (*.f64 x %117)) %29)
(/.f64 (fma.f64 %163 %24 (*.f64 x #s(literal -1/2 binary64))) %341)
(/.f64 (fma.f64 %163 %2 (*.f64 x %69)) %33)
(/.f64 (fma.f64 %163 %9 (*.f64 x %159)) %24)
(/.f64 (fma.f64 %163 x (*.f64 x %163)) %11)
(/.f64 (fma.f64 %163 %11 (*.f64 x #s(literal 1/2 binary64))) %354)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %6 (*.f64 %11 %117)) %358)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %24 (*.f64 %11 #s(literal -1/2 binary64))) %362)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %2 (*.f64 %11 %69)) %366)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %9 (*.f64 %11 %159)) %370)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 %11 %163)) %374)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %11 (*.f64 %11 #s(literal 1/2 binary64))) %13)
(/.f64 (fma.f64 %45 %11 #s(literal 0 binary64)) %137)
(/.f64 (fma.f64 %51 %11 (*.f64 %6 #s(literal 0 binary64))) %271)
(/.f64 (fma.f64 %56 %11 (*.f64 %2 #s(literal 0 binary64))) %314)
(/.f64 (fma.f64 %95 %11 (*.f64 %9 #s(literal 0 binary64))) %334)
(/.f64 (fma.f64 %63 %11 (*.f64 %388 #s(literal 0 binary64))) %391)
(/.f64 (fma.f64 %109 %11 (*.f64 %393 #s(literal 0 binary64))) %396)
(/.f64 (fma.f64 %112 %11 (*.f64 %136 #s(literal 0 binary64))) %400)
(/.f64 (fma.f64 #s(literal -2 binary64) %11 (*.f64 %402 #s(literal 0 binary64))) %405)
(/.f64 (fma.f64 %179 %11 (*.f64 x #s(literal 0 binary64))) %354)
(/.f64 (fma.f64 #s(literal -1 binary64) %11 (*.f64 %24 #s(literal 0 binary64))) %294)
(/.f64 (fma.f64 x %136 (*.f64 %137 #s(literal 0 binary64))) %415)
(/.f64 (fma.f64 x x (*.f64 %11 #s(literal 0 binary64))) %13)
(/.f64 %96 x)
(/.f64 %45 #s(literal 2 binary64))
(/.f64 %100 #s(literal -2 binary64))
(/.f64 %116 (neg.f64 %388))
(/.f64 %51 %6)
(/.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %137))
(/.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %137))
(/.f64 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %11))
(/.f64 %56 %2)
(/.f64 %95 %9)
(/.f64 %146 #s(literal 1/2 binary64))
(/.f64 %63 %388)
(/.f64 %109 %393)
(/.f64 %112 %136)
(/.f64 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %11))
(/.f64 #s(literal -2 binary64) (*.f64 %393 x))
(/.f64 #s(literal -2 binary64) %402)
(/.f64 %179 x)
(/.f64 #s(literal -1 binary64) %24)
(/.f64 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %24))
(/.f64 #s(literal 2 binary64) (*.f64 %136 x))
(/.f64 #s(literal 2 binary64) (*.f64 %393 %9))
(/.f64 #s(literal 2 binary64) (*.f64 %388 %2))
(/.f64 #s(literal 2 binary64) %137)
(/.f64 %22 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %45))
(/.f64 #s(literal 1 binary64) (/.f64 %6 %51))
(/.f64 #s(literal 1 binary64) (/.f64 %388 %63))
(/.f64 #s(literal 1 binary64) (/.f64 %393 %109))
(/.f64 #s(literal 1 binary64) (/.f64 %136 %112))
(/.f64 #s(literal 1 binary64) (/.f64 %402 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %137 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %179 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %2 %56))
(/.f64 #s(literal 1 binary64) (/.f64 %9 %95))
(/.f64 #s(literal 1 binary64) (pow.f64 %22 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %179))
(/.f64 #s(literal 1 binary64) (/.f64 %24 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %11 #s(literal 1 binary64)))
%22
(neg.f64 %148)
(fma.f64 %47 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %52 %52 #s(literal 0 binary64))
(fma.f64 %54 %54 #s(literal 0 binary64))
(fma.f64 %57 %57 #s(literal 0 binary64))
(fma.f64 %59 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %61 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %64 %65 #s(literal 0 binary64))
(fma.f64 %65 %64 #s(literal 0 binary64))
(fma.f64 %65 %72 %146)
(fma.f64 %68 %70 #s(literal 0 binary64))
(fma.f64 %72 %73 #s(literal 0 binary64))
(fma.f64 %73 %72 #s(literal 0 binary64))
(fma.f64 %76 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %79 %80 #s(literal 0 binary64))
(fma.f64 %80 %79 #s(literal 0 binary64))
(fma.f64 %83 %84 #s(literal 0 binary64))
(fma.f64 %84 %83 #s(literal 0 binary64))
(fma.f64 %87 %88 #s(literal 0 binary64))
(fma.f64 %88 %87 #s(literal 0 binary64))
(fma.f64 %91 %92 #s(literal 0 binary64))
(fma.f64 %92 %91 #s(literal 0 binary64))
(fma.f64 %96 %96 #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) %146 %103)
(fma.f64 %45 #s(literal 1/4 binary64) %146)
(fma.f64 %45 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %100 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %103 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %105 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %107 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %110 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %113 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %76 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %45 %146)
(fma.f64 #s(literal 1/4 binary64) %22 %662)
(fma.f64 %116 (*.f64 %117 #s(literal 1/2 binary64)) %146)
(fma.f64 %116 %118 #s(literal 0 binary64))
(fma.f64 %116 %120 #s(literal 0 binary64))
(fma.f64 %116 %117 #s(literal 0 binary64))
(fma.f64 %117 %123 #s(literal 0 binary64))
(fma.f64 %117 %211 %146)
(fma.f64 %117 %125 #s(literal 0 binary64))
(fma.f64 %117 %116 #s(literal 0 binary64))
(fma.f64 %117 %51 %146)
(fma.f64 %51 (*.f64 %51 #s(literal 1/2 binary64)) %146)
(fma.f64 %51 %54 #s(literal 0 binary64))
(fma.f64 %51 %57 #s(literal 0 binary64))
(fma.f64 %51 %117 %146)
(fma.f64 %51 %51 #s(literal 0 binary64))
(fma.f64 %175 #s(literal -1 binary64) %187)
(fma.f64 #s(literal 4 binary64) %131 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 %103 #s(literal 1/2 binary64)) %146)
(fma.f64 #s(literal 4 binary64) (*.f64 #s(literal 1/4 binary64) %146) %146)
(fma.f64 #s(literal 4 binary64) %133 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %61 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %138 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %140 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %103 #s(literal 0 binary64))
(fma.f64 %56 (*.f64 %56 #s(literal 1/2 binary64)) %146)
(fma.f64 %56 %52 #s(literal 0 binary64))
(fma.f64 %56 %56 #s(literal 0 binary64))
(fma.f64 %56 %69 %146)
(fma.f64 %95 (*.f64 %95 #s(literal 1/2 binary64)) %146)
(fma.f64 %95 %95 #s(literal 0 binary64))
(fma.f64 %95 %159 %146)
(fma.f64 %146 #s(literal 3/2 binary64) %700)
(fma.f64 %146 #s(literal 1/2 binary64) %702)
(fma.f64 %146 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %146 #s(literal 1 binary64) %146)
(fma.f64 #s(literal -1/2 binary64) %149 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %100 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %148 %146)
(fma.f64 %148 #s(literal -1/2 binary64) %146)
(fma.f64 %148 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %69 %153 #s(literal 0 binary64))
(fma.f64 %69 %56 %146)
(fma.f64 %69 %69 %662)
(fma.f64 %69 %63 #s(literal 0 binary64))
(fma.f64 %63 %156 #s(literal 0 binary64))
(fma.f64 %63 (*.f64 %69 #s(literal 1/2 binary64)) %146)
(fma.f64 %63 %69 #s(literal 0 binary64))
(fma.f64 %159 %160 #s(literal 0 binary64))
(fma.f64 %159 %95 %146)
(fma.f64 %159 %159 %662)
(fma.f64 %159 %109 #s(literal 0 binary64))
(fma.f64 %109 (*.f64 %159 #s(literal 1/2 binary64)) %146)
(fma.f64 %109 %164 #s(literal 0 binary64))
(fma.f64 %109 %159 #s(literal 0 binary64))
(fma.f64 %163 %167 #s(literal 0 binary64))
(fma.f64 %163 %163 %662)
(fma.f64 %163 %112 #s(literal 0 binary64))
(fma.f64 %163 %179 %146)
(fma.f64 %112 (*.f64 %163 #s(literal 1/2 binary64)) %146)
(fma.f64 %112 %170 #s(literal 0 binary64))
(fma.f64 %112 %163 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) (*.f64 %163 %159) %146)
(fma.f64 #s(literal -2 binary64) (*.f64 %159 %163) %146)
(fma.f64 #s(literal -2 binary64) (*.f64 #s(literal -1/2 binary64) %146) %146)
(fma.f64 #s(literal -2 binary64) (*.f64 %175 #s(literal 1/2 binary64)) %146)
(fma.f64 #s(literal -2 binary64) %173 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %176 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %175 #s(literal 0 binary64))
(fma.f64 %179 (*.f64 %179 #s(literal 1/2 binary64)) %146)
(fma.f64 %179 %96 #s(literal 0 binary64))
(fma.f64 %179 %163 %146)
(fma.f64 %179 %179 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %182 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %59 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %45 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %146 %662)
(fma.f64 #s(literal 1/2 binary64) %22 %146)
(fma.f64 #s(literal -1 binary64) %756 %146)
(fma.f64 #s(literal -1 binary64) %758 %146)
(fma.f64 #s(literal -1 binary64) %175 %146)
(fma.f64 #s(literal -1 binary64) %148 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %187 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %700 %146)
(fma.f64 #s(literal 2 binary64) %103 %146)
(fma.f64 #s(literal 2 binary64) %146 #s(literal 0 binary64))
(fma.f64 %22 #s(literal 1/2 binary64) %146)
(fma.f64 %22 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %146 %146)
(fma.f64 #s(literal 1 binary64) %22 #s(literal 0 binary64))
(-.f64 %146 %176)
(-.f64 %146 %756)
(-.f64 %146 %758)
(-.f64 %146 (/.f64 #s(literal -1 binary64) %137))
(-.f64 %146 %175)
(-.f64 %22 #s(literal 0 binary64))
(sqrt.f64 (*.f64 %22 %22))
(sqrt.f64 (/.f64 #s(literal 1 binary64) %13))
(fabs.f64 (/.f64 %95 %6))
(fabs.f64 (/.f64 %95 %2))
(fabs.f64 (/.f64 %179 %6))
(fabs.f64 (/.f64 %179 %2))
(fabs.f64 %148)
(fabs.f64 %22)
(+.f64 %702 %700)
(+.f64 %662 %103)
(+.f64 %187 %187)
(+.f64 %700 %702)
(+.f64 (fma.f64 #s(literal 1/4 binary64) %22 %146) %103)
(+.f64 %797 %138)
(+.f64 %138 %797)
(+.f64 %103 %662)
(+.f64 %146 %146)
(+.f64 #s(literal 0 binary64) %22)
(+.f64 %22 #s(literal 0 binary64))
reconstruct44.0ms (4.5%)
Counts
429 → 35
Compiler
Compiled 429 to 805 computations (-87.6% saved)
eval2.0ms (0.3%)
Compiler
Compiled 32 to 94 computations (-193.8% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (3 fresh and 1 done)
PrunedKeptTotal
New29332
Fresh000
Picked011
Done000
Total29433
Accuracy
100.0%
Counts
33 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(pow.f64 x #s(literal -2 binary64))
▶99.8%
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
▶98.9%
%4 = (fabs.f64 x)
%5 = (sqrt.f64 %4)
(/.f64 #s(literal 1 binary64) (*.f64 %5 (*.f64 %5 %4)))
✓99.2%
(/.f64 #s(literal 1 binary64) (*.f64 x x))
Compiler
Compiled 4 to 13 computations (-225.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series8.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
067305
Stop Event
1×iter-limit
Counts
11 → 19
Calls
Call 1
Inputs
%2 = (fabs.f64 x)
%3 = (sqrt.f64 %2)
%4 = (*.f64 %3 %2)
%5 = (*.f64 %3 %4)
%7 = (/.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
x
%2
%3
%4
%5
#s(literal -2 binary64)
%7
(pow.f64 x #s(literal -2 binary64))
(/.f64 %7 x)
(/.f64 #s(literal 1 binary64) %5)
Outputs
%5 = (fabs x)
%6 = (fabs.f64 x)
%8 = (sqrt %5)
%9 = (sqrt.f64 %6)
%11 = (* %8 %5)
%14 = (* %8 %11)
%17 = (*.f64 %6 (pow.f64 %9 #s(literal 2 binary64)))
%21 = (/.f64 #s(literal 1 binary64) x)
%25 = (pow.f64 x #s(literal 2 binary64))
%28 = (/ 1 %14)
%31 = (fabs.f64 %21)
%34 = (sqrt.f64 %31)
%38 = (pow.f64 x #s(literal 3 binary64))
%43 = (pow.f64 x #s(literal 4 binary64))
%46 = (*.f64 %43 (*.f64 %31 (pow.f64 %34 #s(literal 2 binary64))))
%52 = (fabs.f64 (/.f64 #s(literal -1 binary64) x))
%57 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %52))
%66 = (*.f64 %43 (*.f64 %52 (pow.f64 %57 #s(literal 2 binary64))))
(approx 1 #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %8 %9)
(approx %11 (*.f64 %6 %9))
(approx %14 %17)
(approx (/ 1 x) %21)
(approx (pow x -2) (/.f64 #s(literal 1 binary64) %25))
(approx %28 (/.f64 #s(literal 1 binary64) %17))
(approx %5 (*.f64 %25 %31))
(approx %8 (*.f64 x %34))
(approx %11 (*.f64 %38 (*.f64 %31 %34)))
(approx %14 %46)
(approx %28 (/.f64 #s(literal 1 binary64) %46))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 %25 %52)))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 x %57)))
(approx %11 (*.f64 %38 (*.f64 %52 %57)))
(approx %14 (*.f64 #s(literal -1 binary64) %66))
(approx %28 (/.f64 #s(literal -1 binary64) %66))
Calls
3 calls:
TimeVariablePoint
2.0ms
x
-inf
2.0ms
x
0
1.0ms
x
inf
rewrite87.0ms (8.8%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01147
01936
16727
224327
3126227
0415127
0442627
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 1 431
Calls
Call 1
Inputs
%2 = (fabs.f64 x)
%3 = (sqrt.f64 %2)
%4 = (*.f64 %3 %2)
%5 = (*.f64 %3 %4)
%7 = (/.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
x
%2
%3
%4
%5
#s(literal -2 binary64)
%7
(pow.f64 x #s(literal -2 binary64))
(/.f64 %7 x)
(/.f64 #s(literal 1 binary64) %5)
Outputs
%2 = (fabs.f64 x)
%3 = (sqrt.f64 %2)
%4 = (neg.f64 %3)
%5 = (neg.f64 %4)
%6 = (neg.f64 %5)
%9 = (*.f64 %3 %2)
%10 = (sqrt.f64 %9)
%11 = (sqrt.f64 %3)
%19 = (*.f64 x x)
%20 = (*.f64 %19 %19)
%28 = (/.f64 #s(literal 1 binary64) %2)
%30 = (neg.f64 %2)
%38 = (neg.f64 x)
%41 = (neg.f64 %11)
%43 = (sqrt.f64 %10)
%44 = (sqrt.f64 %11)
%55 = (/.f64 #s(literal 1 binary64) %3)
%62 = (sqrt.f64 (*.f64 %19 %3))
%65 = (pow.f64 %11 #s(literal 3 binary64))
%79 = (*.f64 %19 %2)
%87 = (/.f64 #s(literal 1 binary64) %9)
%90 = (*.f64 %38 %3)
%91 = (neg.f64 %90)
%94 = (*.f64 %4 %38)
%97 = (*.f64 %4 x)
%100 = (*.f64 %38 %4)
%103 = (*.f64 x %4)
%122 = (*.f64 %4 %2)
%123 = (neg.f64 %122)
%132 = (*.f64 %3 x)
%158 = (/.f64 #s(literal 1 binary64) %19)
%160 = (*.f64 %38 x)
%163 = (*.f64 %90 %4)
%166 = (*.f64 %90 %3)
%169 = (*.f64 %132 %4)
%172 = (*.f64 %132 %3)
%175 = (*.f64 %4 %90)
%178 = (*.f64 %4 %132)
%181 = (*.f64 %3 %90)
%184 = (*.f64 %3 %132)
%187 = (*.f64 %38 %2)
%190 = (*.f64 %2 %38)
%193 = (*.f64 %2 x)
%196 = (*.f64 x %2)
%294 = (/.f64 #s(literal 1 binary64) x)
%295 = (*.f64 %294 #s(literal 2 binary64))
%297 = (/.f64 #s(literal 1/2 binary64) x)
%301 = (/.f64 #s(literal -1 binary64) x)
%304 = (/.f64 #s(literal 2 binary64) x)
%307 = (*.f64 #s(literal 1/2 binary64) %301)
%310 = (/.f64 #s(literal -1/2 binary64) x)
%315 = (neg.f64 %295)
%317 = (neg.f64 %304)
%321 = (*.f64 %38 #s(literal 2 binary64))
%322 = (neg.f64 %321)
%324 = (*.f64 #s(literal 2 binary64) %38)
%325 = (neg.f64 %324)
%327 = (*.f64 x #s(literal 2 binary64))
%329 = (*.f64 #s(literal 2 binary64) x)
%332 = (neg.f64 %327)
%334 = (neg.f64 %329)
%346 = (*.f64 %294 #s(literal 0 binary64))
%348 = (*.f64 #s(literal 0 binary64) %294)
%350 = (/.f64 #s(literal 0 binary64) x)
%388 = (*.f64 %28 #s(literal -1 binary64))
%389 = (neg.f64 %388)
%390 = (*.f64 %389 %389)
%391 = (*.f64 #s(literal -1 binary64) %28)
%392 = (neg.f64 %391)
%393 = (*.f64 %392 %392)
%394 = (neg.f64 %28)
%395 = (neg.f64 %394)
%396 = (*.f64 %395 %395)
%397 = (*.f64 %158 #s(literal 2 binary64))
%398 = (*.f64 %397 #s(literal 1/2 binary64))
%399 = (*.f64 %158 #s(literal -1 binary64))
%400 = (*.f64 %399 #s(literal -1 binary64))
%401 = (*.f64 %388 %388)
%402 = (*.f64 %391 %391)
%403 = (/.f64 #s(literal -2 binary64) %2)
%404 = (/.f64 #s(literal -1/2 binary64) %2)
%405 = (*.f64 %403 %404)
%406 = (/.f64 #s(literal -2 binary64) %9)
%407 = (/.f64 #s(literal -1/2 binary64) %3)
%408 = (*.f64 %406 %407)
%409 = (/.f64 #s(literal -1 binary64) %9)
%410 = (/.f64 #s(literal -1 binary64) %3)
%411 = (*.f64 %409 %410)
%412 = (/.f64 #s(literal -1 binary64) %2)
%413 = (*.f64 %412 %412)
%414 = (/.f64 #s(literal -2 binary64) x)
%415 = (*.f64 %414 %310)
%416 = (/.f64 #s(literal -2 binary64) %3)
%417 = (/.f64 #s(literal -1/2 binary64) %9)
%418 = (*.f64 %416 %417)
%419 = (*.f64 %310 %414)
%420 = (*.f64 %28 #s(literal 2 binary64))
%421 = (/.f64 #s(literal 1/2 binary64) %2)
%422 = (*.f64 %420 %421)
%423 = (*.f64 %295 %297)
%424 = (*.f64 %394 %394)
%425 = (*.f64 %297 %297)
%426 = (fabs.f64 %425)
%427 = (*.f64 #s(literal 4 binary64) %426)
%428 = (*.f64 #s(literal 4 binary64) %425)
%429 = (/.f64 #s(literal 1/2 binary64) %19)
%430 = (*.f64 %429 #s(literal 2 binary64))
%431 = (*.f64 %87 %55)
%432 = (/.f64 #s(literal -1 binary64) %19)
%433 = (*.f64 %432 #s(literal -1 binary64))
%434 = (*.f64 %297 %304)
%435 = (*.f64 %304 %297)
%436 = (/.f64 #s(literal 2 binary64) %2)
%437 = (*.f64 %421 %436)
%438 = (*.f64 %436 %421)
%439 = (/.f64 #s(literal 1/2 binary64) %3)
%440 = (/.f64 #s(literal 2 binary64) %9)
%441 = (*.f64 %439 %440)
%442 = (*.f64 %439 #s(literal 1 binary64))
%443 = (fabs.f64 %442)
%444 = (*.f64 %440 %443)
%445 = (*.f64 %440 %442)
%446 = (*.f64 %440 %439)
%447 = (/.f64 #s(literal 1/2 binary64) %9)
%448 = (/.f64 #s(literal 2 binary64) %3)
%449 = (*.f64 %447 %448)
%450 = (*.f64 %447 #s(literal 1 binary64))
%451 = (fabs.f64 %450)
%452 = (*.f64 %448 %451)
%453 = (*.f64 %448 %450)
%454 = (*.f64 %448 %447)
%455 = (*.f64 %410 %409)
%456 = (*.f64 %28 %28)
%457 = (*.f64 %87 #s(literal 1 binary64))
%458 = (fabs.f64 %457)
%459 = (*.f64 %55 %458)
%460 = (*.f64 %55 %457)
%461 = (*.f64 %55 %87)
%462 = (*.f64 #s(literal 1/2 binary64) %432)
%463 = (fabs.f64 %462)
%464 = (*.f64 #s(literal 2 binary64) %463)
%465 = (*.f64 #s(literal 2 binary64) %429)
%466 = (*.f64 %301 %301)
%467 = (*.f64 %432 #s(literal 1 binary64))
%468 = (*.f64 #s(literal -1 binary64) %467)
%469 = (*.f64 #s(literal -1 binary64) %432)
%470 = (*.f64 #s(literal 2 binary64) %158)
%471 = (*.f64 #s(literal 1/2 binary64) %470)
%472 = (/.f64 #s(literal 2 binary64) %19)
%473 = (*.f64 #s(literal 1/2 binary64) %472)
%474 = (*.f64 %158 #s(literal 1 binary64))
%475 = (*.f64 %294 %294)
%476 = (*.f64 #s(literal -2 binary64) %462)
%477 = (/.f64 #s(literal -1/2 binary64) %19)
%478 = (*.f64 #s(literal -2 binary64) %477)
%479 = (*.f64 #s(literal 1 binary64) %158)
%480 = (pow.f64 %388 #s(literal 2 binary64))
%481 = (pow.f64 %391 #s(literal 2 binary64))
%482 = (pow.f64 %412 #s(literal 2 binary64))
%483 = (pow.f64 %394 #s(literal 2 binary64))
%484 = (pow.f64 %20 #s(literal -1/2 binary64))
%485 = (pow.f64 %28 #s(literal 2 binary64))
%486 = (pow.f64 %301 #s(literal 2 binary64))
%487 = (pow.f64 %19 #s(literal -1 binary64))
%488 = (pow.f64 %38 #s(literal -2 binary64))
%489 = (pow.f64 %158 #s(literal 1 binary64))
%490 = (pow.f64 %294 #s(literal 2 binary64))
%492 = (pow.f64 %3 #s(literal -4 binary64))
%493 = (pow.f64 %2 #s(literal -2 binary64))
%494 = (pow.f64 x #s(literal -2 binary64))
%495 = (*.f64 %304 #s(literal 1/2 binary64))
%497 = (/.f64 (neg.f64 %495) %38)
%498 = (*.f64 %436 #s(literal 1/2 binary64))
%500 = (/.f64 (neg.f64 %498) %30)
%501 = (*.f64 %440 #s(literal 1/2 binary64))
%503 = (/.f64 (neg.f64 %501) %4)
%504 = (*.f64 %448 #s(literal 1/2 binary64))
%506 = (/.f64 (neg.f64 %504) %122)
%508 = (/.f64 (neg.f64 %397) #s(literal -2 binary64))
%509 = (*.f64 #s(literal -1 binary64) %87)
%511 = (/.f64 (neg.f64 %509) %5)
%513 = (/.f64 (neg.f64 %457) %4)
%514 = (*.f64 %410 #s(literal 1 binary64))
%516 = (/.f64 (neg.f64 %514) %123)
%518 = (/.f64 (neg.f64 %470) #s(literal -2 binary64))
%519 = (/.f64 %412 %3)
%521 = (/.f64 (neg.f64 %519) %5)
%523 = (*.f64 %2 #s(literal 2 binary64))
%525 = (/.f64 (neg.f64 %420) (neg.f64 %523))
%526 = (*.f64 %87 #s(literal 2 binary64))
%528 = (*.f64 %3 #s(literal 2 binary64))
%530 = (/.f64 (neg.f64 %526) (neg.f64 %528))
%531 = (*.f64 %410 #s(literal 2 binary64))
%533 = (*.f64 %122 #s(literal 2 binary64))
%535 = (/.f64 (neg.f64 %531) (neg.f64 %533))
%536 = (*.f64 %55 #s(literal 2 binary64))
%538 = (*.f64 %9 #s(literal 2 binary64))
%540 = (/.f64 (neg.f64 %536) (neg.f64 %538))
%541 = (*.f64 %301 #s(literal 2 binary64))
%543 = (/.f64 (neg.f64 %541) %322)
%544 = (*.f64 #s(literal 2 binary64) %410)
%546 = (*.f64 #s(literal 2 binary64) %122)
%548 = (/.f64 (neg.f64 %544) (neg.f64 %546))
%549 = (neg.f64 %87)
%551 = (/.f64 (neg.f64 %549) %5)
%553 = (*.f64 #s(literal 2 binary64) %2)
%555 = (/.f64 (neg.f64 %436) (neg.f64 %553))
%557 = (*.f64 #s(literal 2 binary64) %3)
%559 = (/.f64 (neg.f64 %440) (neg.f64 %557))
%561 = (*.f64 #s(literal 2 binary64) %9)
%563 = (/.f64 (neg.f64 %448) (neg.f64 %561))
%564 = (/.f64 %315 %332)
%565 = (/.f64 %317 %334)
%566 = (*.f64 #s(literal 2 binary64) %301)
%568 = (/.f64 (neg.f64 %566) %325)
%569 = (/.f64 %395 %2)
%571 = (/.f64 (fabs.f64 %495) %2)
%573 = (/.f64 (fabs.f64 %498) %2)
%575 = (/.f64 (fabs.f64 %501) %3)
%577 = (/.f64 (fabs.f64 %504) %9)
%579 = (/.f64 (fabs.f64 %509) %3)
%580 = (/.f64 %458 %3)
%582 = (/.f64 (fabs.f64 %526) %528)
%584 = (/.f64 (fabs.f64 %549) %3)
%585 = (/.f64 %495 x)
%586 = (/.f64 %498 %2)
%587 = (/.f64 %501 %3)
%588 = (/.f64 %504 %9)
%589 = (/.f64 %397 #s(literal 2 binary64))
%590 = (/.f64 %509 %4)
%591 = (/.f64 %457 %3)
%592 = (/.f64 %514 %122)
%593 = (/.f64 %470 #s(literal 2 binary64))
%594 = (/.f64 %519 %4)
%595 = (/.f64 %409 %4)
%596 = (/.f64 %412 %30)
%597 = (/.f64 %420 %523)
%598 = (/.f64 %526 %528)
%599 = (/.f64 %531 %533)
%600 = (/.f64 %536 %538)
%601 = (/.f64 %541 %321)
%602 = (/.f64 %295 %327)
%603 = (/.f64 %544 %546)
%604 = (/.f64 %566 %324)
%605 = (/.f64 %549 %4)
%606 = (/.f64 %394 %30)
%607 = (/.f64 %87 %5)
%608 = (/.f64 %87 %3)
%609 = (/.f64 %304 %329)
%610 = (/.f64 %436 %553)
%611 = (/.f64 %440 %557)
%612 = (/.f64 %448 %561)
%614 = (/.f64 %410 (neg.f64 %123))
%615 = (/.f64 %410 %122)
%616 = (/.f64 %28 %2)
%617 = (/.f64 %55 %123)
%618 = (/.f64 %55 %9)
%619 = (*.f64 %160 #s(literal 2 binary64))
%621 = (/.f64 #s(literal 2 binary64) (neg.f64 %619))
%622 = (*.f64 #s(literal 2 binary64) %160)
%624 = (/.f64 #s(literal 2 binary64) (neg.f64 %622))
%625 = (*.f64 %19 #s(literal 2 binary64))
%626 = (/.f64 #s(literal 2 binary64) %625)
%627 = (*.f64 #s(literal 2 binary64) %19)
%628 = (/.f64 #s(literal 2 binary64) %627)
%629 = (/.f64 %301 %38)
%630 = (/.f64 #s(literal -1 binary64) %160)
%631 = (/.f64 %294 x)
%633 = (/.f64 #s(literal -2 binary64) (neg.f64 %625))
%635 = (/.f64 #s(literal -2 binary64) (neg.f64 %627))
%636 = (/.f64 #s(literal -2 binary64) %619)
%637 = (/.f64 #s(literal -2 binary64) %622)
%639 = (/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -2 binary64)))
%641 = (/.f64 #s(literal 1 binary64) (pow.f64 %301 #s(literal -2 binary64)))
%643 = (/.f64 #s(literal 1 binary64) (pow.f64 %294 #s(literal -2 binary64)))
%645 = (/.f64 #s(literal 1 binary64) (/.f64 %2 %28))
%647 = (/.f64 #s(literal 1 binary64) (/.f64 %3 %87))
%649 = (/.f64 #s(literal 1 binary64) (/.f64 %122 %410))
%651 = (/.f64 #s(literal 1 binary64) (pow.f64 %158 #s(literal -1 binary64)))
%653 = (/.f64 #s(literal 1 binary64) (/.f64 %38 %301))
%655 = (/.f64 #s(literal 1 binary64) (/.f64 %9 %55))
%657 = (/.f64 #s(literal 1 binary64) (/.f64 %160 #s(literal -1 binary64)))
%659 = (/.f64 #s(literal 1 binary64) (/.f64 %19 #s(literal 1 binary64)))
%661 = (/.f64 #s(literal 1 binary64) (/.f64 x %294))
%662 = (neg.f64 %467)
%663 = (neg.f64 %399)
%664 = (neg.f64 %432)
%665 = (*.f64 %158 #s(literal 0 binary64))
%666 = (fma.f64 %389 %389 %665)
%667 = (*.f64 #s(literal 0 binary64) %158)
%668 = (fma.f64 %389 %389 %667)
%669 = (/.f64 #s(literal 0 binary64) %19)
%670 = (fma.f64 %389 %389 %669)
%671 = (fma.f64 %392 %392 %665)
%672 = (fma.f64 %392 %392 %667)
%673 = (fma.f64 %392 %392 %669)
%674 = (fma.f64 %395 %395 %665)
%675 = (fma.f64 %395 %395 %667)
%676 = (fma.f64 %395 %395 %669)
%677 = (fma.f64 %397 #s(literal 1/2 binary64) %665)
%678 = (fma.f64 %397 #s(literal 1/2 binary64) %667)
%679 = (fma.f64 %397 #s(literal 1/2 binary64) %669)
%680 = (fma.f64 %399 #s(literal -1 binary64) %665)
%681 = (fma.f64 %399 #s(literal -1 binary64) %667)
%682 = (fma.f64 %399 #s(literal -1 binary64) %669)
%683 = (fma.f64 %307 %301 %429)
%684 = (fma.f64 %388 %388 %665)
%685 = (fma.f64 %388 %388 %667)
%686 = (fma.f64 %388 %388 %669)
%687 = (fma.f64 %391 %391 %665)
%688 = (fma.f64 %391 %391 %667)
%689 = (fma.f64 %391 %391 %669)
%690 = (fma.f64 %403 %404 %665)
%691 = (fma.f64 %403 %404 %667)
%692 = (fma.f64 %403 %404 %669)
%693 = (fma.f64 %406 %407 %665)
%694 = (fma.f64 %406 %407 %667)
%695 = (fma.f64 %406 %407 %669)
%696 = (fma.f64 %409 %410 %665)
%697 = (fma.f64 %409 %410 %667)
%698 = (fma.f64 %409 %410 %669)
%699 = (fma.f64 %412 %412 %665)
%700 = (fma.f64 %412 %412 %667)
%701 = (fma.f64 %412 %412 %669)
%702 = (fma.f64 %414 %310 %665)
%703 = (fma.f64 %414 %310 %667)
%704 = (fma.f64 %414 %310 %669)
%705 = (fma.f64 %416 %417 %665)
%706 = (fma.f64 %416 %417 %667)
%707 = (fma.f64 %416 %417 %669)
%708 = (fma.f64 %310 %414 %665)
%709 = (fma.f64 %310 %414 %667)
%710 = (fma.f64 %310 %414 %669)
%711 = (fma.f64 %420 %421 %665)
%712 = (fma.f64 %420 %421 %667)
%713 = (fma.f64 %420 %421 %669)
%714 = (fma.f64 %295 %297 %665)
%715 = (fma.f64 %295 %297 %667)
%716 = (fma.f64 %295 %297 %669)
%717 = (fma.f64 %394 %394 %665)
%718 = (fma.f64 %394 %394 %667)
%719 = (fma.f64 %394 %394 %669)
%720 = (fma.f64 #s(literal 4 binary64) %426 %665)
%721 = (fma.f64 #s(literal 4 binary64) %426 %667)
%722 = (fma.f64 #s(literal 4 binary64) %426 %669)
%723 = (fma.f64 #s(literal 4 binary64) %425 %665)
%724 = (fma.f64 #s(literal 4 binary64) %425 %667)
%725 = (fma.f64 #s(literal 4 binary64) %425 %669)
%726 = (fma.f64 %429 #s(literal 2 binary64) %665)
%727 = (fma.f64 %429 #s(literal 2 binary64) %667)
%728 = (fma.f64 %429 #s(literal 2 binary64) %669)
%729 = (fma.f64 %429 #s(literal 1 binary64) %429)
%730 = (fma.f64 %87 %439 %429)
%731 = (fma.f64 %87 %55 %665)
%732 = (fma.f64 %87 %55 %667)
%733 = (fma.f64 %87 %55 %669)
%734 = (fma.f64 %432 #s(literal -1 binary64) %665)
%735 = (fma.f64 %432 #s(literal -1 binary64) %667)
%736 = (fma.f64 %432 #s(literal -1 binary64) %669)
%737 = (fma.f64 %297 %304 %665)
%738 = (fma.f64 %297 %304 %667)
%739 = (fma.f64 %297 %304 %669)
%740 = (fma.f64 %297 %294 %429)
%741 = (fma.f64 %304 %297 %665)
%742 = (fma.f64 %304 %297 %667)
%743 = (fma.f64 %304 %297 %669)
%744 = (fma.f64 %421 %436 %665)
%745 = (fma.f64 %421 %436 %667)
%746 = (fma.f64 %421 %436 %669)
%747 = (fma.f64 %421 %28 %429)
%748 = (fma.f64 %436 %421 %665)
%749 = (fma.f64 %436 %421 %667)
%750 = (fma.f64 %436 %421 %669)
%751 = (fma.f64 %439 %87 %429)
%752 = (fma.f64 %439 %440 %665)
%753 = (fma.f64 %439 %440 %667)
%754 = (fma.f64 %439 %440 %669)
%755 = (fma.f64 %440 %443 %665)
%756 = (fma.f64 %440 %443 %667)
%757 = (fma.f64 %440 %443 %669)
%758 = (fma.f64 %440 %442 %665)
%759 = (fma.f64 %440 %442 %667)
%760 = (fma.f64 %440 %442 %669)
%761 = (fma.f64 %440 %439 %665)
%762 = (fma.f64 %440 %439 %667)
%763 = (fma.f64 %440 %439 %669)
%764 = (fma.f64 %447 %448 %665)
%765 = (fma.f64 %447 %448 %667)
%766 = (fma.f64 %447 %448 %669)
%767 = (fma.f64 %448 %451 %665)
%768 = (fma.f64 %448 %451 %667)
%769 = (fma.f64 %448 %451 %669)
%770 = (fma.f64 %448 %450 %665)
%771 = (fma.f64 %448 %450 %667)
%772 = (fma.f64 %448 %450 %669)
%773 = (fma.f64 %448 %447 %665)
%774 = (fma.f64 %448 %447 %667)
%775 = (fma.f64 %448 %447 %669)
%776 = (fma.f64 %410 %409 %665)
%777 = (fma.f64 %410 %409 %667)
%778 = (fma.f64 %410 %409 %669)
%779 = (fma.f64 %28 %421 %429)
%780 = (fma.f64 %28 %28 %665)
%781 = (fma.f64 %28 %28 %667)
%782 = (fma.f64 %28 %28 %669)
%783 = (fma.f64 #s(literal -1/2 binary64) %432 %429)
%784 = (fma.f64 %55 %458 %665)
%785 = (fma.f64 %55 %458 %667)
%786 = (fma.f64 %55 %458 %669)
%787 = (fma.f64 %55 %457 %665)
%788 = (fma.f64 %55 %457 %667)
%789 = (fma.f64 %55 %457 %669)
%790 = (fma.f64 %55 %87 %665)
%791 = (fma.f64 %55 %87 %667)
%792 = (fma.f64 %55 %87 %669)
%793 = (fma.f64 %55 %447 %429)
%794 = (fma.f64 #s(literal 2 binary64) %463 %665)
%795 = (fma.f64 #s(literal 2 binary64) %463 %667)
%796 = (fma.f64 #s(literal 2 binary64) %463 %669)
%797 = (fma.f64 #s(literal 2 binary64) %429 %665)
%798 = (fma.f64 #s(literal 2 binary64) %429 %667)
%799 = (fma.f64 #s(literal 2 binary64) %429 %669)
%800 = (fma.f64 %301 %301 %665)
%801 = (fma.f64 %301 %301 %667)
%802 = (fma.f64 %301 %301 %669)
%803 = (fma.f64 #s(literal -1 binary64) %467 %665)
%804 = (fma.f64 #s(literal -1 binary64) %467 %667)
%805 = (fma.f64 #s(literal -1 binary64) %467 %669)
%806 = (fma.f64 #s(literal -1 binary64) %432 %665)
%807 = (fma.f64 #s(literal -1 binary64) %432 %667)
%808 = (fma.f64 #s(literal -1 binary64) %432 %669)
%809 = (fma.f64 #s(literal 1/2 binary64) %470 %665)
%810 = (fma.f64 #s(literal 1/2 binary64) %470 %667)
%811 = (fma.f64 #s(literal 1/2 binary64) %470 %669)
%812 = (fma.f64 #s(literal 1/2 binary64) %472 %665)
%813 = (fma.f64 #s(literal 1/2 binary64) %472 %667)
%814 = (fma.f64 #s(literal 1/2 binary64) %472 %669)
%815 = (fma.f64 #s(literal 1/2 binary64) %158 %429)
%816 = (fma.f64 %158 #s(literal 1/2 binary64) %429)
%817 = (fma.f64 %158 #s(literal 1 binary64) %665)
%818 = (fma.f64 %158 #s(literal 1 binary64) %667)
%819 = (fma.f64 %158 #s(literal 1 binary64) %669)
%820 = (fma.f64 %294 %297 %429)
%821 = (fma.f64 %294 %294 %665)
%822 = (fma.f64 %294 %294 %667)
%823 = (fma.f64 %294 %294 %669)
%824 = (fma.f64 #s(literal -2 binary64) %462 %665)
%825 = (fma.f64 #s(literal -2 binary64) %462 %667)
%826 = (fma.f64 #s(literal -2 binary64) %462 %669)
%827 = (fma.f64 #s(literal -2 binary64) %477 %665)
%828 = (fma.f64 #s(literal -2 binary64) %477 %667)
%829 = (fma.f64 #s(literal -2 binary64) %477 %669)
%830 = (fma.f64 #s(literal 1 binary64) %429 %429)
%831 = (fma.f64 #s(literal 1 binary64) %158 %665)
%832 = (fma.f64 #s(literal 1 binary64) %158 %667)
%833 = (fma.f64 #s(literal 1 binary64) %158 %669)
%835 = (sqrt.f64 (*.f64 %158 %158))
%837 = (sqrt.f64 (/.f64 %158 %19))
%839 = (sqrt.f64 (/.f64 #s(literal 1 binary64) %20))
%840 = (/.f64 #s(literal -1 binary64) %132)
%842 = (fabs.f64 (*.f64 %840 %410))
%844 = (fabs.f64 (*.f64 %840 %55))
%845 = (/.f64 #s(literal 1 binary64) %132)
%847 = (fabs.f64 (*.f64 %845 %410))
%849 = (fabs.f64 (*.f64 %845 %55))
%851 = (fabs.f64 (*.f64 %28 %301))
%853 = (fabs.f64 (*.f64 %28 %294))
%855 = (fabs.f64 (*.f64 %301 %28))
%857 = (fabs.f64 (*.f64 %294 %28))
%859 = (fabs.f64 (*.f64 %410 %840))
%861 = (fabs.f64 (*.f64 %410 %845))
%863 = (fabs.f64 (*.f64 %55 %840))
%865 = (fabs.f64 (*.f64 %55 %845))
%867 = (fabs.f64 (/.f64 %840 %5))
%869 = (fabs.f64 (/.f64 %840 %4))
%871 = (fabs.f64 (/.f64 %840 %3))
%873 = (fabs.f64 (/.f64 %845 %5))
%875 = (fabs.f64 (/.f64 %845 %4))
%877 = (fabs.f64 (/.f64 %845 %3))
%879 = (fabs.f64 (/.f64 %28 %38))
%881 = (fabs.f64 (/.f64 %28 x))
%883 = (fabs.f64 (/.f64 %301 %30))
%885 = (fabs.f64 (/.f64 %301 %2))
%887 = (fabs.f64 (/.f64 %294 %30))
%889 = (fabs.f64 (/.f64 %294 %2))
%891 = (fabs.f64 (/.f64 %410 %91))
%893 = (fabs.f64 (/.f64 %410 %94))
%895 = (fabs.f64 (/.f64 %410 %97))
%897 = (fabs.f64 (/.f64 %410 %100))
%899 = (fabs.f64 (/.f64 %410 %103))
%901 = (fabs.f64 (/.f64 %410 %90))
%903 = (fabs.f64 (/.f64 %410 %132))
%905 = (fabs.f64 (/.f64 %55 %91))
%907 = (fabs.f64 (/.f64 %55 %94))
%909 = (fabs.f64 (/.f64 %55 %97))
%911 = (fabs.f64 (/.f64 %55 %100))
%913 = (fabs.f64 (/.f64 %55 %103))
%915 = (fabs.f64 (/.f64 %55 %90))
%917 = (fabs.f64 (/.f64 %55 %132))
%919 = (fabs.f64 (/.f64 #s(literal -1 binary64) %163))
%921 = (fabs.f64 (/.f64 #s(literal -1 binary64) %166))
%923 = (fabs.f64 (/.f64 #s(literal -1 binary64) %169))
%925 = (fabs.f64 (/.f64 #s(literal -1 binary64) %172))
%927 = (fabs.f64 (/.f64 #s(literal -1 binary64) %175))
%929 = (fabs.f64 (/.f64 #s(literal -1 binary64) %178))
%931 = (fabs.f64 (/.f64 #s(literal -1 binary64) %181))
%933 = (fabs.f64 (/.f64 #s(literal -1 binary64) %184))
%935 = (fabs.f64 (/.f64 #s(literal -1 binary64) %187))
%937 = (fabs.f64 (/.f64 #s(literal -1 binary64) %190))
%939 = (fabs.f64 (/.f64 #s(literal -1 binary64) %193))
%941 = (fabs.f64 (/.f64 #s(literal -1 binary64) %196))
%943 = (fabs.f64 (/.f64 #s(literal 1 binary64) %163))
%945 = (fabs.f64 (/.f64 #s(literal 1 binary64) %166))
%947 = (fabs.f64 (/.f64 #s(literal 1 binary64) %169))
%949 = (fabs.f64 (/.f64 #s(literal 1 binary64) %172))
%951 = (fabs.f64 (/.f64 #s(literal 1 binary64) %175))
%953 = (fabs.f64 (/.f64 #s(literal 1 binary64) %178))
%955 = (fabs.f64 (/.f64 #s(literal 1 binary64) %181))
%957 = (fabs.f64 (/.f64 #s(literal 1 binary64) %184))
%959 = (fabs.f64 (/.f64 #s(literal 1 binary64) %187))
%961 = (fabs.f64 (/.f64 #s(literal 1 binary64) %190))
%963 = (fabs.f64 (/.f64 #s(literal 1 binary64) %193))
%965 = (fabs.f64 (/.f64 #s(literal 1 binary64) %196))
%966 = (fabs.f64 %467)
%967 = (fabs.f64 %399)
%968 = (fabs.f64 %432)
%969 = (fabs.f64 %158)
%970 = (+.f64 %429 %429)
%971 = (+.f64 %158 %665)
%972 = (+.f64 %158 %667)
%973 = (+.f64 %158 %669)
#s(literal 1 binary64)
x
(*.f64 %6 %6)
(*.f64 %5 %5)
(*.f64 %10 %11)
(*.f64 %11 %10)
(*.f64 %4 %4)
(*.f64 %3 %3)
(*.f64 #s(literal 1 binary64) %2)
(pow.f64 %5 #s(literal 2 binary64))
(pow.f64 %20 #s(literal 1/4 binary64))
(pow.f64 %4 #s(literal 2 binary64))
(pow.f64 %19 #s(literal 1/2 binary64))
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %28)
(neg.f64 %30)
(sqrt.f64 %19)
(fabs.f64 (*.f64 %5 %3))
(fabs.f64 (*.f64 %3 %5))
(fabs.f64 %30)
(fabs.f64 %38)
(fabs.f64 %2)
%2
(*.f64 %41 %41)
(*.f64 %43 %44)
(*.f64 %44 %43)
(*.f64 %11 %11)
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %11 #s(literal 2 binary64))
(pow.f64 %20 #s(literal 1/8 binary64))
(pow.f64 %19 #s(literal 1/4 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) %55)
%3
(fabs.f64 %6)
(fabs.f64 %5)
(fabs.f64 %4)
(fabs.f64 %3)
(*.f64 %62 %11)
(*.f64 %65 %65)
(*.f64 %10 %10)
(*.f64 %11 %62)
(*.f64 %30 %4)
(*.f64 %4 %30)
%9
(*.f64 %2 %3)
(*.f64 #s(literal 1 binary64) %9)
(pow.f64 (*.f64 %19 %20) #s(literal 1/4 binary64))
(pow.f64 (*.f64 %20 %19) #s(literal 1/4 binary64))
(pow.f64 %20 #s(literal 3/8 binary64))
(pow.f64 %79 #s(literal 1/2 binary64))
(pow.f64 %19 #s(literal 3/4 binary64))
(pow.f64 %9 #s(literal 1 binary64))
(pow.f64 %3 #s(literal 3 binary64))
(pow.f64 %2 #s(literal 3/2 binary64))
(/.f64 #s(literal 1 binary64) %87)
(sqrt.f64 %79)
(fabs.f64 (neg.f64 %91))
(fabs.f64 (neg.f64 %94))
(fabs.f64 (neg.f64 %97))
(fabs.f64 (neg.f64 %100))
(fabs.f64 (neg.f64 %103))
(fabs.f64 (*.f64 %5 %30))
(fabs.f64 (*.f64 %5 %38))
(fabs.f64 (*.f64 %5 %2))
(fabs.f64 (*.f64 %5 x))
(fabs.f64 (*.f64 %30 %5))
(fabs.f64 (*.f64 %38 %5))
(fabs.f64 (*.f64 %2 %5))
(fabs.f64 (*.f64 x %5))
(fabs.f64 %123)
(fabs.f64 %91)
(fabs.f64 %94)
(fabs.f64 %97)
(fabs.f64 %100)
(fabs.f64 %103)
(fabs.f64 %122)
(fabs.f64 %90)
(fabs.f64 %132)
(fabs.f64 %9)
(*.f64 %123 %3)
(*.f64 %5 %9)
(*.f64 %30 %30)
(*.f64 %122 %4)
(*.f64 %4 %122)
(*.f64 %38 %38)
(*.f64 %9 %5)
(*.f64 %9 %3)
(*.f64 %3 %123)
(*.f64 %3 %9)
(*.f64 %2 %2)
%19
(*.f64 #s(literal 1 binary64) %19)
(pow.f64 (*.f64 %20 %20) #s(literal 1/4 binary64))
(pow.f64 %20 #s(literal 1/2 binary64))
(pow.f64 %30 #s(literal 2 binary64))
(pow.f64 %4 #s(literal 4 binary64))
(pow.f64 %19 #s(literal 1 binary64))
(pow.f64 %38 #s(literal 2 binary64))
(pow.f64 %3 #s(literal 4 binary64))
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %158)
(neg.f64 %160)
(sqrt.f64 %20)
(fabs.f64 (neg.f64 %163))
(fabs.f64 (neg.f64 %166))
(fabs.f64 (neg.f64 %169))
(fabs.f64 (neg.f64 %172))
(fabs.f64 (neg.f64 %175))
(fabs.f64 (neg.f64 %178))
(fabs.f64 (neg.f64 %181))
(fabs.f64 (neg.f64 %184))
(fabs.f64 (neg.f64 %187))
(fabs.f64 (neg.f64 %190))
(fabs.f64 (neg.f64 %193))
(fabs.f64 (neg.f64 %196))
(fabs.f64 (*.f64 %91 %5))
(fabs.f64 (*.f64 %91 %4))
(fabs.f64 (*.f64 %91 %3))
(fabs.f64 (*.f64 %94 %5))
(fabs.f64 (*.f64 %94 %4))
(fabs.f64 (*.f64 %94 %3))
(fabs.f64 (*.f64 %97 %5))
(fabs.f64 (*.f64 %97 %4))
(fabs.f64 (*.f64 %97 %3))
(fabs.f64 (*.f64 %100 %5))
(fabs.f64 (*.f64 %100 %4))
(fabs.f64 (*.f64 %100 %3))
(fabs.f64 (*.f64 %103 %5))
(fabs.f64 (*.f64 %103 %4))
(fabs.f64 (*.f64 %103 %3))
(fabs.f64 (*.f64 %122 %5))
(fabs.f64 (*.f64 %90 %5))
(fabs.f64 (*.f64 %132 %5))
(fabs.f64 (*.f64 %5 %91))
(fabs.f64 (*.f64 %5 %94))
(fabs.f64 (*.f64 %5 %97))
(fabs.f64 (*.f64 %5 %100))
(fabs.f64 (*.f64 %5 %103))
(fabs.f64 (*.f64 %5 %122))
(fabs.f64 (*.f64 %5 %90))
(fabs.f64 (*.f64 %5 %132))
(fabs.f64 (*.f64 %4 %91))
(fabs.f64 (*.f64 %4 %94))
(fabs.f64 (*.f64 %4 %97))
(fabs.f64 (*.f64 %4 %100))
(fabs.f64 (*.f64 %4 %103))
(fabs.f64 (*.f64 %3 %91))
(fabs.f64 (*.f64 %3 %94))
(fabs.f64 (*.f64 %3 %97))
(fabs.f64 (*.f64 %3 %100))
(fabs.f64 (*.f64 %3 %103))
(fabs.f64 (*.f64 %30 %38))
(fabs.f64 (*.f64 %30 x))
(fabs.f64 (*.f64 %38 %30))
(fabs.f64 (*.f64 x %30))
(fabs.f64 %163)
(fabs.f64 %166)
(fabs.f64 %169)
(fabs.f64 %172)
(fabs.f64 %175)
(fabs.f64 %178)
(fabs.f64 %181)
(fabs.f64 %184)
(fabs.f64 %187)
(fabs.f64 %190)
(fabs.f64 %193)
(fabs.f64 %196)
(fabs.f64 %160)
(fabs.f64 %19)
#s(literal -2 binary64)
(*.f64 %295 #s(literal 1/2 binary64))
(*.f64 %297 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %297)
(*.f64 %301 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %301)
(*.f64 #s(literal 1/2 binary64) %304)
(*.f64 %294 #s(literal 1 binary64))
(*.f64 #s(literal -2 binary64) %307)
(*.f64 #s(literal -2 binary64) %310)
(*.f64 #s(literal 1 binary64) %294)
(pow.f64 %294 #s(literal 1 binary64))
(pow.f64 x #s(literal -1 binary64))
(/.f64 %315 #s(literal -2 binary64))
(/.f64 %317 #s(literal -2 binary64))
(/.f64 %295 #s(literal 2 binary64))
(/.f64 %304 #s(literal 2 binary64))
(/.f64 #s(literal 2 binary64) %322)
(/.f64 #s(literal 2 binary64) %325)
(/.f64 #s(literal 2 binary64) %327)
(/.f64 #s(literal 2 binary64) %329)
(/.f64 #s(literal -1 binary64) %38)
(/.f64 #s(literal -2 binary64) %332)
(/.f64 #s(literal -2 binary64) %334)
(/.f64 #s(literal -2 binary64) %321)
(/.f64 #s(literal -2 binary64) %324)
(/.f64 #s(literal 1 binary64) (pow.f64 %294 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %38 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x #s(literal 1 binary64)))
%294
(neg.f64 %301)
(fma.f64 %295 #s(literal 1/2 binary64) %346)
(fma.f64 %295 #s(literal 1/2 binary64) %348)
(fma.f64 %295 #s(literal 1/2 binary64) %350)
(fma.f64 %297 #s(literal 2 binary64) %346)
(fma.f64 %297 #s(literal 2 binary64) %348)
(fma.f64 %297 #s(literal 2 binary64) %350)
(fma.f64 %297 #s(literal 1 binary64) %297)
(fma.f64 #s(literal -1/2 binary64) %301 %297)
(fma.f64 #s(literal 2 binary64) %297 %346)
(fma.f64 #s(literal 2 binary64) %297 %348)
(fma.f64 #s(literal 2 binary64) %297 %350)
(fma.f64 %301 #s(literal -1 binary64) %346)
(fma.f64 %301 #s(literal -1 binary64) %348)
(fma.f64 %301 #s(literal -1 binary64) %350)
(fma.f64 #s(literal -1 binary64) %301 %346)
(fma.f64 #s(literal -1 binary64) %301 %348)
(fma.f64 #s(literal -1 binary64) %301 %350)
(fma.f64 #s(literal 1/2 binary64) %304 %346)
(fma.f64 #s(literal 1/2 binary64) %304 %348)
(fma.f64 #s(literal 1/2 binary64) %304 %350)
(fma.f64 #s(literal 1/2 binary64) %294 %297)
(fma.f64 %294 #s(literal 1/2 binary64) %297)
(fma.f64 %294 #s(literal 1 binary64) %346)
(fma.f64 %294 #s(literal 1 binary64) %348)
(fma.f64 %294 #s(literal 1 binary64) %350)
(fma.f64 #s(literal -2 binary64) %307 %346)
(fma.f64 #s(literal -2 binary64) %307 %348)
(fma.f64 #s(literal -2 binary64) %307 %350)
(fma.f64 #s(literal -2 binary64) %310 %346)
(fma.f64 #s(literal -2 binary64) %310 %348)
(fma.f64 #s(literal -2 binary64) %310 %350)
(fma.f64 #s(literal 1 binary64) %297 %297)
(fma.f64 #s(literal 1 binary64) %294 %346)
(fma.f64 #s(literal 1 binary64) %294 %348)
(fma.f64 #s(literal 1 binary64) %294 %350)
(+.f64 %297 %297)
(+.f64 %294 %346)
(+.f64 %294 %348)
(+.f64 %294 %350)
%390
%393
%396
%398
%400
%401
%402
%405
%408
%411
%413
%415
%418
%419
%422
%423
%424
%427
%428
%430
%431
%433
%434
%435
%437
%438
%441
%444
%445
%446
%449
%452
%453
%454
%455
%456
%459
%460
%461
%464
%465
%466
%468
%469
%471
%473
%474
%475
%476
%478
%479
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%492
%493
%494
%497
%500
%503
%506
%508
%511
%513
%516
%518
%521
%525
%530
%535
%540
%543
%548
%551
%555
%559
%563
%564
%565
%568
%569
%571
%573
%575
%577
%579
%580
%582
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%614
%615
%616
%617
%618
%621
%624
%626
%628
%629
%630
%631
%633
%635
%636
%637
%639
%641
%643
%645
%647
%649
%651
%653
%655
%657
%659
%661
%158
%662
%663
%664
%666
%668
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%835
%837
%839
%842
%844
%847
%849
%851
%853
%855
%857
%859
%861
%863
%865
%867
%869
%871
%873
%875
%877
%879
%881
%883
%885
%887
%889
%891
%893
%895
%897
%899
%901
%903
%905
%907
%909
%911
%913
%915
%917
%919
%921
%923
%925
%927
%929
%931
%933
%935
%937
%939
%941
%943
%945
%947
%949
%951
%953
%955
%957
%959
%961
%963
%965
%966
%967
%968
%969
%970
%971
%972
%973
%390
%393
%396
%398
%400
%401
%402
%405
%408
%411
%413
%415
%418
%419
%422
%423
%424
%427
%428
%430
%431
%433
%434
%435
%437
%438
%441
%444
%445
%446
%449
%452
%453
%454
%455
%456
%459
%460
%461
%464
%465
%466
%468
%469
%471
%473
%474
%475
%476
%478
%479
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%492
%493
%494
%497
%500
%503
%506
%508
%511
%513
%516
%518
%521
%525
%530
%535
%540
%543
%548
%551
%555
%559
%563
%564
%565
%568
%569
%571
%573
%575
%577
%579
%580
%582
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%614
%615
%616
%617
%618
%621
%624
%626
%628
%629
%630
%631
%633
%635
%636
%637
%639
%641
%643
%645
%647
%649
%651
%653
%655
%657
%659
%661
%158
%662
%663
%664
%666
%668
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%835
%837
%839
%842
%844
%847
%849
%851
%853
%855
%857
%859
%861
%863
%865
%867
%869
%871
%873
%875
%877
%879
%881
%883
%885
%887
%889
%891
%893
%895
%897
%899
%901
%903
%905
%907
%909
%911
%913
%915
%917
%919
%921
%923
%925
%927
%929
%931
%933
%935
%937
%939
%941
%943
%945
%947
%949
%951
%953
%955
%957
%959
%961
%963
%965
%966
%967
%968
%969
%970
%971
%972
%973
%390
%393
%396
%398
%400
%401
%402
%405
%408
%411
%413
%415
%418
%419
%422
%423
%424
%427
%428
%430
%431
%433
%434
%435
%437
%438
%441
%444
%445
%446
%449
%452
%453
%454
%455
%456
%459
%460
%461
%464
%465
%466
%468
%469
%471
%473
%474
%475
%476
%478
%479
%480
%481
%482
%483
%484
%485
%486
%487
%488
%489
%490
%492
%493
%494
%497
%500
%503
%506
%508
%511
%513
%516
%518
%521
%525
%530
%535
%540
%543
%548
%551
%555
%559
%563
%564
%565
%568
%569
%571
%573
%575
%577
%579
%580
%582
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%614
%615
%616
%617
%618
%621
%624
%626
%628
%629
%630
%631
%633
%635
%636
%637
%639
%641
%643
%645
%647
%649
%651
%653
%655
%657
%659
%661
%158
%662
%663
%664
%666
%668
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%797
%798
%799
%800
%801
%802
%803
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%815
%816
%817
%818
%819
%820
%821
%822
%823
%824
%825
%826
%827
%828
%829
%830
%831
%832
%833
%835
%837
%839
%842
%844
%847
%849
%851
%853
%855
%857
%859
%861
%863
%865
%867
%869
%871
%873
%875
%877
%879
%881
%883
%885
%887
%889
%891
%893
%895
%897
%899
%901
%903
%905
%907
%909
%911
%913
%915
%917
%919
%921
%923
%925
%927
%929
%931
%933
%935
%937
%939
%941
%943
%945
%947
%949
%951
%953
%955
%957
%959
%961
%963
%965
%966
%967
%968
%969
%970
%971
%972
%973
reconstruct113.0ms (11.5%)
Counts
1 450 → 137
Compiler
Compiled 1 450 to 1 003 computations (30.8% saved)
eval6.0ms (0.6%)
Compiler
Compiled 79 to 259 computations (-227.8% saved)
prune2.0ms (0.2%)
Pruning
4 alts after pruning (0 fresh and 4 done)
PrunedKeptTotal
New79079
Fresh000
Picked033
Done011
Total79483
Accuracy
100.0%
Counts
83 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 x #s(literal -2 binary64))
✓99.8%
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
✓98.9%
%4 = (fabs.f64 x)
%5 = (sqrt.f64 %4)
(/.f64 #s(literal 1 binary64) (*.f64 %5 (*.f64 %5 %4)))
✓99.2%
(/.f64 #s(literal 1 binary64) (*.f64 x x))
Compiler
Compiled 4 to 13 computations (-225.0% saved)
regimes8.0ms (0.8%)
Accuracy
Total 0.1b remaining (12.2%)
Threshold costs 0.1b (12.2%)
0.1b0.0%
0.0b0.0%
0.0b-100.0%
Counts
1 → 1
2 → 1
4 → 1
Calls
Call 1
Inputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
Outputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
Call 2
Inputs
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
Outputs
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
Call 3
Inputs
%6 = (fabs.f64 x)
%7 = (sqrt.f64 %6)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 #s(literal 1 binary64) (*.f64 %7 (*.f64 %7 %6)))
(pow.f64 x #s(literal -2 binary64))
Outputs
(pow.f64 x #s(literal -2 binary64))
Calls
3 calls:
3.0ms
(*.f64 x x)
3.0ms
x
2.0ms
(/.f64 #s(literal 1 binary64) (*.f64 x x))
Results
AccuracySegmentsBranch
99.2%1
x
99.2%1
(/.f64 #s(literal 1 binary64) (*.f64 x x))
99.2%1
(*.f64 x x)
Compiler
Compiled 7 to 17 computations (-142.9% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations41.0ms (4.2%)
Stop Event
1×done
Compiler
Compiled 3 to 8 computations (-166.7% saved)
preprocess12.0ms (1.2%)
Compiler
Compiled 10 to 34 computations (-240.0% saved)
end0.0ms (0.0%)
gc148ms (15.1%)
Allocations
AllocatedPercentPhase
375.8 MiB30.0%rewrite
346.3 MiB27.7%sample
317.4 MiB25.3%reconstruct
68.0 MiB5.4%preprocess
36.2 MiB2.9%regimes
32.3 MiB2.6%derivations
30.1 MiB2.4%series
27.8 MiB2.2%eval
17.8 MiB1.4%prune
0.8 MiB0.1%analyze
0.1 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
1 252.5 MiB100.0%total
Profiling
Loading profile data...