Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendOutside from plot-0.2.3.4, C

Time bar (total: 1.5s)

start0.0ms (0.0%)

analyze1.0ms (0.0%)

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

Compiled 11 to 10 computations (9.1% saved)

sample393.0ms (25.7%)

Samples
298.0ms7 989×0valid
7.0ms114×2valid
5.0ms153×1valid
Precisions
Click to see histograms. Total time spent on operations: 14.0ms
Mul: 7.0ms (51.3% of total, 0.0 MiB)
Add: 6.0ms (44.0% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess48.0ms (3.1%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03495
116290
256890
3112790
4148390
5201890
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z #s(literal 5 binary64)))
Compiler

Compiled 2 to 16 computations (-700.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series15.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0108432
Stop Event
1×iter-limit
Counts
8 → 30
Calls
Call 1
Inputs
%3 = (+.f64 y z)
%4 = (*.f64 x %3)
%6 = (*.f64 z #s(literal 5 binary64))
x
y
z
%3
%4
#s(literal 5 binary64)
%6
(+.f64 %4 %6)
Outputs
%6 = (+ y z)
%7 = (* x %6)
%8 = (+.f64 y z)
%9 = (*.f64 x %8)
%13 = (+ %7 (* z 5))
%19 = (/.f64 z x)
%35 = (*.f64 x z)
%37 = (fma.f64 x y %35)
%39 = (fma.f64 #s(literal 5 binary64) z %35)
%44 = (/.f64 z y)
%48 = (*.f64 x y)
%50 = (/.f64 %35 y)
%75 = (*.f64 z (+.f64 #s(literal 5 binary64) x))
%78 = (/.f64 y z)
%82 = (/.f64 %48 z)
%83 = (+.f64 x %82)
%96 = (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %82))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %13 (*.f64 #s(literal 5 binary64) z))
(approx %13 (fma.f64 #s(literal 5 binary64) z %9))
(approx %13 (*.f64 x (+.f64 y (+.f64 z (*.f64 #s(literal 5 binary64) %19)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %19 (*.f64 #s(literal -1 binary64) %8)))))
(approx y y)
(approx %6 z)
(approx %6 %8)
(approx %7 %35)
(approx %7 %37)
(approx %13 %39)
(approx %13 (fma.f64 #s(literal 5 binary64) z %37))
(approx %6 (*.f64 y (+.f64 #s(literal 1 binary64) %44)))
(approx %7 %48)
(approx %7 (*.f64 y (+.f64 x %50)))
(approx %13 (*.f64 y (+.f64 x (fma.f64 #s(literal 5 binary64) %44 %50))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %44) #s(literal 1 binary64)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %50)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %39 y))))))
(approx %13 (fma.f64 x y %75))
(approx %6 (*.f64 z (+.f64 #s(literal 1 binary64) %78)))
(approx %7 (*.f64 z %83))
(approx %13 %75)
(approx %13 (*.f64 z (+.f64 #s(literal 5 binary64) %83)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %78) #s(literal 1 binary64)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 z %96)))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 5 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %96 #s(literal 5 binary64)))))
Calls
9 calls:
TimeVariablePoint
2.0ms
x
inf
2.0ms
z
-inf
1.0ms
z
inf
1.0ms
y
-inf
1.0ms
x
-inf
rewrite69.0ms (4.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0824
01224
13724
210524
325424
449224
593024
0402124
0424523
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 116
Calls
Call 1
Inputs
%3 = (+.f64 y z)
%4 = (*.f64 x %3)
%6 = (*.f64 z #s(literal 5 binary64))
x
y
z
%3
%4
#s(literal 5 binary64)
%6
(+.f64 %4 %6)
Outputs
%4 = (+.f64 z y)
%5 = (neg.f64 %4)
%13 = (*.f64 y #s(literal 1 binary64))
%15 = (*.f64 z #s(literal 1 binary64))
%17 = (neg.f64 y)
%19 = (neg.f64 z)
%24 = (*.f64 %4 x)
%25 = (neg.f64 %24)
%27 = (neg.f64 x)
%36 = (*.f64 %27 y)
%37 = (*.f64 z x)
%39 = (*.f64 %19 x)
%40 = (*.f64 y x)
%45 = (*.f64 %40 #s(literal 1 binary64))
%47 = (*.f64 %37 #s(literal 1 binary64))
%64 = (*.f64 #s(literal -5 binary64) z)
%68 = (*.f64 #s(literal 5 binary64) z)
%75 = (-.f64 #s(literal -5 binary64) x)
%76 = (*.f64 %75 z)
%77 = (-.f64 %76 %40)
%79 = (fma.f64 #s(literal 5 binary64) z %24)
%86 = (-.f64 %64 %40)
%89 = (-.f64 x #s(literal -5 binary64))
%90 = (*.f64 %89 z)
%93 = (fma.f64 #s(literal 5 binary64) z %40)
%105 = (*.f64 %93 #s(literal 1 binary64))
%107 = (*.f64 %90 #s(literal 1 binary64))
%118 = (*.f64 %24 #s(literal 1 binary64))
%120 = (*.f64 %68 #s(literal 1 binary64))
x
y
z
(*.f64 #s(literal -1 binary64) %5)
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %5)
(fma.f64 z #s(literal 1 binary64) %13)
(fma.f64 y #s(literal 1 binary64) %15)
(-.f64 z %17)
(-.f64 y %19)
(+.f64 %15 %13)
(+.f64 %13 %15)
%4
(+.f64 y z)
(*.f64 #s(literal -1 binary64) %25)
(*.f64 %27 %5)
(*.f64 %5 %27)
(*.f64 #s(literal 1 binary64) %24)
%24
(*.f64 x %4)
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(neg.f64 %25)
(fma.f64 #s(literal -1 binary64) %36 %37)
(fma.f64 #s(literal -1 binary64) %39 %40)
(fma.f64 %27 %17 %37)
(fma.f64 %27 %19 %40)
(fma.f64 %17 %27 %37)
(fma.f64 %37 #s(literal 1 binary64) %45)
(fma.f64 %40 #s(literal 1 binary64) %47)
(fma.f64 %19 %27 %40)
(fma.f64 #s(literal 1 binary64) %37 %40)
(fma.f64 #s(literal 1 binary64) %40 %37)
(fma.f64 z x %40)
(fma.f64 y x %37)
(fma.f64 x z %40)
(fma.f64 x y %37)
(-.f64 %37 %36)
(-.f64 %40 %39)
(+.f64 %47 %45)
(+.f64 %45 %47)
(+.f64 %37 %40)
(+.f64 %40 %37)
#s(literal 5 binary64)
(*.f64 #s(literal -1 binary64) %64)
(*.f64 #s(literal -5 binary64) %19)
(*.f64 %19 #s(literal -5 binary64))
(*.f64 #s(literal 1 binary64) %68)
%68
(*.f64 z #s(literal 5 binary64))
(pow.f64 %68 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %68 #s(literal -1 binary64)))
(neg.f64 %64)
(*.f64 #s(literal -1 binary64) %77)
(*.f64 #s(literal 1 binary64) %79)
(pow.f64 %79 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %79 #s(literal -1 binary64)))
(neg.f64 %77)
(fma.f64 %75 %19 %40)
(fma.f64 #s(literal -1 binary64) %86 %37)
(fma.f64 #s(literal -1 binary64) %76 %40)
(fma.f64 #s(literal -1 binary64) %36 %90)
(fma.f64 #s(literal -1 binary64) %25 %68)
(fma.f64 #s(literal -1 binary64) %39 %93)
(fma.f64 #s(literal -1 binary64) %64 %24)
(fma.f64 %89 z %40)
(fma.f64 %93 #s(literal 1 binary64) %47)
(fma.f64 %90 #s(literal 1 binary64) %45)
(fma.f64 #s(literal -5 binary64) %19 %24)
(fma.f64 %27 %5 %68)
(fma.f64 %27 %17 %90)
(fma.f64 %27 %19 %93)
(fma.f64 %5 %27 %68)
(fma.f64 %17 %27 %90)
(fma.f64 %37 #s(literal 1 binary64) %105)
(fma.f64 %40 #s(literal 1 binary64) %107)
(fma.f64 %19 %75 %40)
(fma.f64 %19 #s(literal -5 binary64) %24)
(fma.f64 %19 %27 %93)
(fma.f64 #s(literal 1 binary64) %93 %37)
(fma.f64 #s(literal 1 binary64) %90 %40)
(fma.f64 #s(literal 1 binary64) %37 %93)
(fma.f64 #s(literal 1 binary64) %40 %90)
(fma.f64 #s(literal 1 binary64) %68 %24)
(fma.f64 #s(literal 1 binary64) %24 %68)
(fma.f64 %68 #s(literal 1 binary64) %118)
%79
(fma.f64 %24 #s(literal 1 binary64) %120)
(fma.f64 %4 x %68)
(fma.f64 z %89 %40)
(fma.f64 z #s(literal 5 binary64) %24)
(fma.f64 z x %93)
(fma.f64 y x %90)
(fma.f64 x %4 %68)
(fma.f64 x z %93)
(fma.f64 x y %90)
(-.f64 %93 %39)
(-.f64 %90 %36)
(-.f64 %37 %86)
(-.f64 %40 %76)
(-.f64 %68 %25)
(-.f64 %24 %64)
(+.f64 %120 %118)
(+.f64 %47 %105)
(+.f64 %45 %107)
(+.f64 %105 %47)
(+.f64 %107 %45)
(+.f64 %118 %120)
(+.f64 %93 %37)
(+.f64 %90 %40)
(+.f64 %37 %93)
(+.f64 %40 %90)
(+.f64 %68 %24)
(+.f64 %24 %68)
reconstruct11.0ms (0.7%)
Counts
146 → 40
Compiler
Compiled 146 to 213 computations (-45.9% saved)
eval3.0ms (0.2%)
Compiler
Compiled 37 to 103 computations (-178.4% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (7 fresh and 0 done)
PrunedKeptTotal
New30737
Fresh000
Picked101
Done000
Total31738
Accuracy
100.0%
Counts
38 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.2%
(fma.f64 z (-.f64 x #s(literal -5 binary64)) (*.f64 y x))
▶77.6%
(+.f64 (approx (* x (+ y z)) (*.f64 x y)) (*.f64 z #s(literal 5 binary64)))
▶98.8%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x y (*.f64 z (+.f64 #s(literal 5 binary64) x))))
▶57.6%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
▶57.5%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 z (+.f64 #s(literal 5 binary64) x)))
▶89.7%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 x (+.f64 y (+.f64 z (*.f64 #s(literal 5 binary64) (/.f64 z x))))))
▶33.0%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 #s(literal 5 binary64) z))
Compiler
Compiled 7 to 22 computations (-214.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series33.0ms (2.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0185977
Stop Event
1×iter-limit
Counts
28 → 55
Calls
Call 1
Inputs
%4 = (*.f64 z #s(literal 5 binary64))
%5 = (*.f64 #s(literal 5 binary64) z)
%7 = (* x (+ y z))
%10 = (+ %7 (* z 5))
%12 = (/.f64 z x)
%13 = (*.f64 #s(literal 5 binary64) %12)
%14 = (+.f64 z %13)
%15 = (+.f64 y %14)
%16 = (*.f64 x %15)
%19 = (*.f64 x z)
%20 = (fma.f64 #s(literal 5 binary64) z %19)
%22 = (*.f64 x y)
%23 = (approx %7 %22)
%24 = (+.f64 #s(literal 5 binary64) x)
%25 = (*.f64 z %24)
%26 = (fma.f64 x y %25)
%29 = (*.f64 y x)
%30 = (-.f64 x #s(literal -5 binary64))
x
y
z
#s(literal 5 binary64)
%4
%5
(approx %10 %5)
%12
%13
%14
%15
%16
(approx %10 %16)
#s(literal -5 binary64)
%19
%20
(approx %10 %20)
%22
%23
%24
%25
%26
(approx %10 %26)
(approx %10 %25)
%29
%30
(fma.f64 z %30 %29)
(+.f64 %23 %4)
Outputs
%7 = (* x (+ y z))
%10 = (+ %7 (* z 5))
%14 = (+.f64 y z)
%15 = (*.f64 x %14)
%16 = (fma.f64 #s(literal 5 binary64) z %15)
%18 = (/ z x)
%19 = (/.f64 z x)
%21 = (* 5 %18)
%22 = (*.f64 #s(literal 5 binary64) %19)
%24 = (+ z %21)
%25 = (*.f64 x z)
%26 = (fma.f64 #s(literal 5 binary64) z %25)
%29 = (+ y %24)
%32 = (* x z)
%35 = (+ (* 5 z) %32)
%37 = (* x y)
%38 = (*.f64 x y)
%41 = (+ 5 x)
%43 = (+.f64 #s(literal 5 binary64) x)
%45 = (+.f64 z %22)
%46 = (+.f64 y %45)
%53 = (*.f64 x %45)
%56 = (/.f64 #s(literal 1 binary64) x)
%58 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) %56))
%59 = (*.f64 x %58)
%68 = (*.f64 #s(literal -1 binary64) z)
%74 = (+ %37 (* z %41))
%75 = (fma.f64 #s(literal -1 binary64) y %68)
%84 = (fma.f64 x y %25)
%87 = (* x %29)
%91 = (*.f64 z %43)
%95 = (/.f64 z y)
%96 = (/.f64 %25 y)
%106 = (/.f64 %53 y)
%113 = (/.f64 %91 y)
%144 = (*.f64 z %58)
%148 = (*.f64 x %144)
%151 = (/.f64 %38 z)
%152 = (+.f64 x %151)
%156 = (/.f64 y z)
%172 = (*.f64 #s(literal -1 binary64) %151)
%173 = (fma.f64 #s(literal -1 binary64) x %172)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %10 (*.f64 #s(literal 5 binary64) z))
(approx %10 %16)
(approx %18 %19)
(approx %21 %22)
(approx %24 (/.f64 %26 x))
(approx %29 (/.f64 %16 x))
(approx %32 %25)
(approx %35 %26)
(approx %37 %38)
(approx %7 %15)
(approx %41 #s(literal 5 binary64))
(approx %41 %43)
(approx %10 (*.f64 x %46))
(approx %24 z)
(approx %24 %45)
(approx %29 %14)
(approx %29 %46)
(approx %35 %53)
(approx %41 %59)
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %19 (*.f64 #s(literal -1 binary64) %14)))))
(approx %35 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %19 %68))))
(approx %74 (*.f64 #s(literal -1 binary64) (*.f64 x %75)))
(approx %74 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %19 %75))))
(approx y y)
(approx %10 (fma.f64 #s(literal 5 binary64) z %84))
(approx %87 (fma.f64 x y %53))
(approx %7 %84)
(approx %74 %91)
(approx %74 (fma.f64 x y %91))
(approx %10 (*.f64 y (+.f64 x (fma.f64 #s(literal 5 binary64) %95 %96))))
(approx %29 (*.f64 y (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 5 binary64) (/.f64 z %38) %95))))
(approx %87 (*.f64 y (+.f64 x %106)))
(approx %7 (*.f64 y (+.f64 x %96)))
(approx %74 (*.f64 y (+.f64 x %113)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %26 y))))))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %45 y)) #s(literal 1 binary64)))))
(approx %87 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %106)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %96)))))
(approx %74 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %113)))))
(approx %24 %144)
(approx %29 (+.f64 y %144))
(approx %87 (fma.f64 x y %148))
(approx %10 (*.f64 z (+.f64 #s(literal 5 binary64) %152)))
(approx %29 (*.f64 z (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 5 binary64) %56 %156))))
(approx %87 %148)
(approx %87 (*.f64 z (fma.f64 x %58 %151)))
(approx %7 (*.f64 z %152))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 5 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %173 #s(literal 5 binary64)))))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %156) %58))))
(approx %87 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %59 %172))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 z %173)))
(approx %74 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %43 %172))))
Calls
9 calls:
TimeVariablePoint
9.0ms
x
inf
5.0ms
z
-inf
4.0ms
x
0
4.0ms
z
inf
2.0ms
x
-inf
rewrite118.0ms (7.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
032193
052200
1159195
2390195
31045180
42966180
04032180
04696177
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
28 → 1 330
Calls
Call 1
Inputs
%4 = (*.f64 z #s(literal 5 binary64))
%5 = (*.f64 #s(literal 5 binary64) z)
%7 = (* x (+ y z))
%10 = (+ %7 (* z 5))
%12 = (/.f64 z x)
%13 = (*.f64 #s(literal 5 binary64) %12)
%14 = (+.f64 z %13)
%15 = (+.f64 y %14)
%16 = (*.f64 x %15)
%19 = (*.f64 x z)
%20 = (fma.f64 #s(literal 5 binary64) z %19)
%22 = (*.f64 x y)
%23 = (approx %7 %22)
%24 = (+.f64 #s(literal 5 binary64) x)
%25 = (*.f64 z %24)
%26 = (fma.f64 x y %25)
%29 = (*.f64 y x)
%30 = (-.f64 x #s(literal -5 binary64))
x
y
z
#s(literal 5 binary64)
%4
%5
(approx %10 %5)
%12
%13
%14
%15
%16
(approx %10 %16)
#s(literal -5 binary64)
%19
%20
(approx %10 %20)
%22
%23
%24
%25
%26
(approx %10 %26)
(approx %10 %25)
%29
%30
(fma.f64 z %30 %29)
(+.f64 %23 %4)
Outputs
%4 = (+.f64 z z)
%5 = (*.f64 #s(literal 5 binary64) %4)
%7 = (*.f64 %5 #s(literal 1/2 binary64))
%8 = (*.f64 #s(literal 5 binary64) x)
%10 = (/.f64 #s(literal -1 binary64) x)
%11 = (*.f64 %8 %10)
%12 = (neg.f64 z)
%13 = (*.f64 %11 %12)
%15 = (/.f64 #s(literal 1 binary64) x)
%16 = (*.f64 %8 %15)
%17 = (*.f64 %16 z)
%18 = (*.f64 %8 #s(literal 1 binary64))
%19 = (/.f64 z x)
%20 = (*.f64 %18 %19)
%21 = (*.f64 z x)
%22 = (*.f64 %21 #s(literal 5 binary64))
%24 = (*.f64 %22 #s(literal 2 binary64))
%25 = (/.f64 #s(literal 1/2 binary64) x)
%26 = (*.f64 %24 %25)
%28 = (*.f64 #s(literal -5 binary64) z)
%30 = (*.f64 %28 #s(literal -2 binary64))
%31 = (*.f64 %30 #s(literal 1/2 binary64))
%32 = (*.f64 %22 #s(literal -1 binary64))
%33 = (*.f64 %32 %10)
%34 = (*.f64 %22 #s(literal 1 binary64))
%35 = (*.f64 %34 %15)
%36 = (*.f64 #s(literal 5 binary64) z)
%37 = (*.f64 %36 #s(literal 2 binary64))
%38 = (*.f64 %37 #s(literal 1/2 binary64))
%39 = (*.f64 %28 #s(literal 2 binary64))
%41 = (*.f64 %39 #s(literal -1/2 binary64))
%42 = (*.f64 %36 #s(literal 1/2 binary64))
%43 = (*.f64 %42 #s(literal 2 binary64))
%44 = (*.f64 %12 #s(literal -1 binary64))
%45 = (*.f64 %44 #s(literal 5 binary64))
%46 = (*.f64 x #s(literal -5 binary64))
%47 = (/.f64 %12 x)
%48 = (*.f64 %46 %47)
%50 = (*.f64 %4 #s(literal 5/2 binary64))
%51 = (*.f64 %8 %19)
%52 = (*.f64 %22 %15)
%53 = (*.f64 %28 x)
%54 = (*.f64 %53 %10)
%55 = (/.f64 #s(literal 5 binary64) x)
%56 = (*.f64 %55 %21)
%57 = (*.f64 #s(literal -5 binary64) x)
%58 = (*.f64 %47 %57)
%59 = (*.f64 %10 %53)
%60 = (*.f64 #s(literal -1 binary64) %28)
%61 = (neg.f64 x)
%62 = (*.f64 %61 z)
%63 = (/.f64 #s(literal -5 binary64) x)
%64 = (*.f64 %62 %63)
%65 = (/.f64 x %61)
%66 = (*.f64 %28 %65)
%67 = (*.f64 %10 x)
%68 = (*.f64 %28 %67)
%69 = (*.f64 %28 #s(literal -1 binary64))
%70 = (*.f64 #s(literal -5 binary64) %19)
%71 = (*.f64 %70 %61)
%72 = (*.f64 %15 %22)
%73 = (*.f64 %61 %70)
%74 = (*.f64 %61 %55)
%75 = (*.f64 %12 %74)
%76 = (*.f64 %10 %8)
%77 = (*.f64 %12 %76)
%78 = (*.f64 %63 x)
%79 = (*.f64 %12 %78)
%80 = (*.f64 %12 #s(literal -5 binary64))
%81 = (*.f64 #s(literal 1 binary64) %36)
%82 = (*.f64 %21 %55)
%83 = (*.f64 %47 x)
%84 = (*.f64 #s(literal -5 binary64) %83)
%85 = (*.f64 #s(literal -5 binary64) %12)
%86 = (*.f64 %19 #s(literal 5 binary64))
%87 = (*.f64 %86 x)
%88 = (*.f64 %19 %8)
%89 = (*.f64 %36 #s(literal 1 binary64))
%90 = (*.f64 #s(literal 5 binary64) %44)
%91 = (*.f64 z #s(literal 5 binary64))
%92 = (*.f64 x %86)
%93 = (pow.f64 %36 #s(literal 1 binary64))
%94 = (/.f64 %32 %61)
%95 = (/.f64 %34 x)
%96 = (/.f64 %37 #s(literal 2 binary64))
%97 = (/.f64 %22 x)
%98 = (/.f64 %53 %61)
%100 = (/.f64 #s(literal 1 binary64) (pow.f64 %36 %67))
%101 = (*.f64 %15 %61)
%103 = (/.f64 #s(literal 1 binary64) (pow.f64 %36 %101))
%105 = (/.f64 #s(literal 1 binary64) (/.f64 x %22))
%107 = (/.f64 #s(literal 1 binary64) (/.f64 %61 %53))
%109 = (/.f64 #s(literal 1 binary64) (pow.f64 %36 #s(literal -1 binary64)))
%110 = (neg.f64 %28)
%112 = (*.f64 %36 #s(literal 0 binary64))
%113 = (fma.f64 %5 #s(literal 1/2 binary64) %112)
%114 = (*.f64 #s(literal 0 binary64) %36)
%115 = (fma.f64 %5 #s(literal 1/2 binary64) %114)
%116 = (fma.f64 %11 %12 %112)
%117 = (fma.f64 %11 %12 %114)
%118 = (fma.f64 %16 z %112)
%119 = (fma.f64 %16 z %114)
%120 = (fma.f64 %18 %19 %112)
%121 = (fma.f64 %18 %19 %114)
%122 = (fma.f64 %24 %25 %112)
%123 = (fma.f64 %24 %25 %114)
%124 = (fma.f64 %30 #s(literal 1/2 binary64) %112)
%125 = (fma.f64 %30 #s(literal 1/2 binary64) %114)
%126 = (fma.f64 %32 %10 %112)
%127 = (fma.f64 %32 %10 %114)
%128 = (fma.f64 %34 %15 %112)
%129 = (fma.f64 %34 %15 %114)
%130 = (fma.f64 %37 #s(literal 1/2 binary64) %112)
%131 = (fma.f64 %37 #s(literal 1/2 binary64) %114)
%132 = (fma.f64 %39 #s(literal -1/2 binary64) %112)
%133 = (fma.f64 %39 #s(literal -1/2 binary64) %114)
%134 = (fma.f64 %42 #s(literal 2 binary64) %112)
%135 = (fma.f64 %42 #s(literal 2 binary64) %114)
%136 = (fma.f64 %44 #s(literal 5 binary64) %112)
%137 = (fma.f64 %44 #s(literal 5 binary64) %114)
%138 = (fma.f64 %46 %47 %112)
%139 = (fma.f64 %46 %47 %114)
%140 = (fma.f64 %4 #s(literal 5/2 binary64) %112)
%141 = (fma.f64 %4 #s(literal 5/2 binary64) %114)
%142 = (fma.f64 %8 %19 %112)
%143 = (fma.f64 %8 %19 %114)
%144 = (fma.f64 %22 %15 %112)
%145 = (fma.f64 %22 %15 %114)
%146 = (fma.f64 %53 %10 %112)
%147 = (fma.f64 %53 %10 %114)
%148 = (fma.f64 %55 %21 %112)
%149 = (fma.f64 %55 %21 %114)
%150 = (*.f64 #s(literal 1/2 binary64) %36)
%151 = (fma.f64 #s(literal 1/2 binary64) %36 %150)
%152 = (fma.f64 %47 %57 %112)
%153 = (fma.f64 %47 %57 %114)
%154 = (fma.f64 %10 %53 %112)
%155 = (fma.f64 %10 %53 %114)
%156 = (fma.f64 #s(literal -1 binary64) %28 %112)
%157 = (fma.f64 #s(literal -1 binary64) %28 %114)
%158 = (fma.f64 %62 %63 %112)
%159 = (fma.f64 %62 %63 %114)
%160 = (fma.f64 %28 %65 %112)
%161 = (fma.f64 %28 %65 %114)
%162 = (fma.f64 %28 %67 %112)
%163 = (fma.f64 %28 %67 %114)
%164 = (fma.f64 %28 #s(literal -1 binary64) %112)
%165 = (fma.f64 %28 #s(literal -1 binary64) %114)
%166 = (fma.f64 %70 %61 %112)
%167 = (fma.f64 %70 %61 %114)
%168 = (fma.f64 %15 %22 %112)
%169 = (fma.f64 %15 %22 %114)
%170 = (fma.f64 %61 %70 %112)
%171 = (fma.f64 %61 %70 %114)
%172 = (fma.f64 %12 %74 %112)
%173 = (fma.f64 %12 %74 %114)
%174 = (fma.f64 %12 %76 %112)
%175 = (fma.f64 %12 %76 %114)
%176 = (fma.f64 %12 %78 %112)
%177 = (fma.f64 %12 %78 %114)
%178 = (fma.f64 %12 #s(literal -5 binary64) %112)
%179 = (fma.f64 %12 #s(literal -5 binary64) %114)
%180 = (fma.f64 #s(literal 1 binary64) %36 %112)
%181 = (fma.f64 #s(literal 1 binary64) %36 %114)
%182 = (fma.f64 %21 %55 %112)
%183 = (fma.f64 %21 %55 %114)
%184 = (fma.f64 #s(literal -5 binary64) %83 %112)
%185 = (fma.f64 #s(literal -5 binary64) %83 %114)
%186 = (fma.f64 #s(literal -5 binary64) %12 %112)
%187 = (fma.f64 #s(literal -5 binary64) %12 %114)
%188 = (fma.f64 %86 x %112)
%189 = (fma.f64 %86 x %114)
%190 = (fma.f64 %19 %8 %112)
%191 = (fma.f64 %19 %8 %114)
%192 = (fma.f64 %36 #s(literal 1/2 binary64) %42)
%193 = (fma.f64 %36 #s(literal 1 binary64) %112)
%194 = (fma.f64 %36 #s(literal 1 binary64) %114)
%195 = (fma.f64 #s(literal 5 binary64) %44 %112)
%196 = (fma.f64 #s(literal 5 binary64) %44 %114)
%197 = (fma.f64 #s(literal 5 binary64) z %112)
%198 = (fma.f64 #s(literal 5 binary64) z %114)
%199 = (fma.f64 z #s(literal 5 binary64) %112)
%200 = (fma.f64 z #s(literal 5 binary64) %114)
%201 = (fma.f64 x %86 %112)
%202 = (fma.f64 x %86 %114)
%203 = (+.f64 %42 %42)
%204 = (+.f64 %150 %150)
%205 = (+.f64 %36 %112)
%206 = (+.f64 %36 %114)
%208 = (* (+ z y) x)
%211 = (+ %208 (* 5 z))
%212 = (approx %211 %36)
%224 = (/.f64 #s(literal -1/2 binary64) x)
%227 = (*.f64 #s(literal 2 binary64) %19)
%264 = (*.f64 %55 %4)
%266 = (*.f64 %47 #s(literal -1 binary64))
%270 = (*.f64 #s(literal 1/2 binary64) %55)
%274 = (*.f64 %25 %36)
%302 = (-.f64 x #s(literal -5 binary64))
%303 = (*.f64 %302 z)
%304 = (*.f64 %303 #s(literal 2 binary64))
%306 = (*.f64 %302 %10)
%308 = (*.f64 %302 #s(literal 1 binary64))
%310 = (*.f64 %303 #s(literal -1 binary64))
%312 = (/.f64 %302 x)
%313 = (*.f64 #s(literal 1/2 binary64) %312)
%316 = (-.f64 #s(literal -5 binary64) x)
%318 = (*.f64 %316 z)
%321 = (*.f64 %316 %15)
%323 = (/.f64 %316 x)
%325 = (/.f64 %302 %61)
%327 = (fma.f64 %19 #s(literal 5 binary64) z)
%336 = (fma.f64 %21 %61 %53)
%337 = (*.f64 x %61)
%339 = (*.f64 %21 %61)
%341 = (*.f64 %61 x)
%343 = (*.f64 %61 %21)
%348 = (*.f64 x x)
%352 = (*.f64 %61 %62)
%355 = (*.f64 x %62)
%358 = (*.f64 %303 x)
%372 = (*.f64 z %323)
%398 = (+.f64 z y)
%399 = (fma.f64 %398 x %36)
%402 = (*.f64 %399 #s(literal -1 binary64))
%404 = (*.f64 %398 x)
%405 = (-.f64 %28 %404)
%408 = (fma.f64 %312 z y)
%414 = (*.f64 y #s(literal 1 binary64))
%417 = (*.f64 %414 x)
%423 = (*.f64 y x)
%424 = (*.f64 %318 x)
%427 = (fma.f64 %404 %61 %53)
%429 = (-.f64 %28 %423)
%430 = (*.f64 %429 x)
%435 = (*.f64 %423 %61)
%438 = (*.f64 %404 %61)
%441 = (*.f64 x %318)
%447 = (fma.f64 #s(literal 5 binary64) z %423)
%462 = (*.f64 %423 x)
%477 = (neg.f64 y)
%478 = (*.f64 %477 x)
%485 = (neg.f64 %398)
%486 = (*.f64 %485 x)
%493 = (*.f64 %399 x)
%507 = (-.f64 %372 y)
%553 = (fma.f64 %55 z y)
%585 = (*.f64 %477 #s(literal 1 binary64))
%594 = (-.f64 %70 y)
%605 = (*.f64 %493 %15)
%606 = (*.f64 %507 %61)
%607 = (*.f64 %61 %507)
%608 = (*.f64 #s(literal 1 binary64) %399)
%609 = (*.f64 %408 x)
%610 = (*.f64 %399 #s(literal 1 binary64))
%611 = (*.f64 x %408)
%612 = (pow.f64 %399 #s(literal 1 binary64))
%614 = (/.f64 (*.f64 %405 x) %61)
%616 = (/.f64 (*.f64 x %405) %61)
%617 = (*.f64 %21 %316)
%619 = (/.f64 (-.f64 %462 %617) x)
%620 = (/.f64 %427 %61)
%622 = (/.f64 (neg.f64 %493) %61)
%623 = (/.f64 %493 x)
%625 = (/.f64 #s(literal 1 binary64) (pow.f64 %399 %67))
%627 = (/.f64 #s(literal 1 binary64) (pow.f64 %399 %101))
%629 = (/.f64 #s(literal 1 binary64) (/.f64 x %493))
%631 = (/.f64 #s(literal 1 binary64) (pow.f64 %399 #s(literal -1 binary64)))
%633 = (neg.f64 (*.f64 %408 %61))
%635 = (neg.f64 (/.f64 %493 %61))
%636 = (neg.f64 %405)
%637 = (*.f64 %302 %4)
%638 = (*.f64 x %414)
%639 = (fma.f64 %637 #s(literal 1/2 binary64) %638)
%640 = (fma.f64 %637 #s(literal 1/2 binary64) %417)
%641 = (fma.f64 %637 #s(literal 1/2 binary64) %423)
%642 = (*.f64 x %4)
%643 = (fma.f64 %642 #s(literal 1/2 binary64) %447)
%644 = (fma.f64 %5 #s(literal 1/2 binary64) %404)
%645 = (fma.f64 %11 %12 %404)
%646 = (fma.f64 %16 z %404)
%647 = (fma.f64 %18 %19 %404)
%648 = (fma.f64 %24 %25 %404)
%649 = (fma.f64 %30 #s(literal 1/2 binary64) %404)
%650 = (*.f64 x %302)
%651 = (fma.f64 %650 %19 %638)
%652 = (fma.f64 %650 %19 %417)
%653 = (fma.f64 %650 %19 %423)
%654 = (fma.f64 %308 z %638)
%655 = (fma.f64 %308 z %417)
%656 = (fma.f64 %308 z %423)
%657 = (fma.f64 %32 %10 %404)
%658 = (fma.f64 %34 %15 %404)
%659 = (fma.f64 %37 #s(literal 1/2 binary64) %404)
%660 = (fma.f64 %39 #s(literal -1/2 binary64) %404)
%661 = (fma.f64 %42 #s(literal 2 binary64) %404)
%662 = (fma.f64 %44 #s(literal 5 binary64) %404)
%663 = (fma.f64 %46 %47 %404)
%664 = (*.f64 #s(literal 1/2 binary64) %302)
%665 = (fma.f64 %4 %664 %638)
%666 = (fma.f64 %4 %664 %417)
%667 = (fma.f64 %4 %664 %423)
%668 = (*.f64 #s(literal 1/2 binary64) x)
%669 = (fma.f64 %4 %668 %447)
%670 = (fma.f64 %4 #s(literal 5/2 binary64) %404)
%671 = (fma.f64 %8 %19 %404)
%672 = (fma.f64 %358 %15 %638)
%673 = (fma.f64 %358 %15 %417)
%674 = (fma.f64 %358 %15 %423)
%675 = (fma.f64 %22 %15 %404)
%676 = (fma.f64 %53 %10 %404)
%677 = (fma.f64 %414 x %303)
%678 = (fma.f64 %553 x %21)
%679 = (fma.f64 %55 %21 %404)
%680 = (fma.f64 %485 %61 %36)
%681 = (fma.f64 %47 %57 %404)
%682 = (fma.f64 %10 %53 %404)
%683 = (fma.f64 #s(literal -1 binary64) %28 %404)
%684 = (fma.f64 %477 %61 %303)
%685 = (fma.f64 %316 %12 %638)
%686 = (fma.f64 %316 %12 %417)
%687 = (fma.f64 %316 %12 %423)
%688 = (fma.f64 %62 %63 %404)
%689 = (fma.f64 %28 %65 %404)
%690 = (fma.f64 %28 %67 %404)
%691 = (fma.f64 %28 #s(literal -1 binary64) %404)
%692 = (fma.f64 %372 %61 %638)
%693 = (fma.f64 %372 %61 %417)
%694 = (fma.f64 %372 %61 %423)
%695 = (fma.f64 %70 %61 %404)
%696 = (fma.f64 %15 %22 %404)
%697 = (fma.f64 %61 %485 %36)
%698 = (fma.f64 %61 %477 %303)
%699 = (fma.f64 %61 %372 %638)
%700 = (fma.f64 %61 %372 %417)
%701 = (fma.f64 %61 %372 %423)
%702 = (fma.f64 %61 %70 %404)
%703 = (fma.f64 %61 %12 %447)
%704 = (fma.f64 %12 %74 %404)
%705 = (fma.f64 %12 %76 %404)
%706 = (fma.f64 %12 %78 %404)
%707 = (fma.f64 %12 %316 %638)
%708 = (fma.f64 %12 %316 %417)
%709 = (fma.f64 %12 %316 %423)
%710 = (fma.f64 %12 %61 %447)
%711 = (fma.f64 %12 #s(literal -5 binary64) %404)
%712 = (fma.f64 #s(literal 1 binary64) %447 %21)
%713 = (fma.f64 #s(literal 1 binary64) %303 %638)
%714 = (fma.f64 #s(literal 1 binary64) %303 %417)
%715 = (fma.f64 #s(literal 1 binary64) %303 %423)
%716 = (fma.f64 #s(literal 1 binary64) %423 %303)
%717 = (fma.f64 #s(literal 1 binary64) %21 %447)
%718 = (fma.f64 #s(literal 1 binary64) %404 %36)
%719 = (fma.f64 #s(literal 1 binary64) %36 %404)
%720 = (fma.f64 %303 #s(literal 1 binary64) %638)
%721 = (fma.f64 %303 #s(literal 1 binary64) %417)
%722 = (fma.f64 %303 #s(literal 1 binary64) %423)
%723 = (fma.f64 %302 z %638)
%724 = (fma.f64 %302 z %417)
%725 = (fma.f64 %302 z %423)
%726 = (fma.f64 %21 %312 %638)
%727 = (fma.f64 %21 %312 %417)
%728 = (fma.f64 %21 %312 %423)
%729 = (fma.f64 %21 %55 %404)
%730 = (fma.f64 %21 #s(literal 1 binary64) %447)
%731 = (fma.f64 #s(literal -5 binary64) %83 %404)
%732 = (fma.f64 #s(literal -5 binary64) %12 %404)
%733 = (fma.f64 %327 x %638)
%734 = (fma.f64 %327 x %417)
%735 = (fma.f64 %327 x %423)
%736 = (fma.f64 %86 x %404)
%737 = (fma.f64 %19 %8 %404)
%738 = (fma.f64 %36 #s(literal 1 binary64) %404)
%739 = (fma.f64 #s(literal 5 binary64) %44 %404)
%740 = (fma.f64 #s(literal 5 binary64) z %404)
%741 = (*.f64 %312 x)
%742 = (fma.f64 z %741 %638)
%743 = (fma.f64 z %741 %417)
%744 = (fma.f64 z %741 %423)
%745 = (fma.f64 z %302 %638)
%746 = (fma.f64 z %302 %417)
%747 = (fma.f64 z %302 %423)
%748 = (fma.f64 z #s(literal 5 binary64) %404)
%749 = (fma.f64 z x %447)
%750 = (fma.f64 y x %303)
%751 = (fma.f64 x %414 %303)
%752 = (fma.f64 x %553 %21)
%753 = (fma.f64 x %327 %638)
%754 = (fma.f64 x %327 %417)
%755 = (fma.f64 x %327 %423)
%756 = (fma.f64 x %86 %404)
%757 = (fma.f64 x %398 %36)
%758 = (fma.f64 x z %447)
%759 = (fma.f64 x y %303)
%760 = (-.f64 %447 %62)
%761 = (-.f64 %303 %478)
%762 = (-.f64 %423 %318)
%764 = (-.f64 %21 (*.f64 %61 %553))
%766 = (-.f64 %21 (*.f64 %594 x))
%767 = (-.f64 %21 %429)
%768 = (-.f64 %404 %28)
%769 = (-.f64 %36 %486)
%770 = (+.f64 %638 %303)
%771 = (+.f64 %417 %303)
%772 = (+.f64 %447 %21)
%773 = (+.f64 %303 %638)
%774 = (+.f64 %303 %417)
%775 = (+.f64 %303 %423)
%776 = (+.f64 %423 %303)
%777 = (+.f64 %21 %447)
%778 = (+.f64 %404 %36)
%779 = (+.f64 %36 %404)
%780 = (approx %211 %399)
%781 = (*.f64 #s(literal 1 binary64) %780)
%782 = (pow.f64 %780 #s(literal 1 binary64))
%784 = (/.f64 #s(literal 1 binary64) (pow.f64 %780 %67))
%786 = (/.f64 #s(literal 1 binary64) (pow.f64 %780 %101))
%788 = (/.f64 #s(literal 1 binary64) (pow.f64 %780 #s(literal -1 binary64)))
%804 = (*.f64 %637 #s(literal 1/2 binary64))
%805 = (*.f64 %650 %19)
%806 = (*.f64 %308 z)
%807 = (*.f64 %4 %664)
%808 = (*.f64 %358 %15)
%809 = (*.f64 %316 %12)
%810 = (*.f64 %372 %61)
%811 = (*.f64 %61 %372)
%812 = (*.f64 %12 %316)
%813 = (*.f64 #s(literal 1 binary64) %303)
%814 = (*.f64 %303 #s(literal 1 binary64))
%815 = (*.f64 %21 %312)
%816 = (*.f64 %327 x)
%817 = (*.f64 z %741)
%818 = (*.f64 z %302)
%819 = (*.f64 x %327)
%820 = (pow.f64 %303 #s(literal 1 binary64))
%822 = (/.f64 (*.f64 %61 %318) x)
%823 = (/.f64 %336 %61)
%824 = (/.f64 %441 %61)
%825 = (/.f64 %424 %61)
%826 = (/.f64 %617 %61)
%827 = (/.f64 %358 x)
%829 = (/.f64 #s(literal 1 binary64) (pow.f64 %303 %67))
%831 = (/.f64 #s(literal 1 binary64) (pow.f64 %303 %101))
%833 = (/.f64 #s(literal 1 binary64) (/.f64 x %358))
%835 = (/.f64 #s(literal 1 binary64) (pow.f64 %303 #s(literal -1 binary64)))
%836 = (neg.f64 %318)
%837 = (fma.f64 %642 #s(literal 1/2 binary64) %36)
%838 = (fma.f64 %5 #s(literal 1/2 binary64) %21)
%839 = (fma.f64 %11 %12 %21)
%840 = (fma.f64 %16 z %21)
%841 = (fma.f64 %18 %19 %21)
%842 = (fma.f64 %24 %25 %21)
%843 = (fma.f64 %30 #s(literal 1/2 binary64) %21)
%844 = (fma.f64 %32 %10 %21)
%845 = (fma.f64 %34 %15 %21)
%846 = (fma.f64 %37 #s(literal 1/2 binary64) %21)
%847 = (fma.f64 %39 #s(literal -1/2 binary64) %21)
%848 = (fma.f64 %42 #s(literal 2 binary64) %21)
%849 = (fma.f64 %44 #s(literal 5 binary64) %21)
%850 = (fma.f64 %46 %47 %21)
%851 = (fma.f64 %4 %668 %36)
%852 = (fma.f64 %4 #s(literal 5/2 binary64) %21)
%853 = (fma.f64 %8 %19 %21)
%854 = (fma.f64 %22 %15 %21)
%855 = (fma.f64 %53 %10 %21)
%856 = (fma.f64 %55 %21 %21)
%857 = (fma.f64 %47 %57 %21)
%858 = (fma.f64 %10 %53 %21)
%859 = (fma.f64 #s(literal -1 binary64) %28 %21)
%860 = (fma.f64 %62 %63 %21)
%861 = (fma.f64 %28 %65 %21)
%862 = (fma.f64 %28 %67 %21)
%863 = (fma.f64 %28 #s(literal -1 binary64) %21)
%864 = (fma.f64 %70 %61 %21)
%865 = (fma.f64 %15 %22 %21)
%866 = (fma.f64 %61 %70 %21)
%867 = (fma.f64 %61 %12 %36)
%868 = (fma.f64 %12 %74 %21)
%869 = (fma.f64 %12 %76 %21)
%870 = (fma.f64 %12 %78 %21)
%871 = (fma.f64 %12 %61 %36)
%872 = (fma.f64 %12 #s(literal -5 binary64) %21)
%873 = (fma.f64 #s(literal 1 binary64) %21 %36)
%874 = (fma.f64 #s(literal 1 binary64) %36 %21)
%875 = (fma.f64 %21 %55 %21)
%876 = (fma.f64 %21 #s(literal 1 binary64) %36)
%877 = (fma.f64 #s(literal -5 binary64) %83 %21)
%878 = (fma.f64 #s(literal -5 binary64) %12 %21)
%879 = (fma.f64 %86 x %21)
%880 = (fma.f64 %19 %8 %21)
%881 = (fma.f64 %36 #s(literal 1 binary64) %21)
%882 = (fma.f64 #s(literal 5 binary64) %44 %21)
%883 = (fma.f64 #s(literal 5 binary64) z %21)
%884 = (fma.f64 z #s(literal 5 binary64) %21)
%885 = (fma.f64 z x %36)
%886 = (fma.f64 x %86 %21)
%887 = (fma.f64 x z %36)
%888 = (-.f64 %21 %28)
%889 = (-.f64 %36 %62)
%890 = (+.f64 %21 %36)
%891 = (+.f64 %36 %21)
%892 = (approx %211 %303)
%893 = (*.f64 #s(literal 1 binary64) %892)
%894 = (pow.f64 %892 #s(literal 1 binary64))
%896 = (/.f64 #s(literal 1 binary64) (pow.f64 %892 %67))
%898 = (/.f64 #s(literal 1 binary64) (pow.f64 %892 %101))
%900 = (/.f64 #s(literal 1 binary64) (pow.f64 %892 #s(literal -1 binary64)))
%901 = (*.f64 %477 %61)
%902 = (*.f64 %61 %477)
%903 = (*.f64 #s(literal 1 binary64) %423)
%904 = (*.f64 x y)
%905 = (pow.f64 %423 #s(literal 1 binary64))
%907 = (/.f64 #s(literal 1 binary64) (pow.f64 %423 %67))
%909 = (/.f64 #s(literal 1 binary64) (pow.f64 %423 %101))
%911 = (/.f64 #s(literal 1 binary64) (pow.f64 %423 #s(literal -1 binary64)))
%912 = (neg.f64 %478)
%913 = (approx %208 %423)
%922 = (neg.f64 %913)
%924 = (*.f64 #s(literal 1 binary64) %302)
%925 = (pow.f64 %302 #s(literal 1 binary64))
%927 = (/.f64 #s(literal 1 binary64) (pow.f64 %302 %67))
%929 = (/.f64 #s(literal 1 binary64) (pow.f64 %302 %101))
%931 = (/.f64 #s(literal 1 binary64) (pow.f64 %302 #s(literal -1 binary64)))
%932 = (neg.f64 %316)
%933 = (-.f64 #s(literal 5 binary64) %61)
%934 = (+.f64 #s(literal 5 binary64) x)
%935 = (+.f64 x #s(literal 5 binary64))
%936 = (fma.f64 #s(literal 5 binary64) z %913)
x
y
z
#s(literal 5 binary64)
%7
%13
%17
%20
%26
%31
%33
%35
%38
%41
%43
%45
%48
%50
%51
%52
%54
%56
%58
%59
%60
%64
%66
%68
%69
%71
%72
%73
%75
%77
%79
%80
%81
%82
%84
%85
%87
%88
%89
%90
%36
%91
%92
%93
%94
%95
%96
%97
%98
%100
%103
%105
%107
%109
%110
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%127
%128
%129
%130
%131
%132
%133
%134
%135
%136
%137
%138
%139
%140
%141
%142
%143
%144
%145
%146
%147
%148
%149
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%190
%191
%192
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%7
%13
%17
%20
%26
%31
%33
%35
%38
%41
%43
%45
%48
%50
%51
%52
%54
%56
%58
%59
%60
%64
%66
%68
%69
%71
%72
%73
%75
%77
%79
%80
%81
%82
%84
%85
%87
%88
%89
%90
%36
%91
%92
%93
%94
%95
%96
%97
%98
%100
%103
%105
%107
%109
%110
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%127
%128
%129
%130
%131
%132
%133
%134
%135
%136
%137
%138
%139
%140
%141
%142
%143
%144
%145
%146
%147
%148
%149
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%190
%191
%192
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
(*.f64 #s(literal 1 binary64) %212)
(pow.f64 %212 #s(literal 1 binary64))
%212
(/.f64 #s(literal 1 binary64) (pow.f64 %212 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %212 %101))
(/.f64 #s(literal 1 binary64) (pow.f64 %212 #s(literal -1 binary64)))
(*.f64 (*.f64 %15 %4) #s(literal 1/2 binary64))
(*.f64 (*.f64 %12 #s(literal 2 binary64)) %224)
(*.f64 %4 %25)
(*.f64 #s(literal 1/2 binary64) %227)
(*.f64 #s(literal 2 binary64) (*.f64 %224 %12))
(*.f64 #s(literal 2 binary64) (*.f64 %25 z))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %19))
(*.f64 %10 %12)
(*.f64 #s(literal -1 binary64) %47)
(*.f64 %15 z)
(*.f64 %12 %10)
(*.f64 #s(literal 1 binary64) %19)
(*.f64 %19 #s(literal 1 binary64))
(*.f64 z %15)
(pow.f64 %19 #s(literal 1 binary64))
(/.f64 %227 #s(literal 2 binary64))
(/.f64 %44 x)
(/.f64 (*.f64 #s(literal -1 binary64) %12) x)
(/.f64 (*.f64 #s(literal 2 binary64) %12) (*.f64 #s(literal 2 binary64) %61))
(/.f64 %4 (*.f64 #s(literal 2 binary64) x))
(/.f64 %12 %61)
(/.f64 #s(literal 1 binary64) (pow.f64 %19 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %19 %101))
(/.f64 #s(literal 1 binary64) (pow.f64 %19 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %12))
(/.f64 #s(literal 1 binary64) (/.f64 x z))
%19
(neg.f64 %47)
(*.f64 %264 #s(literal 1/2 binary64))
(*.f64 %266 #s(literal 5 binary64))
(*.f64 %37 %25)
(*.f64 %39 %224)
(*.f64 %4 %270)
(*.f64 %63 %12)
(*.f64 %55 z)
(*.f64 #s(literal 2 binary64) %274)
(*.f64 %47 #s(literal -5 binary64))
(*.f64 %10 %28)
(*.f64 #s(literal -1 binary64) %70)
(*.f64 %28 %10)
(*.f64 %15 %36)
(*.f64 %12 %63)
(*.f64 #s(literal 1 binary64) %86)
(*.f64 #s(literal -5 binary64) %47)
(*.f64 %86 #s(literal 1 binary64))
%86
(*.f64 %36 %15)
(*.f64 #s(literal 5 binary64) %19)
(*.f64 z %55)
(pow.f64 %86 #s(literal 1 binary64))
(/.f64 %28 %61)
(/.f64 #s(literal 1 binary64) (pow.f64 %86 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %86 %101))
(/.f64 #s(literal 1 binary64) (pow.f64 %86 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %28))
(/.f64 #s(literal 1 binary64) (/.f64 x %36))
(/.f64 %36 x)
(neg.f64 %70)
(*.f64 %304 %25)
(*.f64 %306 %12)
(*.f64 %308 %19)
(*.f64 %310 %10)
(*.f64 %4 %313)
(*.f64 %312 z)
(*.f64 %316 %47)
(*.f64 %318 %10)
(*.f64 %15 %303)
(*.f64 %12 %321)
(*.f64 %12 %323)
(*.f64 %12 %325)
(*.f64 #s(literal 1 binary64) %327)
(*.f64 %303 %15)
(*.f64 %302 %19)
(*.f64 %327 #s(literal 1 binary64))
(*.f64 %19 %302)
(*.f64 z %312)
(pow.f64 %327 #s(literal 1 binary64))
(/.f64 %310 %61)
(/.f64 %336 %337)
(/.f64 (fma.f64 %28 x %339) %341)
(/.f64 (fma.f64 %28 x %343) %341)
(/.f64 (-.f64 (*.f64 %21 x) %53) %348)
(/.f64 (-.f64 %339 %22) %337)
(/.f64 (-.f64 %53 %352) %341)
(/.f64 (-.f64 %22 %355) %348)
(/.f64 %358 %348)
(/.f64 %318 %61)
(/.f64 #s(literal 1 binary64) (pow.f64 %327 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %327 %101))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %318))
(/.f64 #s(literal 1 binary64) (pow.f64 %327 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %303))
(/.f64 %303 x)
(neg.f64 %372)
(fma.f64 %264 #s(literal 1/2 binary64) z)
(fma.f64 %266 #s(literal 5 binary64) z)
(fma.f64 %37 %25 z)
(fma.f64 %39 %224 z)
(fma.f64 %4 %270 z)
(fma.f64 %63 %12 z)
(fma.f64 %55 z z)
(fma.f64 #s(literal 2 binary64) %274 z)
(fma.f64 %47 #s(literal -5 binary64) z)
(fma.f64 %10 %28 z)
(fma.f64 #s(literal -1 binary64) %70 z)
(fma.f64 %28 %10 z)
(fma.f64 %15 %36 z)
(fma.f64 %12 %63 z)
(fma.f64 #s(literal 1 binary64) %86 z)
(fma.f64 #s(literal -5 binary64) %47 z)
(fma.f64 %86 #s(literal 1 binary64) z)
%327
(fma.f64 %36 %15 z)
(fma.f64 #s(literal 5 binary64) %19 z)
(fma.f64 z %55 z)
(-.f64 %86 %12)
(-.f64 z %70)
(+.f64 %86 z)
(+.f64 z %86)
(*.f64 (*.f64 %399 #s(literal 2 binary64)) %25)
(*.f64 %402 %10)
(*.f64 %405 %10)
(*.f64 %15 %399)
(*.f64 #s(literal 1 binary64) %408)
(*.f64 %408 #s(literal 1 binary64))
(*.f64 %399 %15)
(pow.f64 %408 #s(literal 1 binary64))
(/.f64 %402 %61)
(/.f64 (fma.f64 %414 %61 %318) %61)
(/.f64 (-.f64 %417 %318) x)
(/.f64 (-.f64 (*.f64 %414 %61) %303) %61)
(/.f64 (fma.f64 %423 %61 %424) %337)
(/.f64 %427 %337)
(/.f64 (fma.f64 %21 %61 %430) %337)
(/.f64 (fma.f64 %429 x %339) %341)
(/.f64 (fma.f64 %318 x %435) %341)
(/.f64 (fma.f64 %28 x %438) %341)
(/.f64 (fma.f64 %423 %61 %441) %337)
(/.f64 (fma.f64 %21 %61 (*.f64 x %429)) %337)
(/.f64 (fma.f64 %21 x (*.f64 x %447)) %348)
(/.f64 (fma.f64 %429 x %343) %341)
(/.f64 (fma.f64 %447 x (*.f64 x %21)) %348)
(/.f64 (fma.f64 %318 x (*.f64 %61 %423)) %341)
(/.f64 (fma.f64 %28 x (*.f64 %61 %404)) %341)
(/.f64 (-.f64 %462 %441) %348)
(/.f64 (-.f64 %435 %358) %337)
(/.f64 (-.f64 (*.f64 %404 x) %53) %348)
(/.f64 (-.f64 %438 %22) %337)
(/.f64 (-.f64 %430 %352) %341)
(/.f64 (-.f64 (*.f64 %447 x) %355) %348)
(/.f64 (-.f64 %424 (*.f64 %61 %478)) %341)
(/.f64 (-.f64 %358 (*.f64 x %478)) %348)
(/.f64 (-.f64 %53 (*.f64 %61 %486)) %341)
(/.f64 (-.f64 %22 (*.f64 x %486)) %348)
(/.f64 %493 %348)
(/.f64 %405 %61)
(/.f64 #s(literal 1 binary64) (pow.f64 %408 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %408 %101))
(/.f64 #s(literal 1 binary64) (/.f64 %61 %405))
(/.f64 #s(literal 1 binary64) (pow.f64 %408 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x %399))
(/.f64 %399 x)
(neg.f64 %507)
(fma.f64 %264 #s(literal 1/2 binary64) %398)
(fma.f64 %266 #s(literal 5 binary64) %398)
(fma.f64 %304 %25 %414)
(fma.f64 %304 %25 y)
(fma.f64 %306 %12 %414)
(fma.f64 %306 %12 y)
(fma.f64 %308 %19 %414)
(fma.f64 %308 %19 y)
(fma.f64 %37 %25 %398)
(fma.f64 %310 %10 %414)
(fma.f64 %310 %10 y)
(fma.f64 %39 %224 %398)
(fma.f64 %4 %270 %398)
(fma.f64 %4 %313 %414)
(fma.f64 %4 %313 y)
(fma.f64 %312 z %414)
%408
(fma.f64 %63 %12 %398)
(fma.f64 %429 %10 z)
(fma.f64 %447 %15 z)
(fma.f64 %55 z %398)
(fma.f64 #s(literal 2 binary64) %274 %398)
(fma.f64 %47 #s(literal -5 binary64) %398)
(fma.f64 %10 %28 %398)
(fma.f64 #s(literal -1 binary64) %70 %398)
(fma.f64 %477 (/.f64 %61 x) %327)
(fma.f64 %316 %47 %414)
(fma.f64 %316 %47 y)
(fma.f64 %318 %10 %414)
(fma.f64 %318 %10 y)
(fma.f64 %28 %10 %398)
(fma.f64 %15 %303 %414)
(fma.f64 %15 %303 y)
(fma.f64 %15 %36 %398)
(fma.f64 %61 (/.f64 %477 x) %327)
(fma.f64 %12 %321 %414)
(fma.f64 %12 %321 y)
(fma.f64 %12 %323 %414)
(fma.f64 %12 %323 y)
(fma.f64 %12 %325 %414)
(fma.f64 %12 %325 y)
(fma.f64 %12 %63 %398)
(fma.f64 #s(literal 1 binary64) %414 %327)
(fma.f64 #s(literal 1 binary64) %553 z)
(fma.f64 #s(literal 1 binary64) %327 %414)
(fma.f64 #s(literal 1 binary64) %327 y)
(fma.f64 #s(literal 1 binary64) %86 %398)
(fma.f64 #s(literal 1 binary64) %398 %86)
(fma.f64 %303 %15 %414)
(fma.f64 %303 %15 y)
(fma.f64 %302 %19 %414)
(fma.f64 %302 %19 y)
(fma.f64 %423 %15 %327)
(fma.f64 #s(literal -5 binary64) %47 %398)
(fma.f64 %327 #s(literal 1 binary64) %414)
(fma.f64 %327 #s(literal 1 binary64) y)
(fma.f64 %86 #s(literal 1 binary64) %398)
(fma.f64 %19 %302 %414)
(fma.f64 %19 %302 y)
(fma.f64 %19 #s(literal 5 binary64) %398)
(fma.f64 %404 %15 %86)
(fma.f64 %398 #s(literal 1 binary64) %86)
(fma.f64 %36 %15 %398)
(fma.f64 #s(literal 5 binary64) %19 %398)
(fma.f64 z %312 %414)
(fma.f64 z %312 y)
(fma.f64 z %55 %398)
(fma.f64 y #s(literal 1 binary64) %327)
(fma.f64 x (/.f64 y x) %327)
(fma.f64 x (/.f64 %398 x) %86)
(-.f64 %414 %372)
(-.f64 %553 %12)
(-.f64 %327 %585)
(-.f64 %327 %477)
(-.f64 %86 %485)
(-.f64 %398 %70)
(-.f64 z (-.f64 %70 %414))
(-.f64 z (fma.f64 %63 z %585))
(-.f64 z %594)
(-.f64 y %372)
(+.f64 %414 %327)
(+.f64 %553 z)
(+.f64 %327 %414)
(+.f64 %327 y)
(+.f64 %86 %398)
(+.f64 %398 %86)
(+.f64 z %553)
(+.f64 y %327)
%605
%606
%607
%608
%609
%610
%611
%612
%614
%616
%619
%620
%622
%623
%625
%627
%629
%631
%633
%635
%636
%639
%640
%641
%643
%644
%645
%646
%647
%648
%649
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%665
%666
%667
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%399
%738
%739
%740
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%764
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%781
%782
%780
%784
%786
%788
#s(literal -5 binary64)
(*.f64 %642 #s(literal 1/2 binary64))
(*.f64 %4 %668)
(*.f64 %61 %12)
(*.f64 %12 %61)
(*.f64 #s(literal 1 binary64) %21)
(*.f64 %21 #s(literal 1 binary64))
%21
(*.f64 x z)
(pow.f64 %21 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 %101))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(neg.f64 %62)
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%303
%815
%816
%817
%818
%819
%820
%822
%823
%824
%825
%826
%827
%829
%831
%833
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%893
%894
%892
%896
%898
%900
%901
%902
%903
%423
%904
%905
%907
%909
%911
%912
(*.f64 #s(literal 1 binary64) %913)
(pow.f64 %913 #s(literal 1 binary64))
%913
(/.f64 #s(literal 1 binary64) (pow.f64 %913 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %913 %101))
(/.f64 #s(literal 1 binary64) (pow.f64 %913 #s(literal -1 binary64)))
(neg.f64 %922)
%924
%925
%927
%929
%931
%932
%933
%302
%934
%935
%804
%805
%806
%807
%808
%809
%810
%811
%812
%813
%814
%303
%815
%816
%817
%818
%819
%820
%822
%823
%824
%825
%826
%827
%829
%831
%833
%835
%836
%837
%838
%839
%840
%841
%842
%843
%844
%845
%846
%847
%848
%849
%850
%851
%852
%853
%854
%855
%856
%857
%858
%859
%860
%861
%862
%863
%864
%865
%866
%867
%868
%869
%870
%871
%872
%873
%874
%875
%876
%877
%878
%879
%880
%881
%882
%883
%884
%885
%886
%887
%888
%889
%890
%891
%605
%606
%607
%608
%609
%610
%611
%612
%614
%616
%619
%620
%622
%623
%625
%627
%629
%631
%633
%635
%636
%639
%640
%641
%643
%644
%645
%646
%647
%648
%649
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%665
%666
%667
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%399
%738
%739
%740
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%764
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%781
%782
%780
%784
%786
%788
%893
%894
%892
%896
%898
%900
%901
%902
%903
%423
%904
%905
%907
%909
%911
%912
%924
%925
%927
%929
%931
%932
%933
%302
%934
%935
%605
%606
%607
%608
%609
%610
%611
%612
%614
%616
%619
%620
%622
%623
%625
%627
%629
%631
%633
%635
%636
%639
%640
%641
%643
%644
%645
%646
%647
%648
%649
%651
%652
%653
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%665
%666
%667
%669
%670
%671
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%399
%738
%739
%740
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%764
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
(*.f64 #s(literal 1 binary64) %936)
(pow.f64 %936 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %936 %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %936 %101))
(/.f64 #s(literal 1 binary64) (pow.f64 %936 #s(literal -1 binary64)))
(neg.f64 (-.f64 %28 %913))
(fma.f64 %5 #s(literal 1/2 binary64) %913)
(fma.f64 %11 %12 %913)
(fma.f64 %16 z %913)
(fma.f64 %18 %19 %913)
(fma.f64 %24 %25 %913)
(fma.f64 %30 #s(literal 1/2 binary64) %913)
(fma.f64 %32 %10 %913)
(fma.f64 %34 %15 %913)
(fma.f64 %37 #s(literal 1/2 binary64) %913)
(fma.f64 %39 #s(literal -1/2 binary64) %913)
(fma.f64 %42 #s(literal 2 binary64) %913)
(fma.f64 %44 #s(literal 5 binary64) %913)
(fma.f64 %46 %47 %913)
(fma.f64 %4 #s(literal 5/2 binary64) %913)
(fma.f64 %8 %19 %913)
(fma.f64 %22 %15 %913)
(fma.f64 %53 %10 %913)
(fma.f64 %55 %21 %913)
(fma.f64 %47 %57 %913)
(fma.f64 %10 %53 %913)
(fma.f64 #s(literal -1 binary64) %28 %913)
(fma.f64 %62 %63 %913)
(fma.f64 %28 %65 %913)
(fma.f64 %28 %67 %913)
(fma.f64 %28 #s(literal -1 binary64) %913)
(fma.f64 %70 %61 %913)
(fma.f64 %15 %22 %913)
(fma.f64 %61 %70 %913)
(fma.f64 %12 %74 %913)
(fma.f64 %12 %76 %913)
(fma.f64 %12 %78 %913)
(fma.f64 %12 #s(literal -5 binary64) %913)
(fma.f64 #s(literal 1 binary64) %913 %36)
(fma.f64 #s(literal 1 binary64) %36 %913)
(fma.f64 %21 %55 %913)
(fma.f64 #s(literal -5 binary64) %83 %913)
(fma.f64 #s(literal -5 binary64) %12 %913)
(fma.f64 %86 x %913)
(fma.f64 %19 %8 %913)
(fma.f64 %36 #s(literal 1 binary64) %913)
(fma.f64 #s(literal 5 binary64) %44 %913)
%936
(fma.f64 z #s(literal 5 binary64) %913)
(fma.f64 x %86 %913)
(-.f64 %913 %28)
(-.f64 %36 %922)
(+.f64 %913 %36)
(+.f64 %36 %913)
reconstruct161.0ms (10.5%)
Counts
1 385 → 351
Compiler
Compiled 1 385 to 1 092 computations (21.2% saved)
eval25.0ms (1.6%)
Compiler
Compiled 320 to 661 computations (-106.6% saved)
prune6.0ms (0.4%)
Pruning
9 alts after pruning (4 fresh and 5 done)
PrunedKeptTotal
New3164320
Fresh000
Picked257
Done000
Total3189327
Accuracy
100.0%
Counts
327 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.2%
(fma.f64 z (-.f64 x #s(literal -5 binary64)) (*.f64 y x))
▶77.6%
(fma.f64 #s(literal 5 binary64) z (approx (* (+ z y) x) (*.f64 y x)))
✓98.8%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x y (*.f64 z (+.f64 #s(literal 5 binary64) x))))
▶77.6%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x y (*.f64 z (approx (+ 5 x) #s(literal 5 binary64)))))
✓57.6%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
▶22.8%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 (*.f64 #s(literal 5 binary64) x) (/.f64 z x)))
✓57.5%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 z (+.f64 #s(literal 5 binary64) x)))
▶67.5%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
✓33.0%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 #s(literal 5 binary64) z))
Compiler
Compiled 9 to 22 computations (-144.4% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series23.0ms (1.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0190984
Stop Event
1×iter-limit
Counts
19 → 56
Calls
Call 1
Inputs
%4 = (/.f64 z x)
%5 = (*.f64 y x)
%8 = (approx (+ 5 x) #s(literal 5 binary64))
%12 = (approx (+ z (* 5 (/ z x))) z)
%13 = (*.f64 #s(literal 5 binary64) x)
%14 = (*.f64 %13 %4)
%17 = (approx (* (+ z y) x) %5)
%19 = (+.f64 y %12)
%20 = (*.f64 x %19)
%24 = (+ (* x (+ y z)) (* z 5))
%27 = (*.f64 z %8)
%28 = (fma.f64 x y %27)
x
y
z
#s(literal 5 binary64)
%4
%5
%8
%12
%13
%14
%17
(fma.f64 #s(literal 5 binary64) z %17)
%19
%20
(approx %24 %20)
(approx %24 %14)
%27
%28
(approx %24 %28)
Outputs
%5 = (/ z x)
%6 = (/.f64 z x)
%10 = (*.f64 x y)
%13 = (+ 5 x)
%16 = (+.f64 #s(literal 5 binary64) x)
%19 = (+ z (* 5 %5))
%20 = (*.f64 #s(literal 5 binary64) %6)
%22 = (*.f64 x z)
%23 = (fma.f64 #s(literal 5 binary64) z %22)
%26 = (* 5 x)
%33 = (* (+ z y) x)
%34 = (+.f64 y z)
%35 = (*.f64 x %34)
%38 = (+ (* 5 z) %33)
%39 = (fma.f64 #s(literal 5 binary64) z %35)
%41 = (+ y %19)
%44 = (* z %13)
%47 = (/.f64 #s(literal 1 binary64) x)
%49 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) %47))
%50 = (*.f64 x %49)
%53 = (+.f64 z %20)
%55 = (+.f64 y %53)
%61 = (*.f64 x %53)
%70 = (*.f64 #s(literal -1 binary64) z)
%76 = (+ (* x y) %44)
%77 = (fma.f64 #s(literal -1 binary64) y %70)
%86 = (fma.f64 x y %22)
%90 = (* x %41)
%93 = (*.f64 z %16)
%97 = (/.f64 %22 y)
%101 = (/.f64 z y)
%111 = (/.f64 %61 y)
%115 = (/.f64 %93 y)
%146 = (*.f64 z %49)
%150 = (*.f64 x %146)
%153 = (/.f64 %10 z)
%154 = (+.f64 x %153)
%160 = (/.f64 y z)
%169 = (*.f64 #s(literal -1 binary64) %153)
%170 = (fma.f64 #s(literal -1 binary64) x %169)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx (* y x) %10)
(approx %13 #s(literal 5 binary64))
(approx %13 %16)
(approx %19 %20)
(approx %19 (/.f64 %23 x))
(approx %26 (*.f64 #s(literal 5 binary64) x))
(approx (* %26 %5) (*.f64 #s(literal 5 binary64) z))
(approx %33 %35)
(approx %38 %39)
(approx %41 (/.f64 %39 x))
(approx %44 %23)
(approx %13 %50)
(approx %19 z)
(approx %19 %53)
(approx %38 (*.f64 x %55))
(approx %41 %34)
(approx %41 %55)
(approx %44 %22)
(approx %44 %61)
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %6 (*.f64 #s(literal -1 binary64) %34)))))
(approx %44 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %6 %70))))
(approx %76 (*.f64 #s(literal -1 binary64) (*.f64 x %77)))
(approx %76 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %6 %77))))
(approx y y)
(approx %33 %86)
(approx %38 (fma.f64 #s(literal 5 binary64) z %86))
(approx %90 (fma.f64 x y %61))
(approx %76 %93)
(approx %76 (fma.f64 x y %93))
(approx %33 (*.f64 y (+.f64 x %97)))
(approx %38 (*.f64 y (+.f64 x (fma.f64 #s(literal 5 binary64) %101 %97))))
(approx %41 (*.f64 y (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 5 binary64) (/.f64 z %10) %101))))
(approx %90 (*.f64 y (+.f64 x %111)))
(approx %76 (*.f64 y (+.f64 x %115)))
(approx %33 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %97)))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %23 y))))))
(approx %41 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %53 y)) #s(literal 1 binary64)))))
(approx %90 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %111)))))
(approx %76 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %115)))))
(approx %19 %146)
(approx %41 (+.f64 y %146))
(approx %90 (fma.f64 x y %150))
(approx %33 (*.f64 z %154))
(approx %38 (*.f64 z (+.f64 #s(literal 5 binary64) %154)))
(approx %41 (*.f64 z (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 5 binary64) %47 %160))))
(approx %90 %150)
(approx %90 (*.f64 z (fma.f64 x %49 %153)))
(approx %33 (*.f64 #s(literal -1 binary64) (*.f64 z %170)))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 5 binary64)))))
(approx %38 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 %170 #s(literal 5 binary64)))))
(approx %41 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %160) %49))))
(approx %90 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %50 %169))))
(approx %76 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %16 %169))))
Calls
9 calls:
TimeVariablePoint
3.0ms
y
inf
2.0ms
x
inf
2.0ms
z
inf
2.0ms
z
-inf
2.0ms
x
-inf
rewrite64.0ms (4.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
029156
040156
1132156
2330156
3891148
42368148
04138148
04838141
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
19 → 323
Calls
Call 1
Inputs
%4 = (/.f64 z x)
%5 = (*.f64 y x)
%8 = (approx (+ 5 x) #s(literal 5 binary64))
%12 = (approx (+ z (* 5 (/ z x))) z)
%13 = (*.f64 #s(literal 5 binary64) x)
%14 = (*.f64 %13 %4)
%17 = (approx (* (+ z y) x) %5)
%19 = (+.f64 y %12)
%20 = (*.f64 x %19)
%24 = (+ (* x (+ y z)) (* z 5))
%27 = (*.f64 z %8)
%28 = (fma.f64 x y %27)
x
y
z
#s(literal 5 binary64)
%4
%5
%8
%12
%13
%14
%17
(fma.f64 #s(literal 5 binary64) z %17)
%19
%20
(approx %24 %20)
(approx %24 %14)
%27
%28
(approx %24 %28)
Outputs
%5 = (/.f64 #s(literal 1 binary64) x)
%6 = (+.f64 z z)
%10 = (neg.f64 z)
%14 = (/.f64 #s(literal -1/2 binary64) x)
%17 = (/.f64 %10 x)
%19 = (/.f64 #s(literal 1/2 binary64) x)
%21 = (/.f64 z x)
%22 = (*.f64 #s(literal 2 binary64) %21)
%30 = (/.f64 #s(literal -1 binary64) x)
%39 = (neg.f64 x)
%48 = (*.f64 %39 %5)
%51 = (*.f64 %5 %39)
%61 = (neg.f64 y)
%64 = (*.f64 y x)
%74 = (*.f64 %61 x)
%77 = (+ 5 x)
%78 = (approx %77 #s(literal 5 binary64))
%87 = (neg.f64 %78)
%91 = (approx (* (/ z x) %77) z)
%100 = (neg.f64 %91)
%102 = (*.f64 #s(literal 5 binary64) x)
%103 = (*.f64 #s(literal 2 binary64) %102)
%121 = (*.f64 #s(literal -5 binary64) x)
%123 = (*.f64 #s(literal 5 binary64) %6)
%125 = (*.f64 z x)
%126 = (*.f64 %125 #s(literal -5 binary64))
%127 = (*.f64 %126 #s(literal 2 binary64))
%129 = (*.f64 #s(literal -5 binary64) z)
%131 = (*.f64 %129 #s(literal -2 binary64))
%133 = (*.f64 %129 #s(literal 2 binary64))
%135 = (*.f64 #s(literal 5 binary64) z)
%136 = (*.f64 %135 #s(literal 2 binary64))
%138 = (*.f64 %125 #s(literal 5 binary64))
%139 = (*.f64 %138 #s(literal 2 binary64))
%141 = (*.f64 %135 #s(literal 1/2 binary64))
%148 = (/.f64 #s(literal 5 binary64) x)
%150 = (*.f64 %19 %138)
%153 = (*.f64 %39 z)
%154 = (/.f64 #s(literal -5 binary64) x)
%162 = (*.f64 #s(literal -5 binary64) %21)
%168 = (*.f64 %21 #s(literal 5 binary64))
%193 = (*.f64 %135 #s(literal 0 binary64))
%195 = (*.f64 #s(literal 0 binary64) %135)
%219 = (*.f64 #s(literal 1/2 binary64) %135)
%266 = (approx (* (+ z y) x) %64)
%275 = (neg.f64 %266)
%277 = (fma.f64 #s(literal 5 binary64) z %266)
%323 = (+.f64 %91 y)
%332 = (neg.f64 %323)
%340 = (*.f64 %323 x)
%354 = (*.f64 %91 x)
%378 = (- (* y x) (* z (- -5 x)))
%379 = (approx %378 %340)
%388 = (approx %378 %135)
%397 = (*.f64 %78 %6)
%399 = (*.f64 %78 #s(literal 1 binary64))
%401 = (*.f64 #s(literal 1/2 binary64) %78)
%405 = (*.f64 %78 z)
%416 = (*.f64 %10 %78)
%418 = (fma.f64 y x %405)
%446 = (approx %378 %418)
x
y
z
#s(literal 5 binary64)
(*.f64 (*.f64 %5 %6) #s(literal 1/2 binary64))
(*.f64 (*.f64 %10 #s(literal 2 binary64)) %14)
(*.f64 #s(literal -1 binary64) %17)
(*.f64 %6 %19)
(*.f64 #s(literal 1/2 binary64) %22)
(*.f64 #s(literal 2 binary64) (*.f64 %14 %10))
(*.f64 #s(literal 2 binary64) (*.f64 %19 z))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %21))
(*.f64 %30 %10)
(*.f64 %5 z)
(*.f64 %10 %30)
(*.f64 #s(literal 1 binary64) %21)
(*.f64 %21 #s(literal 1 binary64))
(*.f64 z %5)
(pow.f64 %21 #s(literal 1 binary64))
(/.f64 %22 #s(literal 2 binary64))
(/.f64 (*.f64 %21 %39) %39)
(/.f64 (*.f64 #s(literal 2 binary64) %10) (*.f64 #s(literal 2 binary64) %39))
(/.f64 %6 (*.f64 #s(literal 2 binary64) x))
(/.f64 %10 %39)
(/.f64 #s(literal 1 binary64) (pow.f64 %21 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %39 %10))
(/.f64 #s(literal 1 binary64) (/.f64 x z))
%21
(neg.f64 %17)
(*.f64 %61 %39)
(*.f64 %39 %61)
(*.f64 #s(literal 1 binary64) %64)
%64
(*.f64 x y)
(pow.f64 %64 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %64 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %64 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %64 #s(literal -1 binary64)))
(neg.f64 %74)
(*.f64 #s(literal 1 binary64) %78)
(pow.f64 %78 #s(literal 1 binary64))
%78
(/.f64 #s(literal 1 binary64) (pow.f64 %78 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %78 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %78 #s(literal -1 binary64)))
(neg.f64 %87)
(*.f64 #s(literal 1 binary64) %91)
(pow.f64 %91 #s(literal 1 binary64))
%91
(/.f64 #s(literal 1 binary64) (pow.f64 %91 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %91 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %91 #s(literal -1 binary64)))
(neg.f64 %100)
(*.f64 #s(literal 1/2 binary64) %103)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %102))
(*.f64 #s(literal -5 binary64) %39)
(*.f64 %39 #s(literal -5 binary64))
(*.f64 #s(literal 1 binary64) %102)
(*.f64 %102 #s(literal 1 binary64))
%102
(*.f64 x #s(literal 5 binary64))
(pow.f64 %102 #s(literal 1 binary64))
(/.f64 %103 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %102 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %102 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %102 #s(literal -1 binary64)))
(neg.f64 %121)
(*.f64 %123 #s(literal 1/2 binary64))
(*.f64 %127 %14)
(*.f64 %131 #s(literal 1/2 binary64))
(*.f64 %133 #s(literal -1/2 binary64))
(*.f64 %136 #s(literal 1/2 binary64))
(*.f64 %139 %19)
(*.f64 %141 #s(literal 2 binary64))
(*.f64 #s(literal -1 binary64) %129)
(*.f64 %6 #s(literal 5/2 binary64))
(*.f64 %121 %17)
(*.f64 %126 %30)
(*.f64 %148 %125)
(*.f64 #s(literal 2 binary64) %150)
(*.f64 %17 %121)
(*.f64 %153 %154)
(*.f64 %30 %126)
(*.f64 %138 %5)
(*.f64 %125 %148)
(*.f64 #s(literal -5 binary64) %10)
(*.f64 %129 #s(literal -1 binary64))
(*.f64 %5 %138)
(*.f64 %39 %162)
(*.f64 %10 #s(literal -5 binary64))
(*.f64 #s(literal 1 binary64) %135)
(*.f64 %135 #s(literal 1 binary64))
(*.f64 %102 %21)
(*.f64 %168 x)
(*.f64 %21 %102)
%135
(*.f64 z #s(literal 5 binary64))
(*.f64 x %168)
(pow.f64 %135 #s(literal 1 binary64))
(/.f64 %136 #s(literal 2 binary64))
(/.f64 (*.f64 %126 #s(literal -1 binary64)) x)
(/.f64 %126 %39)
(/.f64 %138 x)
(/.f64 #s(literal 1 binary64) (pow.f64 %135 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %135 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %135 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %39 %126))
(/.f64 #s(literal 1 binary64) (/.f64 x %138))
(neg.f64 (*.f64 %168 %39))
(neg.f64 %129)
(fma.f64 %123 #s(literal 1/2 binary64) %193)
(fma.f64 %123 #s(literal 1/2 binary64) %195)
(fma.f64 %127 %14 %193)
(fma.f64 %127 %14 %195)
(fma.f64 %131 #s(literal 1/2 binary64) %193)
(fma.f64 %131 #s(literal 1/2 binary64) %195)
(fma.f64 %133 #s(literal -1/2 binary64) %193)
(fma.f64 %133 #s(literal -1/2 binary64) %195)
(fma.f64 %136 #s(literal 1/2 binary64) %193)
(fma.f64 %136 #s(literal 1/2 binary64) %195)
(fma.f64 %139 %19 %193)
(fma.f64 %139 %19 %195)
(fma.f64 %141 #s(literal 2 binary64) %193)
(fma.f64 %141 #s(literal 2 binary64) %195)
(fma.f64 #s(literal -1 binary64) %129 %193)
(fma.f64 #s(literal -1 binary64) %129 %195)
(fma.f64 %6 #s(literal 5/2 binary64) %193)
(fma.f64 %6 #s(literal 5/2 binary64) %195)
(fma.f64 %121 %17 %193)
(fma.f64 %121 %17 %195)
(fma.f64 %126 %30 %193)
(fma.f64 %126 %30 %195)
(fma.f64 %148 %125 %193)
(fma.f64 %148 %125 %195)
(fma.f64 #s(literal 1/2 binary64) %135 %219)
(fma.f64 #s(literal 2 binary64) %150 %193)
(fma.f64 #s(literal 2 binary64) %150 %195)
(fma.f64 %17 %121 %193)
(fma.f64 %17 %121 %195)
(fma.f64 %153 %154 %193)
(fma.f64 %153 %154 %195)
(fma.f64 %30 %126 %193)
(fma.f64 %30 %126 %195)
(fma.f64 %138 %5 %193)
(fma.f64 %138 %5 %195)
(fma.f64 %125 %148 %193)
(fma.f64 %125 %148 %195)
(fma.f64 #s(literal -5 binary64) %10 %193)
(fma.f64 #s(literal -5 binary64) %10 %195)
(fma.f64 %129 #s(literal -1 binary64) %193)
(fma.f64 %129 #s(literal -1 binary64) %195)
(fma.f64 %5 %138 %193)
(fma.f64 %5 %138 %195)
(fma.f64 %39 %162 %193)
(fma.f64 %39 %162 %195)
(fma.f64 %10 #s(literal -5 binary64) %193)
(fma.f64 %10 #s(literal -5 binary64) %195)
(fma.f64 #s(literal 1 binary64) %135 %193)
(fma.f64 #s(literal 1 binary64) %135 %195)
(fma.f64 %135 #s(literal 1/2 binary64) %141)
(fma.f64 %135 #s(literal 1 binary64) %193)
(fma.f64 %135 #s(literal 1 binary64) %195)
(fma.f64 %102 %21 %193)
(fma.f64 %102 %21 %195)
(fma.f64 %168 x %193)
(fma.f64 %168 x %195)
(fma.f64 %21 %102 %193)
(fma.f64 %21 %102 %195)
(fma.f64 #s(literal 5 binary64) z %193)
(fma.f64 #s(literal 5 binary64) z %195)
(fma.f64 z #s(literal 5 binary64) %193)
(fma.f64 z #s(literal 5 binary64) %195)
(fma.f64 x %168 %193)
(fma.f64 x %168 %195)
(+.f64 %141 %141)
(+.f64 %219 %219)
(+.f64 %135 %193)
(+.f64 %135 %195)
(*.f64 #s(literal 1 binary64) %266)
(pow.f64 %266 #s(literal 1 binary64))
%266
(/.f64 #s(literal 1 binary64) (pow.f64 %266 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %266 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %266 #s(literal -1 binary64)))
(neg.f64 %275)
(*.f64 #s(literal 1 binary64) %277)
(pow.f64 %277 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %277 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %277 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %277 #s(literal -1 binary64)))
(neg.f64 (-.f64 %129 %266))
(fma.f64 %123 #s(literal 1/2 binary64) %266)
(fma.f64 %127 %14 %266)
(fma.f64 %131 #s(literal 1/2 binary64) %266)
(fma.f64 %133 #s(literal -1/2 binary64) %266)
(fma.f64 %136 #s(literal 1/2 binary64) %266)
(fma.f64 %139 %19 %266)
(fma.f64 %141 #s(literal 2 binary64) %266)
(fma.f64 #s(literal -1 binary64) %129 %266)
(fma.f64 %6 #s(literal 5/2 binary64) %266)
(fma.f64 %121 %17 %266)
(fma.f64 %126 %30 %266)
(fma.f64 %148 %125 %266)
(fma.f64 #s(literal 2 binary64) %150 %266)
(fma.f64 %17 %121 %266)
(fma.f64 %153 %154 %266)
(fma.f64 %30 %126 %266)
(fma.f64 %138 %5 %266)
(fma.f64 %125 %148 %266)
(fma.f64 #s(literal -5 binary64) %10 %266)
(fma.f64 %129 #s(literal -1 binary64) %266)
(fma.f64 %5 %138 %266)
(fma.f64 %39 %162 %266)
(fma.f64 %10 #s(literal -5 binary64) %266)
(fma.f64 #s(literal 1 binary64) %135 %266)
(fma.f64 #s(literal 1 binary64) %266 %135)
(fma.f64 %135 #s(literal 1 binary64) %266)
(fma.f64 %102 %21 %266)
(fma.f64 %168 x %266)
(fma.f64 %21 %102 %266)
%277
(fma.f64 z #s(literal 5 binary64) %266)
(fma.f64 x %168 %266)
(-.f64 %135 %275)
(-.f64 %266 %129)
(+.f64 %135 %266)
(+.f64 %266 %135)
(*.f64 #s(literal 1 binary64) %323)
(pow.f64 %323 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %323 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %323 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %323 #s(literal -1 binary64)))
(neg.f64 %332)
(fma.f64 #s(literal 1 binary64) %91 y)
(-.f64 %91 %61)
(-.f64 y %100)
%323
(+.f64 y %91)
(*.f64 %332 %39)
(*.f64 %39 %332)
(*.f64 #s(literal 1 binary64) %340)
%340
(*.f64 x %323)
(pow.f64 %340 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %340 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %340 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %340 #s(literal -1 binary64)))
(neg.f64 (*.f64 %39 %323))
(neg.f64 (*.f64 %323 %39))
(neg.f64 (-.f64 %74 %354))
(neg.f64 (*.f64 %332 x))
(fma.f64 %100 %39 %64)
(fma.f64 %61 %39 %354)
(fma.f64 %39 %100 %64)
(fma.f64 %39 %61 %354)
(fma.f64 #s(literal 1 binary64) %354 %64)
(fma.f64 #s(literal 1 binary64) %64 %354)
(fma.f64 %91 x %64)
(fma.f64 y x %354)
(fma.f64 x %91 %64)
(fma.f64 x y %354)
(-.f64 %354 %74)
(-.f64 %64 (*.f64 %100 x))
(+.f64 %354 %64)
(+.f64 %64 %354)
(*.f64 #s(literal 1 binary64) %379)
(pow.f64 %379 #s(literal 1 binary64))
%379
(/.f64 #s(literal 1 binary64) (pow.f64 %379 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %379 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %379 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %388)
(pow.f64 %388 #s(literal 1 binary64))
%388
(/.f64 #s(literal 1 binary64) (pow.f64 %388 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %388 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %388 #s(literal -1 binary64)))
(*.f64 %397 #s(literal 1/2 binary64))
(*.f64 %399 z)
(*.f64 %6 %401)
(*.f64 %87 %10)
(*.f64 %10 %87)
(*.f64 #s(literal 1 binary64) %405)
(*.f64 %405 #s(literal 1 binary64))
%405
(*.f64 z %78)
(pow.f64 %405 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %405 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %405 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %405 #s(literal -1 binary64)))
(neg.f64 %416)
(*.f64 #s(literal 1 binary64) %418)
(pow.f64 %418 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %418 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %418 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %418 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %418))
(fma.f64 %397 #s(literal 1/2 binary64) %64)
(fma.f64 %399 z %64)
(fma.f64 %6 %401 %64)
(fma.f64 %87 %10 %64)
(fma.f64 %61 %39 %405)
(fma.f64 %39 %61 %405)
(fma.f64 %10 %87 %64)
(fma.f64 #s(literal 1 binary64) %64 %405)
(fma.f64 #s(literal 1 binary64) %405 %64)
(fma.f64 %405 #s(literal 1 binary64) %64)
(fma.f64 %78 z %64)
(fma.f64 z %78 %64)
%418
(fma.f64 x y %405)
(-.f64 %64 %416)
(-.f64 %405 %74)
(+.f64 %64 %405)
(+.f64 %405 %64)
(*.f64 #s(literal 1 binary64) %446)
(pow.f64 %446 #s(literal 1 binary64))
%446
(/.f64 #s(literal 1 binary64) (pow.f64 %446 %48))
(/.f64 #s(literal 1 binary64) (pow.f64 %446 %51))
(/.f64 #s(literal 1 binary64) (pow.f64 %446 #s(literal -1 binary64)))
reconstruct24.0ms (1.6%)
Counts
378 → 112
Compiler
Compiled 378 to 548 computations (-45.0% saved)
eval11.0ms (0.7%)
Compiler
Compiled 110 to 281 computations (-155.5% saved)
prune3.0ms (0.2%)
Pruning
9 alts after pruning (2 fresh and 7 done)
PrunedKeptTotal
New1082110
Fresh000
Picked044
Done235
Total1109119
Accuracy
100.0%
Counts
119 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓77.6%
(fma.f64 #s(literal 5 binary64) z (approx (* (+ z y) x) (*.f64 y x)))
▶66.7%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x (approx (* (/ z x) (+ 5 x)) z) (*.f64 y x)))
▶66.4%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x y (*.f64 (approx (* (/ z x) (+ 5 x)) z) x)))
✓77.6%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x y (*.f64 z (approx (+ 5 x) #s(literal 5 binary64)))))
✓57.6%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
✓22.8%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 (*.f64 #s(literal 5 binary64) x) (/.f64 z x)))
✓57.5%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 z (+.f64 #s(literal 5 binary64) x)))
✓67.5%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
✓33.0%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 #s(literal 5 binary64) z))
Compiler
Compiled 9 to 21 computations (-133.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series15.0ms (0.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0116559
Stop Event
1×iter-limit
Counts
10 → 31
Calls
Call 1
Inputs
%3 = (*.f64 y x)
%8 = (approx (* (/ z x) (+ 5 x)) z)
%9 = (*.f64 %8 x)
%10 = (fma.f64 x %8 %3)
%11 = (fma.f64 x y %9)
%15 = (+ (* x (+ y z)) (* z 5))
x
y
z
%3
%8
%9
%10
%11
(approx %15 %11)
(approx %15 %10)
Outputs
%5 = (* y x)
%6 = (*.f64 x y)
%12 = (* (/ z x) (+ 5 x))
%14 = (/.f64 z x)
%15 = (*.f64 #s(literal 5 binary64) %14)
%17 = (*.f64 x z)
%18 = (fma.f64 #s(literal 5 binary64) z %17)
%21 = (* %12 x)
%26 = (+ (* x %12) %5)
%27 = (+.f64 y z)
%28 = (*.f64 x %27)
%32 = (+.f64 z %15)
%43 = (*.f64 #s(literal -1 binary64) z)
%48 = (fma.f64 #s(literal -1 binary64) y %43)
%59 = (+ (* x (+ y z)) (* z 5))
%66 = (+.f64 #s(literal 5 binary64) x)
%67 = (*.f64 z %66)
%74 = (/.f64 %67 y)
%97 = (/.f64 %6 z)
%102 = (*.f64 #s(literal -1 binary64) %97)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %12 %15)
(approx %12 (/.f64 %18 x))
(approx %21 (*.f64 #s(literal 5 binary64) z))
(approx %21 %18)
(approx %26 (fma.f64 #s(literal 5 binary64) z %28))
(approx %12 z)
(approx %12 %32)
(approx %21 %17)
(approx %21 (*.f64 x %32))
(approx %26 %28)
(approx %26 (*.f64 x (+.f64 y %32)))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %14 %43))))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 x %48)))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %14 %48))))
(approx %59 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -5 binary64) %14 (*.f64 #s(literal -1 binary64) %27)))))
(approx y y)
(approx %26 %67)
(approx %26 (fma.f64 x y %67))
(approx %59 (fma.f64 #s(literal 5 binary64) z (fma.f64 x y %17)))
(approx %26 (*.f64 y (+.f64 x %74)))
(approx %59 (*.f64 y (+.f64 x (fma.f64 #s(literal 5 binary64) (/.f64 z y) (/.f64 %17 y)))))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %74)))))
(approx %59 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %18 y))))))
(approx %12 (/.f64 %67 x))
(approx %26 (*.f64 z (+.f64 #s(literal 5 binary64) (+.f64 x %97))))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %66 %102))))
(approx %59 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) x) #s(literal 5 binary64)))))
(approx %59 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (fma.f64 #s(literal -1 binary64) x %102) #s(literal 5 binary64)))))
Calls
9 calls:
TimeVariablePoint
2.0ms
z
inf
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
z
0
1.0ms
y
inf
rewrite79.0ms (5.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
018102
024102
19498
227498
390398
4368398
0416298
0452190
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
10 → 74
Calls
Call 1
Inputs
%3 = (*.f64 y x)
%8 = (approx (* (/ z x) (+ 5 x)) z)
%9 = (*.f64 %8 x)
%10 = (fma.f64 x %8 %3)
%11 = (fma.f64 x y %9)
%15 = (+ (* x (+ y z)) (* z 5))
x
y
z
%3
%8
%9
%10
%11
(approx %15 %11)
(approx %15 %10)
Outputs
%3 = (neg.f64 y)
%4 = (neg.f64 x)
%8 = (*.f64 y x)
%15 = (*.f64 %3 x)
%21 = (approx (* (+ 5 x) (/ z x)) z)
%26 = (neg.f64 %21)
%30 = (*.f64 %21 x)
%36 = (*.f64 %26 x)
%38 = (+.f64 %21 y)
%39 = (*.f64 %38 x)
%40 = (neg.f64 %38)
%41 = (*.f64 %4 %40)
%42 = (*.f64 #s(literal 1 binary64) %39)
%43 = (*.f64 x %38)
%44 = (pow.f64 %39 #s(literal 1 binary64))
%46 = (/.f64 #s(literal 1 binary64) (pow.f64 %39 #s(literal -1 binary64)))
%48 = (neg.f64 (*.f64 %40 x))
%49 = (fma.f64 %26 %4 %8)
%50 = (fma.f64 %3 %4 %30)
%51 = (fma.f64 %4 %26 %8)
%52 = (fma.f64 %4 %3 %30)
%53 = (fma.f64 #s(literal 1 binary64) %8 %30)
%54 = (fma.f64 #s(literal 1 binary64) %30 %8)
%55 = (fma.f64 %21 x %8)
%56 = (fma.f64 y x %30)
%57 = (fma.f64 x %21 %8)
%58 = (fma.f64 x y %30)
%59 = (-.f64 %8 %36)
%60 = (-.f64 %30 %15)
%61 = (+.f64 %8 %30)
%62 = (+.f64 %30 %8)
%67 = (approx (+ (* 5 z) (* (+ z y) x)) %39)
%68 = (*.f64 #s(literal 1 binary64) %67)
%69 = (pow.f64 %67 #s(literal 1 binary64))
%71 = (/.f64 #s(literal 1 binary64) (pow.f64 %67 #s(literal -1 binary64)))
x
y
z
(*.f64 %3 %4)
(*.f64 %4 %3)
(*.f64 #s(literal 1 binary64) %8)
%8
(*.f64 x y)
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(neg.f64 %15)
(*.f64 #s(literal 1 binary64) %21)
(pow.f64 %21 #s(literal 1 binary64))
%21
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(neg.f64 %26)
(*.f64 %26 %4)
(*.f64 %4 %26)
(*.f64 #s(literal 1 binary64) %30)
%30
(*.f64 x %21)
(pow.f64 %30 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %30 #s(literal -1 binary64)))
(neg.f64 %36)
%39
%41
%42
%43
%44
%46
%48
%49
%50
%51
%52
%53
%54
%55
%56
%57
%58
%59
%60
%61
%62
%39
%41
%42
%43
%44
%46
%48
%49
%50
%51
%52
%53
%54
%55
%56
%57
%58
%59
%60
%61
%62
%68
%69
%67
%71
%68
%69
%67
%71
reconstruct8.0ms (0.5%)
Counts
105 → 45
Compiler
Compiled 105 to 131 computations (-24.8% saved)
eval4.0ms (0.3%)
Compiler
Compiled 43 to 114 computations (-165.1% saved)
prune2.0ms (0.2%)
Pruning
9 alts after pruning (0 fresh and 9 done)
PrunedKeptTotal
New43043
Fresh000
Picked022
Done077
Total43952
Accuracy
100.0%
Counts
52 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓77.6%
(fma.f64 #s(literal 5 binary64) z (approx (* (+ z y) x) (*.f64 y x)))
✓66.7%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x (approx (* (/ z x) (+ 5 x)) z) (*.f64 y x)))
✓66.4%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x y (*.f64 (approx (* (/ z x) (+ 5 x)) z) x)))
✓77.6%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x y (*.f64 z (approx (+ 5 x) #s(literal 5 binary64)))))
✓57.6%
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
✓22.8%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 (*.f64 #s(literal 5 binary64) x) (/.f64 z x)))
✓57.5%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 z (+.f64 #s(literal 5 binary64) x)))
✓67.5%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
✓33.0%
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 #s(literal 5 binary64) z))
Compiler
Compiled 9 to 21 computations (-133.3% saved)
regimes32.0ms (2.1%)
Accuracy
Total 26.3b remaining (36.3%)
Threshold costs 1.4b (1.9%)
8.3b58.8%
8.3b58.8%
7.2b61.8%
1.2b91.8%
0.8b0.0%
Counts
1 → 1
2 → 3
3 → 3
4 → 3
5 → 3
11 → 1
12 → 1
13 → 1
Calls
Call 1
Inputs
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 #s(literal 5 binary64) z))
Outputs
(approx (+ (* x (+ y z)) (* z 5)) (*.f64 #s(literal 5 binary64) z))
Call 2
Inputs
%7 = (+ (* x (+ y z)) (* z 5))
(approx %7 (*.f64 #s(literal 5 binary64) z))
(approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
Outputs
%7 = (+ (* x (+ y z)) (* z 5))
%14 = (approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
%14
(approx %7 (*.f64 #s(literal 5 binary64) z))
%14
Call 3
Inputs
%7 = (+ (* x (+ y z)) (* z 5))
(approx %7 (*.f64 #s(literal 5 binary64) z))
(approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
(approx %7 (*.f64 z (+.f64 #s(literal 5 binary64) x)))
Outputs
%7 = (+ (* x (+ y z)) (* z 5))
%14 = (approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
%14
(approx %7 (*.f64 z (+.f64 #s(literal 5 binary64) x)))
%14
Call 4
Inputs
%7 = (+ (* x (+ y z)) (* z 5))
(approx %7 (*.f64 #s(literal 5 binary64) z))
(approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
(approx %7 (*.f64 z (+.f64 #s(literal 5 binary64) x)))
(approx %7 (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
Outputs
%7 = (+ (* x (+ y z)) (* z 5))
%14 = (approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
%14
(approx %7 (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
%14
Call 5
Inputs
%7 = (+ (* x (+ y z)) (* z 5))
(approx %7 (*.f64 #s(literal 5 binary64) z))
(approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
(approx %7 (*.f64 z (+.f64 #s(literal 5 binary64) x)))
(approx %7 (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
(approx %7 (fma.f64 x y (*.f64 z (approx (+ 5 x) #s(literal 5 binary64)))))
Outputs
%7 = (+ (* x (+ y z)) (* z 5))
%14 = (approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 (/ z x))) z))))
%14
(approx %7 (fma.f64 x y (*.f64 z (approx (+ 5 x) #s(literal 5 binary64)))))
%14
Call 6
Inputs
%4 = (* x (+ y z))
%7 = (+ %4 (* z 5))
%11 = (/ z x)
%19 = (*.f64 z (+.f64 #s(literal 5 binary64) x))
%24 = (+ 5 x)
%30 = (approx (* %11 %24) z)
%34 = (*.f64 y x)
(approx %7 (*.f64 #s(literal 5 binary64) z))
(approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 %11)) z))))
(approx %7 %19)
(approx %7 (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
(approx %7 (fma.f64 x y (*.f64 z (approx %24 #s(literal 5 binary64)))))
(approx %7 (fma.f64 x y (*.f64 %30 x)))
(approx %7 (fma.f64 x %30 %34))
(fma.f64 #s(literal 5 binary64) z (approx (* (+ z y) x) %34))
(+.f64 (approx %4 (*.f64 x y)) (*.f64 z #s(literal 5 binary64)))
(approx %7 (*.f64 (*.f64 #s(literal 5 binary64) x) (/.f64 z x)))
(approx %7 (fma.f64 x y %19))
Outputs
(approx (+ (* x (+ y z)) (* z 5)) (fma.f64 x y (*.f64 z (+.f64 #s(literal 5 binary64) x))))
Call 7
Inputs
%4 = (* x (+ y z))
%7 = (+ %4 (* z 5))
%11 = (/ z x)
%19 = (*.f64 z (+.f64 #s(literal 5 binary64) x))
%24 = (+ 5 x)
%30 = (approx (* %11 %24) z)
%34 = (*.f64 y x)
(approx %7 (*.f64 #s(literal 5 binary64) z))
(approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 %11)) z))))
(approx %7 %19)
(approx %7 (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
(approx %7 (fma.f64 x y (*.f64 z (approx %24 #s(literal 5 binary64)))))
(approx %7 (fma.f64 x y (*.f64 %30 x)))
(approx %7 (fma.f64 x %30 %34))
(fma.f64 #s(literal 5 binary64) z (approx (* (+ z y) x) %34))
(+.f64 (approx %4 (*.f64 x y)) (*.f64 z #s(literal 5 binary64)))
(approx %7 (*.f64 (*.f64 #s(literal 5 binary64) x) (/.f64 z x)))
(approx %7 (fma.f64 x y %19))
(fma.f64 z (-.f64 x #s(literal -5 binary64)) %34)
Outputs
(fma.f64 z (-.f64 x #s(literal -5 binary64)) (*.f64 y x))
Call 8
Inputs
%4 = (* x (+ y z))
%7 = (+ %4 (* z 5))
%11 = (/ z x)
%19 = (*.f64 z (+.f64 #s(literal 5 binary64) x))
%24 = (+ 5 x)
%30 = (approx (* %11 %24) z)
%34 = (*.f64 y x)
%43 = (*.f64 z #s(literal 5 binary64))
(approx %7 (*.f64 #s(literal 5 binary64) z))
(approx %7 (*.f64 x (+.f64 y (approx (+ z (* 5 %11)) z))))
(approx %7 %19)
(approx %7 (fma.f64 #s(literal 5 binary64) z (*.f64 x z)))
(approx %7 (fma.f64 x y (*.f64 z (approx %24 #s(literal 5 binary64)))))
(approx %7 (fma.f64 x y (*.f64 %30 x)))
(approx %7 (fma.f64 x %30 %34))
(fma.f64 #s(literal 5 binary64) z (approx (* (+ z y) x) %34))
(+.f64 (approx %4 (*.f64 x y)) %43)
(approx %7 (*.f64 (*.f64 #s(literal 5 binary64) x) (/.f64 z x)))
(approx %7 (fma.f64 x y %19))
(fma.f64 z (-.f64 x #s(literal -5 binary64)) %34)
(+.f64 (*.f64 x (+.f64 y z)) %43)
Outputs
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z #s(literal 5 binary64)))
Calls
4 calls:
8.0ms
y
8.0ms
x
7.0ms
z
7.0ms
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z #s(literal 5 binary64)))
Results
AccuracySegmentsBranch
33.0%1
z
33.0%1
y
33.0%1
x
33.0%1
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z #s(literal 5 binary64)))
Compiler
Compiled 18 to 43 computations (-138.9% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch15.0ms (1.0%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
7.0ms
2.2045952188073033e-14
0.0005825814724763941
5.0ms
-14298.649587223466
-771.6157302664199
Samples
5.0ms269×0valid
0.0ms2×2valid
0.0ms1×1valid
Compiler
Compiled 16 to 28 computations (-75.0% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Mul: 0.0ms (0.0% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch12.0ms (0.8%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
7.0ms
464742860.8895076
43297018368802.69
4.0ms
-2.8368855981903414e-51
-1.2064225709139271e-51
Samples
4.0ms215×0valid
0.0ms7×2valid
0.0ms2×1valid
Compiler
Compiled 16 to 28 computations (-75.0% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Mul: 0.0ms (0.0% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch1.0ms (0.1%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
0.0ms
464742860.8895076
43297018368802.69
0.0ms
-2.8368855981903414e-51
-1.2064225709139271e-51
Compiler
Compiled 16 to 28 computations (-75.0% saved)
bsearch4.0ms (0.3%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
6.0ms
6.976922429949524e-35
1.0427301318071524e-33
0.0ms
-2.8368855981903414e-51
-1.2064225709139271e-51
Samples
2.0ms94×0valid
0.0ms2×2valid
Compiler
Compiled 16 to 26 computations (-62.5% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Mul: 0.0ms (0.0% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations28.0ms (1.8%)
Stop Event
1×done
Compiler
Compiled 8 to 40 computations (-400.0% saved)
preprocess33.0ms (2.2%)
Compiler
Compiled 9 to 48 computations (-433.3% saved)
end0.0ms (0.0%)
gc291ms (19.0%)
Allocations
AllocatedPercentPhase
610.2 MiB41.6%sample
300.3 MiB20.5%rewrite
182.7 MiB12.5%reconstruct
111.9 MiB7.6%series
97.6 MiB6.7%preprocess
52.3 MiB3.6%eval
48.4 MiB3.3%regimes
22.4 MiB1.5%prune
20.1 MiB1.4%derivations
19.4 MiB1.3%bsearch
0.5 MiB0.0%analyze
0.1 MiB0.0%start
0.0 MiB0.0%end
1 465.9 MiB100.0%total
Profiling
Loading profile data...