Numeric.Interval.Internal:scale from intervals-0.7.1, B

Time bar (total: 730.0ms)

start0.0ms (0.0%)

analyze0.0ms (0.1%)

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)

sample274.0ms (37.5%)

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

preprocess44.0ms (6.0%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01532
17230
216130
337530
4152630
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

(negabs x)

(negabs y)

(sort x y)

Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series22.0ms (3.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01327
Stop Event
1×iter-limit
Counts
5 → 5
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)
%6 = (*.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx (/ %5 2) (*.f64 #s(literal 1/2 binary64) %6))
(approx y y)
Calls
6 calls:
TimeVariablePoint
17.0ms
y
-inf
2.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
0.0ms
x
0
rewrite92.0ms (12.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
12711
27811
324211
4126311
0410511
0438911
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 638
Calls
Call 1
Inputs
%2 = (*.f64 x y)
x
y
%2
#s(literal 2 binary64)
(/.f64 %2 #s(literal 2 binary64))
Outputs
%2 = (+.f64 x x)
%3 = (*.f64 y %2)
%5 = (*.f64 %3 #s(literal 2 binary64))
%9 = (*.f64 y x)
%10 = (*.f64 #s(literal -2 binary64) %9)
%15 = (neg.f64 x)
%16 = (neg.f64 y)
%18 = (*.f64 #s(literal -1/2 binary64) %9)
%22 = (neg.f64 %9)
%29 = (*.f64 #s(literal 1/2 binary64) x)
%30 = (*.f64 %29 y)
%36 = (*.f64 %9 #s(literal 1/4 binary64))
%66 = (*.f64 %9 #s(literal 0 binary64))
%67 = (/.f64 %66 #s(literal 1 binary64))
%69 = (*.f64 #s(literal 0 binary64) %9)
%70 = (/.f64 %69 #s(literal 1 binary64))
%72 = (*.f64 %30 #s(literal 0 binary64))
%73 = (/.f64 %72 #s(literal 1/2 binary64))
%75 = (*.f64 #s(literal 0 binary64) %30)
%76 = (/.f64 %75 #s(literal 1/2 binary64))
%80 = (*.f64 %18 #s(literal 1/2 binary64))
%82 = (*.f64 %18 #s(literal -1/2 binary64))
%85 = (*.f64 %29 #s(literal 1/2 binary64))
%86 = (+.f64 y y)
%88 = (*.f64 #s(literal 1/2 binary64) y)
%89 = (*.f64 %88 #s(literal 1/2 binary64))
%91 = (*.f64 #s(literal -1/2 binary64) x)
%92 = (*.f64 %91 #s(literal 1/2 binary64))
%93 = (*.f64 y #s(literal -2 binary64))
%95 = (*.f64 #s(literal -1/2 binary64) y)
%96 = (*.f64 %95 #s(literal 1/2 binary64))
%97 = (*.f64 x #s(literal -2 binary64))
%100 = (/.f64 y #s(literal -4 binary64))
%102 = (*.f64 y #s(literal 1/4 binary64))
%104 = (/.f64 x #s(literal -4 binary64))
%107 = (*.f64 x #s(literal 1/4 binary64))
%199 = (*.f64 #s(literal 1/4 binary64) %9)
%201 = (*.f64 #s(literal 1/2 binary64) %30)
%235 = (*.f64 #s(literal -2 binary64) %199)
%237 = (*.f64 #s(literal -2 binary64) %201)
%239 = (*.f64 #s(literal -2 binary64) %82)
%241 = (*.f64 #s(literal -2 binary64) %36)
%246 = (/.f64 %201 #s(literal 1/2 binary64))
%333 = (/.f64 %66 #s(literal -2 binary64))
%335 = (/.f64 %69 #s(literal -2 binary64))
%337 = (/.f64 %72 #s(literal 1 binary64))
%339 = (/.f64 %75 #s(literal 1 binary64))
%341 = (/.f64 %66 #s(literal 2 binary64))
%343 = (/.f64 %69 #s(literal 2 binary64))
%705 = (/.f64 %82 #s(literal 1 binary64))
%707 = (/.f64 %201 #s(literal 1 binary64))
x
y
(*.f64 %5 #s(literal 1/4 binary64))
(*.f64 %10 #s(literal -1/2 binary64))
(*.f64 %3 #s(literal 1/2 binary64))
(*.f64 %15 %16)
(*.f64 %18 #s(literal -2 binary64))
(*.f64 %16 %15)
(*.f64 #s(literal -1 binary64) %22)
(*.f64 #s(literal 1/2 binary64) %3)
(*.f64 #s(literal -2 binary64) %18)
(*.f64 %22 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %9)
(*.f64 %30 #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) %30)
(*.f64 %9 #s(literal 1 binary64))
%9
(*.f64 x y)
(pow.f64 %9 #s(literal 1 binary64))
(/.f64 (fma.f64 %18 #s(literal -1/2 binary64) %36) #s(literal 1/2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) %9 %10) #s(literal -4 binary64))
(/.f64 %5 #s(literal 4 binary64))
(/.f64 %10 #s(literal -2 binary64))
(/.f64 %3 #s(literal 2 binary64))
(/.f64 %18 #s(literal -1/2 binary64))
(/.f64 %22 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %10))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %3))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %9))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %30))
(/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64)))
(/.f64 %30 #s(literal 1/2 binary64))
(/.f64 %9 #s(literal 1 binary64))
(neg.f64 (*.f64 #s(literal -1/2 binary64) %3))
(neg.f64 %22)
(fma.f64 %5 #s(literal 1/8 binary64) %30)
(fma.f64 %5 #s(literal 1/4 binary64) %67)
(fma.f64 %5 #s(literal 1/4 binary64) %70)
(fma.f64 %5 #s(literal 1/4 binary64) %73)
(fma.f64 %5 #s(literal 1/4 binary64) %76)
(fma.f64 %5 #s(literal 1/4 binary64) %66)
(fma.f64 %5 #s(literal 1/4 binary64) %69)
(fma.f64 %80 #s(literal -2 binary64) %30)
(fma.f64 %82 #s(literal 2 binary64) %30)
(fma.f64 %36 #s(literal 2 binary64) %30)
(fma.f64 %85 %86 %30)
(fma.f64 %89 %2 %30)
(fma.f64 %92 %93 %30)
(fma.f64 %96 %97 %30)
(fma.f64 %97 %96 %30)
(fma.f64 %97 %100 %30)
(fma.f64 %102 %2 %30)
(fma.f64 %104 %93 %30)
(fma.f64 %86 %85 %30)
(fma.f64 %86 %107 %30)
(fma.f64 %93 %92 %30)
(fma.f64 %93 %104 %30)
(fma.f64 %107 %86 %30)
(fma.f64 %100 %97 %30)
(fma.f64 %2 %89 %30)
(fma.f64 %2 %102 %30)
(fma.f64 %10 #s(literal -1/4 binary64) %30)
(fma.f64 %10 #s(literal -1/2 binary64) %67)
(fma.f64 %10 #s(literal -1/2 binary64) %70)
(fma.f64 %10 #s(literal -1/2 binary64) %73)
(fma.f64 %10 #s(literal -1/2 binary64) %76)
(fma.f64 %10 #s(literal -1/2 binary64) %66)
(fma.f64 %10 #s(literal -1/2 binary64) %69)
(fma.f64 %3 #s(literal 1/4 binary64) %30)
(fma.f64 %3 #s(literal 1/2 binary64) %67)
(fma.f64 %3 #s(literal 1/2 binary64) %70)
(fma.f64 %3 #s(literal 1/2 binary64) %73)
(fma.f64 %3 #s(literal 1/2 binary64) %76)
(fma.f64 %3 #s(literal 1/2 binary64) %66)
(fma.f64 %3 #s(literal 1/2 binary64) %69)
(fma.f64 #s(literal 1/4 binary64) %3 %30)
(fma.f64 #s(literal -1/4 binary64) %10 %30)
(fma.f64 %91 %16 %30)
(fma.f64 %95 %15 %30)
(fma.f64 %29 y %30)
(fma.f64 %15 %95 %30)
(fma.f64 %15 %16 %67)
(fma.f64 %15 %16 %70)
(fma.f64 %15 %16 %73)
(fma.f64 %15 %16 %76)
(fma.f64 %15 %16 %66)
(fma.f64 %15 %16 %69)
(fma.f64 %18 #s(literal -1 binary64) %30)
(fma.f64 %18 #s(literal -2 binary64) %67)
(fma.f64 %18 #s(literal -2 binary64) %70)
(fma.f64 %18 #s(literal -2 binary64) %73)
(fma.f64 %18 #s(literal -2 binary64) %76)
(fma.f64 %18 #s(literal -2 binary64) %66)
(fma.f64 %18 #s(literal -2 binary64) %69)
(fma.f64 #s(literal -1/2 binary64) %22 %30)
(fma.f64 %16 %91 %30)
(fma.f64 %16 %15 %67)
(fma.f64 %16 %15 %70)
(fma.f64 %16 %15 %73)
(fma.f64 %16 %15 %76)
(fma.f64 %16 %15 %66)
(fma.f64 %16 %15 %69)
(fma.f64 #s(literal -1 binary64) %18 %30)
(fma.f64 #s(literal -1 binary64) %22 %67)
(fma.f64 #s(literal -1 binary64) %22 %70)
(fma.f64 #s(literal -1 binary64) %22 %73)
(fma.f64 #s(literal -1 binary64) %22 %76)
(fma.f64 #s(literal -1 binary64) %22 %66)
(fma.f64 #s(literal -1 binary64) %22 %69)
(fma.f64 %88 x %30)
(fma.f64 #s(literal 1/2 binary64) %3 %67)
(fma.f64 #s(literal 1/2 binary64) %3 %70)
(fma.f64 #s(literal 1/2 binary64) %3 %73)
(fma.f64 #s(literal 1/2 binary64) %3 %76)
(fma.f64 #s(literal 1/2 binary64) %3 %66)
(fma.f64 #s(literal 1/2 binary64) %3 %69)
(fma.f64 #s(literal 1/2 binary64) %9 %30)
(fma.f64 #s(literal -2 binary64) %18 %67)
(fma.f64 #s(literal -2 binary64) %18 %70)
(fma.f64 #s(literal -2 binary64) %18 %73)
(fma.f64 #s(literal -2 binary64) %18 %76)
(fma.f64 #s(literal -2 binary64) %18 %66)
(fma.f64 #s(literal -2 binary64) %18 %69)
(fma.f64 %22 #s(literal -1/2 binary64) %30)
(fma.f64 %22 #s(literal -1 binary64) %67)
(fma.f64 %22 #s(literal -1 binary64) %70)
(fma.f64 %22 #s(literal -1 binary64) %73)
(fma.f64 %22 #s(literal -1 binary64) %76)
(fma.f64 %22 #s(literal -1 binary64) %66)
(fma.f64 %22 #s(literal -1 binary64) %69)
(fma.f64 #s(literal 1 binary64) %30 %30)
(fma.f64 #s(literal 1 binary64) %9 %67)
(fma.f64 #s(literal 1 binary64) %9 %70)
(fma.f64 #s(literal 1 binary64) %9 %73)
(fma.f64 #s(literal 1 binary64) %9 %76)
(fma.f64 #s(literal 1 binary64) %9 %66)
(fma.f64 #s(literal 1 binary64) %9 %69)
(fma.f64 %30 #s(literal 1 binary64) %30)
(fma.f64 %30 #s(literal 2 binary64) %67)
(fma.f64 %30 #s(literal 2 binary64) %70)
(fma.f64 %30 #s(literal 2 binary64) %73)
(fma.f64 %30 #s(literal 2 binary64) %76)
(fma.f64 %30 #s(literal 2 binary64) %66)
(fma.f64 %30 #s(literal 2 binary64) %69)
(fma.f64 #s(literal 2 binary64) %199 %30)
(fma.f64 #s(literal 2 binary64) %201 %30)
(fma.f64 #s(literal 2 binary64) %82 %30)
(fma.f64 #s(literal 2 binary64) %36 %30)
(fma.f64 #s(literal 2 binary64) %30 %67)
(fma.f64 #s(literal 2 binary64) %30 %70)
(fma.f64 #s(literal 2 binary64) %30 %73)
(fma.f64 #s(literal 2 binary64) %30 %76)
(fma.f64 #s(literal 2 binary64) %30 %66)
(fma.f64 #s(literal 2 binary64) %30 %69)
(fma.f64 %9 #s(literal 1/2 binary64) %30)
(fma.f64 %9 #s(literal 1 binary64) %67)
(fma.f64 %9 #s(literal 1 binary64) %70)
(fma.f64 %9 #s(literal 1 binary64) %73)
(fma.f64 %9 #s(literal 1 binary64) %76)
(fma.f64 %9 #s(literal 1 binary64) %66)
(fma.f64 %9 #s(literal 1 binary64) %69)
(fma.f64 y %29 %30)
(fma.f64 y x %67)
(fma.f64 y x %70)
(fma.f64 y x %73)
(fma.f64 y x %76)
(fma.f64 y x %66)
(fma.f64 y x %69)
(fma.f64 x %88 %30)
(fma.f64 x y %67)
(fma.f64 x y %70)
(fma.f64 x y %73)
(fma.f64 x y %76)
(fma.f64 x y %66)
(fma.f64 x y %69)
(-.f64 %30 (*.f64 (neg.f64 %5) #s(literal 1/8 binary64)))
(-.f64 %30 %235)
(-.f64 %30 %237)
(-.f64 %30 %239)
(-.f64 %30 %241)
(-.f64 %30 %18)
(-.f64 %9 %66)
(-.f64 %9 %69)
(+.f64 %246 %246)
(+.f64 %30 %30)
(+.f64 %9 %67)
(+.f64 %9 %70)
(+.f64 %9 %73)
(+.f64 %9 %76)
(+.f64 %9 %66)
(+.f64 %9 %69)
#s(literal 2 binary64)
(*.f64 %5 #s(literal 1/8 binary64))
(*.f64 %80 #s(literal -2 binary64))
(*.f64 %82 #s(literal 2 binary64))
(*.f64 %36 #s(literal 2 binary64))
(*.f64 %85 %86)
(*.f64 %89 %2)
(*.f64 %92 %93)
(*.f64 %96 %97)
(*.f64 %97 %96)
(*.f64 %97 %100)
(*.f64 %102 %2)
(*.f64 %104 %93)
(*.f64 %86 %85)
(*.f64 %86 %107)
(*.f64 %93 %92)
(*.f64 %93 %104)
(*.f64 %107 %86)
(*.f64 %100 %97)
(*.f64 %2 %89)
(*.f64 %2 %102)
(*.f64 %10 #s(literal -1/4 binary64))
(*.f64 %3 #s(literal 1/4 binary64))
(*.f64 #s(literal 1/4 binary64) %3)
(*.f64 #s(literal -1/4 binary64) %10)
(*.f64 %91 %16)
(*.f64 %95 %15)
%30
(*.f64 %15 %95)
(*.f64 %18 #s(literal -1 binary64))
(*.f64 #s(literal -1/2 binary64) %22)
(*.f64 %16 %91)
(*.f64 #s(literal -1 binary64) %18)
(*.f64 %88 x)
(*.f64 #s(literal 1/2 binary64) %9)
(*.f64 %22 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %30)
(*.f64 %30 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %199)
(*.f64 #s(literal 2 binary64) %201)
(*.f64 #s(literal 2 binary64) %82)
(*.f64 #s(literal 2 binary64) %36)
(*.f64 %9 #s(literal 1/2 binary64))
(*.f64 y %29)
(*.f64 x %88)
(pow.f64 %30 #s(literal 1 binary64))
(/.f64 (/.f64 %9 #s(literal -4 binary64)) #s(literal -1/2 binary64))
(/.f64 %80 #s(literal -1/2 binary64))
(/.f64 %82 #s(literal 1/2 binary64))
(/.f64 %36 #s(literal 1/2 binary64))
(/.f64 %10 #s(literal -4 binary64))
(/.f64 %3 #s(literal 4 binary64))
(/.f64 %18 #s(literal -1 binary64))
(/.f64 %22 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %82))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %36))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %10))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %3))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %18))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %30))
(/.f64 #s(literal 1 binary64) (pow.f64 %30 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %22))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %9))
(/.f64 %30 #s(literal 1 binary64))
(/.f64 %9 #s(literal 2 binary64))
(neg.f64 %235)
(neg.f64 %237)
(neg.f64 %239)
(neg.f64 %241)
(neg.f64 %18)
(fma.f64 %5 #s(literal 1/8 binary64) %333)
(fma.f64 %5 #s(literal 1/8 binary64) %335)
(fma.f64 %5 #s(literal 1/8 binary64) %337)
(fma.f64 %5 #s(literal 1/8 binary64) %339)
(fma.f64 %5 #s(literal 1/8 binary64) %341)
(fma.f64 %5 #s(literal 1/8 binary64) %343)
(fma.f64 %5 #s(literal 1/8 binary64) %72)
(fma.f64 %5 #s(literal 1/8 binary64) %75)
(fma.f64 %80 #s(literal -2 binary64) %333)
(fma.f64 %80 #s(literal -2 binary64) %335)
(fma.f64 %80 #s(literal -2 binary64) %337)
(fma.f64 %80 #s(literal -2 binary64) %339)
(fma.f64 %80 #s(literal -2 binary64) %341)
(fma.f64 %80 #s(literal -2 binary64) %343)
(fma.f64 %80 #s(literal -2 binary64) %72)
(fma.f64 %80 #s(literal -2 binary64) %75)
(fma.f64 %82 #s(literal 2 binary64) %333)
(fma.f64 %82 #s(literal 2 binary64) %335)
(fma.f64 %82 #s(literal 2 binary64) %337)
(fma.f64 %82 #s(literal 2 binary64) %339)
(fma.f64 %82 #s(literal 2 binary64) %341)
(fma.f64 %82 #s(literal 2 binary64) %343)
(fma.f64 %82 #s(literal 2 binary64) %72)
(fma.f64 %82 #s(literal 2 binary64) %75)
(fma.f64 %36 #s(literal 2 binary64) %333)
(fma.f64 %36 #s(literal 2 binary64) %335)
(fma.f64 %36 #s(literal 2 binary64) %337)
(fma.f64 %36 #s(literal 2 binary64) %339)
(fma.f64 %36 #s(literal 2 binary64) %341)
(fma.f64 %36 #s(literal 2 binary64) %343)
(fma.f64 %36 #s(literal 2 binary64) %72)
(fma.f64 %36 #s(literal 2 binary64) %75)
(fma.f64 %85 %86 %333)
(fma.f64 %85 %86 %335)
(fma.f64 %85 %86 %337)
(fma.f64 %85 %86 %339)
(fma.f64 %85 %86 %341)
(fma.f64 %85 %86 %343)
(fma.f64 %85 %86 %72)
(fma.f64 %85 %86 %75)
(fma.f64 %89 %2 %333)
(fma.f64 %89 %2 %335)
(fma.f64 %89 %2 %337)
(fma.f64 %89 %2 %339)
(fma.f64 %89 %2 %341)
(fma.f64 %89 %2 %343)
(fma.f64 %89 %2 %72)
(fma.f64 %89 %2 %75)
(fma.f64 %92 %93 %333)
(fma.f64 %92 %93 %335)
(fma.f64 %92 %93 %337)
(fma.f64 %92 %93 %339)
(fma.f64 %92 %93 %341)
(fma.f64 %92 %93 %343)
(fma.f64 %92 %93 %72)
(fma.f64 %92 %93 %75)
(fma.f64 %96 %97 %333)
(fma.f64 %96 %97 %335)
(fma.f64 %96 %97 %337)
(fma.f64 %96 %97 %339)
(fma.f64 %96 %97 %341)
(fma.f64 %96 %97 %343)
(fma.f64 %96 %97 %72)
(fma.f64 %96 %97 %75)
(fma.f64 %97 %96 %333)
(fma.f64 %97 %96 %335)
(fma.f64 %97 %96 %337)
(fma.f64 %97 %96 %339)
(fma.f64 %97 %96 %341)
(fma.f64 %97 %96 %343)
(fma.f64 %97 %96 %72)
(fma.f64 %97 %96 %75)
(fma.f64 %97 %100 %333)
(fma.f64 %97 %100 %335)
(fma.f64 %97 %100 %337)
(fma.f64 %97 %100 %339)
(fma.f64 %97 %100 %341)
(fma.f64 %97 %100 %343)
(fma.f64 %97 %100 %72)
(fma.f64 %97 %100 %75)
(fma.f64 %102 %2 %333)
(fma.f64 %102 %2 %335)
(fma.f64 %102 %2 %337)
(fma.f64 %102 %2 %339)
(fma.f64 %102 %2 %341)
(fma.f64 %102 %2 %343)
(fma.f64 %102 %2 %72)
(fma.f64 %102 %2 %75)
(fma.f64 %104 %93 %333)
(fma.f64 %104 %93 %335)
(fma.f64 %104 %93 %337)
(fma.f64 %104 %93 %339)
(fma.f64 %104 %93 %341)
(fma.f64 %104 %93 %343)
(fma.f64 %104 %93 %72)
(fma.f64 %104 %93 %75)
(fma.f64 %86 %85 %333)
(fma.f64 %86 %85 %335)
(fma.f64 %86 %85 %337)
(fma.f64 %86 %85 %339)
(fma.f64 %86 %85 %341)
(fma.f64 %86 %85 %343)
(fma.f64 %86 %85 %72)
(fma.f64 %86 %85 %75)
(fma.f64 %86 %107 %333)
(fma.f64 %86 %107 %335)
(fma.f64 %86 %107 %337)
(fma.f64 %86 %107 %339)
(fma.f64 %86 %107 %341)
(fma.f64 %86 %107 %343)
(fma.f64 %86 %107 %72)
(fma.f64 %86 %107 %75)
(fma.f64 %93 %92 %333)
(fma.f64 %93 %92 %335)
(fma.f64 %93 %92 %337)
(fma.f64 %93 %92 %339)
(fma.f64 %93 %92 %341)
(fma.f64 %93 %92 %343)
(fma.f64 %93 %92 %72)
(fma.f64 %93 %92 %75)
(fma.f64 %93 %104 %333)
(fma.f64 %93 %104 %335)
(fma.f64 %93 %104 %337)
(fma.f64 %93 %104 %339)
(fma.f64 %93 %104 %341)
(fma.f64 %93 %104 %343)
(fma.f64 %93 %104 %72)
(fma.f64 %93 %104 %75)
(fma.f64 %107 %86 %333)
(fma.f64 %107 %86 %335)
(fma.f64 %107 %86 %337)
(fma.f64 %107 %86 %339)
(fma.f64 %107 %86 %341)
(fma.f64 %107 %86 %343)
(fma.f64 %107 %86 %72)
(fma.f64 %107 %86 %75)
(fma.f64 %100 %97 %333)
(fma.f64 %100 %97 %335)
(fma.f64 %100 %97 %337)
(fma.f64 %100 %97 %339)
(fma.f64 %100 %97 %341)
(fma.f64 %100 %97 %343)
(fma.f64 %100 %97 %72)
(fma.f64 %100 %97 %75)
(fma.f64 %2 %89 %333)
(fma.f64 %2 %89 %335)
(fma.f64 %2 %89 %337)
(fma.f64 %2 %89 %339)
(fma.f64 %2 %89 %341)
(fma.f64 %2 %89 %343)
(fma.f64 %2 %89 %72)
(fma.f64 %2 %89 %75)
(fma.f64 %2 %102 %333)
(fma.f64 %2 %102 %335)
(fma.f64 %2 %102 %337)
(fma.f64 %2 %102 %339)
(fma.f64 %2 %102 %341)
(fma.f64 %2 %102 %343)
(fma.f64 %2 %102 %72)
(fma.f64 %2 %102 %75)
(fma.f64 %10 #s(literal -1/4 binary64) %333)
(fma.f64 %10 #s(literal -1/4 binary64) %335)
(fma.f64 %10 #s(literal -1/4 binary64) %337)
(fma.f64 %10 #s(literal -1/4 binary64) %339)
(fma.f64 %10 #s(literal -1/4 binary64) %341)
(fma.f64 %10 #s(literal -1/4 binary64) %343)
(fma.f64 %10 #s(literal -1/4 binary64) %72)
(fma.f64 %10 #s(literal -1/4 binary64) %75)
(fma.f64 %3 #s(literal 1/4 binary64) %333)
(fma.f64 %3 #s(literal 1/4 binary64) %335)
(fma.f64 %3 #s(literal 1/4 binary64) %337)
(fma.f64 %3 #s(literal 1/4 binary64) %339)
(fma.f64 %3 #s(literal 1/4 binary64) %341)
(fma.f64 %3 #s(literal 1/4 binary64) %343)
(fma.f64 %3 #s(literal 1/4 binary64) %72)
(fma.f64 %3 #s(literal 1/4 binary64) %75)
(fma.f64 #s(literal 1/4 binary64) %3 %333)
(fma.f64 #s(literal 1/4 binary64) %3 %335)
(fma.f64 #s(literal 1/4 binary64) %3 %337)
(fma.f64 #s(literal 1/4 binary64) %3 %339)
(fma.f64 #s(literal 1/4 binary64) %3 %341)
(fma.f64 #s(literal 1/4 binary64) %3 %343)
(fma.f64 #s(literal 1/4 binary64) %3 %72)
(fma.f64 #s(literal 1/4 binary64) %3 %75)
(fma.f64 #s(literal -1/4 binary64) %10 %333)
(fma.f64 #s(literal -1/4 binary64) %10 %335)
(fma.f64 #s(literal -1/4 binary64) %10 %337)
(fma.f64 #s(literal -1/4 binary64) %10 %339)
(fma.f64 #s(literal -1/4 binary64) %10 %341)
(fma.f64 #s(literal -1/4 binary64) %10 %343)
(fma.f64 #s(literal -1/4 binary64) %10 %72)
(fma.f64 #s(literal -1/4 binary64) %10 %75)
(fma.f64 %91 %16 %333)
(fma.f64 %91 %16 %335)
(fma.f64 %91 %16 %337)
(fma.f64 %91 %16 %339)
(fma.f64 %91 %16 %341)
(fma.f64 %91 %16 %343)
(fma.f64 %91 %16 %72)
(fma.f64 %91 %16 %75)
(fma.f64 %95 %15 %333)
(fma.f64 %95 %15 %335)
(fma.f64 %95 %15 %337)
(fma.f64 %95 %15 %339)
(fma.f64 %95 %15 %341)
(fma.f64 %95 %15 %343)
(fma.f64 %95 %15 %72)
(fma.f64 %95 %15 %75)
(fma.f64 %29 y %333)
(fma.f64 %29 y %335)
(fma.f64 %29 y %337)
(fma.f64 %29 y %339)
(fma.f64 %29 y %341)
(fma.f64 %29 y %343)
(fma.f64 %29 y %72)
(fma.f64 %29 y %75)
(fma.f64 %15 %95 %333)
(fma.f64 %15 %95 %335)
(fma.f64 %15 %95 %337)
(fma.f64 %15 %95 %339)
(fma.f64 %15 %95 %341)
(fma.f64 %15 %95 %343)
(fma.f64 %15 %95 %72)
(fma.f64 %15 %95 %75)
(fma.f64 %18 #s(literal -1/2 binary64) %82)
(fma.f64 %18 #s(literal -1 binary64) %333)
(fma.f64 %18 #s(literal -1 binary64) %335)
(fma.f64 %18 #s(literal -1 binary64) %337)
(fma.f64 %18 #s(literal -1 binary64) %339)
(fma.f64 %18 #s(literal -1 binary64) %341)
(fma.f64 %18 #s(literal -1 binary64) %343)
(fma.f64 %18 #s(literal -1 binary64) %72)
(fma.f64 %18 #s(literal -1 binary64) %75)
(fma.f64 #s(literal -1/2 binary64) %22 %333)
(fma.f64 #s(literal -1/2 binary64) %22 %335)
(fma.f64 #s(literal -1/2 binary64) %22 %337)
(fma.f64 #s(literal -1/2 binary64) %22 %339)
(fma.f64 #s(literal -1/2 binary64) %22 %341)
(fma.f64 #s(literal -1/2 binary64) %22 %343)
(fma.f64 #s(literal -1/2 binary64) %22 %72)
(fma.f64 #s(literal -1/2 binary64) %22 %75)
(fma.f64 %16 %91 %333)
(fma.f64 %16 %91 %335)
(fma.f64 %16 %91 %337)
(fma.f64 %16 %91 %339)
(fma.f64 %16 %91 %341)
(fma.f64 %16 %91 %343)
(fma.f64 %16 %91 %72)
(fma.f64 %16 %91 %75)
(fma.f64 #s(literal -1 binary64) %18 %333)
(fma.f64 #s(literal -1 binary64) %18 %335)
(fma.f64 #s(literal -1 binary64) %18 %337)
(fma.f64 #s(literal -1 binary64) %18 %339)
(fma.f64 #s(literal -1 binary64) %18 %341)
(fma.f64 #s(literal -1 binary64) %18 %343)
(fma.f64 #s(literal -1 binary64) %18 %72)
(fma.f64 #s(literal -1 binary64) %18 %75)
(fma.f64 %88 x %333)
(fma.f64 %88 x %335)
(fma.f64 %88 x %337)
(fma.f64 %88 x %339)
(fma.f64 %88 x %341)
(fma.f64 %88 x %343)
(fma.f64 %88 x %72)
(fma.f64 %88 x %75)
(fma.f64 #s(literal 1/2 binary64) %30 %201)
(fma.f64 #s(literal 1/2 binary64) %9 %333)
(fma.f64 #s(literal 1/2 binary64) %9 %335)
(fma.f64 #s(literal 1/2 binary64) %9 %337)
(fma.f64 #s(literal 1/2 binary64) %9 %339)
(fma.f64 #s(literal 1/2 binary64) %9 %341)
(fma.f64 #s(literal 1/2 binary64) %9 %343)
(fma.f64 #s(literal 1/2 binary64) %9 %72)
(fma.f64 #s(literal 1/2 binary64) %9 %75)
(fma.f64 %22 #s(literal -1/2 binary64) %333)
(fma.f64 %22 #s(literal -1/2 binary64) %335)
(fma.f64 %22 #s(literal -1/2 binary64) %337)
(fma.f64 %22 #s(literal -1/2 binary64) %339)
(fma.f64 %22 #s(literal -1/2 binary64) %341)
(fma.f64 %22 #s(literal -1/2 binary64) %343)
(fma.f64 %22 #s(literal -1/2 binary64) %72)
(fma.f64 %22 #s(literal -1/2 binary64) %75)
(fma.f64 #s(literal 1 binary64) %30 %333)
(fma.f64 #s(literal 1 binary64) %30 %335)
(fma.f64 #s(literal 1 binary64) %30 %337)
(fma.f64 #s(literal 1 binary64) %30 %339)
(fma.f64 #s(literal 1 binary64) %30 %341)
(fma.f64 #s(literal 1 binary64) %30 %343)
(fma.f64 #s(literal 1 binary64) %30 %72)
(fma.f64 #s(literal 1 binary64) %30 %75)
(fma.f64 %30 #s(literal 1/2 binary64) %82)
(fma.f64 %30 #s(literal 1 binary64) %333)
(fma.f64 %30 #s(literal 1 binary64) %335)
(fma.f64 %30 #s(literal 1 binary64) %337)
(fma.f64 %30 #s(literal 1 binary64) %339)
(fma.f64 %30 #s(literal 1 binary64) %341)
(fma.f64 %30 #s(literal 1 binary64) %343)
(fma.f64 %30 #s(literal 1 binary64) %72)
(fma.f64 %30 #s(literal 1 binary64) %75)
(fma.f64 #s(literal 2 binary64) %199 %333)
(fma.f64 #s(literal 2 binary64) %199 %335)
(fma.f64 #s(literal 2 binary64) %199 %337)
(fma.f64 #s(literal 2 binary64) %199 %339)
(fma.f64 #s(literal 2 binary64) %199 %341)
(fma.f64 #s(literal 2 binary64) %199 %343)
(fma.f64 #s(literal 2 binary64) %199 %72)
(fma.f64 #s(literal 2 binary64) %199 %75)
(fma.f64 #s(literal 2 binary64) %201 %333)
(fma.f64 #s(literal 2 binary64) %201 %335)
(fma.f64 #s(literal 2 binary64) %201 %337)
(fma.f64 #s(literal 2 binary64) %201 %339)
(fma.f64 #s(literal 2 binary64) %201 %341)
(fma.f64 #s(literal 2 binary64) %201 %343)
(fma.f64 #s(literal 2 binary64) %201 %72)
(fma.f64 #s(literal 2 binary64) %201 %75)
(fma.f64 #s(literal 2 binary64) %82 %333)
(fma.f64 #s(literal 2 binary64) %82 %335)
(fma.f64 #s(literal 2 binary64) %82 %337)
(fma.f64 #s(literal 2 binary64) %82 %339)
(fma.f64 #s(literal 2 binary64) %82 %341)
(fma.f64 #s(literal 2 binary64) %82 %343)
(fma.f64 #s(literal 2 binary64) %82 %72)
(fma.f64 #s(literal 2 binary64) %82 %75)
(fma.f64 #s(literal 2 binary64) %36 %333)
(fma.f64 #s(literal 2 binary64) %36 %335)
(fma.f64 #s(literal 2 binary64) %36 %337)
(fma.f64 #s(literal 2 binary64) %36 %339)
(fma.f64 #s(literal 2 binary64) %36 %341)
(fma.f64 #s(literal 2 binary64) %36 %343)
(fma.f64 #s(literal 2 binary64) %36 %72)
(fma.f64 #s(literal 2 binary64) %36 %75)
(fma.f64 %9 #s(literal 1/4 binary64) %82)
(fma.f64 %9 #s(literal 1/4 binary64) %36)
(fma.f64 %9 #s(literal 1/2 binary64) %333)
(fma.f64 %9 #s(literal 1/2 binary64) %335)
(fma.f64 %9 #s(literal 1/2 binary64) %337)
(fma.f64 %9 #s(literal 1/2 binary64) %339)
(fma.f64 %9 #s(literal 1/2 binary64) %341)
(fma.f64 %9 #s(literal 1/2 binary64) %343)
(fma.f64 %9 #s(literal 1/2 binary64) %72)
(fma.f64 %9 #s(literal 1/2 binary64) %75)
(fma.f64 y %29 %333)
(fma.f64 y %29 %335)
(fma.f64 y %29 %337)
(fma.f64 y %29 %339)
(fma.f64 y %29 %341)
(fma.f64 y %29 %343)
(fma.f64 y %29 %72)
(fma.f64 y %29 %75)
(fma.f64 x %88 %333)
(fma.f64 x %88 %335)
(fma.f64 x %88 %337)
(fma.f64 x %88 %339)
(fma.f64 x %88 %341)
(fma.f64 x %88 %343)
(fma.f64 x %88 %72)
(fma.f64 x %88 %75)
(-.f64 %201 (*.f64 #s(literal -1/2 binary64) %30))
(-.f64 %201 (neg.f64 %201))
(-.f64 %82 %80)
(-.f64 %30 (*.f64 %18 #s(literal 0 binary64)))
(-.f64 %30 %72)
(-.f64 %30 %75)
(+.f64 %705 %705)
(+.f64 %707 %707)
(+.f64 %201 %201)
(+.f64 %82 %82)
(+.f64 %36 %82)
(+.f64 %36 %36)
(+.f64 %30 %333)
(+.f64 %30 %335)
(+.f64 %30 %337)
(+.f64 %30 %339)
(+.f64 %30 %341)
(+.f64 %30 %343)
(+.f64 %30 %72)
(+.f64 %30 %75)
reconstruct54.0ms (7.4%)
Counts
643 → 24
Compiler
Compiled 643 to 722 computations (-12.3% saved)
eval2.0ms (0.2%)
Compiler
Compiled 22 to 57 computations (-159.1% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (1 fresh and 0 done)
PrunedKeptTotal
New21122
Fresh000
Picked101
Done000
Total22123
Accuracy
100.0%
Counts
23 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 x (*.f64 #s(literal 1/2 binary64) y))
Compiler
Compiled 1 to 5 computations (-400.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01327
Stop Event
1×iter-limit
Counts
5 → 5
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal 1/2 binary64) y)
x
y
#s(literal 1/2 binary64)
%3
(*.f64 x %3)
Outputs
%6 = (* 1/2 y)
(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 1/2 binary64) y))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
inf
0.0ms
x
-inf
0.0ms
y
0
rewrite83.0ms (11.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
11711
23111
34611
49811
548511
0410611
0417911
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 197
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal 1/2 binary64) y)
x
y
#s(literal 1/2 binary64)
%3
(*.f64 x %3)
Outputs
%4 = (/.f64 y #s(literal -16 binary64))
%8 = (/.f64 y #s(literal 16 binary64))
%11 = (/.f64 y #s(literal -8 binary64))
%14 = (/.f64 y #s(literal -4 binary64))
%17 = (/.f64 y #s(literal 8 binary64))
%20 = (/.f64 y #s(literal 4 binary64))
%24 = (*.f64 #s(literal 1/2 binary64) y)
%29 = (neg.f64 y)
%38 = (*.f64 #s(literal -1 binary64) %24)
%41 = (*.f64 #s(literal -1/2 binary64) y)
%43 = (*.f64 %24 #s(literal -1 binary64))
%45 = (*.f64 y #s(literal -1/2 binary64))
%50 = (*.f64 %24 #s(literal 0 binary64))
%52 = (*.f64 #s(literal 0 binary64) %24)
%72 = (*.f64 #s(literal 1/4 binary64) %24)
%74 = (*.f64 #s(literal 3/4 binary64) %24)
%76 = (*.f64 #s(literal 1/4 binary64) y)
%79 = (*.f64 #s(literal 2 binary64) %24)
%86 = (*.f64 %24 #s(literal 1/4 binary64))
%88 = (*.f64 %24 #s(literal 3/4 binary64))
%90 = (*.f64 %24 #s(literal 2 binary64))
%97 = (*.f64 %24 #s(literal 1/2 binary64))
%99 = (*.f64 #s(literal 1/2 binary64) %24)
%104 = (*.f64 y #s(literal 1/4 binary64))
%133 = (*.f64 y x)
%134 = (/.f64 %133 #s(literal -16 binary64))
%136 = (/.f64 %133 #s(literal 16 binary64))
%138 = (/.f64 %133 #s(literal -8 binary64))
%140 = (/.f64 %133 #s(literal -4 binary64))
%142 = (/.f64 %133 #s(literal 8 binary64))
%144 = (/.f64 %133 #s(literal 4 binary64))
%147 = (*.f64 #s(literal 1/2 binary64) x)
%149 = (*.f64 %24 x)
%156 = (neg.f64 %133)
%164 = (*.f64 #s(literal -1 binary64) %149)
%166 = (*.f64 #s(literal -1/2 binary64) %133)
%168 = (*.f64 %133 #s(literal -1/2 binary64))
%170 = (*.f64 %149 #s(literal -1 binary64))
%174 = (*.f64 %149 #s(literal 0 binary64))
%176 = (*.f64 #s(literal 0 binary64) %149)
%194 = (*.f64 #s(literal 1/4 binary64) %149)
%196 = (*.f64 #s(literal 1/4 binary64) %133)
%198 = (*.f64 #s(literal 3/4 binary64) %149)
%201 = (*.f64 #s(literal 2 binary64) %149)
%203 = (*.f64 %133 #s(literal 1/4 binary64))
%217 = (*.f64 %149 #s(literal 1/4 binary64))
%219 = (*.f64 %149 #s(literal 3/4 binary64))
%221 = (*.f64 %149 #s(literal 2 binary64))
%228 = (*.f64 %149 #s(literal 1/2 binary64))
%236 = (*.f64 #s(literal 1/2 binary64) %149)
x
y
#s(literal 1/2 binary64)
(*.f64 %4 #s(literal -8 binary64))
(*.f64 %8 #s(literal 8 binary64))
(*.f64 %11 #s(literal -4 binary64))
(*.f64 %14 #s(literal -2 binary64))
(*.f64 %17 #s(literal 4 binary64))
(*.f64 %20 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %24)
(*.f64 %24 #s(literal 1 binary64))
%24
(*.f64 y #s(literal 1/2 binary64))
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 %29 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) y))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(/.f64 %24 #s(literal 1 binary64))
(/.f64 y #s(literal 2 binary64))
(neg.f64 %38)
(neg.f64 %41)
(neg.f64 %43)
(neg.f64 %45)
(neg.f64 (/.f64 y #s(literal -2 binary64)))
(fma.f64 %4 #s(literal -8 binary64) %50)
(fma.f64 %4 #s(literal -8 binary64) %52)
(fma.f64 %4 #s(literal -8 binary64) #s(literal 0 binary64))
(fma.f64 %8 #s(literal 8 binary64) %50)
(fma.f64 %8 #s(literal 8 binary64) %52)
(fma.f64 %8 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %11 #s(literal -4 binary64) %50)
(fma.f64 %11 #s(literal -4 binary64) %52)
(fma.f64 %11 #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 %14 #s(literal -2 binary64) %50)
(fma.f64 %14 #s(literal -2 binary64) %52)
(fma.f64 %14 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %17 #s(literal 4 binary64) %50)
(fma.f64 %17 #s(literal 4 binary64) %52)
(fma.f64 %17 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %20 #s(literal 2 binary64) %50)
(fma.f64 %20 #s(literal 2 binary64) %52)
(fma.f64 %20 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/4 binary64) %24 %72)
(fma.f64 #s(literal 1/4 binary64) %24 %74)
(fma.f64 #s(literal 1/4 binary64) y %76)
(fma.f64 #s(literal -1/2 binary64) y y)
(fma.f64 #s(literal -1 binary64) %24 %79)
(fma.f64 #s(literal 2 binary64) %24 %38)
(fma.f64 #s(literal 0 binary64) %24 %24)
(fma.f64 #s(literal 1 binary64) %24 %50)
(fma.f64 #s(literal 1 binary64) %24 %52)
(fma.f64 #s(literal 1 binary64) %24 #s(literal 0 binary64))
(fma.f64 %24 #s(literal 3/4 binary64) %86)
(fma.f64 %24 #s(literal 1/4 binary64) %88)
(fma.f64 %24 #s(literal -1 binary64) %90)
(fma.f64 %24 #s(literal 2 binary64) %43)
(fma.f64 %24 #s(literal 0 binary64) %24)
(fma.f64 %24 #s(literal 1 binary64) %50)
(fma.f64 %24 #s(literal 1 binary64) %52)
(fma.f64 %24 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %24 #s(literal 1/2 binary64) %97)
(fma.f64 #s(literal 1/2 binary64) %24 %99)
(fma.f64 #s(literal 1/2 binary64) y %50)
(fma.f64 #s(literal 1/2 binary64) y %52)
(fma.f64 #s(literal 1/2 binary64) y #s(literal 0 binary64))
(fma.f64 y #s(literal 1/4 binary64) %104)
(fma.f64 y #s(literal -1/2 binary64) y)
(fma.f64 y #s(literal 1/2 binary64) %50)
(fma.f64 y #s(literal 1/2 binary64) %52)
(fma.f64 y #s(literal 1/2 binary64) #s(literal 0 binary64))
(-.f64 %24 (*.f64 %29 #s(literal 0 binary64)))
(-.f64 %24 #s(literal 0 binary64))
(+.f64 %88 %86)
(+.f64 %86 %88)
(+.f64 %90 %43)
(+.f64 %50 %24)
(+.f64 %97 %97)
(+.f64 %104 %104)
(+.f64 %74 %72)
(+.f64 %72 %74)
(+.f64 %79 %38)
(+.f64 %52 %24)
(+.f64 %99 %99)
(+.f64 %76 %76)
(+.f64 %38 %79)
(+.f64 %41 y)
(+.f64 %43 %90)
(+.f64 %45 y)
(+.f64 #s(literal 0 binary64) %24)
(+.f64 %24 %50)
(+.f64 %24 %52)
(+.f64 %24 #s(literal 0 binary64))
(*.f64 %134 #s(literal -8 binary64))
(*.f64 %136 #s(literal 8 binary64))
(*.f64 %138 #s(literal -4 binary64))
(*.f64 %140 #s(literal -2 binary64))
(*.f64 %142 #s(literal 4 binary64))
(*.f64 %144 #s(literal 2 binary64))
(*.f64 %133 #s(literal 1/2 binary64))
(*.f64 %147 y)
(*.f64 #s(literal 1 binary64) %149)
(*.f64 %149 #s(literal 1 binary64))
%149
(*.f64 #s(literal 1/2 binary64) %133)
(*.f64 y %147)
(*.f64 x %24)
(pow.f64 %149 #s(literal 1 binary64))
(/.f64 %156 #s(literal -2 binary64))
(/.f64 %133 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %133))
(/.f64 #s(literal 1 binary64) (pow.f64 %149 #s(literal -1 binary64)))
(/.f64 %149 #s(literal 1 binary64))
(neg.f64 %164)
(neg.f64 %166)
(neg.f64 %168)
(neg.f64 %170)
(neg.f64 (/.f64 %133 #s(literal -2 binary64)))
(fma.f64 %134 #s(literal -8 binary64) %174)
(fma.f64 %134 #s(literal -8 binary64) %176)
(fma.f64 %134 #s(literal -8 binary64) #s(literal 0 binary64))
(fma.f64 %136 #s(literal 8 binary64) %174)
(fma.f64 %136 #s(literal 8 binary64) %176)
(fma.f64 %136 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %138 #s(literal -4 binary64) %174)
(fma.f64 %138 #s(literal -4 binary64) %176)
(fma.f64 %138 #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 %140 #s(literal -2 binary64) %174)
(fma.f64 %140 #s(literal -2 binary64) %176)
(fma.f64 %140 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %142 #s(literal 4 binary64) %174)
(fma.f64 %142 #s(literal 4 binary64) %176)
(fma.f64 %142 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %144 #s(literal 2 binary64) %174)
(fma.f64 %144 #s(literal 2 binary64) %176)
(fma.f64 %144 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/4 binary64) %149 %194)
(fma.f64 #s(literal 1/4 binary64) %133 %196)
(fma.f64 #s(literal 1/4 binary64) %149 %198)
(fma.f64 #s(literal -1/2 binary64) %133 %133)
(fma.f64 #s(literal -1 binary64) %149 %201)
(fma.f64 %133 #s(literal 1/4 binary64) %203)
(fma.f64 %133 #s(literal -1/2 binary64) %133)
(fma.f64 %133 #s(literal 1/2 binary64) %174)
(fma.f64 %133 #s(literal 1/2 binary64) %176)
(fma.f64 %133 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %149 %164)
(fma.f64 #s(literal 0 binary64) %149 %149)
(fma.f64 %147 y %174)
(fma.f64 %147 y %176)
(fma.f64 %147 y #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %149 %174)
(fma.f64 #s(literal 1 binary64) %149 %176)
(fma.f64 #s(literal 1 binary64) %149 #s(literal 0 binary64))
(fma.f64 %149 #s(literal 3/4 binary64) %217)
(fma.f64 %149 #s(literal 1/4 binary64) %219)
(fma.f64 %149 #s(literal -1 binary64) %221)
(fma.f64 %149 #s(literal 2 binary64) %170)
(fma.f64 %149 #s(literal 0 binary64) %149)
(fma.f64 %149 #s(literal 1 binary64) %174)
(fma.f64 %149 #s(literal 1 binary64) %176)
(fma.f64 %149 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %149 #s(literal 1/2 binary64) %228)
(fma.f64 %24 x %174)
(fma.f64 %24 x %176)
(fma.f64 %24 x #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %133 %174)
(fma.f64 #s(literal 1/2 binary64) %133 %176)
(fma.f64 #s(literal 1/2 binary64) %133 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %149 %236)
(fma.f64 y %147 %174)
(fma.f64 y %147 %176)
(fma.f64 y %147 #s(literal 0 binary64))
(fma.f64 x %24 %174)
(fma.f64 x %24 %176)
(fma.f64 x %24 #s(literal 0 binary64))
(-.f64 %149 (*.f64 %156 #s(literal 0 binary64)))
(-.f64 %149 #s(literal 0 binary64))
(+.f64 %219 %217)
(+.f64 %217 %219)
(+.f64 %221 %170)
(+.f64 %174 %149)
(+.f64 %228 %228)
(+.f64 %203 %203)
(+.f64 %198 %194)
(+.f64 %194 %198)
(+.f64 %201 %164)
(+.f64 %176 %149)
(+.f64 %236 %236)
(+.f64 %196 %196)
(+.f64 %164 %201)
(+.f64 %166 %133)
(+.f64 %168 %133)
(+.f64 %170 %221)
(+.f64 #s(literal 0 binary64) %149)
(+.f64 %149 %174)
(+.f64 %149 %176)
(+.f64 %149 #s(literal 0 binary64))
reconstruct16.0ms (2.2%)
Counts
202 → 15
Compiler
Compiled 202 to 269 computations (-33.2% saved)
eval1.0ms (0.2%)
Compiler
Compiled 12 to 33 computations (-175.0% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (0 fresh and 1 done)
PrunedKeptTotal
New12012
Fresh000
Picked011
Done000
Total12113
Accuracy
100.0%
Counts
13 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 x (*.f64 #s(literal 1/2 binary64) y))
Compiler
Compiled 1 to 5 computations (-400.0% saved)
regimes7.0ms (0.9%)
Accuracy
Total 0.0b remaining (0%)
Threshold costs 0.0b (0%)
Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 x (*.f64 #s(literal 1/2 binary64) y))
Outputs
(*.f64 x (*.f64 #s(literal 1/2 binary64) y))
Calls
4 calls:
2.0ms
x
2.0ms
y
2.0ms
(/.f64 (*.f64 x y) #s(literal 2 binary64))
2.0ms
(*.f64 x y)
Results
AccuracySegmentsBranch
100.0%1
y
100.0%1
x
100.0%1
(/.f64 (*.f64 x y) #s(literal 2 binary64))
100.0%1
(*.f64 x y)
Compiler
Compiled 6 to 13 computations (-116.7% saved)
bsearch0.0ms (0.0%)
derivations24.0ms (3.4%)
Stop Event
1×done
Compiler
Compiled 1 to 5 computations (-400.0% saved)
preprocess9.0ms (1.2%)
Compiler
Compiled 8 to 40 computations (-400.0% saved)
end0.0ms (0.0%)
gc94ms (12.9%)
Allocations
AllocatedPercentPhase
178.1 MiB43.6%sample
80.9 MiB19.8%rewrite
57.8 MiB14.2%reconstruct
29.6 MiB7.3%preprocess
26.2 MiB6.4%derivations
15.8 MiB3.9%series
12.8 MiB3.1%regimes
4.3 MiB1.1%prune
2.3 MiB0.6%eval
0.2 MiB0.1%analyze
0.1 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
408.3 MiB100.0%total
Profiling
Loading profile data...