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

Time bar (total: 1.4s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 9 to 7 computations (22.2% saved)

sample256.0ms (18.5%)

Samples
194.0ms8 254×0valid
0.0ms1×1valid
0.0ms1×2valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
Mul: 3.0ms (44.2% of total, 0.0 MiB)
Add: 3.0ms (44.2% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess44.0ms (3.2%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01848
17842
221942
343742
464342
5194242
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (+.f64 (*.f64 x y) x) y)
Symmetry

(sort x y)

Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series10.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
061214
Stop Event
1×iter-limit
Counts
5 → 17
Calls
Call 1
Inputs
%2 = (*.f64 x y)
%3 = (+.f64 %2 x)
x
y
%2
%3
(+.f64 %3 y)
Outputs
%5 = (* x y)
%6 = (*.f64 x y)
%8 = (+ %5 x)
%11 = (*.f64 x (+.f64 #s(literal 1 binary64) y))
%13 = (+ %8 y)
%17 = (/.f64 y x)
%37 = (*.f64 y (+.f64 #s(literal 1 binary64) x))
%40 = (/.f64 x y)
%41 = (+.f64 x %40)
%49 = (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %40))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %8 %11)
(approx %13 y)
(approx %13 (+.f64 y %11))
(approx %13 (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 y %17))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %17)) #s(literal 1 binary64)))))
(approx %8 (+.f64 x %6))
(approx %13 (+.f64 x %37))
(approx %8 (*.f64 y %41))
(approx %13 %37)
(approx %13 (*.f64 y (+.f64 #s(literal 1 binary64) %41)))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 y %49)))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %49 #s(literal 1 binary64)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
y
-inf
0.0ms
y
0
rewrite103.0ms (7.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0517
0817
12317
26817
318217
432817
5113917
0473817
0485915
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 101
Calls
Call 1
Inputs
%2 = (*.f64 x y)
%3 = (+.f64 %2 x)
x
y
%2
%3
(+.f64 %3 y)
Outputs
%2 = (neg.f64 x)
%3 = (neg.f64 y)
%7 = (*.f64 y x)
%14 = (*.f64 %2 y)
%16 = (-.f64 #s(literal -1 binary64) y)
%18 = (+.f64 #s(literal 1 binary64) y)
%21 = (fma.f64 y x x)
%26 = (*.f64 #s(literal -2 binary64) x)
%29 = (*.f64 x #s(literal -2 binary64))
%33 = (+.f64 x x)
%38 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64))
%39 = (*.f64 x %38)
%42 = (*.f64 %38 x)
%49 = (*.f64 %16 x)
%52 = (-.f64 y #s(literal -1/2 binary64))
%54 = (*.f64 #s(literal 1/2 binary64) x)
%57 = (*.f64 x #s(literal 0 binary64))
%59 = (*.f64 #s(literal 0 binary64) x)
%61 = (*.f64 %52 x)
%72 = (*.f64 x #s(literal 1/2 binary64))
%74 = (*.f64 x %52)
%93 = (+.f64 %21 y)
%96 = (fma.f64 y x y)
%109 = (+.f64 y y)
%116 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64))
%132 = (-.f64 #s(literal -1 binary64) x)
%133 = (*.f64 %132 y)
%137 = (-.f64 x #s(literal -1 binary64))
%142 = (+.f64 y x)
x
y
(*.f64 %2 %3)
(*.f64 %3 %2)
(*.f64 #s(literal 1 binary64) %7)
%7
(*.f64 x y)
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %14)
(*.f64 %16 %2)
(*.f64 %18 x)
(*.f64 %2 %16)
(*.f64 #s(literal 1 binary64) %21)
(*.f64 x %18)
(pow.f64 %21 #s(literal 1 binary64))
(/.f64 (fma.f64 %7 #s(literal -2 binary64) %26) #s(literal -2 binary64))
(/.f64 (fma.f64 %7 #s(literal -2 binary64) %29) #s(literal -2 binary64))
(/.f64 (fma.f64 %7 #s(literal 2 binary64) %33) #s(literal 2 binary64))
(/.f64 (fma.f64 %7 #s(literal 1 binary64) x) #s(literal 1 binary64))
(/.f64 (neg.f64 %39) #s(literal -2 binary64))
(/.f64 (neg.f64 %42) #s(literal -2 binary64))
(/.f64 %39 #s(literal 2 binary64))
(/.f64 %42 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(neg.f64 %49)
(fma.f64 %52 x %54)
(fma.f64 %16 %2 %57)
(fma.f64 %16 %2 %59)
(fma.f64 #s(literal 1/2 binary64) x %61)
(fma.f64 %18 x %57)
(fma.f64 %18 x %59)
(fma.f64 %2 %16 %57)
(fma.f64 %2 %16 %59)
(fma.f64 %2 %3 x)
(fma.f64 %3 %2 x)
(fma.f64 #s(literal 1 binary64) %21 %57)
(fma.f64 #s(literal 1 binary64) %21 %59)
(fma.f64 #s(literal 1 binary64) %7 x)
%21
(fma.f64 x %52 %72)
(fma.f64 x #s(literal 1/2 binary64) %74)
(fma.f64 x %18 %57)
(fma.f64 x %18 %59)
(fma.f64 x y x)
(-.f64 %7 (*.f64 %2 #s(literal 1 binary64)))
(-.f64 %7 (*.f64 #s(literal -1 binary64) x))
(-.f64 %7 %2)
(-.f64 x %14)
(+.f64 %74 %72)
(+.f64 %72 %74)
(+.f64 %61 %54)
(+.f64 %54 %61)
(+.f64 %21 %57)
(+.f64 %21 %59)
(+.f64 %7 x)
(+.f64 x %7)
(*.f64 #s(literal 1 binary64) %93)
(pow.f64 %93 #s(literal 1 binary64))
(/.f64 (fma.f64 %96 #s(literal -2 binary64) %26) #s(literal -2 binary64))
(/.f64 (fma.f64 %96 #s(literal -2 binary64) %29) #s(literal -2 binary64))
(/.f64 (fma.f64 %96 #s(literal 2 binary64) %33) #s(literal 2 binary64))
(/.f64 (fma.f64 %96 #s(literal 1 binary64) x) #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %39) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %42) #s(literal 2 binary64))
(/.f64 (-.f64 %109 (*.f64 %2 %38)) #s(literal 2 binary64))
(/.f64 (-.f64 %109 (*.f64 %38 %2)) #s(literal 2 binary64))
(/.f64 (fma.f64 y %116 %33) #s(literal 2 binary64))
(/.f64 (fma.f64 %116 y %33) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 y %116)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 %116 y)) #s(literal 2 binary64))
(/.f64 (-.f64 %33 (*.f64 %116 %3)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %93 #s(literal -1 binary64)))
(neg.f64 (-.f64 %133 x))
(fma.f64 %132 %3 x)
(fma.f64 %137 y x)
(fma.f64 %16 %2 y)
(fma.f64 %18 x y)
(fma.f64 %2 %16 y)
(fma.f64 %2 %3 %142)
(fma.f64 %3 %2 %142)
(fma.f64 #s(literal 1 binary64) %96 x)
(fma.f64 #s(literal 1 binary64) %142 %7)
(fma.f64 #s(literal 1 binary64) %21 y)
(fma.f64 #s(literal 1 binary64) %7 %142)
(fma.f64 y %137 x)
(fma.f64 y x %142)
(fma.f64 x %18 y)
(fma.f64 x y %142)
(-.f64 %96 %2)
(-.f64 %142 %14)
(-.f64 %21 %3)
(-.f64 %7 (neg.f64 %142))
(-.f64 y %49)
(-.f64 x %133)
(+.f64 %96 x)
(+.f64 %142 %7)
%93
(+.f64 %7 %142)
(+.f64 y %21)
(+.f64 x %96)
reconstruct11.0ms (0.8%)
Counts
118 → 23
Compiler
Compiled 118 to 198 computations (-67.8% saved)
eval2.0ms (0.1%)
Compiler
Compiled 22 to 62 computations (-181.8% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (3 fresh and 0 done)
PrunedKeptTotal
New19322
Fresh000
Picked101
Done000
Total20323
Accuracy
100.0%
Counts
23 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (fma.f64 x y x) y)
▶62.9%
(approx (+ (+ (* x y) x) y) (*.f64 y (+.f64 #s(literal 1 binary64) x)))
▶38.6%
(approx (+ (+ (* x y) x) y) y)
Compiler
Compiled 3 to 7 computations (-133.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series-1.0ms (-0.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
074282
Stop Event
1×iter-limit
Counts
9 → 23
Calls
Call 1
Inputs
%5 = (+ (+ (* x y) x) y)
%7 = (+.f64 #s(literal 1 binary64) x)
%8 = (*.f64 y %7)
%10 = (fma.f64 x y x)
x
y
#s(literal 1 binary64)
(approx %5 y)
%7
%8
(approx %5 %8)
%10
(+.f64 %10 y)
Outputs
%6 = (+ (* x y) x)
%7 = (+ %6 y)
%11 = (*.f64 x (+.f64 #s(literal 1 binary64) y))
%15 = (+ 1 x)
%17 = (+.f64 #s(literal 1 binary64) x)
%19 = (* y %15)
%20 = (*.f64 x y)
%24 = (/.f64 y x)
%25 = (+.f64 y %24)
%43 = (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %24))
%51 = (*.f64 y %17)
%57 = (/.f64 x y)
%58 = (+.f64 x %57)
%70 = (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %57))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 y)
(approx %7 (+.f64 y %11))
(approx %15 #s(literal 1 binary64))
(approx %15 %17)
(approx %19 (+.f64 y %20))
(approx %6 %11)
(approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) %25)))
(approx %15 (*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
(approx %19 %20)
(approx %19 (*.f64 x %25))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %43 #s(literal 1 binary64)))))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 x %43)))
(approx %7 (+.f64 x %51))
(approx %19 %51)
(approx %6 (+.f64 x %20))
(approx %7 (*.f64 y (+.f64 #s(literal 1 binary64) %58)))
(approx %6 (*.f64 y %58))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %70 #s(literal 1 binary64)))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y %70)))
Calls
6 calls:
TimeVariablePoint
24.0ms
y
-inf
1.0ms
y
inf
1.0ms
x
inf
1.0ms
x
-inf
0.0ms
x
0
rewrite116.0ms (8.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01241
01541
14841
212741
340941
4246741
0410241
0427039
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 614
Calls
Call 1
Inputs
%5 = (+ (+ (* x y) x) y)
%7 = (+.f64 #s(literal 1 binary64) x)
%8 = (*.f64 y %7)
%10 = (fma.f64 x y x)
x
y
#s(literal 1 binary64)
(approx %5 y)
%7
%8
(approx %5 %8)
%10
(+.f64 %10 y)
Outputs
%6 = (- x (* (- -1 x) y))
%7 = (approx %6 y)
%14 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64))
%16 = (/.f64 %14 #s(literal 8 binary64))
%20 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 1/2 binary64))
%25 = (+.f64 #s(literal 1 binary64) x)
%30 = (*.f64 #s(literal -2 binary64) %25)
%33 = (/.f64 %14 #s(literal 1/2 binary64))
%37 = (/.f64 %14 #s(literal 1 binary64))
%41 = (-.f64 x #s(literal -1/2 binary64))
%42 = (fma.f64 %41 #s(literal 2 binary64) #s(literal 1 binary64))
%45 = (fma.f64 x #s(literal -2 binary64) #s(literal -2 binary64))
%49 = (-.f64 (*.f64 x #s(literal -2 binary64)) #s(literal 2 binary64))
%53 = (fma.f64 %14 #s(literal 2 binary64) #s(literal 0 binary64))
%56 = (*.f64 #s(literal -2 binary64) %14)
%59 = (*.f64 #s(literal 2 binary64) %14)
%62 = (*.f64 %14 #s(literal -2 binary64))
%65 = (*.f64 %14 #s(literal 2 binary64))
%68 = (-.f64 #s(literal -1 binary64) x)
%69 = (*.f64 #s(literal 2 binary64) %68)
%70 = (neg.f64 %69)
%73 = (neg.f64 %14)
%79 = (*.f64 #s(literal -1 binary64) %25)
%81 = (*.f64 %68 #s(literal 1 binary64))
%83 = (*.f64 %25 #s(literal -1 binary64))
%87 = (+.f64 x x)
%88 = (neg.f64 %87)
%89 = (-.f64 #s(literal 2 binary64) %88)
%115 = (*.f64 %25 #s(literal 0 binary64))
%117 = (*.f64 #s(literal 0 binary64) %25)
%150 = (neg.f64 x)
%166 = (*.f64 %41 #s(literal 1 binary64))
%180 = (fma.f64 y x y)
%181 = (*.f64 %180 #s(literal 1/2 binary64))
%183 = (*.f64 %14 y)
%185 = (+.f64 y y)
%187 = (*.f64 #s(literal 1/2 binary64) %180)
%189 = (*.f64 #s(literal 1/2 binary64) y)
%192 = (*.f64 %20 #s(literal 1 binary64))
%194 = (*.f64 #s(literal 1/2 binary64) x)
%195 = (-.f64 %194 #s(literal -1/2 binary64))
%200 = (neg.f64 y)
%202 = (*.f64 #s(literal 4 binary64) %187)
%204 = (*.f64 #s(literal 2 binary64) %180)
%206 = (fma.f64 %87 y %185)
%208 = (*.f64 %87 y)
%209 = (fma.f64 #s(literal 2 binary64) y %208)
%212 = (-.f64 %208 (*.f64 #s(literal -2 binary64) y))
%214 = (*.f64 %185 %150)
%215 = (-.f64 %185 %214)
%218 = (*.f64 %187 #s(literal 1 binary64))
%220 = (*.f64 %189 x)
%221 = (*.f64 #s(literal -1/2 binary64) y)
%222 = (-.f64 %220 %221)
%230 = (*.f64 %180 #s(literal -2 binary64))
%233 = (*.f64 y %14)
%236 = (*.f64 #s(literal 8 binary64) %187)
%241 = (*.f64 #s(literal -2 binary64) %180)
%248 = (*.f64 %185 %14)
%251 = (*.f64 %14 %185)
%268 = (*.f64 %68 y)
%274 = (*.f64 y x)
%275 = (*.f64 %274 #s(literal 1/2 binary64))
%277 = (*.f64 %183 #s(literal 0 binary64))
%279 = (*.f64 %180 #s(literal 0 binary64))
%282 = (*.f64 #s(literal 0 binary64) %183)
%284 = (*.f64 #s(literal 0 binary64) %180)
%288 = (*.f64 #s(literal 1/2 binary64) %189)
%289 = (fma.f64 #s(literal 1/2 binary64) y %274)
%291 = (*.f64 %150 y)
%292 = (-.f64 %189 %291)
%294 = (*.f64 y %41)
%296 = (*.f64 %41 y)
%298 = (*.f64 %189 #s(literal 1/2 binary64))
%352 = (*.f64 %194 #s(literal 1 binary64))
%408 = (*.f64 #s(literal 4 binary64) %220)
%410 = (*.f64 #s(literal 2 binary64) %274)
%467 = (*.f64 %220 #s(literal 1 binary64))
%572 = (approx %6 %180)
%577 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64))
%579 = (-.f64 #s(literal -1 binary64) y)
%581 = (fma.f64 #s(literal 1/2 binary64) y #s(literal 1/2 binary64))
%583 = (-.f64 y #s(literal -1 binary64))
%585 = (*.f64 %577 x)
%587 = (*.f64 %581 x)
%589 = (fma.f64 y x x)
%594 = (*.f64 x %577)
%603 = (*.f64 %579 x)
%606 = (-.f64 y #s(literal -1/2 binary64))
%610 = (*.f64 x #s(literal 0 binary64))
%612 = (*.f64 #s(literal 0 binary64) x)
%659 = (fma.f64 %583 x y)
%662 = (fma.f64 %589 #s(literal 2 binary64) %185)
%670 = (+.f64 y x)
%673 = (fma.f64 #s(literal 1/2 binary64) y %589)
%675 = (-.f64 %189 %603)
x
y
#s(literal 1 binary64)
(*.f64 #s(literal 1 binary64) %7)
(pow.f64 %7 #s(literal 1 binary64))
%7
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(*.f64 %16 #s(literal 4 binary64))
(*.f64 %20 #s(literal 2 binary64))
(*.f64 %14 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %14)
(*.f64 #s(literal 2 binary64) %20)
(*.f64 %25 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %25)
(pow.f64 %25 #s(literal 1 binary64))
(/.f64 (neg.f64 %30) #s(literal 2 binary64))
(/.f64 (neg.f64 %33) #s(literal -4 binary64))
(/.f64 (neg.f64 %37) #s(literal -2 binary64))
(/.f64 (neg.f64 %42) #s(literal -2 binary64))
(/.f64 (neg.f64 %45) #s(literal 2 binary64))
(/.f64 (neg.f64 %49) #s(literal 2 binary64))
(/.f64 (neg.f64 %53) #s(literal -4 binary64))
(/.f64 (neg.f64 %56) #s(literal 4 binary64))
(/.f64 (neg.f64 %59) #s(literal -4 binary64))
(/.f64 (neg.f64 %62) #s(literal 4 binary64))
(/.f64 (neg.f64 %65) #s(literal -4 binary64))
(/.f64 (neg.f64 %70) #s(literal -2 binary64))
(/.f64 (neg.f64 %73) #s(literal 2 binary64))
(/.f64 %30 #s(literal -2 binary64))
(/.f64 %33 #s(literal 4 binary64))
(/.f64 %37 #s(literal 2 binary64))
(/.f64 %79 #s(literal -1 binary64))
(/.f64 %81 #s(literal -1 binary64))
(/.f64 %83 #s(literal -1 binary64))
(/.f64 (*.f64 %25 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %89 #s(literal 2 binary64))
(/.f64 %42 #s(literal 2 binary64))
(/.f64 %45 #s(literal -2 binary64))
(/.f64 (*.f64 %68 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 %49 #s(literal -2 binary64))
(/.f64 %53 #s(literal 4 binary64))
(/.f64 %56 #s(literal -4 binary64))
(/.f64 %59 #s(literal 4 binary64))
(/.f64 %62 #s(literal -4 binary64))
(/.f64 %65 #s(literal 4 binary64))
(/.f64 %70 #s(literal 2 binary64))
(/.f64 %73 #s(literal -2 binary64))
(/.f64 %14 #s(literal 2 binary64))
(/.f64 %69 #s(literal -2 binary64))
(/.f64 %68 #s(literal -1 binary64))
(/.f64 %25 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %14))
(/.f64 #s(literal 1 binary64) (pow.f64 %25 #s(literal -1 binary64)))
(neg.f64 %79)
(neg.f64 %81)
(neg.f64 %83)
(neg.f64 %68)
(fma.f64 %16 #s(literal 4 binary64) %115)
(fma.f64 %16 #s(literal 4 binary64) %117)
(fma.f64 %16 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %41 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 %20 #s(literal 2 binary64) %115)
(fma.f64 %20 #s(literal 2 binary64) %117)
(fma.f64 %20 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %14 #s(literal 1/2 binary64) %115)
(fma.f64 %14 #s(literal 1/2 binary64) %117)
(fma.f64 %14 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %14 %115)
(fma.f64 #s(literal 1/2 binary64) %14 %117)
(fma.f64 #s(literal 1/2 binary64) %14 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %25 %20)
(fma.f64 #s(literal 2 binary64) %20 %115)
(fma.f64 #s(literal 2 binary64) %20 %117)
(fma.f64 #s(literal 2 binary64) %20 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %25 %25)
(fma.f64 %25 #s(literal 1/2 binary64) %20)
(fma.f64 %25 #s(literal 0 binary64) %25)
(fma.f64 %25 #s(literal 1 binary64) %115)
(fma.f64 %25 #s(literal 1 binary64) %117)
(fma.f64 %25 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %41 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %20 %20)
(fma.f64 #s(literal 1 binary64) %25 %115)
(fma.f64 #s(literal 1 binary64) %25 %117)
(fma.f64 #s(literal 1 binary64) %25 #s(literal 0 binary64))
(-.f64 (+.f64 %25 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 %41 #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) %150))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %41))
(-.f64 #s(literal 0 binary64) %68)
(-.f64 %25 #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) %150))
(-.f64 #s(literal 1 binary64) (-.f64 %150 #s(literal 0 binary64)))
(-.f64 #s(literal 1 binary64) %150)
(-.f64 x #s(literal -1 binary64))
(+.f64 %115 %25)
(+.f64 %166 #s(literal 1/2 binary64))
(+.f64 %117 %25)
(+.f64 %41 #s(literal 1/2 binary64))
(+.f64 %20 %20)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %41))
(+.f64 #s(literal 1/2 binary64) %166)
(+.f64 #s(literal 1/2 binary64) %41)
(+.f64 #s(literal 0 binary64) %25)
(+.f64 %25 %115)
(+.f64 %25 %117)
(+.f64 %25 #s(literal 0 binary64))
%25
(+.f64 x #s(literal 1 binary64))
(*.f64 %181 #s(literal 2 binary64))
(*.f64 %183 #s(literal 1/2 binary64))
(*.f64 %20 %185)
(*.f64 %187 #s(literal 2 binary64))
(*.f64 %14 %189)
(*.f64 %180 #s(literal 1 binary64))
(*.f64 %185 %192)
(*.f64 %185 %195)
(*.f64 %185 %20)
(*.f64 %189 %89)
(*.f64 %189 %14)
(*.f64 %68 %200)
(*.f64 #s(literal 1/2 binary64) %202)
(*.f64 #s(literal 1/2 binary64) %204)
(*.f64 #s(literal 1/2 binary64) %206)
(*.f64 #s(literal 1/2 binary64) %209)
(*.f64 #s(literal 1/2 binary64) %212)
(*.f64 #s(literal 1/2 binary64) %215)
(*.f64 #s(literal 1/2 binary64) %183)
(*.f64 #s(literal 2 binary64) %218)
(*.f64 #s(literal 2 binary64) %222)
(*.f64 #s(literal 2 binary64) %187)
(*.f64 %200 %68)
(*.f64 %25 y)
(*.f64 #s(literal 1 binary64) %180)
(*.f64 y %25)
(pow.f64 %180 #s(literal 1 binary64))
(/.f64 (neg.f64 %230) #s(literal 2 binary64))
(/.f64 (neg.f64 %233) #s(literal -2 binary64))
(/.f64 (neg.f64 %236) #s(literal -4 binary64))
(/.f64 (neg.f64 %202) #s(literal -2 binary64))
(/.f64 (neg.f64 %241) #s(literal 2 binary64))
(/.f64 (neg.f64 %204) #s(literal -2 binary64))
(/.f64 (neg.f64 %206) #s(literal -2 binary64))
(/.f64 (neg.f64 %248) #s(literal -4 binary64))
(/.f64 (neg.f64 %251) #s(literal -4 binary64))
(/.f64 %230 #s(literal -2 binary64))
(/.f64 %233 #s(literal 2 binary64))
(/.f64 %236 #s(literal 4 binary64))
(/.f64 %202 #s(literal 2 binary64))
(/.f64 %241 #s(literal -2 binary64))
(/.f64 %204 #s(literal 2 binary64))
(/.f64 %206 #s(literal 2 binary64))
(/.f64 (*.f64 %68 %185) #s(literal -2 binary64))
(/.f64 (neg.f64 %183) #s(literal -2 binary64))
(/.f64 %251 #s(literal 4 binary64))
(/.f64 %248 #s(literal 4 binary64))
(/.f64 %183 #s(literal 2 binary64))
(/.f64 %268 #s(literal -1 binary64))
(/.f64 %180 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %180 #s(literal -1 binary64)))
(neg.f64 %268)
(fma.f64 %275 #s(literal 2 binary64) y)
(fma.f64 %181 #s(literal 2 binary64) %277)
(fma.f64 %181 #s(literal 2 binary64) %279)
(fma.f64 %181 #s(literal 2 binary64) %115)
(fma.f64 %181 #s(literal 2 binary64) %282)
(fma.f64 %181 #s(literal 2 binary64) %284)
(fma.f64 %181 #s(literal 2 binary64) %117)
(fma.f64 %181 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %288 #s(literal 2 binary64) %289)
(fma.f64 %288 #s(literal 2 binary64) %292)
(fma.f64 %288 #s(literal 2 binary64) %294)
(fma.f64 %288 #s(literal 2 binary64) %296)
(fma.f64 %298 #s(literal 2 binary64) %289)
(fma.f64 %298 #s(literal 2 binary64) %292)
(fma.f64 %298 #s(literal 2 binary64) %294)
(fma.f64 %298 #s(literal 2 binary64) %296)
(fma.f64 #s(literal 1/4 binary64) %185 %289)
(fma.f64 #s(literal 1/4 binary64) %185 %292)
(fma.f64 #s(literal 1/4 binary64) %185 %294)
(fma.f64 #s(literal 1/4 binary64) %185 %296)
(fma.f64 %41 y %189)
(fma.f64 %214 #s(literal -1/2 binary64) y)
(fma.f64 %183 #s(literal 1/2 binary64) %277)
(fma.f64 %183 #s(literal 1/2 binary64) %279)
(fma.f64 %183 #s(literal 1/2 binary64) %115)
(fma.f64 %183 #s(literal 1/2 binary64) %282)
(fma.f64 %183 #s(literal 1/2 binary64) %284)
(fma.f64 %183 #s(literal 1/2 binary64) %117)
(fma.f64 %183 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %208 #s(literal 1/2 binary64) y)
(fma.f64 %20 %185 %277)
(fma.f64 %20 %185 %279)
(fma.f64 %20 %185 %115)
(fma.f64 %20 %185 %282)
(fma.f64 %20 %185 %284)
(fma.f64 %20 %185 %117)
(fma.f64 %20 %185 #s(literal 0 binary64))
(fma.f64 %187 #s(literal 2 binary64) %277)
(fma.f64 %187 #s(literal 2 binary64) %279)
(fma.f64 %187 #s(literal 2 binary64) %115)
(fma.f64 %187 #s(literal 2 binary64) %282)
(fma.f64 %187 #s(literal 2 binary64) %284)
(fma.f64 %187 #s(literal 2 binary64) %117)
(fma.f64 %187 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %194 %185 y)
(fma.f64 %220 #s(literal 2 binary64) y)
(fma.f64 %14 %189 %277)
(fma.f64 %14 %189 %279)
(fma.f64 %14 %189 %115)
(fma.f64 %14 %189 %282)
(fma.f64 %14 %189 %284)
(fma.f64 %14 %189 %117)
(fma.f64 %14 %189 #s(literal 0 binary64))
(fma.f64 %87 %189 y)
(fma.f64 %88 %221 y)
(fma.f64 %180 #s(literal 1/2 binary64) %181)
(fma.f64 %180 #s(literal 0 binary64) %180)
(fma.f64 %180 #s(literal 1 binary64) %277)
(fma.f64 %180 #s(literal 1 binary64) %279)
(fma.f64 %180 #s(literal 1 binary64) %115)
(fma.f64 %180 #s(literal 1 binary64) %282)
(fma.f64 %180 #s(literal 1 binary64) %284)
(fma.f64 %180 #s(literal 1 binary64) %117)
(fma.f64 %180 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %185 %352 y)
(fma.f64 %185 %192 %277)
(fma.f64 %185 %192 %279)
(fma.f64 %185 %192 %115)
(fma.f64 %185 %192 %282)
(fma.f64 %185 %192 %284)
(fma.f64 %185 %192 %117)
(fma.f64 %185 %192 #s(literal 0 binary64))
(fma.f64 %185 %195 %277)
(fma.f64 %185 %195 %279)
(fma.f64 %185 %195 %115)
(fma.f64 %185 %195 %282)
(fma.f64 %185 %195 %284)
(fma.f64 %185 %195 %117)
(fma.f64 %185 %195 #s(literal 0 binary64))
(fma.f64 %185 #s(literal 1/4 binary64) %289)
(fma.f64 %185 #s(literal 1/4 binary64) %292)
(fma.f64 %185 #s(literal 1/4 binary64) %294)
(fma.f64 %185 #s(literal 1/4 binary64) %296)
(fma.f64 %185 %20 %277)
(fma.f64 %185 %20 %279)
(fma.f64 %185 %20 %115)
(fma.f64 %185 %20 %282)
(fma.f64 %185 %20 %284)
(fma.f64 %185 %20 %117)
(fma.f64 %185 %20 #s(literal 0 binary64))
(fma.f64 %185 %194 y)
(fma.f64 %189 %89 %277)
(fma.f64 %189 %89 %279)
(fma.f64 %189 %89 %115)
(fma.f64 %189 %89 %282)
(fma.f64 %189 %89 %284)
(fma.f64 %189 %89 %117)
(fma.f64 %189 %89 #s(literal 0 binary64))
(fma.f64 %189 %14 %277)
(fma.f64 %189 %14 %279)
(fma.f64 %189 %14 %115)
(fma.f64 %189 %14 %282)
(fma.f64 %189 %14 %284)
(fma.f64 %189 %14 %117)
(fma.f64 %189 %14 #s(literal 0 binary64))
(fma.f64 %189 %87 y)
(fma.f64 %189 %25 %187)
(fma.f64 %189 #s(literal 1 binary64) %289)
(fma.f64 %189 #s(literal 1 binary64) %292)
(fma.f64 %189 #s(literal 1 binary64) %294)
(fma.f64 %189 #s(literal 1 binary64) %296)
(fma.f64 %68 %200 %277)
(fma.f64 %68 %200 %279)
(fma.f64 %68 %200 %115)
(fma.f64 %68 %200 %282)
(fma.f64 %68 %200 %284)
(fma.f64 %68 %200 %117)
(fma.f64 %68 %200 #s(literal 0 binary64))
(fma.f64 %291 #s(literal -1 binary64) y)
(fma.f64 #s(literal 1/2 binary64) %408 y)
(fma.f64 #s(literal 1/2 binary64) %410 y)
(fma.f64 #s(literal 1/2 binary64) %202 %277)
(fma.f64 #s(literal 1/2 binary64) %202 %279)
(fma.f64 #s(literal 1/2 binary64) %202 %115)
(fma.f64 #s(literal 1/2 binary64) %202 %282)
(fma.f64 #s(literal 1/2 binary64) %202 %284)
(fma.f64 #s(literal 1/2 binary64) %202 %117)
(fma.f64 #s(literal 1/2 binary64) %202 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %204 %277)
(fma.f64 #s(literal 1/2 binary64) %204 %279)
(fma.f64 #s(literal 1/2 binary64) %204 %115)
(fma.f64 #s(literal 1/2 binary64) %204 %282)
(fma.f64 #s(literal 1/2 binary64) %204 %284)
(fma.f64 #s(literal 1/2 binary64) %204 %117)
(fma.f64 #s(literal 1/2 binary64) %204 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %206 %277)
(fma.f64 #s(literal 1/2 binary64) %206 %279)
(fma.f64 #s(literal 1/2 binary64) %206 %115)
(fma.f64 #s(literal 1/2 binary64) %206 %282)
(fma.f64 #s(literal 1/2 binary64) %206 %284)
(fma.f64 #s(literal 1/2 binary64) %206 %117)
(fma.f64 #s(literal 1/2 binary64) %206 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %209 %277)
(fma.f64 #s(literal 1/2 binary64) %209 %279)
(fma.f64 #s(literal 1/2 binary64) %209 %115)
(fma.f64 #s(literal 1/2 binary64) %209 %282)
(fma.f64 #s(literal 1/2 binary64) %209 %284)
(fma.f64 #s(literal 1/2 binary64) %209 %117)
(fma.f64 #s(literal 1/2 binary64) %209 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %212 %277)
(fma.f64 #s(literal 1/2 binary64) %212 %279)
(fma.f64 #s(literal 1/2 binary64) %212 %115)
(fma.f64 #s(literal 1/2 binary64) %212 %282)
(fma.f64 #s(literal 1/2 binary64) %212 %284)
(fma.f64 #s(literal 1/2 binary64) %212 %117)
(fma.f64 #s(literal 1/2 binary64) %212 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %215 %277)
(fma.f64 #s(literal 1/2 binary64) %215 %279)
(fma.f64 #s(literal 1/2 binary64) %215 %115)
(fma.f64 #s(literal 1/2 binary64) %215 %282)
(fma.f64 #s(literal 1/2 binary64) %215 %284)
(fma.f64 #s(literal 1/2 binary64) %215 %117)
(fma.f64 #s(literal 1/2 binary64) %215 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %183 %277)
(fma.f64 #s(literal 1/2 binary64) %183 %279)
(fma.f64 #s(literal 1/2 binary64) %183 %115)
(fma.f64 #s(literal 1/2 binary64) %183 %282)
(fma.f64 #s(literal 1/2 binary64) %183 %284)
(fma.f64 #s(literal 1/2 binary64) %183 %117)
(fma.f64 #s(literal 1/2 binary64) %183 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %208 y)
(fma.f64 #s(literal 1/2 binary64) %180 %187)
(fma.f64 #s(literal 1/2 binary64) y %289)
(fma.f64 #s(literal 1/2 binary64) y %292)
(fma.f64 #s(literal 1/2 binary64) y %294)
(fma.f64 #s(literal 1/2 binary64) y %296)
(fma.f64 #s(literal 2 binary64) %467 y)
(fma.f64 #s(literal 2 binary64) %218 %277)
(fma.f64 #s(literal 2 binary64) %218 %279)
(fma.f64 #s(literal 2 binary64) %218 %115)
(fma.f64 #s(literal 2 binary64) %218 %282)
(fma.f64 #s(literal 2 binary64) %218 %284)
(fma.f64 #s(literal 2 binary64) %218 %117)
(fma.f64 #s(literal 2 binary64) %218 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %288 %289)
(fma.f64 #s(literal 2 binary64) %288 %292)
(fma.f64 #s(literal 2 binary64) %288 %294)
(fma.f64 #s(literal 2 binary64) %288 %296)
(fma.f64 #s(literal 2 binary64) %298 %289)
(fma.f64 #s(literal 2 binary64) %298 %292)
(fma.f64 #s(literal 2 binary64) %298 %294)
(fma.f64 #s(literal 2 binary64) %298 %296)
(fma.f64 #s(literal 2 binary64) %222 %277)
(fma.f64 #s(literal 2 binary64) %222 %279)
(fma.f64 #s(literal 2 binary64) %222 %115)
(fma.f64 #s(literal 2 binary64) %222 %282)
(fma.f64 #s(literal 2 binary64) %222 %284)
(fma.f64 #s(literal 2 binary64) %222 %117)
(fma.f64 #s(literal 2 binary64) %222 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %187 %277)
(fma.f64 #s(literal 2 binary64) %187 %279)
(fma.f64 #s(literal 2 binary64) %187 %115)
(fma.f64 #s(literal 2 binary64) %187 %282)
(fma.f64 #s(literal 2 binary64) %187 %284)
(fma.f64 #s(literal 2 binary64) %187 %117)
(fma.f64 #s(literal 2 binary64) %187 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %220 y)
(fma.f64 %150 %200 y)
(fma.f64 %200 %68 %277)
(fma.f64 %200 %68 %279)
(fma.f64 %200 %68 %115)
(fma.f64 %200 %68 %282)
(fma.f64 %200 %68 %284)
(fma.f64 %200 %68 %117)
(fma.f64 %200 %68 #s(literal 0 binary64))
(fma.f64 %200 %150 y)
(fma.f64 #s(literal 0 binary64) %180 %180)
(fma.f64 %25 %189 %187)
(fma.f64 %25 y %277)
(fma.f64 %25 y %279)
(fma.f64 %25 y %115)
(fma.f64 %25 y %282)
(fma.f64 %25 y %284)
(fma.f64 %25 y %117)
(fma.f64 %25 y #s(literal 0 binary64))
(fma.f64 %274 #s(literal 1 binary64) y)
(fma.f64 #s(literal 1 binary64) %187 %187)
(fma.f64 #s(literal 1 binary64) %180 %277)
(fma.f64 #s(literal 1 binary64) %180 %279)
(fma.f64 #s(literal 1 binary64) %180 %115)
(fma.f64 #s(literal 1 binary64) %180 %282)
(fma.f64 #s(literal 1 binary64) %180 %284)
(fma.f64 #s(literal 1 binary64) %180 %117)
(fma.f64 #s(literal 1 binary64) %180 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %189 %289)
(fma.f64 #s(literal 1 binary64) %189 %292)
(fma.f64 #s(literal 1 binary64) %189 %294)
(fma.f64 #s(literal 1 binary64) %189 %296)
(fma.f64 #s(literal 1 binary64) %274 y)
(fma.f64 y %41 %189)
(fma.f64 y %20 %187)
(fma.f64 y #s(literal 1/2 binary64) %289)
(fma.f64 y #s(literal 1/2 binary64) %292)
(fma.f64 y #s(literal 1/2 binary64) %294)
(fma.f64 y #s(literal 1/2 binary64) %296)
(fma.f64 y %25 %277)
(fma.f64 y %25 %279)
(fma.f64 y %25 %115)
(fma.f64 y %25 %282)
(fma.f64 y %25 %284)
(fma.f64 y %25 %117)
(fma.f64 y %25 #s(literal 0 binary64))
%180
(fma.f64 x y y)
(-.f64 %274 %200)
(-.f64 y %291)
(+.f64 (fma.f64 y x %189) %189)
(+.f64 %181 %181)
(+.f64 %279 %180)
(+.f64 %294 %189)
(+.f64 %284 %180)
(+.f64 %296 %189)
(+.f64 %187 %187)
(+.f64 %180 %277)
(+.f64 %180 %279)
(+.f64 %180 %115)
(+.f64 %180 %282)
(+.f64 %180 %284)
(+.f64 %180 %117)
(+.f64 %180 #s(literal 0 binary64))
(+.f64 %189 %289)
(+.f64 %189 %292)
(+.f64 %189 %294)
(+.f64 %189 %296)
(+.f64 %274 y)
(+.f64 y (+.f64 #s(literal 0 binary64) %274))
(+.f64 y (-.f64 #s(literal 0 binary64) %291))
(+.f64 y %274)
(*.f64 #s(literal 1 binary64) %572)
(pow.f64 %572 #s(literal 1 binary64))
%572
(/.f64 #s(literal 1 binary64) (pow.f64 %572 #s(literal -1 binary64)))
(*.f64 %194 %577)
(*.f64 %579 %150)
(*.f64 %87 %581)
(*.f64 %583 x)
(*.f64 #s(literal 1/2 binary64) %585)
(*.f64 #s(literal 2 binary64) %587)
(*.f64 %589 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %589)
(*.f64 x %583)
(pow.f64 %589 #s(literal 1 binary64))
(/.f64 (neg.f64 %594) #s(literal -2 binary64))
(/.f64 (neg.f64 %585) #s(literal -2 binary64))
(/.f64 %594 #s(literal 2 binary64))
(/.f64 %585 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %589 #s(literal -1 binary64)))
(neg.f64 %603)
(fma.f64 %275 #s(literal 2 binary64) x)
(fma.f64 %606 x %194)
(fma.f64 %214 #s(literal -1/2 binary64) x)
(fma.f64 %208 #s(literal 1/2 binary64) x)
(fma.f64 %194 %577 %610)
(fma.f64 %194 %577 %612)
(fma.f64 %194 %185 x)
(fma.f64 %220 #s(literal 2 binary64) x)
(fma.f64 %579 %150 %610)
(fma.f64 %579 %150 %612)
(fma.f64 %87 %581 %610)
(fma.f64 %87 %581 %612)
(fma.f64 %87 %189 x)
(fma.f64 %88 %221 x)
(fma.f64 %185 %352 x)
(fma.f64 %185 %194 x)
(fma.f64 %189 %87 x)
(fma.f64 %583 x %610)
(fma.f64 %583 x %612)
(fma.f64 %291 #s(literal -1 binary64) x)
(fma.f64 #s(literal 1/2 binary64) %408 x)
(fma.f64 #s(literal 1/2 binary64) %410 x)
(fma.f64 #s(literal 1/2 binary64) %585 %610)
(fma.f64 #s(literal 1/2 binary64) %585 %612)
(fma.f64 #s(literal 1/2 binary64) %208 x)
(fma.f64 #s(literal 2 binary64) %467 x)
(fma.f64 #s(literal 2 binary64) %587 %610)
(fma.f64 #s(literal 2 binary64) %587 %612)
(fma.f64 #s(literal 2 binary64) %220 x)
(fma.f64 %150 %200 x)
(fma.f64 %200 %150 x)
(fma.f64 %589 #s(literal 1 binary64) %610)
(fma.f64 %589 #s(literal 1 binary64) %612)
(fma.f64 %274 #s(literal 1 binary64) x)
(fma.f64 #s(literal 1 binary64) %589 %610)
(fma.f64 #s(literal 1 binary64) %589 %612)
(fma.f64 #s(literal 1 binary64) %274 x)
%589
(fma.f64 x %606 %194)
(fma.f64 x %583 %610)
(fma.f64 x %583 %612)
(fma.f64 x y x)
(-.f64 %274 %150)
(-.f64 x %291)
(+.f64 (*.f64 x %606) %194)
(+.f64 (*.f64 %606 x) %194)
(+.f64 %589 %610)
(+.f64 %589 %612)
(+.f64 %274 x)
(+.f64 x %274)
(*.f64 #s(literal 1 binary64) %659)
(pow.f64 %659 #s(literal 1 binary64))
(/.f64 (neg.f64 %662) #s(literal -2 binary64))
(/.f64 %662 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %659 #s(literal -1 binary64)))
(neg.f64 (-.f64 %268 x))
(fma.f64 %275 #s(literal 2 binary64) %670)
(fma.f64 %181 #s(literal 2 binary64) x)
(fma.f64 %288 #s(literal 2 binary64) %673)
(fma.f64 %288 #s(literal 2 binary64) %675)
(fma.f64 %298 #s(literal 2 binary64) %673)
(fma.f64 %298 #s(literal 2 binary64) %675)
(fma.f64 #s(literal 1/4 binary64) %185 %673)
(fma.f64 #s(literal 1/4 binary64) %185 %675)
(fma.f64 %214 #s(literal -1/2 binary64) %670)
(fma.f64 %183 #s(literal 1/2 binary64) x)
(fma.f64 %208 #s(literal 1/2 binary64) %670)
(fma.f64 %20 %185 x)
(fma.f64 %187 #s(literal 2 binary64) x)
(fma.f64 %194 %577 y)
(fma.f64 %194 %185 %670)
(fma.f64 %220 #s(literal 2 binary64) %670)
(fma.f64 %579 %150 y)
(fma.f64 %14 %189 x)
(fma.f64 %87 %581 y)
(fma.f64 %87 %189 %670)
(fma.f64 %88 %221 %670)
(fma.f64 %180 #s(literal 1 binary64) x)
(fma.f64 %185 %352 %670)
(fma.f64 %185 %192 x)
(fma.f64 %185 %195 x)
(fma.f64 %185 #s(literal 1/4 binary64) %673)
(fma.f64 %185 #s(literal 1/4 binary64) %675)
(fma.f64 %185 %20 x)
(fma.f64 %185 %194 %670)
(fma.f64 %189 %89 x)
(fma.f64 %189 %14 x)
(fma.f64 %189 %87 %670)
(fma.f64 %189 #s(literal 1 binary64) %673)
(fma.f64 %189 #s(literal 1 binary64) %675)
%659
(fma.f64 %68 %200 x)
(fma.f64 %291 #s(literal -1 binary64) %670)
(fma.f64 #s(literal 1/2 binary64) %408 %670)
(fma.f64 #s(literal 1/2 binary64) %410 %670)
(fma.f64 #s(literal 1/2 binary64) %202 x)
(fma.f64 #s(literal 1/2 binary64) %204 x)
(fma.f64 #s(literal 1/2 binary64) %585 y)
(fma.f64 #s(literal 1/2 binary64) %206 x)
(fma.f64 #s(literal 1/2 binary64) %209 x)
(fma.f64 #s(literal 1/2 binary64) %212 x)
(fma.f64 #s(literal 1/2 binary64) %215 x)
(fma.f64 #s(literal 1/2 binary64) %183 x)
(fma.f64 #s(literal 1/2 binary64) %208 %670)
(fma.f64 #s(literal 1/2 binary64) y %673)
(fma.f64 #s(literal 1/2 binary64) y %675)
(fma.f64 #s(literal 2 binary64) %467 %670)
(fma.f64 #s(literal 2 binary64) %218 x)
(fma.f64 #s(literal 2 binary64) %587 y)
(fma.f64 #s(literal 2 binary64) %288 %673)
(fma.f64 #s(literal 2 binary64) %288 %675)
(fma.f64 #s(literal 2 binary64) %298 %673)
(fma.f64 #s(literal 2 binary64) %298 %675)
(fma.f64 #s(literal 2 binary64) %222 x)
(fma.f64 #s(literal 2 binary64) %187 x)
(fma.f64 #s(literal 2 binary64) %220 %670)
(fma.f64 %150 %200 %670)
(fma.f64 %200 %68 x)
(fma.f64 %200 %150 %670)
(fma.f64 %589 #s(literal 1 binary64) y)
(fma.f64 %25 y x)
(fma.f64 %274 #s(literal 1 binary64) %670)
(fma.f64 #s(literal 1 binary64) %180 x)
(fma.f64 #s(literal 1 binary64) %189 %673)
(fma.f64 #s(literal 1 binary64) %189 %675)
(fma.f64 #s(literal 1 binary64) %670 %274)
(fma.f64 #s(literal 1 binary64) %589 y)
(fma.f64 #s(literal 1 binary64) %659 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %274 %670)
(fma.f64 y #s(literal 1/2 binary64) %673)
(fma.f64 y #s(literal 1/2 binary64) %675)
(fma.f64 y %25 x)
(fma.f64 y x %670)
(fma.f64 x %583 y)
(fma.f64 x y %670)
(-.f64 %180 %150)
(-.f64 %670 %291)
(-.f64 %589 %200)
(-.f64 %274 (neg.f64 %670))
(-.f64 y %603)
(-.f64 x %268)
(+.f64 (fma.f64 %583 x %189) %189)
(+.f64 %180 x)
(+.f64 %189 %673)
(+.f64 %189 %675)
(+.f64 %670 %274)
(+.f64 %589 y)
(+.f64 %659 #s(literal 0 binary64))
(+.f64 %274 %670)
(+.f64 y (+.f64 #s(literal 0 binary64) %589))
(+.f64 y (-.f64 #s(literal 0 binary64) %603))
(+.f64 y %589)
(+.f64 x %180)
reconstruct55.0ms (4.0%)
Counts
637 → 48
Compiler
Compiled 637 to 809 computations (-27.0% saved)
eval4.0ms (0.3%)
Compiler
Compiled 47 to 111 computations (-136.2% saved)
prune2.0ms (0.1%)
Pruning
4 alts after pruning (2 fresh and 2 done)
PrunedKeptTotal
New45247
Fresh000
Picked123
Done000
Total46450
Accuracy
100.0%
Counts
50 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 (fma.f64 x y x) y)
▶62.9%
(approx (- x (* (- -1 x) y)) (fma.f64 y x y))
▶26.0%
(approx (+ (+ (* x y) x) y) (approx (* y (+ 1 x)) (*.f64 x y)))
✓38.6%
(approx (+ (+ (* x y) x) y) y)
Compiler
Compiled 4 to 6 computations (-50.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series10.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
087327
Stop Event
1×iter-limit
Counts
7 → 23
Calls
Call 1
Inputs
%2 = (*.f64 x y)
%3 = (fma.f64 y x y)
%7 = (approx (* y (+ 1 x)) %2)
x
y
%2
%3
%7
(approx (- x (* (- -1 x) y)) %3)
(approx (+ (+ (* x y) x) y) %7)
Outputs
%5 = (* x y)
%6 = (*.f64 x y)
%9 = (+ (* y x) y)
%16 = (- x (* (- -1 x) y))
%19 = (*.f64 #s(literal -1 binary64) y)
%21 = (*.f64 x (-.f64 #s(literal 1 binary64) %19))
%25 = (+ (+ %5 x) y)
%26 = (+.f64 #s(literal 1 binary64) y)
%27 = (*.f64 x %26)
%30 = (/.f64 y x)
%31 = (+.f64 y %30)
%43 = (*.f64 #s(literal -1 binary64) %30)
%44 = (fma.f64 #s(literal -1 binary64) y %43)
%60 = (+.f64 #s(literal 1 binary64) x)
%61 = (*.f64 y %60)
%65 = (/.f64 x y)
%79 = (*.f64 #s(literal -1 binary64) %65)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %9 y)
(approx %9 (+.f64 y %6))
(approx %16 (-.f64 %21 %19))
(approx %25 (+.f64 y %27))
(approx %9 (*.f64 x %31))
(approx %16 %21)
(approx %16 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %30) %19)))
(approx %25 %27)
(approx %25 (*.f64 x (+.f64 #s(literal 1 binary64) %31)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 x %44)))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %43 %26))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %19 #s(literal 1 binary64)))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %44 #s(literal 1 binary64)))))
(approx %9 %61)
(approx %16 (+.f64 x %61))
(approx %16 (*.f64 y (-.f64 %65 (*.f64 #s(literal -1 binary64) %60))))
(approx %25 (*.f64 y (+.f64 #s(literal 1 binary64) (+.f64 x %65))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %79 %60))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (fma.f64 #s(literal -1 binary64) x %79) #s(literal 1 binary64)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
y
inf
1.0ms
y
0
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
-inf
rewrite131.0ms (9.4%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01747
02047
17443
217443
355143
4297143
0406143
0432143
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 740
Calls
Call 1
Inputs
%2 = (*.f64 x y)
%3 = (fma.f64 y x y)
%7 = (approx (* y (+ 1 x)) %2)
x
y
%2
%3
%7
(approx (- x (* (- -1 x) y)) %3)
(approx (+ (+ (* x y) x) y) %7)
Outputs
%2 = (neg.f64 x)
%4 = (*.f64 #s(literal -2 binary64) y)
%5 = (*.f64 %2 %4)
%8 = (*.f64 y x)
%9 = (*.f64 %8 #s(literal -2 binary64))
%12 = (*.f64 %8 #s(literal 1/2 binary64))
%16 = (*.f64 %2 #s(literal -1 binary64))
%18 = (*.f64 %2 #s(literal -2 binary64))
%19 = (*.f64 #s(literal 1/2 binary64) y)
%21 = (+.f64 y y)
%22 = (*.f64 %21 %2)
%24 = (+.f64 x x)
%25 = (*.f64 %24 y)
%27 = (*.f64 #s(literal 1/2 binary64) x)
%29 = (*.f64 %19 x)
%31 = (*.f64 #s(literal 1/2 binary64) %2)
%34 = (neg.f64 %24)
%35 = (*.f64 #s(literal -1/2 binary64) y)
%38 = (*.f64 %27 #s(literal 1 binary64))
%40 = (*.f64 #s(literal -1/2 binary64) %2)
%44 = (*.f64 #s(literal -1/2 binary64) %8)
%46 = (*.f64 %19 %2)
%48 = (neg.f64 y)
%49 = (*.f64 %48 x)
%52 = (*.f64 #s(literal 4 binary64) %29)
%54 = (*.f64 #s(literal 2 binary64) %8)
%57 = (*.f64 %35 %2)
%59 = (*.f64 %29 #s(literal 1 binary64))
%67 = (*.f64 #s(literal -1 binary64) %2)
%85 = (*.f64 %25 #s(literal 0 binary64))
%87 = (*.f64 %8 #s(literal 0 binary64))
%89 = (*.f64 x #s(literal 0 binary64))
%91 = (*.f64 #s(literal 0 binary64) %25)
%93 = (*.f64 #s(literal 0 binary64) %8)
%95 = (*.f64 #s(literal 0 binary64) x)
%307 = (-.f64 #s(literal -1 binary64) x)
%308 = (*.f64 %307 %4)
%310 = (fma.f64 y x y)
%311 = (*.f64 %310 #s(literal -2 binary64))
%313 = (*.f64 %310 #s(literal 1/2 binary64))
%315 = (*.f64 %307 #s(literal -1 binary64))
%317 = (*.f64 %307 #s(literal -2 binary64))
%319 = (*.f64 %21 %307)
%321 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64))
%322 = (*.f64 %321 y)
%324 = (fma.f64 #s(literal 1/2 binary64) x #s(literal 1/2 binary64))
%326 = (*.f64 #s(literal 1/2 binary64) %310)
%328 = (*.f64 #s(literal 1/2 binary64) %307)
%331 = (*.f64 #s(literal 2 binary64) %307)
%333 = (*.f64 %324 #s(literal 1 binary64))
%335 = (*.f64 #s(literal -1/2 binary64) %307)
%337 = (-.f64 %27 #s(literal -1/2 binary64))
%339 = (-.f64 #s(literal 1/2 binary64) %31)
%342 = (-.f64 #s(literal 2 binary64) %34)
%345 = (*.f64 #s(literal -1/2 binary64) %310)
%347 = (*.f64 %19 %307)
%349 = (*.f64 #s(literal 4 binary64) %326)
%351 = (*.f64 #s(literal 2 binary64) %310)
%353 = (fma.f64 %24 y %21)
%355 = (fma.f64 #s(literal 2 binary64) y %25)
%357 = (-.f64 %25 %4)
%359 = (-.f64 %21 %22)
%362 = (*.f64 %326 #s(literal 1 binary64))
%364 = (*.f64 %35 %307)
%366 = (-.f64 %29 %35)
%368 = (-.f64 %19 %46)
%373 = (*.f64 %307 y)
%377 = (+.f64 #s(literal 1 binary64) x)
%380 = (*.f64 #s(literal -1 binary64) %307)
%408 = (*.f64 %322 #s(literal 0 binary64))
%410 = (*.f64 %310 #s(literal 0 binary64))
%412 = (*.f64 %377 #s(literal 0 binary64))
%414 = (*.f64 #s(literal 0 binary64) %322)
%416 = (*.f64 #s(literal 0 binary64) %310)
%418 = (*.f64 #s(literal 0 binary64) %377)
%437 = (*.f64 #s(literal 1/2 binary64) %19)
%438 = (fma.f64 #s(literal 1/2 binary64) y %8)
%440 = (-.f64 %19 %49)
%442 = (-.f64 x #s(literal -1/2 binary64))
%443 = (*.f64 y %442)
%445 = (*.f64 %442 y)
%447 = (*.f64 %19 #s(literal 1/2 binary64))
%600 = (*.f64 #s(literal -1/2 binary64) %19)
%836 = (approx (* (+ 1 x) y) %8)
%844 = (- x (* (- -1 x) y))
%845 = (approx %844 %310)
%850 = (approx %844 %836)
x
y
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %9 #s(literal -1/2 binary64))
(*.f64 %12 #s(literal 2 binary64))
(*.f64 %16 y)
(*.f64 %18 %19)
(*.f64 %22 #s(literal -1/2 binary64))
(*.f64 %25 #s(literal 1/2 binary64))
(*.f64 %27 %21)
(*.f64 %29 #s(literal 2 binary64))
(*.f64 %4 %31)
(*.f64 %24 %19)
(*.f64 %34 %35)
(*.f64 %21 %38)
(*.f64 %21 %40)
(*.f64 %21 %27)
(*.f64 %19 %24)
(*.f64 #s(literal -2 binary64) %44)
(*.f64 #s(literal -2 binary64) %46)
(*.f64 %49 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %52)
(*.f64 #s(literal 1/2 binary64) %54)
(*.f64 #s(literal 1/2 binary64) %25)
(*.f64 #s(literal 2 binary64) %57)
(*.f64 #s(literal 2 binary64) %59)
(*.f64 #s(literal 2 binary64) %29)
(*.f64 %48 %2)
(*.f64 %2 %48)
(*.f64 #s(literal -1 binary64) %49)
(*.f64 #s(literal 1 binary64) %8)
(*.f64 %8 #s(literal 1 binary64))
(*.f64 y %67)
%8
(*.f64 x y)
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 %9 #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %29) #s(literal 4 binary64))
(/.f64 %52 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %8) #s(literal -2 binary64))
(/.f64 %54 #s(literal 2 binary64))
(/.f64 %25 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(/.f64 %8 #s(literal 1 binary64))
(neg.f64 %49)
(fma.f64 %5 #s(literal 1/2 binary64) %85)
(fma.f64 %5 #s(literal 1/2 binary64) %87)
(fma.f64 %5 #s(literal 1/2 binary64) %89)
(fma.f64 %5 #s(literal 1/2 binary64) %91)
(fma.f64 %5 #s(literal 1/2 binary64) %93)
(fma.f64 %5 #s(literal 1/2 binary64) %95)
(fma.f64 %9 #s(literal -1/2 binary64) %85)
(fma.f64 %9 #s(literal -1/2 binary64) %87)
(fma.f64 %9 #s(literal -1/2 binary64) %89)
(fma.f64 %9 #s(literal -1/2 binary64) %91)
(fma.f64 %9 #s(literal -1/2 binary64) %93)
(fma.f64 %9 #s(literal -1/2 binary64) %95)
(fma.f64 %12 #s(literal 2 binary64) %85)
(fma.f64 %12 #s(literal 2 binary64) %87)
(fma.f64 %12 #s(literal 2 binary64) %89)
(fma.f64 %12 #s(literal 2 binary64) %91)
(fma.f64 %12 #s(literal 2 binary64) %93)
(fma.f64 %12 #s(literal 2 binary64) %95)
(fma.f64 %16 y %85)
(fma.f64 %16 y %87)
(fma.f64 %16 y %89)
(fma.f64 %16 y %91)
(fma.f64 %16 y %93)
(fma.f64 %16 y %95)
(fma.f64 %18 %19 %85)
(fma.f64 %18 %19 %87)
(fma.f64 %18 %19 %89)
(fma.f64 %18 %19 %91)
(fma.f64 %18 %19 %93)
(fma.f64 %18 %19 %95)
(fma.f64 %22 #s(literal -1/2 binary64) %85)
(fma.f64 %22 #s(literal -1/2 binary64) %87)
(fma.f64 %22 #s(literal -1/2 binary64) %89)
(fma.f64 %22 #s(literal -1/2 binary64) %91)
(fma.f64 %22 #s(literal -1/2 binary64) %93)
(fma.f64 %22 #s(literal -1/2 binary64) %95)
(fma.f64 %25 #s(literal 1/2 binary64) %85)
(fma.f64 %25 #s(literal 1/2 binary64) %87)
(fma.f64 %25 #s(literal 1/2 binary64) %89)
(fma.f64 %25 #s(literal 1/2 binary64) %91)
(fma.f64 %25 #s(literal 1/2 binary64) %93)
(fma.f64 %25 #s(literal 1/2 binary64) %95)
(fma.f64 %27 %21 %85)
(fma.f64 %27 %21 %87)
(fma.f64 %27 %21 %89)
(fma.f64 %27 %21 %91)
(fma.f64 %27 %21 %93)
(fma.f64 %27 %21 %95)
(fma.f64 %29 #s(literal 2 binary64) %85)
(fma.f64 %29 #s(literal 2 binary64) %87)
(fma.f64 %29 #s(literal 2 binary64) %89)
(fma.f64 %29 #s(literal 2 binary64) %91)
(fma.f64 %29 #s(literal 2 binary64) %93)
(fma.f64 %29 #s(literal 2 binary64) %95)
(fma.f64 %4 %31 %85)
(fma.f64 %4 %31 %87)
(fma.f64 %4 %31 %89)
(fma.f64 %4 %31 %91)
(fma.f64 %4 %31 %93)
(fma.f64 %4 %31 %95)
(fma.f64 %24 %19 %85)
(fma.f64 %24 %19 %87)
(fma.f64 %24 %19 %89)
(fma.f64 %24 %19 %91)
(fma.f64 %24 %19 %93)
(fma.f64 %24 %19 %95)
(fma.f64 %34 %35 %85)
(fma.f64 %34 %35 %87)
(fma.f64 %34 %35 %89)
(fma.f64 %34 %35 %91)
(fma.f64 %34 %35 %93)
(fma.f64 %34 %35 %95)
(fma.f64 %21 %38 %85)
(fma.f64 %21 %38 %87)
(fma.f64 %21 %38 %89)
(fma.f64 %21 %38 %91)
(fma.f64 %21 %38 %93)
(fma.f64 %21 %38 %95)
(fma.f64 %21 %40 %85)
(fma.f64 %21 %40 %87)
(fma.f64 %21 %40 %89)
(fma.f64 %21 %40 %91)
(fma.f64 %21 %40 %93)
(fma.f64 %21 %40 %95)
(fma.f64 %21 %27 %85)
(fma.f64 %21 %27 %87)
(fma.f64 %21 %27 %89)
(fma.f64 %21 %27 %91)
(fma.f64 %21 %27 %93)
(fma.f64 %21 %27 %95)
(fma.f64 %19 %24 %85)
(fma.f64 %19 %24 %87)
(fma.f64 %19 %24 %89)
(fma.f64 %19 %24 %91)
(fma.f64 %19 %24 %93)
(fma.f64 %19 %24 %95)
(fma.f64 %19 x %29)
(fma.f64 #s(literal -2 binary64) %44 %85)
(fma.f64 #s(literal -2 binary64) %44 %87)
(fma.f64 #s(literal -2 binary64) %44 %89)
(fma.f64 #s(literal -2 binary64) %44 %91)
(fma.f64 #s(literal -2 binary64) %44 %93)
(fma.f64 #s(literal -2 binary64) %44 %95)
(fma.f64 #s(literal -2 binary64) %46 %85)
(fma.f64 #s(literal -2 binary64) %46 %87)
(fma.f64 #s(literal -2 binary64) %46 %89)
(fma.f64 #s(literal -2 binary64) %46 %91)
(fma.f64 #s(literal -2 binary64) %46 %93)
(fma.f64 #s(literal -2 binary64) %46 %95)
(fma.f64 %49 #s(literal -1 binary64) %85)
(fma.f64 %49 #s(literal -1 binary64) %87)
(fma.f64 %49 #s(literal -1 binary64) %89)
(fma.f64 %49 #s(literal -1 binary64) %91)
(fma.f64 %49 #s(literal -1 binary64) %93)
(fma.f64 %49 #s(literal -1 binary64) %95)
(fma.f64 #s(literal 1/2 binary64) %52 %85)
(fma.f64 #s(literal 1/2 binary64) %52 %87)
(fma.f64 #s(literal 1/2 binary64) %52 %89)
(fma.f64 #s(literal 1/2 binary64) %52 %91)
(fma.f64 #s(literal 1/2 binary64) %52 %93)
(fma.f64 #s(literal 1/2 binary64) %52 %95)
(fma.f64 #s(literal 1/2 binary64) %54 %85)
(fma.f64 #s(literal 1/2 binary64) %54 %87)
(fma.f64 #s(literal 1/2 binary64) %54 %89)
(fma.f64 #s(literal 1/2 binary64) %54 %91)
(fma.f64 #s(literal 1/2 binary64) %54 %93)
(fma.f64 #s(literal 1/2 binary64) %54 %95)
(fma.f64 #s(literal 1/2 binary64) %25 %85)
(fma.f64 #s(literal 1/2 binary64) %25 %87)
(fma.f64 #s(literal 1/2 binary64) %25 %89)
(fma.f64 #s(literal 1/2 binary64) %25 %91)
(fma.f64 #s(literal 1/2 binary64) %25 %93)
(fma.f64 #s(literal 1/2 binary64) %25 %95)
(fma.f64 #s(literal 1/2 binary64) %8 %29)
(fma.f64 #s(literal 2 binary64) %57 %85)
(fma.f64 #s(literal 2 binary64) %57 %87)
(fma.f64 #s(literal 2 binary64) %57 %89)
(fma.f64 #s(literal 2 binary64) %57 %91)
(fma.f64 #s(literal 2 binary64) %57 %93)
(fma.f64 #s(literal 2 binary64) %57 %95)
(fma.f64 #s(literal 2 binary64) %59 %85)
(fma.f64 #s(literal 2 binary64) %59 %87)
(fma.f64 #s(literal 2 binary64) %59 %89)
(fma.f64 #s(literal 2 binary64) %59 %91)
(fma.f64 #s(literal 2 binary64) %59 %93)
(fma.f64 #s(literal 2 binary64) %59 %95)
(fma.f64 #s(literal 2 binary64) %29 %85)
(fma.f64 #s(literal 2 binary64) %29 %87)
(fma.f64 #s(literal 2 binary64) %29 %89)
(fma.f64 #s(literal 2 binary64) %29 %91)
(fma.f64 #s(literal 2 binary64) %29 %93)
(fma.f64 #s(literal 2 binary64) %29 %95)
(fma.f64 %48 %2 %85)
(fma.f64 %48 %2 %87)
(fma.f64 %48 %2 %89)
(fma.f64 %48 %2 %91)
(fma.f64 %48 %2 %93)
(fma.f64 %48 %2 %95)
(fma.f64 %2 %48 %85)
(fma.f64 %2 %48 %87)
(fma.f64 %2 %48 %89)
(fma.f64 %2 %48 %91)
(fma.f64 %2 %48 %93)
(fma.f64 %2 %48 %95)
(fma.f64 #s(literal 0 binary64) %8 %8)
(fma.f64 #s(literal -1 binary64) %49 %85)
(fma.f64 #s(literal -1 binary64) %49 %87)
(fma.f64 #s(literal -1 binary64) %49 %89)
(fma.f64 #s(literal -1 binary64) %49 %91)
(fma.f64 #s(literal -1 binary64) %49 %93)
(fma.f64 #s(literal -1 binary64) %49 %95)
(fma.f64 #s(literal 1 binary64) %29 %29)
(fma.f64 #s(literal 1 binary64) %8 %85)
(fma.f64 #s(literal 1 binary64) %8 %87)
(fma.f64 #s(literal 1 binary64) %8 %89)
(fma.f64 #s(literal 1 binary64) %8 %91)
(fma.f64 #s(literal 1 binary64) %8 %93)
(fma.f64 #s(literal 1 binary64) %8 %95)
(fma.f64 %8 #s(literal 1/2 binary64) %12)
(fma.f64 %8 #s(literal 0 binary64) %8)
(fma.f64 %8 #s(literal 1 binary64) %85)
(fma.f64 %8 #s(literal 1 binary64) %87)
(fma.f64 %8 #s(literal 1 binary64) %89)
(fma.f64 %8 #s(literal 1 binary64) %91)
(fma.f64 %8 #s(literal 1 binary64) %93)
(fma.f64 %8 #s(literal 1 binary64) %95)
(fma.f64 y %67 %85)
(fma.f64 y %67 %87)
(fma.f64 y %67 %89)
(fma.f64 y %67 %91)
(fma.f64 y %67 %93)
(fma.f64 y %67 %95)
(fma.f64 y %27 %29)
(fma.f64 y x %85)
(fma.f64 y x %87)
(fma.f64 y x %89)
(fma.f64 y x %91)
(fma.f64 y x %93)
(fma.f64 y x %95)
(fma.f64 x %19 %29)
(fma.f64 x y %85)
(fma.f64 x y %87)
(fma.f64 x y %89)
(fma.f64 x y %91)
(fma.f64 x y %93)
(fma.f64 x y %95)
(+.f64 %12 %12)
(+.f64 %87 %8)
(+.f64 %93 %8)
(+.f64 %29 %29)
(+.f64 %8 %85)
(+.f64 %8 %87)
(+.f64 %8 %89)
(+.f64 %8 %91)
(+.f64 %8 %93)
(+.f64 %8 %95)
(*.f64 %308 #s(literal 1/2 binary64))
(*.f64 %311 #s(literal -1/2 binary64))
(*.f64 %313 #s(literal 2 binary64))
(*.f64 %315 y)
(*.f64 %317 %19)
(*.f64 %319 #s(literal -1/2 binary64))
(*.f64 %322 #s(literal 1/2 binary64))
(*.f64 %324 %21)
(*.f64 %326 #s(literal 2 binary64))
(*.f64 %4 %328)
(*.f64 %321 %19)
(*.f64 %331 %35)
(*.f64 %21 %333)
(*.f64 %21 %335)
(*.f64 %21 %337)
(*.f64 %21 %339)
(*.f64 %21 %324)
(*.f64 %19 %342)
(*.f64 %19 %321)
(*.f64 #s(literal -2 binary64) %345)
(*.f64 #s(literal -2 binary64) %347)
(*.f64 #s(literal 1/2 binary64) %349)
(*.f64 #s(literal 1/2 binary64) %351)
(*.f64 #s(literal 1/2 binary64) %353)
(*.f64 #s(literal 1/2 binary64) %355)
(*.f64 #s(literal 1/2 binary64) %357)
(*.f64 #s(literal 1/2 binary64) %359)
(*.f64 #s(literal 1/2 binary64) %322)
(*.f64 #s(literal 2 binary64) %362)
(*.f64 #s(literal 2 binary64) %364)
(*.f64 #s(literal 2 binary64) %366)
(*.f64 #s(literal 2 binary64) %368)
(*.f64 #s(literal 2 binary64) %326)
(*.f64 %310 #s(literal 1 binary64))
(*.f64 %48 %307)
(*.f64 %373 #s(literal -1 binary64))
(*.f64 %307 %48)
(*.f64 #s(literal -1 binary64) %373)
(*.f64 %377 y)
(*.f64 #s(literal 1 binary64) %310)
(*.f64 y %380)
(*.f64 y %377)
(pow.f64 %310 #s(literal 1 binary64))
(/.f64 %311 #s(literal -2 binary64))
(/.f64 (*.f64 %48 %331) #s(literal 2 binary64))
(/.f64 (*.f64 y %321) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %326) #s(literal 4 binary64))
(/.f64 %349 #s(literal 2 binary64))
(/.f64 (*.f64 %331 %48) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %310) #s(literal -2 binary64))
(/.f64 %351 #s(literal 2 binary64))
(/.f64 %353 #s(literal 2 binary64))
(/.f64 (*.f64 %321 %21) #s(literal 4 binary64))
(/.f64 (*.f64 %21 %321) #s(literal 4 binary64))
(/.f64 %322 #s(literal 2 binary64))
(/.f64 %310 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %310 #s(literal -1 binary64)))
(neg.f64 %373)
(fma.f64 %5 #s(literal 1/2 binary64) y)
(fma.f64 %308 #s(literal 1/2 binary64) %408)
(fma.f64 %308 #s(literal 1/2 binary64) %410)
(fma.f64 %308 #s(literal 1/2 binary64) %412)
(fma.f64 %308 #s(literal 1/2 binary64) %414)
(fma.f64 %308 #s(literal 1/2 binary64) %416)
(fma.f64 %308 #s(literal 1/2 binary64) %418)
(fma.f64 %308 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %311 #s(literal -1/2 binary64) %408)
(fma.f64 %311 #s(literal -1/2 binary64) %410)
(fma.f64 %311 #s(literal -1/2 binary64) %412)
(fma.f64 %311 #s(literal -1/2 binary64) %414)
(fma.f64 %311 #s(literal -1/2 binary64) %416)
(fma.f64 %311 #s(literal -1/2 binary64) %418)
(fma.f64 %311 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %9 #s(literal -1/2 binary64) y)
(fma.f64 %313 #s(literal 2 binary64) %408)
(fma.f64 %313 #s(literal 2 binary64) %410)
(fma.f64 %313 #s(literal 2 binary64) %412)
(fma.f64 %313 #s(literal 2 binary64) %414)
(fma.f64 %313 #s(literal 2 binary64) %416)
(fma.f64 %313 #s(literal 2 binary64) %418)
(fma.f64 %313 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %12 #s(literal 2 binary64) y)
(fma.f64 %437 #s(literal 2 binary64) %438)
(fma.f64 %437 #s(literal 2 binary64) %440)
(fma.f64 %437 #s(literal 2 binary64) %443)
(fma.f64 %437 #s(literal 2 binary64) %445)
(fma.f64 %447 #s(literal 2 binary64) %438)
(fma.f64 %447 #s(literal 2 binary64) %440)
(fma.f64 %447 #s(literal 2 binary64) %443)
(fma.f64 %447 #s(literal 2 binary64) %445)
(fma.f64 %315 y %408)
(fma.f64 %315 y %410)
(fma.f64 %315 y %412)
(fma.f64 %315 y %414)
(fma.f64 %315 y %416)
(fma.f64 %315 y %418)
(fma.f64 %315 y #s(literal 0 binary64))
(fma.f64 %317 %19 %408)
(fma.f64 %317 %19 %410)
(fma.f64 %317 %19 %412)
(fma.f64 %317 %19 %414)
(fma.f64 %317 %19 %416)
(fma.f64 %317 %19 %418)
(fma.f64 %317 %19 #s(literal 0 binary64))
(fma.f64 %16 y y)
(fma.f64 %18 %19 y)
(fma.f64 #s(literal 1/4 binary64) %21 %438)
(fma.f64 #s(literal 1/4 binary64) %21 %440)
(fma.f64 #s(literal 1/4 binary64) %21 %443)
(fma.f64 #s(literal 1/4 binary64) %21 %445)
(fma.f64 %442 y %19)
(fma.f64 %22 #s(literal -1/2 binary64) y)
(fma.f64 %319 #s(literal -1/2 binary64) %408)
(fma.f64 %319 #s(literal -1/2 binary64) %410)
(fma.f64 %319 #s(literal -1/2 binary64) %412)
(fma.f64 %319 #s(literal -1/2 binary64) %414)
(fma.f64 %319 #s(literal -1/2 binary64) %416)
(fma.f64 %319 #s(literal -1/2 binary64) %418)
(fma.f64 %319 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %322 #s(literal 1/2 binary64) %408)
(fma.f64 %322 #s(literal 1/2 binary64) %410)
(fma.f64 %322 #s(literal 1/2 binary64) %412)
(fma.f64 %322 #s(literal 1/2 binary64) %414)
(fma.f64 %322 #s(literal 1/2 binary64) %416)
(fma.f64 %322 #s(literal 1/2 binary64) %418)
(fma.f64 %322 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %25 #s(literal 1/2 binary64) y)
(fma.f64 %324 %21 %408)
(fma.f64 %324 %21 %410)
(fma.f64 %324 %21 %412)
(fma.f64 %324 %21 %414)
(fma.f64 %324 %21 %416)
(fma.f64 %324 %21 %418)
(fma.f64 %324 %21 #s(literal 0 binary64))
(fma.f64 %326 #s(literal 2 binary64) %408)
(fma.f64 %326 #s(literal 2 binary64) %410)
(fma.f64 %326 #s(literal 2 binary64) %412)
(fma.f64 %326 #s(literal 2 binary64) %414)
(fma.f64 %326 #s(literal 2 binary64) %416)
(fma.f64 %326 #s(literal 2 binary64) %418)
(fma.f64 %326 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %27 %21 y)
(fma.f64 %29 #s(literal 2 binary64) y)
(fma.f64 %4 %31 y)
(fma.f64 %4 %328 %408)
(fma.f64 %4 %328 %410)
(fma.f64 %4 %328 %412)
(fma.f64 %4 %328 %414)
(fma.f64 %4 %328 %416)
(fma.f64 %4 %328 %418)
(fma.f64 %4 %328 #s(literal 0 binary64))
(fma.f64 %321 %19 %408)
(fma.f64 %321 %19 %410)
(fma.f64 %321 %19 %412)
(fma.f64 %321 %19 %414)
(fma.f64 %321 %19 %416)
(fma.f64 %321 %19 %418)
(fma.f64 %321 %19 #s(literal 0 binary64))
(fma.f64 %24 %19 y)
(fma.f64 %331 %35 %408)
(fma.f64 %331 %35 %410)
(fma.f64 %331 %35 %412)
(fma.f64 %331 %35 %414)
(fma.f64 %331 %35 %416)
(fma.f64 %331 %35 %418)
(fma.f64 %331 %35 #s(literal 0 binary64))
(fma.f64 %34 %35 y)
(fma.f64 %21 %333 %408)
(fma.f64 %21 %333 %410)
(fma.f64 %21 %333 %412)
(fma.f64 %21 %333 %414)
(fma.f64 %21 %333 %416)
(fma.f64 %21 %333 %418)
(fma.f64 %21 %333 #s(literal 0 binary64))
(fma.f64 %21 %38 y)
(fma.f64 %21 %335 %408)
(fma.f64 %21 %335 %410)
(fma.f64 %21 %335 %412)
(fma.f64 %21 %335 %414)
(fma.f64 %21 %335 %416)
(fma.f64 %21 %335 %418)
(fma.f64 %21 %335 #s(literal 0 binary64))
(fma.f64 %21 %40 y)
(fma.f64 %21 %337 %408)
(fma.f64 %21 %337 %410)
(fma.f64 %21 %337 %412)
(fma.f64 %21 %337 %414)
(fma.f64 %21 %337 %416)
(fma.f64 %21 %337 %418)
(fma.f64 %21 %337 #s(literal 0 binary64))
(fma.f64 %21 %339 %408)
(fma.f64 %21 %339 %410)
(fma.f64 %21 %339 %412)
(fma.f64 %21 %339 %414)
(fma.f64 %21 %339 %416)
(fma.f64 %21 %339 %418)
(fma.f64 %21 %339 #s(literal 0 binary64))
(fma.f64 %21 #s(literal 1/4 binary64) %438)
(fma.f64 %21 #s(literal 1/4 binary64) %440)
(fma.f64 %21 #s(literal 1/4 binary64) %443)
(fma.f64 %21 #s(literal 1/4 binary64) %445)
(fma.f64 %21 %324 %408)
(fma.f64 %21 %324 %410)
(fma.f64 %21 %324 %412)
(fma.f64 %21 %324 %414)
(fma.f64 %21 %324 %416)
(fma.f64 %21 %324 %418)
(fma.f64 %21 %324 #s(literal 0 binary64))
(fma.f64 %21 %27 y)
(fma.f64 %19 %342 %408)
(fma.f64 %19 %342 %410)
(fma.f64 %19 %342 %412)
(fma.f64 %19 %342 %414)
(fma.f64 %19 %342 %416)
(fma.f64 %19 %342 %418)
(fma.f64 %19 %342 #s(literal 0 binary64))
(fma.f64 %19 %321 %408)
(fma.f64 %19 %321 %410)
(fma.f64 %19 %321 %412)
(fma.f64 %19 %321 %414)
(fma.f64 %19 %321 %416)
(fma.f64 %19 %321 %418)
(fma.f64 %19 %321 #s(literal 0 binary64))
(fma.f64 %19 %24 y)
(fma.f64 %19 %377 %326)
(fma.f64 %19 #s(literal 1 binary64) %438)
(fma.f64 %19 #s(literal 1 binary64) %440)
(fma.f64 %19 #s(literal 1 binary64) %443)
(fma.f64 %19 #s(literal 1 binary64) %445)
(fma.f64 #s(literal -2 binary64) %345 %408)
(fma.f64 #s(literal -2 binary64) %345 %410)
(fma.f64 #s(literal -2 binary64) %345 %412)
(fma.f64 #s(literal -2 binary64) %345 %414)
(fma.f64 #s(literal -2 binary64) %345 %416)
(fma.f64 #s(literal -2 binary64) %345 %418)
(fma.f64 #s(literal -2 binary64) %345 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %44 y)
(fma.f64 #s(literal -2 binary64) %600 %438)
(fma.f64 #s(literal -2 binary64) %600 %440)
(fma.f64 #s(literal -2 binary64) %600 %443)
(fma.f64 #s(literal -2 binary64) %600 %445)
(fma.f64 #s(literal -2 binary64) %46 y)
(fma.f64 #s(literal -2 binary64) %347 %408)
(fma.f64 #s(literal -2 binary64) %347 %410)
(fma.f64 #s(literal -2 binary64) %347 %412)
(fma.f64 #s(literal -2 binary64) %347 %414)
(fma.f64 #s(literal -2 binary64) %347 %416)
(fma.f64 #s(literal -2 binary64) %347 %418)
(fma.f64 #s(literal -2 binary64) %347 #s(literal 0 binary64))
(fma.f64 %49 #s(literal -1 binary64) y)
(fma.f64 #s(literal 1/2 binary64) %349 %408)
(fma.f64 #s(literal 1/2 binary64) %349 %410)
(fma.f64 #s(literal 1/2 binary64) %349 %412)
(fma.f64 #s(literal 1/2 binary64) %349 %414)
(fma.f64 #s(literal 1/2 binary64) %349 %416)
(fma.f64 #s(literal 1/2 binary64) %349 %418)
(fma.f64 #s(literal 1/2 binary64) %349 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %351 %408)
(fma.f64 #s(literal 1/2 binary64) %351 %410)
(fma.f64 #s(literal 1/2 binary64) %351 %412)
(fma.f64 #s(literal 1/2 binary64) %351 %414)
(fma.f64 #s(literal 1/2 binary64) %351 %416)
(fma.f64 #s(literal 1/2 binary64) %351 %418)
(fma.f64 #s(literal 1/2 binary64) %351 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %52 y)
(fma.f64 #s(literal 1/2 binary64) %54 y)
(fma.f64 #s(literal 1/2 binary64) %353 %408)
(fma.f64 #s(literal 1/2 binary64) %353 %410)
(fma.f64 #s(literal 1/2 binary64) %353 %412)
(fma.f64 #s(literal 1/2 binary64) %353 %414)
(fma.f64 #s(literal 1/2 binary64) %353 %416)
(fma.f64 #s(literal 1/2 binary64) %353 %418)
(fma.f64 #s(literal 1/2 binary64) %353 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %355 %408)
(fma.f64 #s(literal 1/2 binary64) %355 %410)
(fma.f64 #s(literal 1/2 binary64) %355 %412)
(fma.f64 #s(literal 1/2 binary64) %355 %414)
(fma.f64 #s(literal 1/2 binary64) %355 %416)
(fma.f64 #s(literal 1/2 binary64) %355 %418)
(fma.f64 #s(literal 1/2 binary64) %355 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %357 %408)
(fma.f64 #s(literal 1/2 binary64) %357 %410)
(fma.f64 #s(literal 1/2 binary64) %357 %412)
(fma.f64 #s(literal 1/2 binary64) %357 %414)
(fma.f64 #s(literal 1/2 binary64) %357 %416)
(fma.f64 #s(literal 1/2 binary64) %357 %418)
(fma.f64 #s(literal 1/2 binary64) %357 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %359 %408)
(fma.f64 #s(literal 1/2 binary64) %359 %410)
(fma.f64 #s(literal 1/2 binary64) %359 %412)
(fma.f64 #s(literal 1/2 binary64) %359 %414)
(fma.f64 #s(literal 1/2 binary64) %359 %416)
(fma.f64 #s(literal 1/2 binary64) %359 %418)
(fma.f64 #s(literal 1/2 binary64) %359 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %322 %408)
(fma.f64 #s(literal 1/2 binary64) %322 %410)
(fma.f64 #s(literal 1/2 binary64) %322 %412)
(fma.f64 #s(literal 1/2 binary64) %322 %414)
(fma.f64 #s(literal 1/2 binary64) %322 %416)
(fma.f64 #s(literal 1/2 binary64) %322 %418)
(fma.f64 #s(literal 1/2 binary64) %322 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %25 y)
(fma.f64 #s(literal 1/2 binary64) %310 %326)
(fma.f64 #s(literal 1/2 binary64) y %438)
(fma.f64 #s(literal 1/2 binary64) y %440)
(fma.f64 #s(literal 1/2 binary64) y %443)
(fma.f64 #s(literal 1/2 binary64) y %445)
(fma.f64 #s(literal 2 binary64) %57 y)
(fma.f64 #s(literal 2 binary64) %362 %408)
(fma.f64 #s(literal 2 binary64) %362 %410)
(fma.f64 #s(literal 2 binary64) %362 %412)
(fma.f64 #s(literal 2 binary64) %362 %414)
(fma.f64 #s(literal 2 binary64) %362 %416)
(fma.f64 #s(literal 2 binary64) %362 %418)
(fma.f64 #s(literal 2 binary64) %362 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %364 %408)
(fma.f64 #s(literal 2 binary64) %364 %410)
(fma.f64 #s(literal 2 binary64) %364 %412)
(fma.f64 #s(literal 2 binary64) %364 %414)
(fma.f64 #s(literal 2 binary64) %364 %416)
(fma.f64 #s(literal 2 binary64) %364 %418)
(fma.f64 #s(literal 2 binary64) %364 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %59 y)
(fma.f64 #s(literal 2 binary64) %437 %438)
(fma.f64 #s(literal 2 binary64) %437 %440)
(fma.f64 #s(literal 2 binary64) %437 %443)
(fma.f64 #s(literal 2 binary64) %437 %445)
(fma.f64 #s(literal 2 binary64) %447 %438)
(fma.f64 #s(literal 2 binary64) %447 %440)
(fma.f64 #s(literal 2 binary64) %447 %443)
(fma.f64 #s(literal 2 binary64) %447 %445)
(fma.f64 #s(literal 2 binary64) %366 %408)
(fma.f64 #s(literal 2 binary64) %366 %410)
(fma.f64 #s(literal 2 binary64) %366 %412)
(fma.f64 #s(literal 2 binary64) %366 %414)
(fma.f64 #s(literal 2 binary64) %366 %416)
(fma.f64 #s(literal 2 binary64) %366 %418)
(fma.f64 #s(literal 2 binary64) %366 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %368 %408)
(fma.f64 #s(literal 2 binary64) %368 %410)
(fma.f64 #s(literal 2 binary64) %368 %412)
(fma.f64 #s(literal 2 binary64) %368 %414)
(fma.f64 #s(literal 2 binary64) %368 %416)
(fma.f64 #s(literal 2 binary64) %368 %418)
(fma.f64 #s(literal 2 binary64) %368 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %326 %408)
(fma.f64 #s(literal 2 binary64) %326 %410)
(fma.f64 #s(literal 2 binary64) %326 %412)
(fma.f64 #s(literal 2 binary64) %326 %414)
(fma.f64 #s(literal 2 binary64) %326 %416)
(fma.f64 #s(literal 2 binary64) %326 %418)
(fma.f64 #s(literal 2 binary64) %326 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %29 y)
(fma.f64 %310 #s(literal 1/2 binary64) %313)
(fma.f64 %310 #s(literal 0 binary64) %310)
(fma.f64 %310 #s(literal 1 binary64) %408)
(fma.f64 %310 #s(literal 1 binary64) %410)
(fma.f64 %310 #s(literal 1 binary64) %412)
(fma.f64 %310 #s(literal 1 binary64) %414)
(fma.f64 %310 #s(literal 1 binary64) %416)
(fma.f64 %310 #s(literal 1 binary64) %418)
(fma.f64 %310 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %48 #s(literal -1/2 binary64) %438)
(fma.f64 %48 #s(literal -1/2 binary64) %440)
(fma.f64 %48 #s(literal -1/2 binary64) %443)
(fma.f64 %48 #s(literal -1/2 binary64) %445)
(fma.f64 %48 %2 y)
(fma.f64 %48 %307 %408)
(fma.f64 %48 %307 %410)
(fma.f64 %48 %307 %412)
(fma.f64 %48 %307 %414)
(fma.f64 %48 %307 %416)
(fma.f64 %48 %307 %418)
(fma.f64 %48 %307 #s(literal 0 binary64))
(fma.f64 %2 %48 y)
(fma.f64 #s(literal 0 binary64) %310 %310)
(fma.f64 %373 #s(literal -1 binary64) %408)
(fma.f64 %373 #s(literal -1 binary64) %410)
(fma.f64 %373 #s(literal -1 binary64) %412)
(fma.f64 %373 #s(literal -1 binary64) %414)
(fma.f64 %373 #s(literal -1 binary64) %416)
(fma.f64 %373 #s(literal -1 binary64) %418)
(fma.f64 %373 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %307 %48 %408)
(fma.f64 %307 %48 %410)
(fma.f64 %307 %48 %412)
(fma.f64 %307 %48 %414)
(fma.f64 %307 %48 %416)
(fma.f64 %307 %48 %418)
(fma.f64 %307 %48 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %49 y)
(fma.f64 #s(literal -1 binary64) %373 %408)
(fma.f64 #s(literal -1 binary64) %373 %410)
(fma.f64 #s(literal -1 binary64) %373 %412)
(fma.f64 #s(literal -1 binary64) %373 %414)
(fma.f64 #s(literal -1 binary64) %373 %416)
(fma.f64 #s(literal -1 binary64) %373 %418)
(fma.f64 #s(literal -1 binary64) %373 #s(literal 0 binary64))
(fma.f64 %377 %19 %326)
(fma.f64 %377 y %408)
(fma.f64 %377 y %410)
(fma.f64 %377 y %412)
(fma.f64 %377 y %414)
(fma.f64 %377 y %416)
(fma.f64 %377 y %418)
(fma.f64 %377 y #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %326 %326)
(fma.f64 #s(literal 1 binary64) %19 %438)
(fma.f64 #s(literal 1 binary64) %19 %440)
(fma.f64 #s(literal 1 binary64) %19 %443)
(fma.f64 #s(literal 1 binary64) %19 %445)
(fma.f64 #s(literal 1 binary64) %310 %408)
(fma.f64 #s(literal 1 binary64) %310 %410)
(fma.f64 #s(literal 1 binary64) %310 %412)
(fma.f64 #s(literal 1 binary64) %310 %414)
(fma.f64 #s(literal 1 binary64) %310 %416)
(fma.f64 #s(literal 1 binary64) %310 %418)
(fma.f64 #s(literal 1 binary64) %310 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %8 y)
(fma.f64 %8 #s(literal 1 binary64) y)
(fma.f64 y %380 %408)
(fma.f64 y %380 %410)
(fma.f64 y %380 %412)
(fma.f64 y %380 %414)
(fma.f64 y %380 %416)
(fma.f64 y %380 %418)
(fma.f64 y %380 #s(literal 0 binary64))
(fma.f64 y %67 y)
(fma.f64 y %442 %19)
(fma.f64 y %324 %326)
(fma.f64 y #s(literal 1/2 binary64) %438)
(fma.f64 y #s(literal 1/2 binary64) %440)
(fma.f64 y #s(literal 1/2 binary64) %443)
(fma.f64 y #s(literal 1/2 binary64) %445)
(fma.f64 y %377 %408)
(fma.f64 y %377 %410)
(fma.f64 y %377 %412)
(fma.f64 y %377 %414)
(fma.f64 y %377 %416)
(fma.f64 y %377 %418)
(fma.f64 y %377 #s(literal 0 binary64))
%310
(fma.f64 x y y)
(-.f64 %8 %48)
(-.f64 y %49)
(+.f64 (fma.f64 y x %19) %19)
(+.f64 %313 %313)
(+.f64 %410 %310)
(+.f64 %443 %19)
(+.f64 %416 %310)
(+.f64 %445 %19)
(+.f64 %326 %326)
(+.f64 %19 %438)
(+.f64 %19 %440)
(+.f64 %19 %443)
(+.f64 %19 %445)
(+.f64 %310 %408)
(+.f64 %310 %410)
(+.f64 %310 %412)
(+.f64 %310 %414)
(+.f64 %310 %416)
(+.f64 %310 %418)
(+.f64 %310 #s(literal 0 binary64))
(+.f64 %8 y)
(+.f64 y (+.f64 #s(literal 0 binary64) %8))
(+.f64 y (-.f64 #s(literal 0 binary64) %49))
(+.f64 y %8)
(*.f64 #s(literal 1 binary64) %836)
(pow.f64 %836 #s(literal 1 binary64))
%836
(/.f64 #s(literal 1 binary64) (pow.f64 %836 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %845)
(pow.f64 %845 #s(literal 1 binary64))
%845
(/.f64 #s(literal 1 binary64) (pow.f64 %845 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %850)
(pow.f64 %850 #s(literal 1 binary64))
%850
(/.f64 #s(literal 1 binary64) (pow.f64 %850 #s(literal -1 binary64)))
reconstruct67.0ms (4.8%)
Counts
763 → 38
Compiler
Compiled 763 to 894 computations (-17.2% saved)
eval4.0ms (0.3%)
Compiler
Compiled 38 to 74 computations (-94.7% saved)
prune2.0ms (0.1%)
Pruning
6 alts after pruning (2 fresh and 4 done)
PrunedKeptTotal
New36238
Fresh000
Picked022
Done022
Total36642
Accuracy
100.0%
Counts
42 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 (fma.f64 x y x) y)
✓62.9%
(approx (- x (* (- -1 x) y)) (fma.f64 y x y))
▶62.2%
(approx (+ (+ (* x y) x) y) (*.f64 x (+.f64 #s(literal 1 binary64) y)))
▶2.6%
(approx (+ (+ (* x y) x) y) (approx (* y (+ 1 x)) (*.f64 (approx x #s(literal 0 binary64)) y)))
✓26.0%
(approx (+ (+ (* x y) x) y) (approx (* y (+ 1 x)) (*.f64 x y)))
✓38.6%
(approx (+ (+ (* x y) x) y) y)
Compiler
Compiled 6 to 11 computations (-83.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series10.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
074284
Stop Event
1×iter-limit
Counts
11 → 23
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%5 = (+.f64 #s(literal 1 binary64) y)
%6 = (*.f64 x %5)
%7 = (*.f64 %3 y)
%10 = (+ (+ (* x y) x) y)
%15 = (approx (* y (+ 1 x)) %7)
x
y
#s(literal 0 binary64)
%3
#s(literal 1 binary64)
%5
%6
%7
(approx %10 %6)
%15
(approx %10 %15)
Outputs
%6 = (+ 1 y)
%7 = (* x %6)
%9 = (+.f64 #s(literal 1 binary64) y)
%10 = (*.f64 x %9)
%12 = (* x y)
%13 = (*.f64 x y)
%16 = (+ (+ %12 x) y)
%21 = (* y (+ 1 x))
%24 = (/.f64 y x)
%25 = (+.f64 y %24)
%38 = (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %24))
%51 = (*.f64 y (+.f64 #s(literal 1 binary64) x))
%59 = (/.f64 x y)
%60 = (+.f64 x %59)
%67 = (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %59))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %10)
(approx %12 %13)
(approx %16 y)
(approx %16 (+.f64 y %10))
(approx %21 (+.f64 y %13))
(approx %16 (*.f64 x (+.f64 #s(literal 1 binary64) %25)))
(approx %21 (*.f64 x %25))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %38 #s(literal 1 binary64)))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 x %38)))
(approx %6 #s(literal 1 binary64))
(approx %6 %9)
(approx %7 (+.f64 x %13))
(approx %16 (+.f64 x %51))
(approx %21 %51)
(approx %6 (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) y))))
(approx %7 (*.f64 y %60))
(approx %16 (*.f64 y (+.f64 #s(literal 1 binary64) %60)))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y %67)))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %67 #s(literal 1 binary64)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
y
-inf
0.0ms
y
0
rewrite89.0ms (6.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01663
01963
16763
216363
359863
0418663
0429357
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 550
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%5 = (+.f64 #s(literal 1 binary64) y)
%6 = (*.f64 x %5)
%7 = (*.f64 %3 y)
%10 = (+ (+ (* x y) x) y)
%15 = (approx (* y (+ 1 x)) %7)
x
y
#s(literal 0 binary64)
%3
#s(literal 1 binary64)
%5
%6
%7
(approx %10 %6)
%15
(approx %10 %15)
Outputs
%5 = (approx x #s(literal 0 binary64))
%6 = (*.f64 #s(literal 2 binary64) %5)
%8 = (*.f64 #s(literal 1/2 binary64) %5)
%14 = (E.f64 )
%30 = (+.f64 %5 %5)
%40 = (*.f64 %5 #s(literal 0 binary64))
%42 = (*.f64 #s(literal 0 binary64) %5)
%50 = (*.f64 %5 #s(literal 1/2 binary64))
%62 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64))
%64 = (/.f64 %62 #s(literal 8 binary64))
%66 = (fma.f64 #s(literal 1/2 binary64) y #s(literal 1/2 binary64))
%69 = (*.f64 #s(literal 4 binary64) %66)
%71 = (+.f64 #s(literal 1 binary64) y)
%72 = (fma.f64 #s(literal 2 binary64) %71 #s(literal 0 binary64))
%74 = (*.f64 %62 #s(literal 1 binary64))
%77 = (*.f64 %66 #s(literal 1 binary64))
%99 = (-.f64 y #s(literal -1/2 binary64))
%114 = (+.f64 y y)
%117 = (*.f64 %14 #s(literal 2 binary64))
%123 = (*.f64 %114 #s(literal -2 binary64))
%126 = (*.f64 %114 #s(literal 2 binary64))
%130 = (*.f64 #s(literal 2 binary64) %14)
%180 = (fma.f64 #s(literal -2 binary64) y #s(literal -2 binary64))
%192 = (-.f64 #s(literal -1 binary64) y)
%194 = (*.f64 %71 #s(literal 0 binary64))
%196 = (*.f64 #s(literal 0 binary64) %71)
%199 = (fma.f64 #s(literal 2 binary64) y #s(literal 1 binary64))
%211 = (*.f64 #s(literal -2 binary64) y)
%245 = (neg.f64 y)
%254 = (*.f64 %99 #s(literal 1 binary64))
%264 = (+.f64 x x)
%265 = (*.f64 %71 %264)
%267 = (*.f64 #s(literal 1/2 binary64) x)
%272 = (neg.f64 x)
%274 = (fma.f64 y x x)
%275 = (*.f64 #s(literal 1/2 binary64) %274)
%276 = (*.f64 #s(literal 4 binary64) %275)
%278 = (*.f64 %62 x)
%280 = (*.f64 #s(literal 2 binary64) %274)
%282 = (*.f64 %264 %71)
%284 = (fma.f64 %114 x %264)
%286 = (*.f64 %114 x)
%287 = (fma.f64 #s(literal 2 binary64) x %286)
%289 = (*.f64 #s(literal -2 binary64) x)
%290 = (-.f64 %286 %289)
%292 = (*.f64 %289 y)
%293 = (-.f64 %264 %292)
%295 = (*.f64 %275 #s(literal 1 binary64))
%297 = (*.f64 %66 x)
%299 = (*.f64 #s(literal 1/2 binary64) y)
%300 = (*.f64 %299 x)
%301 = (*.f64 #s(literal -1/2 binary64) x)
%302 = (-.f64 %300 %301)
%333 = (*.f64 y x)
%350 = (*.f64 %265 #s(literal 0 binary64))
%352 = (*.f64 %274 #s(literal 0 binary64))
%355 = (*.f64 #s(literal 0 binary64) %274)
%377 = (*.f64 x %99)
%379 = (*.f64 %99 x)
%405 = (*.f64 %272 y)
%457 = (*.f64 #s(literal 0 binary64) %265)
%477 = (*.f64 %267 #s(literal 1/2 binary64))
%480 = (*.f64 #s(literal 1/2 binary64) %267)
%504 = (*.f64 %274 #s(literal 1/2 binary64))
%514 = (*.f64 %71 %267)
%565 = (*.f64 %5 %114)
%568 = (*.f64 %8 #s(literal 1 binary64))
%572 = (*.f64 %299 %5)
%573 = (*.f64 #s(literal 4 binary64) %572)
%575 = (*.f64 %5 y)
%576 = (*.f64 #s(literal 2 binary64) %575)
%578 = (*.f64 %114 %5)
%580 = (*.f64 %572 #s(literal 1 binary64))
%623 = (*.f64 %565 #s(literal 0 binary64))
%625 = (*.f64 %575 #s(literal 0 binary64))
%628 = (*.f64 #s(literal 0 binary64) %575)
%666 = (*.f64 #s(literal 0 binary64) %565)
%679 = (*.f64 %575 #s(literal 1/2 binary64))
%693 = (*.f64 %5 %299)
%722 = (+ (* (+ 1 y) x) y)
%723 = (approx %722 %274)
%730 = (approx (* (+ 1 x) y) %575)
%735 = (approx %722 %730)
x
y
#s(literal 0 binary64)
(*.f64 #s(literal 1/2 binary64) %6)
(*.f64 #s(literal 2 binary64) %8)
(*.f64 #s(literal 1 binary64) %5)
(*.f64 %5 #s(literal 1 binary64))
(pow.f64 %5 #s(literal 1 binary64))
%5
(/.f64 (*.f64 %5 %14) %14)
(/.f64 (*.f64 %5 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %14 %5) %14)
(/.f64 (*.f64 #s(literal 4 binary64) %5) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %5) #s(literal -2 binary64))
(/.f64 %6 #s(literal 2 binary64))
(/.f64 (*.f64 %5 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %30 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(/.f64 %5 #s(literal 1 binary64))
(neg.f64 (*.f64 #s(literal -1 binary64) %5))
(neg.f64 (*.f64 %5 #s(literal -1 binary64)))
(fma.f64 #s(literal 1/2 binary64) %6 %40)
(fma.f64 #s(literal 1/2 binary64) %6 %42)
(fma.f64 #s(literal 1/2 binary64) %5 %8)
(fma.f64 #s(literal 2 binary64) %8 %40)
(fma.f64 #s(literal 2 binary64) %8 %42)
(fma.f64 #s(literal 1 binary64) %8 %8)
(fma.f64 #s(literal 1 binary64) %5 %40)
(fma.f64 #s(literal 1 binary64) %5 %42)
(fma.f64 %5 #s(literal 1/2 binary64) %50)
(fma.f64 %5 #s(literal 1 binary64) %40)
(fma.f64 %5 #s(literal 1 binary64) %42)
(fma.f64 %5 #s(literal 0 binary64) %5)
(fma.f64 #s(literal 0 binary64) %5 %5)
(+.f64 %50 %50)
(+.f64 %40 %5)
(+.f64 %42 %5)
(+.f64 %8 %8)
(+.f64 %5 %40)
(+.f64 %5 %42)
#s(literal 1 binary64)
(*.f64 %64 #s(literal 4 binary64))
(*.f64 %66 #s(literal 2 binary64))
(*.f64 %62 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %69)
(*.f64 #s(literal 1/2 binary64) %72)
(*.f64 #s(literal 1/2 binary64) %74)
(*.f64 #s(literal 1/2 binary64) %62)
(*.f64 #s(literal 2 binary64) %77)
(*.f64 #s(literal 2 binary64) %66)
(*.f64 %71 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %71)
(pow.f64 %71 #s(literal 1 binary64))
(/.f64 (*.f64 %71 %14) %14)
(/.f64 (*.f64 #s(literal 8 binary64) %66) #s(literal 4 binary64))
(/.f64 %69 #s(literal 2 binary64))
(/.f64 (*.f64 %14 %71) %14)
(/.f64 (*.f64 #s(literal 4 binary64) %71) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %71) #s(literal -2 binary64))
(/.f64 (/.f64 %62 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %62 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %99 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %71 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %71 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %71 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %71 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 y %14 %14) %14)
(/.f64 (fma.f64 y #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %14 #s(literal 2 binary64) (*.f64 %114 %14)) %117)
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 %114 #s(literal 4 binary64))) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %123) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) %126) #s(literal 4 binary64))
(/.f64 (fma.f64 %114 %14 %117) %130)
(/.f64 %72 #s(literal 2 binary64))
(/.f64 (fma.f64 %62 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %62 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %62 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %14 #s(literal 2 binary64) (*.f64 %14 %114)) %117)
(/.f64 (+.f64 #s(literal 8 binary64) (*.f64 #s(literal 4 binary64) %114)) #s(literal 8 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %114)) #s(literal -4 binary64))
(/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %114)) #s(literal 4 binary64))
(/.f64 (fma.f64 %114 %14 %130) %130)
(/.f64 (fma.f64 %114 #s(literal 4 binary64) #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %114 #s(literal -2 binary64) #s(literal -4 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %114 #s(literal 2 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %126 #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %123 #s(literal 4 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %62 %14) %130)
(/.f64 (*.f64 %62 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %62 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 %74 #s(literal 2 binary64))
(/.f64 (*.f64 %62 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %14 %62) %117)
(/.f64 (*.f64 #s(literal 4 binary64) %62) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %62) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %62) #s(literal 4 binary64))
(/.f64 (neg.f64 %180) #s(literal 2 binary64))
(/.f64 %62 #s(literal 2 binary64))
(/.f64 %180 #s(literal -2 binary64))
(/.f64 %71 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %62))
(/.f64 #s(literal 1 binary64) (pow.f64 %71 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %71))
(neg.f64 %192)
(fma.f64 %64 #s(literal 4 binary64) %194)
(fma.f64 %64 #s(literal 4 binary64) %196)
(fma.f64 %64 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %199 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 %99 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 %66 #s(literal 2 binary64) %194)
(fma.f64 %66 #s(literal 2 binary64) %196)
(fma.f64 %66 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %62 #s(literal 1/2 binary64) %194)
(fma.f64 %62 #s(literal 1/2 binary64) %196)
(fma.f64 %62 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %69 %194)
(fma.f64 #s(literal 1/2 binary64) %69 %196)
(fma.f64 #s(literal 1/2 binary64) %69 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1 binary64) %211) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %72 %194)
(fma.f64 #s(literal 1/2 binary64) %72 %196)
(fma.f64 #s(literal 1/2 binary64) %72 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1 binary64) %114) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %199 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %74 %194)
(fma.f64 #s(literal 1/2 binary64) %74 %196)
(fma.f64 #s(literal 1/2 binary64) %74 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %62 %194)
(fma.f64 #s(literal 1/2 binary64) %62 %196)
(fma.f64 #s(literal 1/2 binary64) %62 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %71 %66)
(fma.f64 #s(literal 2 binary64) %77 %194)
(fma.f64 #s(literal 2 binary64) %77 %196)
(fma.f64 #s(literal 2 binary64) %77 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %66 %194)
(fma.f64 #s(literal 2 binary64) %66 %196)
(fma.f64 #s(literal 2 binary64) %66 #s(literal 0 binary64))
(fma.f64 %71 #s(literal 1/2 binary64) %66)
(fma.f64 %71 #s(literal 1 binary64) %194)
(fma.f64 %71 #s(literal 1 binary64) %196)
(fma.f64 %71 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %71 #s(literal 0 binary64) %71)
(fma.f64 #s(literal 1 binary64) %99 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %66 %66)
(fma.f64 #s(literal 1 binary64) %71 %194)
(fma.f64 #s(literal 1 binary64) %71 %196)
(fma.f64 #s(literal 1 binary64) %71 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %71 %71)
(-.f64 %99 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 %245 #s(literal 1/2 binary64)))
(-.f64 %71 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) %245)
(-.f64 #s(literal 0 binary64) %192)
(-.f64 y #s(literal -1 binary64))
(+.f64 %194 %71)
(+.f64 %196 %71)
(+.f64 %254 #s(literal 1/2 binary64))
(+.f64 %99 #s(literal 1/2 binary64))
(+.f64 %66 %66)
(+.f64 #s(literal 1/2 binary64) %254)
(+.f64 #s(literal 1/2 binary64) %99)
(+.f64 %71 %194)
(+.f64 %71 %196)
(+.f64 %71 #s(literal 0 binary64))
%71
(+.f64 y #s(literal 1 binary64))
(*.f64 %265 #s(literal 1/2 binary64))
(*.f64 %62 %267)
(*.f64 %264 %77)
(*.f64 %264 %66)
(*.f64 %267 %62)
(*.f64 %192 %272)
(*.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) %282)
(*.f64 #s(literal 1/2 binary64) %284)
(*.f64 #s(literal 1/2 binary64) %287)
(*.f64 #s(literal 1/2 binary64) %290)
(*.f64 #s(literal 1/2 binary64) %293)
(*.f64 #s(literal 2 binary64) %295)
(*.f64 #s(literal 2 binary64) %297)
(*.f64 #s(literal 2 binary64) %302)
(*.f64 #s(literal 2 binary64) %275)
(*.f64 %272 %192)
(*.f64 %274 #s(literal 1 binary64))
(*.f64 %71 x)
(*.f64 #s(literal 1 binary64) %274)
(*.f64 x %71)
(pow.f64 %274 #s(literal 1 binary64))
(/.f64 (*.f64 %265 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %274 %14) %14)
(/.f64 (*.f64 %274 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %274 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 x %62) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %275) #s(literal 4 binary64))
(/.f64 %276 #s(literal 2 binary64))
(/.f64 %278 #s(literal 2 binary64))
(/.f64 (*.f64 %14 %274) %14)
(/.f64 (*.f64 #s(literal 4 binary64) %274) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %274) #s(literal -2 binary64))
(/.f64 %280 #s(literal 2 binary64))
(/.f64 %282 #s(literal 2 binary64))
(/.f64 (fma.f64 %333 #s(literal 2 binary64) %264) #s(literal 2 binary64))
(/.f64 (*.f64 %274 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %62 %264) #s(literal 4 binary64))
(/.f64 (*.f64 %264 %62) #s(literal 4 binary64))
(/.f64 %265 #s(literal 2 binary64))
(/.f64 %274 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %274 #s(literal -1 binary64)))
(neg.f64 (*.f64 %192 x))
(fma.f64 %99 x %267)
(fma.f64 %265 #s(literal 1/2 binary64) %194)
(fma.f64 %265 #s(literal 1/2 binary64) %350)
(fma.f64 %265 #s(literal 1/2 binary64) %352)
(fma.f64 %265 #s(literal 1/2 binary64) %196)
(fma.f64 %265 #s(literal 1/2 binary64) %355)
(fma.f64 %265 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %286 #s(literal 1/2 binary64) x)
(fma.f64 %292 #s(literal -1/2 binary64) x)
(fma.f64 %62 %267 %194)
(fma.f64 %62 %267 %350)
(fma.f64 %62 %267 %352)
(fma.f64 %62 %267 %196)
(fma.f64 %62 %267 %355)
(fma.f64 %62 %267 #s(literal 0 binary64))
(fma.f64 %289 (*.f64 #s(literal -1/2 binary64) y) x)
(fma.f64 %211 %301 x)
(fma.f64 %114 %267 x)
(fma.f64 %264 %77 %194)
(fma.f64 %264 %77 %350)
(fma.f64 %264 %77 %352)
(fma.f64 %264 %77 %196)
(fma.f64 %264 %77 %355)
(fma.f64 %264 %77 #s(literal 0 binary64))
(fma.f64 %264 #s(literal 1/4 binary64) %377)
(fma.f64 %264 #s(literal 1/4 binary64) %379)
(fma.f64 %264 %66 %194)
(fma.f64 %264 %66 %350)
(fma.f64 %264 %66 %352)
(fma.f64 %264 %66 %196)
(fma.f64 %264 %66 %355)
(fma.f64 %264 %66 #s(literal 0 binary64))
(fma.f64 %264 %299 x)
(fma.f64 %299 %264 x)
(fma.f64 %267 %62 %194)
(fma.f64 %267 %62 %350)
(fma.f64 %267 %62 %352)
(fma.f64 %267 %62 %196)
(fma.f64 %267 %62 %355)
(fma.f64 %267 %62 #s(literal 0 binary64))
(fma.f64 %267 %114 x)
(fma.f64 %267 %71 %275)
(fma.f64 %267 #s(literal 1 binary64) %377)
(fma.f64 %267 #s(literal 1 binary64) %379)
(fma.f64 %192 %272 %194)
(fma.f64 %192 %272 %350)
(fma.f64 %192 %272 %352)
(fma.f64 %192 %272 %196)
(fma.f64 %192 %272 %355)
(fma.f64 %192 %272 #s(literal 0 binary64))
(fma.f64 %405 #s(literal -1 binary64) x)
(fma.f64 #s(literal 1/2 binary64) %276 %194)
(fma.f64 #s(literal 1/2 binary64) %276 %350)
(fma.f64 #s(literal 1/2 binary64) %276 %352)
(fma.f64 #s(literal 1/2 binary64) %276 %196)
(fma.f64 #s(literal 1/2 binary64) %276 %355)
(fma.f64 #s(literal 1/2 binary64) %276 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %278 %194)
(fma.f64 #s(literal 1/2 binary64) %278 %350)
(fma.f64 #s(literal 1/2 binary64) %278 %352)
(fma.f64 #s(literal 1/2 binary64) %278 %196)
(fma.f64 #s(literal 1/2 binary64) %278 %355)
(fma.f64 #s(literal 1/2 binary64) %278 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %280 %194)
(fma.f64 #s(literal 1/2 binary64) %280 %350)
(fma.f64 #s(literal 1/2 binary64) %280 %352)
(fma.f64 #s(literal 1/2 binary64) %280 %196)
(fma.f64 #s(literal 1/2 binary64) %280 %355)
(fma.f64 #s(literal 1/2 binary64) %280 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %282 %194)
(fma.f64 #s(literal 1/2 binary64) %282 %350)
(fma.f64 #s(literal 1/2 binary64) %282 %352)
(fma.f64 #s(literal 1/2 binary64) %282 %196)
(fma.f64 #s(literal 1/2 binary64) %282 %355)
(fma.f64 #s(literal 1/2 binary64) %282 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %300) x)
(fma.f64 #s(literal 1/2 binary64) %284 %194)
(fma.f64 #s(literal 1/2 binary64) %284 %350)
(fma.f64 #s(literal 1/2 binary64) %284 %352)
(fma.f64 #s(literal 1/2 binary64) %284 %196)
(fma.f64 #s(literal 1/2 binary64) %284 %355)
(fma.f64 #s(literal 1/2 binary64) %284 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %287 %194)
(fma.f64 #s(literal 1/2 binary64) %287 %350)
(fma.f64 #s(literal 1/2 binary64) %287 %352)
(fma.f64 #s(literal 1/2 binary64) %287 %196)
(fma.f64 #s(literal 1/2 binary64) %287 %355)
(fma.f64 #s(literal 1/2 binary64) %287 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %290 %194)
(fma.f64 #s(literal 1/2 binary64) %290 %350)
(fma.f64 #s(literal 1/2 binary64) %290 %352)
(fma.f64 #s(literal 1/2 binary64) %290 %196)
(fma.f64 #s(literal 1/2 binary64) %290 %355)
(fma.f64 #s(literal 1/2 binary64) %290 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %293 %194)
(fma.f64 #s(literal 1/2 binary64) %293 %350)
(fma.f64 #s(literal 1/2 binary64) %293 %352)
(fma.f64 #s(literal 1/2 binary64) %293 %196)
(fma.f64 #s(literal 1/2 binary64) %293 %355)
(fma.f64 #s(literal 1/2 binary64) %293 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %265 %457)
(fma.f64 #s(literal 1/2 binary64) %286 x)
(fma.f64 #s(literal 1/2 binary64) %274 %275)
(fma.f64 #s(literal 1/2 binary64) x %377)
(fma.f64 #s(literal 1/2 binary64) x %379)
(fma.f64 #s(literal 2 binary64) %295 %194)
(fma.f64 #s(literal 2 binary64) %295 %350)
(fma.f64 #s(literal 2 binary64) %295 %352)
(fma.f64 #s(literal 2 binary64) %295 %196)
(fma.f64 #s(literal 2 binary64) %295 %355)
(fma.f64 #s(literal 2 binary64) %295 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %297 %194)
(fma.f64 #s(literal 2 binary64) %297 %350)
(fma.f64 #s(literal 2 binary64) %297 %352)
(fma.f64 #s(literal 2 binary64) %297 %196)
(fma.f64 #s(literal 2 binary64) %297 %355)
(fma.f64 #s(literal 2 binary64) %297 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %300 #s(literal 1 binary64)) x)
(fma.f64 #s(literal 2 binary64) %477 %377)
(fma.f64 #s(literal 2 binary64) %477 %379)
(fma.f64 #s(literal 2 binary64) %480 %377)
(fma.f64 #s(literal 2 binary64) %480 %379)
(fma.f64 #s(literal 2 binary64) %302 %194)
(fma.f64 #s(literal 2 binary64) %302 %350)
(fma.f64 #s(literal 2 binary64) %302 %352)
(fma.f64 #s(literal 2 binary64) %302 %196)
(fma.f64 #s(literal 2 binary64) %302 %355)
(fma.f64 #s(literal 2 binary64) %302 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %275 %194)
(fma.f64 #s(literal 2 binary64) %275 %350)
(fma.f64 #s(literal 2 binary64) %275 %352)
(fma.f64 #s(literal 2 binary64) %275 %196)
(fma.f64 #s(literal 2 binary64) %275 %355)
(fma.f64 #s(literal 2 binary64) %275 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %300 x)
(fma.f64 %272 %192 %194)
(fma.f64 %272 %192 %350)
(fma.f64 %272 %192 %352)
(fma.f64 %272 %192 %196)
(fma.f64 %272 %192 %355)
(fma.f64 %272 %192 #s(literal 0 binary64))
(fma.f64 %272 %245 x)
(fma.f64 %245 %272 x)
(fma.f64 %274 #s(literal 1/2 binary64) %504)
(fma.f64 %274 #s(literal 1 binary64) %194)
(fma.f64 %274 #s(literal 1 binary64) %350)
(fma.f64 %274 #s(literal 1 binary64) %352)
(fma.f64 %274 #s(literal 1 binary64) %196)
(fma.f64 %274 #s(literal 1 binary64) %355)
(fma.f64 %274 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %274 #s(literal 0 binary64) %274)
(fma.f64 %333 #s(literal 1 binary64) x)
(fma.f64 %71 %267 %514)
(fma.f64 %71 x %194)
(fma.f64 %71 x %350)
(fma.f64 %71 x %352)
(fma.f64 %71 x %196)
(fma.f64 %71 x %355)
(fma.f64 %71 x #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %275 %275)
(fma.f64 #s(literal 1 binary64) %267 %377)
(fma.f64 #s(literal 1 binary64) %267 %379)
(fma.f64 #s(literal 1 binary64) %274 %194)
(fma.f64 #s(literal 1 binary64) %274 %350)
(fma.f64 #s(literal 1 binary64) %274 %352)
(fma.f64 #s(literal 1 binary64) %274 %196)
(fma.f64 #s(literal 1 binary64) %274 %355)
(fma.f64 #s(literal 1 binary64) %274 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %333 x)
(fma.f64 #s(literal 0 binary64) %274 %274)
%274
(fma.f64 x %99 %267)
(fma.f64 x %66 %275)
(fma.f64 x #s(literal 1/2 binary64) %377)
(fma.f64 x #s(literal 1/2 binary64) %379)
(fma.f64 x %71 %194)
(fma.f64 x %71 %350)
(fma.f64 x %71 %352)
(fma.f64 x %71 %196)
(fma.f64 x %71 %355)
(fma.f64 x %71 #s(literal 0 binary64))
(fma.f64 x y x)
(-.f64 %333 %272)
(-.f64 x %405)
(+.f64 %504 %504)
(+.f64 %352 %274)
(+.f64 %377 %267)
(+.f64 (*.f64 #s(literal 1/2 binary64) %265) %457)
(+.f64 %355 %274)
(+.f64 %379 %267)
(+.f64 %514 %514)
(+.f64 %275 %275)
(+.f64 %267 %377)
(+.f64 %267 %379)
(+.f64 %274 %194)
(+.f64 %274 %350)
(+.f64 %274 %352)
(+.f64 %274 %196)
(+.f64 %274 %355)
(+.f64 %274 #s(literal 0 binary64))
(+.f64 %333 x)
(+.f64 x %333)
(*.f64 %565 #s(literal 1/2 binary64))
(*.f64 %30 %299)
(*.f64 %114 %568)
(*.f64 %114 %8)
(*.f64 %299 %6)
(*.f64 #s(literal 1/2 binary64) %573)
(*.f64 #s(literal 1/2 binary64) %576)
(*.f64 #s(literal 1/2 binary64) %578)
(*.f64 #s(literal 2 binary64) %580)
(*.f64 #s(literal 2 binary64) %572)
(*.f64 %575 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %575)
%575
(*.f64 y %5)
(pow.f64 %575 #s(literal 1 binary64))
(/.f64 (*.f64 %565 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %575 %14) %14)
(/.f64 (*.f64 %575 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %575 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %575 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %572) #s(literal 4 binary64))
(/.f64 %573 #s(literal 2 binary64))
(/.f64 (*.f64 %14 %575) %14)
(/.f64 (*.f64 #s(literal 4 binary64) %575) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %575) #s(literal -2 binary64))
(/.f64 %576 #s(literal 2 binary64))
(/.f64 %578 #s(literal 2 binary64))
(/.f64 %565 #s(literal 2 binary64))
(/.f64 %575 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %575 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) %572))
(neg.f64 (*.f64 #s(literal -1 binary64) %575))
(neg.f64 (*.f64 %245 %5))
(neg.f64 (*.f64 %575 #s(literal -1 binary64)))
(neg.f64 (*.f64 %5 %245))
(fma.f64 %565 #s(literal 1/2 binary64) %40)
(fma.f64 %565 #s(literal 1/2 binary64) %623)
(fma.f64 %565 #s(literal 1/2 binary64) %625)
(fma.f64 %565 #s(literal 1/2 binary64) %42)
(fma.f64 %565 #s(literal 1/2 binary64) %628)
(fma.f64 %30 %299 %40)
(fma.f64 %30 %299 %623)
(fma.f64 %30 %299 %625)
(fma.f64 %30 %299 %42)
(fma.f64 %30 %299 %628)
(fma.f64 %114 %568 %40)
(fma.f64 %114 %568 %623)
(fma.f64 %114 %568 %625)
(fma.f64 %114 %568 %42)
(fma.f64 %114 %568 %628)
(fma.f64 %114 %8 %40)
(fma.f64 %114 %8 %623)
(fma.f64 %114 %8 %625)
(fma.f64 %114 %8 %42)
(fma.f64 %114 %8 %628)
(fma.f64 %299 %6 %40)
(fma.f64 %299 %6 %623)
(fma.f64 %299 %6 %625)
(fma.f64 %299 %6 %42)
(fma.f64 %299 %6 %628)
(fma.f64 %299 %5 %572)
(fma.f64 #s(literal 1/2 binary64) %573 %40)
(fma.f64 #s(literal 1/2 binary64) %573 %623)
(fma.f64 #s(literal 1/2 binary64) %573 %625)
(fma.f64 #s(literal 1/2 binary64) %573 %42)
(fma.f64 #s(literal 1/2 binary64) %573 %628)
(fma.f64 #s(literal 1/2 binary64) %576 %40)
(fma.f64 #s(literal 1/2 binary64) %576 %623)
(fma.f64 #s(literal 1/2 binary64) %576 %625)
(fma.f64 #s(literal 1/2 binary64) %576 %42)
(fma.f64 #s(literal 1/2 binary64) %576 %628)
(fma.f64 #s(literal 1/2 binary64) %578 %40)
(fma.f64 #s(literal 1/2 binary64) %578 %623)
(fma.f64 #s(literal 1/2 binary64) %578 %625)
(fma.f64 #s(literal 1/2 binary64) %578 %42)
(fma.f64 #s(literal 1/2 binary64) %578 %628)
(fma.f64 #s(literal 1/2 binary64) %565 %666)
(fma.f64 #s(literal 1/2 binary64) %575 %572)
(fma.f64 #s(literal 2 binary64) %580 %40)
(fma.f64 #s(literal 2 binary64) %580 %623)
(fma.f64 #s(literal 2 binary64) %580 %625)
(fma.f64 #s(literal 2 binary64) %580 %42)
(fma.f64 #s(literal 2 binary64) %580 %628)
(fma.f64 #s(literal 2 binary64) %572 %40)
(fma.f64 #s(literal 2 binary64) %572 %623)
(fma.f64 #s(literal 2 binary64) %572 %625)
(fma.f64 #s(literal 2 binary64) %572 %42)
(fma.f64 #s(literal 2 binary64) %572 %628)
(fma.f64 %575 #s(literal 1/2 binary64) %679)
(fma.f64 %575 #s(literal 1 binary64) %40)
(fma.f64 %575 #s(literal 1 binary64) %623)
(fma.f64 %575 #s(literal 1 binary64) %625)
(fma.f64 %575 #s(literal 1 binary64) %42)
(fma.f64 %575 #s(literal 1 binary64) %628)
(fma.f64 %575 #s(literal 0 binary64) %575)
(fma.f64 #s(literal 1 binary64) %572 %572)
(fma.f64 #s(literal 1 binary64) %575 %40)
(fma.f64 #s(literal 1 binary64) %575 %623)
(fma.f64 #s(literal 1 binary64) %575 %625)
(fma.f64 #s(literal 1 binary64) %575 %42)
(fma.f64 #s(literal 1 binary64) %575 %628)
(fma.f64 %5 %299 %693)
(fma.f64 %5 y %40)
(fma.f64 %5 y %623)
(fma.f64 %5 y %625)
(fma.f64 %5 y %42)
(fma.f64 %5 y %628)
(fma.f64 #s(literal 0 binary64) %575 %575)
(fma.f64 y %8 %572)
(fma.f64 y %5 %40)
(fma.f64 y %5 %623)
(fma.f64 y %5 %625)
(fma.f64 y %5 %42)
(fma.f64 y %5 %628)
(+.f64 %679 %679)
(+.f64 %625 %575)
(+.f64 %693 %693)
(+.f64 (*.f64 #s(literal 1/2 binary64) %565) %666)
(+.f64 %628 %575)
(+.f64 %572 %572)
(+.f64 %575 %40)
(+.f64 %575 %623)
(+.f64 %575 %625)
(+.f64 %575 %42)
(+.f64 %575 %628)
(*.f64 #s(literal 1 binary64) %723)
(pow.f64 %723 #s(literal 1 binary64))
%723
(/.f64 #s(literal 1 binary64) (pow.f64 %723 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %730)
(pow.f64 %730 #s(literal 1 binary64))
%730
(/.f64 #s(literal 1 binary64) (pow.f64 %730 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %735)
(pow.f64 %735 #s(literal 1 binary64))
%735
(/.f64 #s(literal 1 binary64) (pow.f64 %735 #s(literal -1 binary64)))
reconstruct46.0ms (3.3%)
Counts
573 → 42
Compiler
Compiled 573 to 772 computations (-34.7% saved)
eval4.0ms (0.3%)
Compiler
Compiled 39 to 84 computations (-115.4% saved)
prune2.0ms (0.1%)
Pruning
6 alts after pruning (2 fresh and 4 done)
PrunedKeptTotal
New37239
Fresh000
Picked202
Done044
Total39645
Accuracy
100.0%
Counts
45 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 (fma.f64 x y x) y)
✓62.9%
(approx (- x (* (- -1 x) y)) (fma.f64 y x y))
62.2%
(approx (+ (+ (* x y) x) y) (fma.f64 x y x))
38.3%
(approx (+ (+ (* x y) x) y) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
✓26.0%
(approx (+ (+ (* x y) x) y) (approx (* y (+ 1 x)) (*.f64 x y)))
✓38.6%
(approx (+ (+ (* x y) x) y) y)
Compiler
Compiled 6 to 8 computations (-33.3% saved)
regimes19.0ms (1.4%)
Accuracy
Total 11.9b remaining (14.9%)
Threshold costs 0.8b (1.0%)
6.5b82.4%
4.6b79.8%
0.5b97.9%
0.3b98.1%
0.0b0.0%
Counts
1 → 1
2 → 3
4 → 4
5 → 3
6 → 2
9 → 1
Calls
Call 1
Inputs
(approx (+ (+ (* x y) x) y) y)
Outputs
(approx (+ (+ (* x y) x) y) y)
Call 2
Inputs
%4 = (+ (+ (* x y) x) y)
(approx %4 y)
(approx %4 (approx (* y (+ 1 x)) (*.f64 x y)))
Outputs
%4 = (+ (+ (* x y) x) y)
%10 = (approx %4 (approx (* y (+ 1 x)) (*.f64 x y)))
%10
(approx %4 y)
%10
Call 3
Inputs
%4 = (+ (+ (* x y) x) y)
%8 = (* y (+ 1 x))
(approx %4 y)
(approx %4 (approx %8 (*.f64 x y)))
(approx %4 (approx %8 (*.f64 (approx x #s(literal 0 binary64)) y)))
(approx %4 (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
Outputs
%4 = (+ (+ (* x y) x) y)
%10 = (approx %4 (approx (* y (+ 1 x)) (*.f64 x y)))
%10
(approx %4 (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %4 y)
%10
Call 4
Inputs
%4 = (+ (+ (* x y) x) y)
%8 = (* y (+ 1 x))
(approx %4 y)
(approx %4 (approx %8 (*.f64 x y)))
(approx %4 (approx %8 (*.f64 (approx x #s(literal 0 binary64)) y)))
(approx %4 (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %4 (fma.f64 x y x))
Outputs
%4 = (+ (+ (* x y) x) y)
%6 = (approx %4 (fma.f64 x y x))
%6
(approx %4 y)
%6
Call 5
Inputs
%4 = (+ (+ (* x y) x) y)
%8 = (* y (+ 1 x))
(approx %4 y)
(approx %4 (approx %8 (*.f64 x y)))
(approx %4 (approx %8 (*.f64 (approx x #s(literal 0 binary64)) y)))
(approx %4 (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %4 (fma.f64 x y x))
(approx (- x (* (- -1 x) y)) (fma.f64 y x y))
Outputs
(approx (+ (+ (* x y) x) y) (fma.f64 x y x))
(approx (- x (* (- -1 x) y)) (fma.f64 y x y))
Call 6
Inputs
%4 = (+ (+ (* x y) x) y)
%8 = (* y (+ 1 x))
%22 = (fma.f64 x y x)
(approx %4 y)
(approx %4 (approx %8 (*.f64 x y)))
(approx %4 (approx %8 (*.f64 (approx x #s(literal 0 binary64)) y)))
(approx %4 (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %4 %22)
(approx (- x (* (- -1 x) y)) (fma.f64 y x y))
(approx %4 (*.f64 x (+.f64 #s(literal 1 binary64) y)))
(approx %4 (*.f64 y (+.f64 #s(literal 1 binary64) x)))
(+.f64 %22 y)
Outputs
(+.f64 (fma.f64 x y x) y)
Calls
3 calls:
6.0ms
(+.f64 (+.f64 (*.f64 x y) x) y)
6.0ms
x
6.0ms
y
Results
AccuracySegmentsBranch
38.6%1
y
38.6%1
x
38.6%1
(+.f64 (+.f64 (*.f64 x y) x) y)
Compiler
Compiled 13 to 21 computations (-61.5% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-6.917356767787848e-243
2.810994943168347e-235
Compiler
Compiled 1 to 5 computations (-400.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1.5830063735833688e+275
1.6348908320025358e+287
0.0ms
-6.917356767787848e-243
2.810994943168347e-235
Compiler
Compiled 1 to 5 computations (-400.0% saved)
bsearch0.0ms (0.0%)
Algorithm
3×left-value
Steps
TimeLeftRight
0.0ms
1.5830063735833688e+275
1.6348908320025358e+287
0.0ms
-6.917356767787848e-243
2.810994943168347e-235
0.0ms
-inf
-4.675946438760368e+304
Compiler
Compiled 1 to 5 computations (-400.0% saved)
bsearch13.0ms (0.9%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
7.0ms
0.00013802215518052228
511611074690.7374
6.0ms
-0.3265401055606291
-0.04129141623876784
Samples
6.0ms256×0valid
Compiler
Compiled 14 to 15 computations (-7.1% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations79.0ms (5.7%)
Stop Event
1×fuel
Compiler
Compiled 6 to 28 computations (-366.7% saved)
preprocess29.0ms (2.1%)
Compiler
Compiled 19 to 141 computations (-642.1% saved)
end0.0ms (0.0%)
gc279ms (20.1%)
Allocations
AllocatedPercentPhase
737.5 MiB35.8%rewrite
563.7 MiB27.4%reconstruct
340.6 MiB16.5%sample
108.0 MiB5.2%preprocess
106.3 MiB5.2%series
89.9 MiB4.4%derivations
35.9 MiB1.7%regimes
35.2 MiB1.7%eval
23.4 MiB1.1%bsearch
20.0 MiB1.0%prune
0.2 MiB0.0%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
2 060.9 MiB100.0%total
Profiling
Loading profile data...