Data.Histogram.Bin.BinF:$cfromIndex from histogram-fill-0.8.4.1

Time bar (total: 1.4s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 11 to 10 computations (9.1% saved)

sample274.0ms (19.2%)

Samples
201.0ms8 255×0valid
0.0ms1×2valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
Div: 4.0ms (39.7% of total, 0.0 MiB)
Add: 3.0ms (29.8% of total, 0.0 MiB)
Mul: 2.0ms (19.9% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess27.0ms (1.9%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03395
116671
257670
3168170
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (+.f64 (/.f64 x #s(literal 2 binary64)) (*.f64 y x)) z)
Compiler

Compiled 2 to 16 computations (-700.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series32.0ms (2.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
083306
Stop Event
1×iter-limit
Counts
8 → 20
Calls
Call 1
Inputs
%2 = (/.f64 x #s(literal 2 binary64))
%4 = (*.f64 y x)
%5 = (+.f64 %2 %4)
x
#s(literal 2 binary64)
%2
y
%4
%5
z
(+.f64 %5 z)
Outputs
%5 = (/ x 2)
%7 = (*.f64 #s(literal 1/2 binary64) x)
%10 = (* y x)
%11 = (*.f64 x y)
%13 = (+ %5 %10)
%15 = (*.f64 x (+.f64 #s(literal 1/2 binary64) y))
%18 = (+ %13 z)
%22 = (/.f64 z x)
%40 = (fma.f64 #s(literal 1/2 binary64) x %11)
%42 = (+.f64 z %7)
%46 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %10 %11)
(approx %13 %15)
(approx %18 z)
(approx %18 (+.f64 z %15))
(approx %18 (*.f64 x (+.f64 #s(literal 1/2 binary64) (+.f64 y %22))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1/2 binary64)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %22)) #s(literal 1/2 binary64)))))
(approx y y)
(approx %13 %40)
(approx %18 %42)
(approx %18 (+.f64 z %40))
(approx %13 (*.f64 y (+.f64 x (*.f64 #s(literal 1/2 binary64) %46))))
(approx %18 (*.f64 y (+.f64 x (fma.f64 #s(literal 1/2 binary64) %46 (/.f64 z y)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1/2 binary64) %46)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %42 y))))))
(approx %18 (*.f64 z (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) (/.f64 x z) (/.f64 %11 z)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %40 z)) #s(literal 1 binary64)))))
Calls
9 calls:
TimeVariablePoint
4.0ms
x
inf
3.0ms
x
-inf
2.0ms
y
inf
1.0ms
y
-inf
1.0ms
z
-inf
rewrite138.0ms (9.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0826
01226
14422
213622
345622
4200522
0431222
0456021
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 1 055
Calls
Call 1
Inputs
%2 = (/.f64 x #s(literal 2 binary64))
%4 = (*.f64 y x)
%5 = (+.f64 %2 %4)
x
#s(literal 2 binary64)
%2
y
%4
%5
z
(+.f64 %5 z)
Outputs
%3 = (*.f64 #s(literal -1/2 binary64) x)
%4 = (/.f64 %3 #s(literal 2 binary64))
%8 = (*.f64 #s(literal 1/2 binary64) x)
%9 = (*.f64 %8 #s(literal 1/2 binary64))
%11 = (/.f64 %3 #s(literal -2 binary64))
%13 = (+.f64 x x)
%14 = (/.f64 %13 #s(literal 1/2 binary64))
%18 = (/.f64 x #s(literal 4 binary64))
%20 = (neg.f64 x)
%21 = (*.f64 %20 #s(literal 2 binary64))
%24 = (*.f64 #s(literal -2 binary64) x)
%38 = (*.f64 #s(literal -1/4 binary64) %20)
%40 = (*.f64 #s(literal 1/4 binary64) x)
%42 = (*.f64 #s(literal 1/2 binary64) %8)
%52 = (*.f64 #s(literal -2 binary64) %20)
%56 = (*.f64 #s(literal 2 binary64) %20)
%59 = (*.f64 %8 #s(literal -2 binary64))
%66 = (*.f64 %20 #s(literal -2 binary64))
%87 = (/.f64 (*.f64 %20 #s(literal 0 binary64)) #s(literal -2 binary64))
%90 = (/.f64 (*.f64 #s(literal 0 binary64) %20) #s(literal -2 binary64))
%92 = (*.f64 %8 #s(literal 0 binary64))
%93 = (/.f64 %92 #s(literal 1 binary64))
%95 = (*.f64 #s(literal 0 binary64) %8)
%96 = (/.f64 %95 #s(literal 1 binary64))
%99 = (/.f64 (*.f64 x #s(literal 0 binary64)) #s(literal 2 binary64))
%102 = (/.f64 (*.f64 #s(literal 0 binary64) x) #s(literal 2 binary64))
%284 = (/.f64 %9 #s(literal 1 binary64))
%286 = (/.f64 %42 #s(literal 1 binary64))
%301 = (*.f64 y x)
%302 = (*.f64 %301 #s(literal 1/2 binary64))
%304 = (*.f64 y #s(literal 1 binary64))
%306 = (/.f64 %301 #s(literal -2 binary64))
%308 = (/.f64 y #s(literal -2 binary64))
%310 = (*.f64 %13 y)
%311 = (/.f64 %310 #s(literal 4 binary64))
%313 = (/.f64 %310 #s(literal 1/2 binary64))
%315 = (/.f64 y #s(literal 4 binary64))
%317 = (/.f64 y #s(literal 1/2 binary64))
%319 = (/.f64 y #s(literal 1 binary64))
%321 = (/.f64 y #s(literal 2 binary64))
%323 = (/.f64 %301 #s(literal 1/2 binary64))
%325 = (/.f64 %301 #s(literal 4 binary64))
%327 = (/.f64 %301 #s(literal 2 binary64))
%329 = (+.f64 y y)
%330 = (/.f64 %329 #s(literal 1/2 binary64))
%332 = (*.f64 #s(literal 1/2 binary64) y)
%334 = (/.f64 %329 #s(literal 4 binary64))
%337 = (/.f64 %329 #s(literal -1 binary64))
%339 = (*.f64 #s(literal -2 binary64) %301)
%342 = (/.f64 %301 #s(literal -1 binary64))
%344 = (neg.f64 y)
%349 = (*.f64 %344 #s(literal 1 binary64))
%354 = (/.f64 %329 #s(literal 1 binary64))
%356 = (*.f64 #s(literal 1/2 binary64) %301)
%360 = (/.f64 %329 #s(literal 2 binary64))
%370 = (/.f64 %310 #s(literal -2 binary64))
%374 = (*.f64 %344 x)
%386 = (/.f64 (*.f64 %310 #s(literal 0 binary64)) #s(literal 2 binary64))
%389 = (/.f64 (*.f64 #s(literal 0 binary64) %310) #s(literal 2 binary64))
%391 = (*.f64 %301 #s(literal 0 binary64))
%392 = (/.f64 %391 #s(literal 1 binary64))
%394 = (*.f64 #s(literal 0 binary64) %301)
%395 = (/.f64 %394 #s(literal 1 binary64))
%611 = (/.f64 %302 #s(literal 1 binary64))
%613 = (/.f64 %356 #s(literal 1 binary64))
%615 = (/.f64 %327 #s(literal 1 binary64))
%626 = (-.f64 y #s(literal -1/2 binary64))
%627 = (*.f64 %626 %13)
%629 = (*.f64 %626 #s(literal 1 binary64))
%631 = (fma.f64 #s(literal -2 binary64) y #s(literal -1 binary64))
%632 = (*.f64 x %631)
%633 = (*.f64 %632 #s(literal 2 binary64))
%635 = (fma.f64 %13 y x)
%636 = (*.f64 %635 #s(literal 2 binary64))
%638 = (*.f64 %632 #s(literal -1 binary64))
%640 = (*.f64 %632 #s(literal 1 binary64))
%642 = (*.f64 %635 #s(literal -1 binary64))
%644 = (*.f64 %635 #s(literal 1 binary64))
%646 = (-.f64 #s(literal -1/2 binary64) y)
%647 = (*.f64 %646 x)
%648 = (/.f64 %647 #s(literal 2 binary64))
%650 = (/.f64 %647 #s(literal -2 binary64))
%652 = (/.f64 %635 #s(literal -1/2 binary64))
%654 = (/.f64 %635 #s(literal 1/2 binary64))
%656 = (/.f64 %646 #s(literal -2 binary64))
%658 = (/.f64 %646 #s(literal -1/2 binary64))
%660 = (/.f64 %646 #s(literal 2 binary64))
%662 = (*.f64 #s(literal 1/2 binary64) %626)
%666 = (*.f64 %626 x)
%667 = (/.f64 %646 #s(literal 1/2 binary64))
%674 = (/.f64 %646 #s(literal 1 binary64))
%711 = (*.f64 %631 x)
%715 = (*.f64 (fma.f64 y #s(literal 2 binary64) #s(literal 1 binary64)) x)
%718 = (/.f64 %635 #s(literal 4 binary64))
%721 = (/.f64 %647 #s(literal -1/2 binary64))
%726 = (fma.f64 %339 #s(literal -2 binary64) %66)
%729 = (fma.f64 %24 y %59)
%732 = (fma.f64 %339 #s(literal 2 binary64) %24)
%735 = (fma.f64 %310 #s(literal -2 binary64) %21)
%738 = (fma.f64 %310 #s(literal 2 binary64) %13)
%743 = (fma.f64 %339 #s(literal -2 binary64) %52)
%746 = (fma.f64 %310 #s(literal -2 binary64) %56)
%874 = (fma.f64 y x z)
%875 = (*.f64 %874 #s(literal -2 binary64))
%876 = (-.f64 %875 x)
%878 = (fma.f64 %874 #s(literal 2 binary64) x)
%880 = (fma.f64 z #s(literal 2 binary64) %635)
%882 = (fma.f64 #s(literal -2 binary64) z %632)
%884 = (fma.f64 %626 x z)
%905 = (fma.f64 z #s(literal 2 binary64) x)
%906 = (neg.f64 %905)
%909 = (*.f64 #s(literal -2 binary64) z)
%910 = (-.f64 %909 x)
%911 = (neg.f64 %910)
%914 = (fma.f64 z #s(literal 1 binary64) %8)
%917 = (*.f64 z #s(literal 1 binary64))
%918 = (-.f64 %917 %3)
%938 = (-.f64 %3 z)
%941 = (neg.f64 z)
%950 = (/.f64 %878 #s(literal 4 binary64))
%953 = (/.f64 %878 #s(literal 1/2 binary64))
%956 = (/.f64 %878 #s(literal 1 binary64))
%959 = (/.f64 %880 #s(literal 4 binary64))
%962 = (/.f64 %880 #s(literal 1/2 binary64))
%965 = (/.f64 %880 #s(literal 1 binary64))
%968 = (fma.f64 %874 #s(literal 1 binary64) %8)
%971 = (fma.f64 z #s(literal 1 binary64) %666)
%974 = (fma.f64 %24 y %910)
%977 = (fma.f64 %13 y %905)
%980 = (*.f64 %874 #s(literal 1 binary64))
%981 = (-.f64 %980 %3)
%984 = (neg.f64 %882)
%987 = (neg.f64 %876)
%990 = (neg.f64 %878)
%993 = (neg.f64 %880)
%1002 = (+.f64 z z)
%1024 = (-.f64 %647 z)
%1038 = (/.f64 %941 #s(literal -1 binary64))
%1040 = (/.f64 z #s(literal 1 binary64))
%1042 = (/.f64 %1002 #s(literal 2 binary64))
%1081 = (neg.f64 %874)
%1082 = (/.f64 %1081 #s(literal -1 binary64))
%1084 = (/.f64 %874 #s(literal 1 binary64))
%1086 = (/.f64 %875 #s(literal -2 binary64))
%1093 = (fma.f64 #s(literal 1/2 binary64) x z)
x
#s(literal 2 binary64)
(*.f64 %4 #s(literal -2 binary64))
(*.f64 %9 #s(literal 2 binary64))
(*.f64 %11 #s(literal 2 binary64))
(*.f64 %14 #s(literal 1/8 binary64))
(*.f64 %18 #s(literal 2 binary64))
(*.f64 %21 #s(literal -1/4 binary64))
(*.f64 %24 #s(literal -1/4 binary64))
(*.f64 %13 #s(literal 1/4 binary64))
(*.f64 #s(literal -1/4 binary64) %24)
(*.f64 #s(literal 1/4 binary64) %13)
(*.f64 %3 #s(literal -1 binary64))
(*.f64 #s(literal -1/2 binary64) %20)
(*.f64 #s(literal -1 binary64) %3)
%8
(*.f64 %20 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %8)
(*.f64 %8 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %38)
(*.f64 #s(literal 2 binary64) %40)
(*.f64 #s(literal 2 binary64) %42)
(*.f64 #s(literal 2 binary64) %11)
(*.f64 #s(literal 2 binary64) %18)
(*.f64 x #s(literal 1/2 binary64))
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 (neg.f64 %11) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %18) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %52) #s(literal -4 binary64))
(/.f64 (neg.f64 %56) #s(literal 4 binary64))
(/.f64 (neg.f64 %59) #s(literal 2 binary64))
(/.f64 %11 #s(literal 1/2 binary64))
(/.f64 %18 #s(literal 1/2 binary64))
(/.f64 %52 #s(literal 4 binary64))
(/.f64 %56 #s(literal -4 binary64))
(/.f64 %66 #s(literal 4 binary64))
(/.f64 %21 #s(literal -4 binary64))
(/.f64 %59 #s(literal -2 binary64))
(/.f64 %24 #s(literal -4 binary64))
(/.f64 %13 #s(literal 4 binary64))
(/.f64 %3 #s(literal -1 binary64))
(/.f64 %20 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %8))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %20))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) x))
(/.f64 %8 #s(literal 1 binary64))
(/.f64 x #s(literal 2 binary64))
(neg.f64 %3)
(fma.f64 %4 #s(literal -2 binary64) %87)
(fma.f64 %4 #s(literal -2 binary64) %90)
(fma.f64 %4 #s(literal -2 binary64) %93)
(fma.f64 %4 #s(literal -2 binary64) %96)
(fma.f64 %4 #s(literal -2 binary64) %99)
(fma.f64 %4 #s(literal -2 binary64) %102)
(fma.f64 %4 #s(literal -2 binary64) %92)
(fma.f64 %4 #s(literal -2 binary64) %95)
(fma.f64 %9 #s(literal 2 binary64) %87)
(fma.f64 %9 #s(literal 2 binary64) %90)
(fma.f64 %9 #s(literal 2 binary64) %93)
(fma.f64 %9 #s(literal 2 binary64) %96)
(fma.f64 %9 #s(literal 2 binary64) %99)
(fma.f64 %9 #s(literal 2 binary64) %102)
(fma.f64 %9 #s(literal 2 binary64) %92)
(fma.f64 %9 #s(literal 2 binary64) %95)
(fma.f64 %11 #s(literal 2 binary64) %87)
(fma.f64 %11 #s(literal 2 binary64) %90)
(fma.f64 %11 #s(literal 2 binary64) %93)
(fma.f64 %11 #s(literal 2 binary64) %96)
(fma.f64 %11 #s(literal 2 binary64) %99)
(fma.f64 %11 #s(literal 2 binary64) %102)
(fma.f64 %11 #s(literal 2 binary64) %92)
(fma.f64 %11 #s(literal 2 binary64) %95)
(fma.f64 %14 #s(literal 1/8 binary64) %87)
(fma.f64 %14 #s(literal 1/8 binary64) %90)
(fma.f64 %14 #s(literal 1/8 binary64) %93)
(fma.f64 %14 #s(literal 1/8 binary64) %96)
(fma.f64 %14 #s(literal 1/8 binary64) %99)
(fma.f64 %14 #s(literal 1/8 binary64) %102)
(fma.f64 %14 #s(literal 1/8 binary64) %92)
(fma.f64 %14 #s(literal 1/8 binary64) %95)
(fma.f64 %18 #s(literal 2 binary64) %87)
(fma.f64 %18 #s(literal 2 binary64) %90)
(fma.f64 %18 #s(literal 2 binary64) %93)
(fma.f64 %18 #s(literal 2 binary64) %96)
(fma.f64 %18 #s(literal 2 binary64) %99)
(fma.f64 %18 #s(literal 2 binary64) %102)
(fma.f64 %18 #s(literal 2 binary64) %92)
(fma.f64 %18 #s(literal 2 binary64) %95)
(fma.f64 %21 #s(literal -1/4 binary64) %87)
(fma.f64 %21 #s(literal -1/4 binary64) %90)
(fma.f64 %21 #s(literal -1/4 binary64) %93)
(fma.f64 %21 #s(literal -1/4 binary64) %96)
(fma.f64 %21 #s(literal -1/4 binary64) %99)
(fma.f64 %21 #s(literal -1/4 binary64) %102)
(fma.f64 %21 #s(literal -1/4 binary64) %92)
(fma.f64 %21 #s(literal -1/4 binary64) %95)
(fma.f64 %24 #s(literal -1/4 binary64) %87)
(fma.f64 %24 #s(literal -1/4 binary64) %90)
(fma.f64 %24 #s(literal -1/4 binary64) %93)
(fma.f64 %24 #s(literal -1/4 binary64) %96)
(fma.f64 %24 #s(literal -1/4 binary64) %99)
(fma.f64 %24 #s(literal -1/4 binary64) %102)
(fma.f64 %24 #s(literal -1/4 binary64) %92)
(fma.f64 %24 #s(literal -1/4 binary64) %95)
(fma.f64 %13 #s(literal 1/4 binary64) %87)
(fma.f64 %13 #s(literal 1/4 binary64) %90)
(fma.f64 %13 #s(literal 1/4 binary64) %93)
(fma.f64 %13 #s(literal 1/4 binary64) %96)
(fma.f64 %13 #s(literal 1/4 binary64) %99)
(fma.f64 %13 #s(literal 1/4 binary64) %102)
(fma.f64 %13 #s(literal 1/4 binary64) %92)
(fma.f64 %13 #s(literal 1/4 binary64) %95)
(fma.f64 #s(literal -1/4 binary64) %24 %87)
(fma.f64 #s(literal -1/4 binary64) %24 %90)
(fma.f64 #s(literal -1/4 binary64) %24 %93)
(fma.f64 #s(literal -1/4 binary64) %24 %96)
(fma.f64 #s(literal -1/4 binary64) %24 %99)
(fma.f64 #s(literal -1/4 binary64) %24 %102)
(fma.f64 #s(literal -1/4 binary64) %24 %92)
(fma.f64 #s(literal -1/4 binary64) %24 %95)
(fma.f64 #s(literal 1/4 binary64) %13 %87)
(fma.f64 #s(literal 1/4 binary64) %13 %90)
(fma.f64 #s(literal 1/4 binary64) %13 %93)
(fma.f64 #s(literal 1/4 binary64) %13 %96)
(fma.f64 #s(literal 1/4 binary64) %13 %99)
(fma.f64 #s(literal 1/4 binary64) %13 %102)
(fma.f64 #s(literal 1/4 binary64) %13 %92)
(fma.f64 #s(literal 1/4 binary64) %13 %95)
(fma.f64 %3 #s(literal -1 binary64) %87)
(fma.f64 %3 #s(literal -1 binary64) %90)
(fma.f64 %3 #s(literal -1 binary64) %93)
(fma.f64 %3 #s(literal -1 binary64) %96)
(fma.f64 %3 #s(literal -1 binary64) %99)
(fma.f64 %3 #s(literal -1 binary64) %102)
(fma.f64 %3 #s(literal -1 binary64) %92)
(fma.f64 %3 #s(literal -1 binary64) %95)
(fma.f64 #s(literal -1/2 binary64) %20 %87)
(fma.f64 #s(literal -1/2 binary64) %20 %90)
(fma.f64 #s(literal -1/2 binary64) %20 %93)
(fma.f64 #s(literal -1/2 binary64) %20 %96)
(fma.f64 #s(literal -1/2 binary64) %20 %99)
(fma.f64 #s(literal -1/2 binary64) %20 %102)
(fma.f64 #s(literal -1/2 binary64) %20 %92)
(fma.f64 #s(literal -1/2 binary64) %20 %95)
(fma.f64 #s(literal -1 binary64) %3 %87)
(fma.f64 #s(literal -1 binary64) %3 %90)
(fma.f64 #s(literal -1 binary64) %3 %93)
(fma.f64 #s(literal -1 binary64) %3 %96)
(fma.f64 #s(literal -1 binary64) %3 %99)
(fma.f64 #s(literal -1 binary64) %3 %102)
(fma.f64 #s(literal -1 binary64) %3 %92)
(fma.f64 #s(literal -1 binary64) %3 %95)
(fma.f64 #s(literal 1/2 binary64) %8 %42)
(fma.f64 #s(literal 1/2 binary64) x %87)
(fma.f64 #s(literal 1/2 binary64) x %90)
(fma.f64 #s(literal 1/2 binary64) x %93)
(fma.f64 #s(literal 1/2 binary64) x %96)
(fma.f64 #s(literal 1/2 binary64) x %99)
(fma.f64 #s(literal 1/2 binary64) x %102)
(fma.f64 #s(literal 1/2 binary64) x %92)
(fma.f64 #s(literal 1/2 binary64) x %95)
(fma.f64 %20 #s(literal -1/2 binary64) %87)
(fma.f64 %20 #s(literal -1/2 binary64) %90)
(fma.f64 %20 #s(literal -1/2 binary64) %93)
(fma.f64 %20 #s(literal -1/2 binary64) %96)
(fma.f64 %20 #s(literal -1/2 binary64) %99)
(fma.f64 %20 #s(literal -1/2 binary64) %102)
(fma.f64 %20 #s(literal -1/2 binary64) %92)
(fma.f64 %20 #s(literal -1/2 binary64) %95)
(fma.f64 #s(literal 1 binary64) %8 %87)
(fma.f64 #s(literal 1 binary64) %8 %90)
(fma.f64 #s(literal 1 binary64) %8 %93)
(fma.f64 #s(literal 1 binary64) %8 %96)
(fma.f64 #s(literal 1 binary64) %8 %99)
(fma.f64 #s(literal 1 binary64) %8 %102)
(fma.f64 #s(literal 1 binary64) %8 %92)
(fma.f64 #s(literal 1 binary64) %8 %95)
(fma.f64 %8 #s(literal 1/2 binary64) %9)
(fma.f64 %8 #s(literal 1 binary64) %87)
(fma.f64 %8 #s(literal 1 binary64) %90)
(fma.f64 %8 #s(literal 1 binary64) %93)
(fma.f64 %8 #s(literal 1 binary64) %96)
(fma.f64 %8 #s(literal 1 binary64) %99)
(fma.f64 %8 #s(literal 1 binary64) %102)
(fma.f64 %8 #s(literal 1 binary64) %92)
(fma.f64 %8 #s(literal 1 binary64) %95)
(fma.f64 #s(literal 2 binary64) %38 %87)
(fma.f64 #s(literal 2 binary64) %38 %90)
(fma.f64 #s(literal 2 binary64) %38 %93)
(fma.f64 #s(literal 2 binary64) %38 %96)
(fma.f64 #s(literal 2 binary64) %38 %99)
(fma.f64 #s(literal 2 binary64) %38 %102)
(fma.f64 #s(literal 2 binary64) %38 %92)
(fma.f64 #s(literal 2 binary64) %38 %95)
(fma.f64 #s(literal 2 binary64) %40 %87)
(fma.f64 #s(literal 2 binary64) %40 %90)
(fma.f64 #s(literal 2 binary64) %40 %93)
(fma.f64 #s(literal 2 binary64) %40 %96)
(fma.f64 #s(literal 2 binary64) %40 %99)
(fma.f64 #s(literal 2 binary64) %40 %102)
(fma.f64 #s(literal 2 binary64) %40 %92)
(fma.f64 #s(literal 2 binary64) %40 %95)
(fma.f64 #s(literal 2 binary64) %42 %87)
(fma.f64 #s(literal 2 binary64) %42 %90)
(fma.f64 #s(literal 2 binary64) %42 %93)
(fma.f64 #s(literal 2 binary64) %42 %96)
(fma.f64 #s(literal 2 binary64) %42 %99)
(fma.f64 #s(literal 2 binary64) %42 %102)
(fma.f64 #s(literal 2 binary64) %42 %92)
(fma.f64 #s(literal 2 binary64) %42 %95)
(fma.f64 #s(literal 2 binary64) %11 %87)
(fma.f64 #s(literal 2 binary64) %11 %90)
(fma.f64 #s(literal 2 binary64) %11 %93)
(fma.f64 #s(literal 2 binary64) %11 %96)
(fma.f64 #s(literal 2 binary64) %11 %99)
(fma.f64 #s(literal 2 binary64) %11 %102)
(fma.f64 #s(literal 2 binary64) %11 %92)
(fma.f64 #s(literal 2 binary64) %11 %95)
(fma.f64 #s(literal 2 binary64) %18 %87)
(fma.f64 #s(literal 2 binary64) %18 %90)
(fma.f64 #s(literal 2 binary64) %18 %93)
(fma.f64 #s(literal 2 binary64) %18 %96)
(fma.f64 #s(literal 2 binary64) %18 %99)
(fma.f64 #s(literal 2 binary64) %18 %102)
(fma.f64 #s(literal 2 binary64) %18 %92)
(fma.f64 #s(literal 2 binary64) %18 %95)
(fma.f64 x #s(literal 1/2 binary64) %87)
(fma.f64 x #s(literal 1/2 binary64) %90)
(fma.f64 x #s(literal 1/2 binary64) %93)
(fma.f64 x #s(literal 1/2 binary64) %96)
(fma.f64 x #s(literal 1/2 binary64) %99)
(fma.f64 x #s(literal 1/2 binary64) %102)
(fma.f64 x #s(literal 1/2 binary64) %92)
(fma.f64 x #s(literal 1/2 binary64) %95)
(+.f64 %284 %284)
(+.f64 %286 %286)
(+.f64 %9 %9)
(+.f64 %42 %42)
(+.f64 %11 %11)
(+.f64 %18 %18)
(+.f64 %8 %87)
(+.f64 %8 %90)
(+.f64 %8 %93)
(+.f64 %8 %96)
(+.f64 %8 %99)
(+.f64 %8 %102)
(+.f64 %8 %92)
(+.f64 %8 %95)
y
(*.f64 %302 #s(literal 2 binary64))
(*.f64 %304 x)
(*.f64 %306 #s(literal -2 binary64))
(*.f64 %308 %24)
(*.f64 %311 #s(literal 2 binary64))
(*.f64 %313 #s(literal 1/4 binary64))
(*.f64 %315 %14)
(*.f64 %317 %8)
(*.f64 %319 x)
(*.f64 %321 %13)
(*.f64 %323 #s(literal 1/2 binary64))
(*.f64 %325 #s(literal 4 binary64))
(*.f64 %327 #s(literal 2 binary64))
(*.f64 %18 %330)
(*.f64 %13 %332)
(*.f64 %13 %334)
(*.f64 #s(literal 4 binary64) %325)
(*.f64 %3 %337)
(*.f64 %339 #s(literal -1/2 binary64))
(*.f64 %310 #s(literal 1/2 binary64))
(*.f64 #s(literal -1 binary64) %342)
(*.f64 %344 %20)
(*.f64 #s(literal 1/2 binary64) %323)
(*.f64 #s(literal 1/2 binary64) %310)
(*.f64 #s(literal -2 binary64) %306)
(*.f64 %20 %349)
(*.f64 %20 %344)
(*.f64 #s(literal 1 binary64) %301)
(*.f64 %301 #s(literal 1 binary64))
%301
(*.f64 %8 %354)
(*.f64 #s(literal 2 binary64) %356)
(*.f64 #s(literal 2 binary64) %327)
(*.f64 x %304)
(*.f64 x %360)
(*.f64 x y)
(pow.f64 %301 #s(literal 1 binary64))
(/.f64 (neg.f64 %311) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %313) #s(literal -4 binary64))
(/.f64 %311 #s(literal 1/2 binary64))
(/.f64 %313 #s(literal 4 binary64))
(/.f64 %370 #s(literal -1 binary64))
(/.f64 %339 #s(literal -2 binary64))
(/.f64 %310 #s(literal 2 binary64))
(/.f64 %374 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %339))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %310))
(/.f64 #s(literal 1 binary64) (pow.f64 %301 #s(literal -1 binary64)))
(/.f64 %301 #s(literal 1 binary64))
(neg.f64 %370)
(neg.f64 %374)
(fma.f64 %302 #s(literal 2 binary64) %386)
(fma.f64 %302 #s(literal 2 binary64) %389)
(fma.f64 %302 #s(literal 2 binary64) %392)
(fma.f64 %302 #s(literal 2 binary64) %395)
(fma.f64 %302 #s(literal 2 binary64) %391)
(fma.f64 %302 #s(literal 2 binary64) %394)
(fma.f64 %304 x %386)
(fma.f64 %304 x %389)
(fma.f64 %304 x %392)
(fma.f64 %304 x %395)
(fma.f64 %304 x %391)
(fma.f64 %304 x %394)
(fma.f64 %306 #s(literal -2 binary64) %386)
(fma.f64 %306 #s(literal -2 binary64) %389)
(fma.f64 %306 #s(literal -2 binary64) %392)
(fma.f64 %306 #s(literal -2 binary64) %395)
(fma.f64 %306 #s(literal -2 binary64) %391)
(fma.f64 %306 #s(literal -2 binary64) %394)
(fma.f64 %308 %24 %386)
(fma.f64 %308 %24 %389)
(fma.f64 %308 %24 %392)
(fma.f64 %308 %24 %395)
(fma.f64 %308 %24 %391)
(fma.f64 %308 %24 %394)
(fma.f64 %311 #s(literal 2 binary64) %386)
(fma.f64 %311 #s(literal 2 binary64) %389)
(fma.f64 %311 #s(literal 2 binary64) %392)
(fma.f64 %311 #s(literal 2 binary64) %395)
(fma.f64 %311 #s(literal 2 binary64) %391)
(fma.f64 %311 #s(literal 2 binary64) %394)
(fma.f64 %313 #s(literal 1/4 binary64) %386)
(fma.f64 %313 #s(literal 1/4 binary64) %389)
(fma.f64 %313 #s(literal 1/4 binary64) %392)
(fma.f64 %313 #s(literal 1/4 binary64) %395)
(fma.f64 %313 #s(literal 1/4 binary64) %391)
(fma.f64 %313 #s(literal 1/4 binary64) %394)
(fma.f64 %315 %14 %386)
(fma.f64 %315 %14 %389)
(fma.f64 %315 %14 %392)
(fma.f64 %315 %14 %395)
(fma.f64 %315 %14 %391)
(fma.f64 %315 %14 %394)
(fma.f64 %317 %8 %386)
(fma.f64 %317 %8 %389)
(fma.f64 %317 %8 %392)
(fma.f64 %317 %8 %395)
(fma.f64 %317 %8 %391)
(fma.f64 %317 %8 %394)
(fma.f64 %319 x %386)
(fma.f64 %319 x %389)
(fma.f64 %319 x %392)
(fma.f64 %319 x %395)
(fma.f64 %319 x %391)
(fma.f64 %319 x %394)
(fma.f64 %321 %13 %386)
(fma.f64 %321 %13 %389)
(fma.f64 %321 %13 %392)
(fma.f64 %321 %13 %395)
(fma.f64 %321 %13 %391)
(fma.f64 %321 %13 %394)
(fma.f64 %323 #s(literal 1/2 binary64) %386)
(fma.f64 %323 #s(literal 1/2 binary64) %389)
(fma.f64 %323 #s(literal 1/2 binary64) %392)
(fma.f64 %323 #s(literal 1/2 binary64) %395)
(fma.f64 %323 #s(literal 1/2 binary64) %391)
(fma.f64 %323 #s(literal 1/2 binary64) %394)
(fma.f64 %325 #s(literal 4 binary64) %386)
(fma.f64 %325 #s(literal 4 binary64) %389)
(fma.f64 %325 #s(literal 4 binary64) %392)
(fma.f64 %325 #s(literal 4 binary64) %395)
(fma.f64 %325 #s(literal 4 binary64) %391)
(fma.f64 %325 #s(literal 4 binary64) %394)
(fma.f64 %327 #s(literal 2 binary64) %386)
(fma.f64 %327 #s(literal 2 binary64) %389)
(fma.f64 %327 #s(literal 2 binary64) %392)
(fma.f64 %327 #s(literal 2 binary64) %395)
(fma.f64 %327 #s(literal 2 binary64) %391)
(fma.f64 %327 #s(literal 2 binary64) %394)
(fma.f64 %18 %330 %386)
(fma.f64 %18 %330 %389)
(fma.f64 %18 %330 %392)
(fma.f64 %18 %330 %395)
(fma.f64 %18 %330 %391)
(fma.f64 %18 %330 %394)
(fma.f64 %13 %332 %386)
(fma.f64 %13 %332 %389)
(fma.f64 %13 %332 %392)
(fma.f64 %13 %332 %395)
(fma.f64 %13 %332 %391)
(fma.f64 %13 %332 %394)
(fma.f64 %13 %334 %386)
(fma.f64 %13 %334 %389)
(fma.f64 %13 %334 %392)
(fma.f64 %13 %334 %395)
(fma.f64 %13 %334 %391)
(fma.f64 %13 %334 %394)
(fma.f64 #s(literal 4 binary64) %325 %386)
(fma.f64 #s(literal 4 binary64) %325 %389)
(fma.f64 #s(literal 4 binary64) %325 %392)
(fma.f64 #s(literal 4 binary64) %325 %395)
(fma.f64 #s(literal 4 binary64) %325 %391)
(fma.f64 #s(literal 4 binary64) %325 %394)
(fma.f64 %3 %337 %386)
(fma.f64 %3 %337 %389)
(fma.f64 %3 %337 %392)
(fma.f64 %3 %337 %395)
(fma.f64 %3 %337 %391)
(fma.f64 %3 %337 %394)
(fma.f64 %339 #s(literal -1/2 binary64) %386)
(fma.f64 %339 #s(literal -1/2 binary64) %389)
(fma.f64 %339 #s(literal -1/2 binary64) %392)
(fma.f64 %339 #s(literal -1/2 binary64) %395)
(fma.f64 %339 #s(literal -1/2 binary64) %391)
(fma.f64 %339 #s(literal -1/2 binary64) %394)
(fma.f64 %310 #s(literal 1/2 binary64) %386)
(fma.f64 %310 #s(literal 1/2 binary64) %389)
(fma.f64 %310 #s(literal 1/2 binary64) %392)
(fma.f64 %310 #s(literal 1/2 binary64) %395)
(fma.f64 %310 #s(literal 1/2 binary64) %391)
(fma.f64 %310 #s(literal 1/2 binary64) %394)
(fma.f64 #s(literal -1 binary64) %342 %386)
(fma.f64 #s(literal -1 binary64) %342 %389)
(fma.f64 #s(literal -1 binary64) %342 %392)
(fma.f64 #s(literal -1 binary64) %342 %395)
(fma.f64 #s(literal -1 binary64) %342 %391)
(fma.f64 #s(literal -1 binary64) %342 %394)
(fma.f64 %344 %20 %386)
(fma.f64 %344 %20 %389)
(fma.f64 %344 %20 %392)
(fma.f64 %344 %20 %395)
(fma.f64 %344 %20 %391)
(fma.f64 %344 %20 %394)
(fma.f64 #s(literal 1/2 binary64) %323 %386)
(fma.f64 #s(literal 1/2 binary64) %323 %389)
(fma.f64 #s(literal 1/2 binary64) %323 %392)
(fma.f64 #s(literal 1/2 binary64) %323 %395)
(fma.f64 #s(literal 1/2 binary64) %323 %391)
(fma.f64 #s(literal 1/2 binary64) %323 %394)
(fma.f64 #s(literal 1/2 binary64) %310 %386)
(fma.f64 #s(literal 1/2 binary64) %310 %389)
(fma.f64 #s(literal 1/2 binary64) %310 %392)
(fma.f64 #s(literal 1/2 binary64) %310 %395)
(fma.f64 #s(literal 1/2 binary64) %310 %391)
(fma.f64 #s(literal 1/2 binary64) %310 %394)
(fma.f64 #s(literal 1/2 binary64) %301 %356)
(fma.f64 #s(literal -2 binary64) %306 %386)
(fma.f64 #s(literal -2 binary64) %306 %389)
(fma.f64 #s(literal -2 binary64) %306 %392)
(fma.f64 #s(literal -2 binary64) %306 %395)
(fma.f64 #s(literal -2 binary64) %306 %391)
(fma.f64 #s(literal -2 binary64) %306 %394)
(fma.f64 %20 %349 %386)
(fma.f64 %20 %349 %389)
(fma.f64 %20 %349 %392)
(fma.f64 %20 %349 %395)
(fma.f64 %20 %349 %391)
(fma.f64 %20 %349 %394)
(fma.f64 %20 %344 %386)
(fma.f64 %20 %344 %389)
(fma.f64 %20 %344 %392)
(fma.f64 %20 %344 %395)
(fma.f64 %20 %344 %391)
(fma.f64 %20 %344 %394)
(fma.f64 #s(literal 1 binary64) %301 %386)
(fma.f64 #s(literal 1 binary64) %301 %389)
(fma.f64 #s(literal 1 binary64) %301 %392)
(fma.f64 #s(literal 1 binary64) %301 %395)
(fma.f64 #s(literal 1 binary64) %301 %391)
(fma.f64 #s(literal 1 binary64) %301 %394)
(fma.f64 %301 #s(literal 1/2 binary64) %302)
(fma.f64 %301 #s(literal 1 binary64) %386)
(fma.f64 %301 #s(literal 1 binary64) %389)
(fma.f64 %301 #s(literal 1 binary64) %392)
(fma.f64 %301 #s(literal 1 binary64) %395)
(fma.f64 %301 #s(literal 1 binary64) %391)
(fma.f64 %301 #s(literal 1 binary64) %394)
(fma.f64 y x %386)
(fma.f64 y x %389)
(fma.f64 y x %392)
(fma.f64 y x %395)
(fma.f64 y x %391)
(fma.f64 y x %394)
(fma.f64 %8 %354 %386)
(fma.f64 %8 %354 %389)
(fma.f64 %8 %354 %392)
(fma.f64 %8 %354 %395)
(fma.f64 %8 %354 %391)
(fma.f64 %8 %354 %394)
(fma.f64 #s(literal 2 binary64) %356 %386)
(fma.f64 #s(literal 2 binary64) %356 %389)
(fma.f64 #s(literal 2 binary64) %356 %392)
(fma.f64 #s(literal 2 binary64) %356 %395)
(fma.f64 #s(literal 2 binary64) %356 %391)
(fma.f64 #s(literal 2 binary64) %356 %394)
(fma.f64 #s(literal 2 binary64) %327 %386)
(fma.f64 #s(literal 2 binary64) %327 %389)
(fma.f64 #s(literal 2 binary64) %327 %392)
(fma.f64 #s(literal 2 binary64) %327 %395)
(fma.f64 #s(literal 2 binary64) %327 %391)
(fma.f64 #s(literal 2 binary64) %327 %394)
(fma.f64 x %304 %386)
(fma.f64 x %304 %389)
(fma.f64 x %304 %392)
(fma.f64 x %304 %395)
(fma.f64 x %304 %391)
(fma.f64 x %304 %394)
(fma.f64 x %360 %386)
(fma.f64 x %360 %389)
(fma.f64 x %360 %392)
(fma.f64 x %360 %395)
(fma.f64 x %360 %391)
(fma.f64 x %360 %394)
(fma.f64 x y %386)
(fma.f64 x y %389)
(fma.f64 x y %392)
(fma.f64 x y %395)
(fma.f64 x y %391)
(fma.f64 x y %394)
(+.f64 %611 %611)
(+.f64 %613 %613)
(+.f64 %615 %615)
(+.f64 %302 %302)
(+.f64 %356 %356)
(+.f64 %327 %327)
(+.f64 %301 %386)
(+.f64 %301 %389)
(+.f64 %301 %392)
(+.f64 %301 %395)
(+.f64 %301 %391)
(+.f64 %301 %394)
(*.f64 %627 #s(literal 1/2 binary64))
(*.f64 %629 x)
(*.f64 %633 #s(literal -1/4 binary64))
(*.f64 %636 #s(literal 1/4 binary64))
(*.f64 %638 #s(literal 1/2 binary64))
(*.f64 %640 #s(literal -1/2 binary64))
(*.f64 %642 #s(literal -1/2 binary64))
(*.f64 %644 #s(literal 1/2 binary64))
(*.f64 %648 #s(literal -2 binary64))
(*.f64 %650 #s(literal 2 binary64))
(*.f64 %652 #s(literal -1/4 binary64))
(*.f64 %654 #s(literal 1/4 binary64))
(*.f64 %656 %13)
(*.f64 %658 %8)
(*.f64 %24 %660)
(*.f64 %13 %662)
(*.f64 %13 %656)
(*.f64 %646 %20)
%666
(*.f64 %3 %667)
(*.f64 %647 #s(literal -1 binary64))
(*.f64 #s(literal -1/2 binary64) %632)
(*.f64 %632 #s(literal -1/2 binary64))
(*.f64 %635 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %635)
(*.f64 %20 %674)
(*.f64 %20 %646)
(*.f64 #s(literal 1 binary64) %666)
(*.f64 %666 #s(literal 1 binary64))
(*.f64 %8 %658)
(*.f64 x %626)
(pow.f64 %666 #s(literal 1 binary64))
(/.f64 (+.f64 %311 %11) #s(literal 1/2 binary64))
(/.f64 (+.f64 %313 %52) #s(literal 4 binary64))
(/.f64 (+.f64 %313 %66) #s(literal 4 binary64))
(/.f64 (+.f64 %11 %311) #s(literal 1/2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) %20 %313) #s(literal 4 binary64))
(/.f64 (fma.f64 %20 #s(literal -2 binary64) %313) #s(literal 4 binary64))
(/.f64 (fma.f64 %8 #s(literal -2 binary64) %339) #s(literal -2 binary64))
(/.f64 (-.f64 %311 %4) #s(literal 1/2 binary64))
(/.f64 (-.f64 %311 (/.f64 x #s(literal -4 binary64))) #s(literal 1/2 binary64))
(/.f64 (-.f64 %313 %24) #s(literal 4 binary64))
(/.f64 (neg.f64 %638) #s(literal -2 binary64))
(/.f64 (neg.f64 %640) #s(literal 2 binary64))
(/.f64 (neg.f64 %642) #s(literal 2 binary64))
(/.f64 (neg.f64 %644) #s(literal -2 binary64))
(/.f64 (neg.f64 %711) #s(literal 2 binary64))
(/.f64 (neg.f64 %715) #s(literal -2 binary64))
(/.f64 (neg.f64 %718) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %721) #s(literal -2 binary64))
(/.f64 (neg.f64 %650) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %726) #s(literal -4 binary64))
(/.f64 (neg.f64 %729) #s(literal 2 binary64))
(/.f64 (neg.f64 %732) #s(literal 4 binary64))
(/.f64 (neg.f64 %735) #s(literal 4 binary64))
(/.f64 (neg.f64 %738) #s(literal -4 binary64))
(/.f64 (neg.f64 %654) #s(literal -4 binary64))
(/.f64 (neg.f64 %743) #s(literal -4 binary64))
(/.f64 (neg.f64 %746) #s(literal 4 binary64))
(/.f64 %638 #s(literal 2 binary64))
(/.f64 %640 #s(literal -2 binary64))
(/.f64 %642 #s(literal -2 binary64))
(/.f64 %644 #s(literal 2 binary64))
(/.f64 %711 #s(literal -2 binary64))
(/.f64 %715 #s(literal 2 binary64))
(/.f64 %718 #s(literal 1/2 binary64))
(/.f64 %721 #s(literal 2 binary64))
(/.f64 %650 #s(literal 1/2 binary64))
(/.f64 %726 #s(literal 4 binary64))
(/.f64 %729 #s(literal -2 binary64))
(/.f64 %732 #s(literal -4 binary64))
(/.f64 %735 #s(literal -4 binary64))
(/.f64 %738 #s(literal 4 binary64))
(/.f64 %654 #s(literal 4 binary64))
(/.f64 %743 #s(literal 4 binary64))
(/.f64 %746 #s(literal -4 binary64))
(/.f64 %647 #s(literal -1 binary64))
(/.f64 %632 #s(literal -2 binary64))
(/.f64 %635 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %666))
(/.f64 #s(literal 1 binary64) (pow.f64 %666 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %632))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %635))
(/.f64 %666 #s(literal 1 binary64))
(neg.f64 %647)
(fma.f64 %4 #s(literal -2 binary64) %301)
(fma.f64 %9 #s(literal 2 binary64) %301)
(fma.f64 %302 #s(literal 2 binary64) %8)
(fma.f64 %304 x %8)
(fma.f64 %306 #s(literal -2 binary64) %8)
(fma.f64 %308 %24 %8)
(fma.f64 %311 #s(literal 2 binary64) %8)
(fma.f64 %313 #s(literal 1/4 binary64) %8)
(fma.f64 %315 %14 %8)
(fma.f64 %317 %8 %8)
(fma.f64 %319 x %8)
(fma.f64 %321 %13 %8)
(fma.f64 %323 #s(literal 1/2 binary64) %8)
(fma.f64 %325 #s(literal 4 binary64) %8)
(fma.f64 %327 #s(literal 2 binary64) %8)
(fma.f64 %11 #s(literal 2 binary64) %301)
(fma.f64 %14 #s(literal 1/8 binary64) %301)
(fma.f64 %18 %330 %8)
(fma.f64 %18 #s(literal 2 binary64) %301)
(fma.f64 %21 #s(literal -1/4 binary64) %301)
(fma.f64 %24 #s(literal -1/4 binary64) %301)
(fma.f64 %13 %332 %8)
(fma.f64 %13 %334 %8)
(fma.f64 %13 #s(literal 1/4 binary64) %301)
(fma.f64 #s(literal -1/4 binary64) %24 %301)
(fma.f64 #s(literal 1/4 binary64) %13 %301)
(fma.f64 #s(literal 4 binary64) %325 %8)
(fma.f64 %3 %337 %8)
(fma.f64 %3 #s(literal -1 binary64) %301)
(fma.f64 #s(literal -1/2 binary64) %20 %301)
(fma.f64 %339 #s(literal -1/2 binary64) %8)
(fma.f64 %310 #s(literal 1/2 binary64) %8)
(fma.f64 #s(literal -1 binary64) %342 %8)
(fma.f64 #s(literal -1 binary64) %3 %301)
(fma.f64 %344 %20 %8)
(fma.f64 #s(literal 1/2 binary64) %323 %8)
(fma.f64 #s(literal 1/2 binary64) %310 %8)
(fma.f64 #s(literal 1/2 binary64) x %301)
(fma.f64 #s(literal -2 binary64) %306 %8)
(fma.f64 %20 %349 %8)
(fma.f64 %20 #s(literal -1/2 binary64) %301)
(fma.f64 %20 %344 %8)
(fma.f64 #s(literal 1 binary64) %301 %8)
(fma.f64 #s(literal 1 binary64) %8 %301)
(fma.f64 %301 #s(literal 1 binary64) %8)
(fma.f64 y x %8)
(fma.f64 %8 %354 %8)
(fma.f64 %8 #s(literal 1 binary64) %301)
(fma.f64 #s(literal 2 binary64) %38 %301)
(fma.f64 #s(literal 2 binary64) %40 %301)
(fma.f64 #s(literal 2 binary64) %42 %301)
(fma.f64 #s(literal 2 binary64) %356 %8)
(fma.f64 #s(literal 2 binary64) %327 %8)
(fma.f64 #s(literal 2 binary64) %11 %301)
(fma.f64 #s(literal 2 binary64) %18 %301)
(fma.f64 x %304 %8)
(fma.f64 x %360 %8)
(fma.f64 x #s(literal 1/2 binary64) %301)
(fma.f64 x y %8)
(-.f64 %301 %3)
(-.f64 %8 %342)
(-.f64 %8 %374)
(+.f64 (/.f64 (*.f64 %339 #s(literal 2 binary64)) #s(literal -4 binary64)) %8)
(+.f64 (/.f64 (*.f64 %310 #s(literal 2 binary64)) #s(literal 4 binary64)) %8)
(+.f64 (/.f64 (*.f64 %339 #s(literal -2 binary64)) #s(literal 4 binary64)) %8)
(+.f64 (/.f64 (*.f64 %310 #s(literal -2 binary64)) #s(literal -4 binary64)) %8)
(+.f64 (/.f64 (+.f64 %20 %374) #s(literal -2 binary64)) %327)
(+.f64 (/.f64 (+.f64 x %301) #s(literal 2 binary64)) %327)
(+.f64 %327 (/.f64 (fma.f64 %344 x %20) #s(literal -2 binary64)))
(+.f64 %327 (/.f64 (-.f64 %374 x) #s(literal -2 binary64)))
(+.f64 %327 (/.f64 (fma.f64 y x x) #s(literal 2 binary64)))
(+.f64 %327 (/.f64 (-.f64 %301 %20) #s(literal 2 binary64)))
(+.f64 %301 %8)
(+.f64 %8 %301)
z
(*.f64 %876 #s(literal -1/2 binary64))
(*.f64 %878 #s(literal 1/2 binary64))
(*.f64 %880 #s(literal 1/2 binary64))
(*.f64 %882 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %884)
(pow.f64 %884 #s(literal 1 binary64))
(/.f64 (fma.f64 %874 #s(literal -2 binary64) %59) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) z %640) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) z %642) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) z %711) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) z %729) #s(literal -2 binary64))
(/.f64 (fma.f64 z #s(literal 2 binary64) %638) #s(literal 2 binary64))
(/.f64 (fma.f64 z #s(literal 2 binary64) %644) #s(literal 2 binary64))
(/.f64 (fma.f64 z #s(literal 2 binary64) %715) #s(literal 2 binary64))
(/.f64 (fma.f64 z #s(literal 2 binary64) %721) #s(literal 2 binary64))
(/.f64 (+.f64 %906 %339) #s(literal -2 binary64))
(/.f64 (+.f64 %911 %310) #s(literal 2 binary64))
(/.f64 (+.f64 %914 %301) #s(literal 1 binary64))
(/.f64 (+.f64 %918 %301) #s(literal 1 binary64))
(/.f64 (+.f64 %311 (/.f64 %905 #s(literal 4 binary64))) #s(literal 1/2 binary64))
(/.f64 (+.f64 %313 (/.f64 %905 #s(literal 1/2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %13 y (/.f64 %905 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 y x %914) #s(literal 1 binary64))
(/.f64 (fma.f64 y x %918) #s(literal 1 binary64))
(/.f64 (fma.f64 %13 y %911) #s(literal 2 binary64))
(/.f64 (fma.f64 %24 y %906) #s(literal -2 binary64))
(/.f64 (+.f64 %370 %938) #s(literal -1 binary64))
(/.f64 (-.f64 %301 (-.f64 (*.f64 %941 #s(literal 1 binary64)) %8)) #s(literal 1 binary64))
(/.f64 (-.f64 %339 %911) #s(literal -2 binary64))
(/.f64 (-.f64 %310 %906) #s(literal 2 binary64))
(/.f64 (neg.f64 %950) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %953) #s(literal -4 binary64))
(/.f64 (neg.f64 %956) #s(literal -2 binary64))
(/.f64 (neg.f64 %959) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %962) #s(literal -4 binary64))
(/.f64 (neg.f64 %965) #s(literal -2 binary64))
(/.f64 (neg.f64 %968) #s(literal -1 binary64))
(/.f64 (neg.f64 %971) #s(literal -1 binary64))
(/.f64 (neg.f64 %974) #s(literal 2 binary64))
(/.f64 (neg.f64 %977) #s(literal -2 binary64))
(/.f64 (neg.f64 %981) #s(literal -1 binary64))
(/.f64 (neg.f64 %984) #s(literal -2 binary64))
(/.f64 (neg.f64 %987) #s(literal -2 binary64))
(/.f64 (neg.f64 %990) #s(literal 2 binary64))
(/.f64 (neg.f64 %993) #s(literal 2 binary64))
(/.f64 %950 #s(literal 1/2 binary64))
(/.f64 %953 #s(literal 4 binary64))
(/.f64 %956 #s(literal 2 binary64))
(/.f64 %959 #s(literal 1/2 binary64))
(/.f64 %962 #s(literal 4 binary64))
(/.f64 %965 #s(literal 2 binary64))
(/.f64 (-.f64 %632 %1002) #s(literal -2 binary64))
(/.f64 (-.f64 %635 %909) #s(literal 2 binary64))
(/.f64 %968 #s(literal 1 binary64))
(/.f64 %971 #s(literal 1 binary64))
(/.f64 %974 #s(literal -2 binary64))
(/.f64 %977 #s(literal 2 binary64))
(/.f64 %981 #s(literal 1 binary64))
(/.f64 (-.f64 %310 %910) #s(literal 2 binary64))
(/.f64 (-.f64 %339 %905) #s(literal -2 binary64))
(/.f64 %984 #s(literal 2 binary64))
(/.f64 %987 #s(literal 2 binary64))
(/.f64 %990 #s(literal -2 binary64))
(/.f64 %993 #s(literal -2 binary64))
(/.f64 %876 #s(literal -2 binary64))
(/.f64 %878 #s(literal 2 binary64))
(/.f64 %880 #s(literal 2 binary64))
(/.f64 %882 #s(literal -2 binary64))
(/.f64 %1024 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %876))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %878))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %882))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %880))
(/.f64 #s(literal 1 binary64) (pow.f64 %884 #s(literal -1 binary64)))
(/.f64 %884 #s(literal 1 binary64))
(neg.f64 %1024)
(fma.f64 %627 #s(literal 1/2 binary64) %1038)
(fma.f64 %627 #s(literal 1/2 binary64) %1040)
(fma.f64 %627 #s(literal 1/2 binary64) %1042)
(fma.f64 %627 #s(literal 1/2 binary64) z)
(fma.f64 %629 x %1038)
(fma.f64 %629 x %1040)
(fma.f64 %629 x %1042)
(fma.f64 %629 x z)
(fma.f64 %633 #s(literal -1/4 binary64) %1038)
(fma.f64 %633 #s(literal -1/4 binary64) %1040)
(fma.f64 %633 #s(literal -1/4 binary64) %1042)
(fma.f64 %633 #s(literal -1/4 binary64) z)
(fma.f64 %636 #s(literal 1/4 binary64) %1038)
(fma.f64 %636 #s(literal 1/4 binary64) %1040)
(fma.f64 %636 #s(literal 1/4 binary64) %1042)
(fma.f64 %636 #s(literal 1/4 binary64) z)
(fma.f64 %638 #s(literal 1/2 binary64) %1038)
(fma.f64 %638 #s(literal 1/2 binary64) %1040)
(fma.f64 %638 #s(literal 1/2 binary64) %1042)
(fma.f64 %638 #s(literal 1/2 binary64) z)
(fma.f64 %640 #s(literal -1/2 binary64) %1038)
(fma.f64 %640 #s(literal -1/2 binary64) %1040)
(fma.f64 %640 #s(literal -1/2 binary64) %1042)
(fma.f64 %640 #s(literal -1/2 binary64) z)
(fma.f64 %642 #s(literal -1/2 binary64) %1038)
(fma.f64 %642 #s(literal -1/2 binary64) %1040)
(fma.f64 %642 #s(literal -1/2 binary64) %1042)
(fma.f64 %642 #s(literal -1/2 binary64) z)
(fma.f64 %644 #s(literal 1/2 binary64) %1038)
(fma.f64 %644 #s(literal 1/2 binary64) %1040)
(fma.f64 %644 #s(literal 1/2 binary64) %1042)
(fma.f64 %644 #s(literal 1/2 binary64) z)
(fma.f64 %648 #s(literal -2 binary64) %1038)
(fma.f64 %648 #s(literal -2 binary64) %1040)
(fma.f64 %648 #s(literal -2 binary64) %1042)
(fma.f64 %648 #s(literal -2 binary64) z)
(fma.f64 %650 #s(literal 2 binary64) %1038)
(fma.f64 %650 #s(literal 2 binary64) %1040)
(fma.f64 %650 #s(literal 2 binary64) %1042)
(fma.f64 %650 #s(literal 2 binary64) z)
(fma.f64 %4 #s(literal -2 binary64) %1082)
(fma.f64 %4 #s(literal -2 binary64) %1084)
(fma.f64 %4 #s(literal -2 binary64) %1086)
(fma.f64 %4 #s(literal -2 binary64) %874)
(fma.f64 %9 #s(literal 2 binary64) %1082)
(fma.f64 %9 #s(literal 2 binary64) %1084)
(fma.f64 %9 #s(literal 2 binary64) %1086)
(fma.f64 %9 #s(literal 2 binary64) %874)
(fma.f64 %302 #s(literal 2 binary64) %1093)
(fma.f64 %304 x %1093)
(fma.f64 %306 #s(literal -2 binary64) %1093)
(fma.f64 %308 %24 %1093)
(fma.f64 %311 #s(literal 2 binary64) %1093)
(fma.f64 %313 #s(literal 1/4 binary64) %1093)
(fma.f64 %315 %14 %1093)
(fma.f64 %317 %8 %1093)
(fma.f64 %319 x %1093)
(fma.f64 %321 %13 %1093)
(fma.f64 %323 #s(literal 1/2 binary64) %1093)
(fma.f64 %325 #s(literal 4 binary64) %1093)
(fma.f64 %327 #s(literal 2 binary64) %1093)
(fma.f64 %11 #s(literal 2 binary64) %1082)
(fma.f64 %11 #s(literal 2 binary64) %1084)
(fma.f64 %11 #s(literal 2 binary64) %1086)
(fma.f64 %11 #s(literal 2 binary64) %874)
(fma.f64 %14 #s(literal 1/8 binary64) %1082)
(fma.f64 %14 #s(literal 1/8 binary64) %1084)
(fma.f64 %14 #s(literal 1/8 binary64) %1086)
(fma.f64 %14 #s(literal 1/8 binary64) %874)
(fma.f64 %18 %330 %1093)
(fma.f64 %18 #s(literal 2 binary64) %1082)
(fma.f64 %18 #s(literal 2 binary64) %1084)
(fma.f64 %18 #s(literal 2 binary64) %1086)
(fma.f64 %18 #s(literal 2 binary64) %874)
(fma.f64 %652 #s(literal -1/4 binary64) %1038)
(fma.f64 %652 #s(literal -1/4 binary64) %1040)
(fma.f64 %652 #s(literal -1/4 binary64) %1042)
(fma.f64 %652 #s(literal -1/4 binary64) z)
(fma.f64 %654 #s(literal 1/4 binary64) %1038)
(fma.f64 %654 #s(literal 1/4 binary64) %1040)
(fma.f64 %654 #s(literal 1/4 binary64) %1042)
(fma.f64 %654 #s(literal 1/4 binary64) z)
(fma.f64 %656 %13 %1038)
(fma.f64 %656 %13 %1040)
(fma.f64 %656 %13 %1042)
(fma.f64 %656 %13 z)
(fma.f64 %658 %8 %1038)
(fma.f64 %658 %8 %1040)
(fma.f64 %658 %8 %1042)
(fma.f64 %658 %8 z)
(fma.f64 %21 #s(literal -1/4 binary64) %1082)
(fma.f64 %21 #s(literal -1/4 binary64) %1084)
(fma.f64 %21 #s(literal -1/4 binary64) %1086)
(fma.f64 %21 #s(literal -1/4 binary64) %874)
(fma.f64 %24 %660 %1038)
(fma.f64 %24 %660 %1040)
(fma.f64 %24 %660 %1042)
(fma.f64 %24 %660 z)
(fma.f64 %24 #s(literal -1/4 binary64) %1082)
(fma.f64 %24 #s(literal -1/4 binary64) %1084)
(fma.f64 %24 #s(literal -1/4 binary64) %1086)
(fma.f64 %24 #s(literal -1/4 binary64) %874)
(fma.f64 %13 %662 %1038)
(fma.f64 %13 %662 %1040)
(fma.f64 %13 %662 %1042)
(fma.f64 %13 %662 z)
(fma.f64 %13 %332 %1093)
(fma.f64 %13 %334 %1093)
(fma.f64 %13 %656 %1038)
(fma.f64 %13 %656 %1040)
(fma.f64 %13 %656 %1042)
(fma.f64 %13 %656 z)
(fma.f64 %13 #s(literal 1/4 binary64) %1082)
(fma.f64 %13 #s(literal 1/4 binary64) %1084)
(fma.f64 %13 #s(literal 1/4 binary64) %1086)
(fma.f64 %13 #s(literal 1/4 binary64) %874)
(fma.f64 #s(literal -1/4 binary64) %24 %1082)
(fma.f64 #s(literal -1/4 binary64) %24 %1084)
(fma.f64 #s(literal -1/4 binary64) %24 %1086)
(fma.f64 #s(literal -1/4 binary64) %24 %874)
(fma.f64 #s(literal 1/4 binary64) %13 %1082)
(fma.f64 #s(literal 1/4 binary64) %13 %1084)
(fma.f64 #s(literal 1/4 binary64) %13 %1086)
(fma.f64 #s(literal 1/4 binary64) %13 %874)
(fma.f64 %646 %20 %1038)
(fma.f64 %646 %20 %1040)
(fma.f64 %646 %20 %1042)
(fma.f64 %646 %20 z)
(fma.f64 #s(literal 4 binary64) %325 %1093)
(fma.f64 %910 #s(literal -1/2 binary64) %301)
(fma.f64 %905 #s(literal 1/2 binary64) %301)
(fma.f64 %626 x %1038)
(fma.f64 %626 x %1040)
(fma.f64 %626 x %1042)
%884
(fma.f64 %3 %337 %1093)
(fma.f64 %3 %667 %1038)
(fma.f64 %3 %667 %1040)
(fma.f64 %3 %667 %1042)
(fma.f64 %3 %667 z)
(fma.f64 %3 #s(literal -1 binary64) %1082)
(fma.f64 %3 #s(literal -1 binary64) %1084)
(fma.f64 %3 #s(literal -1 binary64) %1086)
(fma.f64 %3 #s(literal -1 binary64) %874)
(fma.f64 %647 #s(literal -1 binary64) %1038)
(fma.f64 %647 #s(literal -1 binary64) %1040)
(fma.f64 %647 #s(literal -1 binary64) %1042)
(fma.f64 %647 #s(literal -1 binary64) z)
(fma.f64 #s(literal -1/2 binary64) %632 %1038)
(fma.f64 #s(literal -1/2 binary64) %632 %1040)
(fma.f64 #s(literal -1/2 binary64) %632 %1042)
(fma.f64 #s(literal -1/2 binary64) %632 z)
(fma.f64 #s(literal -1/2 binary64) %20 %1082)
(fma.f64 #s(literal -1/2 binary64) %20 %1084)
(fma.f64 #s(literal -1/2 binary64) %20 %1086)
(fma.f64 #s(literal -1/2 binary64) %20 %874)
(fma.f64 %632 #s(literal -1/2 binary64) %1038)
(fma.f64 %632 #s(literal -1/2 binary64) %1040)
(fma.f64 %632 #s(literal -1/2 binary64) %1042)
(fma.f64 %632 #s(literal -1/2 binary64) z)
(fma.f64 %339 #s(literal -1/2 binary64) %1093)
(fma.f64 %635 #s(literal 1/2 binary64) %1038)
(fma.f64 %635 #s(literal 1/2 binary64) %1040)
(fma.f64 %635 #s(literal 1/2 binary64) %1042)
(fma.f64 %635 #s(literal 1/2 binary64) z)
(fma.f64 %310 #s(literal 1/2 binary64) %1093)
(fma.f64 #s(literal -1 binary64) %342 %1093)
(fma.f64 #s(literal -1 binary64) %3 %1082)
(fma.f64 #s(literal -1 binary64) %3 %1084)
(fma.f64 #s(literal -1 binary64) %3 %1086)
(fma.f64 #s(literal -1 binary64) %3 %874)
(fma.f64 %344 %20 %1093)
(fma.f64 #s(literal 1/2 binary64) %323 %1093)
(fma.f64 #s(literal 1/2 binary64) %635 %1038)
(fma.f64 #s(literal 1/2 binary64) %635 %1040)
(fma.f64 #s(literal 1/2 binary64) %635 %1042)
(fma.f64 #s(literal 1/2 binary64) %635 z)
(fma.f64 #s(literal 1/2 binary64) %310 %1093)
(fma.f64 #s(literal 1/2 binary64) x %1082)
(fma.f64 #s(literal 1/2 binary64) x %1084)
(fma.f64 #s(literal 1/2 binary64) x %1086)
(fma.f64 #s(literal 1/2 binary64) x %874)
(fma.f64 #s(literal -2 binary64) %306 %1093)
(fma.f64 %20 %349 %1093)
(fma.f64 %20 %674 %1038)
(fma.f64 %20 %674 %1040)
(fma.f64 %20 %674 %1042)
(fma.f64 %20 %674 z)
(fma.f64 %20 %646 %1038)
(fma.f64 %20 %646 %1040)
(fma.f64 %20 %646 %1042)
(fma.f64 %20 %646 z)
(fma.f64 %20 #s(literal -1/2 binary64) %1082)
(fma.f64 %20 #s(literal -1/2 binary64) %1084)
(fma.f64 %20 #s(literal -1/2 binary64) %1086)
(fma.f64 %20 #s(literal -1/2 binary64) %874)
(fma.f64 %20 %344 %1093)
(fma.f64 #s(literal 1 binary64) %1093 %301)
(fma.f64 #s(literal 1 binary64) %874 %8)
(fma.f64 #s(literal 1 binary64) %666 %1038)
(fma.f64 #s(literal 1 binary64) %666 %1040)
(fma.f64 #s(literal 1 binary64) %666 %1042)
(fma.f64 #s(literal 1 binary64) %666 z)
(fma.f64 #s(literal 1 binary64) %301 %1093)
(fma.f64 #s(literal 1 binary64) %8 %1082)
(fma.f64 #s(literal 1 binary64) %8 %1084)
(fma.f64 #s(literal 1 binary64) %8 %1086)
(fma.f64 #s(literal 1 binary64) %8 %874)
(fma.f64 %666 #s(literal 1 binary64) %1038)
(fma.f64 %666 #s(literal 1 binary64) %1040)
(fma.f64 %666 #s(literal 1 binary64) %1042)
(fma.f64 %666 #s(literal 1 binary64) z)
(fma.f64 %301 #s(literal 1 binary64) %1093)
(fma.f64 y x %1093)
(fma.f64 %8 %354 %1093)
(fma.f64 %8 %658 %1038)
(fma.f64 %8 %658 %1040)
(fma.f64 %8 %658 %1042)
(fma.f64 %8 %658 z)
(fma.f64 %8 #s(literal 1 binary64) %1082)
(fma.f64 %8 #s(literal 1 binary64) %1084)
(fma.f64 %8 #s(literal 1 binary64) %1086)
(fma.f64 %8 #s(literal 1 binary64) %874)
(fma.f64 #s(literal 2 binary64) %38 %1082)
(fma.f64 #s(literal 2 binary64) %38 %1084)
(fma.f64 #s(literal 2 binary64) %38 %1086)
(fma.f64 #s(literal 2 binary64) %38 %874)
(fma.f64 #s(literal 2 binary64) %40 %1082)
(fma.f64 #s(literal 2 binary64) %40 %1084)
(fma.f64 #s(literal 2 binary64) %40 %1086)
(fma.f64 #s(literal 2 binary64) %40 %874)
(fma.f64 #s(literal 2 binary64) %42 %1082)
(fma.f64 #s(literal 2 binary64) %42 %1084)
(fma.f64 #s(literal 2 binary64) %42 %1086)
(fma.f64 #s(literal 2 binary64) %42 %874)
(fma.f64 #s(literal 2 binary64) %356 %1093)
(fma.f64 #s(literal 2 binary64) %327 %1093)
(fma.f64 #s(literal 2 binary64) %11 %1082)
(fma.f64 #s(literal 2 binary64) %11 %1084)
(fma.f64 #s(literal 2 binary64) %11 %1086)
(fma.f64 #s(literal 2 binary64) %11 %874)
(fma.f64 #s(literal 2 binary64) %18 %1082)
(fma.f64 #s(literal 2 binary64) %18 %1084)
(fma.f64 #s(literal 2 binary64) %18 %1086)
(fma.f64 #s(literal 2 binary64) %18 %874)
(fma.f64 x %304 %1093)
(fma.f64 x %360 %1093)
(fma.f64 x %626 %1038)
(fma.f64 x %626 %1040)
(fma.f64 x %626 %1042)
(fma.f64 x %626 z)
(fma.f64 x #s(literal 1/2 binary64) %1082)
(fma.f64 x #s(literal 1/2 binary64) %1084)
(fma.f64 x #s(literal 1/2 binary64) %1086)
(fma.f64 x #s(literal 1/2 binary64) %874)
(fma.f64 x y %1093)
(-.f64 %1093 %374)
(-.f64 %874 %3)
(-.f64 z %647)
(-.f64 %666 %941)
(-.f64 %301 %938)
(-.f64 %8 %1081)
(+.f64 (/.f64 %980 #s(literal 1 binary64)) %8)
(+.f64 (/.f64 %917 #s(literal 1 binary64)) %666)
(+.f64 (/.f64 (fma.f64 z #s(literal 2 binary64) %310) #s(literal 2 binary64)) %8)
(+.f64 (/.f64 (-.f64 %1002 %339) #s(literal 2 binary64)) %8)
(+.f64 (/.f64 (fma.f64 #s(literal -2 binary64) z %339) #s(literal -2 binary64)) %8)
(+.f64 (/.f64 (-.f64 %909 %310) #s(literal -2 binary64)) %8)
(+.f64 %1082 %8)
(+.f64 %1038 %666)
(+.f64 (/.f64 %1086 #s(literal 1 binary64)) %8)
(+.f64 (/.f64 %1042 #s(literal 1 binary64)) %666)
(+.f64 %1040 %666)
(+.f64 %1084 %8)
(+.f64 %1086 %8)
(+.f64 %1042 %666)
(+.f64 %1093 %301)
(+.f64 %874 %8)
(+.f64 z %666)
(+.f64 %666 %1038)
(+.f64 %666 %1040)
(+.f64 %666 %1042)
(+.f64 %666 z)
(+.f64 %301 %1093)
(+.f64 %8 %1082)
(+.f64 %8 %1084)
(+.f64 %8 %1086)
(+.f64 %8 %874)
reconstruct96.0ms (6.7%)
Counts
1 075 → 35
Compiler
Compiled 1 075 to 1 391 computations (-29.4% saved)
eval6.0ms (0.4%)
Compiler
Compiled 32 to 121 computations (-278.1% saved)
prune2.0ms (0.1%)
Pruning
3 alts after pruning (3 fresh and 0 done)
PrunedKeptTotal
New29332
Fresh000
Picked101
Done000
Total30333
Accuracy
100.0%
Counts
33 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 x (-.f64 y #s(literal -1/2 binary64)) z)
▶62.7%
(approx (+ (+ (/ x 2) (* y x)) z) (+.f64 z (*.f64 #s(literal 1/2 binary64) x)))
▶37.7%
(approx (+ (+ (/ x 2) (* y x)) z) z)
Compiler
Compiled 3 to 9 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series23.0ms (1.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0114425
Stop Event
1×iter-limit
Counts
11 → 28
Calls
Call 1
Inputs
%4 = (*.f64 #s(literal 1/2 binary64) x)
%9 = (+ (+ (/ x 2) (* y x)) z)
%11 = (+.f64 z %4)
%14 = (-.f64 y #s(literal -1/2 binary64))
x
y
z
#s(literal 1/2 binary64)
%4
(approx %9 z)
%11
(approx %9 %11)
#s(literal -1/2 binary64)
%14
(fma.f64 x %14 z)
Outputs
%5 = (* 1/2 x)
%7 = (*.f64 #s(literal 1/2 binary64) x)
%15 = (+ (+ (/ x 2) (* y x)) z)
%17 = (+.f64 #s(literal 1/2 binary64) y)
%18 = (*.f64 x %17)
%21 = (+ z %5)
%22 = (+.f64 z %7)
%25 = (/.f64 z x)
%39 = (*.f64 #s(literal -1 binary64) %25)
%50 = (- y -1/2)
%52 = (+ (* x %50) z)
%58 = (*.f64 x y)
%59 = (fma.f64 #s(literal 1/2 binary64) x %58)
%84 = (/.f64 x z)
%94 = (/.f64 %18 z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %7)
(approx %15 z)
(approx %15 (+.f64 z %18))
(approx %21 %22)
(approx %15 %18)
(approx %15 (*.f64 x (+.f64 #s(literal 1/2 binary64) (+.f64 y %25))))
(approx %21 (*.f64 x (+.f64 #s(literal 1/2 binary64) %25)))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1/2 binary64)))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) y %39) #s(literal 1/2 binary64)))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %39 #s(literal 1/2 binary64)))))
(approx %52 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %17 %39))))
(approx y y)
(approx %15 (+.f64 z %59))
(approx %50 #s(literal 1/2 binary64))
(approx %50 %17)
(approx %15 %58)
(approx %15 (*.f64 y (+.f64 x (fma.f64 #s(literal 1/2 binary64) (/.f64 x y) (/.f64 z y)))))
(approx %50 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) y)))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %22 y))))))
(approx %15 %59)
(approx %15 (*.f64 z (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) %84 (/.f64 %58 z)))))
(approx %21 (*.f64 z (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) %84))))
(approx %52 (*.f64 z (+.f64 #s(literal 1 binary64) %94)))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %59 z)) #s(literal 1 binary64)))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1/2 binary64) %84) #s(literal 1 binary64)))))
(approx %52 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %94) #s(literal 1 binary64)))))
Calls
9 calls:
TimeVariablePoint
4.0ms
x
inf
3.0ms
x
-inf
2.0ms
y
inf
1.0ms
y
-inf
1.0ms
z
-inf
rewrite148.0ms (10.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01648
02148
17742
220342
359842
4291142
0413242
0440340
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 400
Calls
Call 1
Inputs
%4 = (*.f64 #s(literal 1/2 binary64) x)
%9 = (+ (+ (/ x 2) (* y x)) z)
%11 = (+.f64 z %4)
%14 = (-.f64 y #s(literal -1/2 binary64))
x
y
z
#s(literal 1/2 binary64)
%4
(approx %9 z)
%11
(approx %9 %11)
#s(literal -1/2 binary64)
%14
(fma.f64 x %14 z)
Outputs
%4 = (*.f64 #s(literal 1/2 binary64) x)
%5 = (*.f64 %4 #s(literal 1/2 binary64))
%9 = (*.f64 #s(literal -1/2 binary64) x)
%11 = (/.f64 %9 #s(literal -2 binary64))
%13 = (+.f64 x x)
%14 = (/.f64 %13 #s(literal 1/2 binary64))
%18 = (/.f64 %13 #s(literal 1 binary64))
%22 = (/.f64 x #s(literal 4 binary64))
%25 = (/.f64 x #s(literal -4 binary64))
%27 = (/.f64 %9 #s(literal 2 binary64))
%29 = (/.f64 x #s(literal -1/2 binary64))
%32 = (/.f64 x #s(literal 1/2 binary64))
%34 = (neg.f64 x)
%35 = (*.f64 %34 #s(literal 2 binary64))
%40 = (/.f64 %9 #s(literal -4 binary64))
%49 = (*.f64 #s(literal -1/4 binary64) %34)
%51 = (*.f64 #s(literal 1/4 binary64) x)
%54 = (*.f64 #s(literal 1/2 binary64) %4)
%63 = (*.f64 %34 #s(literal -2 binary64))
%66 = (*.f64 %4 #s(literal -2 binary64))
%68 = (*.f64 #s(literal -2 binary64) %34)
%70 = (*.f64 #s(literal 2 binary64) %34)
%72 = (*.f64 #s(literal -2 binary64) x)
%89 = (*.f64 %4 #s(literal 0 binary64))
%91 = (*.f64 #s(literal 0 binary64) %4)
%156 = (- z (* (- -1/2 y) x))
%157 = (approx %156 z)
%162 = (*.f64 #s(literal -2 binary64) z)
%163 = (-.f64 %162 x)
%164 = (*.f64 %163 #s(literal 2 binary64))
%166 = (fma.f64 #s(literal 2 binary64) z x)
%167 = (*.f64 %166 #s(literal 2 binary64))
%169 = (*.f64 %163 #s(literal -1 binary64))
%171 = (*.f64 %163 #s(literal 1 binary64))
%173 = (*.f64 %166 #s(literal -1 binary64))
%175 = (*.f64 %166 #s(literal 1 binary64))
%177 = (fma.f64 #s(literal 1/2 binary64) x z)
%178 = (/.f64 %177 #s(literal -2 binary64))
%180 = (/.f64 %177 #s(literal 2 binary64))
%182 = (/.f64 %166 #s(literal -1 binary64))
%184 = (/.f64 %166 #s(literal -1/2 binary64))
%186 = (/.f64 %166 #s(literal 1 binary64))
%188 = (/.f64 %166 #s(literal 1/2 binary64))
%190 = (-.f64 %9 z)
%214 = (+.f64 z z)
%267 = (neg.f64 z)
%272 = (approx %156 %177)
%277 = (fma.f64 #s(literal 2 binary64) y #s(literal 1 binary64))
%280 = (*.f64 %277 #s(literal -1 binary64))
%282 = (-.f64 #s(literal -1/2 binary64) y)
%283 = (/.f64 %282 #s(literal 2 binary64))
%285 = (/.f64 %282 #s(literal -2 binary64))
%287 = (fma.f64 #s(literal -2 binary64) y #s(literal -1 binary64))
%288 = (/.f64 %287 #s(literal -1/2 binary64))
%292 = (-.f64 y #s(literal -1/2 binary64))
%298 = (/.f64 %287 #s(literal -4 binary64))
%300 = (/.f64 %282 #s(literal -1/2 binary64))
%304 = (+.f64 y y)
%324 = (neg.f64 y)
%328 = (fma.f64 y x z)
%329 = (*.f64 %328 #s(literal -2 binary64))
%330 = (-.f64 %329 x)
%332 = (fma.f64 %328 #s(literal 2 binary64) x)
%334 = (fma.f64 x %287 %162)
%336 = (fma.f64 %277 x %214)
%338 = (fma.f64 %292 x z)
%353 = (*.f64 x %287)
%356 = (fma.f64 %13 y x)
%372 = (*.f64 %282 x)
%373 = (-.f64 %372 z)
%399 = (*.f64 y x)
%421 = (/.f64 %399 #s(literal -2 binary64))
%436 = (/.f64 %282 #s(literal 1/2 binary64))
%446 = (*.f64 %13 y)
%451 = (/.f64 %399 #s(literal 1/2 binary64))
%453 = (/.f64 %399 #s(literal 2 binary64))
%455 = (/.f64 %399 #s(literal 4 binary64))
%516 = (*.f64 %292 x)
x
y
z
#s(literal 1/2 binary64)
(*.f64 %5 #s(literal 2 binary64))
(*.f64 %11 #s(literal 2 binary64))
(*.f64 %14 #s(literal 1/8 binary64))
(*.f64 %18 #s(literal 1/4 binary64))
(*.f64 %22 #s(literal 2 binary64))
(*.f64 %25 #s(literal -2 binary64))
(*.f64 %27 #s(literal -2 binary64))
(*.f64 %29 #s(literal -1/4 binary64))
(*.f64 %32 #s(literal 1/4 binary64))
(*.f64 %35 #s(literal -1/4 binary64))
(*.f64 %13 #s(literal 1/4 binary64))
(*.f64 #s(literal 1/4 binary64) %32)
(*.f64 #s(literal -1/4 binary64) %29)
(*.f64 #s(literal 4 binary64) %40)
(*.f64 #s(literal -1 binary64) %9)
(*.f64 %9 #s(literal -1 binary64))
(*.f64 %34 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %4)
(*.f64 #s(literal -1/2 binary64) %34)
(*.f64 %4 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %49)
(*.f64 #s(literal 2 binary64) %51)
(*.f64 #s(literal 2 binary64) %5)
(*.f64 #s(literal 2 binary64) %54)
(*.f64 #s(literal 2 binary64) %11)
(*.f64 #s(literal 2 binary64) %22)
%4
(*.f64 x #s(literal 1/2 binary64))
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 %11 #s(literal 1/2 binary64))
(/.f64 %22 #s(literal 1/2 binary64))
(/.f64 %32 #s(literal 4 binary64))
(/.f64 %63 #s(literal 4 binary64))
(/.f64 %35 #s(literal -4 binary64))
(/.f64 %66 #s(literal -2 binary64))
(/.f64 %68 #s(literal 4 binary64))
(/.f64 %70 #s(literal -4 binary64))
(/.f64 %72 #s(literal -4 binary64))
(/.f64 %13 #s(literal 4 binary64))
(/.f64 %9 #s(literal -1 binary64))
(/.f64 %34 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %4))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %34))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) x))
(/.f64 %4 #s(literal 1 binary64))
(/.f64 x #s(literal 2 binary64))
(neg.f64 %9)
(fma.f64 %5 #s(literal 2 binary64) %89)
(fma.f64 %5 #s(literal 2 binary64) %91)
(fma.f64 %11 #s(literal 2 binary64) %89)
(fma.f64 %11 #s(literal 2 binary64) %91)
(fma.f64 %14 #s(literal 1/8 binary64) %89)
(fma.f64 %14 #s(literal 1/8 binary64) %91)
(fma.f64 %18 #s(literal 1/4 binary64) %89)
(fma.f64 %18 #s(literal 1/4 binary64) %91)
(fma.f64 %22 #s(literal 2 binary64) %89)
(fma.f64 %22 #s(literal 2 binary64) %91)
(fma.f64 %25 #s(literal -2 binary64) %89)
(fma.f64 %25 #s(literal -2 binary64) %91)
(fma.f64 %27 #s(literal -2 binary64) %89)
(fma.f64 %27 #s(literal -2 binary64) %91)
(fma.f64 %29 #s(literal -1/4 binary64) %89)
(fma.f64 %29 #s(literal -1/4 binary64) %91)
(fma.f64 %32 #s(literal 1/4 binary64) %89)
(fma.f64 %32 #s(literal 1/4 binary64) %91)
(fma.f64 %35 #s(literal -1/4 binary64) %89)
(fma.f64 %35 #s(literal -1/4 binary64) %91)
(fma.f64 %13 #s(literal 1/4 binary64) %89)
(fma.f64 %13 #s(literal 1/4 binary64) %91)
(fma.f64 #s(literal 1/4 binary64) %32 %89)
(fma.f64 #s(literal 1/4 binary64) %32 %91)
(fma.f64 #s(literal -1/4 binary64) %29 %89)
(fma.f64 #s(literal -1/4 binary64) %29 %91)
(fma.f64 #s(literal 4 binary64) %40 %89)
(fma.f64 #s(literal 4 binary64) %40 %91)
(fma.f64 #s(literal -1 binary64) %9 %89)
(fma.f64 #s(literal -1 binary64) %9 %91)
(fma.f64 %9 #s(literal -1 binary64) %89)
(fma.f64 %9 #s(literal -1 binary64) %91)
(fma.f64 %34 #s(literal -1/2 binary64) %89)
(fma.f64 %34 #s(literal -1/2 binary64) %91)
(fma.f64 #s(literal 1 binary64) %4 %89)
(fma.f64 #s(literal 1 binary64) %4 %91)
(fma.f64 #s(literal -1/2 binary64) %34 %89)
(fma.f64 #s(literal -1/2 binary64) %34 %91)
(fma.f64 %4 #s(literal 1 binary64) %89)
(fma.f64 %4 #s(literal 1 binary64) %91)
(fma.f64 %4 #s(literal 1/2 binary64) %5)
(fma.f64 #s(literal 2 binary64) %49 %89)
(fma.f64 #s(literal 2 binary64) %49 %91)
(fma.f64 #s(literal 2 binary64) %51 %89)
(fma.f64 #s(literal 2 binary64) %51 %91)
(fma.f64 #s(literal 2 binary64) %5 %89)
(fma.f64 #s(literal 2 binary64) %5 %91)
(fma.f64 #s(literal 2 binary64) %54 %89)
(fma.f64 #s(literal 2 binary64) %54 %91)
(fma.f64 #s(literal 2 binary64) %11 %89)
(fma.f64 #s(literal 2 binary64) %11 %91)
(fma.f64 #s(literal 2 binary64) %22 %89)
(fma.f64 #s(literal 2 binary64) %22 %91)
(fma.f64 #s(literal 1/2 binary64) %4 %54)
(fma.f64 #s(literal 1/2 binary64) x %89)
(fma.f64 #s(literal 1/2 binary64) x %91)
(fma.f64 x #s(literal 1/2 binary64) %89)
(fma.f64 x #s(literal 1/2 binary64) %91)
(+.f64 %5 %5)
(+.f64 %54 %54)
(+.f64 %4 %89)
(+.f64 %4 %91)
(*.f64 #s(literal 1 binary64) %157)
(pow.f64 %157 #s(literal 1 binary64))
%157
(/.f64 #s(literal 1 binary64) (pow.f64 %157 #s(literal -1 binary64)))
(*.f64 %164 #s(literal -1/4 binary64))
(*.f64 %167 #s(literal 1/4 binary64))
(*.f64 %169 #s(literal 1/2 binary64))
(*.f64 %171 #s(literal -1/2 binary64))
(*.f64 %173 #s(literal -1/2 binary64))
(*.f64 %175 #s(literal 1/2 binary64))
(*.f64 %178 #s(literal -2 binary64))
(*.f64 %180 #s(literal 2 binary64))
(*.f64 %182 #s(literal -1/2 binary64))
(*.f64 %184 #s(literal -1/4 binary64))
(*.f64 %186 #s(literal 1/2 binary64))
(*.f64 %188 #s(literal 1/4 binary64))
(*.f64 %190 #s(literal -1 binary64))
(*.f64 %163 #s(literal -1/2 binary64))
(*.f64 %166 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %177)
(*.f64 #s(literal -1/2 binary64) %163)
(*.f64 %177 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %166)
(pow.f64 %177 #s(literal 1 binary64))
(/.f64 %169 #s(literal 2 binary64))
(/.f64 %171 #s(literal -2 binary64))
(/.f64 %173 #s(literal -2 binary64))
(/.f64 %175 #s(literal 2 binary64))
(/.f64 (/.f64 %166 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(/.f64 (/.f64 %177 #s(literal 1/2 binary64)) #s(literal 2 binary64))
(/.f64 %180 #s(literal 1/2 binary64))
(/.f64 (fma.f64 %162 #s(literal -2 binary64) %63) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) z %66) #s(literal -2 binary64))
(/.f64 (fma.f64 %162 #s(literal 2 binary64) %72) #s(literal -4 binary64))
(/.f64 (fma.f64 %214 #s(literal -2 binary64) %35) #s(literal -4 binary64))
(/.f64 (fma.f64 %214 #s(literal 2 binary64) %13) #s(literal 4 binary64))
(/.f64 %186 #s(literal 2 binary64))
(/.f64 %188 #s(literal 4 binary64))
(/.f64 (fma.f64 %162 #s(literal -2 binary64) %68) #s(literal 4 binary64))
(/.f64 (fma.f64 %214 #s(literal -2 binary64) %70) #s(literal -4 binary64))
(/.f64 %190 #s(literal -1 binary64))
(/.f64 %163 #s(literal -2 binary64))
(/.f64 %166 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %177))
(/.f64 #s(literal 1 binary64) (pow.f64 %177 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %163))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %166))
(/.f64 %177 #s(literal 1 binary64))
(neg.f64 %190)
(fma.f64 %5 #s(literal 2 binary64) z)
(fma.f64 %11 #s(literal 2 binary64) z)
(fma.f64 %14 #s(literal 1/8 binary64) z)
(fma.f64 %18 #s(literal 1/4 binary64) z)
(fma.f64 %22 #s(literal 2 binary64) z)
(fma.f64 %25 #s(literal -2 binary64) z)
(fma.f64 %27 #s(literal -2 binary64) z)
(fma.f64 %29 #s(literal -1/4 binary64) z)
(fma.f64 %32 #s(literal 1/4 binary64) z)
(fma.f64 %35 #s(literal -1/4 binary64) z)
(fma.f64 %13 #s(literal 1/4 binary64) z)
(fma.f64 #s(literal 1/4 binary64) %32 z)
(fma.f64 #s(literal -1/4 binary64) %29 z)
(fma.f64 #s(literal 4 binary64) %40 z)
(fma.f64 #s(literal -1 binary64) %9 z)
(fma.f64 %9 #s(literal -1 binary64) z)
(fma.f64 %34 #s(literal -1/2 binary64) z)
(fma.f64 #s(literal 1 binary64) %4 z)
(fma.f64 #s(literal -1/2 binary64) %34 z)
(fma.f64 %4 #s(literal 1 binary64) z)
(fma.f64 #s(literal 2 binary64) %49 z)
(fma.f64 #s(literal 2 binary64) %51 z)
(fma.f64 #s(literal 2 binary64) %5 z)
(fma.f64 #s(literal 2 binary64) %54 z)
(fma.f64 #s(literal 2 binary64) %11 z)
(fma.f64 #s(literal 2 binary64) %22 z)
%177
(fma.f64 x #s(literal 1/2 binary64) z)
(-.f64 %4 (/.f64 z #s(literal -1 binary64)))
(-.f64 %4 %267)
(-.f64 z %9)
(+.f64 %4 z)
(+.f64 z %4)
(*.f64 #s(literal 1 binary64) %272)
(pow.f64 %272 #s(literal 1 binary64))
%272
(/.f64 #s(literal 1 binary64) (pow.f64 %272 #s(literal -1 binary64)))
#s(literal -1/2 binary64)
(*.f64 (*.f64 %277 #s(literal 2 binary64)) #s(literal 1/4 binary64))
(*.f64 %280 #s(literal -1/2 binary64))
(*.f64 %283 #s(literal -2 binary64))
(*.f64 %285 #s(literal 2 binary64))
(*.f64 %288 #s(literal 1/4 binary64))
(*.f64 %287 #s(literal -1/2 binary64))
(*.f64 %277 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %292)
(*.f64 %292 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %277)
(pow.f64 %292 #s(literal 1 binary64))
(/.f64 %280 #s(literal -2 binary64))
(/.f64 %298 #s(literal 1/2 binary64))
(/.f64 %300 #s(literal 2 binary64))
(/.f64 %285 #s(literal 1/2 binary64))
(/.f64 %288 #s(literal 4 binary64))
(/.f64 (fma.f64 %304 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %304 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 %287 #s(literal -2 binary64))
(/.f64 %277 #s(literal 2 binary64))
(/.f64 %282 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %287))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %292))
(/.f64 #s(literal 1 binary64) (pow.f64 %292 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %277))
(/.f64 %292 #s(literal 1 binary64))
(neg.f64 %282)
(-.f64 #s(literal 1/2 binary64) (/.f64 y #s(literal -1 binary64)))
(-.f64 #s(literal 1/2 binary64) %324)
%292
(+.f64 #s(literal 1/2 binary64) y)
(+.f64 y #s(literal 1/2 binary64))
(*.f64 %330 #s(literal -1/2 binary64))
(*.f64 %332 #s(literal 1/2 binary64))
(*.f64 %334 #s(literal -1/2 binary64))
(*.f64 %336 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %338)
(pow.f64 %338 #s(literal 1 binary64))
(/.f64 (/.f64 %332 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(/.f64 (/.f64 %332 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %332 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %336 #s(literal 4 binary64)) #s(literal 1/2 binary64))
(/.f64 (/.f64 %336 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %336 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %353 %214) #s(literal -2 binary64))
(/.f64 (-.f64 %356 %162) #s(literal 2 binary64))
(/.f64 (fma.f64 %328 #s(literal 1 binary64) %4) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %328 #s(literal 1 binary64)) %9) #s(literal 1 binary64))
(/.f64 (neg.f64 %330) #s(literal 2 binary64))
(/.f64 (neg.f64 %332) #s(literal -2 binary64))
(/.f64 (neg.f64 %334) #s(literal 2 binary64))
(/.f64 (neg.f64 %336) #s(literal -2 binary64))
(/.f64 %373 #s(literal -1 binary64))
(/.f64 %330 #s(literal -2 binary64))
(/.f64 %332 #s(literal 2 binary64))
(/.f64 %334 #s(literal -2 binary64))
(/.f64 %336 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %330))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %332))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %334))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %336))
(/.f64 #s(literal 1 binary64) (pow.f64 %338 #s(literal -1 binary64)))
(/.f64 %338 #s(literal 1 binary64))
(neg.f64 %373)
(fma.f64 (*.f64 %353 #s(literal 2 binary64)) #s(literal -1/4 binary64) z)
(fma.f64 (*.f64 %356 #s(literal 2 binary64)) #s(literal 1/4 binary64) z)
(fma.f64 (*.f64 %292 %13) #s(literal 1/2 binary64) z)
(fma.f64 (*.f64 %292 #s(literal 2 binary64)) %4 z)
(fma.f64 %164 #s(literal -1/4 binary64) %399)
(fma.f64 %167 #s(literal 1/4 binary64) %399)
(fma.f64 (*.f64 %353 #s(literal -1 binary64)) #s(literal 1/2 binary64) z)
(fma.f64 (*.f64 %353 #s(literal 1 binary64)) #s(literal -1/2 binary64) z)
(fma.f64 (*.f64 %356 #s(literal -1 binary64)) #s(literal -1/2 binary64) z)
(fma.f64 %169 #s(literal 1/2 binary64) %399)
(fma.f64 %171 #s(literal -1/2 binary64) %399)
(fma.f64 %173 #s(literal -1/2 binary64) %399)
(fma.f64 %175 #s(literal 1/2 binary64) %399)
(fma.f64 (/.f64 %372 #s(literal 2 binary64)) #s(literal -2 binary64) z)
(fma.f64 (/.f64 %372 #s(literal -2 binary64)) #s(literal 2 binary64) z)
(fma.f64 %178 #s(literal -2 binary64) %399)
(fma.f64 %180 #s(literal 2 binary64) %399)
(fma.f64 (*.f64 %399 #s(literal 1/2 binary64)) #s(literal 2 binary64) %177)
(fma.f64 %5 #s(literal 2 binary64) %328)
(fma.f64 %421 #s(literal -2 binary64) %177)
(fma.f64 (/.f64 y #s(literal -2 binary64)) (/.f64 %13 #s(literal -1 binary64)) %177)
(fma.f64 %11 #s(literal 2 binary64) %328)
(fma.f64 %298 %32 z)
(fma.f64 (/.f64 %356 #s(literal -1 binary64)) #s(literal -1/2 binary64) z)
(fma.f64 (/.f64 %356 #s(literal -1/2 binary64)) #s(literal -1/4 binary64) z)
(fma.f64 (/.f64 %356 #s(literal 1 binary64)) #s(literal 1/2 binary64) z)
(fma.f64 (/.f64 %356 #s(literal 1/2 binary64)) #s(literal 1/4 binary64) z)
(fma.f64 %436 %9 z)
(fma.f64 %283 %29 z)
(fma.f64 %300 %4 z)
(fma.f64 %285 %32 z)
(fma.f64 %182 #s(literal -1/2 binary64) %399)
(fma.f64 %184 #s(literal -1/4 binary64) %399)
(fma.f64 %186 #s(literal 1/2 binary64) %399)
(fma.f64 %188 #s(literal 1/4 binary64) %399)
(fma.f64 %288 %22 z)
(fma.f64 (/.f64 %446 #s(literal 4 binary64)) #s(literal 2 binary64) %177)
(fma.f64 (/.f64 %446 #s(literal 1/2 binary64)) #s(literal 1/4 binary64) %177)
(fma.f64 %451 #s(literal 1/2 binary64) %177)
(fma.f64 %453 #s(literal 2 binary64) %177)
(fma.f64 %455 #s(literal 4 binary64) %177)
(fma.f64 %14 #s(literal 1/8 binary64) %328)
(fma.f64 (/.f64 y #s(literal 4 binary64)) %14 %177)
(fma.f64 %18 #s(literal 1/4 binary64) %328)
(fma.f64 (/.f64 y #s(literal 2 binary64)) %18 %177)
(fma.f64 (/.f64 y #s(literal 1/2 binary64)) %4 %177)
(fma.f64 %22 %288 z)
(fma.f64 %22 (/.f64 %304 #s(literal 1/2 binary64)) %177)
(fma.f64 %22 #s(literal 2 binary64) %328)
(fma.f64 %25 #s(literal -2 binary64) %328)
(fma.f64 %27 #s(literal -2 binary64) %328)
(fma.f64 %29 %283 z)
(fma.f64 %29 #s(literal -1/4 binary64) %328)
(fma.f64 %32 %298 z)
(fma.f64 %32 %285 z)
(fma.f64 %32 (/.f64 %304 #s(literal 4 binary64)) %177)
(fma.f64 %32 #s(literal 1/4 binary64) %328)
(fma.f64 %35 #s(literal -1/4 binary64) %328)
(fma.f64 %13 (*.f64 #s(literal 1/2 binary64) %292) z)
(fma.f64 %13 (*.f64 #s(literal 1/2 binary64) y) %177)
(fma.f64 %13 #s(literal 1/4 binary64) %328)
(fma.f64 #s(literal 1/4 binary64) %32 %328)
(fma.f64 #s(literal -1/4 binary64) %29 %328)
(fma.f64 #s(literal 4 binary64) %40 %328)
(fma.f64 #s(literal 4 binary64) %455 %177)
(fma.f64 %190 #s(literal -1 binary64) %399)
(fma.f64 %372 #s(literal -1 binary64) z)
(fma.f64 %277 %4 z)
(fma.f64 %304 %4 %177)
(fma.f64 %353 #s(literal -1/2 binary64) z)
(fma.f64 (*.f64 #s(literal -2 binary64) %399) #s(literal -1/2 binary64) %177)
(fma.f64 %356 #s(literal 1/2 binary64) z)
(fma.f64 %446 #s(literal 1/2 binary64) %177)
(fma.f64 %163 #s(literal -1/2 binary64) %399)
(fma.f64 %166 #s(literal 1/2 binary64) %399)
(fma.f64 #s(literal -1 binary64) (/.f64 %399 #s(literal -1 binary64)) %177)
(fma.f64 #s(literal -1 binary64) %9 %328)
(fma.f64 %9 (/.f64 %304 #s(literal -1 binary64)) %177)
(fma.f64 %9 %436 z)
(fma.f64 %9 #s(literal -1 binary64) %328)
(fma.f64 %324 %34 %177)
(fma.f64 %282 %34 z)
(fma.f64 #s(literal -2 binary64) %421 %177)
(fma.f64 %34 (*.f64 %324 #s(literal 1 binary64)) %177)
(fma.f64 %34 %324 %177)
(fma.f64 %34 %282 z)
(fma.f64 %34 #s(literal -1/2 binary64) %328)
(fma.f64 #s(literal 1 binary64) %328 %4)
(fma.f64 #s(literal 1 binary64) %177 %399)
(fma.f64 #s(literal 1 binary64) %516 z)
(fma.f64 #s(literal 1 binary64) %399 %177)
(fma.f64 #s(literal 1 binary64) %4 %328)
%338
(fma.f64 #s(literal -1/2 binary64) %353 z)
(fma.f64 #s(literal -1/2 binary64) %163 %399)
(fma.f64 #s(literal -1/2 binary64) %34 %328)
(fma.f64 %177 #s(literal 1 binary64) %399)
(fma.f64 %516 #s(literal 1 binary64) z)
(fma.f64 %399 #s(literal 1 binary64) %177)
(fma.f64 %4 %300 z)
(fma.f64 %4 %277 z)
(fma.f64 %4 %304 %177)
(fma.f64 %4 #s(literal 1 binary64) %328)
(fma.f64 #s(literal 2 binary64) (*.f64 %4 %292) z)
(fma.f64 #s(literal 2 binary64) (*.f64 %4 y) %177)
(fma.f64 #s(literal 2 binary64) %49 %328)
(fma.f64 #s(literal 2 binary64) %51 %328)
(fma.f64 #s(literal 2 binary64) %5 %328)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %399) %177)
(fma.f64 #s(literal 2 binary64) %54 %328)
(fma.f64 #s(literal 2 binary64) %11 %328)
(fma.f64 #s(literal 2 binary64) %453 %177)
(fma.f64 #s(literal 2 binary64) %22 %328)
(fma.f64 #s(literal 1/2 binary64) %451 %177)
(fma.f64 #s(literal 1/2 binary64) %356 z)
(fma.f64 #s(literal 1/2 binary64) %446 %177)
(fma.f64 #s(literal 1/2 binary64) %166 %399)
(fma.f64 #s(literal 1/2 binary64) x %328)
(fma.f64 y x %177)
(fma.f64 x %292 z)
(fma.f64 x #s(literal 1/2 binary64) %328)
(fma.f64 x y %177)
(-.f64 %328 %9)
(-.f64 %177 (*.f64 %324 x))
(-.f64 %516 %267)
(-.f64 %399 %190)
(-.f64 %4 (neg.f64 %328))
(-.f64 z %372)
(+.f64 (/.f64 %329 #s(literal -2 binary64)) %4)
(+.f64 %328 %4)
(+.f64 %177 %399)
(+.f64 %516 z)
(+.f64 %399 %177)
(+.f64 %4 %328)
(+.f64 z %516)
reconstruct47.0ms (3.3%)
Counts
428 → 35
Compiler
Compiled 428 to 626 computations (-46.3% saved)
eval3.0ms (0.2%)
Compiler
Compiled 32 to 90 computations (-181.3% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (3 fresh and 2 done)
PrunedKeptTotal
New29332
Fresh000
Picked123
Done000
Total30535
Accuracy
100.0%
Counts
35 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 x (-.f64 y #s(literal -1/2 binary64)) z)
▶62.7%
(fma.f64 x (approx (- y -1/2) #s(literal 1/2 binary64)) z)
▶64.3%
(approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x (+.f64 #s(literal 1/2 binary64) y)))
▶38.6%
(approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x y))
✓37.7%
(approx (+ (+ (/ x 2) (* y x)) z) z)
Compiler
Compiled 5 to 11 computations (-120.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series11.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0107388
Stop Event
1×iter-limit
Counts
11 → 26
Calls
Call 1
Inputs
%4 = (*.f64 x y)
%5 = (+.f64 #s(literal 1/2 binary64) y)
%6 = (*.f64 x %5)
%11 = (+ (+ (/ x 2) (* y x)) z)
%15 = (approx (- y -1/2) #s(literal 1/2 binary64))
x
y
z
#s(literal 1/2 binary64)
%4
%5
%6
(approx %11 %6)
%15
(approx %11 %4)
(fma.f64 x %15 z)
Outputs
%6 = (*.f64 x y)
%9 = (+ 1/2 y)
%10 = (* x %9)
%12 = (+.f64 #s(literal 1/2 binary64) y)
%13 = (*.f64 x %12)
%20 = (+ (+ (/ x 2) (* y x)) z)
%24 = (/.f64 z x)
%35 = (*.f64 #s(literal -1 binary64) %24)
%44 = (+ (* x (- y -1/2)) z)
%52 = (*.f64 #s(literal 1/2 binary64) x)
%54 = (fma.f64 #s(literal 1/2 binary64) x %6)
%56 = (+.f64 z %52)
%66 = (/.f64 x y)
%94 = (/.f64 %13 z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* x y) %6)
(approx %10 %13)
(approx %20 z)
(approx %20 (+.f64 z %13))
(approx %20 (*.f64 x (+.f64 #s(literal 1/2 binary64) (+.f64 y %24))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1/2 binary64)))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) y %35) #s(literal 1/2 binary64)))))
(approx %44 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1 binary64) %12 %35))))
(approx y y)
(approx %9 #s(literal 1/2 binary64))
(approx %9 %12)
(approx %10 %52)
(approx %10 %54)
(approx %20 %56)
(approx %20 (+.f64 z %54))
(approx %9 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) y)))))
(approx %10 (*.f64 y (+.f64 x (*.f64 #s(literal 1/2 binary64) %66))))
(approx %20 (*.f64 y (+.f64 x (fma.f64 #s(literal 1/2 binary64) %66 (/.f64 z y)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1/2 binary64) %66)))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %56 y))))))
(approx %20 (*.f64 z (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) (/.f64 x z) (/.f64 %6 z)))))
(approx %44 (*.f64 z (+.f64 #s(literal 1 binary64) %94)))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %54 z)) #s(literal 1 binary64)))))
(approx %44 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %94) #s(literal 1 binary64)))))
Calls
9 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
-inf
1.0ms
z
-inf
rewrite97.0ms (6.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01856
02352
17952
220552
361352
4259152
0410152
0437950
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 353
Calls
Call 1
Inputs
%4 = (*.f64 x y)
%5 = (+.f64 #s(literal 1/2 binary64) y)
%6 = (*.f64 x %5)
%11 = (+ (+ (/ x 2) (* y x)) z)
%15 = (approx (- y -1/2) #s(literal 1/2 binary64))
x
y
z
#s(literal 1/2 binary64)
%4
%5
%6
(approx %11 %6)
%15
(approx %11 %4)
(fma.f64 x %15 z)
Outputs
%4 = (*.f64 y x)
%5 = (*.f64 %4 #s(literal 1/2 binary64))
%9 = (/.f64 %4 #s(literal -2 binary64))
%11 = (/.f64 y #s(literal -2 binary64))
%12 = (+.f64 x x)
%14 = (/.f64 %12 #s(literal -1 binary64))
%16 = (+.f64 y y)
%17 = (*.f64 %16 x)
%19 = (/.f64 %17 #s(literal 4 binary64))
%21 = (/.f64 %17 #s(literal 1/2 binary64))
%24 = (/.f64 %4 #s(literal 1/2 binary64))
%26 = (/.f64 %4 #s(literal 2 binary64))
%28 = (/.f64 %4 #s(literal 4 binary64))
%30 = (/.f64 y #s(literal 4 binary64))
%31 = (/.f64 %12 #s(literal 1/2 binary64))
%33 = (/.f64 y #s(literal 2 binary64))
%35 = (/.f64 %12 #s(literal 1 binary64))
%37 = (/.f64 y #s(literal 1/2 binary64))
%38 = (*.f64 #s(literal 1/2 binary64) x)
%40 = (/.f64 x #s(literal 4 binary64))
%41 = (/.f64 %16 #s(literal 1/2 binary64))
%43 = (/.f64 x #s(literal 1/2 binary64))
%44 = (/.f64 %16 #s(literal 4 binary64))
%46 = (*.f64 #s(literal 1/2 binary64) y)
%50 = (*.f64 #s(literal -1/2 binary64) x)
%51 = (/.f64 %16 #s(literal -1 binary64))
%53 = (*.f64 #s(literal -2 binary64) %4)
%57 = (/.f64 %4 #s(literal -1 binary64))
%59 = (neg.f64 y)
%60 = (neg.f64 x)
%63 = (*.f64 %59 #s(literal 1 binary64))
%69 = (*.f64 %38 y)
%71 = (*.f64 #s(literal 1/2 binary64) %4)
%85 = (/.f64 %17 #s(literal -2 binary64))
%89 = (*.f64 %59 x)
%101 = (*.f64 %4 #s(literal 0 binary64))
%103 = (*.f64 #s(literal 0 binary64) %4)
%178 = (fma.f64 #s(literal 2 binary64) y #s(literal 1 binary64))
%181 = (*.f64 %178 #s(literal -1 binary64))
%183 = (-.f64 #s(literal -1/2 binary64) y)
%184 = (/.f64 %183 #s(literal 2 binary64))
%186 = (/.f64 %183 #s(literal -2 binary64))
%188 = (fma.f64 #s(literal -2 binary64) y #s(literal -1 binary64))
%189 = (/.f64 %188 #s(literal -1/2 binary64))
%193 = (+.f64 #s(literal 1/2 binary64) y)
%205 = (/.f64 %183 #s(literal -1/2 binary64))
%210 = (/.f64 %188 #s(literal -4 binary64))
%215 = (fma.f64 %16 #s(literal -2 binary64) #s(literal -2 binary64))
%218 = (fma.f64 %16 #s(literal 2 binary64) #s(literal 2 binary64))
%246 = (*.f64 x %188)
%249 = (fma.f64 %16 x x)
%256 = (*.f64 %246 #s(literal -1 binary64))
%258 = (*.f64 %246 #s(literal 1 binary64))
%260 = (*.f64 %249 #s(literal -1 binary64))
%262 = (*.f64 %183 x)
%265 = (/.f64 %262 #s(literal -2 binary64))
%269 = (/.f64 %249 #s(literal 1/2 binary64))
%271 = (/.f64 %183 #s(literal 1/2 binary64))
%273 = (/.f64 x #s(literal -1/2 binary64))
%292 = (*.f64 %193 x)
%306 = (/.f64 %50 #s(literal 2 binary64))
%320 = (/.f64 %249 #s(literal 4 binary64))
%323 = (/.f64 %262 #s(literal -1/2 binary64))
%329 = (fma.f64 %53 #s(literal -2 binary64) (*.f64 %60 #s(literal -2 binary64)))
%332 = (*.f64 #s(literal -2 binary64) x)
%334 = (fma.f64 %332 y (*.f64 %38 #s(literal -2 binary64)))
%337 = (fma.f64 %53 #s(literal 2 binary64) %332)
%340 = (*.f64 %60 #s(literal 2 binary64))
%341 = (fma.f64 %17 #s(literal -2 binary64) %340)
%344 = (fma.f64 %17 #s(literal 2 binary64) %12)
%350 = (fma.f64 %53 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %60))
%354 = (fma.f64 %17 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %60))
%357 = (*.f64 %60 %188)
%360 = (*.f64 %188 x)
%363 = (*.f64 %188 %60)
%397 = (*.f64 %38 #s(literal 1/2 binary64))
%414 = (/.f64 %50 #s(literal -2 binary64))
%470 = (+ 1/2 y)
%472 = (+ (* %470 x) z)
%473 = (approx %472 %292)
%478 = (approx %470 #s(literal 1/2 binary64))
%483 = (neg.f64 %478)
%485 = (approx %472 %4)
%490 = (fma.f64 %478 x z)
%507 = (*.f64 %478 x)
x
y
z
#s(literal 1/2 binary64)
(*.f64 %5 #s(literal 2 binary64))
(*.f64 %9 #s(literal -2 binary64))
(*.f64 %11 %14)
(*.f64 %19 #s(literal 2 binary64))
(*.f64 %21 #s(literal 1/4 binary64))
(*.f64 %24 #s(literal 1/2 binary64))
(*.f64 %26 #s(literal 2 binary64))
(*.f64 %28 #s(literal 4 binary64))
(*.f64 %30 %31)
(*.f64 %33 %35)
(*.f64 %37 %38)
(*.f64 %40 %41)
(*.f64 %43 %44)
(*.f64 %12 %46)
(*.f64 #s(literal 4 binary64) %28)
(*.f64 %50 %51)
(*.f64 %53 #s(literal -1/2 binary64))
(*.f64 %17 #s(literal 1/2 binary64))
(*.f64 %16 %38)
(*.f64 #s(literal -1 binary64) %57)
(*.f64 %59 %60)
(*.f64 #s(literal -2 binary64) %9)
(*.f64 %60 %63)
(*.f64 %60 %59)
(*.f64 #s(literal 1 binary64) %4)
(*.f64 %4 #s(literal 1 binary64))
(*.f64 %38 %16)
(*.f64 #s(literal 2 binary64) %69)
(*.f64 #s(literal 2 binary64) %71)
(*.f64 #s(literal 2 binary64) %26)
(*.f64 #s(literal 1/2 binary64) %24)
(*.f64 #s(literal 1/2 binary64) %17)
%4
(*.f64 x y)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 (neg.f64 %19) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %21) #s(literal -4 binary64))
(/.f64 %19 #s(literal 1/2 binary64))
(/.f64 %21 #s(literal 4 binary64))
(/.f64 %85 #s(literal -1 binary64))
(/.f64 %53 #s(literal -2 binary64))
(/.f64 %17 #s(literal 2 binary64))
(/.f64 %89 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %53))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %17))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(/.f64 %4 #s(literal 1 binary64))
(neg.f64 %85)
(neg.f64 %89)
(fma.f64 %5 #s(literal 2 binary64) %101)
(fma.f64 %5 #s(literal 2 binary64) %103)
(fma.f64 %9 #s(literal -2 binary64) %101)
(fma.f64 %9 #s(literal -2 binary64) %103)
(fma.f64 %11 %14 %101)
(fma.f64 %11 %14 %103)
(fma.f64 %19 #s(literal 2 binary64) %101)
(fma.f64 %19 #s(literal 2 binary64) %103)
(fma.f64 %21 #s(literal 1/4 binary64) %101)
(fma.f64 %21 #s(literal 1/4 binary64) %103)
(fma.f64 %24 #s(literal 1/2 binary64) %101)
(fma.f64 %24 #s(literal 1/2 binary64) %103)
(fma.f64 %26 #s(literal 2 binary64) %101)
(fma.f64 %26 #s(literal 2 binary64) %103)
(fma.f64 %28 #s(literal 4 binary64) %101)
(fma.f64 %28 #s(literal 4 binary64) %103)
(fma.f64 %30 %31 %101)
(fma.f64 %30 %31 %103)
(fma.f64 %33 %35 %101)
(fma.f64 %33 %35 %103)
(fma.f64 %37 %38 %101)
(fma.f64 %37 %38 %103)
(fma.f64 %40 %41 %101)
(fma.f64 %40 %41 %103)
(fma.f64 %43 %44 %101)
(fma.f64 %43 %44 %103)
(fma.f64 %12 %46 %101)
(fma.f64 %12 %46 %103)
(fma.f64 #s(literal 4 binary64) %28 %101)
(fma.f64 #s(literal 4 binary64) %28 %103)
(fma.f64 %50 %51 %101)
(fma.f64 %50 %51 %103)
(fma.f64 %53 #s(literal -1/2 binary64) %101)
(fma.f64 %53 #s(literal -1/2 binary64) %103)
(fma.f64 %17 #s(literal 1/2 binary64) %101)
(fma.f64 %17 #s(literal 1/2 binary64) %103)
(fma.f64 %16 %38 %101)
(fma.f64 %16 %38 %103)
(fma.f64 #s(literal -1 binary64) %57 %101)
(fma.f64 #s(literal -1 binary64) %57 %103)
(fma.f64 %59 %60 %101)
(fma.f64 %59 %60 %103)
(fma.f64 #s(literal -2 binary64) %9 %101)
(fma.f64 #s(literal -2 binary64) %9 %103)
(fma.f64 %60 %63 %101)
(fma.f64 %60 %63 %103)
(fma.f64 %60 %59 %101)
(fma.f64 %60 %59 %103)
(fma.f64 #s(literal 1 binary64) %4 %101)
(fma.f64 #s(literal 1 binary64) %4 %103)
(fma.f64 %4 #s(literal 1 binary64) %101)
(fma.f64 %4 #s(literal 1 binary64) %103)
(fma.f64 %4 #s(literal 1/2 binary64) %5)
(fma.f64 %38 %16 %101)
(fma.f64 %38 %16 %103)
(fma.f64 #s(literal 2 binary64) %69 %101)
(fma.f64 #s(literal 2 binary64) %69 %103)
(fma.f64 #s(literal 2 binary64) %71 %101)
(fma.f64 #s(literal 2 binary64) %71 %103)
(fma.f64 #s(literal 2 binary64) %26 %101)
(fma.f64 #s(literal 2 binary64) %26 %103)
(fma.f64 #s(literal 1/2 binary64) %24 %101)
(fma.f64 #s(literal 1/2 binary64) %24 %103)
(fma.f64 #s(literal 1/2 binary64) %17 %101)
(fma.f64 #s(literal 1/2 binary64) %17 %103)
(fma.f64 #s(literal 1/2 binary64) %4 %71)
(fma.f64 y x %101)
(fma.f64 y x %103)
(fma.f64 x y %101)
(fma.f64 x y %103)
(+.f64 %5 %5)
(+.f64 %71 %71)
(+.f64 %26 %26)
(+.f64 %4 %101)
(+.f64 %4 %103)
(*.f64 (*.f64 %178 #s(literal 2 binary64)) #s(literal 1/4 binary64))
(*.f64 %181 #s(literal -1/2 binary64))
(*.f64 %184 #s(literal -2 binary64))
(*.f64 %186 #s(literal 2 binary64))
(*.f64 %189 #s(literal 1/4 binary64))
(*.f64 %188 #s(literal -1/2 binary64))
(*.f64 %178 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %193)
(*.f64 %193 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %178)
(pow.f64 %193 #s(literal 1 binary64))
(/.f64 (-.f64 %44 #s(literal -1/4 binary64)) #s(literal 1/2 binary64))
(/.f64 (-.f64 %41 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %181) #s(literal 2 binary64))
(/.f64 (neg.f64 %205) #s(literal -2 binary64))
(/.f64 (neg.f64 %186) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %210) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %189) #s(literal -4 binary64))
(/.f64 (neg.f64 %215) #s(literal 4 binary64))
(/.f64 (neg.f64 %218) #s(literal -4 binary64))
(/.f64 %181 #s(literal -2 binary64))
(/.f64 %205 #s(literal 2 binary64))
(/.f64 %186 #s(literal 1/2 binary64))
(/.f64 %210 #s(literal 1/2 binary64))
(/.f64 %189 #s(literal 4 binary64))
(/.f64 %215 #s(literal -4 binary64))
(/.f64 %218 #s(literal 4 binary64))
(/.f64 %188 #s(literal -2 binary64))
(/.f64 %178 #s(literal 2 binary64))
(/.f64 %183 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %188))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %193))
(/.f64 #s(literal 1 binary64) (pow.f64 %193 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %178))
(/.f64 %193 #s(literal 1 binary64))
(neg.f64 %183)
(-.f64 #s(literal 1/2 binary64) (/.f64 y #s(literal -1 binary64)))
(-.f64 #s(literal 1/2 binary64) %59)
(-.f64 y #s(literal -1/2 binary64))
%193
(+.f64 y #s(literal 1/2 binary64))
(*.f64 (*.f64 %246 #s(literal 2 binary64)) #s(literal -1/4 binary64))
(*.f64 (*.f64 %249 #s(literal 2 binary64)) #s(literal 1/4 binary64))
(*.f64 (*.f64 %193 %12) #s(literal 1/2 binary64))
(*.f64 (*.f64 %193 #s(literal 2 binary64)) %38)
(*.f64 %256 #s(literal 1/2 binary64))
(*.f64 %258 #s(literal -1/2 binary64))
(*.f64 %260 #s(literal -1/2 binary64))
(*.f64 (/.f64 %262 #s(literal 2 binary64)) #s(literal -2 binary64))
(*.f64 %265 #s(literal 2 binary64))
(*.f64 (/.f64 %249 #s(literal -1/2 binary64)) #s(literal -1/4 binary64))
(*.f64 %269 #s(literal 1/4 binary64))
(*.f64 %271 %50)
(*.f64 %184 %273)
(*.f64 %205 %38)
(*.f64 %186 %43)
(*.f64 %210 %43)
(*.f64 %189 %40)
(*.f64 %273 %184)
(*.f64 %40 %189)
(*.f64 %43 %186)
(*.f64 %43 %210)
(*.f64 %12 (*.f64 #s(literal 1/2 binary64) %193))
(*.f64 %50 %271)
(*.f64 %262 #s(literal -1 binary64))
(*.f64 %246 #s(literal -1/2 binary64))
(*.f64 %249 #s(literal 1/2 binary64))
(*.f64 %178 %38)
(*.f64 %183 %60)
(*.f64 %60 %183)
(*.f64 #s(literal 1 binary64) %292)
(*.f64 #s(literal -1/2 binary64) %246)
(*.f64 %292 #s(literal 1 binary64))
(*.f64 %38 %205)
(*.f64 %38 %178)
(*.f64 #s(literal 2 binary64) (*.f64 %38 %193))
%292
(*.f64 #s(literal 1/2 binary64) %249)
(*.f64 x %193)
(pow.f64 %292 #s(literal 1 binary64))
(/.f64 (-.f64 %17 (/.f64 %50 #s(literal 1/2 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 %19 %306) #s(literal 1/2 binary64))
(/.f64 (-.f64 %19 (/.f64 x #s(literal -4 binary64))) #s(literal 1/2 binary64))
(/.f64 (-.f64 %21 %273) #s(literal 4 binary64))
(/.f64 (neg.f64 %256) #s(literal -2 binary64))
(/.f64 (neg.f64 %258) #s(literal 2 binary64))
(/.f64 (neg.f64 %260) #s(literal 2 binary64))
(/.f64 (neg.f64 %320) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %323) #s(literal -2 binary64))
(/.f64 (neg.f64 %265) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %329) #s(literal -4 binary64))
(/.f64 (neg.f64 %334) #s(literal 2 binary64))
(/.f64 (neg.f64 %337) #s(literal 4 binary64))
(/.f64 (neg.f64 %341) #s(literal 4 binary64))
(/.f64 (neg.f64 %344) #s(literal -4 binary64))
(/.f64 (neg.f64 %269) #s(literal -4 binary64))
(/.f64 (neg.f64 %350) #s(literal -4 binary64))
(/.f64 (neg.f64 %354) #s(literal 4 binary64))
(/.f64 (neg.f64 %357) #s(literal -2 binary64))
(/.f64 (neg.f64 %360) #s(literal 2 binary64))
(/.f64 (neg.f64 %363) #s(literal -2 binary64))
(/.f64 %256 #s(literal 2 binary64))
(/.f64 %258 #s(literal -2 binary64))
(/.f64 %260 #s(literal -2 binary64))
(/.f64 %357 #s(literal 2 binary64))
(/.f64 %360 #s(literal -2 binary64))
(/.f64 %363 #s(literal 2 binary64))
(/.f64 %320 #s(literal 1/2 binary64))
(/.f64 %323 #s(literal 2 binary64))
(/.f64 %265 #s(literal 1/2 binary64))
(/.f64 %329 #s(literal 4 binary64))
(/.f64 %334 #s(literal -2 binary64))
(/.f64 %337 #s(literal -4 binary64))
(/.f64 %341 #s(literal -4 binary64))
(/.f64 %344 #s(literal 4 binary64))
(/.f64 %269 #s(literal 4 binary64))
(/.f64 %350 #s(literal 4 binary64))
(/.f64 %354 #s(literal -4 binary64))
(/.f64 %262 #s(literal -1 binary64))
(/.f64 %246 #s(literal -2 binary64))
(/.f64 %249 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %292))
(/.f64 #s(literal 1 binary64) (pow.f64 %292 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %246))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %249))
(/.f64 %292 #s(literal 1 binary64))
(neg.f64 %262)
(fma.f64 %306 #s(literal -2 binary64) %4)
(fma.f64 %397 #s(literal 2 binary64) %4)
(fma.f64 %5 #s(literal 2 binary64) %38)
(fma.f64 %9 #s(literal -2 binary64) %38)
(fma.f64 %11 %14 %38)
(fma.f64 %19 #s(literal 2 binary64) %38)
(fma.f64 %21 #s(literal 1/4 binary64) %38)
(fma.f64 %24 #s(literal 1/2 binary64) %38)
(fma.f64 %26 #s(literal 2 binary64) %38)
(fma.f64 %28 #s(literal 4 binary64) %38)
(fma.f64 %30 %31 %38)
(fma.f64 %33 %35 %38)
(fma.f64 %37 %38 %38)
(fma.f64 %273 #s(literal -1/4 binary64) %4)
(fma.f64 %35 #s(literal 1/4 binary64) %4)
(fma.f64 %31 #s(literal 1/8 binary64) %4)
(fma.f64 %414 #s(literal 2 binary64) %4)
(fma.f64 %40 %41 %38)
(fma.f64 %40 #s(literal 2 binary64) %4)
(fma.f64 %43 %44 %38)
(fma.f64 %43 #s(literal 1/4 binary64) %4)
(fma.f64 %340 #s(literal -1/4 binary64) %4)
(fma.f64 %12 %46 %38)
(fma.f64 %12 #s(literal 1/4 binary64) %4)
(fma.f64 #s(literal 1/4 binary64) %43 %4)
(fma.f64 #s(literal -1/4 binary64) %273 %4)
(fma.f64 #s(literal 4 binary64) %28 %38)
(fma.f64 #s(literal 4 binary64) (/.f64 %50 #s(literal -4 binary64)) %4)
(fma.f64 %50 %51 %38)
(fma.f64 %50 #s(literal -1 binary64) %4)
(fma.f64 %53 #s(literal -1/2 binary64) %38)
(fma.f64 %17 #s(literal 1/2 binary64) %38)
(fma.f64 %16 %38 %38)
(fma.f64 #s(literal -1 binary64) %57 %38)
(fma.f64 #s(literal -1 binary64) %50 %4)
(fma.f64 %59 %60 %38)
(fma.f64 #s(literal -2 binary64) %9 %38)
(fma.f64 %60 %63 %38)
(fma.f64 %60 %59 %38)
(fma.f64 %60 #s(literal -1/2 binary64) %4)
(fma.f64 #s(literal 1 binary64) %4 %38)
(fma.f64 #s(literal 1 binary64) %38 %4)
(fma.f64 #s(literal -1/2 binary64) %60 %4)
(fma.f64 %4 #s(literal 1 binary64) %38)
(fma.f64 %38 %16 %38)
(fma.f64 %38 #s(literal 1 binary64) %4)
(fma.f64 #s(literal 2 binary64) %69 %38)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/4 binary64) %60) %4)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) x) %4)
(fma.f64 #s(literal 2 binary64) %397 %4)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %38) %4)
(fma.f64 #s(literal 2 binary64) %71 %38)
(fma.f64 #s(literal 2 binary64) %26 %38)
(fma.f64 #s(literal 2 binary64) %414 %4)
(fma.f64 #s(literal 2 binary64) %40 %4)
(fma.f64 #s(literal 1/2 binary64) %24 %38)
(fma.f64 #s(literal 1/2 binary64) %17 %38)
(fma.f64 #s(literal 1/2 binary64) x %4)
(fma.f64 y x %38)
(fma.f64 x #s(literal 1/2 binary64) %4)
(fma.f64 x y %38)
(-.f64 %4 %50)
(-.f64 %38 %57)
(-.f64 %38 %89)
(+.f64 %4 %38)
(+.f64 %38 %4)
(*.f64 #s(literal 1 binary64) %473)
(pow.f64 %473 #s(literal 1 binary64))
%473
(/.f64 #s(literal 1 binary64) (pow.f64 %473 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %478)
(pow.f64 %478 #s(literal 1 binary64))
%478
(/.f64 #s(literal 1 binary64) (pow.f64 %478 #s(literal -1 binary64)))
(neg.f64 %483)
(*.f64 #s(literal 1 binary64) %485)
(pow.f64 %485 #s(literal 1 binary64))
%485
(/.f64 #s(literal 1 binary64) (pow.f64 %485 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %490)
(pow.f64 %490 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %490 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %490))
(fma.f64 (*.f64 %478 %12) #s(literal 1/2 binary64) z)
(fma.f64 (*.f64 %478 #s(literal 1 binary64)) x z)
(fma.f64 (*.f64 %478 #s(literal 2 binary64)) %38 z)
(fma.f64 %12 (*.f64 #s(literal 1/2 binary64) %478) z)
(fma.f64 %483 %60 z)
(fma.f64 %60 %483 z)
(fma.f64 #s(literal 1 binary64) %507 z)
(fma.f64 %507 #s(literal 1 binary64) z)
%490
(fma.f64 #s(literal 2 binary64) (*.f64 %38 %478) z)
(fma.f64 x %478 z)
(-.f64 %507 (neg.f64 z))
(-.f64 z (*.f64 %483 x))
(+.f64 %507 z)
(+.f64 z %507)
reconstruct33.0ms (2.3%)
Counts
379 → 43
Compiler
Compiled 379 to 570 computations (-50.4% saved)
eval4.0ms (0.3%)
Compiler
Compiled 43 to 99 computations (-130.2% saved)
prune2.0ms (0.1%)
Pruning
6 alts after pruning (1 fresh and 5 done)
PrunedKeptTotal
New42143
Fresh000
Picked033
Done022
Total42648
Accuracy
100.0%
Counts
48 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 x (-.f64 y #s(literal -1/2 binary64)) z)
✓62.7%
(fma.f64 x (approx (- y -1/2) #s(literal 1/2 binary64)) z)
✓64.3%
(approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x (+.f64 #s(literal 1/2 binary64) y)))
▶27.6%
(approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x (approx (+ 1/2 y) #s(literal 1/2 binary64))))
✓38.6%
(approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x y))
✓37.7%
(approx (+ (+ (/ x 2) (* y x)) z) z)
Compiler
Compiled 6 to 12 computations (-100.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series8.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
090331
Stop Event
1×iter-limit
Counts
5 → 23
Calls
Call 1
Inputs
%5 = (approx (+ 1/2 y) #s(literal 1/2 binary64))
%6 = (*.f64 x %5)
x
#s(literal 1/2 binary64)
%5
%6
(approx (+ (+ (/ x 2) (* y x)) z) %6)
Outputs
%6 = (+ 1/2 y)
%7 = (* x %6)
%9 = (+.f64 #s(literal 1/2 binary64) y)
%10 = (*.f64 x %9)
%17 = (+ (+ (/ x 2) (* y x)) z)
%21 = (/.f64 z x)
%40 = (*.f64 #s(literal 1/2 binary64) x)
%42 = (*.f64 x y)
%43 = (fma.f64 #s(literal 1/2 binary64) x %42)
%45 = (+.f64 z %40)
%57 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %10)
(approx %17 z)
(approx %17 (+.f64 z %10))
(approx %17 (*.f64 x (+.f64 #s(literal 1/2 binary64) (+.f64 y %21))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1/2 binary64)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %21)) #s(literal 1/2 binary64)))))
(approx %6 #s(literal 1/2 binary64))
(approx %6 %9)
(approx %7 %40)
(approx %7 %43)
(approx %17 %45)
(approx %17 (+.f64 z %43))
(approx %6 y)
(approx %6 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) y)))))
(approx %7 %42)
(approx %7 (*.f64 y (+.f64 x (*.f64 #s(literal 1/2 binary64) %57))))
(approx %17 (*.f64 y (+.f64 x (fma.f64 #s(literal 1/2 binary64) %57 (/.f64 z y)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1/2 binary64) %57)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) (/.f64 %45 y))))))
(approx %17 (*.f64 z (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 1/2 binary64) (/.f64 x z) (/.f64 %42 z)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %43 z)) #s(literal 1 binary64)))))
Calls
9 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
y
inf
1.0ms
x
-inf
0.0ms
y
0
0.0ms
x
0
rewrite79.0ms (5.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01331
01431
15329
214929
348629
4230829
0409729
0435628
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 21
Calls
Call 1
Inputs
%5 = (approx (+ 1/2 y) #s(literal 1/2 binary64))
%6 = (*.f64 x %5)
x
#s(literal 1/2 binary64)
%5
%6
(approx (+ (+ (/ x 2) (* y x)) z) %6)
Outputs
%5 = (+ y 1/2)
%6 = (approx %5 #s(literal 1/2 binary64))
%12 = (+.f64 x x)
%19 = (*.f64 %6 x)
%26 = (neg.f64 x)
%34 = (approx (+ z (* %5 x)) %19)
x
#s(literal 1/2 binary64)
(*.f64 #s(literal 1 binary64) %6)
(pow.f64 %6 #s(literal 1 binary64))
%6
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
(*.f64 (*.f64 %6 %12) #s(literal 1/2 binary64))
(*.f64 (*.f64 %6 #s(literal 1 binary64)) x)
(*.f64 %12 (*.f64 #s(literal 1/2 binary64) %6))
(*.f64 #s(literal 1 binary64) %19)
(*.f64 %19 #s(literal 1 binary64))
%19
(*.f64 x %6)
(pow.f64 %19 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %19 #s(literal -1 binary64)))
(neg.f64 (*.f64 %26 %6))
(neg.f64 (*.f64 %6 %26))
(*.f64 #s(literal 1 binary64) %34)
(pow.f64 %34 #s(literal 1 binary64))
%34
(/.f64 #s(literal 1 binary64) (pow.f64 %34 #s(literal -1 binary64)))
reconstruct3.0ms (0.2%)
Counts
44 → 24
Compiler
Compiled 44 to 87 computations (-97.7% saved)
eval2.0ms (0.2%)
Compiler
Compiled 22 to 59 computations (-168.2% saved)
prune2.0ms (0.1%)
Pruning
6 alts after pruning (0 fresh and 6 done)
PrunedKeptTotal
New22022
Fresh000
Picked011
Done055
Total22628
Accuracy
100.0%
Counts
28 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 x (-.f64 y #s(literal -1/2 binary64)) z)
✓62.7%
(fma.f64 x (approx (- y -1/2) #s(literal 1/2 binary64)) z)
✓64.3%
(approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x (+.f64 #s(literal 1/2 binary64) y)))
✓27.6%
(approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x (approx (+ 1/2 y) #s(literal 1/2 binary64))))
✓38.6%
(approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x y))
✓37.7%
(approx (+ (+ (/ x 2) (* y x)) z) z)
Compiler
Compiled 6 to 12 computations (-100.0% saved)
regimes25.0ms (1.7%)
Accuracy
Total 40.1b remaining (39.7%)
Threshold costs 0.0b (0.0%)
16.9b55.0%
8.2b63.4%
7.7b65.5%
7.3b67.2%
0.0b0%
Counts
1 → 1
2 → 3
3 → 6
4 → 3
5 → 3
7 → 1
Calls
Call 1
Inputs
(approx (+ (+ (/ x 2) (* y x)) z) z)
Outputs
(approx (+ (+ (/ x 2) (* y x)) z) z)
Call 2
Inputs
%7 = (+ (+ (/ x 2) (* y x)) z)
(approx %7 z)
(approx %7 (*.f64 x y))
Outputs
%7 = (+ (+ (/ x 2) (* y x)) z)
%9 = (approx %7 (*.f64 x y))
%9
(approx %7 z)
%9
Call 3
Inputs
%7 = (+ (+ (/ x 2) (* y x)) z)
(approx %7 z)
(approx %7 (*.f64 x y))
(approx %7 (*.f64 x (approx (+ 1/2 y) #s(literal 1/2 binary64))))
Outputs
%7 = (+ (+ (/ x 2) (* y x)) z)
%9 = (approx %7 (*.f64 x y))
%10 = (approx %7 z)
%16 = (approx %7 (*.f64 x (approx (+ 1/2 y) #s(literal 1/2 binary64))))
%9
%10
%16
%10
%16
%9
Call 4
Inputs
%7 = (+ (+ (/ x 2) (* y x)) z)
(approx %7 z)
(approx %7 (*.f64 x y))
(approx %7 (*.f64 x (approx (+ 1/2 y) #s(literal 1/2 binary64))))
(fma.f64 x (approx (- y -1/2) #s(literal 1/2 binary64)) z)
Outputs
%9 = (approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x y))
%9
(fma.f64 x (approx (- y -1/2) #s(literal 1/2 binary64)) z)
%9
Call 5
Inputs
%7 = (+ (+ (/ x 2) (* y x)) z)
(approx %7 z)
(approx %7 (*.f64 x y))
(approx %7 (*.f64 x (approx (+ 1/2 y) #s(literal 1/2 binary64))))
(fma.f64 x (approx (- y -1/2) #s(literal 1/2 binary64)) z)
(approx %7 (*.f64 x (+.f64 #s(literal 1/2 binary64) y)))
Outputs
%11 = (approx (+ (+ (/ x 2) (* y x)) z) (*.f64 x (+.f64 #s(literal 1/2 binary64) y)))
%11
(fma.f64 x (approx (- y -1/2) #s(literal 1/2 binary64)) z)
%11
Call 6
Inputs
%7 = (+ (+ (/ x 2) (* y x)) z)
(approx %7 z)
(approx %7 (*.f64 x y))
(approx %7 (*.f64 x (approx (+ 1/2 y) #s(literal 1/2 binary64))))
(fma.f64 x (approx (- y -1/2) #s(literal 1/2 binary64)) z)
(approx %7 (*.f64 x (+.f64 #s(literal 1/2 binary64) y)))
(approx %7 (+.f64 z (*.f64 #s(literal 1/2 binary64) x)))
(fma.f64 x (-.f64 y #s(literal -1/2 binary64)) z)
Outputs
(fma.f64 x (-.f64 y #s(literal -1/2 binary64)) z)
Calls
5 calls:
5.0ms
z
5.0ms
y
5.0ms
x
5.0ms
(+.f64 (/.f64 x #s(literal 2 binary64)) (*.f64 y x))
4.0ms
(+.f64 (+.f64 (/.f64 x #s(literal 2 binary64)) (*.f64 y x)) z)
Results
AccuracySegmentsBranch
37.7%1
z
37.7%1
y
37.7%1
x
37.7%1
(+.f64 (+.f64 (/.f64 x #s(literal 2 binary64)) (*.f64 y x)) z)
37.7%1
(+.f64 (/.f64 x #s(literal 2 binary64)) (*.f64 y x))
Compiler
Compiled 13 to 27 computations (-107.7% saved)
bsearch0.0ms (0.0%)
bsearch1.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1.7255279035218793e+23
4.089674017035684e+25
0.0ms
-4.883359932523321e+119
-1.0099189373099834e+112
Compiler
Compiled 1 to 6 computations (-500.0% saved)
bsearch17.0ms (1.2%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
6.0ms
2.478711901916471e+24
1.4617452596413079e+29
8.0ms
-3.5300867311555345e+109
-1.662030786330093e+99
Samples
6.0ms288×0valid
Compiler
Compiled 16 to 24 computations (-50.0% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch23.0ms (1.6%)
Algorithm
5×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
5.0ms
7.570708958127438e-5
0.0037464000066246743
9.0ms
7.258619132602248e-169
1.2564824626374914e-156
4.0ms
-2.0371889702046085e-252
-8.587998524449204e-253
4.0ms
-3.1789006437251225e-121
-2.1631561410946913e-122
0.0ms
-3.5300867311555345e+109
-1.662030786330093e+99
Samples
9.0ms448×0valid
Compiler
Compiled 22 to 33 computations (-50.0% saved)
Precisions
Click to see histograms. Total time spent on operations: 1.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 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
2.478711901916471e+24
1.4617452596413079e+29
0.0ms
-3.5300867311555345e+109
-1.662030786330093e+99
Compiler
Compiled 16 to 20 computations (-25.0% saved)
bsearch0.0ms (0.0%)
derivations30.0ms (2.1%)
Stop Event
1×done
Compiler
Compiled 6 to 43 computations (-616.7% saved)
preprocess27.0ms (1.9%)
Compiler
Compiled 7 to 51 computations (-628.6% saved)
end0.0ms (0.0%)
gc268ms (18.7%)
Allocations
AllocatedPercentPhase
443.9 MiB33.3%rewrite
364.4 MiB27.3%sample
191.8 MiB14.4%reconstruct
101.7 MiB7.6%preprocess
95.3 MiB7.2%series
42.8 MiB3.2%bsearch
36.6 MiB2.7%regimes
23.9 MiB1.8%derivations
20.1 MiB1.5%eval
12.0 MiB0.9%prune
0.7 MiB0.1%analyze
0.1 MiB0.0%start
0.0 MiB0.0%end
1 333.3 MiB100.0%total
Profiling
Loading profile data...