Data.Colour.RGB:hslsv from colour-2.3.3, A

Time bar (total: 661.0ms)

start0.0ms (0.0%)

analyze5.0ms (0.8%)

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 7 to 7 computations (0.0% saved)

sample200.0ms (30.3%)

Samples
172.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 6.0ms
Div: 3.0ms (50.3% of total, 0.0 MiB)
Add: 3.0ms (50.3% of total, 0.0 MiB)
Bogosity

preprocess24.0ms (3.6%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01532
17830
225530
390930
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 (+.f64 x y) #s(literal 2 binary64))
Symmetry

(sort x y)

Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series10.0ms (1.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
056164
Stop Event
1×iter-limit
Counts
5 → 15
Calls
Call 1
Inputs
%2 = (+.f64 x y)
x
y
%2
#s(literal 2 binary64)
(/.f64 %2 #s(literal 2 binary64))
Outputs
%5 = (+ x y)
%10 = (/ %5 2)
%12 = (*.f64 #s(literal 1/2 binary64) y)
%17 = (/.f64 y x)
%39 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %10 %12)
(approx %10 (fma.f64 #s(literal 1/2 binary64) x %12))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %17)))
(approx %10 (*.f64 #s(literal 1/2 binary64) x))
(approx %10 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %17))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %17) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/2 binary64) %17) #s(literal 1/2 binary64)))))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) %39)))
(approx %10 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %39))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %39) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1/2 binary64) %39) #s(literal 1/2 binary64)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
x
0
rewrite73.0ms (11.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
13011
210111
339711
4280911
0411011
0427911
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 344
Calls
Call 1
Inputs
%2 = (+.f64 x y)
x
y
%2
#s(literal 2 binary64)
(/.f64 %2 #s(literal 2 binary64))
Outputs
%3 = (+.f64 x y)
%4 = (*.f64 #s(literal 2 binary64) %3)
%6 = (*.f64 %4 #s(literal -1 binary64))
%9 = (*.f64 %4 #s(literal 2 binary64))
%15 = (/.f64 %3 #s(literal 4 binary64))
%17 = (/.f64 %3 #s(literal 1/2 binary64))
%20 = (neg.f64 %3)
%24 = (*.f64 #s(literal 1/2 binary64) %3)
%32 = (*.f64 %3 #s(literal -2 binary64))
%33 = (/.f64 %32 #s(literal -1/2 binary64))
%37 = (/.f64 %32 #s(literal -1 binary64))
%43 = (*.f64 %20 #s(literal 2 binary64))
%46 = (*.f64 #s(literal -2 binary64) %3)
%48 = (*.f64 #s(literal -1/2 binary64) %3)
%60 = (*.f64 %3 #s(literal 0 binary64))
%62 = (*.f64 #s(literal 0 binary64) %3)
%64 = (*.f64 #s(literal -1/2 binary64) x)
%65 = (/.f64 %64 #s(literal 2 binary64))
%66 = (fma.f64 x #s(literal 1/2 binary64) y)
%68 = (*.f64 x #s(literal 1/2 binary64))
%69 = (neg.f64 y)
%70 = (-.f64 %68 %69)
%72 = (/.f64 %48 #s(literal 2 binary64))
%74 = (*.f64 %68 #s(literal 1/2 binary64))
%77 = (*.f64 %24 #s(literal 1/2 binary64))
%79 = (/.f64 %64 #s(literal -4 binary64))
%82 = (/.f64 x #s(literal -1/2 binary64))
%86 = (/.f64 x #s(literal 1/2 binary64))
%92 = (/.f64 %48 #s(literal -2 binary64))
%95 = (/.f64 %3 #s(literal -1/2 binary64))
%98 = (/.f64 %64 #s(literal -2 binary64))
%101 = (/.f64 x #s(literal 4 binary64))
%112 = (neg.f64 x)
%117 = (*.f64 x #s(literal -2 binary64))
%134 = (+.f64 x x)
%160 = (*.f64 #s(literal 1/4 binary64) x)
%163 = (*.f64 #s(literal -1/4 binary64) %20)
%165 = (*.f64 %3 #s(literal 1/4 binary64))
%167 = (*.f64 #s(literal 1/4 binary64) %3)
%171 = (*.f64 #s(literal 1/2 binary64) %68)
%174 = (*.f64 #s(literal 1/2 binary64) %24)
%227 = (*.f64 #s(literal -1/2 binary64) y)
%228 = (/.f64 %227 #s(literal -2 binary64))
%229 = (/.f64 x #s(literal -4 binary64))
%232 = (/.f64 y #s(literal 4 binary64))
%235 = (/.f64 y #s(literal 1/2 binary64))
%238 = (+.f64 y y)
%244 = (*.f64 #s(literal -2 binary64) y)
%250 = (/.f64 y #s(literal -4 binary64))
%255 = (/.f64 %227 #s(literal 2 binary64))
%260 = (/.f64 y #s(literal -1/2 binary64))
%266 = (fma.f64 %134 #s(literal 4 binary64) (*.f64 %238 #s(literal 4 binary64)))
%277 = (fma.f64 %134 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %238))
%281 = (-.f64 %112 (*.f64 #s(literal -2 binary64) %227))
%285 = (-.f64 x (*.f64 #s(literal 2 binary64) %227))
%288 = (*.f64 #s(literal -2 binary64) %46)
%292 = (*.f64 #s(literal -2 binary64) %4)
%296 = (*.f64 #s(literal 2 binary64) %46)
%299 = (*.f64 #s(literal 2 binary64) %4)
%302 = (*.f64 %46 #s(literal -2 binary64))
%305 = (*.f64 %46 #s(literal 1 binary64))
%308 = (*.f64 %46 #s(literal 2 binary64))
%311 = (*.f64 %4 #s(literal -2 binary64))
%316 = (*.f64 %24 #s(literal -2 binary64))
%319 = (*.f64 %20 #s(literal -2 binary64))
%364 = (*.f64 #s(literal 1/2 binary64) y)
%368 = (*.f64 %24 #s(literal 0 binary64))
%370 = (*.f64 #s(literal 0 binary64) %24)
x
y
(*.f64 %6 #s(literal -1/2 binary64))
(*.f64 %9 #s(literal 1/4 binary64))
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %15)
(*.f64 #s(literal 1/2 binary64) %17)
(*.f64 #s(literal 1/2 binary64) %4)
(*.f64 %20 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %24 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %24)
(*.f64 %3 #s(literal 1 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (neg.f64 %6) #s(literal 2 binary64))
(/.f64 (neg.f64 %33) #s(literal -4 binary64))
(/.f64 (neg.f64 %37) #s(literal -2 binary64))
(/.f64 %6 #s(literal -2 binary64))
(/.f64 %33 #s(literal 4 binary64))
(/.f64 %37 #s(literal 2 binary64))
(/.f64 %43 #s(literal -2 binary64))
(/.f64 %32 #s(literal -2 binary64))
(/.f64 %46 #s(literal -2 binary64))
(/.f64 %48 #s(literal -1/2 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 %20 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 %24 #s(literal 1/2 binary64))
(/.f64 %3 #s(literal 1 binary64))
(neg.f64 %20)
(fma.f64 %6 #s(literal -1/2 binary64) %60)
(fma.f64 %6 #s(literal -1/2 binary64) %62)
(fma.f64 %65 #s(literal -2 binary64) %66)
(fma.f64 %65 #s(literal -2 binary64) %70)
(fma.f64 %72 #s(literal -2 binary64) %24)
(fma.f64 %74 #s(literal 2 binary64) %66)
(fma.f64 %74 #s(literal 2 binary64) %70)
(fma.f64 %77 #s(literal 2 binary64) %24)
(fma.f64 %79 #s(literal 4 binary64) %66)
(fma.f64 %79 #s(literal 4 binary64) %70)
(fma.f64 %82 #s(literal -1/4 binary64) %66)
(fma.f64 %82 #s(literal -1/4 binary64) %70)
(fma.f64 %86 #s(literal 1/4 binary64) %66)
(fma.f64 %86 #s(literal 1/4 binary64) %70)
(fma.f64 %33 #s(literal 1/8 binary64) %24)
(fma.f64 %37 #s(literal 1/4 binary64) %24)
(fma.f64 %92 #s(literal 2 binary64) %24)
(fma.f64 %15 #s(literal 2 binary64) %24)
(fma.f64 %95 #s(literal -1/4 binary64) %24)
(fma.f64 %17 #s(literal 1/4 binary64) %24)
(fma.f64 %98 #s(literal 2 binary64) %66)
(fma.f64 %98 #s(literal 2 binary64) %70)
(fma.f64 %101 #s(literal 2 binary64) %66)
(fma.f64 %101 #s(literal 2 binary64) %70)
(fma.f64 %9 #s(literal 1/4 binary64) %60)
(fma.f64 %9 #s(literal 1/4 binary64) %62)
(fma.f64 %43 #s(literal -1/4 binary64) %24)
(fma.f64 #s(literal -1/4 binary64) %95 %24)
(fma.f64 #s(literal 1/4 binary64) %86 %66)
(fma.f64 #s(literal 1/4 binary64) %86 %70)
(fma.f64 #s(literal 1/4 binary64) %17 %24)
(fma.f64 #s(literal 1/4 binary64) %4 %24)
(fma.f64 %112 #s(literal -1/2 binary64) %66)
(fma.f64 %112 #s(literal -1/2 binary64) %70)
(fma.f64 %64 #s(literal -1 binary64) %66)
(fma.f64 %64 #s(literal -1 binary64) %70)
(fma.f64 %117 #s(literal -1/4 binary64) %66)
(fma.f64 %117 #s(literal -1/4 binary64) %70)
(fma.f64 %46 #s(literal -1/4 binary64) %24)
(fma.f64 %48 #s(literal -1 binary64) %24)
(fma.f64 #s(literal -1/2 binary64) %112 %66)
(fma.f64 #s(literal -1/2 binary64) %112 %70)
(fma.f64 #s(literal -1/2 binary64) %20 %24)
(fma.f64 x #s(literal 1/2 binary64) %66)
(fma.f64 x #s(literal 1/2 binary64) %70)
(fma.f64 %4 #s(literal 1/4 binary64) %24)
(fma.f64 %4 #s(literal 1/2 binary64) %60)
(fma.f64 %4 #s(literal 1/2 binary64) %62)
(fma.f64 #s(literal 4 binary64) %79 %66)
(fma.f64 #s(literal 4 binary64) %79 %70)
(fma.f64 #s(literal 4 binary64) %15 %60)
(fma.f64 #s(literal 4 binary64) %15 %62)
(fma.f64 %134 #s(literal 1/4 binary64) %66)
(fma.f64 %134 #s(literal 1/4 binary64) %70)
(fma.f64 #s(literal -1 binary64) %64 %66)
(fma.f64 #s(literal -1 binary64) %64 %70)
(fma.f64 #s(literal -1 binary64) %48 %24)
(fma.f64 #s(literal 1/2 binary64) %17 %60)
(fma.f64 #s(literal 1/2 binary64) %17 %62)
(fma.f64 #s(literal 1/2 binary64) x %66)
(fma.f64 #s(literal 1/2 binary64) x %70)
(fma.f64 #s(literal 1/2 binary64) %4 %60)
(fma.f64 #s(literal 1/2 binary64) %4 %62)
(fma.f64 #s(literal 1/2 binary64) %3 %24)
(fma.f64 %68 #s(literal 1 binary64) %66)
(fma.f64 %68 #s(literal 1 binary64) %70)
(fma.f64 %20 #s(literal -1/2 binary64) %24)
(fma.f64 %20 #s(literal -1 binary64) %60)
(fma.f64 %20 #s(literal -1 binary64) %62)
(fma.f64 #s(literal 1 binary64) %68 %66)
(fma.f64 #s(literal 1 binary64) %68 %70)
(fma.f64 #s(literal 1 binary64) %24 %24)
(fma.f64 #s(literal 1 binary64) %3 %60)
(fma.f64 #s(literal 1 binary64) %3 %62)
(fma.f64 %24 #s(literal 1 binary64) %24)
(fma.f64 %24 #s(literal 2 binary64) %60)
(fma.f64 %24 #s(literal 2 binary64) %62)
(fma.f64 #s(literal 2 binary64) %160 %66)
(fma.f64 #s(literal 2 binary64) %160 %70)
(fma.f64 #s(literal 2 binary64) %163 %24)
(fma.f64 #s(literal 2 binary64) %165 %24)
(fma.f64 #s(literal 2 binary64) %167 %24)
(fma.f64 #s(literal 2 binary64) %74 %66)
(fma.f64 #s(literal 2 binary64) %74 %70)
(fma.f64 #s(literal 2 binary64) %171 %66)
(fma.f64 #s(literal 2 binary64) %171 %70)
(fma.f64 #s(literal 2 binary64) %174 %24)
(fma.f64 #s(literal 2 binary64) %92 %24)
(fma.f64 #s(literal 2 binary64) %15 %24)
(fma.f64 #s(literal 2 binary64) %98 %66)
(fma.f64 #s(literal 2 binary64) %98 %70)
(fma.f64 #s(literal 2 binary64) %101 %66)
(fma.f64 #s(literal 2 binary64) %101 %70)
(fma.f64 #s(literal 2 binary64) %24 %60)
(fma.f64 #s(literal 2 binary64) %24 %62)
(fma.f64 %3 #s(literal 1/2 binary64) %24)
(fma.f64 %3 #s(literal 1 binary64) %60)
(fma.f64 %3 #s(literal 1 binary64) %62)
(-.f64 x %69)
(-.f64 y (*.f64 %64 #s(literal 2 binary64)))
(-.f64 y %112)
(+.f64 (+.f64 y %68) %68)
%3
(+.f64 %68 %66)
(+.f64 %68 %70)
(+.f64 %24 %24)
(+.f64 %3 %60)
(+.f64 %3 %62)
(+.f64 y x)
#s(literal 2 binary64)
(*.f64 %72 #s(literal -2 binary64))
(*.f64 %77 #s(literal 2 binary64))
(*.f64 %33 #s(literal 1/8 binary64))
(*.f64 %37 #s(literal 1/4 binary64))
(*.f64 %92 #s(literal 2 binary64))
(*.f64 %15 #s(literal 2 binary64))
(*.f64 %95 #s(literal -1/4 binary64))
(*.f64 %17 #s(literal 1/4 binary64))
(*.f64 %43 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %95)
(*.f64 #s(literal 1/4 binary64) %17)
(*.f64 #s(literal 1/4 binary64) %4)
(*.f64 %46 #s(literal -1/4 binary64))
(*.f64 %48 #s(literal -1 binary64))
(*.f64 #s(literal -1/2 binary64) %20)
(*.f64 %4 #s(literal 1/4 binary64))
(*.f64 #s(literal -1 binary64) %48)
%24
(*.f64 %20 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %24)
(*.f64 %24 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %163)
(*.f64 #s(literal 2 binary64) %165)
(*.f64 #s(literal 2 binary64) %167)
(*.f64 #s(literal 2 binary64) %174)
(*.f64 #s(literal 2 binary64) %92)
(*.f64 #s(literal 2 binary64) %15)
(*.f64 %3 #s(literal 1/2 binary64))
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 (-.f64 %228 %229) #s(literal 1/2 binary64))
(/.f64 (-.f64 %232 %229) #s(literal 1/2 binary64))
(/.f64 (-.f64 %235 %82) #s(literal 4 binary64))
(/.f64 (-.f64 %238 %82) #s(literal 4 binary64))
(/.f64 (-.f64 (/.f64 %227 #s(literal -1/2 binary64)) %112) #s(literal 2 binary64))
(/.f64 (-.f64 %86 %244) #s(literal 4 binary64))
(/.f64 (-.f64 x (/.f64 %227 #s(literal 1/2 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 %98 %250) #s(literal 1/2 binary64))
(/.f64 (-.f64 %101 %250) #s(literal 1/2 binary64))
(/.f64 (-.f64 %98 %255) #s(literal 1/2 binary64))
(/.f64 (-.f64 %101 %255) #s(literal 1/2 binary64))
(/.f64 (-.f64 %86 %260) #s(literal 4 binary64))
(/.f64 (-.f64 %134 %260) #s(literal 4 binary64))
(/.f64 (neg.f64 %266) #s(literal -16 binary64))
(/.f64 (neg.f64 %92) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %15) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %17) #s(literal -4 binary64))
(/.f64 (neg.f64 %277) #s(literal -16 binary64))
(/.f64 (neg.f64 %281) #s(literal 2 binary64))
(/.f64 (neg.f64 %285) #s(literal -2 binary64))
(/.f64 (neg.f64 %288) #s(literal -8 binary64))
(/.f64 (neg.f64 %292) #s(literal 8 binary64))
(/.f64 (neg.f64 %296) #s(literal 8 binary64))
(/.f64 (neg.f64 %299) #s(literal -8 binary64))
(/.f64 (neg.f64 %302) #s(literal -8 binary64))
(/.f64 (neg.f64 %305) #s(literal 4 binary64))
(/.f64 (neg.f64 %308) #s(literal 8 binary64))
(/.f64 (neg.f64 %311) #s(literal 8 binary64))
(/.f64 (neg.f64 %9) #s(literal -8 binary64))
(/.f64 (neg.f64 %316) #s(literal 2 binary64))
(/.f64 (neg.f64 %319) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %20) #s(literal 2 binary64))
(/.f64 %266 #s(literal 16 binary64))
(/.f64 %92 #s(literal 1/2 binary64))
(/.f64 %15 #s(literal 1/2 binary64))
(/.f64 %17 #s(literal 4 binary64))
(/.f64 %277 #s(literal 16 binary64))
(/.f64 %281 #s(literal -2 binary64))
(/.f64 %285 #s(literal 2 binary64))
(/.f64 %288 #s(literal 8 binary64))
(/.f64 %292 #s(literal -8 binary64))
(/.f64 %296 #s(literal -8 binary64))
(/.f64 %299 #s(literal 8 binary64))
(/.f64 %302 #s(literal 8 binary64))
(/.f64 %305 #s(literal -4 binary64))
(/.f64 %308 #s(literal -8 binary64))
(/.f64 %311 #s(literal -8 binary64))
(/.f64 %9 #s(literal 8 binary64))
(/.f64 %319 #s(literal 4 binary64))
(/.f64 %43 #s(literal -4 binary64))
(/.f64 %316 #s(literal -2 binary64))
(/.f64 %32 #s(literal -4 binary64))
(/.f64 %46 #s(literal -4 binary64))
(/.f64 %48 #s(literal -1 binary64))
(/.f64 %4 #s(literal 4 binary64))
(/.f64 %20 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %46))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %24))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %4))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %20))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %3))
(/.f64 %24 #s(literal 1 binary64))
(/.f64 %3 #s(literal 2 binary64))
(neg.f64 %48)
(fma.f64 %65 #s(literal -2 binary64) %364)
(fma.f64 %255 #s(literal -2 binary64) %68)
(fma.f64 %228 #s(literal 2 binary64) %68)
(fma.f64 %72 #s(literal -2 binary64) %368)
(fma.f64 %72 #s(literal -2 binary64) %370)
(fma.f64 %74 #s(literal 2 binary64) %364)
(fma.f64 %77 #s(literal 2 binary64) %368)
(fma.f64 %77 #s(literal 2 binary64) %370)
(fma.f64 %79 #s(literal 4 binary64) %364)
(fma.f64 %82 #s(literal -1/4 binary64) %364)
(fma.f64 %86 #s(literal 1/4 binary64) %364)
(fma.f64 %33 #s(literal 1/8 binary64) %368)
(fma.f64 %33 #s(literal 1/8 binary64) %370)
(fma.f64 %37 #s(literal 1/4 binary64) %368)
(fma.f64 %37 #s(literal 1/4 binary64) %370)
(fma.f64 %92 #s(literal 2 binary64) %368)
(fma.f64 %92 #s(literal 2 binary64) %370)
(fma.f64 %260 #s(literal -1/4 binary64) %68)
(fma.f64 %235 #s(literal 1/4 binary64) %68)
(fma.f64 %15 #s(literal 2 binary64) %368)
(fma.f64 %15 #s(literal 2 binary64) %370)
(fma.f64 %95 #s(literal -1/4 binary64) %368)
(fma.f64 %95 #s(literal -1/4 binary64) %370)
(fma.f64 %17 #s(literal 1/4 binary64) %368)
(fma.f64 %17 #s(literal 1/4 binary64) %370)
(fma.f64 %98 #s(literal 2 binary64) %364)
(fma.f64 %101 #s(literal 2 binary64) %364)
(fma.f64 %232 #s(literal 2 binary64) %68)
(fma.f64 %43 #s(literal -1/4 binary64) %368)
(fma.f64 %43 #s(literal -1/4 binary64) %370)
(fma.f64 %69 #s(literal -1/2 binary64) %68)
(fma.f64 #s(literal -1/4 binary64) %95 %368)
(fma.f64 #s(literal -1/4 binary64) %95 %370)
(fma.f64 #s(literal 1/4 binary64) %86 %364)
(fma.f64 #s(literal 1/4 binary64) %235 %68)
(fma.f64 #s(literal 1/4 binary64) %17 %368)
(fma.f64 #s(literal 1/4 binary64) %17 %370)
(fma.f64 #s(literal 1/4 binary64) %4 %368)
(fma.f64 #s(literal 1/4 binary64) %4 %370)
(fma.f64 %112 #s(literal -1/2 binary64) %364)
(fma.f64 %64 #s(literal -1 binary64) %364)
(fma.f64 %117 #s(literal -1/4 binary64) %364)
(fma.f64 %244 #s(literal -1/4 binary64) %68)
(fma.f64 %46 #s(literal -1/4 binary64) %368)
(fma.f64 %46 #s(literal -1/4 binary64) %370)
(fma.f64 %48 #s(literal -1 binary64) %368)
(fma.f64 %48 #s(literal -1 binary64) %370)
(fma.f64 #s(literal -1/2 binary64) %69 %68)
(fma.f64 #s(literal -1/2 binary64) %112 %364)
(fma.f64 #s(literal -1/2 binary64) %20 %368)
(fma.f64 #s(literal -1/2 binary64) %20 %370)
(fma.f64 x #s(literal 1/2 binary64) %364)
(fma.f64 %4 #s(literal 1/4 binary64) %368)
(fma.f64 %4 #s(literal 1/4 binary64) %370)
(fma.f64 %238 #s(literal 1/4 binary64) %68)
(fma.f64 %227 #s(literal -1 binary64) %68)
(fma.f64 #s(literal 4 binary64) %79 %364)
(fma.f64 %134 #s(literal 1/4 binary64) %364)
(fma.f64 #s(literal -1 binary64) %64 %364)
(fma.f64 #s(literal -1 binary64) %48 %368)
(fma.f64 #s(literal -1 binary64) %48 %370)
(fma.f64 #s(literal -1 binary64) %227 %68)
(fma.f64 #s(literal 1/2 binary64) x %364)
(fma.f64 #s(literal 1/2 binary64) %24 %174)
(fma.f64 #s(literal 1/2 binary64) %3 %368)
(fma.f64 #s(literal 1/2 binary64) %3 %370)
(fma.f64 #s(literal 1/2 binary64) y %68)
(fma.f64 %364 #s(literal 1 binary64) %68)
(fma.f64 %68 #s(literal 1 binary64) %364)
(fma.f64 %20 #s(literal -1/2 binary64) %368)
(fma.f64 %20 #s(literal -1/2 binary64) %370)
(fma.f64 #s(literal 1 binary64) %364 %68)
(fma.f64 #s(literal 1 binary64) %68 %364)
(fma.f64 #s(literal 1 binary64) %24 %368)
(fma.f64 #s(literal 1 binary64) %24 %370)
(fma.f64 %24 #s(literal 1/2 binary64) %77)
(fma.f64 %24 #s(literal 1 binary64) %368)
(fma.f64 %24 #s(literal 1 binary64) %370)
(fma.f64 #s(literal 2 binary64) %160 %364)
(fma.f64 #s(literal 2 binary64) %163 %368)
(fma.f64 #s(literal 2 binary64) %163 %370)
(fma.f64 #s(literal 2 binary64) %165 %368)
(fma.f64 #s(literal 2 binary64) %165 %370)
(fma.f64 #s(literal 2 binary64) %167 %368)
(fma.f64 #s(literal 2 binary64) %167 %370)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) y) %68)
(fma.f64 #s(literal 2 binary64) %74 %364)
(fma.f64 #s(literal 2 binary64) %171 %364)
(fma.f64 #s(literal 2 binary64) %174 %368)
(fma.f64 #s(literal 2 binary64) %174 %370)
(fma.f64 #s(literal 2 binary64) %92 %368)
(fma.f64 #s(literal 2 binary64) %92 %370)
(fma.f64 #s(literal 2 binary64) %15 %368)
(fma.f64 #s(literal 2 binary64) %15 %370)
(fma.f64 #s(literal 2 binary64) %98 %364)
(fma.f64 #s(literal 2 binary64) %101 %364)
(fma.f64 #s(literal 2 binary64) %232 %68)
(fma.f64 %3 #s(literal 1/2 binary64) %368)
(fma.f64 %3 #s(literal 1/2 binary64) %370)
(fma.f64 y #s(literal 1/2 binary64) %68)
(-.f64 %364 %64)
(-.f64 %68 (/.f64 %238 #s(literal -4 binary64)))
(-.f64 %68 %227)
(+.f64 %77 %77)
(+.f64 %174 %174)
(+.f64 %364 %68)
(+.f64 %68 %364)
(+.f64 %24 %368)
(+.f64 %24 %370)
reconstruct30.0ms (4.6%)
Counts
359 → 16
Compiler
Compiled 359 to 507 computations (-41.2% saved)
eval1.0ms (0.2%)
Compiler
Compiled 14 to 42 computations (-200.0% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (3 fresh and 0 done)
PrunedKeptTotal
New11314
Fresh000
Picked101
Done000
Total12315
Accuracy
100.0%
Counts
15 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 #s(literal 1/2 binary64) (+.f64 x y))
▶50.9%
(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) y))
▶50.5%
(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) x))
Compiler
Compiled 3 to 7 computations (-133.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
056162
Stop Event
1×iter-limit
Counts
9 → 15
Calls
Call 1
Inputs
%2 = (+.f64 x y)
%4 = (*.f64 #s(literal 1/2 binary64) y)
%7 = (/ (+ x y) 2)
%9 = (*.f64 #s(literal 1/2 binary64) x)
x
y
%2
#s(literal 1/2 binary64)
%4
(approx %7 %4)
%9
(approx %7 %9)
(*.f64 #s(literal 1/2 binary64) %2)
Outputs
%5 = (+ x y)
%10 = (/ %5 2)
%12 = (*.f64 #s(literal 1/2 binary64) y)
%21 = (/.f64 y x)
%41 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %10 %12)
(approx %10 (fma.f64 #s(literal 1/2 binary64) x %12))
(approx (* 1/2 x) (*.f64 #s(literal 1/2 binary64) x))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %21)))
(approx %10 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %21))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %21) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/2 binary64) %21) #s(literal 1/2 binary64)))))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) %41)))
(approx %10 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %41))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %41) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1/2 binary64) %41) #s(literal 1/2 binary64)))))
Calls
6 calls:
TimeVariablePoint
16.0ms
x
inf
3.0ms
x
-inf
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
y
0
rewrite74.0ms (11.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01235
01635
14835
213435
364835
4333635
0404035
0422435
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 592
Calls
Call 1
Inputs
%2 = (+.f64 x y)
%4 = (*.f64 #s(literal 1/2 binary64) y)
%7 = (/ (+ x y) 2)
%9 = (*.f64 #s(literal 1/2 binary64) x)
x
y
%2
#s(literal 1/2 binary64)
%4
(approx %7 %4)
%9
(approx %7 %9)
(*.f64 #s(literal 1/2 binary64) %2)
Outputs
%3 = (+.f64 y x)
%4 = (*.f64 #s(literal 2 binary64) %3)
%6 = (*.f64 %4 #s(literal -1 binary64))
%10 = (/.f64 %4 #s(literal 1 binary64))
%13 = (/.f64 %4 #s(literal 1/2 binary64))
%16 = (/.f64 %3 #s(literal 1/2 binary64))
%18 = (*.f64 #s(literal 2 binary64) %4)
%20 = (*.f64 %4 #s(literal 2 binary64))
%23 = (*.f64 #s(literal -2 binary64) %3)
%25 = (*.f64 #s(literal -1/2 binary64) %3)
%29 = (*.f64 #s(literal 1/2 binary64) %3)
%30 = (*.f64 #s(literal 1/2 binary64) %29)
%32 = (/.f64 %29 #s(literal 2 binary64))
%34 = (/.f64 %3 #s(literal 4 binary64))
%36 = (neg.f64 %3)
%50 = (*.f64 #s(literal 2 binary64) %23)
%54 = (*.f64 %3 #s(literal -2 binary64))
%67 = (/.f64 %3 #s(literal -1 binary64))
%71 = (*.f64 %3 #s(literal 0 binary64))
%73 = (*.f64 #s(literal 0 binary64) %3)
%75 = (/.f64 %29 #s(literal -2 binary64))
%77 = (*.f64 %29 #s(literal 1/2 binary64))
%79 = (*.f64 #s(literal 1/2 binary64) x)
%80 = (*.f64 #s(literal 1/2 binary64) %79)
%81 = (fma.f64 #s(literal 1/2 binary64) x y)
%83 = (neg.f64 y)
%84 = (-.f64 %79 %83)
%86 = (*.f64 %79 #s(literal 1/2 binary64))
%98 = (/.f64 %36 #s(literal 1/2 binary64))
%104 = (neg.f64 x)
%105 = (/.f64 %104 #s(literal 1/2 binary64))
%108 = (/.f64 %79 #s(literal 4 binary64))
%111 = (+.f64 x x)
%112 = (/.f64 %111 #s(literal 1/2 binary64))
%115 = (/.f64 x #s(literal 1/2 binary64))
%120 = (/.f64 %79 #s(literal -2 binary64))
%123 = (/.f64 x #s(literal 4 binary64))
%126 = (/.f64 %79 #s(literal 2 binary64))
%133 = (*.f64 %36 #s(literal 2 binary64))
%142 = (*.f64 #s(literal -1/2 binary64) x)
%148 = (*.f64 #s(literal -2 binary64) x)
%155 = (/.f64 x #s(literal -1 binary64))
%168 = (/.f64 %29 #s(literal 4 binary64))
%196 = (*.f64 #s(literal 1/4 binary64) x)
%199 = (*.f64 #s(literal -1/4 binary64) %36)
%201 = (*.f64 %3 #s(literal 1/4 binary64))
%203 = (*.f64 #s(literal 1/4 binary64) %3)
%241 = (*.f64 #s(literal 1/2 binary64) y)
%242 = (/.f64 %241 #s(literal -2 binary64))
%244 = (*.f64 %241 #s(literal 1/2 binary64))
%246 = (/.f64 %83 #s(literal 1/2 binary64))
%248 = (+.f64 y y)
%249 = (/.f64 %248 #s(literal 1/2 binary64))
%251 = (/.f64 %241 #s(literal 2 binary64))
%253 = (/.f64 y #s(literal 1/2 binary64))
%255 = (/.f64 y #s(literal 4 binary64))
%258 = (*.f64 #s(literal -2 binary64) y)
%260 = (/.f64 y #s(literal -1 binary64))
%264 = (*.f64 #s(literal -1/2 binary64) y)
%266 = (/.f64 %241 #s(literal 4 binary64))
%271 = (*.f64 #s(literal 1/4 binary64) y)
%274 = (*.f64 #s(literal 1/2 binary64) %241)
%300 = (/.f64 %248 #s(literal -4 binary64))
%302 = (/.f64 %258 #s(literal 4 binary64))
%305 = (*.f64 %241 #s(literal 0 binary64))
%307 = (*.f64 #s(literal 0 binary64) %241)
%366 = (/ (+ y x) 2)
%367 = (approx %366 %241)
%423 = (*.f64 %79 #s(literal 0 binary64))
%425 = (*.f64 #s(literal 0 binary64) %79)
%491 = (approx %366 %79)
%583 = (*.f64 %29 #s(literal 0 binary64))
%585 = (*.f64 #s(literal 0 binary64) %29)
x
y
(*.f64 %6 #s(literal -1/2 binary64))
(*.f64 %10 #s(literal 1/2 binary64))
(*.f64 %13 #s(literal 1/4 binary64))
(*.f64 %16 #s(literal 1/2 binary64))
(*.f64 %18 #s(literal 1/4 binary64))
(*.f64 %20 #s(literal 1/4 binary64))
(*.f64 %23 #s(literal -1/2 binary64))
(*.f64 %25 #s(literal -2 binary64))
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %30)
(*.f64 #s(literal 4 binary64) %32)
(*.f64 #s(literal 4 binary64) %34)
(*.f64 #s(literal -1 binary64) %36)
(*.f64 %36 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %29 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %29)
(*.f64 #s(literal 1/2 binary64) %16)
(*.f64 #s(literal 1/2 binary64) %4)
(*.f64 %3 #s(literal 1 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 %6 #s(literal -2 binary64))
(/.f64 %10 #s(literal 2 binary64))
(/.f64 %13 #s(literal 4 binary64))
(/.f64 %16 #s(literal 2 binary64))
(/.f64 %50 #s(literal -4 binary64))
(/.f64 %18 #s(literal 4 binary64))
(/.f64 %54 #s(literal -2 binary64))
(/.f64 %23 #s(literal -2 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 %36 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %3))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 %29 #s(literal 1/2 binary64))
(/.f64 %3 #s(literal 1 binary64))
(neg.f64 %67)
(neg.f64 %36)
(fma.f64 %6 #s(literal -1/2 binary64) %71)
(fma.f64 %6 #s(literal -1/2 binary64) %73)
(fma.f64 %75 #s(literal -2 binary64) %29)
(fma.f64 %77 #s(literal 2 binary64) %29)
(fma.f64 %80 #s(literal 2 binary64) %81)
(fma.f64 %80 #s(literal 2 binary64) %84)
(fma.f64 %86 #s(literal 2 binary64) %81)
(fma.f64 %86 #s(literal 2 binary64) %84)
(fma.f64 %10 #s(literal 1/4 binary64) %29)
(fma.f64 %10 #s(literal 1/2 binary64) %71)
(fma.f64 %10 #s(literal 1/2 binary64) %73)
(fma.f64 %13 #s(literal 1/8 binary64) %29)
(fma.f64 %13 #s(literal 1/4 binary64) %71)
(fma.f64 %13 #s(literal 1/4 binary64) %73)
(fma.f64 %32 #s(literal 2 binary64) %29)
(fma.f64 %34 #s(literal 2 binary64) %29)
(fma.f64 %98 #s(literal -1/4 binary64) %29)
(fma.f64 %16 #s(literal 1/4 binary64) %29)
(fma.f64 %16 #s(literal 1/2 binary64) %71)
(fma.f64 %16 #s(literal 1/2 binary64) %73)
(fma.f64 %105 #s(literal -1/4 binary64) %81)
(fma.f64 %105 #s(literal -1/4 binary64) %84)
(fma.f64 %108 #s(literal 4 binary64) %81)
(fma.f64 %108 #s(literal 4 binary64) %84)
(fma.f64 %112 #s(literal 1/8 binary64) %81)
(fma.f64 %112 #s(literal 1/8 binary64) %84)
(fma.f64 %115 #s(literal 1/4 binary64) %81)
(fma.f64 %115 #s(literal 1/4 binary64) %84)
(fma.f64 #s(literal 1/8 binary64) %112 %81)
(fma.f64 #s(literal 1/8 binary64) %112 %84)
(fma.f64 %120 #s(literal -2 binary64) %81)
(fma.f64 %120 #s(literal -2 binary64) %84)
(fma.f64 %123 #s(literal 2 binary64) %81)
(fma.f64 %123 #s(literal 2 binary64) %84)
(fma.f64 %126 #s(literal 2 binary64) %81)
(fma.f64 %126 #s(literal 2 binary64) %84)
(fma.f64 %18 #s(literal 1/4 binary64) %71)
(fma.f64 %18 #s(literal 1/4 binary64) %73)
(fma.f64 %20 #s(literal 1/4 binary64) %71)
(fma.f64 %20 #s(literal 1/4 binary64) %73)
(fma.f64 %133 #s(literal -1/4 binary64) %29)
(fma.f64 #s(literal -1/4 binary64) %98 %29)
(fma.f64 #s(literal 1/4 binary64) %16 %29)
(fma.f64 #s(literal 1/4 binary64) %115 %81)
(fma.f64 #s(literal 1/4 binary64) %115 %84)
(fma.f64 #s(literal 1/4 binary64) %4 %29)
(fma.f64 #s(literal 1/4 binary64) %111 %81)
(fma.f64 #s(literal 1/4 binary64) %111 %84)
(fma.f64 %142 #s(literal -1 binary64) %81)
(fma.f64 %142 #s(literal -1 binary64) %84)
(fma.f64 %23 #s(literal -1/4 binary64) %29)
(fma.f64 %23 #s(literal -1/2 binary64) %71)
(fma.f64 %23 #s(literal -1/2 binary64) %73)
(fma.f64 %148 #s(literal -1/4 binary64) %81)
(fma.f64 %148 #s(literal -1/4 binary64) %84)
(fma.f64 %25 #s(literal -1 binary64) %29)
(fma.f64 %25 #s(literal -2 binary64) %71)
(fma.f64 %25 #s(literal -2 binary64) %73)
(fma.f64 #s(literal -1/2 binary64) %67 %29)
(fma.f64 #s(literal -1/2 binary64) %155 %81)
(fma.f64 #s(literal -1/2 binary64) %155 %84)
(fma.f64 #s(literal -1/2 binary64) %104 %81)
(fma.f64 #s(literal -1/2 binary64) %104 %84)
(fma.f64 #s(literal -1/2 binary64) %36 %29)
(fma.f64 %4 #s(literal 1/4 binary64) %29)
(fma.f64 %4 #s(literal 1/2 binary64) %71)
(fma.f64 %4 #s(literal 1/2 binary64) %73)
(fma.f64 #s(literal 4 binary64) %30 %71)
(fma.f64 #s(literal 4 binary64) %30 %73)
(fma.f64 #s(literal 4 binary64) %32 %71)
(fma.f64 #s(literal 4 binary64) %32 %73)
(fma.f64 #s(literal 4 binary64) %168 %29)
(fma.f64 #s(literal 4 binary64) %34 %71)
(fma.f64 #s(literal 4 binary64) %34 %73)
(fma.f64 #s(literal 4 binary64) %108 %81)
(fma.f64 #s(literal 4 binary64) %108 %84)
(fma.f64 %111 #s(literal 1/4 binary64) %81)
(fma.f64 %111 #s(literal 1/4 binary64) %84)
(fma.f64 %104 #s(literal -1/2 binary64) %81)
(fma.f64 %104 #s(literal -1/2 binary64) %84)
(fma.f64 #s(literal -1 binary64) %142 %81)
(fma.f64 #s(literal -1 binary64) %142 %84)
(fma.f64 #s(literal -1 binary64) %25 %29)
(fma.f64 #s(literal -1 binary64) %36 %71)
(fma.f64 #s(literal -1 binary64) %36 %73)
(fma.f64 %79 #s(literal 1 binary64) %81)
(fma.f64 %79 #s(literal 1 binary64) %84)
(fma.f64 %36 #s(literal -1/2 binary64) %29)
(fma.f64 %36 #s(literal -1 binary64) %71)
(fma.f64 %36 #s(literal -1 binary64) %73)
(fma.f64 #s(literal 1 binary64) %79 %81)
(fma.f64 #s(literal 1 binary64) %79 %84)
(fma.f64 #s(literal 1 binary64) %29 %29)
(fma.f64 #s(literal 1 binary64) %3 %71)
(fma.f64 #s(literal 1 binary64) %3 %73)
(fma.f64 %29 #s(literal 1 binary64) %29)
(fma.f64 %29 #s(literal 2 binary64) %71)
(fma.f64 %29 #s(literal 2 binary64) %73)
(fma.f64 #s(literal 2 binary64) %196 %81)
(fma.f64 #s(literal 2 binary64) %196 %84)
(fma.f64 #s(literal 2 binary64) %199 %29)
(fma.f64 #s(literal 2 binary64) %201 %29)
(fma.f64 #s(literal 2 binary64) %203 %29)
(fma.f64 #s(literal 2 binary64) %77 %29)
(fma.f64 #s(literal 2 binary64) %80 %81)
(fma.f64 #s(literal 2 binary64) %80 %84)
(fma.f64 #s(literal 2 binary64) %86 %81)
(fma.f64 #s(literal 2 binary64) %86 %84)
(fma.f64 #s(literal 2 binary64) %30 %29)
(fma.f64 #s(literal 2 binary64) %32 %29)
(fma.f64 #s(literal 2 binary64) %34 %29)
(fma.f64 #s(literal 2 binary64) %123 %81)
(fma.f64 #s(literal 2 binary64) %123 %84)
(fma.f64 #s(literal 2 binary64) %126 %81)
(fma.f64 #s(literal 2 binary64) %126 %84)
(fma.f64 #s(literal 2 binary64) %29 %71)
(fma.f64 #s(literal 2 binary64) %29 %73)
(fma.f64 #s(literal 1/2 binary64) %16 %71)
(fma.f64 #s(literal 1/2 binary64) %16 %73)
(fma.f64 #s(literal 1/2 binary64) %4 %71)
(fma.f64 #s(literal 1/2 binary64) %4 %73)
(fma.f64 #s(literal 1/2 binary64) %3 %29)
(fma.f64 #s(literal 1/2 binary64) x %81)
(fma.f64 #s(literal 1/2 binary64) x %84)
(fma.f64 %3 #s(literal 1 binary64) %71)
(fma.f64 %3 #s(literal 1 binary64) %73)
(fma.f64 %3 #s(literal 1/2 binary64) %29)
(fma.f64 x #s(literal 1/2 binary64) %81)
(fma.f64 x #s(literal 1/2 binary64) %84)
(-.f64 y %104)
(-.f64 x %83)
(+.f64 (+.f64 y %79) %79)
(+.f64 %79 %81)
(+.f64 %79 %84)
(+.f64 %29 %29)
(+.f64 %3 %71)
(+.f64 %3 %73)
%3
(+.f64 x y)
#s(literal 1/2 binary64)
(*.f64 %242 #s(literal -2 binary64))
(*.f64 %244 #s(literal 2 binary64))
(*.f64 %246 #s(literal -1/4 binary64))
(*.f64 %249 #s(literal 1/8 binary64))
(*.f64 %251 #s(literal 2 binary64))
(*.f64 %253 #s(literal 1/4 binary64))
(*.f64 %255 #s(literal 2 binary64))
(*.f64 #s(literal 1/4 binary64) %253)
(*.f64 %258 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/2 binary64) %260)
(*.f64 #s(literal -1/2 binary64) %83)
(*.f64 %248 #s(literal 1/4 binary64))
(*.f64 %264 #s(literal -1 binary64))
(*.f64 #s(literal 4 binary64) %266)
(*.f64 #s(literal -1 binary64) %264)
(*.f64 %83 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %241)
(*.f64 #s(literal 2 binary64) %271)
(*.f64 #s(literal 2 binary64) %244)
(*.f64 #s(literal 2 binary64) %274)
(*.f64 #s(literal 2 binary64) %251)
(*.f64 #s(literal 2 binary64) %255)
(*.f64 %241 #s(literal 1 binary64))
%241
(*.f64 y #s(literal 1/2 binary64))
(pow.f64 %241 #s(literal 1 binary64))
(/.f64 %251 #s(literal 1/2 binary64))
(/.f64 %253 #s(literal 4 binary64))
(/.f64 %255 #s(literal 1/2 binary64))
(/.f64 %258 #s(literal -4 binary64))
(/.f64 %248 #s(literal 4 binary64))
(/.f64 %264 #s(literal -1 binary64))
(/.f64 %83 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %241))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %248))
(/.f64 #s(literal 1 binary64) (pow.f64 %241 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %83))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) y))
(/.f64 %241 #s(literal 1 binary64))
(/.f64 y #s(literal 2 binary64))
(neg.f64 %300)
(neg.f64 %302)
(neg.f64 %264)
(fma.f64 %242 #s(literal -2 binary64) %305)
(fma.f64 %242 #s(literal -2 binary64) %307)
(fma.f64 %244 #s(literal 2 binary64) %305)
(fma.f64 %244 #s(literal 2 binary64) %307)
(fma.f64 %246 #s(literal -1/4 binary64) %305)
(fma.f64 %246 #s(literal -1/4 binary64) %307)
(fma.f64 %249 #s(literal 1/8 binary64) %305)
(fma.f64 %249 #s(literal 1/8 binary64) %307)
(fma.f64 %251 #s(literal 2 binary64) %305)
(fma.f64 %251 #s(literal 2 binary64) %307)
(fma.f64 %253 #s(literal 1/4 binary64) %305)
(fma.f64 %253 #s(literal 1/4 binary64) %307)
(fma.f64 %255 #s(literal 2 binary64) %305)
(fma.f64 %255 #s(literal 2 binary64) %307)
(fma.f64 #s(literal 1/4 binary64) %253 %305)
(fma.f64 #s(literal 1/4 binary64) %253 %307)
(fma.f64 %258 #s(literal -1/4 binary64) %305)
(fma.f64 %258 #s(literal -1/4 binary64) %307)
(fma.f64 #s(literal -1/2 binary64) %260 %305)
(fma.f64 #s(literal -1/2 binary64) %260 %307)
(fma.f64 #s(literal -1/2 binary64) %83 %305)
(fma.f64 #s(literal -1/2 binary64) %83 %307)
(fma.f64 %248 #s(literal 1/4 binary64) %305)
(fma.f64 %248 #s(literal 1/4 binary64) %307)
(fma.f64 %264 #s(literal -1 binary64) %305)
(fma.f64 %264 #s(literal -1 binary64) %307)
(fma.f64 #s(literal 4 binary64) %266 %305)
(fma.f64 #s(literal 4 binary64) %266 %307)
(fma.f64 #s(literal -1 binary64) %264 %305)
(fma.f64 #s(literal -1 binary64) %264 %307)
(fma.f64 %83 #s(literal -1/2 binary64) %305)
(fma.f64 %83 #s(literal -1/2 binary64) %307)
(fma.f64 #s(literal 1 binary64) %241 %305)
(fma.f64 #s(literal 1 binary64) %241 %307)
(fma.f64 #s(literal 2 binary64) %271 %305)
(fma.f64 #s(literal 2 binary64) %271 %307)
(fma.f64 #s(literal 2 binary64) %244 %305)
(fma.f64 #s(literal 2 binary64) %244 %307)
(fma.f64 #s(literal 2 binary64) %274 %305)
(fma.f64 #s(literal 2 binary64) %274 %307)
(fma.f64 #s(literal 2 binary64) %251 %305)
(fma.f64 #s(literal 2 binary64) %251 %307)
(fma.f64 #s(literal 2 binary64) %255 %305)
(fma.f64 #s(literal 2 binary64) %255 %307)
(fma.f64 %241 #s(literal 1 binary64) %305)
(fma.f64 %241 #s(literal 1 binary64) %307)
(fma.f64 %241 #s(literal 1/2 binary64) %244)
(fma.f64 #s(literal 1/2 binary64) %241 %274)
(fma.f64 #s(literal 1/2 binary64) y %305)
(fma.f64 #s(literal 1/2 binary64) y %307)
(fma.f64 y #s(literal 1/2 binary64) %305)
(fma.f64 y #s(literal 1/2 binary64) %307)
(+.f64 %244 %244)
(+.f64 %274 %274)
(+.f64 %255 %255)
(+.f64 %241 %305)
(+.f64 %241 %307)
(*.f64 #s(literal 1 binary64) %367)
(pow.f64 %367 #s(literal 1 binary64))
%367
(/.f64 #s(literal 1 binary64) (pow.f64 %367 #s(literal -1 binary64)))
(*.f64 %80 #s(literal 2 binary64))
(*.f64 %86 #s(literal 2 binary64))
(*.f64 %105 #s(literal -1/4 binary64))
(*.f64 %108 #s(literal 4 binary64))
(*.f64 %112 #s(literal 1/8 binary64))
(*.f64 %115 #s(literal 1/4 binary64))
(*.f64 #s(literal 1/8 binary64) %112)
(*.f64 %120 #s(literal -2 binary64))
(*.f64 %123 #s(literal 2 binary64))
(*.f64 %126 #s(literal 2 binary64))
(*.f64 #s(literal 1/4 binary64) %115)
(*.f64 #s(literal 1/4 binary64) %111)
(*.f64 %142 #s(literal -1 binary64))
(*.f64 %148 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/2 binary64) %155)
(*.f64 #s(literal -1/2 binary64) %104)
(*.f64 #s(literal 4 binary64) %108)
(*.f64 %111 #s(literal 1/4 binary64))
(*.f64 %104 #s(literal -1/2 binary64))
(*.f64 #s(literal -1 binary64) %142)
(*.f64 %79 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %79)
(*.f64 #s(literal 2 binary64) %196)
(*.f64 #s(literal 2 binary64) %80)
(*.f64 #s(literal 2 binary64) %86)
(*.f64 #s(literal 2 binary64) %123)
(*.f64 #s(literal 2 binary64) %126)
%79
(*.f64 x #s(literal 1/2 binary64))
(pow.f64 %79 #s(literal 1 binary64))
(/.f64 %115 #s(literal 4 binary64))
(/.f64 %123 #s(literal 1/2 binary64))
(/.f64 %126 #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %148) #s(literal 4 binary64))
(/.f64 %142 #s(literal -1 binary64))
(/.f64 %148 #s(literal -4 binary64))
(/.f64 %111 #s(literal 4 binary64))
(/.f64 %104 #s(literal -2 binary64))
(/.f64 %79 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %111))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %79))
(/.f64 #s(literal 1 binary64) (pow.f64 %79 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %104))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) x))
(/.f64 x #s(literal 2 binary64))
(neg.f64 %142)
(fma.f64 %80 #s(literal 2 binary64) %423)
(fma.f64 %80 #s(literal 2 binary64) %425)
(fma.f64 %86 #s(literal 2 binary64) %423)
(fma.f64 %86 #s(literal 2 binary64) %425)
(fma.f64 %105 #s(literal -1/4 binary64) %423)
(fma.f64 %105 #s(literal -1/4 binary64) %425)
(fma.f64 %108 #s(literal 4 binary64) %423)
(fma.f64 %108 #s(literal 4 binary64) %425)
(fma.f64 %112 #s(literal 1/8 binary64) %423)
(fma.f64 %112 #s(literal 1/8 binary64) %425)
(fma.f64 %115 #s(literal 1/4 binary64) %423)
(fma.f64 %115 #s(literal 1/4 binary64) %425)
(fma.f64 #s(literal 1/8 binary64) %112 %423)
(fma.f64 #s(literal 1/8 binary64) %112 %425)
(fma.f64 %120 #s(literal -2 binary64) %423)
(fma.f64 %120 #s(literal -2 binary64) %425)
(fma.f64 %123 #s(literal 2 binary64) %423)
(fma.f64 %123 #s(literal 2 binary64) %425)
(fma.f64 %126 #s(literal 2 binary64) %423)
(fma.f64 %126 #s(literal 2 binary64) %425)
(fma.f64 #s(literal 1/4 binary64) %115 %423)
(fma.f64 #s(literal 1/4 binary64) %115 %425)
(fma.f64 #s(literal 1/4 binary64) %111 %423)
(fma.f64 #s(literal 1/4 binary64) %111 %425)
(fma.f64 %142 #s(literal -1 binary64) %423)
(fma.f64 %142 #s(literal -1 binary64) %425)
(fma.f64 %148 #s(literal -1/4 binary64) %423)
(fma.f64 %148 #s(literal -1/4 binary64) %425)
(fma.f64 #s(literal -1/2 binary64) %155 %423)
(fma.f64 #s(literal -1/2 binary64) %155 %425)
(fma.f64 #s(literal -1/2 binary64) %104 %423)
(fma.f64 #s(literal -1/2 binary64) %104 %425)
(fma.f64 #s(literal 4 binary64) %108 %423)
(fma.f64 #s(literal 4 binary64) %108 %425)
(fma.f64 %111 #s(literal 1/4 binary64) %423)
(fma.f64 %111 #s(literal 1/4 binary64) %425)
(fma.f64 %104 #s(literal -1/2 binary64) %423)
(fma.f64 %104 #s(literal -1/2 binary64) %425)
(fma.f64 #s(literal -1 binary64) %142 %423)
(fma.f64 #s(literal -1 binary64) %142 %425)
(fma.f64 %79 #s(literal 1 binary64) %423)
(fma.f64 %79 #s(literal 1 binary64) %425)
(fma.f64 %79 #s(literal 1/2 binary64) %86)
(fma.f64 #s(literal 1 binary64) %79 %423)
(fma.f64 #s(literal 1 binary64) %79 %425)
(fma.f64 #s(literal 2 binary64) %196 %423)
(fma.f64 #s(literal 2 binary64) %196 %425)
(fma.f64 #s(literal 2 binary64) %80 %423)
(fma.f64 #s(literal 2 binary64) %80 %425)
(fma.f64 #s(literal 2 binary64) %86 %423)
(fma.f64 #s(literal 2 binary64) %86 %425)
(fma.f64 #s(literal 2 binary64) %123 %423)
(fma.f64 #s(literal 2 binary64) %123 %425)
(fma.f64 #s(literal 2 binary64) %126 %423)
(fma.f64 #s(literal 2 binary64) %126 %425)
(fma.f64 #s(literal 1/2 binary64) %79 %80)
(fma.f64 #s(literal 1/2 binary64) x %423)
(fma.f64 #s(literal 1/2 binary64) x %425)
(fma.f64 x #s(literal 1/2 binary64) %423)
(fma.f64 x #s(literal 1/2 binary64) %425)
(+.f64 %80 %80)
(+.f64 %86 %86)
(+.f64 %123 %123)
(+.f64 %126 %126)
(+.f64 %79 %423)
(+.f64 %79 %425)
(*.f64 #s(literal 1 binary64) %491)
(pow.f64 %491 #s(literal 1 binary64))
%491
(/.f64 #s(literal 1 binary64) (pow.f64 %491 #s(literal -1 binary64)))
(*.f64 %75 #s(literal -2 binary64))
(*.f64 %77 #s(literal 2 binary64))
(*.f64 %10 #s(literal 1/4 binary64))
(*.f64 %13 #s(literal 1/8 binary64))
(*.f64 %32 #s(literal 2 binary64))
(*.f64 %34 #s(literal 2 binary64))
(*.f64 %98 #s(literal -1/4 binary64))
(*.f64 %16 #s(literal 1/4 binary64))
(*.f64 %133 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %98)
(*.f64 #s(literal 1/4 binary64) %16)
(*.f64 #s(literal 1/4 binary64) %4)
(*.f64 %23 #s(literal -1/4 binary64))
(*.f64 %25 #s(literal -1 binary64))
(*.f64 #s(literal -1/2 binary64) %67)
(*.f64 #s(literal -1/2 binary64) %36)
(*.f64 %4 #s(literal 1/4 binary64))
(*.f64 #s(literal 4 binary64) %168)
(*.f64 #s(literal -1 binary64) %25)
(*.f64 %36 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %29)
(*.f64 %29 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %199)
(*.f64 #s(literal 2 binary64) %201)
(*.f64 #s(literal 2 binary64) %203)
(*.f64 #s(literal 2 binary64) %77)
(*.f64 #s(literal 2 binary64) %30)
(*.f64 #s(literal 2 binary64) %32)
(*.f64 #s(literal 2 binary64) %34)
%29
(*.f64 %3 #s(literal 1/2 binary64))
(pow.f64 %29 #s(literal 1 binary64))
(/.f64 (fma.f64 %111 #s(literal 4 binary64) (*.f64 %248 #s(literal 4 binary64))) #s(literal 16 binary64))
(/.f64 %32 #s(literal 1/2 binary64))
(/.f64 %34 #s(literal 1/2 binary64))
(/.f64 %16 #s(literal 4 binary64))
(/.f64 (fma.f64 %111 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %248)) #s(literal 16 binary64))
(/.f64 (-.f64 %104 (*.f64 #s(literal -2 binary64) %264)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %23) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %4) #s(literal -8 binary64))
(/.f64 %50 #s(literal -8 binary64))
(/.f64 %18 #s(literal 8 binary64))
(/.f64 (*.f64 %23 #s(literal -2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %23 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %23 #s(literal 2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %4 #s(literal -2 binary64)) #s(literal -8 binary64))
(/.f64 %20 #s(literal 8 binary64))
(/.f64 (*.f64 %36 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 %133 #s(literal -4 binary64))
(/.f64 (*.f64 %29 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %54 #s(literal -4 binary64))
(/.f64 %23 #s(literal -4 binary64))
(/.f64 %25 #s(literal -1 binary64))
(/.f64 %4 #s(literal 4 binary64))
(/.f64 %36 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %23))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %29))
(/.f64 #s(literal 1 binary64) (pow.f64 %29 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %4))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %36))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %3))
(/.f64 %29 #s(literal 1 binary64))
(/.f64 %3 #s(literal 2 binary64))
(neg.f64 %25)
(fma.f64 %242 #s(literal -2 binary64) %79)
(fma.f64 %75 #s(literal -2 binary64) %583)
(fma.f64 %75 #s(literal -2 binary64) %585)
(fma.f64 %244 #s(literal 2 binary64) %79)
(fma.f64 %77 #s(literal 2 binary64) %583)
(fma.f64 %77 #s(literal 2 binary64) %585)
(fma.f64 %80 #s(literal 2 binary64) %241)
(fma.f64 %86 #s(literal 2 binary64) %241)
(fma.f64 %246 #s(literal -1/4 binary64) %79)
(fma.f64 %10 #s(literal 1/4 binary64) %583)
(fma.f64 %10 #s(literal 1/4 binary64) %585)
(fma.f64 %13 #s(literal 1/8 binary64) %583)
(fma.f64 %13 #s(literal 1/8 binary64) %585)
(fma.f64 %32 #s(literal 2 binary64) %583)
(fma.f64 %32 #s(literal 2 binary64) %585)
(fma.f64 %34 #s(literal 2 binary64) %583)
(fma.f64 %34 #s(literal 2 binary64) %585)
(fma.f64 %98 #s(literal -1/4 binary64) %583)
(fma.f64 %98 #s(literal -1/4 binary64) %585)
(fma.f64 %16 #s(literal 1/4 binary64) %583)
(fma.f64 %16 #s(literal 1/4 binary64) %585)
(fma.f64 %105 #s(literal -1/4 binary64) %241)
(fma.f64 %108 #s(literal 4 binary64) %241)
(fma.f64 %249 #s(literal 1/8 binary64) %79)
(fma.f64 %251 #s(literal 2 binary64) %79)
(fma.f64 %253 #s(literal 1/4 binary64) %79)
(fma.f64 %112 #s(literal 1/8 binary64) %241)
(fma.f64 %115 #s(literal 1/4 binary64) %241)
(fma.f64 #s(literal 1/8 binary64) %112 %241)
(fma.f64 %120 #s(literal -2 binary64) %241)
(fma.f64 %123 #s(literal 2 binary64) %241)
(fma.f64 %255 #s(literal 2 binary64) %79)
(fma.f64 %126 #s(literal 2 binary64) %241)
(fma.f64 %133 #s(literal -1/4 binary64) %583)
(fma.f64 %133 #s(literal -1/4 binary64) %585)
(fma.f64 #s(literal -1/4 binary64) %98 %583)
(fma.f64 #s(literal -1/4 binary64) %98 %585)
(fma.f64 #s(literal 1/4 binary64) %16 %583)
(fma.f64 #s(literal 1/4 binary64) %16 %585)
(fma.f64 #s(literal 1/4 binary64) %253 %79)
(fma.f64 #s(literal 1/4 binary64) %115 %241)
(fma.f64 #s(literal 1/4 binary64) %4 %583)
(fma.f64 #s(literal 1/4 binary64) %4 %585)
(fma.f64 #s(literal 1/4 binary64) %111 %241)
(fma.f64 %142 #s(literal -1 binary64) %241)
(fma.f64 %23 #s(literal -1/4 binary64) %583)
(fma.f64 %23 #s(literal -1/4 binary64) %585)
(fma.f64 %258 #s(literal -1/4 binary64) %79)
(fma.f64 %148 #s(literal -1/4 binary64) %241)
(fma.f64 %25 #s(literal -1 binary64) %583)
(fma.f64 %25 #s(literal -1 binary64) %585)
(fma.f64 #s(literal -1/2 binary64) %260 %79)
(fma.f64 #s(literal -1/2 binary64) %67 %583)
(fma.f64 #s(literal -1/2 binary64) %67 %585)
(fma.f64 #s(literal -1/2 binary64) %155 %241)
(fma.f64 #s(literal -1/2 binary64) %104 %241)
(fma.f64 #s(literal -1/2 binary64) %83 %79)
(fma.f64 #s(literal -1/2 binary64) %36 %583)
(fma.f64 #s(literal -1/2 binary64) %36 %585)
(fma.f64 %4 #s(literal 1/4 binary64) %583)
(fma.f64 %4 #s(literal 1/4 binary64) %585)
(fma.f64 %248 #s(literal 1/4 binary64) %79)
(fma.f64 %264 #s(literal -1 binary64) %79)
(fma.f64 #s(literal 4 binary64) %266 %79)
(fma.f64 #s(literal 4 binary64) %168 %583)
(fma.f64 #s(literal 4 binary64) %168 %585)
(fma.f64 #s(literal 4 binary64) %108 %241)
(fma.f64 %111 #s(literal 1/4 binary64) %241)
(fma.f64 %104 #s(literal -1/2 binary64) %241)
(fma.f64 #s(literal -1 binary64) %142 %241)
(fma.f64 #s(literal -1 binary64) %25 %583)
(fma.f64 #s(literal -1 binary64) %25 %585)
(fma.f64 #s(literal -1 binary64) %264 %79)
(fma.f64 %83 #s(literal -1/2 binary64) %79)
(fma.f64 %79 #s(literal 1 binary64) %241)
(fma.f64 %36 #s(literal -1/2 binary64) %583)
(fma.f64 %36 #s(literal -1/2 binary64) %585)
(fma.f64 #s(literal 1 binary64) %79 %241)
(fma.f64 #s(literal 1 binary64) %29 %583)
(fma.f64 #s(literal 1 binary64) %29 %585)
(fma.f64 #s(literal 1 binary64) %241 %79)
(fma.f64 %29 #s(literal 1 binary64) %583)
(fma.f64 %29 #s(literal 1 binary64) %585)
(fma.f64 %29 #s(literal 1/2 binary64) %77)
(fma.f64 #s(literal 2 binary64) %196 %241)
(fma.f64 #s(literal 2 binary64) %271 %79)
(fma.f64 #s(literal 2 binary64) %199 %583)
(fma.f64 #s(literal 2 binary64) %199 %585)
(fma.f64 #s(literal 2 binary64) %201 %583)
(fma.f64 #s(literal 2 binary64) %201 %585)
(fma.f64 #s(literal 2 binary64) %203 %583)
(fma.f64 #s(literal 2 binary64) %203 %585)
(fma.f64 #s(literal 2 binary64) %244 %79)
(fma.f64 #s(literal 2 binary64) %77 %583)
(fma.f64 #s(literal 2 binary64) %77 %585)
(fma.f64 #s(literal 2 binary64) %80 %241)
(fma.f64 #s(literal 2 binary64) %86 %241)
(fma.f64 #s(literal 2 binary64) %274 %79)
(fma.f64 #s(literal 2 binary64) %30 %583)
(fma.f64 #s(literal 2 binary64) %30 %585)
(fma.f64 #s(literal 2 binary64) %32 %583)
(fma.f64 #s(literal 2 binary64) %32 %585)
(fma.f64 #s(literal 2 binary64) %34 %583)
(fma.f64 #s(literal 2 binary64) %34 %585)
(fma.f64 #s(literal 2 binary64) %251 %79)
(fma.f64 #s(literal 2 binary64) %123 %241)
(fma.f64 #s(literal 2 binary64) %255 %79)
(fma.f64 #s(literal 2 binary64) %126 %241)
(fma.f64 %241 #s(literal 1 binary64) %79)
(fma.f64 #s(literal 1/2 binary64) %29 %30)
(fma.f64 #s(literal 1/2 binary64) %3 %583)
(fma.f64 #s(literal 1/2 binary64) %3 %585)
(fma.f64 #s(literal 1/2 binary64) y %79)
(fma.f64 #s(literal 1/2 binary64) x %241)
(fma.f64 %3 #s(literal 1/2 binary64) %583)
(fma.f64 %3 #s(literal 1/2 binary64) %585)
(fma.f64 y #s(literal 1/2 binary64) %79)
(fma.f64 x #s(literal 1/2 binary64) %241)
(-.f64 %79 %300)
(-.f64 %79 %302)
(-.f64 %79 %264)
(-.f64 %241 %142)
(+.f64 %77 %77)
(+.f64 %30 %30)
(+.f64 %79 %241)
(+.f64 %29 %583)
(+.f64 %29 %585)
(+.f64 %241 %79)
reconstruct45.0ms (6.8%)
Counts
607 → 24
Compiler
Compiled 607 to 735 computations (-21.1% saved)
eval2.0ms (0.3%)
Compiler
Compiled 23 to 55 computations (-139.1% saved)
prune1.0ms (0.2%)
Pruning
3 alts after pruning (0 fresh and 3 done)
PrunedKeptTotal
New23023
Fresh000
Picked033
Done000
Total23326
Accuracy
100.0%
Counts
26 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 #s(literal 1/2 binary64) (+.f64 x y))
✓50.9%
(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) y))
✓50.5%
(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) x))
Compiler
Compiled 3 to 7 computations (-133.3% saved)
regimes14.0ms (2.1%)
Accuracy
Total -0.0b remaining (-0.0%)
Threshold costs -0.0b (-0.0%)
0.0b100.0%
0.0b0%
-0.0b-0.0%
Counts
1 → 1
2 → 2
3 → 1
Calls
Call 1
Inputs
(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) x))
Outputs
(approx (/ (+ x y) 2) (*.f64 #s(literal 1/2 binary64) x))
Call 2
Inputs
%4 = (/ (+ x y) 2)
(approx %4 (*.f64 #s(literal 1/2 binary64) x))
(approx %4 (*.f64 #s(literal 1/2 binary64) y))
Outputs
%4 = (/ (+ x y) 2)
(approx %4 (*.f64 #s(literal 1/2 binary64) x))
(approx %4 (*.f64 #s(literal 1/2 binary64) y))
Call 3
Inputs
%4 = (/ (+ x y) 2)
(approx %4 (*.f64 #s(literal 1/2 binary64) x))
(approx %4 (*.f64 #s(literal 1/2 binary64) y))
(*.f64 #s(literal 1/2 binary64) (+.f64 x y))
Outputs
(*.f64 #s(literal 1/2 binary64) (+.f64 x y))
Calls
4 calls:
5.0ms
x
4.0ms
y
3.0ms
(+.f64 x y)
3.0ms
(/.f64 (+.f64 x y) #s(literal 2 binary64))
Results
AccuracySegmentsBranch
50.5%1
y
50.5%1
x
50.5%1
(/.f64 (+.f64 x y) #s(literal 2 binary64))
50.5%1
(+.f64 x y)
Compiler
Compiled 8 to 14 computations (-75.0% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.1%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-6.917356767787848e-243
2.810994943168347e-235
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
derivations25.0ms (3.7%)
Stop Event
1×done
Compiler
Compiled 3 to 10 computations (-233.3% saved)
preprocess17.0ms (2.6%)
Symmetry
(sort x y)
Compiler
Compiled 10 to 52 computations (-420.0% saved)
end0.0ms (0.0%)
gc133ms (20.1%)
Allocations
AllocatedPercentPhase
375.7 MiB46.8%sample
136.7 MiB17.0%rewrite
105.1 MiB13.1%reconstruct
84.7 MiB10.5%preprocess
54.0 MiB6.7%series
23.9 MiB3.0%regimes
9.6 MiB1.2%derivations
4.9 MiB0.6%analyze
4.7 MiB0.6%eval
3.3 MiB0.4%prune
0.4 MiB0.1%bsearch
0.1 MiB0.0%start
0.0 MiB0.0%end
803.0 MiB100.0%total
Profiling
Loading profile data...