Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, J

Time bar (total: 1.6s)

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 9 computations (18.2% saved)

sample382.0ms (23.5%)

Samples
260.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 12.0ms
Mul: 6.0ms (52.0% of total, 0.0 MiB)
Sub: 5.0ms (43.3% of total, 0.0 MiB)
Bogosity

preprocess25.0ms (1.5%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03395
115190
244190
3159590
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶95.5%
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) y) z)))
Symmetry

(negabs x)

Compiler

Compiled 2 to 16 computations (-700.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series15.0ms (0.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0113501
Stop Event
1×iter-limit
Counts
8 → 35
Calls
Call 1
Inputs
%3 = (-.f64 #s(literal 1 binary64) y)
%5 = (*.f64 %3 z)
%6 = (-.f64 #s(literal 1 binary64) %5)
x
#s(literal 1 binary64)
y
%3
z
%5
%6
(*.f64 x %6)
Outputs
%6 = (- 1 y)
%8 = (* %6 z)
%9 = (- 1 %8)
%10 = (* x %9)
%12 = (-.f64 #s(literal 1 binary64) y)
%13 = (*.f64 z %12)
%20 = (*.f64 #s(literal -1 binary64) y)
%24 = (*.f64 y z)
%25 = (*.f64 #s(literal -1 binary64) %24)
%28 = (-.f64 #s(literal 1 binary64) z)
%33 = (*.f64 x %28)
%38 = (/.f64 #s(literal 1 binary64) y)
%43 = (/.f64 z y)
%44 = (fma.f64 #s(literal -1 binary64) z %43)
%53 = (/.f64 %33 y)
%79 = (-.f64 y #s(literal 1 binary64))
%80 = (*.f64 z %79)
%83 = (*.f64 x %80)
%87 = (/.f64 #s(literal 1 binary64) z)
%93 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %10 (*.f64 x (-.f64 #s(literal 1 binary64) %13)))
(approx y y)
(approx %6 #s(literal 1 binary64))
(approx %6 (+.f64 #s(literal 1 binary64) %20))
(approx %8 z)
(approx %8 (+.f64 z %25))
(approx %9 %28)
(approx %9 (-.f64 (+.f64 #s(literal 1 binary64) %24) z))
(approx %10 %33)
(approx %10 (fma.f64 x %24 %33))
(approx %6 %20)
(approx %6 (*.f64 y (-.f64 %38 #s(literal 1 binary64))))
(approx %8 %25)
(approx %8 (*.f64 y %44))
(approx %9 %24)
(approx %9 (*.f64 y (-.f64 %38 %44)))
(approx %10 (*.f64 x %24))
(approx %10 (*.f64 y (fma.f64 x z %53)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %38))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 z (*.f64 #s(literal -1 binary64) %43)))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %28 y)) z))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) (*.f64 x z) (*.f64 #s(literal -1 binary64) %53)))))
(approx %8 %13)
(approx %9 (+.f64 #s(literal 1 binary64) %80))
(approx %10 (+.f64 x %83))
(approx %9 %80)
(approx %9 (*.f64 z (-.f64 (+.f64 y %87) #s(literal 1 binary64))))
(approx %10 %83)
(approx %10 (*.f64 z (fma.f64 x %79 %93)))
(approx %9 (*.f64 #s(literal -1 binary64) %13))
(approx %9 (*.f64 z (fma.f64 #s(literal -1 binary64) %12 %87)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x %13)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %93 (*.f64 x %12)))))
Calls
9 calls:
TimeVariablePoint
2.0ms
z
inf
1.0ms
x
inf
1.0ms
y
-inf
1.0ms
y
inf
1.0ms
z
-inf
rewrite119.0ms (7.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0828
01228
13928
210428
337328
4306228
0416828
0433426
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 625
Calls
Call 1
Inputs
%3 = (-.f64 #s(literal 1 binary64) y)
%5 = (*.f64 %3 z)
%6 = (-.f64 #s(literal 1 binary64) %5)
x
#s(literal 1 binary64)
y
%3
z
%5
%6
(*.f64 x %6)
Outputs
%4 = (-.f64 #s(literal 1 binary64) y)
%5 = (*.f64 #s(literal 2 binary64) %4)
%7 = (/.f64 %5 #s(literal 8 binary64))
%10 = (/.f64 %5 #s(literal 4 binary64))
%20 = (-.f64 #s(literal 1/2 binary64) y)
%23 = (neg.f64 y)
%35 = (fma.f64 #s(literal 2 binary64) y #s(literal -2 binary64))
%48 = (-.f64 y #s(literal 1 binary64))
%75 = (+.f64 y y)
%76 = (neg.f64 %75)
%88 = (*.f64 %4 #s(literal 1/2 binary64))
%89 = (+.f64 z z)
%91 = (*.f64 %4 #s(literal 1 binary64))
%93 = (*.f64 #s(literal 1/2 binary64) z)
%94 = (*.f64 %4 %93)
%96 = (*.f64 #s(literal 1/2 binary64) %4)
%100 = (*.f64 %4 %89)
%102 = (neg.f64 z)
%104 = (*.f64 %89 %4)
%106 = (*.f64 %93 %4)
%109 = (*.f64 z %4)
%121 = (*.f64 %102 y)
%131 = (*.f64 %48 z)
%133 = (*.f64 %4 #s(literal 0 binary64))
%135 = (*.f64 #s(literal 0 binary64) %4)
%141 = (*.f64 %23 %89)
%142 = (*.f64 #s(literal -1 binary64) %102)
%144 = (*.f64 %102 #s(literal -1 binary64))
%150 = (*.f64 %23 %93)
%154 = (*.f64 %23 #s(literal 1/2 binary64))
%158 = (*.f64 #s(literal 1/2 binary64) %93)
%159 = (fma.f64 #s(literal 1/2 binary64) z %121)
%161 = (*.f64 z y)
%162 = (-.f64 %93 %161)
%164 = (*.f64 z %20)
%166 = (*.f64 %20 z)
%168 = (*.f64 %23 #s(literal 1 binary64))
%181 = (*.f64 #s(literal 1/2 binary64) %23)
%223 = (*.f64 %89 %23)
%234 = (*.f64 %93 %23)
%238 = (*.f64 %93 #s(literal 1/2 binary64))
%305 = (fma.f64 %48 %89 #s(literal 2 binary64))
%306 = (/.f64 %305 #s(literal 8 binary64))
%308 = (/.f64 %305 #s(literal 4 binary64))
%311 = (fma.f64 %48 z #s(literal 1 binary64))
%318 = (fma.f64 %48 z #s(literal 1/2 binary64))
%330 = (fma.f64 %4 %89 #s(literal -2 binary64))
%340 = (fma.f64 z %4 #s(literal -1 binary64))
%346 = (*.f64 %102 #s(literal 2 binary64))
%347 = (-.f64 %161 #s(literal -1 binary64))
%349 = (fma.f64 z y #s(literal 1 binary64))
%351 = (fma.f64 %102 y #s(literal -1 binary64))
%352 = (neg.f64 %351)
%354 = (*.f64 y %89)
%355 = (+.f64 %102 #s(literal 1 binary64))
%357 = (-.f64 %102 #s(literal -1 binary64))
%359 = (*.f64 #s(literal -1 binary64) %89)
%367 = (*.f64 z #s(literal -1/2 binary64))
%371 = (*.f64 y %93)
%374 = (*.f64 #s(literal -1 binary64) %93)
%378 = (*.f64 y #s(literal 1/2 binary64))
%381 = (*.f64 z #s(literal -2 binary64))
%385 = (*.f64 %102 #s(literal 1/2 binary64))
%389 = (neg.f64 %93)
%395 = (*.f64 y #s(literal 1 binary64))
%398 = (neg.f64 %89)
%404 = (*.f64 #s(literal 1/2 binary64) y)
%422 = (*.f64 %48 %89)
%440 = (*.f64 #s(literal 2 binary64) %102)
%444 = (*.f64 %89 y)
%447 = (*.f64 %89 #s(literal -1 binary64))
%451 = (*.f64 #s(literal -2 binary64) z)
%460 = (*.f64 #s(literal 1/2 binary64) %102)
%466 = (*.f64 %93 y)
%469 = (*.f64 %93 #s(literal -1 binary64))
%475 = (*.f64 #s(literal -1/2 binary64) z)
%494 = (-.f64 #s(literal 1 binary64) z)
%544 = (*.f64 %311 #s(literal 1/2 binary64))
%545 = (+.f64 x x)
%547 = (*.f64 %311 #s(literal 1 binary64))
%549 = (*.f64 %311 %545)
%551 = (*.f64 #s(literal 1/2 binary64) x)
%552 = (*.f64 %311 %551)
%554 = (*.f64 #s(literal 1/2 binary64) %311)
%557 = (neg.f64 x)
%560 = (*.f64 %545 %311)
%562 = (*.f64 %551 %311)
%565 = (*.f64 %311 x)
%580 = (*.f64 %131 x)
%591 = (*.f64 %48 x)
%592 = (*.f64 %591 #s(literal 1/2 binary64))
%593 = (*.f64 #s(literal -1 binary64) %557)
%595 = (*.f64 %557 #s(literal -1 binary64))
%598 = (*.f64 %591 #s(literal 2 binary64))
%602 = (*.f64 %311 #s(literal 0 binary64))
%604 = (*.f64 #s(literal 0 binary64) %311)
%610 = (*.f64 %591 %89)
%614 = (*.f64 %131 %545)
%621 = (*.f64 %131 #s(literal 1/2 binary64))
%625 = (*.f64 %591 %93)
%629 = (*.f64 %131 %551)
%636 = (*.f64 #s(literal 1/2 binary64) %551)
%637 = (fma.f64 #s(literal 1/2 binary64) x %580)
%639 = (*.f64 %109 x)
%640 = (-.f64 %551 %639)
%642 = (*.f64 x %318)
%644 = (*.f64 %318 x)
%651 = (*.f64 %102 x)
%658 = (*.f64 z x)
%662 = (*.f64 %4 x)
%666 = (*.f64 #s(literal 1/2 binary64) %591)
%673 = (*.f64 #s(literal 1/2 binary64) %131)
%681 = (*.f64 #s(literal 2 binary64) %591)
%703 = (*.f64 %557 %351)
%718 = (*.f64 %89 %591)
%722 = (*.f64 %545 %131)
%733 = (*.f64 %93 %591)
%737 = (*.f64 %551 %131)
%744 = (*.f64 %551 #s(literal 1/2 binary64))
%771 = (*.f64 %351 %557)
x
#s(literal 1 binary64)
y
(*.f64 %7 #s(literal 4 binary64))
(*.f64 %10 #s(literal 2 binary64))
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 (/.f64 %5 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %5 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %23 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %23 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %23 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %5 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %35) #s(literal 2 binary64))
(/.f64 (neg.f64 %5) #s(literal -2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %35 #s(literal -2 binary64))
(/.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %5))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %48)
(fma.f64 %7 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %10 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %5 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %20 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %23 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %4 #s(literal 0 binary64))
(-.f64 (+.f64 %4 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 %20 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %23))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) y))
(-.f64 #s(literal 1/2 binary64) (-.f64 y #s(literal 1/2 binary64)))
(-.f64 %23 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %48)
(-.f64 %4 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %23))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y))
(-.f64 #s(literal 1 binary64) (-.f64 y #s(literal 0 binary64)))
%4
(+.f64 (/.f64 %76 #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %20 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %20))
(+.f64 #s(literal 1/2 binary64) %20)
(+.f64 %23 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %4)
(+.f64 %4 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %23)
z
(*.f64 %88 %89)
(*.f64 %91 z)
(*.f64 %94 #s(literal 2 binary64))
(*.f64 %89 %96)
(*.f64 %93 %5)
(*.f64 %5 %93)
(*.f64 %100 #s(literal 1/2 binary64))
(*.f64 %102 %48)
(*.f64 #s(literal 1/2 binary64) %104)
(*.f64 #s(literal 2 binary64) %106)
(*.f64 %48 %102)
(*.f64 %109 #s(literal 1 binary64))
%109
(*.f64 %4 z)
(*.f64 #s(literal 1 binary64) %109)
(pow.f64 %109 #s(literal 1 binary64))
(/.f64 (*.f64 %102 %35) #s(literal 2 binary64))
(/.f64 (*.f64 %35 %102) #s(literal 2 binary64))
(/.f64 %104 #s(literal 2 binary64))
(/.f64 (*.f64 %5 z) #s(literal 2 binary64))
(/.f64 (fma.f64 %121 #s(literal 2 binary64) %89) #s(literal 2 binary64))
(/.f64 (*.f64 %89 %5) #s(literal 4 binary64))
(/.f64 (*.f64 %5 %89) #s(literal 4 binary64))
(/.f64 %100 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %109 #s(literal -1 binary64)))
(neg.f64 %131)
(fma.f64 %88 %89 %133)
(fma.f64 %88 %89 %135)
(fma.f64 %88 %89 #s(literal 0 binary64))
(fma.f64 %91 z %133)
(fma.f64 %91 z %135)
(fma.f64 %91 z #s(literal 0 binary64))
(fma.f64 %141 #s(literal 1/2 binary64) %142)
(fma.f64 %141 #s(literal 1/2 binary64) %144)
(fma.f64 %141 #s(literal 1/2 binary64) z)
(fma.f64 %94 #s(literal 2 binary64) %133)
(fma.f64 %94 #s(literal 2 binary64) %135)
(fma.f64 %94 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %150 #s(literal 2 binary64) %142)
(fma.f64 %150 #s(literal 2 binary64) %144)
(fma.f64 %150 #s(literal 2 binary64) z)
(fma.f64 %154 %89 %142)
(fma.f64 %154 %89 %144)
(fma.f64 %154 %89 z)
(fma.f64 %158 #s(literal 2 binary64) %159)
(fma.f64 %158 #s(literal 2 binary64) %162)
(fma.f64 %158 #s(literal 2 binary64) %164)
(fma.f64 %158 #s(literal 2 binary64) %166)
(fma.f64 %168 z %142)
(fma.f64 %168 z %144)
(fma.f64 %168 z z)
(fma.f64 #s(literal 1/4 binary64) %89 %159)
(fma.f64 #s(literal 1/4 binary64) %89 %162)
(fma.f64 #s(literal 1/4 binary64) %89 %164)
(fma.f64 #s(literal 1/4 binary64) %89 %166)
(fma.f64 %20 z %93)
(fma.f64 %89 %96 %133)
(fma.f64 %89 %96 %135)
(fma.f64 %89 %96 #s(literal 0 binary64))
(fma.f64 %89 %181 %142)
(fma.f64 %89 %181 %144)
(fma.f64 %89 %181 z)
(fma.f64 %89 #s(literal 1/4 binary64) %159)
(fma.f64 %89 #s(literal 1/4 binary64) %162)
(fma.f64 %89 #s(literal 1/4 binary64) %164)
(fma.f64 %89 #s(literal 1/4 binary64) %166)
(fma.f64 %93 %5 %133)
(fma.f64 %93 %5 %135)
(fma.f64 %93 %5 #s(literal 0 binary64))
(fma.f64 %93 %76 %142)
(fma.f64 %93 %76 %144)
(fma.f64 %93 %76 z)
(fma.f64 %93 %4 %106)
(fma.f64 %93 #s(literal 1 binary64) %159)
(fma.f64 %93 #s(literal 1 binary64) %162)
(fma.f64 %93 #s(literal 1 binary64) %164)
(fma.f64 %93 #s(literal 1 binary64) %166)
(fma.f64 %5 %93 %133)
(fma.f64 %5 %93 %135)
(fma.f64 %5 %93 #s(literal 0 binary64))
(fma.f64 %76 %93 %142)
(fma.f64 %76 %93 %144)
(fma.f64 %76 %93 z)
(fma.f64 %100 #s(literal 1/2 binary64) %133)
(fma.f64 %100 #s(literal 1/2 binary64) %135)
(fma.f64 %100 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %121 #s(literal 1 binary64) %142)
(fma.f64 %121 #s(literal 1 binary64) %144)
(fma.f64 %121 #s(literal 1 binary64) z)
(fma.f64 %102 #s(literal -1 binary64) %121)
(fma.f64 %102 %48 %133)
(fma.f64 %102 %48 %135)
(fma.f64 %102 %48 #s(literal 0 binary64))
(fma.f64 %102 y %142)
(fma.f64 %102 y %144)
(fma.f64 %102 y z)
(fma.f64 #s(literal -1 binary64) %102 %121)
(fma.f64 #s(literal 1/2 binary64) %104 %133)
(fma.f64 #s(literal 1/2 binary64) %104 %135)
(fma.f64 #s(literal 1/2 binary64) %104 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %223 %142)
(fma.f64 #s(literal 1/2 binary64) %223 %144)
(fma.f64 #s(literal 1/2 binary64) %223 z)
(fma.f64 #s(literal 1/2 binary64) z %159)
(fma.f64 #s(literal 1/2 binary64) z %162)
(fma.f64 #s(literal 1/2 binary64) z %164)
(fma.f64 #s(literal 1/2 binary64) z %166)
(fma.f64 #s(literal 2 binary64) %106 %133)
(fma.f64 #s(literal 2 binary64) %106 %135)
(fma.f64 #s(literal 2 binary64) %106 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %234 %142)
(fma.f64 #s(literal 2 binary64) %234 %144)
(fma.f64 #s(literal 2 binary64) %234 z)
(fma.f64 #s(literal 2 binary64) %238 %159)
(fma.f64 #s(literal 2 binary64) %238 %162)
(fma.f64 #s(literal 2 binary64) %238 %164)
(fma.f64 #s(literal 2 binary64) %238 %166)
(fma.f64 %23 z %142)
(fma.f64 %23 z %144)
(fma.f64 %23 z z)
(fma.f64 %48 %102 %133)
(fma.f64 %48 %102 %135)
(fma.f64 %48 %102 #s(literal 0 binary64))
(fma.f64 %109 #s(literal 1 binary64) %133)
(fma.f64 %109 #s(literal 1 binary64) %135)
(fma.f64 %109 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 z %20 %93)
(fma.f64 z #s(literal 1/2 binary64) %159)
(fma.f64 z #s(literal 1/2 binary64) %162)
(fma.f64 z #s(literal 1/2 binary64) %164)
(fma.f64 z #s(literal 1/2 binary64) %166)
(fma.f64 z %23 %142)
(fma.f64 z %23 %144)
(fma.f64 z %23 z)
(fma.f64 z %4 %133)
(fma.f64 z %4 %135)
(fma.f64 z %4 #s(literal 0 binary64))
(fma.f64 %4 %93 %94)
(fma.f64 %4 z %133)
(fma.f64 %4 z %135)
(fma.f64 %4 z #s(literal 0 binary64))
(fma.f64 y %102 %142)
(fma.f64 y %102 %144)
(fma.f64 y %102 z)
(fma.f64 #s(literal 1 binary64) %93 %159)
(fma.f64 #s(literal 1 binary64) %93 %162)
(fma.f64 #s(literal 1 binary64) %93 %164)
(fma.f64 #s(literal 1 binary64) %93 %166)
(fma.f64 #s(literal 1 binary64) %121 %142)
(fma.f64 #s(literal 1 binary64) %121 %144)
(fma.f64 #s(literal 1 binary64) %121 z)
(fma.f64 #s(literal 1 binary64) %109 %133)
(fma.f64 #s(literal 1 binary64) %109 %135)
(fma.f64 #s(literal 1 binary64) %109 #s(literal 0 binary64))
(-.f64 %121 %102)
(-.f64 z %161)
(+.f64 (fma.f64 %102 y %93) %93)
(+.f64 %164 %93)
(+.f64 %94 %94)
(+.f64 %166 %93)
(+.f64 %106 %106)
(+.f64 %142 %121)
(+.f64 %144 %121)
(+.f64 %93 %159)
(+.f64 %93 %162)
(+.f64 %93 %164)
(+.f64 %93 %166)
(+.f64 %121 %142)
(+.f64 %121 %144)
(+.f64 %121 z)
(+.f64 %109 %133)
(+.f64 %109 %135)
(+.f64 %109 #s(literal 0 binary64))
(+.f64 z (+.f64 #s(literal 0 binary64) %121))
(+.f64 z (-.f64 #s(literal 0 binary64) %161))
(+.f64 z %121)
(*.f64 %306 #s(literal 4 binary64))
(*.f64 %308 #s(literal 2 binary64))
(*.f64 %305 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %311)
(pow.f64 %311 #s(literal 1 binary64))
(/.f64 (/.f64 %305 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %305 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %318 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %131 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %131 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %305 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %305) #s(literal -2 binary64))
(/.f64 (neg.f64 %330) #s(literal 2 binary64))
(/.f64 %305 #s(literal 2 binary64))
(/.f64 %330 #s(literal -2 binary64))
(/.f64 %311 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %305))
(/.f64 #s(literal 1 binary64) (pow.f64 %311 #s(literal -1 binary64)))
(neg.f64 %340)
(fma.f64 (*.f64 %48 #s(literal 1/2 binary64)) %89 #s(literal 1 binary64))
(fma.f64 (*.f64 %48 #s(literal 1 binary64)) z #s(literal 1 binary64))
(fma.f64 %346 #s(literal 1/2 binary64) %347)
(fma.f64 %346 #s(literal 1/2 binary64) %349)
(fma.f64 %346 #s(literal 1/2 binary64) %352)
(fma.f64 %354 #s(literal 1/2 binary64) %355)
(fma.f64 %354 #s(literal 1/2 binary64) %357)
(fma.f64 %359 #s(literal 1/2 binary64) %347)
(fma.f64 %359 #s(literal 1/2 binary64) %349)
(fma.f64 %359 #s(literal 1/2 binary64) %352)
(fma.f64 %306 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %308 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %48 %93) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %367 #s(literal 2 binary64) %347)
(fma.f64 %367 #s(literal 2 binary64) %349)
(fma.f64 %367 #s(literal 2 binary64) %352)
(fma.f64 %371 #s(literal 2 binary64) %355)
(fma.f64 %371 #s(literal 2 binary64) %357)
(fma.f64 %374 #s(literal 2 binary64) %347)
(fma.f64 %374 #s(literal 2 binary64) %349)
(fma.f64 %374 #s(literal 2 binary64) %352)
(fma.f64 %378 %89 %355)
(fma.f64 %378 %89 %357)
(fma.f64 %381 #s(literal 1/2 binary64) %347)
(fma.f64 %381 #s(literal 1/2 binary64) %349)
(fma.f64 %381 #s(literal 1/2 binary64) %352)
(fma.f64 %385 #s(literal 2 binary64) %347)
(fma.f64 %385 #s(literal 2 binary64) %349)
(fma.f64 %385 #s(literal 2 binary64) %352)
(fma.f64 %389 #s(literal 2 binary64) %347)
(fma.f64 %389 #s(literal 2 binary64) %349)
(fma.f64 %389 #s(literal 2 binary64) %352)
(fma.f64 (*.f64 %48 #s(literal 2 binary64)) %93 #s(literal 1 binary64))
(fma.f64 %395 z %355)
(fma.f64 %395 z %357)
(fma.f64 %398 #s(literal 1/2 binary64) %347)
(fma.f64 %398 #s(literal 1/2 binary64) %349)
(fma.f64 %398 #s(literal 1/2 binary64) %352)
(fma.f64 %89 (*.f64 #s(literal 1/2 binary64) %48) #s(literal 1 binary64))
(fma.f64 %89 %404 %355)
(fma.f64 %89 %404 %357)
(fma.f64 %89 #s(literal -1/2 binary64) %347)
(fma.f64 %89 #s(literal -1/2 binary64) %349)
(fma.f64 %89 #s(literal -1/2 binary64) %352)
(fma.f64 %93 %35 #s(literal 1 binary64))
(fma.f64 %93 %75 %355)
(fma.f64 %93 %75 %357)
(fma.f64 %93 #s(literal -2 binary64) %347)
(fma.f64 %93 #s(literal -2 binary64) %349)
(fma.f64 %93 #s(literal -2 binary64) %352)
(fma.f64 %161 #s(literal 1 binary64) %355)
(fma.f64 %161 #s(literal 1 binary64) %357)
(fma.f64 #s(literal -1/2 binary64) %89 %347)
(fma.f64 #s(literal -1/2 binary64) %89 %349)
(fma.f64 #s(literal -1/2 binary64) %89 %352)
(fma.f64 %305 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %422 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %75 %93 %355)
(fma.f64 %75 %93 %357)
(fma.f64 %102 %23 %355)
(fma.f64 %102 %23 %357)
(fma.f64 %102 %4 #s(literal 1 binary64))
(fma.f64 %102 #s(literal 1 binary64) %347)
(fma.f64 %102 #s(literal 1 binary64) %349)
(fma.f64 %102 #s(literal 1 binary64) %352)
(fma.f64 #s(literal -2 binary64) %93 %347)
(fma.f64 #s(literal -2 binary64) %93 %349)
(fma.f64 #s(literal -2 binary64) %93 %352)
(fma.f64 #s(literal -1 binary64) z %347)
(fma.f64 #s(literal -1 binary64) z %349)
(fma.f64 #s(literal -1 binary64) z %352)
(fma.f64 #s(literal 1/2 binary64) (*.f64 %89 %48) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %440 %347)
(fma.f64 #s(literal 1/2 binary64) %440 %349)
(fma.f64 #s(literal 1/2 binary64) %440 %352)
(fma.f64 #s(literal 1/2 binary64) %444 %355)
(fma.f64 #s(literal 1/2 binary64) %444 %357)
(fma.f64 #s(literal 1/2 binary64) %447 %347)
(fma.f64 #s(literal 1/2 binary64) %447 %349)
(fma.f64 #s(literal 1/2 binary64) %447 %352)
(fma.f64 #s(literal 1/2 binary64) %451 %347)
(fma.f64 #s(literal 1/2 binary64) %451 %349)
(fma.f64 #s(literal 1/2 binary64) %451 %352)
(fma.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 2 binary64) %89) %161)
(fma.f64 #s(literal 1/2 binary64) %398 %347)
(fma.f64 #s(literal 1/2 binary64) %398 %349)
(fma.f64 #s(literal 1/2 binary64) %398 %352)
(fma.f64 #s(literal 2 binary64) %460 %347)
(fma.f64 #s(literal 2 binary64) %460 %349)
(fma.f64 #s(literal 2 binary64) %460 %352)
(fma.f64 #s(literal 2 binary64) (*.f64 %93 %48) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %466 %355)
(fma.f64 #s(literal 2 binary64) %466 %357)
(fma.f64 #s(literal 2 binary64) %469 %347)
(fma.f64 #s(literal 2 binary64) %469 %349)
(fma.f64 #s(literal 2 binary64) %469 %352)
(fma.f64 #s(literal 2 binary64) (-.f64 #s(literal 1/2 binary64) %93) %161)
(fma.f64 #s(literal 2 binary64) %475 %347)
(fma.f64 #s(literal 2 binary64) %475 %349)
(fma.f64 #s(literal 2 binary64) %475 %352)
(fma.f64 #s(literal 2 binary64) %389 %347)
(fma.f64 #s(literal 2 binary64) %389 %349)
(fma.f64 #s(literal 2 binary64) %389 %352)
(fma.f64 %23 %102 %355)
(fma.f64 %23 %102 %357)
(fma.f64 %131 #s(literal 1 binary64) #s(literal 1 binary64))
%311
(fma.f64 z #s(literal -1 binary64) %347)
(fma.f64 z #s(literal -1 binary64) %349)
(fma.f64 z #s(literal -1 binary64) %352)
(fma.f64 z %48 #s(literal 1 binary64))
(fma.f64 z y %355)
(fma.f64 z y %357)
(fma.f64 %4 %102 #s(literal 1 binary64))
(fma.f64 y z %355)
(fma.f64 y z %357)
(fma.f64 #s(literal 1 binary64) %494 %161)
(fma.f64 #s(literal 1 binary64) %318 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %161 %355)
(fma.f64 #s(literal 1 binary64) %161 %357)
(fma.f64 #s(literal 1 binary64) %102 %347)
(fma.f64 #s(literal 1 binary64) %102 %349)
(fma.f64 #s(literal 1 binary64) %102 %352)
(fma.f64 #s(literal 1 binary64) %131 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %311 #s(literal 0 binary64))
(-.f64 (+.f64 %311 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 (-.f64 #s(literal 1 binary64) %121) z)
(-.f64 %494 (-.f64 %121 #s(literal 0 binary64)))
(-.f64 %494 %121)
(-.f64 %318 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %131))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %109))
(-.f64 #s(literal 1/2 binary64) (fma.f64 z %4 #s(literal -1/2 binary64)))
(-.f64 %131 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %340)
(-.f64 %311 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %131))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %109))
(-.f64 #s(literal 1 binary64) (-.f64 %109 #s(literal 0 binary64)))
(-.f64 #s(literal 1 binary64) %109)
(+.f64 (+.f64 #s(literal 1 binary64) %161) %102)
(+.f64 %494 %161)
(+.f64 %318 #s(literal 1/2 binary64))
(+.f64 %161 %355)
(+.f64 %161 %357)
(+.f64 %102 %347)
(+.f64 %102 %349)
(+.f64 %102 %352)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %318))
(+.f64 #s(literal 1/2 binary64) %318)
(+.f64 %131 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %311)
(+.f64 %311 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %131)
(*.f64 %544 %545)
(*.f64 %547 x)
(*.f64 %549 #s(literal 1/2 binary64))
(*.f64 %552 #s(literal 2 binary64))
(*.f64 %545 %554)
(*.f64 %551 %305)
(*.f64 %557 %340)
(*.f64 %305 %551)
(*.f64 #s(literal 1/2 binary64) %560)
(*.f64 #s(literal 2 binary64) %562)
(*.f64 %340 %557)
(*.f64 %565 #s(literal 1 binary64))
%565
(*.f64 #s(literal 1 binary64) %565)
(*.f64 x %311)
(pow.f64 %565 #s(literal 1 binary64))
(/.f64 (*.f64 %557 %330) #s(literal 2 binary64))
(/.f64 %549 #s(literal 2 binary64))
(/.f64 (*.f64 x %305) #s(literal 2 binary64))
(/.f64 (*.f64 %330 %557) #s(literal 2 binary64))
(/.f64 (*.f64 %305 x) #s(literal 2 binary64))
(/.f64 %560 #s(literal 2 binary64))
(/.f64 (fma.f64 %580 #s(literal 2 binary64) %545) #s(literal 2 binary64))
(/.f64 (*.f64 %305 %545) #s(literal 4 binary64))
(/.f64 (*.f64 %545 %305) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %565 #s(literal -1 binary64)))
(neg.f64 (*.f64 %340 x))
(fma.f64 %592 %89 %593)
(fma.f64 %592 %89 %595)
(fma.f64 %592 %89 x)
(fma.f64 %598 %93 %593)
(fma.f64 %598 %93 %595)
(fma.f64 %598 %93 x)
(fma.f64 %544 %545 %602)
(fma.f64 %544 %545 %604)
(fma.f64 %544 %545 #s(literal 0 binary64))
(fma.f64 %547 x %602)
(fma.f64 %547 x %604)
(fma.f64 %547 x #s(literal 0 binary64))
(fma.f64 %610 #s(literal 1/2 binary64) %593)
(fma.f64 %610 #s(literal 1/2 binary64) %595)
(fma.f64 %610 #s(literal 1/2 binary64) x)
(fma.f64 %614 #s(literal 1/2 binary64) %593)
(fma.f64 %614 #s(literal 1/2 binary64) %595)
(fma.f64 %614 #s(literal 1/2 binary64) x)
(fma.f64 %549 #s(literal 1/2 binary64) %602)
(fma.f64 %549 #s(literal 1/2 binary64) %604)
(fma.f64 %549 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %621 %545 %593)
(fma.f64 %621 %545 %595)
(fma.f64 %621 %545 x)
(fma.f64 %625 #s(literal 2 binary64) %593)
(fma.f64 %625 #s(literal 2 binary64) %595)
(fma.f64 %625 #s(literal 2 binary64) x)
(fma.f64 %629 #s(literal 2 binary64) %593)
(fma.f64 %629 #s(literal 2 binary64) %595)
(fma.f64 %629 #s(literal 2 binary64) x)
(fma.f64 %552 #s(literal 2 binary64) %602)
(fma.f64 %552 #s(literal 2 binary64) %604)
(fma.f64 %552 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %636 #s(literal 2 binary64) %637)
(fma.f64 %636 #s(literal 2 binary64) %640)
(fma.f64 %636 #s(literal 2 binary64) %642)
(fma.f64 %636 #s(literal 2 binary64) %644)
(fma.f64 #s(literal 1/4 binary64) %545 %637)
(fma.f64 #s(literal 1/4 binary64) %545 %640)
(fma.f64 #s(literal 1/4 binary64) %545 %642)
(fma.f64 #s(literal 1/4 binary64) %545 %644)
(fma.f64 %318 x %551)
(fma.f64 %651 %4 %593)
(fma.f64 %651 %4 %595)
(fma.f64 %651 %4 x)
(fma.f64 %591 z %593)
(fma.f64 %591 z %595)
(fma.f64 %591 z x)
(fma.f64 %658 %48 %593)
(fma.f64 %658 %48 %595)
(fma.f64 %658 %48 x)
(fma.f64 %662 %102 %593)
(fma.f64 %662 %102 %595)
(fma.f64 %662 %102 x)
(fma.f64 %89 %666 %593)
(fma.f64 %89 %666 %595)
(fma.f64 %89 %666 x)
(fma.f64 %545 %554 %602)
(fma.f64 %545 %554 %604)
(fma.f64 %545 %554 #s(literal 0 binary64))
(fma.f64 %545 %673 %593)
(fma.f64 %545 %673 %595)
(fma.f64 %545 %673 x)
(fma.f64 %545 #s(literal 1/4 binary64) %637)
(fma.f64 %545 #s(literal 1/4 binary64) %640)
(fma.f64 %545 #s(literal 1/4 binary64) %642)
(fma.f64 %545 #s(literal 1/4 binary64) %644)
(fma.f64 %93 %681 %593)
(fma.f64 %93 %681 %595)
(fma.f64 %93 %681 x)
(fma.f64 %551 %305 %602)
(fma.f64 %551 %305 %604)
(fma.f64 %551 %305 #s(literal 0 binary64))
(fma.f64 %551 %422 %593)
(fma.f64 %551 %422 %595)
(fma.f64 %551 %422 x)
(fma.f64 %551 %311 %562)
(fma.f64 %551 #s(literal 1 binary64) %637)
(fma.f64 %551 #s(literal 1 binary64) %640)
(fma.f64 %551 #s(literal 1 binary64) %642)
(fma.f64 %551 #s(literal 1 binary64) %644)
(fma.f64 %557 #s(literal -1 binary64) %580)
(fma.f64 %557 %340 %602)
(fma.f64 %557 %340 %604)
(fma.f64 %557 %340 #s(literal 0 binary64))
(fma.f64 %557 %109 %593)
(fma.f64 %557 %109 %595)
(fma.f64 %557 %109 x)
(fma.f64 %557 z %703)
(fma.f64 %305 %551 %602)
(fma.f64 %305 %551 %604)
(fma.f64 %305 %551 #s(literal 0 binary64))
(fma.f64 %422 %551 %593)
(fma.f64 %422 %551 %595)
(fma.f64 %422 %551 x)
(fma.f64 %580 #s(literal 1 binary64) %593)
(fma.f64 %580 #s(literal 1 binary64) %595)
(fma.f64 %580 #s(literal 1 binary64) x)
(fma.f64 %102 %662 %593)
(fma.f64 %102 %662 %595)
(fma.f64 %102 %662 x)
(fma.f64 #s(literal -1 binary64) %557 %580)
(fma.f64 #s(literal 1/2 binary64) %718 %593)
(fma.f64 #s(literal 1/2 binary64) %718 %595)
(fma.f64 #s(literal 1/2 binary64) %718 x)
(fma.f64 #s(literal 1/2 binary64) %722 %593)
(fma.f64 #s(literal 1/2 binary64) %722 %595)
(fma.f64 #s(literal 1/2 binary64) %722 x)
(fma.f64 #s(literal 1/2 binary64) %560 %602)
(fma.f64 #s(literal 1/2 binary64) %560 %604)
(fma.f64 #s(literal 1/2 binary64) %560 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) x %637)
(fma.f64 #s(literal 1/2 binary64) x %640)
(fma.f64 #s(literal 1/2 binary64) x %642)
(fma.f64 #s(literal 1/2 binary64) x %644)
(fma.f64 #s(literal 2 binary64) %733 %593)
(fma.f64 #s(literal 2 binary64) %733 %595)
(fma.f64 #s(literal 2 binary64) %733 x)
(fma.f64 #s(literal 2 binary64) %737 %593)
(fma.f64 #s(literal 2 binary64) %737 %595)
(fma.f64 #s(literal 2 binary64) %737 x)
(fma.f64 #s(literal 2 binary64) %562 %602)
(fma.f64 #s(literal 2 binary64) %562 %604)
(fma.f64 #s(literal 2 binary64) %562 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %744 %637)
(fma.f64 #s(literal 2 binary64) %744 %640)
(fma.f64 #s(literal 2 binary64) %744 %642)
(fma.f64 #s(literal 2 binary64) %744 %644)
(fma.f64 %131 x %593)
(fma.f64 %131 x %595)
(fma.f64 %131 x x)
(fma.f64 %48 %658 %593)
(fma.f64 %48 %658 %595)
(fma.f64 %48 %658 x)
(fma.f64 %340 %557 %602)
(fma.f64 %340 %557 %604)
(fma.f64 %340 %557 #s(literal 0 binary64))
(fma.f64 %565 #s(literal 1 binary64) %602)
(fma.f64 %565 #s(literal 1 binary64) %604)
(fma.f64 %565 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %311 %551 %552)
(fma.f64 %311 x %602)
(fma.f64 %311 x %604)
(fma.f64 %311 x #s(literal 0 binary64))
(fma.f64 %109 %557 %593)
(fma.f64 %109 %557 %595)
(fma.f64 %109 %557 x)
(fma.f64 z %591 %593)
(fma.f64 z %591 %595)
(fma.f64 z %591 x)
(fma.f64 z %557 %771)
(fma.f64 %4 %651 %593)
(fma.f64 %4 %651 %595)
(fma.f64 %4 %651 x)
(fma.f64 #s(literal 1 binary64) %551 %637)
(fma.f64 #s(literal 1 binary64) %551 %640)
(fma.f64 #s(literal 1 binary64) %551 %642)
(fma.f64 #s(literal 1 binary64) %551 %644)
(fma.f64 #s(literal 1 binary64) %580 %593)
(fma.f64 #s(literal 1 binary64) %580 %595)
(fma.f64 #s(literal 1 binary64) %580 x)
(fma.f64 #s(literal 1 binary64) %565 %602)
(fma.f64 #s(literal 1 binary64) %565 %604)
(fma.f64 #s(literal 1 binary64) %565 #s(literal 0 binary64))
(fma.f64 x %318 %551)
(fma.f64 x #s(literal 1/2 binary64) %637)
(fma.f64 x #s(literal 1/2 binary64) %640)
(fma.f64 x #s(literal 1/2 binary64) %642)
(fma.f64 x #s(literal 1/2 binary64) %644)
(fma.f64 x %131 %593)
(fma.f64 x %131 %595)
(fma.f64 x %131 x)
(fma.f64 x %311 %602)
(fma.f64 x %311 %604)
(fma.f64 x %311 #s(literal 0 binary64))
(-.f64 %580 %557)
(-.f64 x %639)
(+.f64 (fma.f64 %591 z %551) %551)
(+.f64 (*.f64 %557 z) %703)
(+.f64 %552 %552)
(+.f64 %642 %551)
(+.f64 %593 %580)
(+.f64 (*.f64 z %557) %771)
(+.f64 %562 %562)
(+.f64 %644 %551)
(+.f64 %595 %580)
(+.f64 %551 %637)
(+.f64 %551 %640)
(+.f64 %551 %642)
(+.f64 %551 %644)
(+.f64 %580 %593)
(+.f64 %580 %595)
(+.f64 %580 x)
(+.f64 %565 %602)
(+.f64 %565 %604)
(+.f64 %565 #s(literal 0 binary64))
(+.f64 x (+.f64 #s(literal 0 binary64) %580))
(+.f64 x (-.f64 #s(literal 0 binary64) %639))
(+.f64 x %580)
reconstruct59.0ms (3.6%)
Counts
660 → 51
Compiler
Compiled 660 to 885 computations (-34.1% saved)
eval4.0ms (0.3%)
Compiler
Compiled 47 to 157 computations (-234.0% saved)
prune2.0ms (0.1%)
Pruning
5 alts after pruning (5 fresh and 0 done)
PrunedKeptTotal
New42547
Fresh000
Picked101
Done000
Total43548
Accuracy
100.0%
Counts
48 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.0%
(fma.f64 (*.f64 z x) (-.f64 y #s(literal 1 binary64)) x)
▶98.1%
(fma.f64 z (*.f64 (-.f64 y #s(literal 1 binary64)) x) x)
▶60.4%
(*.f64 x (-.f64 #s(literal 1 binary64) (approx (* (- 1 y) z) z)))
▶58.3%
(*.f64 x (approx (- 1 (* (- 1 y) z)) (*.f64 z (-.f64 y #s(literal 1 binary64)))))
▶40.1%
(*.f64 x (approx (- 1 (* (- 1 y) z)) (*.f64 y z)))
Compiler
Compiled 5 to 15 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series22.0ms (1.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0167777
Stop Event
1×iter-limit
Counts
18 → 53
Calls
Call 1
Inputs
%6 = (* (- 1 y) z)
%7 = (approx %6 z)
%8 = (*.f64 y z)
%9 = (- 1 %6)
%10 = (approx %9 %8)
%11 = (-.f64 y #s(literal 1 binary64))
%12 = (*.f64 z %11)
%13 = (approx %9 %12)
%14 = (*.f64 %11 x)
%15 = (*.f64 z x)
%18 = (-.f64 #s(literal 1 binary64) %7)
x
#s(literal 1 binary64)
y
z
%7
%8
%10
%11
%12
%13
%14
%15
(fma.f64 %15 %11 x)
(fma.f64 z %14 x)
%18
(*.f64 x %18)
(*.f64 x %13)
(*.f64 x %10)
Outputs
%6 = (- y 1)
%7 = (* %6 x)
%9 = (-.f64 y #s(literal 1 binary64))
%10 = (*.f64 x %9)
%13 = (* z x)
%14 = (*.f64 x z)
%17 = (+ (* %13 %6) x)
%18 = (*.f64 z %9)
%19 = (+.f64 #s(literal 1 binary64) %18)
%23 = (* (- 1 y) z)
%24 = (- 1 %23)
%25 = (* x %24)
%26 = (-.f64 #s(literal 1 binary64) y)
%27 = (*.f64 z %26)
%39 = (*.f64 y z)
%40 = (*.f64 #s(literal -1 binary64) %39)
%45 = (-.f64 #s(literal 1 binary64) z)
%52 = (* z %6)
%59 = (*.f64 x y)
%63 = (+.f64 x (*.f64 #s(literal -1 binary64) %14))
%65 = (*.f64 x %39)
%69 = (*.f64 x %45)
%74 = (/.f64 z y)
%75 = (fma.f64 #s(literal -1 binary64) z %74)
%76 = (*.f64 y %75)
%78 = (/.f64 #s(literal 1 binary64) y)
%87 = (*.f64 y (+.f64 z (*.f64 #s(literal -1 binary64) %74)))
%90 = (/.f64 x y)
%101 = (/.f64 %69 y)
%138 = (*.f64 x %18)
%141 = (/.f64 #s(literal 1 binary64) z)
%147 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %10)
(approx %13 %14)
(approx %17 (*.f64 x %19))
(approx %25 (*.f64 x (-.f64 #s(literal 1 binary64) %27)))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %18) #s(literal 1 binary64)))))
(approx y y)
(approx %23 z)
(approx %23 (+.f64 z %40))
(approx (* y z) %39)
(approx %24 %45)
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) %39) z))
(approx %6 #s(literal -1 binary64))
(approx %6 %9)
(approx %52 (*.f64 #s(literal -1 binary64) z))
(approx %52 (fma.f64 #s(literal -1 binary64) z %39))
(approx %7 (*.f64 #s(literal -1 binary64) x))
(approx %7 (fma.f64 #s(literal -1 binary64) x %59))
(approx %17 %63)
(approx %17 (+.f64 x (fma.f64 #s(literal -1 binary64) %14 %65)))
(approx %25 %69)
(approx %25 (fma.f64 x %39 %69))
(approx %23 %40)
(approx %23 %76)
(approx %24 (*.f64 y (-.f64 %78 %75)))
(approx %6 (*.f64 y (-.f64 #s(literal 1 binary64) %78)))
(approx %52 %87)
(approx %7 %59)
(approx %7 (*.f64 y (+.f64 x (*.f64 #s(literal -1 binary64) %90))))
(approx %17 %65)
(approx %17 (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 %14 y) (fma.f64 x z %90))))
(approx %25 (*.f64 y (fma.f64 x z %101)))
(approx %23 (*.f64 #s(literal -1 binary64) %87))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %45 y)) z))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %78 #s(literal 1 binary64)))))
(approx %52 (*.f64 #s(literal -1 binary64) %76))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %90))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %14 (*.f64 #s(literal -1 binary64) (/.f64 %63 y))))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %14 (*.f64 #s(literal -1 binary64) %101)))))
(approx %23 %27)
(approx %24 #s(literal 1 binary64))
(approx %24 %19)
(approx %52 %18)
(approx %17 (+.f64 x %138))
(approx %24 (*.f64 z (-.f64 (+.f64 y %141) #s(literal 1 binary64))))
(approx %17 %138)
(approx %17 (*.f64 z (fma.f64 x %9 %147)))
(approx %24 (*.f64 #s(literal -1 binary64) %27))
(approx %24 (*.f64 z (fma.f64 #s(literal -1 binary64) %26 %141)))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %10 (*.f64 #s(literal -1 binary64) %147)))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x %27)))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %147 (*.f64 x %26)))))
Calls
9 calls:
TimeVariablePoint
3.0ms
z
inf
3.0ms
x
inf
2.0ms
z
0
2.0ms
y
inf
1.0ms
y
-inf
rewrite95.0ms (5.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
021118
034118
197118
2207118
3841118
04498118
04639114
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
18 → 1 139
Calls
Call 1
Inputs
%6 = (* (- 1 y) z)
%7 = (approx %6 z)
%8 = (*.f64 y z)
%9 = (- 1 %6)
%10 = (approx %9 %8)
%11 = (-.f64 y #s(literal 1 binary64))
%12 = (*.f64 z %11)
%13 = (approx %9 %12)
%14 = (*.f64 %11 x)
%15 = (*.f64 z x)
%18 = (-.f64 #s(literal 1 binary64) %7)
x
#s(literal 1 binary64)
y
z
%7
%8
%10
%11
%12
%13
%14
%15
(fma.f64 %15 %11 x)
(fma.f64 z %14 x)
%18
(*.f64 x %18)
(*.f64 x %13)
(*.f64 x %10)
Outputs
%6 = (* (- 1 y) z)
%7 = (approx %6 z)
%13 = (neg.f64 %7)
%16 = (*.f64 z #s(literal -2 binary64))
%18 = (neg.f64 y)
%19 = (*.f64 #s(literal 1/2 binary64) %18)
%21 = (+.f64 z z)
%23 = (*.f64 #s(literal -1/2 binary64) %18)
%25 = (*.f64 #s(literal 1/2 binary64) y)
%27 = (*.f64 #s(literal 1/2 binary64) z)
%29 = (*.f64 #s(literal 2 binary64) y)
%31 = (*.f64 %27 %18)
%33 = (neg.f64 z)
%35 = (*.f64 %21 y)
%37 = (*.f64 #s(literal -1/2 binary64) z)
%38 = (*.f64 %37 %18)
%40 = (*.f64 %27 y)
%43 = (*.f64 %33 y)
%45 = (*.f64 #s(literal -1 binary64) %18)
%47 = (*.f64 z y)
%58 = (*.f64 y #s(literal 0 binary64))
%60 = (*.f64 #s(literal 0 binary64) y)
%87 = (*.f64 y %27)
%97 = (- 1 %6)
%98 = (approx %97 %47)
%103 = (fma.f64 y #s(literal 2 binary64) #s(literal -2 binary64))
%105 = (/.f64 %103 #s(literal 8 binary64))
%108 = (/.f64 %103 #s(literal 4 binary64))
%111 = (-.f64 y #s(literal 1 binary64))
%120 = (-.f64 y #s(literal 1/2 binary64))
%140 = (-.f64 #s(literal 1 binary64) y)
%141 = (*.f64 #s(literal 2 binary64) %140)
%167 = (*.f64 #s(literal 1/2 binary64) %140)
%169 = (*.f64 #s(literal -1/2 binary64) %140)
%171 = (*.f64 #s(literal 1/2 binary64) %111)
%174 = (*.f64 %27 %140)
%177 = (*.f64 %21 %111)
%179 = (*.f64 %37 %140)
%181 = (*.f64 %27 %111)
%183 = (*.f64 %140 z)
%185 = (*.f64 %111 z)
%187 = (*.f64 #s(literal -1 binary64) %140)
%215 = (-.f64 #s(literal 1/2 binary64) y)
%216 = (*.f64 #s(literal 1/2 binary64) %33)
%218 = (*.f64 %111 #s(literal 0 binary64))
%220 = (*.f64 #s(literal 0 binary64) %111)
%222 = (*.f64 %33 #s(literal 0 binary64))
%252 = (*.f64 #s(literal -1/2 binary64) %33)
%255 = (*.f64 %33 #s(literal 1/2 binary64))
%257 = (*.f64 %33 %215)
%275 = (*.f64 %215 %33)
%302 = (*.f64 %111 %27)
%346 = (approx %97 %185)
%351 = (*.f64 x #s(literal -2 binary64))
%353 = (+.f64 x x)
%356 = (*.f64 #s(literal 1/2 binary64) x)
%358 = (*.f64 %356 %140)
%360 = (*.f64 %353 %111)
%362 = (*.f64 #s(literal -1/2 binary64) x)
%363 = (*.f64 %362 %140)
%365 = (*.f64 %356 %111)
%367 = (*.f64 %140 x)
%369 = (neg.f64 x)
%371 = (*.f64 %111 x)
%388 = (*.f64 y x)
%399 = (*.f64 #s(literal 1/2 binary64) %369)
%403 = (*.f64 %369 #s(literal 0 binary64))
%406 = (*.f64 %18 %369)
%408 = (*.f64 %369 %18)
%447 = (*.f64 #s(literal 4 binary64) %362)
%455 = (*.f64 #s(literal -2 binary64) x)
%462 = (*.f64 %215 %369)
%464 = (*.f64 #s(literal 1 binary64) %362)
%474 = (*.f64 %356 #s(literal -1 binary64))
%493 = (*.f64 %369 #s(literal 1/2 binary64))
%495 = (*.f64 %369 %215)
%505 = (*.f64 %111 %356)
%557 = (*.f64 z x)
%558 = (*.f64 %557 #s(literal -2 binary64))
%560 = (*.f64 z %353)
%562 = (*.f64 #s(literal -1/2 binary64) %369)
%569 = (*.f64 %33 x)
%570 = (*.f64 #s(literal 2 binary64) %569)
%573 = (*.f64 #s(literal 1/2 binary64) %557)
%574 = (*.f64 %573 #s(literal -1 binary64))
%576 = (*.f64 #s(literal 1/2 binary64) %569)
%578 = (*.f64 %356 %33)
%580 = (*.f64 %27 %369)
%582 = (*.f64 #s(literal -1/2 binary64) %557)
%585 = (*.f64 %21 x)
%587 = (*.f64 %353 z)
%589 = (*.f64 #s(literal -2 binary64) %569)
%591 = (*.f64 #s(literal 2 binary64) %557)
%593 = (*.f64 %37 %369)
%595 = (*.f64 %362 %33)
%597 = (*.f64 %582 #s(literal -1 binary64))
%599 = (*.f64 #s(literal -1/2 binary64) %569)
%601 = (*.f64 %356 z)
%603 = (*.f64 %27 x)
%633 = (*.f64 %569 #s(literal 0 binary64))
%635 = (*.f64 %557 #s(literal 0 binary64))
%637 = (*.f64 #s(literal 0 binary64) %569)
%639 = (*.f64 #s(literal 0 binary64) %557)
%695 = (*.f64 %569 #s(literal -1/2 binary64))
%799 = (*.f64 %557 #s(literal 1/2 binary64))
%807 = (*.f64 z %356)
%820 = (*.f64 x %27)
%842 = (fma.f64 %111 z #s(literal 1 binary64))
%843 = (*.f64 #s(literal 1/2 binary64) %842)
%844 = (*.f64 %353 %843)
%845 = (fma.f64 %111 %21 #s(literal 2 binary64))
%846 = (*.f64 %356 %845)
%847 = (*.f64 %353 %842)
%848 = (*.f64 #s(literal 1/2 binary64) %847)
%849 = (*.f64 %356 %842)
%850 = (*.f64 #s(literal 2 binary64) %849)
%851 = (fma.f64 %140 z #s(literal -1 binary64))
%852 = (*.f64 %851 %369)
%853 = (*.f64 %842 x)
%854 = (fma.f64 %557 %111 x)
%855 = (*.f64 #s(literal 1 binary64) %854)
%856 = (*.f64 x %842)
%857 = (pow.f64 %854 #s(literal 1 binary64))
%859 = (/.f64 (*.f64 %842 %353) #s(literal 2 binary64))
%861 = (/.f64 (*.f64 x %845) #s(literal 2 binary64))
%863 = (/.f64 (*.f64 %845 x) #s(literal 2 binary64))
%864 = (/.f64 %847 #s(literal 2 binary64))
%865 = (*.f64 %557 %111)
%867 = (/.f64 (fma.f64 %865 #s(literal 2 binary64) %353) #s(literal 2 binary64))
%869 = (/.f64 (*.f64 %845 %353) #s(literal 4 binary64))
%871 = (/.f64 (*.f64 %353 %845) #s(literal 4 binary64))
%873 = (/.f64 #s(literal 1 binary64) (pow.f64 %854 #s(literal -1 binary64)))
%875 = (neg.f64 (*.f64 %851 x))
%876 = (fma.f64 z y #s(literal 1 binary64))
%877 = (fma.f64 %876 x %569)
%878 = (+.f64 #s(literal 1 binary64) %47)
%879 = (fma.f64 %878 x %569)
%880 = (fma.f64 %111 z #s(literal 1/2 binary64))
%881 = (fma.f64 %880 x %356)
%883 = (fma.f64 %16 (*.f64 #s(literal 1/2 binary64) %367) x)
%884 = (fma.f64 %558 %167 x)
%885 = (fma.f64 %560 %169 x)
%887 = (fma.f64 %21 (*.f64 #s(literal -1/2 binary64) %367) x)
%889 = (fma.f64 %33 x x)
%890 = (fma.f64 %21 (*.f64 #s(literal 1/2 binary64) %388) %889)
%892 = (fma.f64 %21 (*.f64 #s(literal 1/2 binary64) %371) x)
%894 = (fma.f64 %353 (*.f64 #s(literal 1/2 binary64) %47) %889)
%895 = (*.f64 %842 #s(literal 0 binary64))
%896 = (fma.f64 %353 %843 %895)
%897 = (*.f64 #s(literal 0 binary64) %842)
%898 = (fma.f64 %353 %843 %897)
%899 = (fma.f64 %353 %843 #s(literal 0 binary64))
%901 = (fma.f64 %353 (*.f64 #s(literal 1/2 binary64) %185) x)
%903 = (*.f64 x %880)
%904 = (fma.f64 %353 #s(literal 1/4 binary64) %903)
%905 = (*.f64 %880 x)
%906 = (fma.f64 %353 #s(literal 1/4 binary64) %905)
%908 = (fma.f64 %27 (*.f64 #s(literal 2 binary64) %371) x)
%910 = (fma.f64 %27 (*.f64 #s(literal 2 binary64) %388) %889)
%912 = (fma.f64 %356 (*.f64 #s(literal 2 binary64) %47) %889)
%914 = (fma.f64 %356 (*.f64 #s(literal 2 binary64) %185) x)
%915 = (fma.f64 %356 %845 %895)
%916 = (fma.f64 %356 %845 %897)
%917 = (fma.f64 %356 %845 #s(literal 0 binary64))
%918 = (fma.f64 %356 %842 %849)
%919 = (fma.f64 %356 #s(literal 1 binary64) %903)
%920 = (fma.f64 %356 #s(literal 1 binary64) %905)
%921 = (fma.f64 %388 z %889)
%922 = (fma.f64 %367 %33 x)
%923 = (fma.f64 %569 %140 x)
%925 = (fma.f64 #s(literal -2 binary64) (*.f64 %573 %140) x)
%927 = (fma.f64 #s(literal -2 binary64) (*.f64 %27 %367) x)
%928 = (fma.f64 %33 %367 x)
%930 = (fma.f64 #s(literal 1/2 binary64) (*.f64 %21 %371) x)
%932 = (fma.f64 #s(literal 1/2 binary64) (*.f64 %353 %185) x)
%934 = (fma.f64 #s(literal 1/2 binary64) (*.f64 %21 %388) %889)
%936 = (fma.f64 #s(literal 1/2 binary64) (*.f64 %353 %47) %889)
%937 = (fma.f64 #s(literal 1/2 binary64) %847 %895)
%938 = (fma.f64 #s(literal 1/2 binary64) %847 %897)
%939 = (fma.f64 #s(literal 1/2 binary64) %847 #s(literal 0 binary64))
%940 = (fma.f64 #s(literal 1/2 binary64) x %903)
%941 = (fma.f64 #s(literal 1/2 binary64) x %905)
%943 = (fma.f64 #s(literal 2 binary64) (*.f64 %582 %140) x)
%945 = (fma.f64 #s(literal 2 binary64) (*.f64 %37 %367) x)
%946 = (*.f64 %356 #s(literal 1/2 binary64))
%947 = (fma.f64 #s(literal 2 binary64) %946 %903)
%948 = (fma.f64 #s(literal 2 binary64) %946 %905)
%950 = (fma.f64 #s(literal 2 binary64) (*.f64 %27 %371) x)
%952 = (fma.f64 #s(literal 2 binary64) (*.f64 %356 %185) x)
%954 = (fma.f64 #s(literal 2 binary64) (*.f64 %27 %388) %889)
%956 = (fma.f64 #s(literal 2 binary64) (*.f64 %356 %47) %889)
%957 = (fma.f64 #s(literal 2 binary64) %849 %895)
%958 = (fma.f64 #s(literal 2 binary64) %849 %897)
%959 = (fma.f64 #s(literal 2 binary64) %849 #s(literal 0 binary64))
%960 = (*.f64 %367 z)
%961 = (fma.f64 #s(literal -1 binary64) %960 x)
%962 = (fma.f64 %851 %369 %895)
%963 = (fma.f64 %851 %369 %897)
%964 = (fma.f64 %851 %369 #s(literal 0 binary64))
%965 = (fma.f64 %369 %183 x)
%966 = (fma.f64 %557 %187 x)
%967 = (fma.f64 %557 y %889)
%968 = (fma.f64 %371 z x)
%969 = (fma.f64 %185 x x)
%970 = (fma.f64 %111 %557 x)
%971 = (*.f64 %842 %356)
%972 = (fma.f64 %842 %356 %971)
%973 = (fma.f64 %842 x %895)
%974 = (fma.f64 %842 x %897)
%975 = (fma.f64 %842 x #s(literal 0 binary64))
%976 = (fma.f64 %47 x %889)
%977 = (fma.f64 %183 %369 x)
%978 = (fma.f64 %140 %569 x)
%979 = (fma.f64 z %388 %889)
%980 = (fma.f64 z %371 x)
%981 = (fma.f64 y %557 %889)
%982 = (fma.f64 #s(literal 1 binary64) %356 %903)
%983 = (fma.f64 #s(literal 1 binary64) %356 %905)
%984 = (*.f64 %557 y)
%985 = (fma.f64 #s(literal 1 binary64) %984 %889)
%986 = (fma.f64 #s(literal 1 binary64) %865 x)
%987 = (fma.f64 #s(literal 1 binary64) %854 %895)
%988 = (fma.f64 #s(literal 1 binary64) %854 %897)
%989 = (fma.f64 #s(literal 1 binary64) %854 #s(literal 0 binary64))
%990 = (fma.f64 x %878 %569)
%991 = (fma.f64 x %880 %356)
%992 = (fma.f64 x #s(literal 1/2 binary64) %903)
%993 = (fma.f64 x #s(literal 1/2 binary64) %905)
%994 = (fma.f64 x %185 x)
%995 = (fma.f64 x %842 %895)
%996 = (fma.f64 x %842 %897)
%997 = (fma.f64 x %842 #s(literal 0 binary64))
%998 = (fma.f64 x %47 %889)
%999 = (*.f64 %876 x)
%1000 = (-.f64 %999 %557)
%1002 = (-.f64 %984 (neg.f64 %889))
%1005 = (-.f64 %569 (*.f64 x (-.f64 #s(literal -1 binary64) %47)))
%1006 = (-.f64 %865 %369)
%1007 = (-.f64 x %960)
%1008 = (+.f64 %971 %971)
%1009 = (+.f64 %903 %356)
%1010 = (+.f64 %849 %849)
%1012 = (+.f64 (*.f64 %878 x) %569)
%1013 = (+.f64 %905 %356)
%1014 = (+.f64 %999 %569)
%1015 = (+.f64 %356 %903)
%1016 = (+.f64 %356 %905)
%1017 = (+.f64 %984 %889)
%1018 = (+.f64 %865 x)
%1019 = (+.f64 %854 %895)
%1020 = (+.f64 %854 %897)
%1021 = (+.f64 %854 #s(literal 0 binary64))
%1022 = (+.f64 x %865)
%1023 = (-.f64 #s(literal 1 binary64) %7)
%1024 = (*.f64 #s(literal 2 binary64) %1023)
%1025 = (/.f64 %1024 #s(literal 8 binary64))
%1027 = (/.f64 %1024 #s(literal 4 binary64))
%1036 = (-.f64 #s(literal 1/2 binary64) %7)
%1050 = (fma.f64 %7 #s(literal 2 binary64) #s(literal -2 binary64))
%1062 = (-.f64 %7 #s(literal 1 binary64))
%1084 = (*.f64 #s(literal 1/2 binary64) %1062)
%1086 = (*.f64 #s(literal -1/2 binary64) %1062)
%1088 = (*.f64 #s(literal 1/2 binary64) %1023)
%1091 = (*.f64 %356 %1062)
%1093 = (*.f64 %353 %1023)
%1095 = (*.f64 %362 %1062)
%1097 = (*.f64 %356 %1023)
%1099 = (*.f64 %1062 x)
%1103 = (*.f64 %1023 x)
%1105 = (*.f64 #s(literal -1 binary64) %1062)
%1120 = (*.f64 %13 x)
%1131 = (*.f64 %1023 #s(literal 0 binary64))
%1133 = (*.f64 #s(literal 0 binary64) %1023)
%1144 = (*.f64 x %1036)
%1146 = (*.f64 %1036 x)
%1187 = (*.f64 %1023 %356)
%1223 = (*.f64 #s(literal 1/2 binary64) %346)
%1225 = (*.f64 #s(literal 2 binary64) %346)
%1227 = (*.f64 %353 %346)
%1229 = (*.f64 %356 %346)
%1231 = (*.f64 %346 x)
%1244 = (*.f64 %346 #s(literal 0 binary64))
%1246 = (*.f64 #s(literal 0 binary64) %346)
%1255 = (*.f64 %346 %356)
%1267 = (*.f64 #s(literal 1/2 binary64) %98)
%1269 = (*.f64 #s(literal 2 binary64) %98)
%1271 = (*.f64 %353 %98)
%1273 = (*.f64 %356 %98)
%1275 = (*.f64 %98 x)
%1288 = (*.f64 %98 #s(literal 0 binary64))
%1290 = (*.f64 #s(literal 0 binary64) %98)
%1299 = (*.f64 %98 %356)
x
#s(literal 1 binary64)
y
z
(*.f64 #s(literal 1 binary64) %7)
(pow.f64 %7 #s(literal 1 binary64))
%7
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %13)
(*.f64 %16 %19)
(*.f64 %21 %23)
(*.f64 %21 %25)
(*.f64 %27 %29)
(*.f64 #s(literal -2 binary64) %31)
(*.f64 %33 %18)
(*.f64 #s(literal 1/2 binary64) %35)
(*.f64 #s(literal 2 binary64) %38)
(*.f64 #s(literal 2 binary64) %40)
(*.f64 %18 %33)
(*.f64 #s(literal -1 binary64) %43)
(*.f64 z %45)
%47
(*.f64 y z)
(*.f64 #s(literal 1 binary64) %47)
(pow.f64 %47 #s(literal 1 binary64))
(/.f64 (*.f64 y %21) #s(literal 2 binary64))
(/.f64 %35 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %47 #s(literal -1 binary64)))
(neg.f64 %43)
(fma.f64 %16 %19 %58)
(fma.f64 %16 %19 %60)
(fma.f64 %21 %23 %58)
(fma.f64 %21 %23 %60)
(fma.f64 %21 %25 %58)
(fma.f64 %21 %25 %60)
(fma.f64 %27 %29 %58)
(fma.f64 %27 %29 %60)
(fma.f64 %27 y %40)
(fma.f64 #s(literal -2 binary64) %31 %58)
(fma.f64 #s(literal -2 binary64) %31 %60)
(fma.f64 %33 %18 %58)
(fma.f64 %33 %18 %60)
(fma.f64 #s(literal 1/2 binary64) %35 %58)
(fma.f64 #s(literal 1/2 binary64) %35 %60)
(fma.f64 #s(literal 2 binary64) %38 %58)
(fma.f64 #s(literal 2 binary64) %38 %60)
(fma.f64 #s(literal 2 binary64) %40 %58)
(fma.f64 #s(literal 2 binary64) %40 %60)
(fma.f64 %18 %33 %58)
(fma.f64 %18 %33 %60)
(fma.f64 #s(literal -1 binary64) %43 %58)
(fma.f64 #s(literal -1 binary64) %43 %60)
(fma.f64 z %45 %58)
(fma.f64 z %45 %60)
(fma.f64 z y %58)
(fma.f64 z y %60)
(fma.f64 y %27 %87)
(fma.f64 y z %58)
(fma.f64 y z %60)
(fma.f64 #s(literal 1 binary64) %47 %58)
(fma.f64 #s(literal 1 binary64) %47 %60)
(+.f64 %87 %87)
(+.f64 %40 %40)
(+.f64 %47 %58)
(+.f64 %47 %60)
(*.f64 #s(literal 1 binary64) %98)
(pow.f64 %98 #s(literal 1 binary64))
%98
(/.f64 #s(literal 1 binary64) (pow.f64 %98 #s(literal -1 binary64)))
(*.f64 %105 #s(literal 4 binary64))
(*.f64 %108 #s(literal 2 binary64))
(*.f64 %103 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %111)
(pow.f64 %111 #s(literal 1 binary64))
(/.f64 (/.f64 %103 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %103 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %120 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %111 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 y #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 y #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 %103 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %103 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %103) #s(literal -2 binary64))
(/.f64 (neg.f64 %141) #s(literal 2 binary64))
(/.f64 %141 #s(literal -2 binary64))
(/.f64 %103 #s(literal 2 binary64))
(/.f64 %111 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %103))
(/.f64 #s(literal 1 binary64) (pow.f64 %111 #s(literal -1 binary64)))
(neg.f64 %140)
(fma.f64 %105 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %108 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %103 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %111 #s(literal 0 binary64))
(-.f64 (/.f64 (+.f64 y y) #s(literal 2 binary64)) #s(literal 1 binary64))
(-.f64 %120 #s(literal 1/2 binary64))
(-.f64 #s(literal -1 binary64) %18)
(-.f64 %111 #s(literal 0 binary64))
%111
(+.f64 %120 #s(literal -1/2 binary64))
(+.f64 #s(literal -1/2 binary64) %120)
(+.f64 #s(literal -1 binary64) y)
(+.f64 %111 #s(literal 0 binary64))
(+.f64 y #s(literal -1 binary64))
(*.f64 %16 %167)
(*.f64 %21 %169)
(*.f64 %21 %171)
(*.f64 %27 %103)
(*.f64 #s(literal -2 binary64) %174)
(*.f64 %33 %140)
(*.f64 #s(literal 1/2 binary64) %177)
(*.f64 #s(literal 2 binary64) %179)
(*.f64 #s(literal 2 binary64) %181)
(*.f64 #s(literal -1 binary64) %183)
%185
(*.f64 %140 %33)
(*.f64 z %187)
(*.f64 z %111)
(*.f64 #s(literal 1 binary64) %185)
(pow.f64 %185 #s(literal 1 binary64))
(/.f64 (*.f64 z %103) #s(literal 2 binary64))
(/.f64 (*.f64 %103 z) #s(literal 2 binary64))
(/.f64 (*.f64 %141 %33) #s(literal 2 binary64))
(/.f64 %177 #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %47 #s(literal 2 binary64)) %21) #s(literal 2 binary64))
(/.f64 (*.f64 %103 %21) #s(literal 4 binary64))
(/.f64 (*.f64 %21 %103) #s(literal 4 binary64))
(/.f64 (*.f64 %111 %21) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %185 #s(literal -1 binary64)))
(neg.f64 (+.f64 #s(literal 0 binary64) %183))
(neg.f64 (-.f64 %183 #s(literal 0 binary64)))
(neg.f64 %183)
(fma.f64 %215 %33 %216)
(fma.f64 %16 %167 %218)
(fma.f64 %16 %167 %220)
(fma.f64 %16 %167 %222)
(fma.f64 %16 %167 #s(literal 0 binary64))
(fma.f64 %16 %19 %33)
(fma.f64 %16 #s(literal 1/2 binary64) %47)
(fma.f64 %37 #s(literal 2 binary64) %47)
(fma.f64 %21 %23 %33)
(fma.f64 %21 %169 %218)
(fma.f64 %21 %169 %220)
(fma.f64 %21 %169 %222)
(fma.f64 %21 %169 #s(literal 0 binary64))
(fma.f64 %21 %171 %218)
(fma.f64 %21 %171 %220)
(fma.f64 %21 %171 %222)
(fma.f64 %21 %171 #s(literal 0 binary64))
(fma.f64 %21 %25 %33)
(fma.f64 %21 #s(literal -1/2 binary64) %47)
(fma.f64 %27 %29 %33)
(fma.f64 %27 %103 %218)
(fma.f64 %27 %103 %220)
(fma.f64 %27 %103 %222)
(fma.f64 %27 %103 #s(literal 0 binary64))
(fma.f64 %27 #s(literal -2 binary64) %47)
(fma.f64 %27 %111 %181)
(fma.f64 #s(literal -1/2 binary64) %21 %47)
(fma.f64 #s(literal -2 binary64) %174 %218)
(fma.f64 #s(literal -2 binary64) %174 %220)
(fma.f64 #s(literal -2 binary64) %174 %222)
(fma.f64 #s(literal -2 binary64) %174 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %31 %33)
(fma.f64 #s(literal -2 binary64) %252 %47)
(fma.f64 #s(literal -2 binary64) %27 %47)
(fma.f64 %33 %215 %255)
(fma.f64 %33 #s(literal 1/2 binary64) %257)
(fma.f64 %33 %18 %33)
(fma.f64 %33 %140 %218)
(fma.f64 %33 %140 %220)
(fma.f64 %33 %140 %222)
(fma.f64 %33 %140 #s(literal 0 binary64))
(fma.f64 %33 #s(literal 1 binary64) %47)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %37) %47)
(fma.f64 #s(literal 1/2 binary64) %177 %218)
(fma.f64 #s(literal 1/2 binary64) %177 %220)
(fma.f64 #s(literal 1/2 binary64) %177 %222)
(fma.f64 #s(literal 1/2 binary64) %177 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %35 %33)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -2 binary64) z) %47)
(fma.f64 #s(literal 1/2 binary64) %16 %47)
(fma.f64 #s(literal 1/2 binary64) %33 %275)
(fma.f64 #s(literal 2 binary64) %38 %33)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %37) %47)
(fma.f64 #s(literal 2 binary64) %179 %218)
(fma.f64 #s(literal 2 binary64) %179 %220)
(fma.f64 #s(literal 2 binary64) %179 %222)
(fma.f64 #s(literal 2 binary64) %179 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %37 #s(literal 1 binary64)) %47)
(fma.f64 #s(literal 2 binary64) (*.f64 %27 #s(literal -1 binary64)) %47)
(fma.f64 #s(literal 2 binary64) %181 %218)
(fma.f64 #s(literal 2 binary64) %181 %220)
(fma.f64 #s(literal 2 binary64) %181 %222)
(fma.f64 #s(literal 2 binary64) %181 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %40 %33)
(fma.f64 #s(literal 2 binary64) %216 %47)
(fma.f64 #s(literal 2 binary64) %37 %47)
(fma.f64 %18 %33 %33)
(fma.f64 #s(literal -1 binary64) %43 %33)
(fma.f64 #s(literal -1 binary64) %183 %218)
(fma.f64 #s(literal -1 binary64) %183 %220)
(fma.f64 #s(literal -1 binary64) %183 %222)
(fma.f64 #s(literal -1 binary64) %183 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) z %47)
(fma.f64 %111 %27 %302)
(fma.f64 %111 z %218)
(fma.f64 %111 z %220)
(fma.f64 %111 z %222)
(fma.f64 %111 z #s(literal 0 binary64))
(fma.f64 %140 %33 %218)
(fma.f64 %140 %33 %220)
(fma.f64 %140 %33 %222)
(fma.f64 %140 %33 #s(literal 0 binary64))
(fma.f64 z %45 %33)
(fma.f64 z %187 %218)
(fma.f64 z %187 %220)
(fma.f64 z %187 %222)
(fma.f64 z %187 #s(literal 0 binary64))
(fma.f64 z #s(literal -1 binary64) %47)
(fma.f64 z %111 %218)
(fma.f64 z %111 %220)
(fma.f64 z %111 %222)
(fma.f64 z %111 #s(literal 0 binary64))
(fma.f64 z y %33)
(fma.f64 y z %33)
(fma.f64 #s(literal 1 binary64) %33 %47)
(fma.f64 #s(literal 1 binary64) %185 %218)
(fma.f64 #s(literal 1 binary64) %185 %220)
(fma.f64 #s(literal 1 binary64) %185 %222)
(fma.f64 #s(literal 1 binary64) %185 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %47 %33)
(-.f64 %33 %43)
(-.f64 #s(literal 0 binary64) %183)
(-.f64 %47 z)
(+.f64 %257 %255)
(+.f64 %302 %302)
(+.f64 %275 %216)
(+.f64 %181 %181)
(+.f64 %216 %275)
(+.f64 %255 %257)
(+.f64 %33 %47)
(+.f64 #s(literal 0 binary64) %185)
(+.f64 %185 %218)
(+.f64 %185 %220)
(+.f64 %185 %222)
(+.f64 %185 #s(literal 0 binary64))
(+.f64 %47 %33)
(*.f64 #s(literal 1 binary64) %346)
(pow.f64 %346 #s(literal 1 binary64))
%346
(/.f64 #s(literal 1 binary64) (pow.f64 %346 #s(literal -1 binary64)))
(*.f64 %351 %167)
(*.f64 %353 %169)
(*.f64 %353 %171)
(*.f64 %356 %103)
(*.f64 #s(literal -2 binary64) %358)
(*.f64 #s(literal 1/2 binary64) %360)
(*.f64 #s(literal 2 binary64) %363)
(*.f64 #s(literal 2 binary64) %365)
(*.f64 #s(literal -1 binary64) %367)
(*.f64 %369 %140)
%371
(*.f64 %140 %369)
(*.f64 #s(literal 1 binary64) %371)
(*.f64 x %187)
(*.f64 x %111)
(pow.f64 %371 #s(literal 1 binary64))
(/.f64 (*.f64 %369 %141) #s(literal 2 binary64))
(/.f64 (*.f64 %111 %353) #s(literal 2 binary64))
(/.f64 (*.f64 x %103) #s(literal 2 binary64))
(/.f64 (*.f64 %103 x) #s(literal 2 binary64))
(/.f64 (*.f64 %141 %369) #s(literal 2 binary64))
(/.f64 %360 #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %388 #s(literal 2 binary64)) %353) #s(literal 2 binary64))
(/.f64 (*.f64 %103 %353) #s(literal 4 binary64))
(/.f64 (*.f64 %353 %103) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %371 #s(literal -1 binary64)))
(neg.f64 %367)
(fma.f64 %215 %369 %399)
(fma.f64 %351 %167 %218)
(fma.f64 %351 %167 %220)
(fma.f64 %351 %167 %403)
(fma.f64 %351 %167 #s(literal 0 binary64))
(fma.f64 %351 #s(literal 1/2 binary64) %406)
(fma.f64 %351 #s(literal 1/2 binary64) %408)
(fma.f64 %351 #s(literal 1/2 binary64) %388)
(fma.f64 %362 #s(literal 2 binary64) %406)
(fma.f64 %362 #s(literal 2 binary64) %408)
(fma.f64 %362 #s(literal 2 binary64) %388)
(fma.f64 %353 %169 %218)
(fma.f64 %353 %169 %220)
(fma.f64 %353 %169 %403)
(fma.f64 %353 %169 #s(literal 0 binary64))
(fma.f64 %353 %171 %218)
(fma.f64 %353 %171 %220)
(fma.f64 %353 %171 %403)
(fma.f64 %353 %171 #s(literal 0 binary64))
(fma.f64 %353 %25 %369)
(fma.f64 %353 #s(literal -1/2 binary64) %406)
(fma.f64 %353 #s(literal -1/2 binary64) %408)
(fma.f64 %353 #s(literal -1/2 binary64) %388)
(fma.f64 %356 %29 %369)
(fma.f64 %356 %103 %218)
(fma.f64 %356 %103 %220)
(fma.f64 %356 %103 %403)
(fma.f64 %356 %103 #s(literal 0 binary64))
(fma.f64 %356 #s(literal -2 binary64) %406)
(fma.f64 %356 #s(literal -2 binary64) %408)
(fma.f64 %356 #s(literal -2 binary64) %388)
(fma.f64 %356 %111 %365)
(fma.f64 #s(literal -1/2 binary64) %353 %406)
(fma.f64 #s(literal -1/2 binary64) %353 %408)
(fma.f64 #s(literal -1/2 binary64) %353 %388)
(fma.f64 #s(literal -2 binary64) %358 %218)
(fma.f64 #s(literal -2 binary64) %358 %220)
(fma.f64 #s(literal -2 binary64) %358 %403)
(fma.f64 #s(literal -2 binary64) %358 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %356 %406)
(fma.f64 #s(literal -2 binary64) %356 %408)
(fma.f64 #s(literal -2 binary64) %356 %388)
(fma.f64 #s(literal 1/2 binary64) (*.f64 %353 y) %369)
(fma.f64 #s(literal 1/2 binary64) %447 %406)
(fma.f64 #s(literal 1/2 binary64) %447 %408)
(fma.f64 #s(literal 1/2 binary64) %447 %388)
(fma.f64 #s(literal 1/2 binary64) %360 %218)
(fma.f64 #s(literal 1/2 binary64) %360 %220)
(fma.f64 #s(literal 1/2 binary64) %360 %403)
(fma.f64 #s(literal 1/2 binary64) %360 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %455 %406)
(fma.f64 #s(literal 1/2 binary64) %455 %408)
(fma.f64 #s(literal 1/2 binary64) %455 %388)
(fma.f64 #s(literal 1/2 binary64) %351 %406)
(fma.f64 #s(literal 1/2 binary64) %351 %408)
(fma.f64 #s(literal 1/2 binary64) %351 %388)
(fma.f64 #s(literal 1/2 binary64) %369 %462)
(fma.f64 #s(literal 2 binary64) %464 %406)
(fma.f64 #s(literal 2 binary64) %464 %408)
(fma.f64 #s(literal 2 binary64) %464 %388)
(fma.f64 #s(literal 2 binary64) %363 %218)
(fma.f64 #s(literal 2 binary64) %363 %220)
(fma.f64 #s(literal 2 binary64) %363 %403)
(fma.f64 #s(literal 2 binary64) %363 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %356 y) %369)
(fma.f64 #s(literal 2 binary64) %474 %406)
(fma.f64 #s(literal 2 binary64) %474 %408)
(fma.f64 #s(literal 2 binary64) %474 %388)
(fma.f64 #s(literal 2 binary64) %365 %218)
(fma.f64 #s(literal 2 binary64) %365 %220)
(fma.f64 #s(literal 2 binary64) %365 %403)
(fma.f64 #s(literal 2 binary64) %365 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %362 %406)
(fma.f64 #s(literal 2 binary64) %362 %408)
(fma.f64 #s(literal 2 binary64) %362 %388)
(fma.f64 %18 %369 %369)
(fma.f64 #s(literal -1 binary64) %367 %218)
(fma.f64 #s(literal -1 binary64) %367 %220)
(fma.f64 #s(literal -1 binary64) %367 %403)
(fma.f64 #s(literal -1 binary64) %367 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) x %406)
(fma.f64 #s(literal -1 binary64) x %408)
(fma.f64 #s(literal -1 binary64) x %388)
(fma.f64 %369 %215 %493)
(fma.f64 %369 #s(literal 1/2 binary64) %495)
(fma.f64 %369 %18 %369)
(fma.f64 %369 %140 %218)
(fma.f64 %369 %140 %220)
(fma.f64 %369 %140 %403)
(fma.f64 %369 %140 #s(literal 0 binary64))
(fma.f64 %369 #s(literal 1 binary64) %406)
(fma.f64 %369 #s(literal 1 binary64) %408)
(fma.f64 %369 #s(literal 1 binary64) %388)
(fma.f64 %111 %356 %505)
(fma.f64 %111 x %218)
(fma.f64 %111 x %220)
(fma.f64 %111 x %403)
(fma.f64 %111 x #s(literal 0 binary64))
(fma.f64 %140 %369 %218)
(fma.f64 %140 %369 %220)
(fma.f64 %140 %369 %403)
(fma.f64 %140 %369 #s(literal 0 binary64))
(fma.f64 y x %369)
(fma.f64 #s(literal 1 binary64) %388 %369)
(fma.f64 #s(literal 1 binary64) %369 %406)
(fma.f64 #s(literal 1 binary64) %369 %408)
(fma.f64 #s(literal 1 binary64) %369 %388)
(fma.f64 #s(literal 1 binary64) %371 %218)
(fma.f64 #s(literal 1 binary64) %371 %220)
(fma.f64 #s(literal 1 binary64) %371 %403)
(fma.f64 #s(literal 1 binary64) %371 #s(literal 0 binary64))
(fma.f64 x %187 %218)
(fma.f64 x %187 %220)
(fma.f64 x %187 %403)
(fma.f64 x %187 #s(literal 0 binary64))
(fma.f64 x #s(literal -1 binary64) %406)
(fma.f64 x #s(literal -1 binary64) %408)
(fma.f64 x #s(literal -1 binary64) %388)
(fma.f64 x %111 %218)
(fma.f64 x %111 %220)
(fma.f64 x %111 %403)
(fma.f64 x %111 #s(literal 0 binary64))
(fma.f64 x y %369)
(-.f64 %388 x)
(-.f64 %369 (*.f64 %18 x))
(+.f64 %495 %493)
(+.f64 %505 %505)
(+.f64 %462 %399)
(+.f64 %365 %365)
(+.f64 %399 %462)
(+.f64 %406 %369)
(+.f64 %408 %369)
(+.f64 %493 %495)
(+.f64 %388 %369)
(+.f64 %369 %406)
(+.f64 %369 %408)
(+.f64 %369 %388)
(+.f64 %371 %218)
(+.f64 %371 %220)
(+.f64 %371 %403)
(+.f64 %371 #s(literal 0 binary64))
(*.f64 %16 %399)
(*.f64 %351 %216)
(*.f64 %558 #s(literal -1/2 binary64))
(*.f64 %560 #s(literal 1/2 binary64))
(*.f64 %21 %562)
(*.f64 %21 %356)
(*.f64 %353 %252)
(*.f64 %353 %27)
(*.f64 %27 %353)
(*.f64 %356 %21)
(*.f64 #s(literal -1/2 binary64) %570)
(*.f64 %569 #s(literal -1 binary64))
(*.f64 #s(literal -2 binary64) %574)
(*.f64 #s(literal -2 binary64) %576)
(*.f64 #s(literal -2 binary64) %578)
(*.f64 #s(literal -2 binary64) %580)
(*.f64 #s(literal -2 binary64) %582)
(*.f64 %33 %369)
(*.f64 #s(literal 1/2 binary64) %585)
(*.f64 #s(literal 1/2 binary64) %587)
(*.f64 #s(literal 1/2 binary64) %589)
(*.f64 #s(literal 1/2 binary64) %591)
(*.f64 #s(literal 2 binary64) %593)
(*.f64 #s(literal 2 binary64) %595)
(*.f64 #s(literal 2 binary64) %597)
(*.f64 #s(literal 2 binary64) %599)
(*.f64 #s(literal 2 binary64) %601)
(*.f64 #s(literal 2 binary64) %603)
(*.f64 #s(literal 2 binary64) %573)
(*.f64 #s(literal -1 binary64) %569)
(*.f64 %369 %33)
(*.f64 %557 #s(literal 1 binary64))
%557
(*.f64 #s(literal 1 binary64) %557)
(*.f64 x z)
(pow.f64 %557 #s(literal 1 binary64))
(/.f64 (*.f64 %569 #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 %585 #s(literal 2 binary64))
(/.f64 %587 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %557) #s(literal -2 binary64))
(/.f64 %589 #s(literal 2 binary64))
(/.f64 %570 #s(literal -2 binary64))
(/.f64 %591 #s(literal 2 binary64))
(/.f64 (*.f64 %569 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %21 %353) #s(literal 4 binary64))
(/.f64 (*.f64 %353 %21) #s(literal 4 binary64))
(/.f64 %558 #s(literal -2 binary64))
(/.f64 %560 #s(literal 2 binary64))
(/.f64 %557 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %557 #s(literal -1 binary64)))
(neg.f64 %569)
(fma.f64 %16 %399 %633)
(fma.f64 %16 %399 %635)
(fma.f64 %16 %399 %637)
(fma.f64 %16 %399 %639)
(fma.f64 %16 %399 #s(literal 0 binary64))
(fma.f64 %351 %216 %633)
(fma.f64 %351 %216 %635)
(fma.f64 %351 %216 %637)
(fma.f64 %351 %216 %639)
(fma.f64 %351 %216 #s(literal 0 binary64))
(fma.f64 %558 #s(literal -1/2 binary64) %633)
(fma.f64 %558 #s(literal -1/2 binary64) %635)
(fma.f64 %558 #s(literal -1/2 binary64) %637)
(fma.f64 %558 #s(literal -1/2 binary64) %639)
(fma.f64 %558 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %560 #s(literal 1/2 binary64) %633)
(fma.f64 %560 #s(literal 1/2 binary64) %635)
(fma.f64 %560 #s(literal 1/2 binary64) %637)
(fma.f64 %560 #s(literal 1/2 binary64) %639)
(fma.f64 %560 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %21 %562 %633)
(fma.f64 %21 %562 %635)
(fma.f64 %21 %562 %637)
(fma.f64 %21 %562 %639)
(fma.f64 %21 %562 #s(literal 0 binary64))
(fma.f64 %21 %356 %633)
(fma.f64 %21 %356 %635)
(fma.f64 %21 %356 %637)
(fma.f64 %21 %356 %639)
(fma.f64 %21 %356 #s(literal 0 binary64))
(fma.f64 %353 %252 %633)
(fma.f64 %353 %252 %635)
(fma.f64 %353 %252 %637)
(fma.f64 %353 %252 %639)
(fma.f64 %353 %252 #s(literal 0 binary64))
(fma.f64 %353 %27 %633)
(fma.f64 %353 %27 %635)
(fma.f64 %353 %27 %637)
(fma.f64 %353 %27 %639)
(fma.f64 %353 %27 #s(literal 0 binary64))
(fma.f64 %27 %353 %633)
(fma.f64 %27 %353 %635)
(fma.f64 %27 %353 %637)
(fma.f64 %27 %353 %639)
(fma.f64 %27 %353 #s(literal 0 binary64))
(fma.f64 %27 x %603)
(fma.f64 %356 %21 %633)
(fma.f64 %356 %21 %635)
(fma.f64 %356 %21 %637)
(fma.f64 %356 %21 %639)
(fma.f64 %356 %21 #s(literal 0 binary64))
(fma.f64 %356 z %601)
(fma.f64 #s(literal -1/2 binary64) %570 %633)
(fma.f64 #s(literal -1/2 binary64) %570 %635)
(fma.f64 #s(literal -1/2 binary64) %570 %637)
(fma.f64 #s(literal -1/2 binary64) %570 %639)
(fma.f64 #s(literal -1/2 binary64) %570 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %569 %599)
(fma.f64 %569 #s(literal -1/2 binary64) %695)
(fma.f64 %569 #s(literal -1 binary64) %633)
(fma.f64 %569 #s(literal -1 binary64) %635)
(fma.f64 %569 #s(literal -1 binary64) %637)
(fma.f64 %569 #s(literal -1 binary64) %639)
(fma.f64 %569 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %574 %633)
(fma.f64 #s(literal -2 binary64) %574 %635)
(fma.f64 #s(literal -2 binary64) %574 %637)
(fma.f64 #s(literal -2 binary64) %574 %639)
(fma.f64 #s(literal -2 binary64) %574 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %576 %633)
(fma.f64 #s(literal -2 binary64) %576 %635)
(fma.f64 #s(literal -2 binary64) %576 %637)
(fma.f64 #s(literal -2 binary64) %576 %639)
(fma.f64 #s(literal -2 binary64) %576 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %578 %633)
(fma.f64 #s(literal -2 binary64) %578 %635)
(fma.f64 #s(literal -2 binary64) %578 %637)
(fma.f64 #s(literal -2 binary64) %578 %639)
(fma.f64 #s(literal -2 binary64) %578 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %580 %633)
(fma.f64 #s(literal -2 binary64) %580 %635)
(fma.f64 #s(literal -2 binary64) %580 %637)
(fma.f64 #s(literal -2 binary64) %580 %639)
(fma.f64 #s(literal -2 binary64) %580 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %582 %633)
(fma.f64 #s(literal -2 binary64) %582 %635)
(fma.f64 #s(literal -2 binary64) %582 %637)
(fma.f64 #s(literal -2 binary64) %582 %639)
(fma.f64 #s(literal -2 binary64) %582 #s(literal 0 binary64))
(fma.f64 %33 %369 %633)
(fma.f64 %33 %369 %635)
(fma.f64 %33 %369 %637)
(fma.f64 %33 %369 %639)
(fma.f64 %33 %369 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %585 %633)
(fma.f64 #s(literal 1/2 binary64) %585 %635)
(fma.f64 #s(literal 1/2 binary64) %585 %637)
(fma.f64 #s(literal 1/2 binary64) %585 %639)
(fma.f64 #s(literal 1/2 binary64) %585 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %587 %633)
(fma.f64 #s(literal 1/2 binary64) %587 %635)
(fma.f64 #s(literal 1/2 binary64) %587 %637)
(fma.f64 #s(literal 1/2 binary64) %587 %639)
(fma.f64 #s(literal 1/2 binary64) %587 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %589 %633)
(fma.f64 #s(literal 1/2 binary64) %589 %635)
(fma.f64 #s(literal 1/2 binary64) %589 %637)
(fma.f64 #s(literal 1/2 binary64) %589 %639)
(fma.f64 #s(literal 1/2 binary64) %589 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %591 %633)
(fma.f64 #s(literal 1/2 binary64) %591 %635)
(fma.f64 #s(literal 1/2 binary64) %591 %637)
(fma.f64 #s(literal 1/2 binary64) %591 %639)
(fma.f64 #s(literal 1/2 binary64) %591 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %557 %573)
(fma.f64 #s(literal 2 binary64) %593 %633)
(fma.f64 #s(literal 2 binary64) %593 %635)
(fma.f64 #s(literal 2 binary64) %593 %637)
(fma.f64 #s(literal 2 binary64) %593 %639)
(fma.f64 #s(literal 2 binary64) %593 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %595 %633)
(fma.f64 #s(literal 2 binary64) %595 %635)
(fma.f64 #s(literal 2 binary64) %595 %637)
(fma.f64 #s(literal 2 binary64) %595 %639)
(fma.f64 #s(literal 2 binary64) %595 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %597 %633)
(fma.f64 #s(literal 2 binary64) %597 %635)
(fma.f64 #s(literal 2 binary64) %597 %637)
(fma.f64 #s(literal 2 binary64) %597 %639)
(fma.f64 #s(literal 2 binary64) %597 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %599 %633)
(fma.f64 #s(literal 2 binary64) %599 %635)
(fma.f64 #s(literal 2 binary64) %599 %637)
(fma.f64 #s(literal 2 binary64) %599 %639)
(fma.f64 #s(literal 2 binary64) %599 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %601 %633)
(fma.f64 #s(literal 2 binary64) %601 %635)
(fma.f64 #s(literal 2 binary64) %601 %637)
(fma.f64 #s(literal 2 binary64) %601 %639)
(fma.f64 #s(literal 2 binary64) %601 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %603 %633)
(fma.f64 #s(literal 2 binary64) %603 %635)
(fma.f64 #s(literal 2 binary64) %603 %637)
(fma.f64 #s(literal 2 binary64) %603 %639)
(fma.f64 #s(literal 2 binary64) %603 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %573 %633)
(fma.f64 #s(literal 2 binary64) %573 %635)
(fma.f64 #s(literal 2 binary64) %573 %637)
(fma.f64 #s(literal 2 binary64) %573 %639)
(fma.f64 #s(literal 2 binary64) %573 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %569 %633)
(fma.f64 #s(literal -1 binary64) %569 %635)
(fma.f64 #s(literal -1 binary64) %569 %637)
(fma.f64 #s(literal -1 binary64) %569 %639)
(fma.f64 #s(literal -1 binary64) %569 #s(literal 0 binary64))
(fma.f64 %369 %33 %633)
(fma.f64 %369 %33 %635)
(fma.f64 %369 %33 %637)
(fma.f64 %369 %33 %639)
(fma.f64 %369 %33 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %557 %557)
(fma.f64 %557 #s(literal 1/2 binary64) %799)
(fma.f64 %557 #s(literal 0 binary64) %557)
(fma.f64 %557 #s(literal 1 binary64) %633)
(fma.f64 %557 #s(literal 1 binary64) %635)
(fma.f64 %557 #s(literal 1 binary64) %637)
(fma.f64 %557 #s(literal 1 binary64) %639)
(fma.f64 %557 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 z %356 %807)
(fma.f64 z x %633)
(fma.f64 z x %635)
(fma.f64 z x %637)
(fma.f64 z x %639)
(fma.f64 z x #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %573 %573)
(fma.f64 #s(literal 1 binary64) %557 %633)
(fma.f64 #s(literal 1 binary64) %557 %635)
(fma.f64 #s(literal 1 binary64) %557 %637)
(fma.f64 #s(literal 1 binary64) %557 %639)
(fma.f64 #s(literal 1 binary64) %557 #s(literal 0 binary64))
(fma.f64 x %27 %820)
(fma.f64 x z %633)
(fma.f64 x z %635)
(fma.f64 x z %637)
(fma.f64 x z %639)
(fma.f64 x z #s(literal 0 binary64))
(+.f64 %799 %799)
(+.f64 %695 %695)
(+.f64 %807 %807)
(+.f64 %820 %820)
(+.f64 %635 %557)
(+.f64 %599 %599)
(+.f64 %601 %601)
(+.f64 %603 %603)
(+.f64 %639 %557)
(+.f64 %573 %573)
(+.f64 %557 %633)
(+.f64 %557 %635)
(+.f64 %557 %637)
(+.f64 %557 %639)
(+.f64 %557 #s(literal 0 binary64))
%844
%846
%848
%850
%852
%853
%855
%856
%857
%859
%861
%863
%864
%867
%869
%871
%873
%875
%877
%879
%881
%883
%884
%885
%887
%890
%892
%894
%896
%898
%899
%901
%904
%906
%908
%910
%912
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%925
%927
%928
%930
%932
%934
%936
%937
%938
%939
%940
%941
%943
%945
%947
%948
%950
%952
%954
%956
%957
%958
%959
%961
%962
%963
%964
%965
%966
%854
%967
%968
%969
%970
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%1000
%1002
%1005
%1006
%1007
%1008
%1009
%1010
%1012
%1013
%1014
%1015
%1016
%1017
%1018
%1019
%1020
%1021
%1022
%844
%846
%848
%850
%852
%853
%855
%856
%857
%859
%861
%863
%864
%867
%869
%871
%873
%875
%877
%879
%881
%883
%884
%885
%887
%890
%892
%894
%896
%898
%899
%901
%904
%906
%908
%910
%912
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%925
%927
%928
%930
%932
%934
%936
%937
%938
%939
%940
%941
%943
%945
%947
%948
%950
%952
%954
%956
%957
%958
%959
%961
%962
%963
%964
%965
%966
%854
%967
%968
%969
%970
%972
%973
%974
%975
%976
%977
%978
%979
%980
%981
%982
%983
%985
%986
%987
%988
%989
%990
%991
%992
%993
%994
%995
%996
%997
%998
%1000
%1002
%1005
%1006
%1007
%1008
%1009
%1010
%1012
%1013
%1014
%1015
%1016
%1017
%1018
%1019
%1020
%1021
%1022
(*.f64 %1025 #s(literal 4 binary64))
(*.f64 %1027 #s(literal 2 binary64))
(*.f64 %1024 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %1023)
(pow.f64 %1023 #s(literal 1 binary64))
(/.f64 (/.f64 %1024 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %1024 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %1036 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %13 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %13 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %13 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %1023 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %1024 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %1050) #s(literal 2 binary64))
(/.f64 (neg.f64 %1024) #s(literal -2 binary64))
(/.f64 %1024 #s(literal 2 binary64))
(/.f64 %1050 #s(literal -2 binary64))
(/.f64 %1023 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1024))
(/.f64 #s(literal 1 binary64) (pow.f64 %1023 #s(literal -1 binary64)))
(neg.f64 %1062)
(fma.f64 %1025 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %1027 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %1024 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %13 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %1023 #s(literal 0 binary64))
(-.f64 %1036 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 %7 #s(literal 1/2 binary64)))
(-.f64 %13 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %1062)
(-.f64 %1023 #s(literal 0 binary64))
%1023
(+.f64 (/.f64 (neg.f64 (+.f64 %7 %7)) #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %1036 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %1036)
(+.f64 %13 #s(literal 1 binary64))
(+.f64 %1023 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %13)
(*.f64 %351 %1084)
(*.f64 %353 %1086)
(*.f64 %353 %1088)
(*.f64 %356 %1024)
(*.f64 #s(literal -2 binary64) %1091)
(*.f64 #s(literal 1/2 binary64) %1093)
(*.f64 #s(literal 2 binary64) %1095)
(*.f64 #s(literal 2 binary64) %1097)
(*.f64 #s(literal -1 binary64) %1099)
(*.f64 %1062 %369)
(*.f64 %369 %1062)
%1103
(*.f64 #s(literal 1 binary64) %1103)
(*.f64 x %1105)
(*.f64 x %1023)
(pow.f64 %1103 #s(literal 1 binary64))
(/.f64 (*.f64 %369 %1050) #s(literal 2 binary64))
(/.f64 (*.f64 %1023 %353) #s(literal 2 binary64))
(/.f64 (*.f64 x %1024) #s(literal 2 binary64))
(/.f64 (*.f64 %1050 %369) #s(literal 2 binary64))
(/.f64 (*.f64 %1024 x) #s(literal 2 binary64))
(/.f64 %1093 #s(literal 2 binary64))
(/.f64 (fma.f64 %1120 #s(literal 2 binary64) %353) #s(literal 2 binary64))
(/.f64 (*.f64 %1024 %353) #s(literal 4 binary64))
(/.f64 (*.f64 %353 %1024) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1103 #s(literal -1 binary64)))
(neg.f64 %1099)
(fma.f64 %1036 x %356)
(fma.f64 %351 %1084 %1131)
(fma.f64 %351 %1084 %1133)
(fma.f64 %351 %1084 #s(literal 0 binary64))
(fma.f64 %353 %1086 %1131)
(fma.f64 %353 %1086 %1133)
(fma.f64 %353 %1086 #s(literal 0 binary64))
(fma.f64 %353 %1088 %1131)
(fma.f64 %353 %1088 %1133)
(fma.f64 %353 %1088 #s(literal 0 binary64))
(fma.f64 %353 (*.f64 #s(literal 1/2 binary64) %13) x)
(fma.f64 %353 #s(literal 1/4 binary64) %1144)
(fma.f64 %353 #s(literal 1/4 binary64) %1146)
(fma.f64 %356 (*.f64 #s(literal 2 binary64) %13) x)
(fma.f64 %356 %1024 %1131)
(fma.f64 %356 %1024 %1133)
(fma.f64 %356 %1024 #s(literal 0 binary64))
(fma.f64 %356 %1023 %1097)
(fma.f64 %356 #s(literal 1 binary64) %1144)
(fma.f64 %356 #s(literal 1 binary64) %1146)
(fma.f64 #s(literal -2 binary64) %1091 %1131)
(fma.f64 #s(literal -2 binary64) %1091 %1133)
(fma.f64 #s(literal -2 binary64) %1091 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %1093 %1131)
(fma.f64 #s(literal 1/2 binary64) %1093 %1133)
(fma.f64 #s(literal 1/2 binary64) %1093 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 %353 %13) x)
(fma.f64 #s(literal 1/2 binary64) x %1144)
(fma.f64 #s(literal 1/2 binary64) x %1146)
(fma.f64 #s(literal 2 binary64) %1095 %1131)
(fma.f64 #s(literal 2 binary64) %1095 %1133)
(fma.f64 #s(literal 2 binary64) %1095 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %946 %1144)
(fma.f64 #s(literal 2 binary64) %946 %1146)
(fma.f64 #s(literal 2 binary64) %1097 %1131)
(fma.f64 #s(literal 2 binary64) %1097 %1133)
(fma.f64 #s(literal 2 binary64) %1097 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %356 %13) x)
(fma.f64 %13 x x)
(fma.f64 #s(literal -1 binary64) %1099 %1131)
(fma.f64 #s(literal -1 binary64) %1099 %1133)
(fma.f64 #s(literal -1 binary64) %1099 #s(literal 0 binary64))
(fma.f64 %1062 %369 %1131)
(fma.f64 %1062 %369 %1133)
(fma.f64 %1062 %369 #s(literal 0 binary64))
(fma.f64 %369 %1062 %1131)
(fma.f64 %369 %1062 %1133)
(fma.f64 %369 %1062 #s(literal 0 binary64))
(fma.f64 %369 %7 x)
(fma.f64 %1023 %356 %1187)
(fma.f64 %1023 x %1131)
(fma.f64 %1023 x %1133)
(fma.f64 %1023 x #s(literal 0 binary64))
(fma.f64 %7 %369 x)
(fma.f64 #s(literal 1 binary64) %356 %1144)
(fma.f64 #s(literal 1 binary64) %356 %1146)
(fma.f64 #s(literal 1 binary64) %1120 x)
(fma.f64 #s(literal 1 binary64) %1103 %1131)
(fma.f64 #s(literal 1 binary64) %1103 %1133)
(fma.f64 #s(literal 1 binary64) %1103 #s(literal 0 binary64))
(fma.f64 x %1105 %1131)
(fma.f64 x %1105 %1133)
(fma.f64 x %1105 #s(literal 0 binary64))
(fma.f64 x %1036 %356)
(fma.f64 x #s(literal 1/2 binary64) %1144)
(fma.f64 x #s(literal 1/2 binary64) %1146)
(fma.f64 x %13 x)
(fma.f64 x %1023 %1131)
(fma.f64 x %1023 %1133)
(fma.f64 x %1023 #s(literal 0 binary64))
(-.f64 %1120 %369)
(-.f64 x (*.f64 %7 x))
(+.f64 %1187 %1187)
(+.f64 %1144 %356)
(+.f64 %1097 %1097)
(+.f64 %1146 %356)
(+.f64 %356 %1144)
(+.f64 %356 %1146)
(+.f64 %1120 x)
(+.f64 %1103 %1131)
(+.f64 %1103 %1133)
(+.f64 %1103 #s(literal 0 binary64))
(+.f64 x %1120)
(*.f64 %353 %1223)
(*.f64 %356 %1225)
(*.f64 #s(literal 1/2 binary64) %1227)
(*.f64 #s(literal 2 binary64) %1229)
%1231
(*.f64 #s(literal 1 binary64) %1231)
(*.f64 x %346)
(pow.f64 %1231 #s(literal 1 binary64))
(/.f64 (*.f64 %346 %353) #s(literal 2 binary64))
(/.f64 %1227 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1231 #s(literal -1 binary64)))
(neg.f64 (*.f64 %369 %346))
(neg.f64 (*.f64 %346 %369))
(fma.f64 %353 %1223 %1244)
(fma.f64 %353 %1223 %1246)
(fma.f64 %356 %1225 %1244)
(fma.f64 %356 %1225 %1246)
(fma.f64 %356 %346 %1229)
(fma.f64 #s(literal 1/2 binary64) %1227 %1244)
(fma.f64 #s(literal 1/2 binary64) %1227 %1246)
(fma.f64 #s(literal 2 binary64) %1229 %1244)
(fma.f64 #s(literal 2 binary64) %1229 %1246)
(fma.f64 %346 %356 %1255)
(fma.f64 %346 x %1244)
(fma.f64 %346 x %1246)
(fma.f64 #s(literal 1 binary64) %1231 %1244)
(fma.f64 #s(literal 1 binary64) %1231 %1246)
(fma.f64 x %346 %1244)
(fma.f64 x %346 %1246)
(+.f64 %1255 %1255)
(+.f64 %1229 %1229)
(+.f64 %1231 %1244)
(+.f64 %1231 %1246)
(*.f64 %353 %1267)
(*.f64 %356 %1269)
(*.f64 #s(literal 1/2 binary64) %1271)
(*.f64 #s(literal 2 binary64) %1273)
%1275
(*.f64 #s(literal 1 binary64) %1275)
(*.f64 x %98)
(pow.f64 %1275 #s(literal 1 binary64))
(/.f64 (*.f64 %98 %353) #s(literal 2 binary64))
(/.f64 %1271 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1275 #s(literal -1 binary64)))
(neg.f64 (*.f64 %369 %98))
(neg.f64 (*.f64 %98 %369))
(fma.f64 %353 %1267 %1288)
(fma.f64 %353 %1267 %1290)
(fma.f64 %356 %1269 %1288)
(fma.f64 %356 %1269 %1290)
(fma.f64 %356 %98 %1273)
(fma.f64 #s(literal 1/2 binary64) %1271 %1288)
(fma.f64 #s(literal 1/2 binary64) %1271 %1290)
(fma.f64 #s(literal 2 binary64) %1273 %1288)
(fma.f64 #s(literal 2 binary64) %1273 %1290)
(fma.f64 %98 %356 %1299)
(fma.f64 %98 x %1288)
(fma.f64 %98 x %1290)
(fma.f64 #s(literal 1 binary64) %1275 %1288)
(fma.f64 #s(literal 1 binary64) %1275 %1290)
(fma.f64 x %98 %1288)
(fma.f64 x %98 %1290)
(+.f64 %1299 %1299)
(+.f64 %1273 %1273)
(+.f64 %1275 %1288)
(+.f64 %1275 %1290)
reconstruct127.0ms (7.8%)
Counts
1 191 → 135
Compiler
Compiled 1 191 to 1 396 computations (-17.2% saved)
eval12.0ms (0.7%)
Compiler
Compiled 126 to 320 computations (-154.0% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (3 fresh and 4 done)
PrunedKeptTotal
New1233126
Fresh000
Picked145
Done000
Total1247131
Accuracy
100.0%
Counts
131 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.0%
(fma.f64 (*.f64 z x) (-.f64 y #s(literal 1 binary64)) x)
▶79.5%
(fma.f64 z (approx (* (- y 1) x) (*.f64 x y)) x)
▶2.9%
(*.f64 (approx x #s(literal 0 binary64)) (-.f64 #s(literal 1 binary64) (approx (* (- 1 y) z) z)))
✓60.4%
(*.f64 x (-.f64 #s(literal 1 binary64) (approx (* (- 1 y) z) z)))
✓58.3%
(*.f64 x (approx (- 1 (* (- 1 y) z)) (*.f64 z (-.f64 y #s(literal 1 binary64)))))
✓40.1%
(*.f64 x (approx (- 1 (* (- 1 y) z)) (*.f64 y z)))
▶40.4%
(*.f64 x (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64)))
Compiler
Compiled 7 to 18 computations (-157.1% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series17.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0150690
Stop Event
1×iter-limit
Counts
14 → 44
Calls
Call 1
Inputs
%5 = (approx x #s(literal 0 binary64))
%8 = (* (- 1 y) z)
%9 = (approx %8 z)
%10 = (-.f64 #s(literal 1 binary64) %9)
%11 = (*.f64 x y)
%14 = (approx (* (- y 1) x) %11)
%16 = (approx (- 1 %8) #s(literal 1 binary64))
x
#s(literal 1 binary64)
y
z
#s(literal 0 binary64)
%5
%9
%10
%11
%14
%16
(*.f64 x %16)
(fma.f64 z %14 x)
(*.f64 %5 %10)
Outputs
%6 = (*.f64 x y)
%10 = (* (- y 1) x)
%12 = (-.f64 y #s(literal 1 binary64))
%13 = (*.f64 x %12)
%17 = (* (- 1 y) z)
%18 = (- 1 %17)
%19 = (* x %18)
%20 = (-.f64 #s(literal 1 binary64) y)
%21 = (*.f64 z %20)
%26 = (+ (* z %10) x)
%27 = (*.f64 z %12)
%28 = (+.f64 #s(literal 1 binary64) %27)
%39 = (*.f64 y z)
%40 = (*.f64 #s(literal -1 binary64) %39)
%43 = (-.f64 #s(literal 1 binary64) z)
%52 = (*.f64 x %43)
%56 = (*.f64 x z)
%58 = (+.f64 x (*.f64 #s(literal -1 binary64) %56))
%60 = (*.f64 x %39)
%65 = (/.f64 z y)
%66 = (fma.f64 #s(literal -1 binary64) z %65)
%74 = (/.f64 x y)
%80 = (/.f64 %52 y)
%118 = (*.f64 x %27)
%122 = (/.f64 #s(literal 1 binary64) z)
%128 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* x y) %6)
(approx %10 %13)
(approx %19 (*.f64 x (-.f64 #s(literal 1 binary64) %21)))
(approx %26 (*.f64 x %28))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %27) #s(literal 1 binary64)))))
(approx y y)
(approx %17 z)
(approx %17 (+.f64 z %40))
(approx %18 %43)
(approx %18 (-.f64 (+.f64 #s(literal 1 binary64) %39) z))
(approx %10 (*.f64 #s(literal -1 binary64) x))
(approx %10 (fma.f64 #s(literal -1 binary64) x %6))
(approx %19 %52)
(approx %19 (fma.f64 x %39 %52))
(approx %26 %58)
(approx %26 (+.f64 x (fma.f64 #s(literal -1 binary64) %56 %60)))
(approx %17 %40)
(approx %17 (*.f64 y %66))
(approx %18 %39)
(approx %18 (*.f64 y (-.f64 (/.f64 #s(literal 1 binary64) y) %66)))
(approx %10 (*.f64 y (+.f64 x (*.f64 #s(literal -1 binary64) %74))))
(approx %19 %60)
(approx %19 (*.f64 y (fma.f64 x z %80)))
(approx %26 (*.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 %56 y) (fma.f64 x z %74))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 z (*.f64 #s(literal -1 binary64) %65)))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %43 y)) z))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %74))))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %56 (*.f64 #s(literal -1 binary64) %80)))))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %56 (*.f64 #s(literal -1 binary64) (/.f64 %58 y))))))
(approx %17 %21)
(approx %18 #s(literal 1 binary64))
(approx %18 %28)
(approx %19 (+.f64 x %118))
(approx %18 %27)
(approx %18 (*.f64 z (-.f64 (+.f64 y %122) #s(literal 1 binary64))))
(approx %19 %118)
(approx %19 (*.f64 z (fma.f64 x %12 %128)))
(approx %18 (*.f64 #s(literal -1 binary64) %21))
(approx %18 (*.f64 z (fma.f64 #s(literal -1 binary64) %20 %122)))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 x %21)))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %128 (*.f64 x %20)))))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %13 (*.f64 #s(literal -1 binary64) %128)))))
Calls
9 calls:
TimeVariablePoint
2.0ms
x
inf
2.0ms
z
inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
-inf
rewrite74.0ms (4.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01981
02581
17781
216281
360681
0412781
0426979
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
14 → 314
Calls
Call 1
Inputs
%5 = (approx x #s(literal 0 binary64))
%8 = (* (- 1 y) z)
%9 = (approx %8 z)
%10 = (-.f64 #s(literal 1 binary64) %9)
%11 = (*.f64 x y)
%14 = (approx (* (- y 1) x) %11)
%16 = (approx (- 1 %8) #s(literal 1 binary64))
x
#s(literal 1 binary64)
y
z
#s(literal 0 binary64)
%5
%9
%10
%11
%14
%16
(*.f64 x %16)
(fma.f64 z %14 x)
(*.f64 %5 %10)
Outputs
%5 = (approx x #s(literal 0 binary64))
%6 = (+.f64 %5 %5)
%8 = (/.f64 %6 #s(literal 8 binary64))
%12 = (*.f64 #s(literal 1/2 binary64) %5)
%13 = (*.f64 %12 #s(literal 1/2 binary64))
%16 = (*.f64 %5 #s(literal -2 binary64))
%19 = (/.f64 %5 #s(literal 1/2 binary64))
%24 = (neg.f64 %5)
%27 = (/.f64 %5 #s(literal 4 binary64))
%29 = (*.f64 #s(literal -1/2 binary64) %5)
%39 = (E.f64 )
%86 = (*.f64 #s(literal 1/2 binary64) %12)
%98 = (*.f64 %12 #s(literal 3/2 binary64))
%106 = (*.f64 #s(literal 3/2 binary64) %12)
%133 = (* (- 1 y) z)
%134 = (approx %133 z)
%139 = (neg.f64 %134)
%141 = (-.f64 #s(literal 1 binary64) %134)
%142 = (*.f64 #s(literal 2 binary64) %141)
%143 = (/.f64 %142 #s(literal 8 binary64))
%145 = (/.f64 %142 #s(literal 4 binary64))
%154 = (-.f64 #s(literal 1/2 binary64) %134)
%180 = (fma.f64 %134 #s(literal 2 binary64) #s(literal -2 binary64))
%192 = (-.f64 %134 #s(literal 1 binary64))
%208 = (neg.f64 (+.f64 %134 %134))
%216 = (*.f64 y x)
%222 = (neg.f64 x)
%232 = (approx (* (- y 1) x) %216)
%237 = (neg.f64 %232)
%240 = (approx (- 1 %133) #s(literal 1 binary64))
%245 = (*.f64 %240 x)
%255 = (fma.f64 %232 z x)
%263 = (+.f64 z z)
%266 = (*.f64 #s(literal 1/2 binary64) z)
%278 = (neg.f64 z)
%285 = (*.f64 %232 z)
%294 = (*.f64 %141 #s(literal 1/2 binary64))
%296 = (*.f64 %141 #s(literal 1 binary64))
%298 = (*.f64 %141 %6)
%300 = (*.f64 %141 %12)
%302 = (*.f64 #s(literal 1/2 binary64) %141)
%307 = (*.f64 %6 %141)
%309 = (*.f64 %12 %141)
%312 = (*.f64 %141 %5)
%327 = (*.f64 %139 %5)
%338 = (*.f64 %141 #s(literal 0 binary64))
%340 = (*.f64 #s(literal 0 binary64) %141)
%359 = (*.f64 %5 %154)
%361 = (*.f64 %154 %5)
x
#s(literal 1 binary64)
y
z
#s(literal 0 binary64)
(*.f64 %8 #s(literal 4 binary64))
(*.f64 %13 #s(literal 4 binary64))
(*.f64 %16 #s(literal -1/2 binary64))
(*.f64 %19 #s(literal 1/2 binary64))
(*.f64 %6 #s(literal 1/2 binary64))
(*.f64 %12 #s(literal 2 binary64))
(*.f64 %24 #s(literal -1 binary64))
(*.f64 #s(literal 4 binary64) %27)
(*.f64 #s(literal -2 binary64) %29)
(*.f64 #s(literal 1/2 binary64) %6)
(*.f64 #s(literal 2 binary64) %12)
(*.f64 #s(literal -1 binary64) %24)
(*.f64 %5 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
%5
(/.f64 (*.f64 %12 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %5 %39) %39)
(/.f64 (*.f64 %5 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %12) #s(literal 4 binary64))
(/.f64 (*.f64 %39 %5) %39)
(/.f64 (*.f64 #s(literal 4 binary64) %5) #s(literal 4 binary64))
(/.f64 (/.f64 %6 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %6 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %5) #s(literal -2 binary64))
(/.f64 %16 #s(literal -2 binary64))
(/.f64 (*.f64 %6 %39) (*.f64 #s(literal 2 binary64) %39))
(/.f64 (*.f64 %39 %6) (*.f64 %39 #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal -2 binary64) %6) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %6) #s(literal 4 binary64))
(/.f64 (*.f64 %6 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %6 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %6 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %6) #s(literal 8 binary64))
(/.f64 (neg.f64 %6) #s(literal -2 binary64))
(/.f64 %6 #s(literal 2 binary64))
(/.f64 %5 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %6))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(neg.f64 %24)
(fma.f64 %8 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %86 #s(literal 2 binary64) %12)
(fma.f64 %13 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %16 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %19 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %6 %12)
(fma.f64 #s(literal 3/2 binary64) %12 %86)
(fma.f64 %6 #s(literal 1/4 binary64) %12)
(fma.f64 %6 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %12 #s(literal 3/2 binary64) %13)
(fma.f64 %12 #s(literal 1/2 binary64) %98)
(fma.f64 %12 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %12 #s(literal 1 binary64) %12)
(fma.f64 %24 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %27 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %29 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %6 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %12 %106)
(fma.f64 #s(literal 1/2 binary64) %5 %12)
(fma.f64 #s(literal 2 binary64) %13 %12)
(fma.f64 #s(literal 2 binary64) %12 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %24 #s(literal 0 binary64))
(fma.f64 %5 #s(literal 1/2 binary64) %12)
(fma.f64 %5 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %12 %12)
(fma.f64 #s(literal 1 binary64) %5 #s(literal 0 binary64))
(-.f64 %12 (*.f64 %24 #s(literal 1/2 binary64)))
(-.f64 %12 %29)
(-.f64 %12 (neg.f64 %12))
(-.f64 %5 (*.f64 %24 #s(literal 0 binary64)))
(-.f64 %5 #s(literal 0 binary64))
(+.f64 %98 %13)
(+.f64 %106 %86)
(+.f64 %86 %106)
(+.f64 %13 %98)
(+.f64 %12 %12)
(+.f64 %5 #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) %5)
(*.f64 #s(literal 1 binary64) %134)
(pow.f64 %134 #s(literal 1 binary64))
%134
(/.f64 #s(literal 1 binary64) (pow.f64 %134 #s(literal -1 binary64)))
(neg.f64 %139)
(*.f64 %143 #s(literal 4 binary64))
(*.f64 %145 #s(literal 2 binary64))
(*.f64 %142 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %141)
(pow.f64 %141 #s(literal 1 binary64))
(/.f64 (/.f64 %142 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %142 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %154 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %139 %39 %39) %39)
(/.f64 (fma.f64 %139 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %139 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %139 #s(literal 1 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (fma.f64 %141 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %141 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %139 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %141 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %142 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (fma.f64 %142 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (fma.f64 %142 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (neg.f64 %180) #s(literal 2 binary64))
(/.f64 (neg.f64 %142) #s(literal -2 binary64))
(/.f64 %142 #s(literal 2 binary64))
(/.f64 %180 #s(literal -2 binary64))
(/.f64 %141 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %142))
(/.f64 #s(literal 1 binary64) (pow.f64 %141 #s(literal -1 binary64)))
(neg.f64 %192)
(fma.f64 %143 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %145 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %142 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %139 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %141 #s(literal 0 binary64))
(-.f64 %154 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 %134 #s(literal 1/2 binary64)))
(-.f64 %139 #s(literal -1 binary64))
(-.f64 %141 #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) %192)
%141
(+.f64 (-.f64 %139 #s(literal 0 binary64)) #s(literal 1 binary64))
(+.f64 (/.f64 %208 #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %154 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) %154)
(+.f64 %139 #s(literal 1 binary64))
(+.f64 %141 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %139)
%216
(*.f64 #s(literal 1 binary64) %216)
(*.f64 x y)
(pow.f64 %216 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %216 #s(literal -1 binary64)))
(neg.f64 (*.f64 y %222))
(neg.f64 (*.f64 %222 y))
(neg.f64 (*.f64 (neg.f64 y) x))
(*.f64 #s(literal 1 binary64) %232)
(pow.f64 %232 #s(literal 1 binary64))
%232
(/.f64 #s(literal 1 binary64) (pow.f64 %232 #s(literal -1 binary64)))
(neg.f64 %237)
(*.f64 #s(literal 1 binary64) %240)
(pow.f64 %240 #s(literal 1 binary64))
%240
(/.f64 #s(literal 1 binary64) (pow.f64 %240 #s(literal -1 binary64)))
%245
(*.f64 #s(literal 1 binary64) %245)
(*.f64 x %240)
(pow.f64 %245 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %245 #s(literal -1 binary64)))
(neg.f64 (*.f64 %222 %240))
(neg.f64 (*.f64 %240 %222))
(*.f64 #s(literal 1 binary64) %255)
(pow.f64 %255 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %255 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %255))
(fma.f64 (*.f64 %232 #s(literal 1/2 binary64)) %263 x)
(fma.f64 (*.f64 %232 #s(literal 2 binary64)) %266 x)
(fma.f64 (*.f64 %232 #s(literal 1 binary64)) z x)
(fma.f64 (*.f64 %232 %263) #s(literal 1/2 binary64) x)
(fma.f64 (*.f64 %232 %266) #s(literal 2 binary64) x)
(fma.f64 %263 (*.f64 #s(literal 1/2 binary64) %232) x)
(fma.f64 %266 (*.f64 #s(literal 2 binary64) %232) x)
(fma.f64 %237 %278 x)
(fma.f64 %278 %237 x)
(fma.f64 #s(literal 1/2 binary64) (*.f64 %263 %232) x)
(fma.f64 #s(literal 2 binary64) (*.f64 %266 %232) x)
(fma.f64 %285 #s(literal 1 binary64) x)
%255
(fma.f64 z %232 x)
(fma.f64 #s(literal 1 binary64) %285 x)
(-.f64 %285 %222)
(-.f64 x (*.f64 %278 %232))
(+.f64 %285 x)
(+.f64 x %285)
(*.f64 %294 %6)
(*.f64 %296 %5)
(*.f64 %298 #s(literal 1/2 binary64))
(*.f64 %300 #s(literal 2 binary64))
(*.f64 %6 %302)
(*.f64 %12 %142)
(*.f64 %24 %192)
(*.f64 %142 %12)
(*.f64 #s(literal 1/2 binary64) %307)
(*.f64 #s(literal 2 binary64) %309)
(*.f64 %192 %24)
(*.f64 %312 #s(literal 1 binary64))
%312
(*.f64 %5 %141)
(*.f64 #s(literal 1 binary64) %312)
(pow.f64 %312 #s(literal 1 binary64))
(/.f64 (*.f64 %24 %180) #s(literal 2 binary64))
(/.f64 %298 #s(literal 2 binary64))
(/.f64 (*.f64 %5 %142) #s(literal 2 binary64))
(/.f64 (*.f64 %180 %24) #s(literal 2 binary64))
(/.f64 (*.f64 %142 %5) #s(literal 2 binary64))
(/.f64 %307 #s(literal 2 binary64))
(/.f64 (fma.f64 %327 #s(literal 2 binary64) %6) #s(literal 2 binary64))
(/.f64 (*.f64 %142 %6) #s(literal 4 binary64))
(/.f64 (*.f64 %6 %142) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %312 #s(literal -1 binary64)))
(neg.f64 (*.f64 %192 %5))
(fma.f64 %294 %6 %338)
(fma.f64 %294 %6 %340)
(fma.f64 %294 %6 #s(literal 0 binary64))
(fma.f64 %296 %5 %338)
(fma.f64 %296 %5 %340)
(fma.f64 %296 %5 #s(literal 0 binary64))
(fma.f64 %298 #s(literal 1/2 binary64) %338)
(fma.f64 %298 #s(literal 1/2 binary64) %340)
(fma.f64 %298 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %139 %6) #s(literal 1/2 binary64) %5)
(fma.f64 %8 #s(literal 4 binary64) %327)
(fma.f64 %300 #s(literal 2 binary64) %338)
(fma.f64 %300 #s(literal 2 binary64) %340)
(fma.f64 %300 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %139 %12) #s(literal 2 binary64) %5)
(fma.f64 (*.f64 %139 #s(literal 1/2 binary64)) %6 %5)
(fma.f64 %86 #s(literal 2 binary64) %359)
(fma.f64 %86 #s(literal 2 binary64) %361)
(fma.f64 %13 #s(literal 4 binary64) %327)
(fma.f64 %16 #s(literal -1/2 binary64) %327)
(fma.f64 (*.f64 %139 #s(literal 1 binary64)) %5 %5)
(fma.f64 %19 #s(literal 1/2 binary64) %327)
(fma.f64 #s(literal 1/4 binary64) %6 %359)
(fma.f64 #s(literal 1/4 binary64) %6 %361)
(fma.f64 %154 %5 %12)
(fma.f64 %6 %302 %338)
(fma.f64 %6 %302 %340)
(fma.f64 %6 %302 #s(literal 0 binary64))
(fma.f64 %6 (*.f64 #s(literal 1/2 binary64) %139) %5)
(fma.f64 %6 #s(literal 1/4 binary64) %359)
(fma.f64 %6 #s(literal 1/4 binary64) %361)
(fma.f64 %6 #s(literal 1/2 binary64) %327)
(fma.f64 %12 (*.f64 #s(literal 2 binary64) %139) %5)
(fma.f64 %12 %142 %338)
(fma.f64 %12 %142 %340)
(fma.f64 %12 %142 #s(literal 0 binary64))
(fma.f64 %12 #s(literal 2 binary64) %327)
(fma.f64 %12 %141 %309)
(fma.f64 %12 #s(literal 1 binary64) %359)
(fma.f64 %12 #s(literal 1 binary64) %361)
(fma.f64 %24 #s(literal -1 binary64) %327)
(fma.f64 %24 %192 %338)
(fma.f64 %24 %192 %340)
(fma.f64 %24 %192 #s(literal 0 binary64))
(fma.f64 %24 %134 %5)
(fma.f64 %142 %12 %338)
(fma.f64 %142 %12 %340)
(fma.f64 %142 %12 #s(literal 0 binary64))
(fma.f64 %208 %12 %5)
(fma.f64 #s(literal 4 binary64) %27 %327)
(fma.f64 %327 #s(literal 1 binary64) %5)
(fma.f64 #s(literal -2 binary64) %29 %327)
(fma.f64 #s(literal 1/2 binary64) %307 %338)
(fma.f64 #s(literal 1/2 binary64) %307 %340)
(fma.f64 #s(literal 1/2 binary64) %307 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 %6 %139) %5)
(fma.f64 #s(literal 1/2 binary64) %6 %327)
(fma.f64 #s(literal 1/2 binary64) %5 %359)
(fma.f64 #s(literal 1/2 binary64) %5 %361)
(fma.f64 #s(literal 2 binary64) %309 %338)
(fma.f64 #s(literal 2 binary64) %309 %340)
(fma.f64 #s(literal 2 binary64) %309 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %12 %139) %5)
(fma.f64 #s(literal 2 binary64) %13 %359)
(fma.f64 #s(literal 2 binary64) %13 %361)
(fma.f64 #s(literal 2 binary64) %12 %327)
(fma.f64 #s(literal -1 binary64) %24 %327)
(fma.f64 %139 %5 %5)
(fma.f64 %192 %24 %338)
(fma.f64 %192 %24 %340)
(fma.f64 %192 %24 #s(literal 0 binary64))
(fma.f64 %312 #s(literal 1 binary64) %338)
(fma.f64 %312 #s(literal 1 binary64) %340)
(fma.f64 %312 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %141 %12 %300)
(fma.f64 %141 %5 %338)
(fma.f64 %141 %5 %340)
(fma.f64 %141 %5 #s(literal 0 binary64))
(fma.f64 %134 %24 %5)
(fma.f64 %5 %154 %12)
(fma.f64 %5 #s(literal 1/2 binary64) %359)
(fma.f64 %5 #s(literal 1/2 binary64) %361)
(fma.f64 %5 %139 %5)
(fma.f64 %5 %141 %338)
(fma.f64 %5 %141 %340)
(fma.f64 %5 %141 #s(literal 0 binary64))
(fma.f64 %5 #s(literal 1 binary64) %327)
(fma.f64 #s(literal 1 binary64) %12 %359)
(fma.f64 #s(literal 1 binary64) %12 %361)
(fma.f64 #s(literal 1 binary64) %327 %5)
(fma.f64 #s(literal 1 binary64) %312 %338)
(fma.f64 #s(literal 1 binary64) %312 %340)
(fma.f64 #s(literal 1 binary64) %312 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %5 %327)
(-.f64 %327 %24)
(-.f64 %5 (*.f64 %134 %5))
(+.f64 %300 %300)
(+.f64 %359 %12)
(+.f64 %309 %309)
(+.f64 %361 %12)
(+.f64 %12 %359)
(+.f64 %12 %361)
(+.f64 %327 %5)
(+.f64 %312 %338)
(+.f64 %312 %340)
(+.f64 %312 #s(literal 0 binary64))
(+.f64 %5 %327)
reconstruct30.0ms (1.9%)
Counts
357 → 57
Compiler
Compiled 357 to 537 computations (-50.4% saved)
eval5.0ms (0.3%)
Compiler
Compiled 49 to 145 computations (-195.9% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (1 fresh and 6 done)
PrunedKeptTotal
New48149
Fresh000
Picked123
Done044
Total49756
Accuracy
100.0%
Counts
56 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.0%
(fma.f64 (*.f64 z x) (-.f64 y #s(literal 1 binary64)) x)
✓79.5%
(fma.f64 z (approx (* (- y 1) x) (*.f64 x y)) x)
▶2.9%
(*.f64 (approx x #s(literal 0 binary64)) (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64)))
✓60.4%
(*.f64 x (-.f64 #s(literal 1 binary64) (approx (* (- 1 y) z) z)))
✓58.3%
(*.f64 x (approx (- 1 (* (- 1 y) z)) (*.f64 z (-.f64 y #s(literal 1 binary64)))))
✓40.1%
(*.f64 x (approx (- 1 (* (- 1 y) z)) (*.f64 y z)))
✓40.4%
(*.f64 x (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64)))
Compiler
Compiled 7 to 18 computations (-157.1% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series17.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
088389
Stop Event
1×iter-limit
Counts
6 → 24
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%10 = (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64))
x
#s(literal 1 binary64)
#s(literal 0 binary64)
%3
%10
(*.f64 %3 %10)
Outputs
%9 = (- 1 (* (- 1 y) z))
%10 = (* x %9)
%12 = (-.f64 #s(literal 1 binary64) y)
%13 = (*.f64 z %12)
%17 = (-.f64 #s(literal 1 binary64) z)
%19 = (*.f64 y z)
%23 = (*.f64 x %17)
%37 = (/.f64 %23 y)
%54 = (-.f64 y #s(literal 1 binary64))
%55 = (*.f64 z %54)
%58 = (*.f64 x %55)
%62 = (/.f64 #s(literal 1 binary64) z)
%68 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %10 (*.f64 x (-.f64 #s(literal 1 binary64) %13)))
(approx %9 %17)
(approx %9 (-.f64 (+.f64 #s(literal 1 binary64) %19) z))
(approx %10 %23)
(approx %10 (fma.f64 x %19 %23))
(approx %9 %19)
(approx %9 (*.f64 y (-.f64 (/.f64 #s(literal 1 binary64) y) (fma.f64 #s(literal -1 binary64) z (/.f64 z y)))))
(approx %10 (*.f64 x %19))
(approx %10 (*.f64 y (fma.f64 x z %37)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %17 y)) z))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) (*.f64 x z) (*.f64 #s(literal -1 binary64) %37)))))
(approx %9 #s(literal 1 binary64))
(approx %9 (+.f64 #s(literal 1 binary64) %55))
(approx %10 (+.f64 x %58))
(approx %9 %55)
(approx %9 (*.f64 z (-.f64 (+.f64 y %62) #s(literal 1 binary64))))
(approx %10 %58)
(approx %10 (*.f64 z (fma.f64 x %54 %68)))
(approx %9 (*.f64 #s(literal -1 binary64) %13))
(approx %9 (*.f64 z (fma.f64 #s(literal -1 binary64) %12 %62)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x %13)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %68 (*.f64 x %12)))))
Calls
9 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
z
inf
1.0ms
z
-inf
1.0ms
x
-inf
0.0ms
y
inf
rewrite124.0ms (7.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01128
01228
14228
29328
332228
4281028
0413028
0420726
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 16
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%10 = (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64))
x
#s(literal 1 binary64)
#s(literal 0 binary64)
%3
%10
(*.f64 %3 %10)
Outputs
%3 = (approx x #s(literal 0 binary64))
%15 = (approx (- 1 (* z (- 1 y))) #s(literal 1 binary64))
%20 = (*.f64 %15 %3)
x
#s(literal 1 binary64)
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
%3
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %15)
(pow.f64 %15 #s(literal 1 binary64))
%15
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -1 binary64)))
%20
(*.f64 %3 %15)
(*.f64 #s(literal 1 binary64) %20)
(pow.f64 %20 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %20 #s(literal -1 binary64)))
reconstruct3.0ms (0.2%)
Counts
40 → 25
Compiler
Compiled 40 to 70 computations (-75.0% saved)
eval2.0ms (0.1%)
Compiler
Compiled 20 to 61 computations (-205.0% saved)
prune1.0ms (0.1%)
Pruning
7 alts after pruning (0 fresh and 7 done)
PrunedKeptTotal
New20020
Fresh000
Picked011
Done066
Total20727
Accuracy
100.0%
Counts
27 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.0%
(fma.f64 (*.f64 z x) (-.f64 y #s(literal 1 binary64)) x)
✓79.5%
(fma.f64 z (approx (* (- y 1) x) (*.f64 x y)) x)
✓2.9%
(*.f64 (approx x #s(literal 0 binary64)) (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64)))
✓60.4%
(*.f64 x (-.f64 #s(literal 1 binary64) (approx (* (- 1 y) z) z)))
✓58.3%
(*.f64 x (approx (- 1 (* (- 1 y) z)) (*.f64 z (-.f64 y #s(literal 1 binary64)))))
✓40.1%
(*.f64 x (approx (- 1 (* (- 1 y) z)) (*.f64 y z)))
✓40.4%
(*.f64 x (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64)))
Compiler
Compiled 7 to 18 computations (-157.1% saved)
regimes40.0ms (2.4%)
Accuracy
Total 9.1b remaining (11.8%)
Threshold costs 0.4b (0.5%)
6.3b70.6%
1.2b-0.0%
1.2b90.1%
0.3b0.0%
0.0b96.8%
Counts
1 → 1
3 → 1
5 → 3
6 → 3
8 → 1
9 → 2
10 → 2
Calls
Call 1
Inputs
(*.f64 x (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64)))
Outputs
(*.f64 x (approx (- 1 (* (- 1 y) z)) #s(literal 1 binary64)))
Call 2
Inputs
%5 = (* (- 1 y) z)
%8 = (approx (- 1 %5) #s(literal 1 binary64))
(*.f64 x %8)
(*.f64 (approx x #s(literal 0 binary64)) %8)
(*.f64 x (-.f64 #s(literal 1 binary64) (approx %5 z)))
Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) (approx (* (- 1 y) z) z)))
Call 3
Inputs
%5 = (* (- 1 y) z)
%6 = (- 1 %5)
%8 = (approx %6 #s(literal 1 binary64))
%11 = (approx x #s(literal 0 binary64))
%14 = (-.f64 #s(literal 1 binary64) (approx %5 z))
(*.f64 x %8)
(*.f64 %11 %8)
(*.f64 x %14)
(*.f64 %11 %14)
(*.f64 x (approx %6 (*.f64 y z)))
Outputs
%5 = (* (- 1 y) z)
%9 = (*.f64 x (approx (- 1 %5) (*.f64 y z)))
%9
(*.f64 x (-.f64 #s(literal 1 binary64) (approx %5 z)))
%9
Call 4
Inputs
%5 = (* (- 1 y) z)
%6 = (- 1 %5)
%8 = (approx %6 #s(literal 1 binary64))
%11 = (approx x #s(literal 0 binary64))
%14 = (-.f64 #s(literal 1 binary64) (approx %5 z))
(*.f64 x %8)
(*.f64 %11 %8)
(*.f64 x %14)
(*.f64 %11 %14)
(*.f64 x (approx %6 (*.f64 y z)))
(fma.f64 z (approx (* (- y 1) x) (*.f64 x y)) x)
Outputs
%8 = (fma.f64 z (approx (* (- y 1) x) (*.f64 x y)) x)
%8
(*.f64 x (-.f64 #s(literal 1 binary64) (approx (* (- 1 y) z) z)))
%8
Call 5
Inputs
%5 = (* (- 1 y) z)
%6 = (- 1 %5)
%8 = (approx %6 #s(literal 1 binary64))
%11 = (approx x #s(literal 0 binary64))
%14 = (-.f64 #s(literal 1 binary64) (approx %5 z))
%25 = (-.f64 y #s(literal 1 binary64))
(*.f64 x %8)
(*.f64 %11 %8)
(*.f64 x %14)
(*.f64 %11 %14)
(*.f64 x (approx %6 (*.f64 y z)))
(fma.f64 z (approx (* (- y 1) x) (*.f64 x y)) x)
(*.f64 x (approx %6 (*.f64 z %25)))
(fma.f64 z (*.f64 %25 x) x)
Outputs
(fma.f64 z (*.f64 (-.f64 y #s(literal 1 binary64)) x) x)
Call 6
Inputs
%5 = (* (- 1 y) z)
%6 = (- 1 %5)
%8 = (approx %6 #s(literal 1 binary64))
%11 = (approx x #s(literal 0 binary64))
%14 = (-.f64 #s(literal 1 binary64) (approx %5 z))
%25 = (-.f64 y #s(literal 1 binary64))
(*.f64 x %8)
(*.f64 %11 %8)
(*.f64 x %14)
(*.f64 %11 %14)
(*.f64 x (approx %6 (*.f64 y z)))
(fma.f64 z (approx (* (- y 1) x) (*.f64 x y)) x)
(*.f64 x (approx %6 (*.f64 z %25)))
(fma.f64 z (*.f64 %25 x) x)
(fma.f64 (*.f64 z x) %25 x)
Outputs
%3 = (-.f64 y #s(literal 1 binary64))
(fma.f64 z (*.f64 %3 x) x)
(fma.f64 (*.f64 z x) %3 x)
Call 7
Inputs
%5 = (* (- 1 y) z)
%6 = (- 1 %5)
%8 = (approx %6 #s(literal 1 binary64))
%11 = (approx x #s(literal 0 binary64))
%14 = (-.f64 #s(literal 1 binary64) (approx %5 z))
%25 = (-.f64 y #s(literal 1 binary64))
(*.f64 x %8)
(*.f64 %11 %8)
(*.f64 x %14)
(*.f64 %11 %14)
(*.f64 x (approx %6 (*.f64 y z)))
(fma.f64 z (approx (* (- y 1) x) (*.f64 x y)) x)
(*.f64 x (approx %6 (*.f64 z %25)))
(fma.f64 z (*.f64 %25 x) x)
(fma.f64 (*.f64 z x) %25 x)
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) y) z)))
Outputs
(fma.f64 z (*.f64 (-.f64 y #s(literal 1 binary64)) x) x)
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) y) z)))
Calls
7 calls:
7.0ms
y
6.0ms
x
6.0ms
(*.f64 (-.f64 #s(literal 1 binary64) y) z)
6.0ms
z
5.0ms
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) y) z)))
Results
AccuracySegmentsBranch
40.4%1
z
40.4%1
y
40.4%1
x
40.4%1
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) y) z)))
40.4%1
(-.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) y) z))
40.4%1
(*.f64 (-.f64 #s(literal 1 binary64) y) z)
40.4%1
(-.f64 #s(literal 1 binary64) y)
Compiler
Compiled 17 to 33 computations (-94.1% saved)
bsearch2.0ms (0.1%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
1.0ms
3.790276828303043e-54
1.2014353339475216e-53
Samples
0.0ms16×0valid
Compiler
Compiled 14 to 22 computations (-57.1% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch1.0ms (0.1%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
1.0ms
3.3832657300342604e-87
1.5846113401787012e-86
Samples
0.0ms16×0valid
Compiler
Compiled 14 to 20 computations (-42.9% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1.0012090316397477
1.0390884803499936
0.0ms
-9373331.684899932
0.9962535999933754
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch13.0ms (0.8%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
7.0ms
0.0037464000066246743
9373332.684899932
8.0ms
-2.7021837473509395e+34
-9.343555248607096e+30
Samples
7.0ms272×0valid
Compiler
Compiled 16 to 27 computations (-68.8% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations66.0ms (4.0%)
Stop Event
1×done
Compiler
Compiled 7 to 38 computations (-442.9% saved)
preprocess62.0ms (3.8%)
Compiler
Compiled 22 to 192 computations (-772.7% saved)
end0.0ms (0.0%)
gc304ms (18.7%)
Allocations
AllocatedPercentPhase
468.5 MiB28.3%sample
425.4 MiB25.7%rewrite
210.8 MiB12.8%reconstruct
162.5 MiB9.8%regimes
151.0 MiB9.1%preprocess
79.1 MiB4.8%series
57.7 MiB3.5%derivations
42.5 MiB2.6%bsearch
39.4 MiB2.4%eval
15.6 MiB0.9%prune
0.4 MiB0.0%analyze
0.1 MiB0.0%start
0.0 MiB0.0%end
1 653.0 MiB100.0%total
Profiling
Loading profile data...