Data.Colour.CIE:cieLAB from colour-2.3.3, C

Time bar (total: 1.1s)

start0.0ms (0.0%)

analyze1.0ms (0.1%)

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

Compiled 7 to 7 computations (0.0% saved)

sample236.0ms (21.6%)

Samples
171.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 6.0ms
Div: 4.0ms (63.5% of total, 0.0 MiB)
Add: 2.0ms (31.8% of total, 0.0 MiB)
Bogosity

preprocess33.0ms (3.1%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01434
17430
223730
368830
4272730
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 x (/.f64 y #s(literal 500 binary64)))
Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series9.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03691
Stop Event
1×iter-limit
Counts
5 → 9
Calls
Call 1
Inputs
%3 = (/.f64 y #s(literal 500 binary64))
x
y
#s(literal 500 binary64)
%3
(+.f64 x %3)
Outputs
%7 = (+ x (/ y 500))
%9 = (*.f64 #s(literal 1/500 binary64) y)
%14 = (/.f64 y x)
%27 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %7 (+.f64 x %9))
(approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/500 binary64) %14))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/500 binary64) %14) #s(literal 1 binary64)))))
(approx y y)
(approx %7 (*.f64 y (+.f64 #s(literal 1/500 binary64) %27)))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %27) #s(literal 1/500 binary64)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
-inf
1.0ms
y
inf
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite84.0ms (7.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
12911
28811
328611
4112711
0403511
0420710
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 734
Calls
Call 1
Inputs
%3 = (/.f64 y #s(literal 500 binary64))
x
y
#s(literal 500 binary64)
%3
(+.f64 x %3)
Outputs
%3 = (+.f64 y y)
%4 = (*.f64 #s(literal 500 binary64) %3)
%6 = (/.f64 %4 #s(literal -500 binary64))
%10 = (*.f64 y #s(literal -2 binary64))
%12 = (/.f64 %10 #s(literal -1 binary64))
%15 = (*.f64 #s(literal -1 binary64) %3)
%16 = (/.f64 %15 #s(literal -1 binary64))
%18 = (neg.f64 y)
%20 = (*.f64 %18 #s(literal 1/2 binary64))
%21 = (/.f64 %20 #s(literal -1 binary64))
%24 = (neg.f64 %3)
%25 = (/.f64 %24 #s(literal -1 binary64))
%28 = (/.f64 %10 #s(literal 1 binary64))
%30 = (/.f64 %10 #s(literal 500 binary64))
%33 = (/.f64 %15 #s(literal 1 binary64))
%35 = (/.f64 %15 #s(literal 500 binary64))
%37 = (/.f64 %20 #s(literal 1 binary64))
%40 = (/.f64 %24 #s(literal 1 binary64))
%42 = (/.f64 %24 #s(literal 500 binary64))
%44 = (*.f64 %18 #s(literal -2 binary64))
%45 = (/.f64 %44 #s(literal 1 binary64))
%47 = (/.f64 %44 #s(literal 500 binary64))
%49 = (*.f64 y #s(literal 1/2 binary64))
%50 = (/.f64 %49 #s(literal 1 binary64))
%53 = (*.f64 %18 #s(literal 2 binary64))
%54 = (/.f64 %53 #s(literal -1 binary64))
%56 = (/.f64 %53 #s(literal 1 binary64))
%58 = (/.f64 %53 #s(literal 500 binary64))
%60 = (/.f64 %3 #s(literal -500 binary64))
%62 = (/.f64 %3 #s(literal -1 binary64))
%64 = (/.f64 %18 #s(literal -1 binary64))
%67 = (/.f64 y #s(literal -1 binary64))
%70 = (/.f64 %4 #s(literal 500 binary64))
%72 = (/.f64 %3 #s(literal 1 binary64))
%74 = (/.f64 %3 #s(literal 500 binary64))
%76 = (/.f64 y #s(literal 1 binary64))
%78 = (/.f64 %18 #s(literal 1 binary64))
%80 = (/.f64 %49 #s(literal 500 binary64))
%82 = (/.f64 %20 #s(literal 500 binary64))
%84 = (/.f64 y #s(literal 2 binary64))
%86 = (*.f64 #s(literal 1/500 binary64) %3)
%88 = (*.f64 #s(literal 1/2 binary64) y)
%89 = (/.f64 %88 #s(literal -1 binary64))
%91 = (/.f64 %18 #s(literal 2 binary64))
%93 = (*.f64 #s(literal -1/2 binary64) y)
%94 = (/.f64 %93 #s(literal -1 binary64))
%96 = (/.f64 %88 #s(literal 1 binary64))
%101 = (*.f64 #s(literal 1/500 binary64) y)
%102 = (/.f64 %101 #s(literal 4 binary64))
%106 = (/.f64 %93 #s(literal 500 binary64))
%108 = (/.f64 %88 #s(literal -500 binary64))
%111 = (*.f64 #s(literal 2 binary64) %101)
%113 = (/.f64 %101 #s(literal 2 binary64))
%115 = (/.f64 %93 #s(literal -500 binary64))
%117 = (/.f64 %88 #s(literal 500 binary64))
%119 = (*.f64 #s(literal -1/1000 binary64) %18)
%121 = (*.f64 #s(literal 1/1000 binary64) y)
%123 = (*.f64 #s(literal 1/2 binary64) %101)
%128 = (*.f64 #s(literal -1/500 binary64) y)
%134 = (/.f64 %101 #s(literal 1 binary64))
%138 = (/.f64 %101 #s(literal 500 binary64))
%144 = (*.f64 #s(literal 2 binary64) %18)
%151 = (*.f64 %18 #s(literal -500 binary64))
%154 = (*.f64 y #s(literal -500 binary64))
%157 = (*.f64 #s(literal -500 binary64) %18)
%159 = (*.f64 #s(literal -500 binary64) y)
%163 = (*.f64 %18 #s(literal 500 binary64))
%165 = (*.f64 #s(literal 500 binary64) y)
%178 = (/.f64 (*.f64 %18 #s(literal 0 binary64)) #s(literal -500 binary64))
%181 = (/.f64 (*.f64 #s(literal 0 binary64) %18) #s(literal -500 binary64))
%184 = (/.f64 (*.f64 y #s(literal 0 binary64)) #s(literal 500 binary64))
%187 = (/.f64 (*.f64 #s(literal 0 binary64) y) #s(literal 500 binary64))
%441 = (/.f64 y #s(literal 1000 binary64))
%443 = (/.f64 %20 #s(literal -500 binary64))
%446 = (/.f64 (*.f64 #s(literal 1/2 binary64) %18) #s(literal -500 binary64))
%454 = (*.f64 #s(literal -500 binary64) x)
%455 = (-.f64 %454 y)
%456 = (/.f64 %455 #s(literal -1 binary64))
%458 = (/.f64 %455 #s(literal 1 binary64))
%460 = (fma.f64 #s(literal 500 binary64) x y)
%461 = (*.f64 %460 #s(literal -2 binary64))
%462 = (/.f64 %461 #s(literal -1 binary64))
%464 = (/.f64 %461 #s(literal 1 binary64))
%466 = (/.f64 %461 #s(literal 500 binary64))
%468 = (*.f64 %460 #s(literal 2 binary64))
%469 = (/.f64 %468 #s(literal -1 binary64))
%471 = (/.f64 %460 #s(literal -1 binary64))
%473 = (/.f64 %468 #s(literal 1 binary64))
%475 = (/.f64 %468 #s(literal 500 binary64))
%477 = (*.f64 %460 #s(literal 1/2 binary64))
%478 = (/.f64 %477 #s(literal 1 binary64))
%480 = (/.f64 %460 #s(literal 1 binary64))
%482 = (/.f64 %477 #s(literal 500 binary64))
%484 = (*.f64 %455 #s(literal 2 binary64))
%487 = (*.f64 %455 #s(literal -1 binary64))
%489 = (*.f64 %455 #s(literal 1 binary64))
%491 = (-.f64 %128 x)
%493 = (*.f64 x #s(literal -250000 binary64))
%494 = (-.f64 %493 %165)
%497 = (*.f64 #s(literal 500 binary64) %460)
%500 = (*.f64 #s(literal 1/1000 binary64) %460)
%509 = (fma.f64 #s(literal 1/500 binary64) y x)
%541 = (*.f64 x #s(literal 250000 binary64))
%564 = (*.f64 x #s(literal 2 binary64))
%571 = (*.f64 #s(literal 500 binary64) x)
%613 = (*.f64 %564 #s(literal -500 binary64))
%616 = (*.f64 %564 #s(literal 500 binary64))
%636 = (*.f64 %111 #s(literal -500 binary64))
%639 = (*.f64 %144 #s(literal -500 binary64))
%642 = (*.f64 %3 #s(literal -500 binary64))
%645 = (*.f64 %163 #s(literal -500 binary64))
%648 = (*.f64 %165 #s(literal -500 binary64))
%651 = (*.f64 %111 #s(literal 500 binary64))
%654 = (*.f64 %144 #s(literal 500 binary64))
%657 = (*.f64 %3 #s(literal 500 binary64))
%660 = (*.f64 %163 #s(literal 500 binary64))
%663 = (*.f64 %165 #s(literal 500 binary64))
%715 = (*.f64 #s(literal 2 binary64) %454)
%718 = (*.f64 #s(literal 2 binary64) %571)
%724 = (*.f64 #s(literal -1000 binary64) %454)
%727 = (*.f64 #s(literal -1000 binary64) %571)
%733 = (*.f64 #s(literal 1000 binary64) %454)
%736 = (*.f64 #s(literal 1000 binary64) %571)
%742 = (*.f64 #s(literal -250000 binary64) %454)
%745 = (*.f64 #s(literal -250000 binary64) %571)
%751 = (*.f64 #s(literal 250000 binary64) %454)
%754 = (*.f64 #s(literal 250000 binary64) %571)
%831 = (*.f64 #s(literal -500 binary64) %454)
%844 = (fma.f64 %101 #s(literal -500 binary64) %454)
%847 = (fma.f64 %454 #s(literal -500 binary64) %151)
%850 = (fma.f64 %454 #s(literal 500 binary64) %154)
%853 = (*.f64 %454 #s(literal -500 binary64))
%854 = (fma.f64 %18 #s(literal -500 binary64) %853)
%857 = (*.f64 %454 #s(literal 500 binary64))
%858 = (fma.f64 y #s(literal -500 binary64) %857)
%861 = (fma.f64 %454 #s(literal -500 binary64) %157)
%864 = (fma.f64 %454 #s(literal 500 binary64) %159)
%867 = (fma.f64 %18 #s(literal -500 binary64) %831)
%870 = (fma.f64 y #s(literal -500 binary64) %493)
%873 = (-.f64 %857 %157)
%876 = (-.f64 %853 %159)
%879 = (neg.f64 %494)
%882 = (neg.f64 %497)
%915 = (/.f64 %831 #s(literal 250000 binary64))
%969 = (/.f64 (*.f64 %460 #s(literal 0 binary64)) #s(literal 500 binary64))
%972 = (/.f64 (*.f64 #s(literal 0 binary64) %460) #s(literal 500 binary64))
%1107 = (neg.f64 x)
%1125 = (/.f64 (*.f64 #s(literal 1/2 binary64) %460) #s(literal 500 binary64))
x
y
#s(literal 500 binary64)
(*.f64 %6 #s(literal -1/1000 binary64))
(*.f64 %12 #s(literal 1/1000 binary64))
(*.f64 %16 #s(literal 1/1000 binary64))
(*.f64 %21 #s(literal 1/250 binary64))
(*.f64 %25 #s(literal 1/1000 binary64))
(*.f64 %28 #s(literal -1/1000 binary64))
(*.f64 %30 #s(literal -1/2 binary64))
(*.f64 %33 #s(literal -1/1000 binary64))
(*.f64 %35 #s(literal -1/2 binary64))
(*.f64 %37 #s(literal -1/250 binary64))
(*.f64 %40 #s(literal -1/1000 binary64))
(*.f64 %42 #s(literal -1/2 binary64))
(*.f64 %45 #s(literal 1/1000 binary64))
(*.f64 %47 #s(literal 1/2 binary64))
(*.f64 %50 #s(literal 1/250 binary64))
(*.f64 %54 #s(literal 1/1000 binary64))
(*.f64 %56 #s(literal -1/1000 binary64))
(*.f64 %58 #s(literal -1/2 binary64))
(*.f64 %60 #s(literal -1/2 binary64))
(*.f64 %62 #s(literal -1/1000 binary64))
(*.f64 %64 #s(literal 1/500 binary64))
(*.f64 %67 #s(literal -1/500 binary64))
(*.f64 %70 #s(literal 1/1000 binary64))
(*.f64 %72 #s(literal 1/1000 binary64))
(*.f64 %74 #s(literal 1/2 binary64))
(*.f64 %76 #s(literal 1/500 binary64))
(*.f64 %78 #s(literal -1/500 binary64))
(*.f64 %80 #s(literal 2 binary64))
(*.f64 %82 #s(literal -2 binary64))
(*.f64 %84 #s(literal 1/250 binary64))
(*.f64 %86 #s(literal 1/2 binary64))
(*.f64 #s(literal -1/250 binary64) %89)
(*.f64 #s(literal -1/250 binary64) %91)
(*.f64 #s(literal 1/250 binary64) %94)
(*.f64 #s(literal 1/250 binary64) %96)
(*.f64 #s(literal 1/250 binary64) %84)
(*.f64 %53 #s(literal -1/1000 binary64))
(*.f64 #s(literal 4 binary64) %102)
(*.f64 %3 #s(literal 1/1000 binary64))
(*.f64 #s(literal 1/1000 binary64) %72)
(*.f64 #s(literal -2 binary64) %106)
(*.f64 #s(literal -2 binary64) %108)
(*.f64 #s(literal 1/2 binary64) %74)
(*.f64 #s(literal 1/2 binary64) %111)
(*.f64 #s(literal 2 binary64) %113)
(*.f64 #s(literal 2 binary64) %115)
(*.f64 #s(literal 2 binary64) %117)
(*.f64 #s(literal 2 binary64) %119)
(*.f64 #s(literal 2 binary64) %121)
(*.f64 #s(literal 2 binary64) %123)
(*.f64 #s(literal -1/500 binary64) %67)
(*.f64 #s(literal -1/500 binary64) %78)
(*.f64 #s(literal -1/500 binary64) %18)
(*.f64 #s(literal -1 binary64) %128)
(*.f64 %128 #s(literal -1 binary64))
(*.f64 #s(literal 1/500 binary64) %64)
(*.f64 #s(literal 1/500 binary64) %76)
%101
(*.f64 %18 #s(literal -1/500 binary64))
(*.f64 #s(literal 1 binary64) %134)
(*.f64 #s(literal 1 binary64) %101)
(*.f64 %101 #s(literal 1 binary64))
(*.f64 #s(literal 500 binary64) %138)
(*.f64 y #s(literal 1/500 binary64))
(pow.f64 %101 #s(literal 1 binary64))
(/.f64 (neg.f64 %111) #s(literal -2 binary64))
(/.f64 (neg.f64 %144) #s(literal 1000 binary64))
(/.f64 %111 #s(literal 2 binary64))
(/.f64 %24 #s(literal -1000 binary64))
(/.f64 %151 #s(literal 250000 binary64))
(/.f64 %154 #s(literal -250000 binary64))
(/.f64 %157 #s(literal 250000 binary64))
(/.f64 %159 #s(literal -250000 binary64))
(/.f64 %144 #s(literal -1000 binary64))
(/.f64 %3 #s(literal 1000 binary64))
(/.f64 %163 #s(literal -250000 binary64))
(/.f64 %165 #s(literal 250000 binary64))
(/.f64 %18 #s(literal -500 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %101 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -500 binary64) %18))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 500 binary64) y))
(/.f64 y #s(literal 500 binary64))
(neg.f64 %128)
(fma.f64 %6 #s(literal -1/1000 binary64) %178)
(fma.f64 %6 #s(literal -1/1000 binary64) %181)
(fma.f64 %6 #s(literal -1/1000 binary64) %184)
(fma.f64 %6 #s(literal -1/1000 binary64) %187)
(fma.f64 %12 #s(literal 1/1000 binary64) %178)
(fma.f64 %12 #s(literal 1/1000 binary64) %181)
(fma.f64 %12 #s(literal 1/1000 binary64) %184)
(fma.f64 %12 #s(literal 1/1000 binary64) %187)
(fma.f64 %16 #s(literal 1/1000 binary64) %178)
(fma.f64 %16 #s(literal 1/1000 binary64) %181)
(fma.f64 %16 #s(literal 1/1000 binary64) %184)
(fma.f64 %16 #s(literal 1/1000 binary64) %187)
(fma.f64 %21 #s(literal 1/250 binary64) %178)
(fma.f64 %21 #s(literal 1/250 binary64) %181)
(fma.f64 %21 #s(literal 1/250 binary64) %184)
(fma.f64 %21 #s(literal 1/250 binary64) %187)
(fma.f64 %25 #s(literal 1/1000 binary64) %178)
(fma.f64 %25 #s(literal 1/1000 binary64) %181)
(fma.f64 %25 #s(literal 1/1000 binary64) %184)
(fma.f64 %25 #s(literal 1/1000 binary64) %187)
(fma.f64 %28 #s(literal -1/1000 binary64) %178)
(fma.f64 %28 #s(literal -1/1000 binary64) %181)
(fma.f64 %28 #s(literal -1/1000 binary64) %184)
(fma.f64 %28 #s(literal -1/1000 binary64) %187)
(fma.f64 %30 #s(literal -1/2 binary64) %178)
(fma.f64 %30 #s(literal -1/2 binary64) %181)
(fma.f64 %30 #s(literal -1/2 binary64) %184)
(fma.f64 %30 #s(literal -1/2 binary64) %187)
(fma.f64 %33 #s(literal -1/1000 binary64) %178)
(fma.f64 %33 #s(literal -1/1000 binary64) %181)
(fma.f64 %33 #s(literal -1/1000 binary64) %184)
(fma.f64 %33 #s(literal -1/1000 binary64) %187)
(fma.f64 %35 #s(literal -1/2 binary64) %178)
(fma.f64 %35 #s(literal -1/2 binary64) %181)
(fma.f64 %35 #s(literal -1/2 binary64) %184)
(fma.f64 %35 #s(literal -1/2 binary64) %187)
(fma.f64 %37 #s(literal -1/250 binary64) %178)
(fma.f64 %37 #s(literal -1/250 binary64) %181)
(fma.f64 %37 #s(literal -1/250 binary64) %184)
(fma.f64 %37 #s(literal -1/250 binary64) %187)
(fma.f64 %40 #s(literal -1/1000 binary64) %178)
(fma.f64 %40 #s(literal -1/1000 binary64) %181)
(fma.f64 %40 #s(literal -1/1000 binary64) %184)
(fma.f64 %40 #s(literal -1/1000 binary64) %187)
(fma.f64 %42 #s(literal -1/2 binary64) %178)
(fma.f64 %42 #s(literal -1/2 binary64) %181)
(fma.f64 %42 #s(literal -1/2 binary64) %184)
(fma.f64 %42 #s(literal -1/2 binary64) %187)
(fma.f64 %45 #s(literal 1/1000 binary64) %178)
(fma.f64 %45 #s(literal 1/1000 binary64) %181)
(fma.f64 %45 #s(literal 1/1000 binary64) %184)
(fma.f64 %45 #s(literal 1/1000 binary64) %187)
(fma.f64 %47 #s(literal 1/2 binary64) %178)
(fma.f64 %47 #s(literal 1/2 binary64) %181)
(fma.f64 %47 #s(literal 1/2 binary64) %184)
(fma.f64 %47 #s(literal 1/2 binary64) %187)
(fma.f64 %50 #s(literal 1/250 binary64) %178)
(fma.f64 %50 #s(literal 1/250 binary64) %181)
(fma.f64 %50 #s(literal 1/250 binary64) %184)
(fma.f64 %50 #s(literal 1/250 binary64) %187)
(fma.f64 %54 #s(literal 1/1000 binary64) %178)
(fma.f64 %54 #s(literal 1/1000 binary64) %181)
(fma.f64 %54 #s(literal 1/1000 binary64) %184)
(fma.f64 %54 #s(literal 1/1000 binary64) %187)
(fma.f64 %56 #s(literal -1/1000 binary64) %178)
(fma.f64 %56 #s(literal -1/1000 binary64) %181)
(fma.f64 %56 #s(literal -1/1000 binary64) %184)
(fma.f64 %56 #s(literal -1/1000 binary64) %187)
(fma.f64 %58 #s(literal -1/2 binary64) %178)
(fma.f64 %58 #s(literal -1/2 binary64) %181)
(fma.f64 %58 #s(literal -1/2 binary64) %184)
(fma.f64 %58 #s(literal -1/2 binary64) %187)
(fma.f64 %60 #s(literal -1/2 binary64) %178)
(fma.f64 %60 #s(literal -1/2 binary64) %181)
(fma.f64 %60 #s(literal -1/2 binary64) %184)
(fma.f64 %60 #s(literal -1/2 binary64) %187)
(fma.f64 %62 #s(literal -1/1000 binary64) %178)
(fma.f64 %62 #s(literal -1/1000 binary64) %181)
(fma.f64 %62 #s(literal -1/1000 binary64) %184)
(fma.f64 %62 #s(literal -1/1000 binary64) %187)
(fma.f64 %64 #s(literal 1/500 binary64) %178)
(fma.f64 %64 #s(literal 1/500 binary64) %181)
(fma.f64 %64 #s(literal 1/500 binary64) %184)
(fma.f64 %64 #s(literal 1/500 binary64) %187)
(fma.f64 %67 #s(literal -1/500 binary64) %178)
(fma.f64 %67 #s(literal -1/500 binary64) %181)
(fma.f64 %67 #s(literal -1/500 binary64) %184)
(fma.f64 %67 #s(literal -1/500 binary64) %187)
(fma.f64 %70 #s(literal 1/1000 binary64) %178)
(fma.f64 %70 #s(literal 1/1000 binary64) %181)
(fma.f64 %70 #s(literal 1/1000 binary64) %184)
(fma.f64 %70 #s(literal 1/1000 binary64) %187)
(fma.f64 %72 #s(literal 1/1000 binary64) %178)
(fma.f64 %72 #s(literal 1/1000 binary64) %181)
(fma.f64 %72 #s(literal 1/1000 binary64) %184)
(fma.f64 %72 #s(literal 1/1000 binary64) %187)
(fma.f64 %74 #s(literal 1/2 binary64) %178)
(fma.f64 %74 #s(literal 1/2 binary64) %181)
(fma.f64 %74 #s(literal 1/2 binary64) %184)
(fma.f64 %74 #s(literal 1/2 binary64) %187)
(fma.f64 %76 #s(literal 1/500 binary64) %178)
(fma.f64 %76 #s(literal 1/500 binary64) %181)
(fma.f64 %76 #s(literal 1/500 binary64) %184)
(fma.f64 %76 #s(literal 1/500 binary64) %187)
(fma.f64 %78 #s(literal -1/500 binary64) %178)
(fma.f64 %78 #s(literal -1/500 binary64) %181)
(fma.f64 %78 #s(literal -1/500 binary64) %184)
(fma.f64 %78 #s(literal -1/500 binary64) %187)
(fma.f64 %80 #s(literal 2 binary64) %178)
(fma.f64 %80 #s(literal 2 binary64) %181)
(fma.f64 %80 #s(literal 2 binary64) %184)
(fma.f64 %80 #s(literal 2 binary64) %187)
(fma.f64 %82 #s(literal -2 binary64) %178)
(fma.f64 %82 #s(literal -2 binary64) %181)
(fma.f64 %82 #s(literal -2 binary64) %184)
(fma.f64 %82 #s(literal -2 binary64) %187)
(fma.f64 %84 #s(literal 1/250 binary64) %178)
(fma.f64 %84 #s(literal 1/250 binary64) %181)
(fma.f64 %84 #s(literal 1/250 binary64) %184)
(fma.f64 %84 #s(literal 1/250 binary64) %187)
(fma.f64 %86 #s(literal 1/2 binary64) %178)
(fma.f64 %86 #s(literal 1/2 binary64) %181)
(fma.f64 %86 #s(literal 1/2 binary64) %184)
(fma.f64 %86 #s(literal 1/2 binary64) %187)
(fma.f64 #s(literal -1/250 binary64) %89 %178)
(fma.f64 #s(literal -1/250 binary64) %89 %181)
(fma.f64 #s(literal -1/250 binary64) %89 %184)
(fma.f64 #s(literal -1/250 binary64) %89 %187)
(fma.f64 #s(literal -1/250 binary64) %91 %178)
(fma.f64 #s(literal -1/250 binary64) %91 %181)
(fma.f64 #s(literal -1/250 binary64) %91 %184)
(fma.f64 #s(literal -1/250 binary64) %91 %187)
(fma.f64 #s(literal 1/250 binary64) %94 %178)
(fma.f64 #s(literal 1/250 binary64) %94 %181)
(fma.f64 #s(literal 1/250 binary64) %94 %184)
(fma.f64 #s(literal 1/250 binary64) %94 %187)
(fma.f64 #s(literal 1/250 binary64) %96 %178)
(fma.f64 #s(literal 1/250 binary64) %96 %181)
(fma.f64 #s(literal 1/250 binary64) %96 %184)
(fma.f64 #s(literal 1/250 binary64) %96 %187)
(fma.f64 #s(literal 1/250 binary64) %84 %178)
(fma.f64 #s(literal 1/250 binary64) %84 %181)
(fma.f64 #s(literal 1/250 binary64) %84 %184)
(fma.f64 #s(literal 1/250 binary64) %84 %187)
(fma.f64 %53 #s(literal -1/1000 binary64) %178)
(fma.f64 %53 #s(literal -1/1000 binary64) %181)
(fma.f64 %53 #s(literal -1/1000 binary64) %184)
(fma.f64 %53 #s(literal -1/1000 binary64) %187)
(fma.f64 #s(literal 4 binary64) %102 %178)
(fma.f64 #s(literal 4 binary64) %102 %181)
(fma.f64 #s(literal 4 binary64) %102 %184)
(fma.f64 #s(literal 4 binary64) %102 %187)
(fma.f64 %3 #s(literal 1/1000 binary64) %178)
(fma.f64 %3 #s(literal 1/1000 binary64) %181)
(fma.f64 %3 #s(literal 1/1000 binary64) %184)
(fma.f64 %3 #s(literal 1/1000 binary64) %187)
(fma.f64 #s(literal 1/1000 binary64) %72 %178)
(fma.f64 #s(literal 1/1000 binary64) %72 %181)
(fma.f64 #s(literal 1/1000 binary64) %72 %184)
(fma.f64 #s(literal 1/1000 binary64) %72 %187)
(fma.f64 #s(literal -2 binary64) %106 %178)
(fma.f64 #s(literal -2 binary64) %106 %181)
(fma.f64 #s(literal -2 binary64) %106 %184)
(fma.f64 #s(literal -2 binary64) %106 %187)
(fma.f64 #s(literal -2 binary64) %108 %178)
(fma.f64 #s(literal -2 binary64) %108 %181)
(fma.f64 #s(literal -2 binary64) %108 %184)
(fma.f64 #s(literal -2 binary64) %108 %187)
(fma.f64 #s(literal 1/2 binary64) %74 %178)
(fma.f64 #s(literal 1/2 binary64) %74 %181)
(fma.f64 #s(literal 1/2 binary64) %74 %184)
(fma.f64 #s(literal 1/2 binary64) %74 %187)
(fma.f64 #s(literal 1/2 binary64) %111 %178)
(fma.f64 #s(literal 1/2 binary64) %111 %181)
(fma.f64 #s(literal 1/2 binary64) %111 %184)
(fma.f64 #s(literal 1/2 binary64) %111 %187)
(fma.f64 #s(literal 2 binary64) %113 %178)
(fma.f64 #s(literal 2 binary64) %113 %181)
(fma.f64 #s(literal 2 binary64) %113 %184)
(fma.f64 #s(literal 2 binary64) %113 %187)
(fma.f64 #s(literal 2 binary64) %115 %178)
(fma.f64 #s(literal 2 binary64) %115 %181)
(fma.f64 #s(literal 2 binary64) %115 %184)
(fma.f64 #s(literal 2 binary64) %115 %187)
(fma.f64 #s(literal 2 binary64) %117 %178)
(fma.f64 #s(literal 2 binary64) %117 %181)
(fma.f64 #s(literal 2 binary64) %117 %184)
(fma.f64 #s(literal 2 binary64) %117 %187)
(fma.f64 #s(literal 2 binary64) %119 %178)
(fma.f64 #s(literal 2 binary64) %119 %181)
(fma.f64 #s(literal 2 binary64) %119 %184)
(fma.f64 #s(literal 2 binary64) %119 %187)
(fma.f64 #s(literal 2 binary64) %121 %178)
(fma.f64 #s(literal 2 binary64) %121 %181)
(fma.f64 #s(literal 2 binary64) %121 %184)
(fma.f64 #s(literal 2 binary64) %121 %187)
(fma.f64 #s(literal 2 binary64) %123 %178)
(fma.f64 #s(literal 2 binary64) %123 %181)
(fma.f64 #s(literal 2 binary64) %123 %184)
(fma.f64 #s(literal 2 binary64) %123 %187)
(fma.f64 #s(literal -1/500 binary64) %67 %178)
(fma.f64 #s(literal -1/500 binary64) %67 %181)
(fma.f64 #s(literal -1/500 binary64) %67 %184)
(fma.f64 #s(literal -1/500 binary64) %67 %187)
(fma.f64 #s(literal -1/500 binary64) %78 %178)
(fma.f64 #s(literal -1/500 binary64) %78 %181)
(fma.f64 #s(literal -1/500 binary64) %78 %184)
(fma.f64 #s(literal -1/500 binary64) %78 %187)
(fma.f64 #s(literal -1/500 binary64) %18 %178)
(fma.f64 #s(literal -1/500 binary64) %18 %181)
(fma.f64 #s(literal -1/500 binary64) %18 %184)
(fma.f64 #s(literal -1/500 binary64) %18 %187)
(fma.f64 #s(literal -1 binary64) %128 %178)
(fma.f64 #s(literal -1 binary64) %128 %181)
(fma.f64 #s(literal -1 binary64) %128 %184)
(fma.f64 #s(literal -1 binary64) %128 %187)
(fma.f64 %128 #s(literal -1 binary64) %178)
(fma.f64 %128 #s(literal -1 binary64) %181)
(fma.f64 %128 #s(literal -1 binary64) %184)
(fma.f64 %128 #s(literal -1 binary64) %187)
(fma.f64 #s(literal 1/500 binary64) %64 %178)
(fma.f64 #s(literal 1/500 binary64) %64 %181)
(fma.f64 #s(literal 1/500 binary64) %64 %184)
(fma.f64 #s(literal 1/500 binary64) %64 %187)
(fma.f64 #s(literal 1/500 binary64) %76 %178)
(fma.f64 #s(literal 1/500 binary64) %76 %181)
(fma.f64 #s(literal 1/500 binary64) %76 %184)
(fma.f64 #s(literal 1/500 binary64) %76 %187)
(fma.f64 #s(literal 1/500 binary64) y %178)
(fma.f64 #s(literal 1/500 binary64) y %181)
(fma.f64 #s(literal 1/500 binary64) y %184)
(fma.f64 #s(literal 1/500 binary64) y %187)
(fma.f64 %18 #s(literal -1/500 binary64) %178)
(fma.f64 %18 #s(literal -1/500 binary64) %181)
(fma.f64 %18 #s(literal -1/500 binary64) %184)
(fma.f64 %18 #s(literal -1/500 binary64) %187)
(fma.f64 #s(literal 1 binary64) %134 %178)
(fma.f64 #s(literal 1 binary64) %134 %181)
(fma.f64 #s(literal 1 binary64) %134 %184)
(fma.f64 #s(literal 1 binary64) %134 %187)
(fma.f64 #s(literal 1 binary64) %101 %178)
(fma.f64 #s(literal 1 binary64) %101 %181)
(fma.f64 #s(literal 1 binary64) %101 %184)
(fma.f64 #s(literal 1 binary64) %101 %187)
(fma.f64 %101 #s(literal 1 binary64) %178)
(fma.f64 %101 #s(literal 1 binary64) %181)
(fma.f64 %101 #s(literal 1 binary64) %184)
(fma.f64 %101 #s(literal 1 binary64) %187)
(fma.f64 #s(literal 500 binary64) %138 %178)
(fma.f64 #s(literal 500 binary64) %138 %181)
(fma.f64 #s(literal 500 binary64) %138 %184)
(fma.f64 #s(literal 500 binary64) %138 %187)
(fma.f64 y #s(literal 1/500 binary64) %178)
(fma.f64 y #s(literal 1/500 binary64) %181)
(fma.f64 y #s(literal 1/500 binary64) %184)
(fma.f64 y #s(literal 1/500 binary64) %187)
(+.f64 %441 %441)
(+.f64 %443 %443)
(+.f64 %446 %446)
(+.f64 %80 %80)
(+.f64 %117 %117)
(+.f64 %101 %178)
(+.f64 %101 %181)
(+.f64 %101 %184)
(+.f64 %101 %187)
(*.f64 %456 #s(literal 1/500 binary64))
(*.f64 %458 #s(literal -1/500 binary64))
(*.f64 %462 #s(literal 1/1000 binary64))
(*.f64 %464 #s(literal -1/1000 binary64))
(*.f64 %466 #s(literal -1/2 binary64))
(*.f64 %469 #s(literal -1/1000 binary64))
(*.f64 %471 #s(literal -1/500 binary64))
(*.f64 %473 #s(literal 1/1000 binary64))
(*.f64 %475 #s(literal 1/2 binary64))
(*.f64 %478 #s(literal 1/250 binary64))
(*.f64 %480 #s(literal 1/500 binary64))
(*.f64 %482 #s(literal 2 binary64))
(*.f64 %484 #s(literal -1/1000 binary64))
(*.f64 %468 #s(literal 1/1000 binary64))
(*.f64 %487 #s(literal 1/500 binary64))
(*.f64 %489 #s(literal -1/500 binary64))
(*.f64 %491 #s(literal -1 binary64))
(*.f64 %494 #s(literal -1/250000 binary64))
(*.f64 %497 #s(literal 1/250000 binary64))
(*.f64 #s(literal 2 binary64) %500)
(*.f64 #s(literal -1/500 binary64) %471)
(*.f64 #s(literal -1/500 binary64) %455)
(*.f64 %455 #s(literal -1/500 binary64))
(*.f64 #s(literal -1 binary64) %491)
(*.f64 #s(literal 1/500 binary64) %480)
(*.f64 #s(literal 1/500 binary64) %460)
(*.f64 %460 #s(literal 1/500 binary64))
(*.f64 #s(literal 1 binary64) %509)
(*.f64 %509 #s(literal 1 binary64))
(pow.f64 %509 #s(literal 1 binary64))
(/.f64 (fma.f64 %493 #s(literal 2 binary64) (*.f64 %111 #s(literal -250000 binary64))) #s(literal -500000 binary64))
(/.f64 (fma.f64 %493 #s(literal -1000 binary64) (*.f64 %144 #s(literal -250000 binary64))) #s(literal 250000000 binary64))
(/.f64 (fma.f64 %493 #s(literal 1000 binary64) (*.f64 %3 #s(literal -250000 binary64))) #s(literal -250000000 binary64))
(/.f64 (fma.f64 %493 #s(literal -250000 binary64) (*.f64 %163 #s(literal -250000 binary64))) #s(literal 62500000000 binary64))
(/.f64 (fma.f64 %493 #s(literal 250000 binary64) (*.f64 %165 #s(literal -250000 binary64))) #s(literal -62500000000 binary64))
(/.f64 (fma.f64 %493 #s(literal -500 binary64) (*.f64 %18 #s(literal -250000 binary64))) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %493 #s(literal 500 binary64) (*.f64 y #s(literal -250000 binary64))) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %541 #s(literal 2 binary64) (*.f64 %111 #s(literal 250000 binary64))) #s(literal 500000 binary64))
(/.f64 (fma.f64 %541 #s(literal -1000 binary64) (*.f64 %144 #s(literal 250000 binary64))) #s(literal -250000000 binary64))
(/.f64 (fma.f64 %541 #s(literal 1000 binary64) (*.f64 %3 #s(literal 250000 binary64))) #s(literal 250000000 binary64))
(/.f64 (fma.f64 %541 #s(literal -250000 binary64) (*.f64 %163 #s(literal 250000 binary64))) #s(literal -62500000000 binary64))
(/.f64 (fma.f64 %541 #s(literal 250000 binary64) (*.f64 %165 #s(literal 250000 binary64))) #s(literal 62500000000 binary64))
(/.f64 (fma.f64 %541 #s(literal -500 binary64) (*.f64 %18 #s(literal 250000 binary64))) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %541 #s(literal 500 binary64) (*.f64 y #s(literal 250000 binary64))) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %111 #s(literal 2 binary64) (*.f64 %564 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %111 #s(literal -500 binary64) (*.f64 %454 #s(literal 2 binary64))) #s(literal -1000 binary64))
(/.f64 (fma.f64 %111 #s(literal 500 binary64) (*.f64 %571 #s(literal 2 binary64))) #s(literal 1000 binary64))
(/.f64 (fma.f64 %144 #s(literal 2 binary64) (*.f64 %564 #s(literal -1000 binary64))) #s(literal -2000 binary64))
(/.f64 (fma.f64 %144 #s(literal -500 binary64) (*.f64 %454 #s(literal -1000 binary64))) #s(literal 500000 binary64))
(/.f64 (fma.f64 %144 #s(literal 500 binary64) (*.f64 %571 #s(literal -1000 binary64))) #s(literal -500000 binary64))
(/.f64 (fma.f64 %3 #s(literal 2 binary64) (*.f64 %564 #s(literal 1000 binary64))) #s(literal 2000 binary64))
(/.f64 (fma.f64 %3 #s(literal -500 binary64) (*.f64 %454 #s(literal 1000 binary64))) #s(literal -500000 binary64))
(/.f64 (fma.f64 %3 #s(literal 500 binary64) (*.f64 %571 #s(literal 1000 binary64))) #s(literal 500000 binary64))
(/.f64 (fma.f64 %163 #s(literal 2 binary64) (*.f64 %564 #s(literal -250000 binary64))) #s(literal -500000 binary64))
(/.f64 (fma.f64 %163 #s(literal -500 binary64) (*.f64 %454 #s(literal -250000 binary64))) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %163 #s(literal 500 binary64) (*.f64 %571 #s(literal -250000 binary64))) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %165 #s(literal 2 binary64) (*.f64 %564 #s(literal 250000 binary64))) #s(literal 500000 binary64))
(/.f64 (fma.f64 %165 #s(literal -500 binary64) (*.f64 %454 #s(literal 250000 binary64))) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %165 #s(literal 500 binary64) (*.f64 %571 #s(literal 250000 binary64))) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) %613) #s(literal -1000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %616) #s(literal 1000 binary64))
(/.f64 (fma.f64 %564 #s(literal 2 binary64) (*.f64 %111 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %564 #s(literal -1000 binary64) (*.f64 %144 #s(literal 2 binary64))) #s(literal -2000 binary64))
(/.f64 (fma.f64 %564 #s(literal 1000 binary64) (*.f64 %3 #s(literal 2 binary64))) #s(literal 2000 binary64))
(/.f64 (fma.f64 %564 #s(literal -250000 binary64) (*.f64 %163 #s(literal 2 binary64))) #s(literal -500000 binary64))
(/.f64 (fma.f64 %564 #s(literal 250000 binary64) (*.f64 %165 #s(literal 2 binary64))) #s(literal 500000 binary64))
(/.f64 (fma.f64 %564 #s(literal -500 binary64) %53) #s(literal -1000 binary64))
(/.f64 (fma.f64 %454 #s(literal 2 binary64) %636) #s(literal -1000 binary64))
(/.f64 (fma.f64 %454 #s(literal -1000 binary64) %639) #s(literal 500000 binary64))
(/.f64 (fma.f64 %454 #s(literal 1000 binary64) %642) #s(literal -500000 binary64))
(/.f64 (fma.f64 %454 #s(literal -250000 binary64) %645) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %454 #s(literal 250000 binary64) %648) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %571 #s(literal 2 binary64) %651) #s(literal 1000 binary64))
(/.f64 (fma.f64 %571 #s(literal -1000 binary64) %654) #s(literal -500000 binary64))
(/.f64 (fma.f64 %571 #s(literal 1000 binary64) %657) #s(literal 500000 binary64))
(/.f64 (fma.f64 %571 #s(literal -250000 binary64) %660) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %571 #s(literal 250000 binary64) %663) #s(literal 125000000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %101 %564) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) %111) #s(literal 2 binary64))
(/.f64 (fma.f64 %493 #s(literal 2 binary64) (*.f64 #s(literal -250000 binary64) %111)) #s(literal -500000 binary64))
(/.f64 (fma.f64 %493 #s(literal -1000 binary64) (*.f64 #s(literal -250000 binary64) %144)) #s(literal 250000000 binary64))
(/.f64 (fma.f64 %493 #s(literal 1000 binary64) (*.f64 #s(literal -250000 binary64) %3)) #s(literal -250000000 binary64))
(/.f64 (fma.f64 %493 #s(literal -250000 binary64) (*.f64 #s(literal -250000 binary64) %163)) #s(literal 62500000000 binary64))
(/.f64 (fma.f64 %493 #s(literal 250000 binary64) (*.f64 #s(literal -250000 binary64) %165)) #s(literal -62500000000 binary64))
(/.f64 (fma.f64 %493 #s(literal -500 binary64) (*.f64 #s(literal -250000 binary64) %18)) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %493 #s(literal 500 binary64) (*.f64 #s(literal -250000 binary64) y)) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %541 #s(literal 2 binary64) (*.f64 #s(literal 250000 binary64) %111)) #s(literal 500000 binary64))
(/.f64 (fma.f64 %541 #s(literal -1000 binary64) (*.f64 #s(literal 250000 binary64) %144)) #s(literal -250000000 binary64))
(/.f64 (fma.f64 %541 #s(literal 1000 binary64) (*.f64 #s(literal 250000 binary64) %3)) #s(literal 250000000 binary64))
(/.f64 (fma.f64 %541 #s(literal -250000 binary64) (*.f64 #s(literal 250000 binary64) %163)) #s(literal -62500000000 binary64))
(/.f64 (fma.f64 %541 #s(literal 250000 binary64) (*.f64 #s(literal 250000 binary64) %165)) #s(literal 62500000000 binary64))
(/.f64 (fma.f64 %541 #s(literal -500 binary64) (*.f64 #s(literal 250000 binary64) %18)) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %541 #s(literal 500 binary64) (*.f64 #s(literal 250000 binary64) y)) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %111 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %564)) #s(literal 4 binary64))
(/.f64 (fma.f64 %111 #s(literal -500 binary64) %715) #s(literal -1000 binary64))
(/.f64 (fma.f64 %111 #s(literal 500 binary64) %718) #s(literal 1000 binary64))
(/.f64 (fma.f64 %144 #s(literal 2 binary64) (*.f64 #s(literal -1000 binary64) %564)) #s(literal -2000 binary64))
(/.f64 (fma.f64 %144 #s(literal -500 binary64) %724) #s(literal 500000 binary64))
(/.f64 (fma.f64 %144 #s(literal 500 binary64) %727) #s(literal -500000 binary64))
(/.f64 (fma.f64 %3 #s(literal 2 binary64) (*.f64 #s(literal 1000 binary64) %564)) #s(literal 2000 binary64))
(/.f64 (fma.f64 %3 #s(literal -500 binary64) %733) #s(literal -500000 binary64))
(/.f64 (fma.f64 %3 #s(literal 500 binary64) %736) #s(literal 500000 binary64))
(/.f64 (fma.f64 %163 #s(literal 2 binary64) (*.f64 #s(literal -250000 binary64) %564)) #s(literal -500000 binary64))
(/.f64 (fma.f64 %163 #s(literal -500 binary64) %742) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %163 #s(literal 500 binary64) %745) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %165 #s(literal 2 binary64) (*.f64 #s(literal 250000 binary64) %564)) #s(literal 500000 binary64))
(/.f64 (fma.f64 %165 #s(literal -500 binary64) %751) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %165 #s(literal 500 binary64) %754) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) (*.f64 #s(literal -500 binary64) %564)) #s(literal -1000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal 500 binary64) %564)) #s(literal 1000 binary64))
(/.f64 (fma.f64 %564 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %111)) #s(literal 4 binary64))
(/.f64 (fma.f64 %564 #s(literal -1000 binary64) (*.f64 #s(literal 2 binary64) %144)) #s(literal -2000 binary64))
(/.f64 (fma.f64 %564 #s(literal 1000 binary64) (*.f64 #s(literal 2 binary64) %3)) #s(literal 2000 binary64))
(/.f64 (fma.f64 %564 #s(literal -250000 binary64) (*.f64 #s(literal 2 binary64) %163)) #s(literal -500000 binary64))
(/.f64 (fma.f64 %564 #s(literal 250000 binary64) (*.f64 #s(literal 2 binary64) %165)) #s(literal 500000 binary64))
(/.f64 (fma.f64 %564 #s(literal -500 binary64) %144) #s(literal -1000 binary64))
(/.f64 (fma.f64 %564 #s(literal 500 binary64) %3) #s(literal 1000 binary64))
(/.f64 (fma.f64 %454 #s(literal 2 binary64) (*.f64 #s(literal -500 binary64) %111)) #s(literal -1000 binary64))
(/.f64 (fma.f64 %454 #s(literal -1000 binary64) (*.f64 #s(literal -500 binary64) %144)) #s(literal 500000 binary64))
(/.f64 (fma.f64 %454 #s(literal 1000 binary64) (*.f64 #s(literal -500 binary64) %3)) #s(literal -500000 binary64))
(/.f64 (fma.f64 %454 #s(literal -250000 binary64) (*.f64 #s(literal -500 binary64) %163)) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %454 #s(literal 250000 binary64) (*.f64 #s(literal -500 binary64) %165)) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %571 #s(literal 2 binary64) (*.f64 #s(literal 500 binary64) %111)) #s(literal 1000 binary64))
(/.f64 (fma.f64 %571 #s(literal -1000 binary64) (*.f64 #s(literal 500 binary64) %144)) #s(literal -500000 binary64))
(/.f64 (fma.f64 %571 #s(literal 1000 binary64) %4) #s(literal 500000 binary64))
(/.f64 (fma.f64 %571 #s(literal -250000 binary64) (*.f64 #s(literal 500 binary64) %163)) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %571 #s(literal 250000 binary64) (*.f64 #s(literal 500 binary64) %165)) #s(literal 125000000 binary64))
(/.f64 (-.f64 %651 %715) #s(literal 1000 binary64))
(/.f64 (-.f64 %636 %718) #s(literal -1000 binary64))
(/.f64 (-.f64 %654 %724) #s(literal -500000 binary64))
(/.f64 (-.f64 %639 %727) #s(literal 500000 binary64))
(/.f64 (-.f64 %657 %733) #s(literal 500000 binary64))
(/.f64 (-.f64 %642 %736) #s(literal -500000 binary64))
(/.f64 (-.f64 %660 %742) #s(literal -125000000 binary64))
(/.f64 (-.f64 %645 %745) #s(literal 125000000 binary64))
(/.f64 (-.f64 %663 %751) #s(literal 125000000 binary64))
(/.f64 (-.f64 %648 %754) #s(literal -125000000 binary64))
(/.f64 (-.f64 %163 %831) #s(literal -250000 binary64))
(/.f64 (-.f64 %154 %541) #s(literal -250000 binary64))
(/.f64 (-.f64 %616 %144) #s(literal 1000 binary64))
(/.f64 (-.f64 %613 %3) #s(literal -1000 binary64))
(/.f64 (-.f64 %151 %493) #s(literal 250000 binary64))
(/.f64 (-.f64 %165 %493) #s(literal 250000 binary64))
(/.f64 (neg.f64 %844) #s(literal 500 binary64))
(/.f64 (neg.f64 %847) #s(literal -250000 binary64))
(/.f64 (neg.f64 %850) #s(literal 250000 binary64))
(/.f64 (neg.f64 %854) #s(literal -250000 binary64))
(/.f64 (neg.f64 %858) #s(literal 250000 binary64))
(/.f64 (neg.f64 %861) #s(literal -250000 binary64))
(/.f64 (neg.f64 %864) #s(literal 250000 binary64))
(/.f64 (neg.f64 %867) #s(literal -250000 binary64))
(/.f64 (neg.f64 %870) #s(literal 250000 binary64))
(/.f64 (neg.f64 %873) #s(literal 250000 binary64))
(/.f64 (neg.f64 %876) #s(literal -250000 binary64))
(/.f64 (neg.f64 %879) #s(literal -250000 binary64))
(/.f64 (neg.f64 %882) #s(literal 250000 binary64))
(/.f64 %487 #s(literal 500 binary64))
(/.f64 %489 #s(literal -500 binary64))
(/.f64 %844 #s(literal -500 binary64))
(/.f64 %847 #s(literal 250000 binary64))
(/.f64 %850 #s(literal -250000 binary64))
(/.f64 %854 #s(literal 250000 binary64))
(/.f64 %858 #s(literal -250000 binary64))
(/.f64 %861 #s(literal 250000 binary64))
(/.f64 %864 #s(literal -250000 binary64))
(/.f64 %867 #s(literal 250000 binary64))
(/.f64 %870 #s(literal -250000 binary64))
(/.f64 %873 #s(literal -250000 binary64))
(/.f64 %876 #s(literal 250000 binary64))
(/.f64 %879 #s(literal 250000 binary64))
(/.f64 %882 #s(literal -250000 binary64))
(/.f64 %494 #s(literal -250000 binary64))
(/.f64 %497 #s(literal 250000 binary64))
(/.f64 %455 #s(literal -500 binary64))
(/.f64 %460 #s(literal 500 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -250000 binary64) %494))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 250000 binary64) %497))
(/.f64 #s(literal 1 binary64) (pow.f64 %509 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -500 binary64) %455))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 500 binary64) %460))
(neg.f64 %491)
(fma.f64 %6 #s(literal -1/1000 binary64) %915)
(fma.f64 %6 #s(literal -1/1000 binary64) x)
(fma.f64 %12 #s(literal 1/1000 binary64) %915)
(fma.f64 %12 #s(literal 1/1000 binary64) x)
(fma.f64 %16 #s(literal 1/1000 binary64) %915)
(fma.f64 %16 #s(literal 1/1000 binary64) x)
(fma.f64 %21 #s(literal 1/250 binary64) %915)
(fma.f64 %21 #s(literal 1/250 binary64) x)
(fma.f64 %25 #s(literal 1/1000 binary64) %915)
(fma.f64 %25 #s(literal 1/1000 binary64) x)
(fma.f64 %28 #s(literal -1/1000 binary64) %915)
(fma.f64 %28 #s(literal -1/1000 binary64) x)
(fma.f64 %30 #s(literal -1/2 binary64) %915)
(fma.f64 %30 #s(literal -1/2 binary64) x)
(fma.f64 %33 #s(literal -1/1000 binary64) %915)
(fma.f64 %33 #s(literal -1/1000 binary64) x)
(fma.f64 %35 #s(literal -1/2 binary64) %915)
(fma.f64 %35 #s(literal -1/2 binary64) x)
(fma.f64 %37 #s(literal -1/250 binary64) %915)
(fma.f64 %37 #s(literal -1/250 binary64) x)
(fma.f64 %40 #s(literal -1/1000 binary64) %915)
(fma.f64 %40 #s(literal -1/1000 binary64) x)
(fma.f64 %42 #s(literal -1/2 binary64) %915)
(fma.f64 %42 #s(literal -1/2 binary64) x)
(fma.f64 %45 #s(literal 1/1000 binary64) %915)
(fma.f64 %45 #s(literal 1/1000 binary64) x)
(fma.f64 %47 #s(literal 1/2 binary64) %915)
(fma.f64 %47 #s(literal 1/2 binary64) x)
(fma.f64 %50 #s(literal 1/250 binary64) %915)
(fma.f64 %50 #s(literal 1/250 binary64) x)
(fma.f64 %54 #s(literal 1/1000 binary64) %915)
(fma.f64 %54 #s(literal 1/1000 binary64) x)
(fma.f64 %56 #s(literal -1/1000 binary64) %915)
(fma.f64 %56 #s(literal -1/1000 binary64) x)
(fma.f64 %58 #s(literal -1/2 binary64) %915)
(fma.f64 %58 #s(literal -1/2 binary64) x)
(fma.f64 %60 #s(literal -1/2 binary64) %915)
(fma.f64 %60 #s(literal -1/2 binary64) x)
(fma.f64 %62 #s(literal -1/1000 binary64) %915)
(fma.f64 %62 #s(literal -1/1000 binary64) x)
(fma.f64 %64 #s(literal 1/500 binary64) %915)
(fma.f64 %64 #s(literal 1/500 binary64) x)
(fma.f64 %67 #s(literal -1/500 binary64) %915)
(fma.f64 %67 #s(literal -1/500 binary64) x)
(fma.f64 %70 #s(literal 1/1000 binary64) %915)
(fma.f64 %70 #s(literal 1/1000 binary64) x)
(fma.f64 %72 #s(literal 1/1000 binary64) %915)
(fma.f64 %72 #s(literal 1/1000 binary64) x)
(fma.f64 %74 #s(literal 1/2 binary64) %915)
(fma.f64 %74 #s(literal 1/2 binary64) x)
(fma.f64 %76 #s(literal 1/500 binary64) %915)
(fma.f64 %76 #s(literal 1/500 binary64) x)
(fma.f64 %456 #s(literal 1/500 binary64) %969)
(fma.f64 %456 #s(literal 1/500 binary64) %972)
(fma.f64 %458 #s(literal -1/500 binary64) %969)
(fma.f64 %458 #s(literal -1/500 binary64) %972)
(fma.f64 %462 #s(literal 1/1000 binary64) %969)
(fma.f64 %462 #s(literal 1/1000 binary64) %972)
(fma.f64 %464 #s(literal -1/1000 binary64) %969)
(fma.f64 %464 #s(literal -1/1000 binary64) %972)
(fma.f64 %466 #s(literal -1/2 binary64) %969)
(fma.f64 %466 #s(literal -1/2 binary64) %972)
(fma.f64 %469 #s(literal -1/1000 binary64) %969)
(fma.f64 %469 #s(literal -1/1000 binary64) %972)
(fma.f64 %471 #s(literal -1/500 binary64) %969)
(fma.f64 %471 #s(literal -1/500 binary64) %972)
(fma.f64 %473 #s(literal 1/1000 binary64) %969)
(fma.f64 %473 #s(literal 1/1000 binary64) %972)
(fma.f64 %475 #s(literal 1/2 binary64) %969)
(fma.f64 %475 #s(literal 1/2 binary64) %972)
(fma.f64 %478 #s(literal 1/250 binary64) %969)
(fma.f64 %478 #s(literal 1/250 binary64) %972)
(fma.f64 %78 #s(literal -1/500 binary64) %915)
(fma.f64 %78 #s(literal -1/500 binary64) x)
(fma.f64 %480 #s(literal 1/500 binary64) %969)
(fma.f64 %480 #s(literal 1/500 binary64) %972)
(fma.f64 %80 #s(literal 2 binary64) %915)
(fma.f64 %80 #s(literal 2 binary64) x)
(fma.f64 %82 #s(literal -2 binary64) %915)
(fma.f64 %82 #s(literal -2 binary64) x)
(fma.f64 %84 #s(literal 1/250 binary64) %915)
(fma.f64 %84 #s(literal 1/250 binary64) x)
(fma.f64 %482 #s(literal 2 binary64) %969)
(fma.f64 %482 #s(literal 2 binary64) %972)
(fma.f64 %484 #s(literal -1/1000 binary64) %969)
(fma.f64 %484 #s(literal -1/1000 binary64) %972)
(fma.f64 %86 #s(literal 1/2 binary64) %915)
(fma.f64 %86 #s(literal 1/2 binary64) x)
(fma.f64 %468 #s(literal 1/1000 binary64) %969)
(fma.f64 %468 #s(literal 1/1000 binary64) %972)
(fma.f64 #s(literal -1/250 binary64) %89 %915)
(fma.f64 #s(literal -1/250 binary64) %89 x)
(fma.f64 #s(literal -1/250 binary64) %91 %915)
(fma.f64 #s(literal -1/250 binary64) %91 x)
(fma.f64 #s(literal 1/250 binary64) %94 %915)
(fma.f64 #s(literal 1/250 binary64) %94 x)
(fma.f64 #s(literal 1/250 binary64) %96 %915)
(fma.f64 #s(literal 1/250 binary64) %96 x)
(fma.f64 #s(literal 1/250 binary64) %84 %915)
(fma.f64 #s(literal 1/250 binary64) %84 x)
(fma.f64 %487 #s(literal 1/500 binary64) %969)
(fma.f64 %487 #s(literal 1/500 binary64) %972)
(fma.f64 %53 #s(literal -1/1000 binary64) %915)
(fma.f64 %53 #s(literal -1/1000 binary64) x)
(fma.f64 %489 #s(literal -1/500 binary64) %969)
(fma.f64 %489 #s(literal -1/500 binary64) %972)
(fma.f64 #s(literal 4 binary64) %102 %915)
(fma.f64 #s(literal 4 binary64) %102 x)
(fma.f64 %3 #s(literal 1/1000 binary64) %915)
(fma.f64 %3 #s(literal 1/1000 binary64) x)
(fma.f64 #s(literal 1/1000 binary64) %72 %915)
(fma.f64 #s(literal 1/1000 binary64) %72 x)
(fma.f64 #s(literal -2 binary64) %106 %915)
(fma.f64 #s(literal -2 binary64) %106 x)
(fma.f64 #s(literal -2 binary64) %108 %915)
(fma.f64 #s(literal -2 binary64) %108 x)
(fma.f64 %491 #s(literal -1 binary64) %969)
(fma.f64 %491 #s(literal -1 binary64) %972)
(fma.f64 %494 #s(literal -1/250000 binary64) %969)
(fma.f64 %494 #s(literal -1/250000 binary64) %972)
(fma.f64 %497 #s(literal 1/250000 binary64) %969)
(fma.f64 %497 #s(literal 1/250000 binary64) %972)
(fma.f64 #s(literal 1/2 binary64) %74 %915)
(fma.f64 #s(literal 1/2 binary64) %74 x)
(fma.f64 #s(literal 1/2 binary64) %111 %915)
(fma.f64 #s(literal 1/2 binary64) %111 x)
(fma.f64 #s(literal 2 binary64) %113 %915)
(fma.f64 #s(literal 2 binary64) %113 x)
(fma.f64 #s(literal 2 binary64) %115 %915)
(fma.f64 #s(literal 2 binary64) %115 x)
(fma.f64 #s(literal 2 binary64) %117 %915)
(fma.f64 #s(literal 2 binary64) %117 x)
(fma.f64 #s(literal 2 binary64) %500 %969)
(fma.f64 #s(literal 2 binary64) %500 %972)
(fma.f64 #s(literal 2 binary64) %119 %915)
(fma.f64 #s(literal 2 binary64) %119 x)
(fma.f64 #s(literal 2 binary64) %121 %915)
(fma.f64 #s(literal 2 binary64) %121 x)
(fma.f64 #s(literal 2 binary64) %123 %915)
(fma.f64 #s(literal 2 binary64) %123 x)
(fma.f64 #s(literal -1/500 binary64) %67 %915)
(fma.f64 #s(literal -1/500 binary64) %67 x)
(fma.f64 #s(literal -1/500 binary64) %471 %969)
(fma.f64 #s(literal -1/500 binary64) %471 %972)
(fma.f64 #s(literal -1/500 binary64) %78 %915)
(fma.f64 #s(literal -1/500 binary64) %78 x)
(fma.f64 #s(literal -1/500 binary64) %455 %969)
(fma.f64 #s(literal -1/500 binary64) %455 %972)
(fma.f64 #s(literal -1/500 binary64) %18 %915)
(fma.f64 #s(literal -1/500 binary64) %18 x)
(fma.f64 %455 #s(literal -1/500 binary64) %969)
(fma.f64 %455 #s(literal -1/500 binary64) %972)
(fma.f64 #s(literal -1 binary64) %491 %969)
(fma.f64 #s(literal -1 binary64) %491 %972)
(fma.f64 #s(literal -1 binary64) %128 %915)
(fma.f64 #s(literal -1 binary64) %128 x)
(fma.f64 %128 #s(literal -1 binary64) %915)
(fma.f64 %128 #s(literal -1 binary64) x)
(fma.f64 #s(literal 1/500 binary64) %64 %915)
(fma.f64 #s(literal 1/500 binary64) %64 x)
(fma.f64 #s(literal 1/500 binary64) %76 %915)
(fma.f64 #s(literal 1/500 binary64) %76 x)
(fma.f64 #s(literal 1/500 binary64) %480 %969)
(fma.f64 #s(literal 1/500 binary64) %480 %972)
(fma.f64 #s(literal 1/500 binary64) %460 %969)
(fma.f64 #s(literal 1/500 binary64) %460 %972)
(fma.f64 #s(literal 1/500 binary64) y %915)
%509
(fma.f64 %460 #s(literal 1/500 binary64) %969)
(fma.f64 %460 #s(literal 1/500 binary64) %972)
(fma.f64 %18 #s(literal -1/500 binary64) %915)
(fma.f64 %18 #s(literal -1/500 binary64) x)
(fma.f64 #s(literal 1 binary64) %134 %915)
(fma.f64 #s(literal 1 binary64) %134 x)
(fma.f64 #s(literal 1 binary64) %509 %969)
(fma.f64 #s(literal 1 binary64) %509 %972)
(fma.f64 #s(literal 1 binary64) %101 %915)
(fma.f64 #s(literal 1 binary64) %101 x)
(fma.f64 %509 #s(literal 1 binary64) %969)
(fma.f64 %509 #s(literal 1 binary64) %972)
(fma.f64 %101 #s(literal 1 binary64) %915)
(fma.f64 %101 #s(literal 1 binary64) x)
(fma.f64 #s(literal 500 binary64) %138 %915)
(fma.f64 #s(literal 500 binary64) %138 x)
(fma.f64 y #s(literal 1/500 binary64) %915)
(fma.f64 y #s(literal 1/500 binary64) x)
(-.f64 %101 (*.f64 %454 #s(literal 1/500 binary64)))
(-.f64 %101 (*.f64 %1107 #s(literal 1 binary64)))
(-.f64 %101 %1107)
(-.f64 x (/.f64 %157 #s(literal -250000 binary64)))
(-.f64 x (/.f64 %159 #s(literal 250000 binary64)))
(-.f64 x (/.f64 %163 #s(literal 250000 binary64)))
(-.f64 x (/.f64 %165 #s(literal -250000 binary64)))
(-.f64 x %128)
(+.f64 (/.f64 (*.f64 %101 #s(literal -500 binary64)) #s(literal -500 binary64)) x)
(+.f64 %482 %482)
(+.f64 %1125 %1125)
(+.f64 %509 %969)
(+.f64 %509 %972)
(+.f64 %101 %915)
(+.f64 %101 x)
(+.f64 x %101)
reconstruct63.0ms (5.7%)
Counts
743 → 61
Compiler
Compiled 743 to 1 147 computations (-54.4% saved)
eval5.0ms (0.5%)
Compiler
Compiled 58 to 157 computations (-170.7% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (2 fresh and 1 done)
PrunedKeptTotal
New56258
Fresh000
Picked011
Done000
Total56359
Accuracy
100.0%
Counts
59 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(fma.f64 #s(literal 1/500 binary64) y x)
✓100.0%
(+.f64 x (/.f64 y #s(literal 500 binary64)))
▶51.2%
(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
Compiler
Compiled 3 to 8 computations (-166.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03691
Stop Event
1×iter-limit
Counts
6 → 9
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal 1/500 binary64) y)
x
y
#s(literal 1/500 binary64)
%3
(approx (+ x (/ y 500)) %3)
(fma.f64 #s(literal 1/500 binary64) y x)
Outputs
%7 = (+ x (/ y 500))
%9 = (*.f64 #s(literal 1/500 binary64) y)
%14 = (/.f64 y x)
%27 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %7 (+.f64 x %9))
(approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/500 binary64) %14))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/500 binary64) %14) #s(literal 1 binary64)))))
(approx y y)
(approx %7 (*.f64 y (+.f64 #s(literal 1/500 binary64) %27)))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %27) #s(literal 1/500 binary64)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
inf
1.0ms
y
-inf
1.0ms
y
inf
1.0ms
x
-inf
0.0ms
y
0
rewrite97.0ms (8.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0919
01218
14118
210618
333618
4129618
0407018
0425718
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 439
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal 1/500 binary64) y)
x
y
#s(literal 1/500 binary64)
%3
(approx (+ x (/ y 500)) %3)
(fma.f64 #s(literal 1/500 binary64) y x)
Outputs
%3 = (+.f64 y y)
%4 = (*.f64 #s(literal 1/500 binary64) %3)
%8 = (*.f64 #s(literal 1/2 binary64) y)
%10 = (neg.f64 y)
%12 = (*.f64 %10 #s(literal 2 binary64))
%17 = (*.f64 #s(literal 1/500 binary64) y)
%18 = (*.f64 #s(literal 2 binary64) %17)
%20 = (*.f64 #s(literal -1/1000 binary64) %10)
%22 = (*.f64 #s(literal 1/2 binary64) %17)
%24 = (*.f64 #s(literal 1/1000 binary64) y)
%26 = (*.f64 %8 #s(literal 1/500 binary64))
%29 = (/.f64 %8 #s(literal 500 binary64))
%34 = (*.f64 #s(literal -1/500 binary64) y)
%45 = (*.f64 #s(literal 500 binary64) %17)
%49 = (*.f64 #s(literal 2 binary64) %10)
%58 = (*.f64 %10 #s(literal -500 binary64))
%61 = (*.f64 y #s(literal -500 binary64))
%64 = (*.f64 #s(literal -500 binary64) %10)
%66 = (*.f64 #s(literal -500 binary64) y)
%70 = (*.f64 %10 #s(literal 500 binary64))
%72 = (*.f64 #s(literal 500 binary64) y)
%85 = (/.f64 (*.f64 %10 #s(literal 0 binary64)) #s(literal -500 binary64))
%88 = (/.f64 (*.f64 #s(literal 0 binary64) %10) #s(literal -500 binary64))
%91 = (/.f64 (*.f64 y #s(literal 0 binary64)) #s(literal 500 binary64))
%94 = (/.f64 (*.f64 #s(literal 0 binary64) y) #s(literal 500 binary64))
%160 = (/.f64 y #s(literal 1000 binary64))
%163 = (/.f64 (*.f64 %10 #s(literal 1/2 binary64)) #s(literal -500 binary64))
%173 = (approx (+ (* 1/500 y) x) %17)
%178 = (*.f64 #s(literal -500 binary64) x)
%179 = (-.f64 %178 y)
%180 = (*.f64 %179 #s(literal 2 binary64))
%182 = (fma.f64 #s(literal 500 binary64) x y)
%183 = (*.f64 %182 #s(literal 2 binary64))
%185 = (*.f64 %179 #s(literal 1 binary64))
%187 = (*.f64 %179 #s(literal -1 binary64))
%189 = (*.f64 x #s(literal -250000 binary64))
%190 = (-.f64 %189 %72)
%193 = (*.f64 #s(literal 500 binary64) %182)
%196 = (*.f64 #s(literal 1/1000 binary64) %182)
%200 = (-.f64 %34 x)
%203 = (fma.f64 #s(literal 1/500 binary64) y x)
%208 = (/.f64 %189 #s(literal -250000 binary64))
%225 = (*.f64 x #s(literal 2 binary64))
%232 = (*.f64 %17 #s(literal 500 binary64))
%235 = (*.f64 %17 #s(literal -500 binary64))
%236 = (*.f64 #s(literal 500 binary64) x)
%276 = (*.f64 x #s(literal 250000 binary64))
%302 = (*.f64 %225 #s(literal 2 binary64))
%306 = (*.f64 %178 #s(literal 2 binary64))
%309 = (*.f64 %236 #s(literal 2 binary64))
%312 = (*.f64 %225 #s(literal 500 binary64))
%315 = (*.f64 %178 #s(literal 500 binary64))
%318 = (*.f64 %225 #s(literal -1000 binary64))
%322 = (*.f64 %178 #s(literal -1000 binary64))
%325 = (*.f64 %236 #s(literal -1000 binary64))
%328 = (*.f64 %225 #s(literal 1000 binary64))
%332 = (*.f64 %178 #s(literal 1000 binary64))
%335 = (*.f64 %236 #s(literal 1000 binary64))
%338 = (*.f64 %225 #s(literal -250000 binary64))
%341 = (*.f64 %178 #s(literal -250000 binary64))
%344 = (*.f64 %236 #s(literal -250000 binary64))
%347 = (*.f64 %225 #s(literal 250000 binary64))
%350 = (*.f64 %178 #s(literal 250000 binary64))
%353 = (*.f64 %236 #s(literal 250000 binary64))
%356 = (*.f64 %225 #s(literal -500 binary64))
%381 = (*.f64 %18 #s(literal -500 binary64))
%384 = (*.f64 %45 #s(literal -500 binary64))
%387 = (*.f64 %49 #s(literal -500 binary64))
%390 = (*.f64 %3 #s(literal -500 binary64))
%393 = (*.f64 %70 #s(literal -500 binary64))
%396 = (*.f64 %72 #s(literal -500 binary64))
%399 = (*.f64 %18 #s(literal 500 binary64))
%402 = (*.f64 %45 #s(literal 500 binary64))
%405 = (*.f64 %49 #s(literal 500 binary64))
%408 = (*.f64 %3 #s(literal 500 binary64))
%411 = (*.f64 %70 #s(literal 500 binary64))
%414 = (*.f64 %72 #s(literal 500 binary64))
%427 = (*.f64 #s(literal 2 binary64) %34)
%430 = (*.f64 #s(literal 500 binary64) %34)
%484 = (*.f64 #s(literal 2 binary64) %178)
%487 = (*.f64 #s(literal 2 binary64) %236)
%490 = (*.f64 #s(literal 500 binary64) %225)
%500 = (*.f64 #s(literal -1000 binary64) %178)
%503 = (*.f64 #s(literal -1000 binary64) %236)
%509 = (*.f64 #s(literal 1000 binary64) %178)
%512 = (*.f64 #s(literal 1000 binary64) %236)
%518 = (*.f64 #s(literal -250000 binary64) %178)
%521 = (*.f64 #s(literal -250000 binary64) %236)
%527 = (*.f64 #s(literal 250000 binary64) %178)
%530 = (*.f64 #s(literal 250000 binary64) %236)
%544 = (*.f64 #s(literal 2 binary64) %49)
%547 = (*.f64 #s(literal 2 binary64) %3)
%550 = (*.f64 #s(literal 2 binary64) %70)
%553 = (*.f64 #s(literal 2 binary64) %72)
%566 = (*.f64 #s(literal -500 binary64) %49)
%569 = (*.f64 #s(literal -500 binary64) %3)
%572 = (*.f64 #s(literal -500 binary64) %70)
%575 = (*.f64 #s(literal -500 binary64) %72)
%584 = (*.f64 #s(literal 500 binary64) %49)
%587 = (*.f64 #s(literal 500 binary64) %3)
%590 = (*.f64 #s(literal 500 binary64) %70)
%593 = (*.f64 #s(literal 500 binary64) %72)
%620 = (*.f64 #s(literal -500 binary64) %178)
%675 = (fma.f64 %17 #s(literal -500 binary64) %178)
%678 = (fma.f64 %17 #s(literal 500 binary64) %236)
%681 = (fma.f64 %178 #s(literal -500 binary64) %58)
%684 = (fma.f64 %178 #s(literal 500 binary64) %61)
%687 = (*.f64 %178 #s(literal -500 binary64))
%688 = (fma.f64 %10 #s(literal -500 binary64) %687)
%691 = (fma.f64 y #s(literal -500 binary64) %315)
%694 = (fma.f64 %178 #s(literal -500 binary64) %64)
%697 = (fma.f64 %178 #s(literal 500 binary64) %66)
%700 = (fma.f64 %10 #s(literal -500 binary64) %620)
%703 = (fma.f64 y #s(literal -500 binary64) %189)
%706 = (-.f64 %315 %64)
%709 = (-.f64 %687 %66)
%712 = (neg.f64 %190)
%715 = (neg.f64 %193)
%749 = (/.f64 %620 #s(literal 250000 binary64))
%754 = (/.f64 (*.f64 %182 #s(literal 0 binary64)) #s(literal 500 binary64))
%757 = (/.f64 (*.f64 #s(literal 0 binary64) %182) #s(literal 500 binary64))
%838 = (neg.f64 x)
%848 = (/.f64 (*.f64 %182 #s(literal 1/2 binary64)) #s(literal 500 binary64))
%851 = (/.f64 (*.f64 #s(literal 1/2 binary64) %182) #s(literal 500 binary64))
x
y
#s(literal 1/500 binary64)
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/250 binary64) %8)
(*.f64 %12 #s(literal -1/1000 binary64))
(*.f64 %3 #s(literal 1/1000 binary64))
(*.f64 #s(literal 1/2 binary64) %18)
(*.f64 #s(literal 2 binary64) %20)
(*.f64 #s(literal 2 binary64) %22)
(*.f64 #s(literal 2 binary64) %24)
(*.f64 #s(literal 2 binary64) %26)
(*.f64 #s(literal 2 binary64) %29)
(*.f64 #s(literal -1/500 binary64) %10)
(*.f64 #s(literal -1 binary64) %34)
(*.f64 %10 #s(literal -1/500 binary64))
(*.f64 #s(literal 1 binary64) %17)
(*.f64 %17 #s(literal 1 binary64))
%17
(*.f64 y #s(literal 1/500 binary64))
(pow.f64 %17 #s(literal 1 binary64))
(/.f64 (neg.f64 %18) #s(literal -2 binary64))
(/.f64 (neg.f64 %45) #s(literal -500 binary64))
(/.f64 (neg.f64 %49) #s(literal 1000 binary64))
(/.f64 %18 #s(literal 2 binary64))
(/.f64 %45 #s(literal 500 binary64))
(/.f64 (neg.f64 %3) #s(literal -1000 binary64))
(/.f64 %58 #s(literal 250000 binary64))
(/.f64 %61 #s(literal -250000 binary64))
(/.f64 %64 #s(literal 250000 binary64))
(/.f64 %66 #s(literal -250000 binary64))
(/.f64 %49 #s(literal -1000 binary64))
(/.f64 %3 #s(literal 1000 binary64))
(/.f64 %70 #s(literal -250000 binary64))
(/.f64 %72 #s(literal 250000 binary64))
(/.f64 %10 #s(literal -500 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -500 binary64) %10))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 500 binary64) y))
(/.f64 y #s(literal 500 binary64))
(neg.f64 %34)
(fma.f64 %4 #s(literal 1/2 binary64) %85)
(fma.f64 %4 #s(literal 1/2 binary64) %88)
(fma.f64 %4 #s(literal 1/2 binary64) %91)
(fma.f64 %4 #s(literal 1/2 binary64) %94)
(fma.f64 #s(literal 1/250 binary64) %8 %85)
(fma.f64 #s(literal 1/250 binary64) %8 %88)
(fma.f64 #s(literal 1/250 binary64) %8 %91)
(fma.f64 #s(literal 1/250 binary64) %8 %94)
(fma.f64 %12 #s(literal -1/1000 binary64) %85)
(fma.f64 %12 #s(literal -1/1000 binary64) %88)
(fma.f64 %12 #s(literal -1/1000 binary64) %91)
(fma.f64 %12 #s(literal -1/1000 binary64) %94)
(fma.f64 %3 #s(literal 1/1000 binary64) %85)
(fma.f64 %3 #s(literal 1/1000 binary64) %88)
(fma.f64 %3 #s(literal 1/1000 binary64) %91)
(fma.f64 %3 #s(literal 1/1000 binary64) %94)
(fma.f64 #s(literal 1/2 binary64) %18 %85)
(fma.f64 #s(literal 1/2 binary64) %18 %88)
(fma.f64 #s(literal 1/2 binary64) %18 %91)
(fma.f64 #s(literal 1/2 binary64) %18 %94)
(fma.f64 #s(literal 2 binary64) %20 %85)
(fma.f64 #s(literal 2 binary64) %20 %88)
(fma.f64 #s(literal 2 binary64) %20 %91)
(fma.f64 #s(literal 2 binary64) %20 %94)
(fma.f64 #s(literal 2 binary64) %22 %85)
(fma.f64 #s(literal 2 binary64) %22 %88)
(fma.f64 #s(literal 2 binary64) %22 %91)
(fma.f64 #s(literal 2 binary64) %22 %94)
(fma.f64 #s(literal 2 binary64) %24 %85)
(fma.f64 #s(literal 2 binary64) %24 %88)
(fma.f64 #s(literal 2 binary64) %24 %91)
(fma.f64 #s(literal 2 binary64) %24 %94)
(fma.f64 #s(literal 2 binary64) %26 %85)
(fma.f64 #s(literal 2 binary64) %26 %88)
(fma.f64 #s(literal 2 binary64) %26 %91)
(fma.f64 #s(literal 2 binary64) %26 %94)
(fma.f64 #s(literal 2 binary64) %29 %85)
(fma.f64 #s(literal 2 binary64) %29 %88)
(fma.f64 #s(literal 2 binary64) %29 %91)
(fma.f64 #s(literal 2 binary64) %29 %94)
(fma.f64 #s(literal -1/500 binary64) %10 %85)
(fma.f64 #s(literal -1/500 binary64) %10 %88)
(fma.f64 #s(literal -1/500 binary64) %10 %91)
(fma.f64 #s(literal -1/500 binary64) %10 %94)
(fma.f64 #s(literal -1 binary64) %34 %85)
(fma.f64 #s(literal -1 binary64) %34 %88)
(fma.f64 #s(literal -1 binary64) %34 %91)
(fma.f64 #s(literal -1 binary64) %34 %94)
(fma.f64 %10 #s(literal -1/500 binary64) %85)
(fma.f64 %10 #s(literal -1/500 binary64) %88)
(fma.f64 %10 #s(literal -1/500 binary64) %91)
(fma.f64 %10 #s(literal -1/500 binary64) %94)
(fma.f64 #s(literal 1 binary64) %17 %85)
(fma.f64 #s(literal 1 binary64) %17 %88)
(fma.f64 #s(literal 1 binary64) %17 %91)
(fma.f64 #s(literal 1 binary64) %17 %94)
(fma.f64 %17 #s(literal 1 binary64) %85)
(fma.f64 %17 #s(literal 1 binary64) %88)
(fma.f64 %17 #s(literal 1 binary64) %91)
(fma.f64 %17 #s(literal 1 binary64) %94)
(fma.f64 #s(literal 1/500 binary64) y %85)
(fma.f64 #s(literal 1/500 binary64) y %88)
(fma.f64 #s(literal 1/500 binary64) y %91)
(fma.f64 #s(literal 1/500 binary64) y %94)
(fma.f64 y #s(literal 1/500 binary64) %85)
(fma.f64 y #s(literal 1/500 binary64) %88)
(fma.f64 y #s(literal 1/500 binary64) %91)
(fma.f64 y #s(literal 1/500 binary64) %94)
(+.f64 %160 %160)
(+.f64 %163 %163)
(+.f64 %29 %29)
(+.f64 %17 %85)
(+.f64 %17 %88)
(+.f64 %17 %91)
(+.f64 %17 %94)
(*.f64 #s(literal 1 binary64) %173)
(pow.f64 %173 #s(literal 1 binary64))
%173
(/.f64 #s(literal 1 binary64) (pow.f64 %173 #s(literal -1 binary64)))
(*.f64 %180 #s(literal -1/1000 binary64))
(*.f64 %183 #s(literal 1/1000 binary64))
(*.f64 %185 #s(literal -1/500 binary64))
(*.f64 %187 #s(literal 1/500 binary64))
(*.f64 %190 #s(literal -1/250000 binary64))
(*.f64 %193 #s(literal 1/250000 binary64))
(*.f64 #s(literal 2 binary64) %196)
(*.f64 #s(literal -1/500 binary64) %179)
(*.f64 %179 #s(literal -1/500 binary64))
(*.f64 #s(literal -1 binary64) %200)
(*.f64 %182 #s(literal 1/500 binary64))
(*.f64 #s(literal 1 binary64) %203)
(*.f64 %203 #s(literal 1 binary64))
(*.f64 #s(literal 1/500 binary64) %182)
(pow.f64 %203 #s(literal 1 binary64))
(/.f64 (fma.f64 %208 #s(literal 2 binary64) %18) #s(literal 2 binary64))
(/.f64 (fma.f64 %208 #s(literal 500 binary64) %45) #s(literal 500 binary64))
(/.f64 (fma.f64 %208 #s(literal -1000 binary64) %49) #s(literal -1000 binary64))
(/.f64 (fma.f64 %208 #s(literal 1000 binary64) %3) #s(literal 1000 binary64))
(/.f64 (fma.f64 %208 #s(literal -250000 binary64) %70) #s(literal -250000 binary64))
(/.f64 (fma.f64 %208 #s(literal 250000 binary64) %72) #s(literal 250000 binary64))
(/.f64 (fma.f64 %208 #s(literal -500 binary64) %10) #s(literal -500 binary64))
(/.f64 (fma.f64 %208 #s(literal 500 binary64) y) #s(literal 500 binary64))
(/.f64 (fma.f64 %17 #s(literal 2 binary64) %225) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal -1000 binary64) %49) #s(literal -1000 binary64))
(/.f64 (fma.f64 x #s(literal 1000 binary64) %3) #s(literal 1000 binary64))
(/.f64 (-.f64 %232 %178) #s(literal 500 binary64))
(/.f64 (-.f64 %235 %236) #s(literal -500 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal 1000 binary64)) %49) #s(literal 1000 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal -1000 binary64)) %3) #s(literal -1000 binary64))
(/.f64 (fma.f64 %189 #s(literal 2 binary64) (*.f64 %18 #s(literal -250000 binary64))) #s(literal -500000 binary64))
(/.f64 (fma.f64 %189 #s(literal 500 binary64) (*.f64 %45 #s(literal -250000 binary64))) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %189 #s(literal -1000 binary64) (*.f64 %49 #s(literal -250000 binary64))) #s(literal 250000000 binary64))
(/.f64 (fma.f64 %189 #s(literal 1000 binary64) (*.f64 %3 #s(literal -250000 binary64))) #s(literal -250000000 binary64))
(/.f64 (fma.f64 %189 #s(literal -250000 binary64) (*.f64 %70 #s(literal -250000 binary64))) #s(literal 62500000000 binary64))
(/.f64 (fma.f64 %189 #s(literal 250000 binary64) (*.f64 %72 #s(literal -250000 binary64))) #s(literal -62500000000 binary64))
(/.f64 (fma.f64 %189 #s(literal -500 binary64) (*.f64 %10 #s(literal -250000 binary64))) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %189 #s(literal 500 binary64) (*.f64 y #s(literal -250000 binary64))) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %276 #s(literal 2 binary64) (*.f64 %18 #s(literal 250000 binary64))) #s(literal 500000 binary64))
(/.f64 (fma.f64 %276 #s(literal 500 binary64) (*.f64 %45 #s(literal 250000 binary64))) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %276 #s(literal -1000 binary64) (*.f64 %49 #s(literal 250000 binary64))) #s(literal -250000000 binary64))
(/.f64 (fma.f64 %276 #s(literal 1000 binary64) (*.f64 %3 #s(literal 250000 binary64))) #s(literal 250000000 binary64))
(/.f64 (fma.f64 %276 #s(literal -250000 binary64) (*.f64 %70 #s(literal 250000 binary64))) #s(literal -62500000000 binary64))
(/.f64 (fma.f64 %276 #s(literal 250000 binary64) (*.f64 %72 #s(literal 250000 binary64))) #s(literal 62500000000 binary64))
(/.f64 (fma.f64 %276 #s(literal -500 binary64) (*.f64 %10 #s(literal 250000 binary64))) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %276 #s(literal 500 binary64) (*.f64 y #s(literal 250000 binary64))) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) %302) #s(literal 4 binary64))
(/.f64 (fma.f64 %18 #s(literal -500 binary64) %306) #s(literal -1000 binary64))
(/.f64 (fma.f64 %18 #s(literal 500 binary64) %309) #s(literal 1000 binary64))
(/.f64 (fma.f64 %45 #s(literal 2 binary64) %312) #s(literal 1000 binary64))
(/.f64 (fma.f64 %45 #s(literal -500 binary64) %315) #s(literal -250000 binary64))
(/.f64 (fma.f64 %49 #s(literal 2 binary64) %318) #s(literal -2000 binary64))
(/.f64 (fma.f64 %49 #s(literal -500 binary64) %322) #s(literal 500000 binary64))
(/.f64 (fma.f64 %49 #s(literal 500 binary64) %325) #s(literal -500000 binary64))
(/.f64 (fma.f64 %3 #s(literal 2 binary64) %328) #s(literal 2000 binary64))
(/.f64 (fma.f64 %3 #s(literal -500 binary64) %332) #s(literal -500000 binary64))
(/.f64 (fma.f64 %3 #s(literal 500 binary64) %335) #s(literal 500000 binary64))
(/.f64 (fma.f64 %70 #s(literal 2 binary64) %338) #s(literal -500000 binary64))
(/.f64 (fma.f64 %70 #s(literal -500 binary64) %341) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %70 #s(literal 500 binary64) %344) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %72 #s(literal 2 binary64) %347) #s(literal 500000 binary64))
(/.f64 (fma.f64 %72 #s(literal -500 binary64) %350) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %72 #s(literal 500 binary64) %353) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) %356) #s(literal -1000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %312) #s(literal 1000 binary64))
(/.f64 (fma.f64 %225 #s(literal 2 binary64) (*.f64 %18 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %225 #s(literal 500 binary64) (*.f64 %45 #s(literal 2 binary64))) #s(literal 1000 binary64))
(/.f64 (fma.f64 %225 #s(literal -1000 binary64) (*.f64 %49 #s(literal 2 binary64))) #s(literal -2000 binary64))
(/.f64 (fma.f64 %225 #s(literal 1000 binary64) (*.f64 %3 #s(literal 2 binary64))) #s(literal 2000 binary64))
(/.f64 (fma.f64 %225 #s(literal -250000 binary64) (*.f64 %70 #s(literal 2 binary64))) #s(literal -500000 binary64))
(/.f64 (fma.f64 %225 #s(literal 250000 binary64) (*.f64 %72 #s(literal 2 binary64))) #s(literal 500000 binary64))
(/.f64 (fma.f64 %225 #s(literal -500 binary64) %12) #s(literal -1000 binary64))
(/.f64 (fma.f64 %178 #s(literal 2 binary64) %381) #s(literal -1000 binary64))
(/.f64 (fma.f64 %178 #s(literal 500 binary64) %384) #s(literal -250000 binary64))
(/.f64 (fma.f64 %178 #s(literal -1000 binary64) %387) #s(literal 500000 binary64))
(/.f64 (fma.f64 %178 #s(literal 1000 binary64) %390) #s(literal -500000 binary64))
(/.f64 (fma.f64 %178 #s(literal -250000 binary64) %393) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %178 #s(literal 250000 binary64) %396) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %236 #s(literal 2 binary64) %399) #s(literal 1000 binary64))
(/.f64 (fma.f64 x #s(literal 250000 binary64) %402) #s(literal 250000 binary64))
(/.f64 (fma.f64 %236 #s(literal -1000 binary64) %405) #s(literal -500000 binary64))
(/.f64 (fma.f64 %236 #s(literal 1000 binary64) %408) #s(literal 500000 binary64))
(/.f64 (fma.f64 %236 #s(literal -250000 binary64) %411) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %236 #s(literal 250000 binary64) %414) #s(literal 125000000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %17 %225) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 500 binary64) %17 %236) #s(literal 500 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) %18) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 500 binary64) x %45) #s(literal 500 binary64))
(/.f64 (-.f64 %45 %178) #s(literal 500 binary64))
(/.f64 (-.f64 %225 %427) #s(literal 2 binary64))
(/.f64 (-.f64 %236 %430) #s(literal 500 binary64))
(/.f64 (fma.f64 %189 #s(literal 2 binary64) (*.f64 #s(literal -250000 binary64) %18)) #s(literal -500000 binary64))
(/.f64 (fma.f64 %189 #s(literal 500 binary64) (*.f64 #s(literal -250000 binary64) %45)) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %189 #s(literal -1000 binary64) (*.f64 #s(literal -250000 binary64) %49)) #s(literal 250000000 binary64))
(/.f64 (fma.f64 %189 #s(literal 1000 binary64) (*.f64 #s(literal -250000 binary64) %3)) #s(literal -250000000 binary64))
(/.f64 (fma.f64 %189 #s(literal -250000 binary64) (*.f64 #s(literal -250000 binary64) %70)) #s(literal 62500000000 binary64))
(/.f64 (fma.f64 %189 #s(literal 250000 binary64) (*.f64 #s(literal -250000 binary64) %72)) #s(literal -62500000000 binary64))
(/.f64 (fma.f64 %189 #s(literal -500 binary64) (*.f64 #s(literal -250000 binary64) %10)) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %189 #s(literal 500 binary64) (*.f64 #s(literal -250000 binary64) y)) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %276 #s(literal 2 binary64) (*.f64 #s(literal 250000 binary64) %18)) #s(literal 500000 binary64))
(/.f64 (fma.f64 %276 #s(literal 500 binary64) (*.f64 #s(literal 250000 binary64) %45)) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %276 #s(literal -1000 binary64) (*.f64 #s(literal 250000 binary64) %49)) #s(literal -250000000 binary64))
(/.f64 (fma.f64 %276 #s(literal 1000 binary64) (*.f64 #s(literal 250000 binary64) %3)) #s(literal 250000000 binary64))
(/.f64 (fma.f64 %276 #s(literal -250000 binary64) (*.f64 #s(literal 250000 binary64) %70)) #s(literal -62500000000 binary64))
(/.f64 (fma.f64 %276 #s(literal 250000 binary64) (*.f64 #s(literal 250000 binary64) %72)) #s(literal 62500000000 binary64))
(/.f64 (fma.f64 %276 #s(literal -500 binary64) (*.f64 #s(literal 250000 binary64) %10)) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %276 #s(literal 500 binary64) (*.f64 #s(literal 250000 binary64) y)) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %225)) #s(literal 4 binary64))
(/.f64 (fma.f64 %18 #s(literal -500 binary64) %484) #s(literal -1000 binary64))
(/.f64 (fma.f64 %18 #s(literal 500 binary64) %487) #s(literal 1000 binary64))
(/.f64 (fma.f64 %45 #s(literal 2 binary64) %490) #s(literal 1000 binary64))
(/.f64 (fma.f64 %45 #s(literal -500 binary64) %189) #s(literal -250000 binary64))
(/.f64 (fma.f64 %45 #s(literal 500 binary64) %276) #s(literal 250000 binary64))
(/.f64 (fma.f64 %49 #s(literal 2 binary64) (*.f64 #s(literal -1000 binary64) %225)) #s(literal -2000 binary64))
(/.f64 (fma.f64 %49 #s(literal -500 binary64) %500) #s(literal 500000 binary64))
(/.f64 (fma.f64 %49 #s(literal 500 binary64) %503) #s(literal -500000 binary64))
(/.f64 (fma.f64 %3 #s(literal 2 binary64) (*.f64 #s(literal 1000 binary64) %225)) #s(literal 2000 binary64))
(/.f64 (fma.f64 %3 #s(literal -500 binary64) %509) #s(literal -500000 binary64))
(/.f64 (fma.f64 %3 #s(literal 500 binary64) %512) #s(literal 500000 binary64))
(/.f64 (fma.f64 %70 #s(literal 2 binary64) (*.f64 #s(literal -250000 binary64) %225)) #s(literal -500000 binary64))
(/.f64 (fma.f64 %70 #s(literal -500 binary64) %518) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %70 #s(literal 500 binary64) %521) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %72 #s(literal 2 binary64) (*.f64 #s(literal 250000 binary64) %225)) #s(literal 500000 binary64))
(/.f64 (fma.f64 %72 #s(literal -500 binary64) %527) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %72 #s(literal 500 binary64) %530) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) (*.f64 #s(literal -500 binary64) %225)) #s(literal -1000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %490) #s(literal 1000 binary64))
(/.f64 (fma.f64 %225 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %18)) #s(literal 4 binary64))
(/.f64 (fma.f64 %225 #s(literal 500 binary64) (*.f64 #s(literal 2 binary64) %45)) #s(literal 1000 binary64))
(/.f64 (fma.f64 %225 #s(literal -1000 binary64) %544) #s(literal -2000 binary64))
(/.f64 (fma.f64 %225 #s(literal 1000 binary64) %547) #s(literal 2000 binary64))
(/.f64 (fma.f64 %225 #s(literal -250000 binary64) %550) #s(literal -500000 binary64))
(/.f64 (fma.f64 %225 #s(literal 250000 binary64) %553) #s(literal 500000 binary64))
(/.f64 (fma.f64 %225 #s(literal -500 binary64) %49) #s(literal -1000 binary64))
(/.f64 (fma.f64 %225 #s(literal 500 binary64) %3) #s(literal 1000 binary64))
(/.f64 (fma.f64 %178 #s(literal 2 binary64) (*.f64 #s(literal -500 binary64) %18)) #s(literal -1000 binary64))
(/.f64 (fma.f64 %178 #s(literal 500 binary64) (*.f64 #s(literal -500 binary64) %45)) #s(literal -250000 binary64))
(/.f64 (fma.f64 %178 #s(literal -1000 binary64) %566) #s(literal 500000 binary64))
(/.f64 (fma.f64 %178 #s(literal 1000 binary64) %569) #s(literal -500000 binary64))
(/.f64 (fma.f64 %178 #s(literal -250000 binary64) %572) #s(literal 125000000 binary64))
(/.f64 (fma.f64 %178 #s(literal 250000 binary64) %575) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %236 #s(literal 2 binary64) (*.f64 #s(literal 500 binary64) %18)) #s(literal 1000 binary64))
(/.f64 (fma.f64 x #s(literal 250000 binary64) (*.f64 #s(literal 500 binary64) %45)) #s(literal 250000 binary64))
(/.f64 (fma.f64 %236 #s(literal -1000 binary64) %584) #s(literal -500000 binary64))
(/.f64 (fma.f64 %236 #s(literal 1000 binary64) %587) #s(literal 500000 binary64))
(/.f64 (fma.f64 %236 #s(literal -250000 binary64) %590) #s(literal -125000000 binary64))
(/.f64 (fma.f64 %236 #s(literal 250000 binary64) %593) #s(literal 125000000 binary64))
(/.f64 (-.f64 %399 %484) #s(literal 1000 binary64))
(/.f64 (-.f64 %381 %487) #s(literal -1000 binary64))
(/.f64 (-.f64 %402 %189) #s(literal 250000 binary64))
(/.f64 (-.f64 %384 %276) #s(literal -250000 binary64))
(/.f64 (-.f64 %405 %500) #s(literal -500000 binary64))
(/.f64 (-.f64 %387 %503) #s(literal 500000 binary64))
(/.f64 (-.f64 %408 %509) #s(literal 500000 binary64))
(/.f64 (-.f64 %390 %512) #s(literal -500000 binary64))
(/.f64 (-.f64 %411 %518) #s(literal -125000000 binary64))
(/.f64 (-.f64 %393 %521) #s(literal 125000000 binary64))
(/.f64 (-.f64 %414 %527) #s(literal 125000000 binary64))
(/.f64 (-.f64 %396 %530) #s(literal -125000000 binary64))
(/.f64 (-.f64 %70 %620) #s(literal -250000 binary64))
(/.f64 (-.f64 %61 %276) #s(literal -250000 binary64))
(/.f64 (-.f64 %302 (*.f64 #s(literal 2 binary64) %427)) #s(literal 4 binary64))
(/.f64 (-.f64 %312 (*.f64 #s(literal 2 binary64) %430)) #s(literal 1000 binary64))
(/.f64 (-.f64 %328 %544) #s(literal 2000 binary64))
(/.f64 (-.f64 %318 %547) #s(literal -2000 binary64))
(/.f64 (-.f64 %347 %550) #s(literal 500000 binary64))
(/.f64 (-.f64 %338 %553) #s(literal -500000 binary64))
(/.f64 (-.f64 %312 %49) #s(literal 1000 binary64))
(/.f64 (-.f64 %356 %3) #s(literal -1000 binary64))
(/.f64 (-.f64 %306 (*.f64 #s(literal -500 binary64) %427)) #s(literal -1000 binary64))
(/.f64 (-.f64 %315 (*.f64 #s(literal -500 binary64) %430)) #s(literal -250000 binary64))
(/.f64 (-.f64 %332 %566) #s(literal -500000 binary64))
(/.f64 (-.f64 %322 %569) #s(literal 500000 binary64))
(/.f64 (-.f64 %350 %572) #s(literal -125000000 binary64))
(/.f64 (-.f64 %341 %575) #s(literal 125000000 binary64))
(/.f64 (-.f64 %309 (*.f64 #s(literal 500 binary64) %427)) #s(literal 1000 binary64))
(/.f64 (-.f64 %276 (*.f64 #s(literal 500 binary64) %430)) #s(literal 250000 binary64))
(/.f64 (-.f64 %335 %584) #s(literal 500000 binary64))
(/.f64 (-.f64 %325 %587) #s(literal -500000 binary64))
(/.f64 (-.f64 %353 %590) #s(literal 125000000 binary64))
(/.f64 (-.f64 %344 %593) #s(literal -125000000 binary64))
(/.f64 (-.f64 %58 %189) #s(literal 250000 binary64))
(/.f64 (-.f64 %72 %189) #s(literal 250000 binary64))
(/.f64 (neg.f64 %675) #s(literal 500 binary64))
(/.f64 (neg.f64 %678) #s(literal -500 binary64))
(/.f64 (neg.f64 %681) #s(literal -250000 binary64))
(/.f64 (neg.f64 %684) #s(literal 250000 binary64))
(/.f64 (neg.f64 %688) #s(literal -250000 binary64))
(/.f64 (neg.f64 %691) #s(literal 250000 binary64))
(/.f64 (neg.f64 %694) #s(literal -250000 binary64))
(/.f64 (neg.f64 %697) #s(literal 250000 binary64))
(/.f64 (neg.f64 %700) #s(literal -250000 binary64))
(/.f64 (neg.f64 %703) #s(literal 250000 binary64))
(/.f64 (neg.f64 %706) #s(literal 250000 binary64))
(/.f64 (neg.f64 %709) #s(literal -250000 binary64))
(/.f64 (neg.f64 %712) #s(literal -250000 binary64))
(/.f64 (neg.f64 %715) #s(literal 250000 binary64))
(/.f64 %185 #s(literal -500 binary64))
(/.f64 %187 #s(literal 500 binary64))
(/.f64 %675 #s(literal -500 binary64))
(/.f64 %678 #s(literal 500 binary64))
(/.f64 %681 #s(literal 250000 binary64))
(/.f64 %684 #s(literal -250000 binary64))
(/.f64 %688 #s(literal 250000 binary64))
(/.f64 %691 #s(literal -250000 binary64))
(/.f64 %694 #s(literal 250000 binary64))
(/.f64 %697 #s(literal -250000 binary64))
(/.f64 %700 #s(literal 250000 binary64))
(/.f64 %703 #s(literal -250000 binary64))
(/.f64 %706 #s(literal -250000 binary64))
(/.f64 %709 #s(literal 250000 binary64))
(/.f64 %712 #s(literal 250000 binary64))
(/.f64 %715 #s(literal -250000 binary64))
(/.f64 %190 #s(literal -250000 binary64))
(/.f64 %193 #s(literal 250000 binary64))
(/.f64 %179 #s(literal -500 binary64))
(/.f64 %182 #s(literal 500 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -250000 binary64) %190))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 250000 binary64) %193))
(/.f64 #s(literal 1 binary64) (pow.f64 %203 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -500 binary64) %179))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 500 binary64) %182))
(neg.f64 %200)
(fma.f64 %4 #s(literal 1/2 binary64) %749)
(fma.f64 %4 #s(literal 1/2 binary64) %208)
(fma.f64 %4 #s(literal 1/2 binary64) x)
(fma.f64 %180 #s(literal -1/1000 binary64) %754)
(fma.f64 %180 #s(literal -1/1000 binary64) %757)
(fma.f64 %183 #s(literal 1/1000 binary64) %754)
(fma.f64 %183 #s(literal 1/1000 binary64) %757)
(fma.f64 #s(literal 1/250 binary64) %8 %749)
(fma.f64 #s(literal 1/250 binary64) %8 %208)
(fma.f64 #s(literal 1/250 binary64) %8 x)
(fma.f64 %185 #s(literal -1/500 binary64) %754)
(fma.f64 %185 #s(literal -1/500 binary64) %757)
(fma.f64 %187 #s(literal 1/500 binary64) %754)
(fma.f64 %187 #s(literal 1/500 binary64) %757)
(fma.f64 %12 #s(literal -1/1000 binary64) %749)
(fma.f64 %12 #s(literal -1/1000 binary64) %208)
(fma.f64 %12 #s(literal -1/1000 binary64) x)
(fma.f64 %3 #s(literal 1/1000 binary64) %749)
(fma.f64 %3 #s(literal 1/1000 binary64) %208)
(fma.f64 %3 #s(literal 1/1000 binary64) x)
(fma.f64 %190 #s(literal -1/250000 binary64) %754)
(fma.f64 %190 #s(literal -1/250000 binary64) %757)
(fma.f64 %193 #s(literal 1/250000 binary64) %754)
(fma.f64 %193 #s(literal 1/250000 binary64) %757)
(fma.f64 #s(literal 1/2 binary64) %18 %749)
(fma.f64 #s(literal 1/2 binary64) %18 %208)
(fma.f64 #s(literal 1/2 binary64) %18 x)
(fma.f64 #s(literal 2 binary64) %20 %749)
(fma.f64 #s(literal 2 binary64) %20 %208)
(fma.f64 #s(literal 2 binary64) %20 x)
(fma.f64 #s(literal 2 binary64) %22 %749)
(fma.f64 #s(literal 2 binary64) %22 %208)
(fma.f64 #s(literal 2 binary64) %22 x)
(fma.f64 #s(literal 2 binary64) %24 %749)
(fma.f64 #s(literal 2 binary64) %24 %208)
(fma.f64 #s(literal 2 binary64) %24 x)
(fma.f64 #s(literal 2 binary64) %26 %749)
(fma.f64 #s(literal 2 binary64) %26 %208)
(fma.f64 #s(literal 2 binary64) %26 x)
(fma.f64 #s(literal 2 binary64) %196 %754)
(fma.f64 #s(literal 2 binary64) %196 %757)
(fma.f64 #s(literal 2 binary64) %29 %749)
(fma.f64 #s(literal 2 binary64) %29 %208)
(fma.f64 #s(literal 2 binary64) %29 x)
(fma.f64 #s(literal -1/500 binary64) %179 %754)
(fma.f64 #s(literal -1/500 binary64) %179 %757)
(fma.f64 #s(literal -1/500 binary64) %10 %749)
(fma.f64 #s(literal -1/500 binary64) %10 %208)
(fma.f64 #s(literal -1/500 binary64) %10 x)
(fma.f64 %179 #s(literal -1/500 binary64) %754)
(fma.f64 %179 #s(literal -1/500 binary64) %757)
(fma.f64 #s(literal -1 binary64) %200 %754)
(fma.f64 #s(literal -1 binary64) %200 %757)
(fma.f64 #s(literal -1 binary64) %34 %749)
(fma.f64 #s(literal -1 binary64) %34 %208)
(fma.f64 #s(literal -1 binary64) %34 x)
(fma.f64 %182 #s(literal 1/500 binary64) %754)
(fma.f64 %182 #s(literal 1/500 binary64) %757)
(fma.f64 %10 #s(literal -1/500 binary64) %749)
(fma.f64 %10 #s(literal -1/500 binary64) %208)
(fma.f64 %10 #s(literal -1/500 binary64) x)
(fma.f64 #s(literal 1 binary64) %203 %754)
(fma.f64 #s(literal 1 binary64) %203 %757)
(fma.f64 #s(literal 1 binary64) %17 %749)
(fma.f64 #s(literal 1 binary64) %17 %208)
(fma.f64 #s(literal 1 binary64) %17 x)
(fma.f64 %203 #s(literal 1 binary64) %754)
(fma.f64 %203 #s(literal 1 binary64) %757)
(fma.f64 %17 #s(literal 1 binary64) %749)
(fma.f64 %17 #s(literal 1 binary64) %208)
(fma.f64 %17 #s(literal 1 binary64) x)
(fma.f64 #s(literal 1/500 binary64) %182 %754)
(fma.f64 #s(literal 1/500 binary64) %182 %757)
(fma.f64 #s(literal 1/500 binary64) y %749)
(fma.f64 #s(literal 1/500 binary64) y %208)
%203
(fma.f64 y #s(literal 1/500 binary64) %749)
(fma.f64 y #s(literal 1/500 binary64) %208)
(fma.f64 y #s(literal 1/500 binary64) x)
(-.f64 %208 %34)
(-.f64 %17 (*.f64 %178 #s(literal 1/500 binary64)))
(-.f64 %17 (*.f64 #s(literal -500 binary64) (*.f64 x #s(literal 1/500 binary64))))
(-.f64 %17 (*.f64 %838 #s(literal 1 binary64)))
(-.f64 %17 %838)
(-.f64 x %34)
(+.f64 (/.f64 %235 #s(literal -500 binary64)) x)
(+.f64 (/.f64 %232 #s(literal 500 binary64)) x)
(+.f64 %848 %848)
(+.f64 %851 %851)
(+.f64 %208 %17)
(+.f64 %203 %754)
(+.f64 %203 %757)
(+.f64 %17 %749)
(+.f64 %17 %208)
(+.f64 %17 x)
(+.f64 x %17)
reconstruct42.0ms (3.8%)
Counts
448 → 67
Compiler
Compiled 448 to 871 computations (-94.4% saved)
eval5.0ms (0.5%)
Compiler
Compiled 63 to 157 computations (-149.2% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (1 fresh and 2 done)
PrunedKeptTotal
New62163
Fresh000
Picked022
Done101
Total63366
Accuracy
100.0%
Counts
66 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 #s(literal 1/500 binary64) y x)
▶51.3%
(approx (+ x (/ y 500)) (/.f64 y #s(literal 500 binary64)))
✓51.2%
(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
Compiler
Compiled 3 to 7 computations (-133.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series5.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03695
Stop Event
1×iter-limit
Counts
4 → 9
Calls
Call 1
Inputs
%2 = (/.f64 y #s(literal 500 binary64))
y
#s(literal 500 binary64)
%2
(approx (+ x (/ y 500)) %2)
Outputs
%6 = (+ x (/ y 500))
%8 = (*.f64 #s(literal 1/500 binary64) y)
%14 = (/.f64 y x)
%27 = (/.f64 x y)
(approx y #s(literal 0 binary64))
(approx %6 %8)
(approx %6 (+.f64 x %8))
(approx %6 x)
(approx %6 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/500 binary64) %14))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/500 binary64) %14) #s(literal 1 binary64)))))
(approx y y)
(approx %6 (*.f64 y (+.f64 #s(literal 1/500 binary64) %27)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %27) #s(literal 1/500 binary64)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
x
inf
0.0ms
y
0
0.0ms
x
0
rewrite93.0ms (8.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0714
0814
13114
29014
328814
4113114
0403614
0421213
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 354
Calls
Call 1
Inputs
%2 = (/.f64 y #s(literal 500 binary64))
y
#s(literal 500 binary64)
%2
(approx (+ x (/ y 500)) %2)
Outputs
%2 = (+.f64 y y)
%3 = (*.f64 #s(literal 500 binary64) %2)
%5 = (/.f64 %3 #s(literal -500 binary64))
%9 = (*.f64 #s(literal -1 binary64) %2)
%10 = (/.f64 %9 #s(literal -1 binary64))
%14 = (*.f64 y #s(literal -2 binary64))
%15 = (/.f64 %14 #s(literal -1 binary64))
%17 = (neg.f64 y)
%19 = (*.f64 %17 #s(literal 1/2 binary64))
%20 = (/.f64 %19 #s(literal -1 binary64))
%23 = (neg.f64 %2)
%24 = (/.f64 %23 #s(literal -1 binary64))
%27 = (/.f64 %9 #s(literal 1 binary64))
%29 = (/.f64 %9 #s(literal 500 binary64))
%32 = (/.f64 %14 #s(literal 1 binary64))
%34 = (/.f64 %14 #s(literal 500 binary64))
%36 = (/.f64 %19 #s(literal 1 binary64))
%39 = (/.f64 %23 #s(literal 1 binary64))
%41 = (/.f64 %23 #s(literal 500 binary64))
%43 = (*.f64 %17 #s(literal -2 binary64))
%44 = (/.f64 %43 #s(literal 1 binary64))
%46 = (/.f64 %43 #s(literal 500 binary64))
%48 = (*.f64 y #s(literal 1/2 binary64))
%49 = (/.f64 %48 #s(literal 1 binary64))
%52 = (*.f64 %17 #s(literal 2 binary64))
%53 = (/.f64 %52 #s(literal -1 binary64))
%55 = (/.f64 %52 #s(literal 1 binary64))
%57 = (/.f64 %52 #s(literal 500 binary64))
%59 = (/.f64 %2 #s(literal -500 binary64))
%61 = (/.f64 %2 #s(literal -1 binary64))
%63 = (/.f64 %17 #s(literal -1 binary64))
%66 = (/.f64 %17 #s(literal 1 binary64))
%69 = (/.f64 y #s(literal -1 binary64))
%71 = (/.f64 %3 #s(literal 500 binary64))
%73 = (/.f64 %2 #s(literal 1 binary64))
%75 = (/.f64 %2 #s(literal 500 binary64))
%77 = (/.f64 y #s(literal 1 binary64))
%79 = (/.f64 %48 #s(literal 500 binary64))
%81 = (/.f64 %19 #s(literal 500 binary64))
%83 = (/.f64 y #s(literal 2 binary64))
%85 = (*.f64 #s(literal 1/500 binary64) %2)
%87 = (/.f64 %17 #s(literal 2 binary64))
%89 = (*.f64 #s(literal 1/2 binary64) y)
%90 = (/.f64 %89 #s(literal -1 binary64))
%92 = (*.f64 #s(literal -1/2 binary64) y)
%93 = (/.f64 %92 #s(literal -1 binary64))
%95 = (/.f64 %89 #s(literal 1 binary64))
%100 = (*.f64 #s(literal 1/500 binary64) y)
%101 = (/.f64 %100 #s(literal 4 binary64))
%105 = (/.f64 %92 #s(literal 500 binary64))
%107 = (/.f64 %89 #s(literal -500 binary64))
%110 = (*.f64 #s(literal 2 binary64) %100)
%112 = (/.f64 %100 #s(literal 2 binary64))
%114 = (/.f64 %92 #s(literal -500 binary64))
%116 = (/.f64 %89 #s(literal 500 binary64))
%118 = (*.f64 #s(literal -1/1000 binary64) %17)
%120 = (*.f64 #s(literal 1/1000 binary64) y)
%122 = (*.f64 #s(literal 1/2 binary64) %100)
%127 = (*.f64 #s(literal -1/500 binary64) y)
%133 = (/.f64 %100 #s(literal 1 binary64))
%137 = (/.f64 %100 #s(literal 500 binary64))
%143 = (*.f64 #s(literal 2 binary64) %17)
%177 = (/.f64 (*.f64 %17 #s(literal 0 binary64)) #s(literal -500 binary64))
%180 = (/.f64 (*.f64 #s(literal 0 binary64) %17) #s(literal -500 binary64))
%183 = (/.f64 (*.f64 y #s(literal 0 binary64)) #s(literal 500 binary64))
%186 = (/.f64 (*.f64 #s(literal 0 binary64) y) #s(literal 500 binary64))
%440 = (/.f64 y #s(literal 1000 binary64))
%442 = (/.f64 %19 #s(literal -500 binary64))
%445 = (/.f64 (*.f64 #s(literal 1/2 binary64) %17) #s(literal -500 binary64))
%457 = (approx (+ x (/ y 500)) %100)
y
#s(literal 500 binary64)
(*.f64 %5 #s(literal -1/1000 binary64))
(*.f64 %10 #s(literal 1/1000 binary64))
(*.f64 %15 #s(literal 1/1000 binary64))
(*.f64 %20 #s(literal 1/250 binary64))
(*.f64 %24 #s(literal 1/1000 binary64))
(*.f64 %27 #s(literal -1/1000 binary64))
(*.f64 %29 #s(literal -1/2 binary64))
(*.f64 %32 #s(literal -1/1000 binary64))
(*.f64 %34 #s(literal -1/2 binary64))
(*.f64 %36 #s(literal -1/250 binary64))
(*.f64 %39 #s(literal -1/1000 binary64))
(*.f64 %41 #s(literal -1/2 binary64))
(*.f64 %44 #s(literal 1/1000 binary64))
(*.f64 %46 #s(literal 1/2 binary64))
(*.f64 %49 #s(literal 1/250 binary64))
(*.f64 %53 #s(literal 1/1000 binary64))
(*.f64 %55 #s(literal -1/1000 binary64))
(*.f64 %57 #s(literal -1/2 binary64))
(*.f64 %59 #s(literal -1/2 binary64))
(*.f64 %61 #s(literal -1/1000 binary64))
(*.f64 %63 #s(literal 1/500 binary64))
(*.f64 %66 #s(literal -1/500 binary64))
(*.f64 %69 #s(literal -1/500 binary64))
(*.f64 %71 #s(literal 1/1000 binary64))
(*.f64 %73 #s(literal 1/1000 binary64))
(*.f64 %75 #s(literal 1/2 binary64))
(*.f64 %77 #s(literal 1/500 binary64))
(*.f64 %79 #s(literal 2 binary64))
(*.f64 %81 #s(literal -2 binary64))
(*.f64 %83 #s(literal 1/250 binary64))
(*.f64 %85 #s(literal 1/2 binary64))
(*.f64 #s(literal -1/250 binary64) %87)
(*.f64 #s(literal -1/250 binary64) %90)
(*.f64 #s(literal 1/250 binary64) %93)
(*.f64 #s(literal 1/250 binary64) %95)
(*.f64 #s(literal 1/250 binary64) %83)
(*.f64 %52 #s(literal -1/1000 binary64))
(*.f64 #s(literal 4 binary64) %101)
(*.f64 %2 #s(literal 1/1000 binary64))
(*.f64 #s(literal 1/1000 binary64) %73)
(*.f64 #s(literal -2 binary64) %105)
(*.f64 #s(literal -2 binary64) %107)
(*.f64 #s(literal 1/2 binary64) %75)
(*.f64 #s(literal 1/2 binary64) %110)
(*.f64 #s(literal 2 binary64) %112)
(*.f64 #s(literal 2 binary64) %114)
(*.f64 #s(literal 2 binary64) %116)
(*.f64 #s(literal 2 binary64) %118)
(*.f64 #s(literal 2 binary64) %120)
(*.f64 #s(literal 2 binary64) %122)
(*.f64 #s(literal -1/500 binary64) %66)
(*.f64 #s(literal -1/500 binary64) %69)
(*.f64 #s(literal -1/500 binary64) %17)
(*.f64 #s(literal -1 binary64) %127)
(*.f64 %127 #s(literal -1 binary64))
(*.f64 #s(literal 1/500 binary64) %63)
(*.f64 #s(literal 1/500 binary64) %77)
%100
(*.f64 %17 #s(literal -1/500 binary64))
(*.f64 #s(literal 1 binary64) %133)
(*.f64 #s(literal 1 binary64) %100)
(*.f64 %100 #s(literal 1 binary64))
(*.f64 #s(literal 500 binary64) %137)
(*.f64 y #s(literal 1/500 binary64))
(pow.f64 %100 #s(literal 1 binary64))
(/.f64 (neg.f64 %110) #s(literal -2 binary64))
(/.f64 (neg.f64 %143) #s(literal 1000 binary64))
(/.f64 %110 #s(literal 2 binary64))
(/.f64 %23 #s(literal -1000 binary64))
(/.f64 (*.f64 %17 #s(literal -500 binary64)) #s(literal 250000 binary64))
(/.f64 (*.f64 y #s(literal -500 binary64)) #s(literal -250000 binary64))
(/.f64 (*.f64 #s(literal -500 binary64) %17) #s(literal 250000 binary64))
(/.f64 (*.f64 #s(literal -500 binary64) y) #s(literal -250000 binary64))
(/.f64 %143 #s(literal -1000 binary64))
(/.f64 %2 #s(literal 1000 binary64))
(/.f64 (*.f64 %17 #s(literal 500 binary64)) #s(literal -250000 binary64))
(/.f64 (*.f64 #s(literal 500 binary64) y) #s(literal 250000 binary64))
(/.f64 %17 #s(literal -500 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %100 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -500 binary64) %17))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 500 binary64) y))
(/.f64 y #s(literal 500 binary64))
(neg.f64 %127)
(fma.f64 %5 #s(literal -1/1000 binary64) %177)
(fma.f64 %5 #s(literal -1/1000 binary64) %180)
(fma.f64 %5 #s(literal -1/1000 binary64) %183)
(fma.f64 %5 #s(literal -1/1000 binary64) %186)
(fma.f64 %10 #s(literal 1/1000 binary64) %177)
(fma.f64 %10 #s(literal 1/1000 binary64) %180)
(fma.f64 %10 #s(literal 1/1000 binary64) %183)
(fma.f64 %10 #s(literal 1/1000 binary64) %186)
(fma.f64 %15 #s(literal 1/1000 binary64) %177)
(fma.f64 %15 #s(literal 1/1000 binary64) %180)
(fma.f64 %15 #s(literal 1/1000 binary64) %183)
(fma.f64 %15 #s(literal 1/1000 binary64) %186)
(fma.f64 %20 #s(literal 1/250 binary64) %177)
(fma.f64 %20 #s(literal 1/250 binary64) %180)
(fma.f64 %20 #s(literal 1/250 binary64) %183)
(fma.f64 %20 #s(literal 1/250 binary64) %186)
(fma.f64 %24 #s(literal 1/1000 binary64) %177)
(fma.f64 %24 #s(literal 1/1000 binary64) %180)
(fma.f64 %24 #s(literal 1/1000 binary64) %183)
(fma.f64 %24 #s(literal 1/1000 binary64) %186)
(fma.f64 %27 #s(literal -1/1000 binary64) %177)
(fma.f64 %27 #s(literal -1/1000 binary64) %180)
(fma.f64 %27 #s(literal -1/1000 binary64) %183)
(fma.f64 %27 #s(literal -1/1000 binary64) %186)
(fma.f64 %29 #s(literal -1/2 binary64) %177)
(fma.f64 %29 #s(literal -1/2 binary64) %180)
(fma.f64 %29 #s(literal -1/2 binary64) %183)
(fma.f64 %29 #s(literal -1/2 binary64) %186)
(fma.f64 %32 #s(literal -1/1000 binary64) %177)
(fma.f64 %32 #s(literal -1/1000 binary64) %180)
(fma.f64 %32 #s(literal -1/1000 binary64) %183)
(fma.f64 %32 #s(literal -1/1000 binary64) %186)
(fma.f64 %34 #s(literal -1/2 binary64) %177)
(fma.f64 %34 #s(literal -1/2 binary64) %180)
(fma.f64 %34 #s(literal -1/2 binary64) %183)
(fma.f64 %34 #s(literal -1/2 binary64) %186)
(fma.f64 %36 #s(literal -1/250 binary64) %177)
(fma.f64 %36 #s(literal -1/250 binary64) %180)
(fma.f64 %36 #s(literal -1/250 binary64) %183)
(fma.f64 %36 #s(literal -1/250 binary64) %186)
(fma.f64 %39 #s(literal -1/1000 binary64) %177)
(fma.f64 %39 #s(literal -1/1000 binary64) %180)
(fma.f64 %39 #s(literal -1/1000 binary64) %183)
(fma.f64 %39 #s(literal -1/1000 binary64) %186)
(fma.f64 %41 #s(literal -1/2 binary64) %177)
(fma.f64 %41 #s(literal -1/2 binary64) %180)
(fma.f64 %41 #s(literal -1/2 binary64) %183)
(fma.f64 %41 #s(literal -1/2 binary64) %186)
(fma.f64 %44 #s(literal 1/1000 binary64) %177)
(fma.f64 %44 #s(literal 1/1000 binary64) %180)
(fma.f64 %44 #s(literal 1/1000 binary64) %183)
(fma.f64 %44 #s(literal 1/1000 binary64) %186)
(fma.f64 %46 #s(literal 1/2 binary64) %177)
(fma.f64 %46 #s(literal 1/2 binary64) %180)
(fma.f64 %46 #s(literal 1/2 binary64) %183)
(fma.f64 %46 #s(literal 1/2 binary64) %186)
(fma.f64 %49 #s(literal 1/250 binary64) %177)
(fma.f64 %49 #s(literal 1/250 binary64) %180)
(fma.f64 %49 #s(literal 1/250 binary64) %183)
(fma.f64 %49 #s(literal 1/250 binary64) %186)
(fma.f64 %53 #s(literal 1/1000 binary64) %177)
(fma.f64 %53 #s(literal 1/1000 binary64) %180)
(fma.f64 %53 #s(literal 1/1000 binary64) %183)
(fma.f64 %53 #s(literal 1/1000 binary64) %186)
(fma.f64 %55 #s(literal -1/1000 binary64) %177)
(fma.f64 %55 #s(literal -1/1000 binary64) %180)
(fma.f64 %55 #s(literal -1/1000 binary64) %183)
(fma.f64 %55 #s(literal -1/1000 binary64) %186)
(fma.f64 %57 #s(literal -1/2 binary64) %177)
(fma.f64 %57 #s(literal -1/2 binary64) %180)
(fma.f64 %57 #s(literal -1/2 binary64) %183)
(fma.f64 %57 #s(literal -1/2 binary64) %186)
(fma.f64 %59 #s(literal -1/2 binary64) %177)
(fma.f64 %59 #s(literal -1/2 binary64) %180)
(fma.f64 %59 #s(literal -1/2 binary64) %183)
(fma.f64 %59 #s(literal -1/2 binary64) %186)
(fma.f64 %61 #s(literal -1/1000 binary64) %177)
(fma.f64 %61 #s(literal -1/1000 binary64) %180)
(fma.f64 %61 #s(literal -1/1000 binary64) %183)
(fma.f64 %61 #s(literal -1/1000 binary64) %186)
(fma.f64 %63 #s(literal 1/500 binary64) %177)
(fma.f64 %63 #s(literal 1/500 binary64) %180)
(fma.f64 %63 #s(literal 1/500 binary64) %183)
(fma.f64 %63 #s(literal 1/500 binary64) %186)
(fma.f64 %66 #s(literal -1/500 binary64) %177)
(fma.f64 %66 #s(literal -1/500 binary64) %180)
(fma.f64 %66 #s(literal -1/500 binary64) %183)
(fma.f64 %66 #s(literal -1/500 binary64) %186)
(fma.f64 %69 #s(literal -1/500 binary64) %177)
(fma.f64 %69 #s(literal -1/500 binary64) %180)
(fma.f64 %69 #s(literal -1/500 binary64) %183)
(fma.f64 %69 #s(literal -1/500 binary64) %186)
(fma.f64 %71 #s(literal 1/1000 binary64) %177)
(fma.f64 %71 #s(literal 1/1000 binary64) %180)
(fma.f64 %71 #s(literal 1/1000 binary64) %183)
(fma.f64 %71 #s(literal 1/1000 binary64) %186)
(fma.f64 %73 #s(literal 1/1000 binary64) %177)
(fma.f64 %73 #s(literal 1/1000 binary64) %180)
(fma.f64 %73 #s(literal 1/1000 binary64) %183)
(fma.f64 %73 #s(literal 1/1000 binary64) %186)
(fma.f64 %75 #s(literal 1/2 binary64) %177)
(fma.f64 %75 #s(literal 1/2 binary64) %180)
(fma.f64 %75 #s(literal 1/2 binary64) %183)
(fma.f64 %75 #s(literal 1/2 binary64) %186)
(fma.f64 %77 #s(literal 1/500 binary64) %177)
(fma.f64 %77 #s(literal 1/500 binary64) %180)
(fma.f64 %77 #s(literal 1/500 binary64) %183)
(fma.f64 %77 #s(literal 1/500 binary64) %186)
(fma.f64 %79 #s(literal 2 binary64) %177)
(fma.f64 %79 #s(literal 2 binary64) %180)
(fma.f64 %79 #s(literal 2 binary64) %183)
(fma.f64 %79 #s(literal 2 binary64) %186)
(fma.f64 %81 #s(literal -2 binary64) %177)
(fma.f64 %81 #s(literal -2 binary64) %180)
(fma.f64 %81 #s(literal -2 binary64) %183)
(fma.f64 %81 #s(literal -2 binary64) %186)
(fma.f64 %83 #s(literal 1/250 binary64) %177)
(fma.f64 %83 #s(literal 1/250 binary64) %180)
(fma.f64 %83 #s(literal 1/250 binary64) %183)
(fma.f64 %83 #s(literal 1/250 binary64) %186)
(fma.f64 %85 #s(literal 1/2 binary64) %177)
(fma.f64 %85 #s(literal 1/2 binary64) %180)
(fma.f64 %85 #s(literal 1/2 binary64) %183)
(fma.f64 %85 #s(literal 1/2 binary64) %186)
(fma.f64 #s(literal -1/250 binary64) %87 %177)
(fma.f64 #s(literal -1/250 binary64) %87 %180)
(fma.f64 #s(literal -1/250 binary64) %87 %183)
(fma.f64 #s(literal -1/250 binary64) %87 %186)
(fma.f64 #s(literal -1/250 binary64) %90 %177)
(fma.f64 #s(literal -1/250 binary64) %90 %180)
(fma.f64 #s(literal -1/250 binary64) %90 %183)
(fma.f64 #s(literal -1/250 binary64) %90 %186)
(fma.f64 #s(literal 1/250 binary64) %93 %177)
(fma.f64 #s(literal 1/250 binary64) %93 %180)
(fma.f64 #s(literal 1/250 binary64) %93 %183)
(fma.f64 #s(literal 1/250 binary64) %93 %186)
(fma.f64 #s(literal 1/250 binary64) %95 %177)
(fma.f64 #s(literal 1/250 binary64) %95 %180)
(fma.f64 #s(literal 1/250 binary64) %95 %183)
(fma.f64 #s(literal 1/250 binary64) %95 %186)
(fma.f64 #s(literal 1/250 binary64) %83 %177)
(fma.f64 #s(literal 1/250 binary64) %83 %180)
(fma.f64 #s(literal 1/250 binary64) %83 %183)
(fma.f64 #s(literal 1/250 binary64) %83 %186)
(fma.f64 %52 #s(literal -1/1000 binary64) %177)
(fma.f64 %52 #s(literal -1/1000 binary64) %180)
(fma.f64 %52 #s(literal -1/1000 binary64) %183)
(fma.f64 %52 #s(literal -1/1000 binary64) %186)
(fma.f64 #s(literal 4 binary64) %101 %177)
(fma.f64 #s(literal 4 binary64) %101 %180)
(fma.f64 #s(literal 4 binary64) %101 %183)
(fma.f64 #s(literal 4 binary64) %101 %186)
(fma.f64 %2 #s(literal 1/1000 binary64) %177)
(fma.f64 %2 #s(literal 1/1000 binary64) %180)
(fma.f64 %2 #s(literal 1/1000 binary64) %183)
(fma.f64 %2 #s(literal 1/1000 binary64) %186)
(fma.f64 #s(literal 1/1000 binary64) %73 %177)
(fma.f64 #s(literal 1/1000 binary64) %73 %180)
(fma.f64 #s(literal 1/1000 binary64) %73 %183)
(fma.f64 #s(literal 1/1000 binary64) %73 %186)
(fma.f64 #s(literal -2 binary64) %105 %177)
(fma.f64 #s(literal -2 binary64) %105 %180)
(fma.f64 #s(literal -2 binary64) %105 %183)
(fma.f64 #s(literal -2 binary64) %105 %186)
(fma.f64 #s(literal -2 binary64) %107 %177)
(fma.f64 #s(literal -2 binary64) %107 %180)
(fma.f64 #s(literal -2 binary64) %107 %183)
(fma.f64 #s(literal -2 binary64) %107 %186)
(fma.f64 #s(literal 1/2 binary64) %75 %177)
(fma.f64 #s(literal 1/2 binary64) %75 %180)
(fma.f64 #s(literal 1/2 binary64) %75 %183)
(fma.f64 #s(literal 1/2 binary64) %75 %186)
(fma.f64 #s(literal 1/2 binary64) %110 %177)
(fma.f64 #s(literal 1/2 binary64) %110 %180)
(fma.f64 #s(literal 1/2 binary64) %110 %183)
(fma.f64 #s(literal 1/2 binary64) %110 %186)
(fma.f64 #s(literal 2 binary64) %112 %177)
(fma.f64 #s(literal 2 binary64) %112 %180)
(fma.f64 #s(literal 2 binary64) %112 %183)
(fma.f64 #s(literal 2 binary64) %112 %186)
(fma.f64 #s(literal 2 binary64) %114 %177)
(fma.f64 #s(literal 2 binary64) %114 %180)
(fma.f64 #s(literal 2 binary64) %114 %183)
(fma.f64 #s(literal 2 binary64) %114 %186)
(fma.f64 #s(literal 2 binary64) %116 %177)
(fma.f64 #s(literal 2 binary64) %116 %180)
(fma.f64 #s(literal 2 binary64) %116 %183)
(fma.f64 #s(literal 2 binary64) %116 %186)
(fma.f64 #s(literal 2 binary64) %118 %177)
(fma.f64 #s(literal 2 binary64) %118 %180)
(fma.f64 #s(literal 2 binary64) %118 %183)
(fma.f64 #s(literal 2 binary64) %118 %186)
(fma.f64 #s(literal 2 binary64) %120 %177)
(fma.f64 #s(literal 2 binary64) %120 %180)
(fma.f64 #s(literal 2 binary64) %120 %183)
(fma.f64 #s(literal 2 binary64) %120 %186)
(fma.f64 #s(literal 2 binary64) %122 %177)
(fma.f64 #s(literal 2 binary64) %122 %180)
(fma.f64 #s(literal 2 binary64) %122 %183)
(fma.f64 #s(literal 2 binary64) %122 %186)
(fma.f64 #s(literal -1/500 binary64) %66 %177)
(fma.f64 #s(literal -1/500 binary64) %66 %180)
(fma.f64 #s(literal -1/500 binary64) %66 %183)
(fma.f64 #s(literal -1/500 binary64) %66 %186)
(fma.f64 #s(literal -1/500 binary64) %69 %177)
(fma.f64 #s(literal -1/500 binary64) %69 %180)
(fma.f64 #s(literal -1/500 binary64) %69 %183)
(fma.f64 #s(literal -1/500 binary64) %69 %186)
(fma.f64 #s(literal -1/500 binary64) %17 %177)
(fma.f64 #s(literal -1/500 binary64) %17 %180)
(fma.f64 #s(literal -1/500 binary64) %17 %183)
(fma.f64 #s(literal -1/500 binary64) %17 %186)
(fma.f64 #s(literal -1 binary64) %127 %177)
(fma.f64 #s(literal -1 binary64) %127 %180)
(fma.f64 #s(literal -1 binary64) %127 %183)
(fma.f64 #s(literal -1 binary64) %127 %186)
(fma.f64 %127 #s(literal -1 binary64) %177)
(fma.f64 %127 #s(literal -1 binary64) %180)
(fma.f64 %127 #s(literal -1 binary64) %183)
(fma.f64 %127 #s(literal -1 binary64) %186)
(fma.f64 #s(literal 1/500 binary64) %63 %177)
(fma.f64 #s(literal 1/500 binary64) %63 %180)
(fma.f64 #s(literal 1/500 binary64) %63 %183)
(fma.f64 #s(literal 1/500 binary64) %63 %186)
(fma.f64 #s(literal 1/500 binary64) %77 %177)
(fma.f64 #s(literal 1/500 binary64) %77 %180)
(fma.f64 #s(literal 1/500 binary64) %77 %183)
(fma.f64 #s(literal 1/500 binary64) %77 %186)
(fma.f64 #s(literal 1/500 binary64) y %177)
(fma.f64 #s(literal 1/500 binary64) y %180)
(fma.f64 #s(literal 1/500 binary64) y %183)
(fma.f64 #s(literal 1/500 binary64) y %186)
(fma.f64 %17 #s(literal -1/500 binary64) %177)
(fma.f64 %17 #s(literal -1/500 binary64) %180)
(fma.f64 %17 #s(literal -1/500 binary64) %183)
(fma.f64 %17 #s(literal -1/500 binary64) %186)
(fma.f64 #s(literal 1 binary64) %133 %177)
(fma.f64 #s(literal 1 binary64) %133 %180)
(fma.f64 #s(literal 1 binary64) %133 %183)
(fma.f64 #s(literal 1 binary64) %133 %186)
(fma.f64 #s(literal 1 binary64) %100 %177)
(fma.f64 #s(literal 1 binary64) %100 %180)
(fma.f64 #s(literal 1 binary64) %100 %183)
(fma.f64 #s(literal 1 binary64) %100 %186)
(fma.f64 %100 #s(literal 1 binary64) %177)
(fma.f64 %100 #s(literal 1 binary64) %180)
(fma.f64 %100 #s(literal 1 binary64) %183)
(fma.f64 %100 #s(literal 1 binary64) %186)
(fma.f64 #s(literal 500 binary64) %137 %177)
(fma.f64 #s(literal 500 binary64) %137 %180)
(fma.f64 #s(literal 500 binary64) %137 %183)
(fma.f64 #s(literal 500 binary64) %137 %186)
(fma.f64 y #s(literal 1/500 binary64) %177)
(fma.f64 y #s(literal 1/500 binary64) %180)
(fma.f64 y #s(literal 1/500 binary64) %183)
(fma.f64 y #s(literal 1/500 binary64) %186)
(+.f64 %440 %440)
(+.f64 %442 %442)
(+.f64 %445 %445)
(+.f64 %79 %79)
(+.f64 %116 %116)
(+.f64 %100 %177)
(+.f64 %100 %180)
(+.f64 %100 %183)
(+.f64 %100 %186)
(*.f64 #s(literal 1 binary64) %457)
(pow.f64 %457 #s(literal 1 binary64))
%457
(/.f64 #s(literal 1 binary64) (pow.f64 %457 #s(literal -1 binary64)))
reconstruct30.0ms (2.7%)
Counts
362 → 19
Compiler
Compiled 362 to 474 computations (-30.9% saved)
eval2.0ms (0.2%)
Compiler
Compiled 16 to 47 computations (-193.8% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (1 fresh and 3 done)
PrunedKeptTotal
New15116
Fresh000
Picked011
Done022
Total15419
Accuracy
100.0%
Counts
19 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 #s(literal 1/500 binary64) y x)
✓51.3%
(approx (+ x (/ y 500)) (/.f64 y #s(literal 500 binary64)))
✓51.2%
(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
▶50.4%
(approx (+ x (/ y 500)) x)
Compiler
Compiled 4 to 7 computations (-75.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series4.0ms (0.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03588
Stop Event
1×iter-limit
Counts
2 → 8
Calls
Call 1
Inputs
x
(approx (+ x (/ y 500)) x)
Outputs
%7 = (+ x (/ y 500))
%9 = (*.f64 #s(literal 1/500 binary64) y)
%14 = (/.f64 y x)
%26 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %7 (+.f64 x %9))
(approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/500 binary64) %14))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/500 binary64) %14) #s(literal 1 binary64)))))
(approx %7 (*.f64 y (+.f64 #s(literal 1/500 binary64) %26)))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %26) #s(literal 1/500 binary64)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
-inf
0.0ms
x
inf
0.0ms
y
inf
0.0ms
x
0
0.0ms
y
0
rewrite80.0ms (7.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
068
068
1298
2888
32868
411298
040408
042157
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×saturated
Counts
2 → 5
Calls
Call 1
Inputs
x
(approx (+ x (/ y 500)) x)
Outputs
%6 = (approx (+ (/ y 500) x) x)
x
(*.f64 #s(literal 1 binary64) %6)
(pow.f64 %6 #s(literal 1 binary64))
%6
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
reconstruct1.0ms (0.1%)
Counts
13 → 8
Compiler
Compiled 13 to 28 computations (-115.4% saved)
eval1.0ms (0.1%)
Compiler
Compiled 8 to 17 computations (-112.5% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (1 fresh and 4 done)
PrunedKeptTotal
New718
Fresh000
Picked011
Done033
Total7512
Accuracy
100.0%
Counts
12 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 #s(literal 1/500 binary64) y x)
✓51.3%
(approx (+ x (/ y 500)) (/.f64 y #s(literal 500 binary64)))
✓51.2%
(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
2.7%
(approx (+ x (/ y 500)) (approx x #s(literal 0 binary64)))
✓50.4%
(approx (+ x (/ y 500)) x)
Compiler
Compiled 5 to 8 computations (-60.0% saved)
regimes16.0ms (1.4%)
Accuracy
Total 25.6b remaining (42.7%)
Threshold costs 0.1b (0.1%)
12.8b57.4%
12.7b57.5%
0.1b0.0%
0.0b0.0%
-0.0b+∞%
Counts
1 → 1
3 → 3
4 → 3
5 → 1
6 → 1
Calls
Call 1
Inputs
(approx (+ x (/ y 500)) x)
Outputs
(approx (+ x (/ y 500)) x)
Call 2
Inputs
%4 = (+ x (/ y 500))
(approx %4 x)
(approx %4 (approx x #s(literal 0 binary64)))
(approx %4 (*.f64 #s(literal 1/500 binary64) y))
Outputs
%4 = (+ x (/ y 500))
%7 = (approx %4 (*.f64 #s(literal 1/500 binary64) y))
%7
(approx %4 x)
%7
Call 3
Inputs
%4 = (+ x (/ y 500))
(approx %4 x)
(approx %4 (approx x #s(literal 0 binary64)))
(approx %4 (*.f64 #s(literal 1/500 binary64) y))
(approx %4 (/.f64 y #s(literal 500 binary64)))
Outputs
%4 = (+ x (/ y 500))
%7 = (approx %4 (/.f64 y #s(literal 500 binary64)))
%7
(approx %4 x)
%7
Call 4
Inputs
%4 = (+ x (/ y 500))
(approx %4 x)
(approx %4 (approx x #s(literal 0 binary64)))
(approx %4 (*.f64 #s(literal 1/500 binary64) y))
(approx %4 (/.f64 y #s(literal 500 binary64)))
(fma.f64 #s(literal 1/500 binary64) y x)
Outputs
(fma.f64 #s(literal 1/500 binary64) y x)
Call 5
Inputs
%4 = (+ x (/ y 500))
%13 = (/.f64 y #s(literal 500 binary64))
(approx %4 x)
(approx %4 (approx x #s(literal 0 binary64)))
(approx %4 (*.f64 #s(literal 1/500 binary64) y))
(approx %4 %13)
(fma.f64 #s(literal 1/500 binary64) y x)
(+.f64 x %13)
Outputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))
Calls
4 calls:
10.0ms
(+.f64 x (/.f64 y #s(literal 500 binary64)))
4.0ms
(/.f64 y #s(literal 500 binary64))
4.0ms
x
4.0ms
y
Results
AccuracySegmentsBranch
50.4%1
y
50.4%1
x
50.4%1
(+.f64 x (/.f64 y #s(literal 500 binary64)))
50.4%1
(/.f64 y #s(literal 500 binary64))
Compiler
Compiled 10 to 14 computations (-40.0% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
4.940447761200204e+37
5.0041913365979845e+45
0.0ms
-7.547297622552854e+30
-6.239132010765113e+29
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
4.940447761200204e+37
5.0041913365979845e+45
0.0ms
-7.547297622552854e+30
-6.239132010765113e+29
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
derivations37.0ms (3.4%)
Stop Event
1×fuel
Compiler
Compiled 5 to 16 computations (-220.0% saved)
preprocess35.0ms (3.2%)
Compiler
Compiled 6 to 21 computations (-250.0% saved)
end0.0ms (0.0%)
gc203ms (18.6%)
Allocations
AllocatedPercentPhase
436.9 MiB37.6%sample
359.0 MiB30.9%rewrite
203.7 MiB17.5%reconstruct
51.6 MiB4.4%preprocess
34.1 MiB2.9%series
28.0 MiB2.4%regimes
18.8 MiB1.6%eval
17.7 MiB1.5%derivations
9.6 MiB0.8%prune
1.2 MiB0.1%bsearch
0.7 MiB0.1%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
1 161.3 MiB100.0%total
Profiling
Loading profile data...