Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, C

Time bar (total: 810.0ms)

start0.0ms (0.0%)

analyze6.0ms (0.7%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%99.9%0.1%0.0%0.0%0.0%2
50.0%50.0%50.0%0.1%0.0%0.0%0.0%3
50.0%50.0%50.0%0.1%0.0%0.0%0.0%4
75.0%74.9%25.0%0.1%0.0%0.0%0.0%5
75.0%74.9%25.0%0.1%0.0%0.0%0.0%6
87.5%87.4%12.5%0.1%0.0%0.0%0.0%7
87.5%87.4%12.5%0.1%0.0%0.0%0.0%8
93.8%93.7%6.2%0.1%0.0%0.0%0.0%9
93.8%93.7%6.2%0.1%0.0%0.0%0.0%10
96.9%96.8%3.1%0.1%0.0%0.0%0.0%11
96.9%96.8%3.1%0.1%0.0%0.0%0.0%12
Compiler

Compiled 7 to 7 computations (0.0% saved)

sample216.0ms (26.6%)

Samples
207.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
Div: 3.0ms (44.7% of total, 0.0 MiB)
Mul: 3.0ms (44.7% of total, 0.0 MiB)
Bogosity

preprocess43.0ms (5.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01432
17030
224930
372330
4260730
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 x (*.f64 y #s(literal 2 binary64)))
Symmetry

(negabs x)

(negabs y)

Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series9.0ms (1.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01527
Stop Event
1×iter-limit
Counts
5 → 5
Calls
Call 1
Inputs
%3 = (*.f64 y #s(literal 2 binary64))
x
y
#s(literal 2 binary64)
%3
(/.f64 x %3)
Outputs
%6 = (* y 2)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (/ x %6) (*.f64 #s(literal 1/2 binary64) (/.f64 x y)))
(approx y y)
(approx %6 (*.f64 #s(literal 2 binary64) y))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
-inf
1.0ms
x
-inf
1.0ms
y
inf
1.0ms
x
inf
1.0ms
y
0
rewrite118.0ms (14.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
12511
28711
331811
4158411
0427211
0481111
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 458
Calls
Call 1
Inputs
%3 = (*.f64 y #s(literal 2 binary64))
x
y
#s(literal 2 binary64)
%3
(/.f64 x %3)
Outputs
%4 = (*.f64 y #s(literal 4 binary64))
%7 = (+.f64 y y)
%8 = (*.f64 %7 #s(literal 2 binary64))
%10 = (*.f64 #s(literal 2 binary64) %7)
%12 = (*.f64 #s(literal 1/2 binary64) y)
%15 = (*.f64 #s(literal 4 binary64) y)
%17 = (fma.f64 #s(literal 2 binary64) y %7)
%20 = (neg.f64 y)
%24 = (*.f64 #s(literal -2 binary64) y)
%30 = (*.f64 #s(literal -1 binary64) %20)
%43 = (neg.f64 %10)
%48 = (/.f64 #s(literal 1/2 binary64) y)
%53 = (*.f64 %7 #s(literal 0 binary64))
%55 = (*.f64 #s(literal 0 binary64) %7)
%92 = (neg.f64 x)
%93 = (/.f64 #s(literal -2 binary64) y)
%94 = (*.f64 %92 %93)
%97 = (/.f64 #s(literal 2 binary64) y)
%98 = (*.f64 %92 %97)
%101 = (*.f64 x %97)
%103 = (/.f64 x y)
%104 = (*.f64 %103 #s(literal 2 binary64))
%106 = (/.f64 %103 #s(literal 4 binary64))
%109 = (/.f64 x #s(literal -4 binary64))
%112 = (*.f64 #s(literal -1/2 binary64) x)
%113 = (/.f64 %112 #s(literal -2 binary64))
%115 = (/.f64 %103 #s(literal -1/2 binary64))
%117 = (+.f64 x x)
%118 = (/.f64 %117 y)
%120 = (/.f64 x #s(literal -1/2 binary64))
%121 = (/.f64 #s(literal -1 binary64) y)
%122 = (/.f64 %121 #s(literal 4 binary64))
%124 = (/.f64 #s(literal -1/4 binary64) y)
%126 = (/.f64 x %7)
%127 = (/.f64 %126 #s(literal 2 binary64))
%130 = (/.f64 (*.f64 x #s(literal -2 binary64)) y)
%132 = (/.f64 x #s(literal 4 binary64))
%134 = (*.f64 %92 #s(literal -1 binary64))
%136 = (*.f64 %92 #s(literal 2 binary64))
%138 = (/.f64 #s(literal 1/4 binary64) y)
%145 = (*.f64 #s(literal 1/4 binary64) %92)
%147 = (*.f64 #s(literal -1/4 binary64) %92)
%149 = (*.f64 #s(literal 1/4 binary64) x)
%152 = (/.f64 %92 y)
%154 = (*.f64 #s(literal 1/2 binary64) x)
%155 = (/.f64 #s(literal 1 binary64) y)
%157 = (*.f64 #s(literal -1/2 binary64) %103)
%161 = (/.f64 #s(literal -1/2 binary64) y)
%170 = (*.f64 #s(literal 1/4 binary64) %103)
%172 = (*.f64 %124 %92)
%174 = (*.f64 %138 x)
%176 = (*.f64 #s(literal 1/2 binary64) %126)
%181 = (*.f64 %152 #s(literal -1 binary64))
%184 = (*.f64 #s(literal -1 binary64) %103)
%187 = (*.f64 #s(literal -1/2 binary64) %92)
%190 = (/.f64 %154 %7)
%199 = (*.f64 #s(literal 2 binary64) %152)
%202 = (*.f64 #s(literal 2 binary64) %103)
%205 = (*.f64 #s(literal 2 binary64) %92)
%207 = (*.f64 #s(literal 2 binary64) %24)
%219 = (*.f64 %152 #s(literal 1 binary64))
%221 = (*.f64 %103 #s(literal -1 binary64))
%227 = (*.f64 #s(literal -1 binary64) %92)
%294 = (/.f64 (*.f64 %103 #s(literal 0 binary64)) #s(literal 2 binary64))
%297 = (/.f64 (*.f64 #s(literal 0 binary64) %103) #s(literal 2 binary64))
%300 = (/.f64 (*.f64 %92 #s(literal 0 binary64)) %24)
%303 = (/.f64 (*.f64 #s(literal 0 binary64) %92) %24)
%306 = (/.f64 (*.f64 x #s(literal 0 binary64)) %7)
%309 = (/.f64 (*.f64 #s(literal 0 binary64) x) %7)
%575 = (/.f64 x %10)
x
y
#s(literal 2 binary64)
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %8 #s(literal 1/2 binary64))
(*.f64 %10 #s(literal 1/2 binary64))
(*.f64 %12 #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) %12)
(*.f64 #s(literal 1/2 binary64) %15)
(*.f64 #s(literal 1/2 binary64) %17)
(*.f64 #s(literal 1/2 binary64) %10)
(*.f64 %20 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %20)
(*.f64 %24 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %7)
(*.f64 %7 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %30)
(*.f64 #s(literal 2 binary64) y)
(*.f64 y #s(literal 2 binary64))
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) y %24) #s(literal -2 binary64))
(/.f64 (-.f64 %7 %24) #s(literal 2 binary64))
(/.f64 (-.f64 %24 %7) #s(literal -2 binary64))
(/.f64 (neg.f64 %8) #s(literal -2 binary64))
(/.f64 %43 #s(literal -2 binary64))
(/.f64 %17 #s(literal 2 binary64))
(/.f64 %8 #s(literal 2 binary64))
(/.f64 %10 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %48)
(/.f64 %7 #s(literal 1 binary64))
(neg.f64 %24)
(fma.f64 %4 #s(literal 1/2 binary64) %53)
(fma.f64 %4 #s(literal 1/2 binary64) %55)
(fma.f64 %8 #s(literal 1/2 binary64) %53)
(fma.f64 %8 #s(literal 1/2 binary64) %55)
(fma.f64 %10 #s(literal 1/2 binary64) %53)
(fma.f64 %10 #s(literal 1/2 binary64) %55)
(fma.f64 %12 #s(literal 4 binary64) %53)
(fma.f64 %12 #s(literal 4 binary64) %55)
(fma.f64 #s(literal 4 binary64) %12 %53)
(fma.f64 #s(literal 4 binary64) %12 %55)
(fma.f64 #s(literal 1/2 binary64) %15 %53)
(fma.f64 #s(literal 1/2 binary64) %15 %55)
(fma.f64 #s(literal 1/2 binary64) %17 %53)
(fma.f64 #s(literal 1/2 binary64) %17 %55)
(fma.f64 #s(literal 1/2 binary64) %10 %53)
(fma.f64 #s(literal 1/2 binary64) %10 %55)
(fma.f64 %20 #s(literal -2 binary64) %53)
(fma.f64 %20 #s(literal -2 binary64) %55)
(fma.f64 #s(literal -2 binary64) %20 %53)
(fma.f64 #s(literal -2 binary64) %20 %55)
(fma.f64 #s(literal -1 binary64) %20 %30)
(fma.f64 %24 #s(literal -1 binary64) %53)
(fma.f64 %24 #s(literal -1 binary64) %55)
(fma.f64 #s(literal 1 binary64) %7 %53)
(fma.f64 #s(literal 1 binary64) %7 %55)
(fma.f64 %7 #s(literal 1 binary64) %53)
(fma.f64 %7 #s(literal 1 binary64) %55)
(fma.f64 #s(literal 2 binary64) %30 %53)
(fma.f64 #s(literal 2 binary64) %30 %55)
(fma.f64 #s(literal 2 binary64) y %53)
(fma.f64 #s(literal 2 binary64) y %55)
(fma.f64 y #s(literal 2 binary64) %53)
(fma.f64 y #s(literal 2 binary64) %55)
(-.f64 y %20)
(+.f64 %30 %30)
(+.f64 %7 %53)
(+.f64 %7 %55)
%7
(*.f64 %94 #s(literal 1/4 binary64))
(*.f64 %98 #s(literal -1/4 binary64))
(*.f64 %101 #s(literal 1/4 binary64))
(*.f64 %104 #s(literal 1/4 binary64))
(*.f64 %106 #s(literal 2 binary64))
(*.f64 %109 %93)
(*.f64 %113 %97)
(*.f64 %115 #s(literal -1/4 binary64))
(*.f64 %118 #s(literal 1/4 binary64))
(*.f64 %120 %122)
(*.f64 %120 %124)
(*.f64 %127 #s(literal 2 binary64))
(*.f64 %130 #s(literal -1/4 binary64))
(*.f64 %132 %97)
(*.f64 %134 %48)
(*.f64 %136 %124)
(*.f64 %117 %138)
(*.f64 %138 %117)
(*.f64 %112 %121)
(*.f64 %124 %120)
(*.f64 %121 %112)
(*.f64 #s(literal 1/4 binary64) %118)
(*.f64 %93 %145)
(*.f64 %97 %147)
(*.f64 %97 %149)
(*.f64 %97 %132)
(*.f64 #s(literal -1/2 binary64) %152)
(*.f64 %154 %155)
(*.f64 %157 #s(literal -1 binary64))
(*.f64 %155 %154)
(*.f64 #s(literal 1/2 binary64) %103)
(*.f64 %161 %92)
(*.f64 %152 #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) %157)
(*.f64 %103 #s(literal 1/2 binary64))
(*.f64 %48 x)
(*.f64 %92 %161)
(*.f64 #s(literal 1 binary64) %126)
(*.f64 %126 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %170)
(*.f64 #s(literal 2 binary64) %172)
(*.f64 #s(literal 2 binary64) %174)
(*.f64 #s(literal 2 binary64) %176)
(*.f64 #s(literal 2 binary64) %127)
(*.f64 x %48)
(pow.f64 %126 #s(literal 1 binary64))
(/.f64 (neg.f64 %181) #s(literal -2 binary64))
(/.f64 (neg.f64 %184) #s(literal 2 binary64))
(/.f64 (neg.f64 %187) %20)
(/.f64 (neg.f64 %190) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %106) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %118) #s(literal -4 binary64))
(/.f64 (neg.f64 %127) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %199) #s(literal 4 binary64))
(/.f64 (neg.f64 %202) #s(literal -4 binary64))
(/.f64 (neg.f64 %205) (neg.f64 %207))
(/.f64 (neg.f64 %113) (neg.f64 %12))
(/.f64 %181 #s(literal 2 binary64))
(/.f64 %184 #s(literal -2 binary64))
(/.f64 %187 y)
(/.f64 %190 #s(literal 1/2 binary64))
(/.f64 (neg.f64 %117) %43)
(/.f64 %219 #s(literal -2 binary64))
(/.f64 %221 #s(literal -2 binary64))
(/.f64 %106 #s(literal 1/2 binary64))
(/.f64 %113 %12)
(/.f64 %118 #s(literal 4 binary64))
(/.f64 %127 #s(literal 1/2 binary64))
(/.f64 %227 %7)
(/.f64 %134 %7)
(/.f64 %199 #s(literal -4 binary64))
(/.f64 %202 #s(literal 4 binary64))
(/.f64 %205 %207)
(/.f64 %117 %10)
(/.f64 %112 %20)
(/.f64 %154 %30)
(/.f64 %154 y)
(/.f64 %157 #s(literal -1 binary64))
(/.f64 %152 #s(literal -2 binary64))
(/.f64 %103 #s(literal 2 binary64))
(/.f64 %92 %24)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %181))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %184))
(/.f64 #s(literal 1 binary64) (/.f64 y %187))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %190))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %219))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %221))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %106))
(/.f64 #s(literal 1 binary64) (/.f64 %12 %113))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %118))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %127))
(/.f64 #s(literal 1 binary64) (/.f64 %7 %227))
(/.f64 #s(literal 1 binary64) (/.f64 %7 %134))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %199))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %202))
(/.f64 #s(literal 1 binary64) (/.f64 %207 %205))
(/.f64 #s(literal 1 binary64) (/.f64 %10 %117))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %157))
(/.f64 #s(literal 1 binary64) (/.f64 %20 %112))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %126))
(/.f64 #s(literal 1 binary64) (pow.f64 %126 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %154))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %152))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %103))
(/.f64 #s(literal 1 binary64) (/.f64 %24 %92))
(/.f64 #s(literal 1 binary64) (/.f64 %7 x))
(/.f64 %126 #s(literal 1 binary64))
%126
(neg.f64 %157)
(fma.f64 %94 #s(literal 1/4 binary64) %294)
(fma.f64 %94 #s(literal 1/4 binary64) %297)
(fma.f64 %94 #s(literal 1/4 binary64) %300)
(fma.f64 %94 #s(literal 1/4 binary64) %303)
(fma.f64 %94 #s(literal 1/4 binary64) %306)
(fma.f64 %94 #s(literal 1/4 binary64) %309)
(fma.f64 %98 #s(literal -1/4 binary64) %294)
(fma.f64 %98 #s(literal -1/4 binary64) %297)
(fma.f64 %98 #s(literal -1/4 binary64) %300)
(fma.f64 %98 #s(literal -1/4 binary64) %303)
(fma.f64 %98 #s(literal -1/4 binary64) %306)
(fma.f64 %98 #s(literal -1/4 binary64) %309)
(fma.f64 %101 #s(literal 1/4 binary64) %294)
(fma.f64 %101 #s(literal 1/4 binary64) %297)
(fma.f64 %101 #s(literal 1/4 binary64) %300)
(fma.f64 %101 #s(literal 1/4 binary64) %303)
(fma.f64 %101 #s(literal 1/4 binary64) %306)
(fma.f64 %101 #s(literal 1/4 binary64) %309)
(fma.f64 %104 #s(literal 1/4 binary64) %294)
(fma.f64 %104 #s(literal 1/4 binary64) %297)
(fma.f64 %104 #s(literal 1/4 binary64) %300)
(fma.f64 %104 #s(literal 1/4 binary64) %303)
(fma.f64 %104 #s(literal 1/4 binary64) %306)
(fma.f64 %104 #s(literal 1/4 binary64) %309)
(fma.f64 %106 #s(literal 2 binary64) %294)
(fma.f64 %106 #s(literal 2 binary64) %297)
(fma.f64 %106 #s(literal 2 binary64) %300)
(fma.f64 %106 #s(literal 2 binary64) %303)
(fma.f64 %106 #s(literal 2 binary64) %306)
(fma.f64 %106 #s(literal 2 binary64) %309)
(fma.f64 %109 %93 %294)
(fma.f64 %109 %93 %297)
(fma.f64 %109 %93 %300)
(fma.f64 %109 %93 %303)
(fma.f64 %109 %93 %306)
(fma.f64 %109 %93 %309)
(fma.f64 %113 %97 %294)
(fma.f64 %113 %97 %297)
(fma.f64 %113 %97 %300)
(fma.f64 %113 %97 %303)
(fma.f64 %113 %97 %306)
(fma.f64 %113 %97 %309)
(fma.f64 %115 #s(literal -1/4 binary64) %294)
(fma.f64 %115 #s(literal -1/4 binary64) %297)
(fma.f64 %115 #s(literal -1/4 binary64) %300)
(fma.f64 %115 #s(literal -1/4 binary64) %303)
(fma.f64 %115 #s(literal -1/4 binary64) %306)
(fma.f64 %115 #s(literal -1/4 binary64) %309)
(fma.f64 %118 #s(literal 1/4 binary64) %294)
(fma.f64 %118 #s(literal 1/4 binary64) %297)
(fma.f64 %118 #s(literal 1/4 binary64) %300)
(fma.f64 %118 #s(literal 1/4 binary64) %303)
(fma.f64 %118 #s(literal 1/4 binary64) %306)
(fma.f64 %118 #s(literal 1/4 binary64) %309)
(fma.f64 %120 %122 %294)
(fma.f64 %120 %122 %297)
(fma.f64 %120 %122 %300)
(fma.f64 %120 %122 %303)
(fma.f64 %120 %122 %306)
(fma.f64 %120 %122 %309)
(fma.f64 %120 %124 %294)
(fma.f64 %120 %124 %297)
(fma.f64 %120 %124 %300)
(fma.f64 %120 %124 %303)
(fma.f64 %120 %124 %306)
(fma.f64 %120 %124 %309)
(fma.f64 %127 #s(literal 2 binary64) %294)
(fma.f64 %127 #s(literal 2 binary64) %297)
(fma.f64 %127 #s(literal 2 binary64) %300)
(fma.f64 %127 #s(literal 2 binary64) %303)
(fma.f64 %127 #s(literal 2 binary64) %306)
(fma.f64 %127 #s(literal 2 binary64) %309)
(fma.f64 %130 #s(literal -1/4 binary64) %294)
(fma.f64 %130 #s(literal -1/4 binary64) %297)
(fma.f64 %130 #s(literal -1/4 binary64) %300)
(fma.f64 %130 #s(literal -1/4 binary64) %303)
(fma.f64 %130 #s(literal -1/4 binary64) %306)
(fma.f64 %130 #s(literal -1/4 binary64) %309)
(fma.f64 %132 %97 %294)
(fma.f64 %132 %97 %297)
(fma.f64 %132 %97 %300)
(fma.f64 %132 %97 %303)
(fma.f64 %132 %97 %306)
(fma.f64 %132 %97 %309)
(fma.f64 %134 %48 %294)
(fma.f64 %134 %48 %297)
(fma.f64 %134 %48 %300)
(fma.f64 %134 %48 %303)
(fma.f64 %134 %48 %306)
(fma.f64 %134 %48 %309)
(fma.f64 %136 %124 %294)
(fma.f64 %136 %124 %297)
(fma.f64 %136 %124 %300)
(fma.f64 %136 %124 %303)
(fma.f64 %136 %124 %306)
(fma.f64 %136 %124 %309)
(fma.f64 %117 %138 %294)
(fma.f64 %117 %138 %297)
(fma.f64 %117 %138 %300)
(fma.f64 %117 %138 %303)
(fma.f64 %117 %138 %306)
(fma.f64 %117 %138 %309)
(fma.f64 %138 %117 %294)
(fma.f64 %138 %117 %297)
(fma.f64 %138 %117 %300)
(fma.f64 %138 %117 %303)
(fma.f64 %138 %117 %306)
(fma.f64 %138 %117 %309)
(fma.f64 %112 %121 %294)
(fma.f64 %112 %121 %297)
(fma.f64 %112 %121 %300)
(fma.f64 %112 %121 %303)
(fma.f64 %112 %121 %306)
(fma.f64 %112 %121 %309)
(fma.f64 %124 %120 %294)
(fma.f64 %124 %120 %297)
(fma.f64 %124 %120 %300)
(fma.f64 %124 %120 %303)
(fma.f64 %124 %120 %306)
(fma.f64 %124 %120 %309)
(fma.f64 %121 %112 %294)
(fma.f64 %121 %112 %297)
(fma.f64 %121 %112 %300)
(fma.f64 %121 %112 %303)
(fma.f64 %121 %112 %306)
(fma.f64 %121 %112 %309)
(fma.f64 #s(literal 1/4 binary64) %118 %294)
(fma.f64 #s(literal 1/4 binary64) %118 %297)
(fma.f64 #s(literal 1/4 binary64) %118 %300)
(fma.f64 #s(literal 1/4 binary64) %118 %303)
(fma.f64 #s(literal 1/4 binary64) %118 %306)
(fma.f64 #s(literal 1/4 binary64) %118 %309)
(fma.f64 %93 %145 %294)
(fma.f64 %93 %145 %297)
(fma.f64 %93 %145 %300)
(fma.f64 %93 %145 %303)
(fma.f64 %93 %145 %306)
(fma.f64 %93 %145 %309)
(fma.f64 %97 %147 %294)
(fma.f64 %97 %147 %297)
(fma.f64 %97 %147 %300)
(fma.f64 %97 %147 %303)
(fma.f64 %97 %147 %306)
(fma.f64 %97 %147 %309)
(fma.f64 %97 %149 %294)
(fma.f64 %97 %149 %297)
(fma.f64 %97 %149 %300)
(fma.f64 %97 %149 %303)
(fma.f64 %97 %149 %306)
(fma.f64 %97 %149 %309)
(fma.f64 %97 %132 %294)
(fma.f64 %97 %132 %297)
(fma.f64 %97 %132 %300)
(fma.f64 %97 %132 %303)
(fma.f64 %97 %132 %306)
(fma.f64 %97 %132 %309)
(fma.f64 #s(literal -1/2 binary64) %152 %294)
(fma.f64 #s(literal -1/2 binary64) %152 %297)
(fma.f64 #s(literal -1/2 binary64) %152 %300)
(fma.f64 #s(literal -1/2 binary64) %152 %303)
(fma.f64 #s(literal -1/2 binary64) %152 %306)
(fma.f64 #s(literal -1/2 binary64) %152 %309)
(fma.f64 %154 %155 %294)
(fma.f64 %154 %155 %297)
(fma.f64 %154 %155 %300)
(fma.f64 %154 %155 %303)
(fma.f64 %154 %155 %306)
(fma.f64 %154 %155 %309)
(fma.f64 %157 #s(literal -1 binary64) %294)
(fma.f64 %157 #s(literal -1 binary64) %297)
(fma.f64 %157 #s(literal -1 binary64) %300)
(fma.f64 %157 #s(literal -1 binary64) %303)
(fma.f64 %157 #s(literal -1 binary64) %306)
(fma.f64 %157 #s(literal -1 binary64) %309)
(fma.f64 %155 %154 %294)
(fma.f64 %155 %154 %297)
(fma.f64 %155 %154 %300)
(fma.f64 %155 %154 %303)
(fma.f64 %155 %154 %306)
(fma.f64 %155 %154 %309)
(fma.f64 #s(literal 1/2 binary64) %103 %294)
(fma.f64 #s(literal 1/2 binary64) %103 %297)
(fma.f64 #s(literal 1/2 binary64) %103 %300)
(fma.f64 #s(literal 1/2 binary64) %103 %303)
(fma.f64 #s(literal 1/2 binary64) %103 %306)
(fma.f64 #s(literal 1/2 binary64) %103 %309)
(fma.f64 %161 %92 %294)
(fma.f64 %161 %92 %297)
(fma.f64 %161 %92 %300)
(fma.f64 %161 %92 %303)
(fma.f64 %161 %92 %306)
(fma.f64 %161 %92 %309)
(fma.f64 %152 #s(literal -1/2 binary64) %294)
(fma.f64 %152 #s(literal -1/2 binary64) %297)
(fma.f64 %152 #s(literal -1/2 binary64) %300)
(fma.f64 %152 #s(literal -1/2 binary64) %303)
(fma.f64 %152 #s(literal -1/2 binary64) %306)
(fma.f64 %152 #s(literal -1/2 binary64) %309)
(fma.f64 #s(literal -1 binary64) %157 %294)
(fma.f64 #s(literal -1 binary64) %157 %297)
(fma.f64 #s(literal -1 binary64) %157 %300)
(fma.f64 #s(literal -1 binary64) %157 %303)
(fma.f64 #s(literal -1 binary64) %157 %306)
(fma.f64 #s(literal -1 binary64) %157 %309)
(fma.f64 %103 #s(literal 1/2 binary64) %294)
(fma.f64 %103 #s(literal 1/2 binary64) %297)
(fma.f64 %103 #s(literal 1/2 binary64) %300)
(fma.f64 %103 #s(literal 1/2 binary64) %303)
(fma.f64 %103 #s(literal 1/2 binary64) %306)
(fma.f64 %103 #s(literal 1/2 binary64) %309)
(fma.f64 %48 x %294)
(fma.f64 %48 x %297)
(fma.f64 %48 x %300)
(fma.f64 %48 x %303)
(fma.f64 %48 x %306)
(fma.f64 %48 x %309)
(fma.f64 %92 %161 %294)
(fma.f64 %92 %161 %297)
(fma.f64 %92 %161 %300)
(fma.f64 %92 %161 %303)
(fma.f64 %92 %161 %306)
(fma.f64 %92 %161 %309)
(fma.f64 #s(literal 1 binary64) %126 %294)
(fma.f64 #s(literal 1 binary64) %126 %297)
(fma.f64 #s(literal 1 binary64) %126 %300)
(fma.f64 #s(literal 1 binary64) %126 %303)
(fma.f64 #s(literal 1 binary64) %126 %306)
(fma.f64 #s(literal 1 binary64) %126 %309)
(fma.f64 %126 #s(literal 1 binary64) %294)
(fma.f64 %126 #s(literal 1 binary64) %297)
(fma.f64 %126 #s(literal 1 binary64) %300)
(fma.f64 %126 #s(literal 1 binary64) %303)
(fma.f64 %126 #s(literal 1 binary64) %306)
(fma.f64 %126 #s(literal 1 binary64) %309)
(fma.f64 #s(literal 2 binary64) %170 %294)
(fma.f64 #s(literal 2 binary64) %170 %297)
(fma.f64 #s(literal 2 binary64) %170 %300)
(fma.f64 #s(literal 2 binary64) %170 %303)
(fma.f64 #s(literal 2 binary64) %170 %306)
(fma.f64 #s(literal 2 binary64) %170 %309)
(fma.f64 #s(literal 2 binary64) %172 %294)
(fma.f64 #s(literal 2 binary64) %172 %297)
(fma.f64 #s(literal 2 binary64) %172 %300)
(fma.f64 #s(literal 2 binary64) %172 %303)
(fma.f64 #s(literal 2 binary64) %172 %306)
(fma.f64 #s(literal 2 binary64) %172 %309)
(fma.f64 #s(literal 2 binary64) %174 %294)
(fma.f64 #s(literal 2 binary64) %174 %297)
(fma.f64 #s(literal 2 binary64) %174 %300)
(fma.f64 #s(literal 2 binary64) %174 %303)
(fma.f64 #s(literal 2 binary64) %174 %306)
(fma.f64 #s(literal 2 binary64) %174 %309)
(fma.f64 #s(literal 2 binary64) %176 %294)
(fma.f64 #s(literal 2 binary64) %176 %297)
(fma.f64 #s(literal 2 binary64) %176 %300)
(fma.f64 #s(literal 2 binary64) %176 %303)
(fma.f64 #s(literal 2 binary64) %176 %306)
(fma.f64 #s(literal 2 binary64) %176 %309)
(fma.f64 #s(literal 2 binary64) %127 %294)
(fma.f64 #s(literal 2 binary64) %127 %297)
(fma.f64 #s(literal 2 binary64) %127 %300)
(fma.f64 #s(literal 2 binary64) %127 %303)
(fma.f64 #s(literal 2 binary64) %127 %306)
(fma.f64 #s(literal 2 binary64) %127 %309)
(fma.f64 x %48 %294)
(fma.f64 x %48 %297)
(fma.f64 x %48 %300)
(fma.f64 x %48 %303)
(fma.f64 x %48 %306)
(fma.f64 x %48 %309)
(+.f64 %575 %575)
(+.f64 %190 %190)
(+.f64 %106 %127)
(+.f64 %127 %127)
(+.f64 %126 %294)
(+.f64 %126 %297)
(+.f64 %126 %300)
(+.f64 %126 %303)
(+.f64 %126 %306)
(+.f64 %126 %309)
reconstruct38.0ms (4.7%)
Counts
463 → 29
Compiler
Compiled 463 to 586 computations (-26.6% saved)
eval2.0ms (0.3%)
Compiler
Compiled 26 to 60 computations (-130.8% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (1 fresh and 0 done)
PrunedKeptTotal
New25126
Fresh000
Picked101
Done000
Total26127
Accuracy
100.0%
Counts
27 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 x (+.f64 y y))
Compiler
Compiled 1 to 4 computations (-300.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01527
Stop Event
1×iter-limit
Counts
4 → 5
Calls
Call 1
Inputs
%2 = (+.f64 y y)
x
y
%2
(/.f64 x %2)
Outputs
%5 = (+ y y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (/ x %5) (*.f64 #s(literal 1/2 binary64) (/.f64 x y)))
(approx y y)
(approx %5 (*.f64 #s(literal 2 binary64) y))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
0
1.0ms
y
-inf
1.0ms
y
inf
rewrite64.0ms (7.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0410
0610
12310
27310
321910
497710
0407410
0440510
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 241
Calls
Call 1
Inputs
%2 = (+.f64 y y)
x
y
%2
(/.f64 x %2)
Outputs
%2 = (neg.f64 y)
%16 = (+.f64 y y)
%17 = (fma.f64 #s(literal 2 binary64) y %16)
%25 = (*.f64 #s(literal -2 binary64) y)
%34 = (/.f64 #s(literal 1/2 binary64) y)
%40 = (+.f64 x x)
%41 = (*.f64 %34 %40)
%43 = (/.f64 #s(literal 2 binary64) y)
%44 = (*.f64 x %43)
%47 = (neg.f64 x)
%48 = (*.f64 %47 %43)
%51 = (/.f64 x y)
%52 = (*.f64 %51 #s(literal -1 binary64))
%54 = (*.f64 %51 #s(literal 1 binary64))
%56 = (/.f64 #s(literal 1 binary64) y)
%57 = (*.f64 %56 x)
%59 = (/.f64 x %16)
%60 = (*.f64 #s(literal 2 binary64) %59)
%62 = (*.f64 %51 #s(literal 2 binary64))
%64 = (*.f64 #s(literal -2 binary64) x)
%65 = (/.f64 #s(literal -1/4 binary64) y)
%67 = (/.f64 %64 y)
%69 = (/.f64 %40 y)
%71 = (/.f64 #s(literal -1 binary64) y)
%72 = (*.f64 #s(literal -1/2 binary64) x)
%74 = (*.f64 #s(literal 2 binary64) %51)
%76 = (/.f64 #s(literal 1/4 binary64) y)
%78 = (/.f64 %47 y)
%81 = (*.f64 #s(literal 1/4 binary64) x)
%83 = (*.f64 #s(literal 1/2 binary64) x)
%91 = (*.f64 %51 #s(literal -1/2 binary64))
%93 = (/.f64 #s(literal -1/2 binary64) y)
%96 = (*.f64 %76 x)
%98 = (*.f64 #s(literal 1/2 binary64) %59)
%121 = (*.f64 #s(literal -2 binary64) %16)
%125 = (*.f64 #s(literal 2 binary64) %16)
%168 = (*.f64 x #s(literal 0 binary64))
%169 = (/.f64 %168 %16)
%171 = (*.f64 #s(literal 0 binary64) x)
%172 = (/.f64 %171 %16)
%174 = (/.f64 %168 %25)
%176 = (/.f64 %171 %25)
%310 = (/.f64 x %125)
%312 = (/.f64 %72 %25)
%314 = (/.f64 %83 %16)
x
y
(*.f64 (*.f64 %2 #s(literal 1/2 binary64)) #s(literal -4 binary64))
(*.f64 (*.f64 y #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 (*.f64 #s(literal 1/2 binary64) y) #s(literal 4 binary64))
(*.f64 #s(literal -1/2 binary64) (*.f64 #s(literal 4 binary64) %2))
(*.f64 #s(literal 1/2 binary64) %17)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) y))
(*.f64 #s(literal -2 binary64) %2)
(*.f64 #s(literal 2 binary64) y)
(*.f64 %2 #s(literal -2 binary64))
(*.f64 %25 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %16)
(*.f64 %16 #s(literal 1 binary64))
(*.f64 y #s(literal 2 binary64))
(pow.f64 %16 #s(literal 1 binary64))
(/.f64 %17 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) %34)
(/.f64 %16 #s(literal 1 binary64))
(/.f64 y #s(literal 1/2 binary64))
(neg.f64 %25)
(-.f64 y %2)
%16
(*.f64 %41 #s(literal 1/2 binary64))
(*.f64 %44 #s(literal 1/4 binary64))
(*.f64 %48 #s(literal -1/4 binary64))
(*.f64 %52 #s(literal -1/2 binary64))
(*.f64 %54 #s(literal 1/2 binary64))
(*.f64 %57 #s(literal 1/2 binary64))
(*.f64 %60 #s(literal 1/2 binary64))
(*.f64 %62 #s(literal 1/4 binary64))
(*.f64 %64 %65)
(*.f64 %67 #s(literal -1/4 binary64))
(*.f64 %69 #s(literal 1/4 binary64))
(*.f64 %71 %72)
(*.f64 %74 #s(literal 1/4 binary64))
(*.f64 %40 %76)
(*.f64 %78 #s(literal -1/2 binary64))
(*.f64 %72 %71)
(*.f64 %43 %81)
(*.f64 %56 %83)
(*.f64 %51 #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) %78)
(*.f64 %83 %56)
(*.f64 #s(literal 1/2 binary64) %57)
(*.f64 #s(literal 1/2 binary64) %60)
(*.f64 #s(literal 1/2 binary64) %51)
(*.f64 %91 #s(literal -1 binary64))
(*.f64 %93 %47)
(*.f64 #s(literal -1 binary64) %91)
(*.f64 #s(literal 2 binary64) %96)
(*.f64 #s(literal 2 binary64) %98)
(*.f64 %34 x)
(*.f64 %47 %93)
(*.f64 #s(literal 1 binary64) %59)
(*.f64 %59 #s(literal 1 binary64))
(*.f64 x %34)
(pow.f64 %59 #s(literal 1 binary64))
(/.f64 (neg.f64 %57) #s(literal -2 binary64))
(/.f64 (neg.f64 %60) #s(literal -2 binary64))
(/.f64 (neg.f64 %74) #s(literal -4 binary64))
(/.f64 %41 #s(literal 2 binary64))
(/.f64 %44 #s(literal 4 binary64))
(/.f64 %52 #s(literal -2 binary64))
(/.f64 %54 #s(literal 2 binary64))
(/.f64 %57 #s(literal 2 binary64))
(/.f64 %60 #s(literal 2 binary64))
(/.f64 %62 #s(literal 4 binary64))
(/.f64 (/.f64 %51 #s(literal -1/2 binary64)) #s(literal -4 binary64))
(/.f64 %64 %121)
(/.f64 %69 #s(literal 4 binary64))
(/.f64 %74 #s(literal 4 binary64))
(/.f64 %40 %125)
(/.f64 %78 #s(literal -2 binary64))
(/.f64 %72 %2)
(/.f64 %51 #s(literal 2 binary64))
(/.f64 %83 y)
(/.f64 %91 #s(literal -1 binary64))
(/.f64 %47 %25)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %52))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %54))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %57))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %60))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %62))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %74))
(/.f64 #s(literal 1 binary64) (/.f64 %121 %64))
(/.f64 #s(literal 1 binary64) (/.f64 %125 %40))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %78))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %59))
(/.f64 #s(literal 1 binary64) (/.f64 %2 %72))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %59 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 y %83))
(/.f64 #s(literal 1 binary64) (/.f64 %25 %47))
(/.f64 #s(literal 1 binary64) (/.f64 %16 x))
(/.f64 %59 #s(literal 1 binary64))
%59
(neg.f64 %91)
(fma.f64 %41 #s(literal 1/2 binary64) %169)
(fma.f64 %41 #s(literal 1/2 binary64) %172)
(fma.f64 %41 #s(literal 1/2 binary64) %174)
(fma.f64 %41 #s(literal 1/2 binary64) %176)
(fma.f64 %44 #s(literal 1/4 binary64) %169)
(fma.f64 %44 #s(literal 1/4 binary64) %172)
(fma.f64 %44 #s(literal 1/4 binary64) %174)
(fma.f64 %44 #s(literal 1/4 binary64) %176)
(fma.f64 %48 #s(literal -1/4 binary64) %169)
(fma.f64 %48 #s(literal -1/4 binary64) %172)
(fma.f64 %48 #s(literal -1/4 binary64) %174)
(fma.f64 %48 #s(literal -1/4 binary64) %176)
(fma.f64 %52 #s(literal -1/2 binary64) %169)
(fma.f64 %52 #s(literal -1/2 binary64) %172)
(fma.f64 %52 #s(literal -1/2 binary64) %174)
(fma.f64 %52 #s(literal -1/2 binary64) %176)
(fma.f64 %54 #s(literal 1/2 binary64) %169)
(fma.f64 %54 #s(literal 1/2 binary64) %172)
(fma.f64 %54 #s(literal 1/2 binary64) %174)
(fma.f64 %54 #s(literal 1/2 binary64) %176)
(fma.f64 %57 #s(literal 1/2 binary64) %169)
(fma.f64 %57 #s(literal 1/2 binary64) %172)
(fma.f64 %57 #s(literal 1/2 binary64) %174)
(fma.f64 %57 #s(literal 1/2 binary64) %176)
(fma.f64 %60 #s(literal 1/2 binary64) %169)
(fma.f64 %60 #s(literal 1/2 binary64) %172)
(fma.f64 %60 #s(literal 1/2 binary64) %174)
(fma.f64 %60 #s(literal 1/2 binary64) %176)
(fma.f64 %62 #s(literal 1/4 binary64) %169)
(fma.f64 %62 #s(literal 1/4 binary64) %172)
(fma.f64 %62 #s(literal 1/4 binary64) %174)
(fma.f64 %62 #s(literal 1/4 binary64) %176)
(fma.f64 %64 %65 %169)
(fma.f64 %64 %65 %172)
(fma.f64 %64 %65 %174)
(fma.f64 %64 %65 %176)
(fma.f64 %67 #s(literal -1/4 binary64) %169)
(fma.f64 %67 #s(literal -1/4 binary64) %172)
(fma.f64 %67 #s(literal -1/4 binary64) %174)
(fma.f64 %67 #s(literal -1/4 binary64) %176)
(fma.f64 %69 #s(literal 1/4 binary64) %169)
(fma.f64 %69 #s(literal 1/4 binary64) %172)
(fma.f64 %69 #s(literal 1/4 binary64) %174)
(fma.f64 %69 #s(literal 1/4 binary64) %176)
(fma.f64 %71 %72 %169)
(fma.f64 %71 %72 %172)
(fma.f64 %71 %72 %174)
(fma.f64 %71 %72 %176)
(fma.f64 %74 #s(literal 1/4 binary64) %169)
(fma.f64 %74 #s(literal 1/4 binary64) %172)
(fma.f64 %74 #s(literal 1/4 binary64) %174)
(fma.f64 %74 #s(literal 1/4 binary64) %176)
(fma.f64 %40 %76 %169)
(fma.f64 %40 %76 %172)
(fma.f64 %40 %76 %174)
(fma.f64 %40 %76 %176)
(fma.f64 %78 #s(literal -1/2 binary64) %169)
(fma.f64 %78 #s(literal -1/2 binary64) %172)
(fma.f64 %78 #s(literal -1/2 binary64) %174)
(fma.f64 %78 #s(literal -1/2 binary64) %176)
(fma.f64 %72 %71 %169)
(fma.f64 %72 %71 %172)
(fma.f64 %72 %71 %174)
(fma.f64 %72 %71 %176)
(fma.f64 %43 %81 %169)
(fma.f64 %43 %81 %172)
(fma.f64 %43 %81 %174)
(fma.f64 %43 %81 %176)
(fma.f64 %56 %83 %169)
(fma.f64 %56 %83 %172)
(fma.f64 %56 %83 %174)
(fma.f64 %56 %83 %176)
(fma.f64 %51 #s(literal 1/2 binary64) %169)
(fma.f64 %51 #s(literal 1/2 binary64) %172)
(fma.f64 %51 #s(literal 1/2 binary64) %174)
(fma.f64 %51 #s(literal 1/2 binary64) %176)
(fma.f64 #s(literal -1/2 binary64) %78 %169)
(fma.f64 #s(literal -1/2 binary64) %78 %172)
(fma.f64 #s(literal -1/2 binary64) %78 %174)
(fma.f64 #s(literal -1/2 binary64) %78 %176)
(fma.f64 %83 %56 %169)
(fma.f64 %83 %56 %172)
(fma.f64 %83 %56 %174)
(fma.f64 %83 %56 %176)
(fma.f64 #s(literal 1/2 binary64) %57 %169)
(fma.f64 #s(literal 1/2 binary64) %57 %172)
(fma.f64 #s(literal 1/2 binary64) %57 %174)
(fma.f64 #s(literal 1/2 binary64) %57 %176)
(fma.f64 #s(literal 1/2 binary64) %60 %169)
(fma.f64 #s(literal 1/2 binary64) %60 %172)
(fma.f64 #s(literal 1/2 binary64) %60 %174)
(fma.f64 #s(literal 1/2 binary64) %60 %176)
(fma.f64 #s(literal 1/2 binary64) %51 %169)
(fma.f64 #s(literal 1/2 binary64) %51 %172)
(fma.f64 #s(literal 1/2 binary64) %51 %174)
(fma.f64 #s(literal 1/2 binary64) %51 %176)
(fma.f64 %91 #s(literal -1 binary64) %169)
(fma.f64 %91 #s(literal -1 binary64) %172)
(fma.f64 %91 #s(literal -1 binary64) %174)
(fma.f64 %91 #s(literal -1 binary64) %176)
(fma.f64 %93 %47 %169)
(fma.f64 %93 %47 %172)
(fma.f64 %93 %47 %174)
(fma.f64 %93 %47 %176)
(fma.f64 #s(literal -1 binary64) %91 %169)
(fma.f64 #s(literal -1 binary64) %91 %172)
(fma.f64 #s(literal -1 binary64) %91 %174)
(fma.f64 #s(literal -1 binary64) %91 %176)
(fma.f64 #s(literal 2 binary64) %96 %169)
(fma.f64 #s(literal 2 binary64) %96 %172)
(fma.f64 #s(literal 2 binary64) %96 %174)
(fma.f64 #s(literal 2 binary64) %96 %176)
(fma.f64 #s(literal 2 binary64) %98 %169)
(fma.f64 #s(literal 2 binary64) %98 %172)
(fma.f64 #s(literal 2 binary64) %98 %174)
(fma.f64 #s(literal 2 binary64) %98 %176)
(fma.f64 %34 x %169)
(fma.f64 %34 x %172)
(fma.f64 %34 x %174)
(fma.f64 %34 x %176)
(fma.f64 %47 %93 %169)
(fma.f64 %47 %93 %172)
(fma.f64 %47 %93 %174)
(fma.f64 %47 %93 %176)
(fma.f64 #s(literal 1 binary64) %59 %169)
(fma.f64 #s(literal 1 binary64) %59 %172)
(fma.f64 #s(literal 1 binary64) %59 %174)
(fma.f64 #s(literal 1 binary64) %59 %176)
(fma.f64 %59 #s(literal 1 binary64) %169)
(fma.f64 %59 #s(literal 1 binary64) %172)
(fma.f64 %59 #s(literal 1 binary64) %174)
(fma.f64 %59 #s(literal 1 binary64) %176)
(fma.f64 x %34 %169)
(fma.f64 x %34 %172)
(fma.f64 x %34 %174)
(fma.f64 x %34 %176)
(+.f64 %310 %310)
(+.f64 %312 %312)
(+.f64 %314 %314)
(+.f64 %59 %169)
(+.f64 %59 %172)
(+.f64 %59 %174)
(+.f64 %59 %176)
reconstruct21.0ms (2.6%)
Counts
246 → 22
Compiler
Compiled 246 to 320 computations (-30.1% saved)
eval2.0ms (0.2%)
Compiler
Compiled 19 to 52 computations (-173.7% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (0 fresh and 1 done)
PrunedKeptTotal
New19019
Fresh000
Picked011
Done000
Total19120
Accuracy
100.0%
Counts
20 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 x (+.f64 y y))
Compiler
Compiled 1 to 4 computations (-300.0% saved)
regimes7.0ms (0.8%)
Accuracy
Total 0.0b remaining (0%)
Threshold costs 0.0b (0%)
Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 x (+.f64 y y))
Outputs
(/.f64 x (+.f64 y y))
Calls
4 calls:
2.0ms
(*.f64 y #s(literal 2 binary64))
2.0ms
y
2.0ms
x
1.0ms
(/.f64 x (*.f64 y #s(literal 2 binary64)))
Results
AccuracySegmentsBranch
100.0%1
y
100.0%1
x
100.0%1
(/.f64 x (*.f64 y #s(literal 2 binary64)))
100.0%1
(*.f64 y #s(literal 2 binary64))
Compiler
Compiled 6 to 12 computations (-100.0% saved)
bsearch0.0ms (0.0%)
derivations25.0ms (3.1%)
Stop Event
1×done
Compiler
Compiled 1 to 4 computations (-300.0% saved)
preprocess6.0ms (0.7%)
Compiler
Compiled 6 to 25 computations (-316.7% saved)
end0.0ms (0.0%)
gc246ms (30.4%)
Allocations
AllocatedPercentPhase
261.1 MiB54.9%sample
111.2 MiB23.4%rewrite
48.0 MiB10.1%reconstruct
18.3 MiB3.8%series
16.7 MiB3.5%preprocess
7.4 MiB1.5%analyze
6.1 MiB1.3%regimes
3.8 MiB0.8%eval
2.0 MiB0.4%prune
1.0 MiB0.2%start
0.4 MiB0.1%derivations
0.0 MiB0.0%bsearch
0.0 MiB0.0%end
476.0 MiB100.0%total
Profiling
Loading profile data...