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

Time bar (total: 1.3s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 7 to 7 computations (0.0% saved)

sample400.0ms (31.4%)

Samples
284.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
Div: 6.0ms (67.4% of total, 0.0 MiB)
Sub: 3.0ms (33.7% of total, 0.0 MiB)
Bogosity

preprocess43.0ms (3.4%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01434
17730
223530
372230
4272530
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series16.0ms (1.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
040109
Stop Event
1×iter-limit
Counts
5 → 11
Calls
Call 1
Inputs
%3 = (/.f64 y #s(literal 200 binary64))
x
y
#s(literal 200 binary64)
%3
(-.f64 x %3)
Outputs
%6 = (/ y 200)
%7 = (- x %6)
%9 = (*.f64 #s(literal -1/200 binary64) y)
%12 = (*.f64 #s(literal 1/200 binary64) y)
%16 = (/.f64 y x)
%31 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %7 (-.f64 x %12))
(approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/200 binary64) %16))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/200 binary64) %16) #s(literal 1 binary64)))))
(approx y y)
(approx %6 %12)
(approx %7 (+.f64 x %9))
(approx %7 (*.f64 y (-.f64 %31 #s(literal 1/200 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/200 binary64) (*.f64 #s(literal -1 binary64) %31)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
y
-inf
2.0ms
y
inf
2.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
0
rewrite101.0ms (8.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0511
0711
13011
29111
328111
4108411
0404911
0422110
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 579
Calls
Call 1
Inputs
%3 = (/.f64 y #s(literal 200 binary64))
x
y
#s(literal 200 binary64)
%3
(-.f64 x %3)
Outputs
%3 = (+.f64 y y)
%4 = (*.f64 #s(literal 200 binary64) %3)
%6 = (/.f64 %4 #s(literal -200 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 200 binary64))
%33 = (/.f64 %15 #s(literal 1 binary64))
%35 = (/.f64 %15 #s(literal 200 binary64))
%37 = (/.f64 %20 #s(literal 1 binary64))
%40 = (/.f64 %24 #s(literal 1 binary64))
%42 = (/.f64 %24 #s(literal 200 binary64))
%44 = (*.f64 %18 #s(literal -2 binary64))
%45 = (/.f64 %44 #s(literal 1 binary64))
%47 = (/.f64 %44 #s(literal 200 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 200 binary64))
%60 = (/.f64 %3 #s(literal 200 binary64))
%62 = (/.f64 %3 #s(literal -1 binary64))
%64 = (/.f64 %18 #s(literal -1 binary64))
%67 = (/.f64 y #s(literal -1 binary64))
%70 = (/.f64 %3 #s(literal 1 binary64))
%72 = (/.f64 %4 #s(literal 200 binary64))
%74 = (/.f64 y #s(literal 1 binary64))
%76 = (/.f64 %18 #s(literal 1 binary64))
%78 = (/.f64 %49 #s(literal 200 binary64))
%80 = (/.f64 %20 #s(literal 200 binary64))
%82 = (/.f64 y #s(literal 2 binary64))
%84 = (*.f64 #s(literal 1/200 binary64) %3)
%86 = (*.f64 #s(literal 1/2 binary64) y)
%87 = (/.f64 %86 #s(literal -1 binary64))
%89 = (/.f64 %18 #s(literal 2 binary64))
%91 = (*.f64 #s(literal -1/2 binary64) y)
%92 = (/.f64 %91 #s(literal -1 binary64))
%94 = (/.f64 %86 #s(literal 1 binary64))
%99 = (*.f64 #s(literal 1/200 binary64) y)
%100 = (/.f64 %99 #s(literal 4 binary64))
%104 = (/.f64 %91 #s(literal 200 binary64))
%106 = (/.f64 %86 #s(literal -200 binary64))
%109 = (*.f64 #s(literal 2 binary64) %99)
%111 = (/.f64 %99 #s(literal 2 binary64))
%113 = (/.f64 %91 #s(literal -200 binary64))
%115 = (/.f64 %86 #s(literal 200 binary64))
%117 = (*.f64 #s(literal -1/400 binary64) %18)
%119 = (*.f64 #s(literal 1/400 binary64) y)
%121 = (*.f64 #s(literal 1/2 binary64) %99)
%126 = (*.f64 #s(literal -1/200 binary64) y)
%132 = (/.f64 %99 #s(literal 1 binary64))
%136 = (/.f64 %99 #s(literal 200 binary64))
%142 = (*.f64 #s(literal 2 binary64) %18)
%149 = (*.f64 #s(literal -200 binary64) %18)
%152 = (*.f64 #s(literal -200 binary64) y)
%157 = (*.f64 %18 #s(literal 200 binary64))
%159 = (*.f64 #s(literal 200 binary64) y)
%172 = (/.f64 (*.f64 %18 #s(literal 0 binary64)) #s(literal -200 binary64))
%175 = (/.f64 (*.f64 #s(literal 0 binary64) %18) #s(literal -200 binary64))
%178 = (/.f64 (*.f64 y #s(literal 0 binary64)) #s(literal 200 binary64))
%181 = (/.f64 (*.f64 #s(literal 0 binary64) y) #s(literal 200 binary64))
%431 = (/.f64 y #s(literal 400 binary64))
%433 = (/.f64 %20 #s(literal -200 binary64))
%436 = (/.f64 (*.f64 #s(literal 1/2 binary64) %18) #s(literal -200 binary64))
%444 = (fma.f64 #s(literal -200 binary64) x y)
%445 = (/.f64 %444 #s(literal -1 binary64))
%447 = (/.f64 %444 #s(literal 1 binary64))
%449 = (*.f64 #s(literal 200 binary64) x)
%450 = (-.f64 %449 y)
%451 = (*.f64 %450 #s(literal -2 binary64))
%452 = (/.f64 %451 #s(literal -1 binary64))
%454 = (/.f64 %451 #s(literal 1 binary64))
%456 = (/.f64 %451 #s(literal 200 binary64))
%458 = (*.f64 %450 #s(literal 2 binary64))
%459 = (/.f64 %458 #s(literal -1 binary64))
%461 = (/.f64 %450 #s(literal -1 binary64))
%463 = (/.f64 %458 #s(literal 1 binary64))
%465 = (/.f64 %458 #s(literal 200 binary64))
%467 = (*.f64 %450 #s(literal 1/2 binary64))
%468 = (/.f64 %467 #s(literal 1 binary64))
%470 = (/.f64 %450 #s(literal 1 binary64))
%472 = (/.f64 %467 #s(literal 200 binary64))
%474 = (*.f64 %444 #s(literal 2 binary64))
%477 = (*.f64 %444 #s(literal 1 binary64))
%479 = (*.f64 %444 #s(literal -1 binary64))
%481 = (fma.f64 x #s(literal -40000 binary64) %159)
%484 = (fma.f64 x #s(literal 40000 binary64) %152)
%487 = (*.f64 #s(literal 1/400 binary64) %450)
%492 = (-.f64 %99 x)
%498 = (fma.f64 #s(literal -1/200 binary64) y x)
%502 = (*.f64 x #s(literal 2 binary64))
%505 = (*.f64 #s(literal -200 binary64) x)
%517 = (*.f64 %502 #s(literal 200 binary64))
%520 = (*.f64 %505 #s(literal 200 binary64))
%523 = (*.f64 %502 #s(literal -200 binary64))
%526 = (*.f64 %505 #s(literal -200 binary64))
%536 = (*.f64 x #s(literal -40000 binary64))
%539 = (*.f64 x #s(literal 40000 binary64))
%545 = (*.f64 #s(literal -200 binary64) %505)
%618 = (*.f64 %18 #s(literal -200 binary64))
%688 = (fma.f64 %505 #s(literal 200 binary64) %618)
%691 = (*.f64 y #s(literal -200 binary64))
%692 = (fma.f64 %505 #s(literal -200 binary64) %691)
%695 = (fma.f64 %505 #s(literal 200 binary64) %149)
%698 = (fma.f64 %505 #s(literal -200 binary64) %152)
%701 = (-.f64 %526 %149)
%704 = (-.f64 %520 %152)
%707 = (neg.f64 %481)
%710 = (neg.f64 %484)
%768 = (/.f64 (*.f64 %450 #s(literal 0 binary64)) #s(literal 200 binary64))
%771 = (/.f64 (*.f64 #s(literal 0 binary64) %450) #s(literal 200 binary64))
%867 = (/.f64 (*.f64 #s(literal 1/2 binary64) %450) #s(literal 200 binary64))
x
y
#s(literal 200 binary64)
(*.f64 %6 #s(literal -1/400 binary64))
(*.f64 %12 #s(literal 1/400 binary64))
(*.f64 %16 #s(literal 1/400 binary64))
(*.f64 %21 #s(literal 1/100 binary64))
(*.f64 %25 #s(literal 1/400 binary64))
(*.f64 %28 #s(literal -1/400 binary64))
(*.f64 %30 #s(literal -1/2 binary64))
(*.f64 %33 #s(literal -1/400 binary64))
(*.f64 %35 #s(literal -1/2 binary64))
(*.f64 %37 #s(literal -1/100 binary64))
(*.f64 %40 #s(literal -1/400 binary64))
(*.f64 %42 #s(literal -1/2 binary64))
(*.f64 %45 #s(literal 1/400 binary64))
(*.f64 %47 #s(literal 1/2 binary64))
(*.f64 %50 #s(literal 1/100 binary64))
(*.f64 %54 #s(literal 1/400 binary64))
(*.f64 %56 #s(literal -1/400 binary64))
(*.f64 %58 #s(literal -1/2 binary64))
(*.f64 %60 #s(literal 1/2 binary64))
(*.f64 %62 #s(literal -1/400 binary64))
(*.f64 %64 #s(literal 1/200 binary64))
(*.f64 %67 #s(literal -1/200 binary64))
(*.f64 %70 #s(literal 1/400 binary64))
(*.f64 %72 #s(literal 1/400 binary64))
(*.f64 %74 #s(literal 1/200 binary64))
(*.f64 %76 #s(literal -1/200 binary64))
(*.f64 %78 #s(literal 2 binary64))
(*.f64 %80 #s(literal -2 binary64))
(*.f64 %82 #s(literal 1/100 binary64))
(*.f64 %84 #s(literal 1/2 binary64))
(*.f64 #s(literal -1/100 binary64) %87)
(*.f64 #s(literal -1/100 binary64) %89)
(*.f64 #s(literal 1/100 binary64) %92)
(*.f64 #s(literal 1/100 binary64) %94)
(*.f64 #s(literal 1/100 binary64) %82)
(*.f64 %53 #s(literal -1/400 binary64))
(*.f64 #s(literal 4 binary64) %100)
(*.f64 %3 #s(literal 1/400 binary64))
(*.f64 #s(literal 1/400 binary64) %70)
(*.f64 #s(literal -2 binary64) %104)
(*.f64 #s(literal -2 binary64) %106)
(*.f64 #s(literal 1/2 binary64) %60)
(*.f64 #s(literal 1/2 binary64) %109)
(*.f64 #s(literal 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 -1/200 binary64) %67)
(*.f64 #s(literal -1/200 binary64) %76)
(*.f64 #s(literal -1/200 binary64) %18)
(*.f64 #s(literal -1 binary64) %126)
(*.f64 %126 #s(literal -1 binary64))
(*.f64 #s(literal 1/200 binary64) %64)
(*.f64 #s(literal 1/200 binary64) %74)
%99
(*.f64 %18 #s(literal -1/200 binary64))
(*.f64 #s(literal 1 binary64) %132)
(*.f64 #s(literal 1 binary64) %99)
(*.f64 %99 #s(literal 1 binary64))
(*.f64 #s(literal 200 binary64) %136)
(*.f64 y #s(literal 1/200 binary64))
(pow.f64 %99 #s(literal 1 binary64))
(/.f64 (neg.f64 %109) #s(literal -2 binary64))
(/.f64 (neg.f64 %142) #s(literal 400 binary64))
(/.f64 %109 #s(literal 2 binary64))
(/.f64 %24 #s(literal -400 binary64))
(/.f64 %149 #s(literal 40000 binary64))
(/.f64 %152 #s(literal -40000 binary64))
(/.f64 %142 #s(literal -400 binary64))
(/.f64 %3 #s(literal 400 binary64))
(/.f64 %157 #s(literal -40000 binary64))
(/.f64 %159 #s(literal 40000 binary64))
(/.f64 %18 #s(literal -200 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %99 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -200 binary64) %18))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 200 binary64) y))
(/.f64 y #s(literal 200 binary64))
(neg.f64 %126)
(fma.f64 %6 #s(literal -1/400 binary64) %172)
(fma.f64 %6 #s(literal -1/400 binary64) %175)
(fma.f64 %6 #s(literal -1/400 binary64) %178)
(fma.f64 %6 #s(literal -1/400 binary64) %181)
(fma.f64 %12 #s(literal 1/400 binary64) %172)
(fma.f64 %12 #s(literal 1/400 binary64) %175)
(fma.f64 %12 #s(literal 1/400 binary64) %178)
(fma.f64 %12 #s(literal 1/400 binary64) %181)
(fma.f64 %16 #s(literal 1/400 binary64) %172)
(fma.f64 %16 #s(literal 1/400 binary64) %175)
(fma.f64 %16 #s(literal 1/400 binary64) %178)
(fma.f64 %16 #s(literal 1/400 binary64) %181)
(fma.f64 %21 #s(literal 1/100 binary64) %172)
(fma.f64 %21 #s(literal 1/100 binary64) %175)
(fma.f64 %21 #s(literal 1/100 binary64) %178)
(fma.f64 %21 #s(literal 1/100 binary64) %181)
(fma.f64 %25 #s(literal 1/400 binary64) %172)
(fma.f64 %25 #s(literal 1/400 binary64) %175)
(fma.f64 %25 #s(literal 1/400 binary64) %178)
(fma.f64 %25 #s(literal 1/400 binary64) %181)
(fma.f64 %28 #s(literal -1/400 binary64) %172)
(fma.f64 %28 #s(literal -1/400 binary64) %175)
(fma.f64 %28 #s(literal -1/400 binary64) %178)
(fma.f64 %28 #s(literal -1/400 binary64) %181)
(fma.f64 %30 #s(literal -1/2 binary64) %172)
(fma.f64 %30 #s(literal -1/2 binary64) %175)
(fma.f64 %30 #s(literal -1/2 binary64) %178)
(fma.f64 %30 #s(literal -1/2 binary64) %181)
(fma.f64 %33 #s(literal -1/400 binary64) %172)
(fma.f64 %33 #s(literal -1/400 binary64) %175)
(fma.f64 %33 #s(literal -1/400 binary64) %178)
(fma.f64 %33 #s(literal -1/400 binary64) %181)
(fma.f64 %35 #s(literal -1/2 binary64) %172)
(fma.f64 %35 #s(literal -1/2 binary64) %175)
(fma.f64 %35 #s(literal -1/2 binary64) %178)
(fma.f64 %35 #s(literal -1/2 binary64) %181)
(fma.f64 %37 #s(literal -1/100 binary64) %172)
(fma.f64 %37 #s(literal -1/100 binary64) %175)
(fma.f64 %37 #s(literal -1/100 binary64) %178)
(fma.f64 %37 #s(literal -1/100 binary64) %181)
(fma.f64 %40 #s(literal -1/400 binary64) %172)
(fma.f64 %40 #s(literal -1/400 binary64) %175)
(fma.f64 %40 #s(literal -1/400 binary64) %178)
(fma.f64 %40 #s(literal -1/400 binary64) %181)
(fma.f64 %42 #s(literal -1/2 binary64) %172)
(fma.f64 %42 #s(literal -1/2 binary64) %175)
(fma.f64 %42 #s(literal -1/2 binary64) %178)
(fma.f64 %42 #s(literal -1/2 binary64) %181)
(fma.f64 %45 #s(literal 1/400 binary64) %172)
(fma.f64 %45 #s(literal 1/400 binary64) %175)
(fma.f64 %45 #s(literal 1/400 binary64) %178)
(fma.f64 %45 #s(literal 1/400 binary64) %181)
(fma.f64 %47 #s(literal 1/2 binary64) %172)
(fma.f64 %47 #s(literal 1/2 binary64) %175)
(fma.f64 %47 #s(literal 1/2 binary64) %178)
(fma.f64 %47 #s(literal 1/2 binary64) %181)
(fma.f64 %50 #s(literal 1/100 binary64) %172)
(fma.f64 %50 #s(literal 1/100 binary64) %175)
(fma.f64 %50 #s(literal 1/100 binary64) %178)
(fma.f64 %50 #s(literal 1/100 binary64) %181)
(fma.f64 %54 #s(literal 1/400 binary64) %172)
(fma.f64 %54 #s(literal 1/400 binary64) %175)
(fma.f64 %54 #s(literal 1/400 binary64) %178)
(fma.f64 %54 #s(literal 1/400 binary64) %181)
(fma.f64 %56 #s(literal -1/400 binary64) %172)
(fma.f64 %56 #s(literal -1/400 binary64) %175)
(fma.f64 %56 #s(literal -1/400 binary64) %178)
(fma.f64 %56 #s(literal -1/400 binary64) %181)
(fma.f64 %58 #s(literal -1/2 binary64) %172)
(fma.f64 %58 #s(literal -1/2 binary64) %175)
(fma.f64 %58 #s(literal -1/2 binary64) %178)
(fma.f64 %58 #s(literal -1/2 binary64) %181)
(fma.f64 %60 #s(literal 1/2 binary64) %172)
(fma.f64 %60 #s(literal 1/2 binary64) %175)
(fma.f64 %60 #s(literal 1/2 binary64) %178)
(fma.f64 %60 #s(literal 1/2 binary64) %181)
(fma.f64 %62 #s(literal -1/400 binary64) %172)
(fma.f64 %62 #s(literal -1/400 binary64) %175)
(fma.f64 %62 #s(literal -1/400 binary64) %178)
(fma.f64 %62 #s(literal -1/400 binary64) %181)
(fma.f64 %64 #s(literal 1/200 binary64) %172)
(fma.f64 %64 #s(literal 1/200 binary64) %175)
(fma.f64 %64 #s(literal 1/200 binary64) %178)
(fma.f64 %64 #s(literal 1/200 binary64) %181)
(fma.f64 %67 #s(literal -1/200 binary64) %172)
(fma.f64 %67 #s(literal -1/200 binary64) %175)
(fma.f64 %67 #s(literal -1/200 binary64) %178)
(fma.f64 %67 #s(literal -1/200 binary64) %181)
(fma.f64 %70 #s(literal 1/400 binary64) %172)
(fma.f64 %70 #s(literal 1/400 binary64) %175)
(fma.f64 %70 #s(literal 1/400 binary64) %178)
(fma.f64 %70 #s(literal 1/400 binary64) %181)
(fma.f64 %72 #s(literal 1/400 binary64) %172)
(fma.f64 %72 #s(literal 1/400 binary64) %175)
(fma.f64 %72 #s(literal 1/400 binary64) %178)
(fma.f64 %72 #s(literal 1/400 binary64) %181)
(fma.f64 %74 #s(literal 1/200 binary64) %172)
(fma.f64 %74 #s(literal 1/200 binary64) %175)
(fma.f64 %74 #s(literal 1/200 binary64) %178)
(fma.f64 %74 #s(literal 1/200 binary64) %181)
(fma.f64 %76 #s(literal -1/200 binary64) %172)
(fma.f64 %76 #s(literal -1/200 binary64) %175)
(fma.f64 %76 #s(literal -1/200 binary64) %178)
(fma.f64 %76 #s(literal -1/200 binary64) %181)
(fma.f64 %78 #s(literal 2 binary64) %172)
(fma.f64 %78 #s(literal 2 binary64) %175)
(fma.f64 %78 #s(literal 2 binary64) %178)
(fma.f64 %78 #s(literal 2 binary64) %181)
(fma.f64 %80 #s(literal -2 binary64) %172)
(fma.f64 %80 #s(literal -2 binary64) %175)
(fma.f64 %80 #s(literal -2 binary64) %178)
(fma.f64 %80 #s(literal -2 binary64) %181)
(fma.f64 %82 #s(literal 1/100 binary64) %172)
(fma.f64 %82 #s(literal 1/100 binary64) %175)
(fma.f64 %82 #s(literal 1/100 binary64) %178)
(fma.f64 %82 #s(literal 1/100 binary64) %181)
(fma.f64 %84 #s(literal 1/2 binary64) %172)
(fma.f64 %84 #s(literal 1/2 binary64) %175)
(fma.f64 %84 #s(literal 1/2 binary64) %178)
(fma.f64 %84 #s(literal 1/2 binary64) %181)
(fma.f64 #s(literal -1/100 binary64) %87 %172)
(fma.f64 #s(literal -1/100 binary64) %87 %175)
(fma.f64 #s(literal -1/100 binary64) %87 %178)
(fma.f64 #s(literal -1/100 binary64) %87 %181)
(fma.f64 #s(literal -1/100 binary64) %89 %172)
(fma.f64 #s(literal -1/100 binary64) %89 %175)
(fma.f64 #s(literal -1/100 binary64) %89 %178)
(fma.f64 #s(literal -1/100 binary64) %89 %181)
(fma.f64 #s(literal 1/100 binary64) %92 %172)
(fma.f64 #s(literal 1/100 binary64) %92 %175)
(fma.f64 #s(literal 1/100 binary64) %92 %178)
(fma.f64 #s(literal 1/100 binary64) %92 %181)
(fma.f64 #s(literal 1/100 binary64) %94 %172)
(fma.f64 #s(literal 1/100 binary64) %94 %175)
(fma.f64 #s(literal 1/100 binary64) %94 %178)
(fma.f64 #s(literal 1/100 binary64) %94 %181)
(fma.f64 #s(literal 1/100 binary64) %82 %172)
(fma.f64 #s(literal 1/100 binary64) %82 %175)
(fma.f64 #s(literal 1/100 binary64) %82 %178)
(fma.f64 #s(literal 1/100 binary64) %82 %181)
(fma.f64 %53 #s(literal -1/400 binary64) %172)
(fma.f64 %53 #s(literal -1/400 binary64) %175)
(fma.f64 %53 #s(literal -1/400 binary64) %178)
(fma.f64 %53 #s(literal -1/400 binary64) %181)
(fma.f64 #s(literal 4 binary64) %100 %172)
(fma.f64 #s(literal 4 binary64) %100 %175)
(fma.f64 #s(literal 4 binary64) %100 %178)
(fma.f64 #s(literal 4 binary64) %100 %181)
(fma.f64 %3 #s(literal 1/400 binary64) %172)
(fma.f64 %3 #s(literal 1/400 binary64) %175)
(fma.f64 %3 #s(literal 1/400 binary64) %178)
(fma.f64 %3 #s(literal 1/400 binary64) %181)
(fma.f64 #s(literal 1/400 binary64) %70 %172)
(fma.f64 #s(literal 1/400 binary64) %70 %175)
(fma.f64 #s(literal 1/400 binary64) %70 %178)
(fma.f64 #s(literal 1/400 binary64) %70 %181)
(fma.f64 #s(literal -2 binary64) %104 %172)
(fma.f64 #s(literal -2 binary64) %104 %175)
(fma.f64 #s(literal -2 binary64) %104 %178)
(fma.f64 #s(literal -2 binary64) %104 %181)
(fma.f64 #s(literal -2 binary64) %106 %172)
(fma.f64 #s(literal -2 binary64) %106 %175)
(fma.f64 #s(literal -2 binary64) %106 %178)
(fma.f64 #s(literal -2 binary64) %106 %181)
(fma.f64 #s(literal 1/2 binary64) %60 %172)
(fma.f64 #s(literal 1/2 binary64) %60 %175)
(fma.f64 #s(literal 1/2 binary64) %60 %178)
(fma.f64 #s(literal 1/2 binary64) %60 %181)
(fma.f64 #s(literal 1/2 binary64) %109 %172)
(fma.f64 #s(literal 1/2 binary64) %109 %175)
(fma.f64 #s(literal 1/2 binary64) %109 %178)
(fma.f64 #s(literal 1/2 binary64) %109 %181)
(fma.f64 #s(literal 2 binary64) %111 %172)
(fma.f64 #s(literal 2 binary64) %111 %175)
(fma.f64 #s(literal 2 binary64) %111 %178)
(fma.f64 #s(literal 2 binary64) %111 %181)
(fma.f64 #s(literal 2 binary64) %113 %172)
(fma.f64 #s(literal 2 binary64) %113 %175)
(fma.f64 #s(literal 2 binary64) %113 %178)
(fma.f64 #s(literal 2 binary64) %113 %181)
(fma.f64 #s(literal 2 binary64) %115 %172)
(fma.f64 #s(literal 2 binary64) %115 %175)
(fma.f64 #s(literal 2 binary64) %115 %178)
(fma.f64 #s(literal 2 binary64) %115 %181)
(fma.f64 #s(literal 2 binary64) %117 %172)
(fma.f64 #s(literal 2 binary64) %117 %175)
(fma.f64 #s(literal 2 binary64) %117 %178)
(fma.f64 #s(literal 2 binary64) %117 %181)
(fma.f64 #s(literal 2 binary64) %119 %172)
(fma.f64 #s(literal 2 binary64) %119 %175)
(fma.f64 #s(literal 2 binary64) %119 %178)
(fma.f64 #s(literal 2 binary64) %119 %181)
(fma.f64 #s(literal 2 binary64) %121 %172)
(fma.f64 #s(literal 2 binary64) %121 %175)
(fma.f64 #s(literal 2 binary64) %121 %178)
(fma.f64 #s(literal 2 binary64) %121 %181)
(fma.f64 #s(literal -1/200 binary64) %67 %172)
(fma.f64 #s(literal -1/200 binary64) %67 %175)
(fma.f64 #s(literal -1/200 binary64) %67 %178)
(fma.f64 #s(literal -1/200 binary64) %67 %181)
(fma.f64 #s(literal -1/200 binary64) %76 %172)
(fma.f64 #s(literal -1/200 binary64) %76 %175)
(fma.f64 #s(literal -1/200 binary64) %76 %178)
(fma.f64 #s(literal -1/200 binary64) %76 %181)
(fma.f64 #s(literal -1/200 binary64) %18 %172)
(fma.f64 #s(literal -1/200 binary64) %18 %175)
(fma.f64 #s(literal -1/200 binary64) %18 %178)
(fma.f64 #s(literal -1/200 binary64) %18 %181)
(fma.f64 #s(literal -1 binary64) %126 %172)
(fma.f64 #s(literal -1 binary64) %126 %175)
(fma.f64 #s(literal -1 binary64) %126 %178)
(fma.f64 #s(literal -1 binary64) %126 %181)
(fma.f64 %126 #s(literal -1 binary64) %172)
(fma.f64 %126 #s(literal -1 binary64) %175)
(fma.f64 %126 #s(literal -1 binary64) %178)
(fma.f64 %126 #s(literal -1 binary64) %181)
(fma.f64 #s(literal 1/200 binary64) %64 %172)
(fma.f64 #s(literal 1/200 binary64) %64 %175)
(fma.f64 #s(literal 1/200 binary64) %64 %178)
(fma.f64 #s(literal 1/200 binary64) %64 %181)
(fma.f64 #s(literal 1/200 binary64) %74 %172)
(fma.f64 #s(literal 1/200 binary64) %74 %175)
(fma.f64 #s(literal 1/200 binary64) %74 %178)
(fma.f64 #s(literal 1/200 binary64) %74 %181)
(fma.f64 #s(literal 1/200 binary64) y %172)
(fma.f64 #s(literal 1/200 binary64) y %175)
(fma.f64 #s(literal 1/200 binary64) y %178)
(fma.f64 #s(literal 1/200 binary64) y %181)
(fma.f64 %18 #s(literal -1/200 binary64) %172)
(fma.f64 %18 #s(literal -1/200 binary64) %175)
(fma.f64 %18 #s(literal -1/200 binary64) %178)
(fma.f64 %18 #s(literal -1/200 binary64) %181)
(fma.f64 #s(literal 1 binary64) %132 %172)
(fma.f64 #s(literal 1 binary64) %132 %175)
(fma.f64 #s(literal 1 binary64) %132 %178)
(fma.f64 #s(literal 1 binary64) %132 %181)
(fma.f64 #s(literal 1 binary64) %99 %172)
(fma.f64 #s(literal 1 binary64) %99 %175)
(fma.f64 #s(literal 1 binary64) %99 %178)
(fma.f64 #s(literal 1 binary64) %99 %181)
(fma.f64 %99 #s(literal 1 binary64) %172)
(fma.f64 %99 #s(literal 1 binary64) %175)
(fma.f64 %99 #s(literal 1 binary64) %178)
(fma.f64 %99 #s(literal 1 binary64) %181)
(fma.f64 #s(literal 200 binary64) %136 %172)
(fma.f64 #s(literal 200 binary64) %136 %175)
(fma.f64 #s(literal 200 binary64) %136 %178)
(fma.f64 #s(literal 200 binary64) %136 %181)
(fma.f64 y #s(literal 1/200 binary64) %172)
(fma.f64 y #s(literal 1/200 binary64) %175)
(fma.f64 y #s(literal 1/200 binary64) %178)
(fma.f64 y #s(literal 1/200 binary64) %181)
(+.f64 %431 %431)
(+.f64 %433 %433)
(+.f64 %436 %436)
(+.f64 %78 %78)
(+.f64 %115 %115)
(+.f64 %99 %172)
(+.f64 %99 %175)
(+.f64 %99 %178)
(+.f64 %99 %181)
(*.f64 %445 #s(literal 1/200 binary64))
(*.f64 %447 #s(literal -1/200 binary64))
(*.f64 %452 #s(literal 1/400 binary64))
(*.f64 %454 #s(literal -1/400 binary64))
(*.f64 %456 #s(literal -1/2 binary64))
(*.f64 %459 #s(literal -1/400 binary64))
(*.f64 %461 #s(literal -1/200 binary64))
(*.f64 %463 #s(literal 1/400 binary64))
(*.f64 %465 #s(literal 1/2 binary64))
(*.f64 %468 #s(literal 1/100 binary64))
(*.f64 %470 #s(literal 1/200 binary64))
(*.f64 %472 #s(literal 2 binary64))
(*.f64 %474 #s(literal -1/400 binary64))
(*.f64 %458 #s(literal 1/400 binary64))
(*.f64 %477 #s(literal -1/200 binary64))
(*.f64 %479 #s(literal 1/200 binary64))
(*.f64 %481 #s(literal -1/40000 binary64))
(*.f64 %484 #s(literal 1/40000 binary64))
(*.f64 #s(literal 2 binary64) %487)
(*.f64 #s(literal -1/200 binary64) %461)
(*.f64 #s(literal -1/200 binary64) %444)
(*.f64 %444 #s(literal -1/200 binary64))
(*.f64 #s(literal -1 binary64) %492)
(*.f64 %492 #s(literal -1 binary64))
(*.f64 #s(literal 1/200 binary64) %470)
(*.f64 #s(literal 1/200 binary64) %450)
(*.f64 %450 #s(literal 1/200 binary64))
(*.f64 #s(literal 1 binary64) %498)
(*.f64 %498 #s(literal 1 binary64))
(pow.f64 %498 #s(literal 1 binary64))
(/.f64 (fma.f64 %126 #s(literal 2 binary64) %502) #s(literal 2 binary64))
(/.f64 (fma.f64 %126 #s(literal -200 binary64) %505) #s(literal -200 binary64))
(/.f64 (-.f64 (*.f64 %126 #s(literal -200 binary64)) %449) #s(literal -200 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal -400 binary64)) %142) #s(literal -400 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal 400 binary64)) %3) #s(literal 400 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) %517) #s(literal 400 binary64))
(/.f64 (fma.f64 %18 #s(literal -200 binary64) %520) #s(literal -40000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %523) #s(literal -400 binary64))
(/.f64 (fma.f64 y #s(literal -200 binary64) %526) #s(literal 40000 binary64))
(/.f64 (fma.f64 %502 #s(literal 200 binary64) %53) #s(literal 400 binary64))
(/.f64 (-.f64 %502 %109) #s(literal 2 binary64))
(/.f64 (fma.f64 %18 #s(literal 2 binary64) (*.f64 #s(literal 200 binary64) %502)) #s(literal 400 binary64))
(/.f64 (fma.f64 %18 #s(literal -200 binary64) %536) #s(literal -40000 binary64))
(/.f64 (fma.f64 %18 #s(literal 200 binary64) %539) #s(literal 40000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal -200 binary64) %502)) #s(literal -400 binary64))
(/.f64 (fma.f64 y #s(literal -200 binary64) %545) #s(literal 40000 binary64))
(/.f64 (fma.f64 #s(literal 200 binary64) y %536) #s(literal -40000 binary64))
(/.f64 (fma.f64 %502 #s(literal 200 binary64) %142) #s(literal 400 binary64))
(/.f64 (fma.f64 %502 #s(literal -200 binary64) %3) #s(literal -400 binary64))
(/.f64 (-.f64 (*.f64 %536 #s(literal 2 binary64)) (*.f64 #s(literal -40000 binary64) %109)) #s(literal -80000 binary64))
(/.f64 (-.f64 (*.f64 %536 #s(literal -400 binary64)) (*.f64 #s(literal -40000 binary64) %142)) #s(literal 16000000 binary64))
(/.f64 (-.f64 (*.f64 %536 #s(literal 400 binary64)) (*.f64 #s(literal -40000 binary64) %3)) #s(literal -16000000 binary64))
(/.f64 (-.f64 (*.f64 %536 #s(literal -40000 binary64)) (*.f64 #s(literal -40000 binary64) %157)) #s(literal 1600000000 binary64))
(/.f64 (-.f64 (*.f64 %536 #s(literal 40000 binary64)) (*.f64 #s(literal -40000 binary64) %159)) #s(literal -1600000000 binary64))
(/.f64 (-.f64 (*.f64 %536 #s(literal -200 binary64)) (*.f64 #s(literal -40000 binary64) %18)) #s(literal 8000000 binary64))
(/.f64 (-.f64 (*.f64 %536 #s(literal 200 binary64)) (*.f64 #s(literal -40000 binary64) y)) #s(literal -8000000 binary64))
(/.f64 (-.f64 (*.f64 %539 #s(literal 2 binary64)) (*.f64 #s(literal 40000 binary64) %109)) #s(literal 80000 binary64))
(/.f64 (-.f64 (*.f64 %539 #s(literal -400 binary64)) (*.f64 #s(literal 40000 binary64) %142)) #s(literal -16000000 binary64))
(/.f64 (-.f64 (*.f64 %539 #s(literal 400 binary64)) (*.f64 #s(literal 40000 binary64) %3)) #s(literal 16000000 binary64))
(/.f64 (-.f64 (*.f64 %539 #s(literal -40000 binary64)) (*.f64 #s(literal 40000 binary64) %157)) #s(literal -1600000000 binary64))
(/.f64 (-.f64 (*.f64 %539 #s(literal 40000 binary64)) (*.f64 #s(literal 40000 binary64) %159)) #s(literal 1600000000 binary64))
(/.f64 (-.f64 (*.f64 %539 #s(literal -200 binary64)) (*.f64 #s(literal 40000 binary64) %18)) #s(literal -8000000 binary64))
(/.f64 (-.f64 (*.f64 %539 #s(literal 200 binary64)) (*.f64 #s(literal 40000 binary64) y)) #s(literal 8000000 binary64))
(/.f64 (-.f64 %618 %539) #s(literal -40000 binary64))
(/.f64 (-.f64 %159 %545) #s(literal -40000 binary64))
(/.f64 (-.f64 (*.f64 %502 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %109)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %502 #s(literal -400 binary64)) (*.f64 #s(literal 2 binary64) %142)) #s(literal -800 binary64))
(/.f64 (-.f64 (*.f64 %502 #s(literal 400 binary64)) (*.f64 #s(literal 2 binary64) %3)) #s(literal 800 binary64))
(/.f64 (-.f64 (*.f64 %502 #s(literal -40000 binary64)) (*.f64 #s(literal 2 binary64) %157)) #s(literal -80000 binary64))
(/.f64 (-.f64 (*.f64 %502 #s(literal 40000 binary64)) (*.f64 #s(literal 2 binary64) %159)) #s(literal 80000 binary64))
(/.f64 (-.f64 %523 %142) #s(literal -400 binary64))
(/.f64 (-.f64 %517 %3) #s(literal 400 binary64))
(/.f64 (-.f64 (*.f64 %505 #s(literal 2 binary64)) (*.f64 #s(literal -200 binary64) %109)) #s(literal -400 binary64))
(/.f64 (-.f64 (*.f64 %505 #s(literal -400 binary64)) (*.f64 #s(literal -200 binary64) %142)) #s(literal 80000 binary64))
(/.f64 (-.f64 (*.f64 %505 #s(literal 400 binary64)) (*.f64 #s(literal -200 binary64) %3)) #s(literal -80000 binary64))
(/.f64 (-.f64 (*.f64 %505 #s(literal -40000 binary64)) (*.f64 #s(literal -200 binary64) %157)) #s(literal 8000000 binary64))
(/.f64 (-.f64 (*.f64 %505 #s(literal 40000 binary64)) (*.f64 #s(literal -200 binary64) %159)) #s(literal -8000000 binary64))
(/.f64 (-.f64 (*.f64 %449 #s(literal 2 binary64)) (*.f64 #s(literal 200 binary64) %109)) #s(literal 400 binary64))
(/.f64 (-.f64 (*.f64 %449 #s(literal -400 binary64)) (*.f64 #s(literal 200 binary64) %142)) #s(literal -80000 binary64))
(/.f64 (-.f64 (*.f64 %449 #s(literal 400 binary64)) %4) #s(literal 80000 binary64))
(/.f64 (-.f64 (*.f64 %449 #s(literal -40000 binary64)) (*.f64 #s(literal 200 binary64) %157)) #s(literal -8000000 binary64))
(/.f64 (-.f64 (*.f64 %449 #s(literal 40000 binary64)) (*.f64 #s(literal 200 binary64) %159)) #s(literal 8000000 binary64))
(/.f64 (neg.f64 %688) #s(literal 40000 binary64))
(/.f64 (neg.f64 %692) #s(literal -40000 binary64))
(/.f64 (neg.f64 %695) #s(literal 40000 binary64))
(/.f64 (neg.f64 %698) #s(literal -40000 binary64))
(/.f64 (neg.f64 %701) #s(literal -40000 binary64))
(/.f64 (neg.f64 %704) #s(literal 40000 binary64))
(/.f64 (neg.f64 %707) #s(literal -40000 binary64))
(/.f64 (neg.f64 %710) #s(literal 40000 binary64))
(/.f64 %477 #s(literal -200 binary64))
(/.f64 %479 #s(literal 200 binary64))
(/.f64 (-.f64 %157 %536) #s(literal 40000 binary64))
(/.f64 (-.f64 %159 %539) #s(literal -40000 binary64))
(/.f64 %688 #s(literal -40000 binary64))
(/.f64 %692 #s(literal 40000 binary64))
(/.f64 %695 #s(literal -40000 binary64))
(/.f64 %698 #s(literal 40000 binary64))
(/.f64 (-.f64 %691 %536) #s(literal 40000 binary64))
(/.f64 %701 #s(literal 40000 binary64))
(/.f64 %704 #s(literal -40000 binary64))
(/.f64 %707 #s(literal 40000 binary64))
(/.f64 %710 #s(literal -40000 binary64))
(/.f64 %481 #s(literal -40000 binary64))
(/.f64 %484 #s(literal 40000 binary64))
(/.f64 %444 #s(literal -200 binary64))
(/.f64 %450 #s(literal 200 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -40000 binary64) %481))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 40000 binary64) %484))
(/.f64 #s(literal 1 binary64) (pow.f64 %498 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -200 binary64) %444))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 200 binary64) %450))
(neg.f64 %492)
(fma.f64 %28 #s(literal 1/400 binary64) x)
(fma.f64 %30 #s(literal 1/2 binary64) x)
(fma.f64 %33 #s(literal 1/400 binary64) x)
(fma.f64 %35 #s(literal 1/2 binary64) x)
(fma.f64 %37 #s(literal 1/100 binary64) x)
(fma.f64 %40 #s(literal 1/400 binary64) x)
(fma.f64 %42 #s(literal 1/2 binary64) x)
(fma.f64 (/.f64 %44 #s(literal -1 binary64)) #s(literal 1/400 binary64) x)
(fma.f64 %45 #s(literal -1/400 binary64) x)
(fma.f64 %47 #s(literal -1/2 binary64) x)
(fma.f64 (/.f64 %49 #s(literal -1 binary64)) #s(literal 1/100 binary64) x)
(fma.f64 %50 #s(literal -1/100 binary64) x)
(fma.f64 %54 #s(literal -1/400 binary64) x)
(fma.f64 %56 #s(literal 1/400 binary64) x)
(fma.f64 %58 #s(literal 1/2 binary64) x)
(fma.f64 %60 #s(literal -1/2 binary64) x)
(fma.f64 %62 #s(literal 1/400 binary64) x)
(fma.f64 %64 #s(literal -1/200 binary64) x)
(fma.f64 %67 #s(literal 1/200 binary64) x)
(fma.f64 %70 #s(literal -1/400 binary64) x)
(fma.f64 %74 #s(literal -1/200 binary64) x)
(fma.f64 %445 #s(literal 1/200 binary64) %768)
(fma.f64 %445 #s(literal 1/200 binary64) %771)
(fma.f64 %447 #s(literal -1/200 binary64) %768)
(fma.f64 %447 #s(literal -1/200 binary64) %771)
(fma.f64 %452 #s(literal 1/400 binary64) %768)
(fma.f64 %452 #s(literal 1/400 binary64) %771)
(fma.f64 %454 #s(literal -1/400 binary64) %768)
(fma.f64 %454 #s(literal -1/400 binary64) %771)
(fma.f64 %456 #s(literal -1/2 binary64) %768)
(fma.f64 %456 #s(literal -1/2 binary64) %771)
(fma.f64 %459 #s(literal -1/400 binary64) %768)
(fma.f64 %459 #s(literal -1/400 binary64) %771)
(fma.f64 %461 #s(literal -1/200 binary64) %768)
(fma.f64 %461 #s(literal -1/200 binary64) %771)
(fma.f64 %463 #s(literal 1/400 binary64) %768)
(fma.f64 %463 #s(literal 1/400 binary64) %771)
(fma.f64 %465 #s(literal 1/2 binary64) %768)
(fma.f64 %465 #s(literal 1/2 binary64) %771)
(fma.f64 %468 #s(literal 1/100 binary64) %768)
(fma.f64 %468 #s(literal 1/100 binary64) %771)
(fma.f64 %76 #s(literal 1/200 binary64) x)
(fma.f64 %470 #s(literal 1/200 binary64) %768)
(fma.f64 %470 #s(literal 1/200 binary64) %771)
(fma.f64 %78 #s(literal -2 binary64) x)
(fma.f64 %80 #s(literal 2 binary64) x)
(fma.f64 %472 #s(literal 2 binary64) %768)
(fma.f64 %472 #s(literal 2 binary64) %771)
(fma.f64 (*.f64 #s(literal -1/200 binary64) %3) #s(literal 1/2 binary64) x)
(fma.f64 %474 #s(literal -1/400 binary64) %768)
(fma.f64 %474 #s(literal -1/400 binary64) %771)
(fma.f64 %458 #s(literal 1/400 binary64) %768)
(fma.f64 %458 #s(literal 1/400 binary64) %771)
(fma.f64 #s(literal -1/100 binary64) %94 x)
(fma.f64 #s(literal 1/100 binary64) (/.f64 %91 #s(literal 1 binary64)) x)
(fma.f64 #s(literal 1/100 binary64) %87 x)
(fma.f64 %53 #s(literal 1/400 binary64) x)
(fma.f64 %477 #s(literal -1/200 binary64) %768)
(fma.f64 %477 #s(literal -1/200 binary64) %771)
(fma.f64 %479 #s(literal 1/200 binary64) %768)
(fma.f64 %479 #s(literal 1/200 binary64) %771)
(fma.f64 %3 #s(literal -1/400 binary64) x)
(fma.f64 #s(literal 1/400 binary64) %62 x)
(fma.f64 #s(literal -2 binary64) %115 x)
(fma.f64 #s(literal -1/2 binary64) %60 x)
(fma.f64 %481 #s(literal -1/40000 binary64) %768)
(fma.f64 %481 #s(literal -1/40000 binary64) %771)
(fma.f64 %484 #s(literal 1/40000 binary64) %768)
(fma.f64 %484 #s(literal 1/40000 binary64) %771)
(fma.f64 #s(literal 1/2 binary64) (/.f64 %3 #s(literal -200 binary64)) x)
(fma.f64 #s(literal 2 binary64) %104 x)
(fma.f64 #s(literal 2 binary64) %106 x)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/400 binary64) y) x)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/400 binary64) %18) x)
(fma.f64 #s(literal 2 binary64) %487 %768)
(fma.f64 #s(literal 2 binary64) %487 %771)
(fma.f64 #s(literal -1/200 binary64) %64 x)
(fma.f64 #s(literal -1/200 binary64) %74 x)
(fma.f64 #s(literal -1/200 binary64) %461 %768)
(fma.f64 #s(literal -1/200 binary64) %461 %771)
(fma.f64 #s(literal -1/200 binary64) %444 %768)
(fma.f64 #s(literal -1/200 binary64) %444 %771)
%498
(fma.f64 %444 #s(literal -1/200 binary64) %768)
(fma.f64 %444 #s(literal -1/200 binary64) %771)
(fma.f64 #s(literal -1 binary64) %492 %768)
(fma.f64 #s(literal -1 binary64) %492 %771)
(fma.f64 #s(literal -1 binary64) %99 x)
(fma.f64 %126 #s(literal 1 binary64) x)
(fma.f64 %492 #s(literal -1 binary64) %768)
(fma.f64 %492 #s(literal -1 binary64) %771)
(fma.f64 #s(literal 1/200 binary64) %67 x)
(fma.f64 #s(literal 1/200 binary64) %76 x)
(fma.f64 #s(literal 1/200 binary64) %470 %768)
(fma.f64 #s(literal 1/200 binary64) %470 %771)
(fma.f64 #s(literal 1/200 binary64) %450 %768)
(fma.f64 #s(literal 1/200 binary64) %450 %771)
(fma.f64 #s(literal 1/200 binary64) %18 x)
(fma.f64 %450 #s(literal 1/200 binary64) %768)
(fma.f64 %450 #s(literal 1/200 binary64) %771)
(fma.f64 %18 #s(literal 1/200 binary64) x)
(fma.f64 #s(literal 1 binary64) %126 x)
(fma.f64 #s(literal 1 binary64) %498 %768)
(fma.f64 #s(literal 1 binary64) %498 %771)
(fma.f64 %498 #s(literal 1 binary64) %768)
(fma.f64 %498 #s(literal 1 binary64) %771)
(fma.f64 %99 #s(literal -1 binary64) x)
(fma.f64 y #s(literal -1/200 binary64) x)
(-.f64 %126 (neg.f64 x))
(-.f64 x %99)
(+.f64 %472 %472)
(+.f64 %867 %867)
(+.f64 %126 x)
(+.f64 %498 %768)
(+.f64 %498 %771)
(+.f64 x (/.f64 %618 #s(literal -40000 binary64)))
(+.f64 x (/.f64 %691 #s(literal 40000 binary64)))
(+.f64 x (/.f64 %149 #s(literal -40000 binary64)))
(+.f64 x (/.f64 %159 #s(literal -40000 binary64)))
(+.f64 x (/.f64 %152 #s(literal 40000 binary64)))
(+.f64 x (/.f64 %157 #s(literal 40000 binary64)))
(+.f64 x %126)
reconstruct46.0ms (3.6%)
Counts
590 → 45
Compiler
Compiled 590 to 900 computations (-52.5% saved)
eval10.0ms (0.8%)
Compiler
Compiled 42 to 129 computations (-207.1% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (2 fresh and 1 done)
PrunedKeptTotal
New40242
Fresh000
Picked011
Done000
Total40343
Accuracy
100.0%
Counts
43 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(fma.f64 #s(literal -1/200 binary64) y x)
✓100.0%
(-.f64 x (/.f64 y #s(literal 200 binary64)))
▶50.9%
(approx (- x (/ y 200)) (*.f64 #s(literal -1/200 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
040101
Stop Event
1×iter-limit
Counts
6 → 10
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal -1/200 binary64) y)
x
y
#s(literal -1/200 binary64)
%3
(approx (- x (/ y 200)) %3)
(fma.f64 #s(literal -1/200 binary64) y x)
Outputs
%7 = (- x (/ y 200))
%9 = (*.f64 #s(literal -1/200 binary64) y)
%21 = (/.f64 y x)
%33 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %7 (-.f64 x (*.f64 #s(literal 1/200 binary64) y)))
(approx (+ (* -1/200 y) x) (+.f64 x %9))
(approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/200 binary64) %21))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/200 binary64) %21) #s(literal 1 binary64)))))
(approx y y)
(approx %7 (*.f64 y (-.f64 %33 #s(literal 1/200 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/200 binary64) (*.f64 #s(literal -1 binary64) %33)))))
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 (6.6%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
0919
01219
14318
210918
330418
4113118
0402918
0420618
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 505
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal -1/200 binary64) y)
x
y
#s(literal -1/200 binary64)
%3
(approx (- x (/ y 200)) %3)
(fma.f64 #s(literal -1/200 binary64) y x)
Outputs
%4 = (+.f64 y y)
%5 = (*.f64 #s(literal -1 binary64) %4)
%7 = (/.f64 %5 #s(literal 1 binary64))
%11 = (/.f64 %5 #s(literal 200 binary64))
%15 = (*.f64 y #s(literal -2 binary64))
%16 = (/.f64 %15 #s(literal 1 binary64))
%18 = (/.f64 %15 #s(literal 200 binary64))
%20 = (neg.f64 y)
%21 = (*.f64 %20 #s(literal 1/2 binary64))
%22 = (/.f64 %21 #s(literal 1 binary64))
%25 = (neg.f64 %4)
%26 = (/.f64 %25 #s(literal 1 binary64))
%28 = (/.f64 %25 #s(literal 200 binary64))
%30 = (*.f64 %20 #s(literal -2 binary64))
%31 = (/.f64 %30 #s(literal -1 binary64))
%33 = (/.f64 %30 #s(literal 1 binary64))
%36 = (/.f64 %30 #s(literal 200 binary64))
%39 = (*.f64 y #s(literal 1/2 binary64))
%40 = (/.f64 %39 #s(literal -1 binary64))
%42 = (/.f64 %39 #s(literal 1 binary64))
%46 = (*.f64 %20 #s(literal 2 binary64))
%47 = (/.f64 %46 #s(literal -1 binary64))
%49 = (/.f64 %46 #s(literal 1 binary64))
%51 = (/.f64 %46 #s(literal 200 binary64))
%53 = (/.f64 %4 #s(literal 1 binary64))
%55 = (/.f64 %4 #s(literal 200 binary64))
%57 = (/.f64 %4 #s(literal -1 binary64))
%59 = (/.f64 %20 #s(literal -1 binary64))
%61 = (/.f64 %20 #s(literal 1 binary64))
%64 = (/.f64 y #s(literal -1 binary64))
%66 = (/.f64 y #s(literal 1 binary64))
%68 = (/.f64 %39 #s(literal 200 binary64))
%70 = (/.f64 %21 #s(literal 200 binary64))
%72 = (*.f64 #s(literal -1/200 binary64) %4)
%74 = (*.f64 #s(literal -1/2 binary64) y)
%75 = (/.f64 %74 #s(literal 1 binary64))
%77 = (*.f64 #s(literal 1/2 binary64) y)
%78 = (/.f64 %77 #s(literal -1 binary64))
%80 = (/.f64 %77 #s(literal 1 binary64))
%85 = (/.f64 %77 #s(literal 200 binary64))
%89 = (/.f64 %4 #s(literal -200 binary64))
%91 = (/.f64 %74 #s(literal 200 binary64))
%93 = (/.f64 %77 #s(literal -200 binary64))
%95 = (*.f64 #s(literal 1/400 binary64) %20)
%97 = (*.f64 #s(literal -1/400 binary64) y)
%99 = (*.f64 #s(literal 1/200 binary64) y)
%105 = (*.f64 #s(literal -1/200 binary64) y)
%124 = (/.f64 (*.f64 %20 #s(literal 0 binary64)) #s(literal 200 binary64))
%127 = (/.f64 (*.f64 #s(literal 0 binary64) %20) #s(literal 200 binary64))
%130 = (/.f64 (*.f64 y #s(literal 0 binary64)) #s(literal -200 binary64))
%133 = (/.f64 (*.f64 #s(literal 0 binary64) y) #s(literal -200 binary64))
%333 = (/.f64 (*.f64 #s(literal 1/2 binary64) %20) #s(literal 200 binary64))
%335 = (/.f64 %39 #s(literal -200 binary64))
%345 = (approx (- x (/ y 200)) %105)
%350 = (*.f64 #s(literal 200 binary64) x)
%351 = (-.f64 %350 y)
%352 = (*.f64 %351 #s(literal -2 binary64))
%353 = (/.f64 %352 #s(literal -1 binary64))
%355 = (fma.f64 #s(literal -200 binary64) x y)
%356 = (/.f64 %355 #s(literal -1 binary64))
%358 = (/.f64 %355 #s(literal 1 binary64))
%360 = (/.f64 %352 #s(literal 1 binary64))
%362 = (/.f64 %352 #s(literal 200 binary64))
%364 = (*.f64 %351 #s(literal 2 binary64))
%365 = (/.f64 %364 #s(literal -1 binary64))
%367 = (/.f64 %364 #s(literal 1 binary64))
%369 = (/.f64 %364 #s(literal 200 binary64))
%371 = (*.f64 %351 #s(literal 1/2 binary64))
%372 = (/.f64 %371 #s(literal 1 binary64))
%374 = (/.f64 %351 #s(literal 1 binary64))
%376 = (/.f64 %351 #s(literal -1 binary64))
%378 = (/.f64 %371 #s(literal 200 binary64))
%380 = (*.f64 %355 #s(literal 2 binary64))
%383 = (*.f64 %355 #s(literal 1 binary64))
%385 = (*.f64 %355 #s(literal -1 binary64))
%388 = (*.f64 #s(literal 200 binary64) y)
%389 = (fma.f64 x #s(literal -40000 binary64) %388)
%393 = (*.f64 #s(literal -200 binary64) y)
%394 = (fma.f64 x #s(literal 40000 binary64) %393)
%397 = (*.f64 #s(literal 1/400 binary64) %351)
%399 = (-.f64 %99 x)
%406 = (fma.f64 #s(literal -1/200 binary64) y x)
%417 = (*.f64 #s(literal 2 binary64) %20)
%424 = (*.f64 x #s(literal 2 binary64))
%425 = (*.f64 %424 #s(literal 200 binary64))
%428 = (*.f64 #s(literal -200 binary64) x)
%429 = (*.f64 %428 #s(literal 200 binary64))
%432 = (*.f64 %424 #s(literal -200 binary64))
%435 = (*.f64 %428 #s(literal -200 binary64))
%440 = (*.f64 #s(literal 2 binary64) %99)
%446 = (*.f64 x #s(literal 40000 binary64))
%452 = (*.f64 #s(literal -200 binary64) %428)
%459 = (*.f64 x #s(literal -40000 binary64))
%480 = (*.f64 %20 #s(literal 200 binary64))
%529 = (*.f64 %20 #s(literal -200 binary64))
%601 = (fma.f64 %428 #s(literal 200 binary64) %529)
%604 = (*.f64 y #s(literal -200 binary64))
%605 = (fma.f64 %428 #s(literal -200 binary64) %604)
%608 = (*.f64 #s(literal -200 binary64) %20)
%609 = (fma.f64 %428 #s(literal 200 binary64) %608)
%612 = (fma.f64 %428 #s(literal -200 binary64) %393)
%615 = (-.f64 %435 %608)
%618 = (-.f64 %429 %393)
%621 = (neg.f64 %389)
%624 = (neg.f64 %394)
%659 = (/.f64 (*.f64 %351 #s(literal 0 binary64)) #s(literal 200 binary64))
%662 = (/.f64 (*.f64 #s(literal 0 binary64) %351) #s(literal 200 binary64))
%774 = (/.f64 (*.f64 #s(literal 1/2 binary64) %351) #s(literal 200 binary64))
x
y
#s(literal -1/200 binary64)
(*.f64 %7 #s(literal 1/400 binary64))
(*.f64 %11 #s(literal 1/2 binary64))
(*.f64 %16 #s(literal 1/400 binary64))
(*.f64 %18 #s(literal 1/2 binary64))
(*.f64 %22 #s(literal 1/100 binary64))
(*.f64 %26 #s(literal 1/400 binary64))
(*.f64 %28 #s(literal 1/2 binary64))
(*.f64 %31 #s(literal 1/400 binary64))
(*.f64 %33 #s(literal -1/400 binary64))
(*.f64 %36 #s(literal -1/2 binary64))
(*.f64 %40 #s(literal 1/100 binary64))
(*.f64 %42 #s(literal -1/100 binary64))
(*.f64 %47 #s(literal -1/400 binary64))
(*.f64 %49 #s(literal 1/400 binary64))
(*.f64 %51 #s(literal 1/2 binary64))
(*.f64 %53 #s(literal -1/400 binary64))
(*.f64 %55 #s(literal -1/2 binary64))
(*.f64 %57 #s(literal 1/400 binary64))
(*.f64 %59 #s(literal -1/200 binary64))
(*.f64 %61 #s(literal 1/200 binary64))
(*.f64 %64 #s(literal 1/200 binary64))
(*.f64 %66 #s(literal -1/200 binary64))
(*.f64 %68 #s(literal -2 binary64))
(*.f64 %70 #s(literal 2 binary64))
(*.f64 %72 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/100 binary64) %75)
(*.f64 #s(literal 1/100 binary64) %78)
(*.f64 #s(literal -1/100 binary64) %80)
(*.f64 %46 #s(literal 1/400 binary64))
(*.f64 %4 #s(literal -1/400 binary64))
(*.f64 #s(literal 1/400 binary64) %57)
(*.f64 #s(literal -2 binary64) %85)
(*.f64 #s(literal -1/2 binary64) %55)
(*.f64 #s(literal 1/2 binary64) %89)
(*.f64 #s(literal 2 binary64) %91)
(*.f64 #s(literal 2 binary64) %93)
(*.f64 #s(literal 2 binary64) %95)
(*.f64 #s(literal 2 binary64) %97)
(*.f64 #s(literal -1 binary64) %99)
(*.f64 #s(literal 1/200 binary64) %61)
(*.f64 #s(literal 1/200 binary64) %64)
(*.f64 #s(literal 1/200 binary64) %20)
(*.f64 %20 #s(literal 1/200 binary64))
(*.f64 #s(literal 1 binary64) %105)
(*.f64 %99 #s(literal -1 binary64))
(*.f64 %105 #s(literal 1 binary64))
(*.f64 #s(literal -1/200 binary64) %59)
(*.f64 #s(literal -1/200 binary64) %66)
%105
(*.f64 y #s(literal -1/200 binary64))
(pow.f64 %105 #s(literal 1 binary64))
(/.f64 %20 #s(literal 200 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %105 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 200 binary64) %20))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -200 binary64) y))
(/.f64 y #s(literal -200 binary64))
(neg.f64 %99)
(fma.f64 %7 #s(literal 1/400 binary64) %124)
(fma.f64 %7 #s(literal 1/400 binary64) %127)
(fma.f64 %7 #s(literal 1/400 binary64) %130)
(fma.f64 %7 #s(literal 1/400 binary64) %133)
(fma.f64 %11 #s(literal 1/2 binary64) %124)
(fma.f64 %11 #s(literal 1/2 binary64) %127)
(fma.f64 %11 #s(literal 1/2 binary64) %130)
(fma.f64 %11 #s(literal 1/2 binary64) %133)
(fma.f64 %16 #s(literal 1/400 binary64) %124)
(fma.f64 %16 #s(literal 1/400 binary64) %127)
(fma.f64 %16 #s(literal 1/400 binary64) %130)
(fma.f64 %16 #s(literal 1/400 binary64) %133)
(fma.f64 %18 #s(literal 1/2 binary64) %124)
(fma.f64 %18 #s(literal 1/2 binary64) %127)
(fma.f64 %18 #s(literal 1/2 binary64) %130)
(fma.f64 %18 #s(literal 1/2 binary64) %133)
(fma.f64 %22 #s(literal 1/100 binary64) %124)
(fma.f64 %22 #s(literal 1/100 binary64) %127)
(fma.f64 %22 #s(literal 1/100 binary64) %130)
(fma.f64 %22 #s(literal 1/100 binary64) %133)
(fma.f64 %26 #s(literal 1/400 binary64) %124)
(fma.f64 %26 #s(literal 1/400 binary64) %127)
(fma.f64 %26 #s(literal 1/400 binary64) %130)
(fma.f64 %26 #s(literal 1/400 binary64) %133)
(fma.f64 %28 #s(literal 1/2 binary64) %124)
(fma.f64 %28 #s(literal 1/2 binary64) %127)
(fma.f64 %28 #s(literal 1/2 binary64) %130)
(fma.f64 %28 #s(literal 1/2 binary64) %133)
(fma.f64 %31 #s(literal 1/400 binary64) %124)
(fma.f64 %31 #s(literal 1/400 binary64) %127)
(fma.f64 %31 #s(literal 1/400 binary64) %130)
(fma.f64 %31 #s(literal 1/400 binary64) %133)
(fma.f64 %33 #s(literal -1/400 binary64) %124)
(fma.f64 %33 #s(literal -1/400 binary64) %127)
(fma.f64 %33 #s(literal -1/400 binary64) %130)
(fma.f64 %33 #s(literal -1/400 binary64) %133)
(fma.f64 %36 #s(literal -1/2 binary64) %124)
(fma.f64 %36 #s(literal -1/2 binary64) %127)
(fma.f64 %36 #s(literal -1/2 binary64) %130)
(fma.f64 %36 #s(literal -1/2 binary64) %133)
(fma.f64 %40 #s(literal 1/100 binary64) %124)
(fma.f64 %40 #s(literal 1/100 binary64) %127)
(fma.f64 %40 #s(literal 1/100 binary64) %130)
(fma.f64 %40 #s(literal 1/100 binary64) %133)
(fma.f64 %42 #s(literal -1/100 binary64) %124)
(fma.f64 %42 #s(literal -1/100 binary64) %127)
(fma.f64 %42 #s(literal -1/100 binary64) %130)
(fma.f64 %42 #s(literal -1/100 binary64) %133)
(fma.f64 %47 #s(literal -1/400 binary64) %124)
(fma.f64 %47 #s(literal -1/400 binary64) %127)
(fma.f64 %47 #s(literal -1/400 binary64) %130)
(fma.f64 %47 #s(literal -1/400 binary64) %133)
(fma.f64 %49 #s(literal 1/400 binary64) %124)
(fma.f64 %49 #s(literal 1/400 binary64) %127)
(fma.f64 %49 #s(literal 1/400 binary64) %130)
(fma.f64 %49 #s(literal 1/400 binary64) %133)
(fma.f64 %51 #s(literal 1/2 binary64) %124)
(fma.f64 %51 #s(literal 1/2 binary64) %127)
(fma.f64 %51 #s(literal 1/2 binary64) %130)
(fma.f64 %51 #s(literal 1/2 binary64) %133)
(fma.f64 %53 #s(literal -1/400 binary64) %124)
(fma.f64 %53 #s(literal -1/400 binary64) %127)
(fma.f64 %53 #s(literal -1/400 binary64) %130)
(fma.f64 %53 #s(literal -1/400 binary64) %133)
(fma.f64 %55 #s(literal -1/2 binary64) %124)
(fma.f64 %55 #s(literal -1/2 binary64) %127)
(fma.f64 %55 #s(literal -1/2 binary64) %130)
(fma.f64 %55 #s(literal -1/2 binary64) %133)
(fma.f64 %57 #s(literal 1/400 binary64) %124)
(fma.f64 %57 #s(literal 1/400 binary64) %127)
(fma.f64 %57 #s(literal 1/400 binary64) %130)
(fma.f64 %57 #s(literal 1/400 binary64) %133)
(fma.f64 %59 #s(literal -1/200 binary64) %124)
(fma.f64 %59 #s(literal -1/200 binary64) %127)
(fma.f64 %59 #s(literal -1/200 binary64) %130)
(fma.f64 %59 #s(literal -1/200 binary64) %133)
(fma.f64 %61 #s(literal 1/200 binary64) %124)
(fma.f64 %61 #s(literal 1/200 binary64) %127)
(fma.f64 %61 #s(literal 1/200 binary64) %130)
(fma.f64 %61 #s(literal 1/200 binary64) %133)
(fma.f64 %64 #s(literal 1/200 binary64) %124)
(fma.f64 %64 #s(literal 1/200 binary64) %127)
(fma.f64 %64 #s(literal 1/200 binary64) %130)
(fma.f64 %64 #s(literal 1/200 binary64) %133)
(fma.f64 %66 #s(literal -1/200 binary64) %124)
(fma.f64 %66 #s(literal -1/200 binary64) %127)
(fma.f64 %66 #s(literal -1/200 binary64) %130)
(fma.f64 %66 #s(literal -1/200 binary64) %133)
(fma.f64 %68 #s(literal -2 binary64) %124)
(fma.f64 %68 #s(literal -2 binary64) %127)
(fma.f64 %68 #s(literal -2 binary64) %130)
(fma.f64 %68 #s(literal -2 binary64) %133)
(fma.f64 %70 #s(literal 2 binary64) %124)
(fma.f64 %70 #s(literal 2 binary64) %127)
(fma.f64 %70 #s(literal 2 binary64) %130)
(fma.f64 %70 #s(literal 2 binary64) %133)
(fma.f64 %72 #s(literal 1/2 binary64) %124)
(fma.f64 %72 #s(literal 1/2 binary64) %127)
(fma.f64 %72 #s(literal 1/2 binary64) %130)
(fma.f64 %72 #s(literal 1/2 binary64) %133)
(fma.f64 #s(literal 1/100 binary64) %75 %124)
(fma.f64 #s(literal 1/100 binary64) %75 %127)
(fma.f64 #s(literal 1/100 binary64) %75 %130)
(fma.f64 #s(literal 1/100 binary64) %75 %133)
(fma.f64 #s(literal 1/100 binary64) %78 %124)
(fma.f64 #s(literal 1/100 binary64) %78 %127)
(fma.f64 #s(literal 1/100 binary64) %78 %130)
(fma.f64 #s(literal 1/100 binary64) %78 %133)
(fma.f64 #s(literal -1/100 binary64) %80 %124)
(fma.f64 #s(literal -1/100 binary64) %80 %127)
(fma.f64 #s(literal -1/100 binary64) %80 %130)
(fma.f64 #s(literal -1/100 binary64) %80 %133)
(fma.f64 %46 #s(literal 1/400 binary64) %124)
(fma.f64 %46 #s(literal 1/400 binary64) %127)
(fma.f64 %46 #s(literal 1/400 binary64) %130)
(fma.f64 %46 #s(literal 1/400 binary64) %133)
(fma.f64 %4 #s(literal -1/400 binary64) %124)
(fma.f64 %4 #s(literal -1/400 binary64) %127)
(fma.f64 %4 #s(literal -1/400 binary64) %130)
(fma.f64 %4 #s(literal -1/400 binary64) %133)
(fma.f64 #s(literal 1/400 binary64) %57 %124)
(fma.f64 #s(literal 1/400 binary64) %57 %127)
(fma.f64 #s(literal 1/400 binary64) %57 %130)
(fma.f64 #s(literal 1/400 binary64) %57 %133)
(fma.f64 #s(literal -2 binary64) %85 %124)
(fma.f64 #s(literal -2 binary64) %85 %127)
(fma.f64 #s(literal -2 binary64) %85 %130)
(fma.f64 #s(literal -2 binary64) %85 %133)
(fma.f64 #s(literal -1/2 binary64) %55 %124)
(fma.f64 #s(literal -1/2 binary64) %55 %127)
(fma.f64 #s(literal -1/2 binary64) %55 %130)
(fma.f64 #s(literal -1/2 binary64) %55 %133)
(fma.f64 #s(literal 1/2 binary64) %89 %124)
(fma.f64 #s(literal 1/2 binary64) %89 %127)
(fma.f64 #s(literal 1/2 binary64) %89 %130)
(fma.f64 #s(literal 1/2 binary64) %89 %133)
(fma.f64 #s(literal 2 binary64) %91 %124)
(fma.f64 #s(literal 2 binary64) %91 %127)
(fma.f64 #s(literal 2 binary64) %91 %130)
(fma.f64 #s(literal 2 binary64) %91 %133)
(fma.f64 #s(literal 2 binary64) %93 %124)
(fma.f64 #s(literal 2 binary64) %93 %127)
(fma.f64 #s(literal 2 binary64) %93 %130)
(fma.f64 #s(literal 2 binary64) %93 %133)
(fma.f64 #s(literal 2 binary64) %95 %124)
(fma.f64 #s(literal 2 binary64) %95 %127)
(fma.f64 #s(literal 2 binary64) %95 %130)
(fma.f64 #s(literal 2 binary64) %95 %133)
(fma.f64 #s(literal 2 binary64) %97 %124)
(fma.f64 #s(literal 2 binary64) %97 %127)
(fma.f64 #s(literal 2 binary64) %97 %130)
(fma.f64 #s(literal 2 binary64) %97 %133)
(fma.f64 #s(literal -1 binary64) %99 %124)
(fma.f64 #s(literal -1 binary64) %99 %127)
(fma.f64 #s(literal -1 binary64) %99 %130)
(fma.f64 #s(literal -1 binary64) %99 %133)
(fma.f64 #s(literal 1/200 binary64) %61 %124)
(fma.f64 #s(literal 1/200 binary64) %61 %127)
(fma.f64 #s(literal 1/200 binary64) %61 %130)
(fma.f64 #s(literal 1/200 binary64) %61 %133)
(fma.f64 #s(literal 1/200 binary64) %64 %124)
(fma.f64 #s(literal 1/200 binary64) %64 %127)
(fma.f64 #s(literal 1/200 binary64) %64 %130)
(fma.f64 #s(literal 1/200 binary64) %64 %133)
(fma.f64 #s(literal 1/200 binary64) %20 %124)
(fma.f64 #s(literal 1/200 binary64) %20 %127)
(fma.f64 #s(literal 1/200 binary64) %20 %130)
(fma.f64 #s(literal 1/200 binary64) %20 %133)
(fma.f64 %20 #s(literal 1/200 binary64) %124)
(fma.f64 %20 #s(literal 1/200 binary64) %127)
(fma.f64 %20 #s(literal 1/200 binary64) %130)
(fma.f64 %20 #s(literal 1/200 binary64) %133)
(fma.f64 #s(literal 1 binary64) %105 %124)
(fma.f64 #s(literal 1 binary64) %105 %127)
(fma.f64 #s(literal 1 binary64) %105 %130)
(fma.f64 #s(literal 1 binary64) %105 %133)
(fma.f64 %99 #s(literal -1 binary64) %124)
(fma.f64 %99 #s(literal -1 binary64) %127)
(fma.f64 %99 #s(literal -1 binary64) %130)
(fma.f64 %99 #s(literal -1 binary64) %133)
(fma.f64 %105 #s(literal 1 binary64) %124)
(fma.f64 %105 #s(literal 1 binary64) %127)
(fma.f64 %105 #s(literal 1 binary64) %130)
(fma.f64 %105 #s(literal 1 binary64) %133)
(fma.f64 #s(literal -1/200 binary64) %59 %124)
(fma.f64 #s(literal -1/200 binary64) %59 %127)
(fma.f64 #s(literal -1/200 binary64) %59 %130)
(fma.f64 #s(literal -1/200 binary64) %59 %133)
(fma.f64 #s(literal -1/200 binary64) %66 %124)
(fma.f64 #s(literal -1/200 binary64) %66 %127)
(fma.f64 #s(literal -1/200 binary64) %66 %130)
(fma.f64 #s(literal -1/200 binary64) %66 %133)
(fma.f64 #s(literal -1/200 binary64) y %124)
(fma.f64 #s(literal -1/200 binary64) y %127)
(fma.f64 #s(literal -1/200 binary64) y %130)
(fma.f64 #s(literal -1/200 binary64) y %133)
(fma.f64 y #s(literal -1/200 binary64) %124)
(fma.f64 y #s(literal -1/200 binary64) %127)
(fma.f64 y #s(literal -1/200 binary64) %130)
(fma.f64 y #s(literal -1/200 binary64) %133)
(+.f64 %70 %70)
(+.f64 %333 %333)
(+.f64 %335 %335)
(+.f64 %93 %93)
(+.f64 %105 %124)
(+.f64 %105 %127)
(+.f64 %105 %130)
(+.f64 %105 %133)
(*.f64 #s(literal 1 binary64) %345)
(pow.f64 %345 #s(literal 1 binary64))
%345
(/.f64 #s(literal 1 binary64) (pow.f64 %345 #s(literal -1 binary64)))
(*.f64 %353 #s(literal 1/400 binary64))
(*.f64 %356 #s(literal 1/200 binary64))
(*.f64 %358 #s(literal -1/200 binary64))
(*.f64 %360 #s(literal -1/400 binary64))
(*.f64 %362 #s(literal -1/2 binary64))
(*.f64 %365 #s(literal -1/400 binary64))
(*.f64 %367 #s(literal 1/400 binary64))
(*.f64 %369 #s(literal 1/2 binary64))
(*.f64 %372 #s(literal 1/100 binary64))
(*.f64 %374 #s(literal 1/200 binary64))
(*.f64 %376 #s(literal -1/200 binary64))
(*.f64 %378 #s(literal 2 binary64))
(*.f64 %380 #s(literal -1/400 binary64))
(*.f64 %364 #s(literal 1/400 binary64))
(*.f64 %383 #s(literal -1/200 binary64))
(*.f64 %385 #s(literal 1/200 binary64))
(*.f64 %389 #s(literal -1/40000 binary64))
(*.f64 %394 #s(literal 1/40000 binary64))
(*.f64 #s(literal 2 binary64) %397)
(*.f64 %399 #s(literal -1 binary64))
(*.f64 %355 #s(literal -1/200 binary64))
(*.f64 #s(literal -1 binary64) %399)
(*.f64 #s(literal 1/200 binary64) %374)
(*.f64 #s(literal 1/200 binary64) %351)
(*.f64 %351 #s(literal 1/200 binary64))
(*.f64 #s(literal 1 binary64) %406)
(*.f64 %406 #s(literal 1 binary64))
(*.f64 #s(literal -1/200 binary64) %376)
(*.f64 #s(literal -1/200 binary64) %355)
(pow.f64 %406 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %105 #s(literal -200 binary64)) %350) #s(literal -200 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal -400 binary64)) %417) #s(literal -400 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal 400 binary64)) %4) #s(literal 400 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) %425) #s(literal 400 binary64))
(/.f64 (fma.f64 %20 #s(literal -200 binary64) %429) #s(literal -40000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y %432) #s(literal -400 binary64))
(/.f64 (fma.f64 y #s(literal -200 binary64) %435) #s(literal 40000 binary64))
(/.f64 (fma.f64 %424 #s(literal 200 binary64) %46) #s(literal 400 binary64))
(/.f64 (-.f64 %424 %440) #s(literal 2 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) (*.f64 #s(literal 200 binary64) %424)) #s(literal 400 binary64))
(/.f64 (fma.f64 %20 #s(literal 200 binary64) %446) #s(literal 40000 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) y (*.f64 #s(literal -200 binary64) %424)) #s(literal -400 binary64))
(/.f64 (fma.f64 y #s(literal -200 binary64) %452) #s(literal 40000 binary64))
(/.f64 (fma.f64 %424 #s(literal 200 binary64) %417) #s(literal 400 binary64))
(/.f64 (fma.f64 %424 #s(literal -200 binary64) %4) #s(literal -400 binary64))
(/.f64 (fma.f64 %20 #s(literal -200 binary64) %459) #s(literal -40000 binary64))
(/.f64 (fma.f64 #s(literal 200 binary64) y %459) #s(literal -40000 binary64))
(/.f64 (-.f64 (*.f64 %459 #s(literal 2 binary64)) (*.f64 #s(literal -40000 binary64) %440)) #s(literal -80000 binary64))
(/.f64 (-.f64 (*.f64 %459 #s(literal -400 binary64)) (*.f64 #s(literal -40000 binary64) %417)) #s(literal 16000000 binary64))
(/.f64 (-.f64 (*.f64 %459 #s(literal 400 binary64)) (*.f64 #s(literal -40000 binary64) %4)) #s(literal -16000000 binary64))
(/.f64 (-.f64 (*.f64 %459 #s(literal -40000 binary64)) (*.f64 #s(literal -40000 binary64) %480)) #s(literal 1600000000 binary64))
(/.f64 (-.f64 (*.f64 %459 #s(literal 40000 binary64)) (*.f64 #s(literal -40000 binary64) %388)) #s(literal -1600000000 binary64))
(/.f64 (-.f64 (*.f64 %459 #s(literal -200 binary64)) (*.f64 #s(literal -40000 binary64) %20)) #s(literal 8000000 binary64))
(/.f64 (-.f64 (*.f64 %459 #s(literal 200 binary64)) (*.f64 #s(literal -40000 binary64) y)) #s(literal -8000000 binary64))
(/.f64 (-.f64 (*.f64 %446 #s(literal 2 binary64)) (*.f64 #s(literal 40000 binary64) %440)) #s(literal 80000 binary64))
(/.f64 (-.f64 (*.f64 %446 #s(literal -400 binary64)) (*.f64 #s(literal 40000 binary64) %417)) #s(literal -16000000 binary64))
(/.f64 (-.f64 (*.f64 %446 #s(literal 400 binary64)) (*.f64 #s(literal 40000 binary64) %4)) #s(literal 16000000 binary64))
(/.f64 (-.f64 (*.f64 %446 #s(literal -40000 binary64)) (*.f64 #s(literal 40000 binary64) %480)) #s(literal -1600000000 binary64))
(/.f64 (-.f64 (*.f64 %446 #s(literal 40000 binary64)) (*.f64 #s(literal 40000 binary64) %388)) #s(literal 1600000000 binary64))
(/.f64 (-.f64 (*.f64 %446 #s(literal -200 binary64)) (*.f64 #s(literal 40000 binary64) %20)) #s(literal -8000000 binary64))
(/.f64 (-.f64 (*.f64 %446 #s(literal 200 binary64)) (*.f64 #s(literal 40000 binary64) y)) #s(literal 8000000 binary64))
(/.f64 (-.f64 %529 %446) #s(literal -40000 binary64))
(/.f64 (-.f64 %388 %452) #s(literal -40000 binary64))
(/.f64 (-.f64 (*.f64 %424 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %440)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %424 #s(literal -400 binary64)) (*.f64 #s(literal 2 binary64) %417)) #s(literal -800 binary64))
(/.f64 (-.f64 (*.f64 %424 #s(literal 400 binary64)) (*.f64 #s(literal 2 binary64) %4)) #s(literal 800 binary64))
(/.f64 (-.f64 (*.f64 %424 #s(literal -40000 binary64)) (*.f64 #s(literal 2 binary64) %480)) #s(literal -80000 binary64))
(/.f64 (-.f64 (*.f64 %424 #s(literal 40000 binary64)) (*.f64 #s(literal 2 binary64) %388)) #s(literal 80000 binary64))
(/.f64 (-.f64 %432 %417) #s(literal -400 binary64))
(/.f64 (-.f64 %425 %4) #s(literal 400 binary64))
(/.f64 (-.f64 (*.f64 %428 #s(literal 2 binary64)) (*.f64 #s(literal -200 binary64) %440)) #s(literal -400 binary64))
(/.f64 (-.f64 (*.f64 %428 #s(literal -400 binary64)) (*.f64 #s(literal -200 binary64) %417)) #s(literal 80000 binary64))
(/.f64 (-.f64 (*.f64 %428 #s(literal 400 binary64)) (*.f64 #s(literal -200 binary64) %4)) #s(literal -80000 binary64))
(/.f64 (-.f64 (*.f64 %428 #s(literal -40000 binary64)) (*.f64 #s(literal -200 binary64) %480)) #s(literal 8000000 binary64))
(/.f64 (-.f64 (*.f64 %428 #s(literal 40000 binary64)) (*.f64 #s(literal -200 binary64) %388)) #s(literal -8000000 binary64))
(/.f64 (-.f64 (*.f64 %350 #s(literal 2 binary64)) (*.f64 #s(literal 200 binary64) %440)) #s(literal 400 binary64))
(/.f64 (-.f64 (*.f64 %350 #s(literal -400 binary64)) (*.f64 #s(literal 200 binary64) %417)) #s(literal -80000 binary64))
(/.f64 (-.f64 (*.f64 %350 #s(literal 400 binary64)) (*.f64 #s(literal 200 binary64) %4)) #s(literal 80000 binary64))
(/.f64 (-.f64 (*.f64 %350 #s(literal -40000 binary64)) (*.f64 #s(literal 200 binary64) %480)) #s(literal -8000000 binary64))
(/.f64 (-.f64 (*.f64 %350 #s(literal 40000 binary64)) (*.f64 #s(literal 200 binary64) %388)) #s(literal 8000000 binary64))
(/.f64 (neg.f64 %601) #s(literal 40000 binary64))
(/.f64 (neg.f64 %605) #s(literal -40000 binary64))
(/.f64 (neg.f64 %609) #s(literal 40000 binary64))
(/.f64 (neg.f64 %612) #s(literal -40000 binary64))
(/.f64 (neg.f64 %615) #s(literal -40000 binary64))
(/.f64 (neg.f64 %618) #s(literal 40000 binary64))
(/.f64 (neg.f64 %621) #s(literal -40000 binary64))
(/.f64 (neg.f64 %624) #s(literal 40000 binary64))
(/.f64 %383 #s(literal -200 binary64))
(/.f64 %385 #s(literal 200 binary64))
(/.f64 (-.f64 %480 %459) #s(literal 40000 binary64))
(/.f64 (-.f64 %388 %446) #s(literal -40000 binary64))
(/.f64 %601 #s(literal -40000 binary64))
(/.f64 %605 #s(literal 40000 binary64))
(/.f64 %609 #s(literal -40000 binary64))
(/.f64 %612 #s(literal 40000 binary64))
(/.f64 %615 #s(literal 40000 binary64))
(/.f64 %618 #s(literal -40000 binary64))
(/.f64 (-.f64 %604 %459) #s(literal 40000 binary64))
(/.f64 %621 #s(literal 40000 binary64))
(/.f64 %624 #s(literal -40000 binary64))
(/.f64 %389 #s(literal -40000 binary64))
(/.f64 %394 #s(literal 40000 binary64))
(/.f64 %355 #s(literal -200 binary64))
(/.f64 %351 #s(literal 200 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -40000 binary64) %389))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 40000 binary64) %394))
(/.f64 #s(literal 1 binary64) (pow.f64 %406 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -200 binary64) %355))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 200 binary64) %351))
(neg.f64 %399)
(fma.f64 %353 #s(literal 1/400 binary64) %659)
(fma.f64 %353 #s(literal 1/400 binary64) %662)
(fma.f64 %356 #s(literal 1/200 binary64) %659)
(fma.f64 %356 #s(literal 1/200 binary64) %662)
(fma.f64 %358 #s(literal -1/200 binary64) %659)
(fma.f64 %358 #s(literal -1/200 binary64) %662)
(fma.f64 %360 #s(literal -1/400 binary64) %659)
(fma.f64 %360 #s(literal -1/400 binary64) %662)
(fma.f64 %362 #s(literal -1/2 binary64) %659)
(fma.f64 %362 #s(literal -1/2 binary64) %662)
(fma.f64 %365 #s(literal -1/400 binary64) %659)
(fma.f64 %365 #s(literal -1/400 binary64) %662)
(fma.f64 %367 #s(literal 1/400 binary64) %659)
(fma.f64 %367 #s(literal 1/400 binary64) %662)
(fma.f64 %369 #s(literal 1/2 binary64) %659)
(fma.f64 %369 #s(literal 1/2 binary64) %662)
(fma.f64 %372 #s(literal 1/100 binary64) %659)
(fma.f64 %372 #s(literal 1/100 binary64) %662)
(fma.f64 %374 #s(literal 1/200 binary64) %659)
(fma.f64 %374 #s(literal 1/200 binary64) %662)
(fma.f64 %376 #s(literal -1/200 binary64) %659)
(fma.f64 %376 #s(literal -1/200 binary64) %662)
(fma.f64 %7 #s(literal 1/400 binary64) x)
(fma.f64 %11 #s(literal 1/2 binary64) x)
(fma.f64 %16 #s(literal 1/400 binary64) x)
(fma.f64 %18 #s(literal 1/2 binary64) x)
(fma.f64 %22 #s(literal 1/100 binary64) x)
(fma.f64 %26 #s(literal 1/400 binary64) x)
(fma.f64 %28 #s(literal 1/2 binary64) x)
(fma.f64 %31 #s(literal 1/400 binary64) x)
(fma.f64 %33 #s(literal -1/400 binary64) x)
(fma.f64 %36 #s(literal -1/2 binary64) x)
(fma.f64 %40 #s(literal 1/100 binary64) x)
(fma.f64 %42 #s(literal -1/100 binary64) x)
(fma.f64 %47 #s(literal -1/400 binary64) x)
(fma.f64 %49 #s(literal 1/400 binary64) x)
(fma.f64 %51 #s(literal 1/2 binary64) x)
(fma.f64 %53 #s(literal -1/400 binary64) x)
(fma.f64 %55 #s(literal -1/2 binary64) x)
(fma.f64 %57 #s(literal 1/400 binary64) x)
(fma.f64 %59 #s(literal -1/200 binary64) x)
(fma.f64 %61 #s(literal 1/200 binary64) x)
(fma.f64 %64 #s(literal 1/200 binary64) x)
(fma.f64 %66 #s(literal -1/200 binary64) x)
(fma.f64 %378 #s(literal 2 binary64) %659)
(fma.f64 %378 #s(literal 2 binary64) %662)
(fma.f64 %68 #s(literal -2 binary64) x)
(fma.f64 %70 #s(literal 2 binary64) x)
(fma.f64 %72 #s(literal 1/2 binary64) x)
(fma.f64 %380 #s(literal -1/400 binary64) %659)
(fma.f64 %380 #s(literal -1/400 binary64) %662)
(fma.f64 %364 #s(literal 1/400 binary64) %659)
(fma.f64 %364 #s(literal 1/400 binary64) %662)
(fma.f64 #s(literal 1/100 binary64) %75 x)
(fma.f64 #s(literal 1/100 binary64) %78 x)
(fma.f64 #s(literal -1/100 binary64) %80 x)
(fma.f64 %46 #s(literal 1/400 binary64) x)
(fma.f64 %383 #s(literal -1/200 binary64) %659)
(fma.f64 %383 #s(literal -1/200 binary64) %662)
(fma.f64 %385 #s(literal 1/200 binary64) %659)
(fma.f64 %385 #s(literal 1/200 binary64) %662)
(fma.f64 %4 #s(literal -1/400 binary64) x)
(fma.f64 #s(literal 1/400 binary64) %57 x)
(fma.f64 #s(literal -2 binary64) %85 x)
(fma.f64 #s(literal -1/2 binary64) %55 x)
(fma.f64 %389 #s(literal -1/40000 binary64) %659)
(fma.f64 %389 #s(literal -1/40000 binary64) %662)
(fma.f64 %394 #s(literal 1/40000 binary64) %659)
(fma.f64 %394 #s(literal 1/40000 binary64) %662)
(fma.f64 #s(literal 1/2 binary64) %89 x)
(fma.f64 #s(literal 2 binary64) %91 x)
(fma.f64 #s(literal 2 binary64) %93 x)
(fma.f64 #s(literal 2 binary64) %95 x)
(fma.f64 #s(literal 2 binary64) %97 x)
(fma.f64 #s(literal 2 binary64) %397 %659)
(fma.f64 #s(literal 2 binary64) %397 %662)
(fma.f64 %399 #s(literal -1 binary64) %659)
(fma.f64 %399 #s(literal -1 binary64) %662)
(fma.f64 %355 #s(literal -1/200 binary64) %659)
(fma.f64 %355 #s(literal -1/200 binary64) %662)
(fma.f64 #s(literal -1 binary64) %399 %659)
(fma.f64 #s(literal -1 binary64) %399 %662)
(fma.f64 #s(literal -1 binary64) %99 x)
(fma.f64 #s(literal 1/200 binary64) %374 %659)
(fma.f64 #s(literal 1/200 binary64) %374 %662)
(fma.f64 #s(literal 1/200 binary64) %61 x)
(fma.f64 #s(literal 1/200 binary64) %64 x)
(fma.f64 #s(literal 1/200 binary64) %351 %659)
(fma.f64 #s(literal 1/200 binary64) %351 %662)
(fma.f64 #s(literal 1/200 binary64) %20 x)
(fma.f64 %351 #s(literal 1/200 binary64) %659)
(fma.f64 %351 #s(literal 1/200 binary64) %662)
(fma.f64 %20 #s(literal 1/200 binary64) x)
(fma.f64 #s(literal 1 binary64) %406 %659)
(fma.f64 #s(literal 1 binary64) %406 %662)
(fma.f64 #s(literal 1 binary64) %105 x)
(fma.f64 %406 #s(literal 1 binary64) %659)
(fma.f64 %406 #s(literal 1 binary64) %662)
(fma.f64 %99 #s(literal -1 binary64) x)
(fma.f64 %105 #s(literal 1 binary64) x)
(fma.f64 #s(literal -1/200 binary64) %376 %659)
(fma.f64 #s(literal -1/200 binary64) %376 %662)
(fma.f64 #s(literal -1/200 binary64) %59 x)
(fma.f64 #s(literal -1/200 binary64) %66 x)
(fma.f64 #s(literal -1/200 binary64) %355 %659)
(fma.f64 #s(literal -1/200 binary64) %355 %662)
%406
(fma.f64 y #s(literal -1/200 binary64) x)
(-.f64 %105 (neg.f64 x))
(-.f64 x %99)
(+.f64 %378 %378)
(+.f64 %774 %774)
(+.f64 %406 %659)
(+.f64 %406 %662)
(+.f64 %105 x)
(+.f64 x (/.f64 %529 #s(literal -40000 binary64)))
(+.f64 x (/.f64 %604 #s(literal 40000 binary64)))
(+.f64 x (/.f64 %608 #s(literal -40000 binary64)))
(+.f64 x (/.f64 %388 #s(literal -40000 binary64)))
(+.f64 x (/.f64 %393 #s(literal 40000 binary64)))
(+.f64 x (/.f64 %480 #s(literal 40000 binary64)))
(+.f64 x %105)
reconstruct36.0ms (2.8%)
Counts
514 → 43
Compiler
Compiled 514 to 803 computations (-56.2% saved)
eval4.0ms (0.3%)
Compiler
Compiled 39 to 116 computations (-197.4% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (1 fresh and 2 done)
PrunedKeptTotal
New38139
Fresh000
Picked022
Done101
Total39342
Accuracy
100.0%
Counts
42 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 #s(literal -1/200 binary64) y x)
▶51.0%
(approx (- x (/ y 200)) (/.f64 y #s(literal -200 binary64)))
✓50.9%
(approx (- x (/ y 200)) (*.f64 #s(literal -1/200 binary64) y))
Compiler
Compiled 3 to 7 computations (-133.3% saved)
sample-0.0ms (-0.0%)
Calls
Call 1
Inputs
Outputs
series5.0ms (0.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
039106
Stop Event
1×iter-limit
Counts
4 → 10
Calls
Call 1
Inputs
%2 = (/.f64 y #s(literal -200 binary64))
y
#s(literal -200 binary64)
%2
(approx (- x (/ y 200)) %2)
Outputs
%6 = (- x (/ y 200))
%8 = (*.f64 #s(literal -1/200 binary64) y)
%16 = (/.f64 y x)
%30 = (/.f64 x y)
(approx y #s(literal 0 binary64))
(approx %6 %8)
(approx %6 (-.f64 x (*.f64 #s(literal 1/200 binary64) y)))
(approx %6 x)
(approx %6 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/200 binary64) %16))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/200 binary64) %16) #s(literal 1 binary64)))))
(approx y y)
(approx %6 (+.f64 x %8))
(approx %6 (*.f64 y (-.f64 %30 #s(literal 1/200 binary64))))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/200 binary64) (*.f64 #s(literal -1 binary64) %30)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
inf
1.0ms
y
-inf
0.0ms
y
0
0.0ms
x
inf
0.0ms
x
0
rewrite109.0ms (8.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0814
0914
14114
211114
331214
4126214
0414514
0447013
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 110
Calls
Call 1
Inputs
%2 = (/.f64 y #s(literal -200 binary64))
y
#s(literal -200 binary64)
%2
(approx (- x (/ y 200)) %2)
Outputs
%3 = (+.f64 y y)
%4 = (*.f64 #s(literal -1/200 binary64) %3)
%7 = (neg.f64 y)
%9 = (*.f64 %7 #s(literal 2 binary64))
%14 = (*.f64 #s(literal -1/200 binary64) y)
%15 = (*.f64 #s(literal 2 binary64) %14)
%17 = (*.f64 #s(literal -1/400 binary64) y)
%19 = (*.f64 #s(literal 1/400 binary64) %7)
%21 = (*.f64 #s(literal 1/2 binary64) %14)
%25 = (*.f64 #s(literal 1/200 binary64) y)
%38 = (*.f64 #s(literal 200 binary64) %14)
%41 = (*.f64 #s(literal 2 binary64) %7)
%58 = (*.f64 %7 #s(literal 200 binary64))
%60 = (*.f64 #s(literal 200 binary64) y)
%85 = (/.f64 (*.f64 %7 #s(literal 0 binary64)) #s(literal 200 binary64))
%88 = (/.f64 (*.f64 #s(literal 0 binary64) %7) #s(literal 200 binary64))
%91 = (/.f64 (*.f64 y #s(literal 0 binary64)) #s(literal -200 binary64))
%94 = (/.f64 (*.f64 #s(literal 0 binary64) y) #s(literal -200 binary64))
%148 = (/.f64 y #s(literal -400 binary64))
%151 = (/.f64 (*.f64 %7 #s(literal 1/2 binary64)) #s(literal 200 binary64))
%154 = (/.f64 (*.f64 #s(literal 1/2 binary64) %7) #s(literal 200 binary64))
%157 = (/.f64 (*.f64 y #s(literal 1/2 binary64)) #s(literal -200 binary64))
%160 = (/.f64 (*.f64 #s(literal 1/2 binary64) y) #s(literal -200 binary64))
%170 = (approx (- x (/ y 200)) %14)
y
#s(literal -200 binary64)
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %9 #s(literal 1/400 binary64))
(*.f64 %3 #s(literal -1/400 binary64))
(*.f64 #s(literal 1/2 binary64) %15)
(*.f64 #s(literal 2 binary64) %17)
(*.f64 #s(literal 2 binary64) %19)
(*.f64 #s(literal 2 binary64) %21)
(*.f64 #s(literal -1 binary64) %25)
%14
(*.f64 #s(literal 1/200 binary64) %7)
(*.f64 %7 #s(literal 1/200 binary64))
(*.f64 #s(literal 1 binary64) %14)
(*.f64 %14 #s(literal 1 binary64))
(*.f64 y #s(literal -1/200 binary64))
(pow.f64 %14 #s(literal 1 binary64))
(/.f64 (neg.f64 %15) #s(literal -2 binary64))
(/.f64 (neg.f64 %38) #s(literal -200 binary64))
(/.f64 (neg.f64 %41) #s(literal -400 binary64))
(/.f64 %15 #s(literal 2 binary64))
(/.f64 %38 #s(literal 200 binary64))
(/.f64 (neg.f64 %3) #s(literal 400 binary64))
(/.f64 (*.f64 #s(literal -200 binary64) %7) #s(literal -40000 binary64))
(/.f64 (*.f64 #s(literal -200 binary64) y) #s(literal 40000 binary64))
(/.f64 %41 #s(literal 400 binary64))
(/.f64 %3 #s(literal -400 binary64))
(/.f64 %58 #s(literal 40000 binary64))
(/.f64 %60 #s(literal -40000 binary64))
(/.f64 %7 #s(literal 200 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %15))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 200 binary64) %38))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 400 binary64) %41))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -400 binary64) %3))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 40000 binary64) %58))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -40000 binary64) %60))
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 200 binary64) %7))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -200 binary64) y))
(/.f64 y #s(literal -200 binary64))
(neg.f64 %25)
(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 %9 #s(literal 1/400 binary64) %85)
(fma.f64 %9 #s(literal 1/400 binary64) %88)
(fma.f64 %9 #s(literal 1/400 binary64) %91)
(fma.f64 %9 #s(literal 1/400 binary64) %94)
(fma.f64 %3 #s(literal -1/400 binary64) %85)
(fma.f64 %3 #s(literal -1/400 binary64) %88)
(fma.f64 %3 #s(literal -1/400 binary64) %91)
(fma.f64 %3 #s(literal -1/400 binary64) %94)
(fma.f64 #s(literal 1/2 binary64) %15 %85)
(fma.f64 #s(literal 1/2 binary64) %15 %88)
(fma.f64 #s(literal 1/2 binary64) %15 %91)
(fma.f64 #s(literal 1/2 binary64) %15 %94)
(fma.f64 #s(literal 2 binary64) %17 %85)
(fma.f64 #s(literal 2 binary64) %17 %88)
(fma.f64 #s(literal 2 binary64) %17 %91)
(fma.f64 #s(literal 2 binary64) %17 %94)
(fma.f64 #s(literal 2 binary64) %19 %85)
(fma.f64 #s(literal 2 binary64) %19 %88)
(fma.f64 #s(literal 2 binary64) %19 %91)
(fma.f64 #s(literal 2 binary64) %19 %94)
(fma.f64 #s(literal 2 binary64) %21 %85)
(fma.f64 #s(literal 2 binary64) %21 %88)
(fma.f64 #s(literal 2 binary64) %21 %91)
(fma.f64 #s(literal 2 binary64) %21 %94)
(fma.f64 #s(literal -1 binary64) %25 %85)
(fma.f64 #s(literal -1 binary64) %25 %88)
(fma.f64 #s(literal -1 binary64) %25 %91)
(fma.f64 #s(literal -1 binary64) %25 %94)
(fma.f64 #s(literal -1/200 binary64) y %85)
(fma.f64 #s(literal -1/200 binary64) y %88)
(fma.f64 #s(literal -1/200 binary64) y %91)
(fma.f64 #s(literal -1/200 binary64) y %94)
(fma.f64 #s(literal 1/200 binary64) %7 %85)
(fma.f64 #s(literal 1/200 binary64) %7 %88)
(fma.f64 #s(literal 1/200 binary64) %7 %91)
(fma.f64 #s(literal 1/200 binary64) %7 %94)
(fma.f64 %7 #s(literal 1/200 binary64) %85)
(fma.f64 %7 #s(literal 1/200 binary64) %88)
(fma.f64 %7 #s(literal 1/200 binary64) %91)
(fma.f64 %7 #s(literal 1/200 binary64) %94)
(fma.f64 #s(literal 1 binary64) %14 %85)
(fma.f64 #s(literal 1 binary64) %14 %88)
(fma.f64 #s(literal 1 binary64) %14 %91)
(fma.f64 #s(literal 1 binary64) %14 %94)
(fma.f64 %14 #s(literal 1 binary64) %85)
(fma.f64 %14 #s(literal 1 binary64) %88)
(fma.f64 %14 #s(literal 1 binary64) %91)
(fma.f64 %14 #s(literal 1 binary64) %94)
(fma.f64 y #s(literal -1/200 binary64) %85)
(fma.f64 y #s(literal -1/200 binary64) %88)
(fma.f64 y #s(literal -1/200 binary64) %91)
(fma.f64 y #s(literal -1/200 binary64) %94)
(+.f64 %148 %148)
(+.f64 %151 %151)
(+.f64 %154 %154)
(+.f64 %157 %157)
(+.f64 %160 %160)
(+.f64 %14 %85)
(+.f64 %14 %88)
(+.f64 %14 %91)
(+.f64 %14 %94)
(*.f64 #s(literal 1 binary64) %170)
(pow.f64 %170 #s(literal 1 binary64))
%170
(/.f64 #s(literal 1 binary64) (pow.f64 %170 #s(literal -1 binary64)))
reconstruct17.0ms (1.4%)
Counts
119 → 17
Compiler
Compiled 119 to 188 computations (-58.0% saved)
eval3.0ms (0.2%)
Compiler
Compiled 14 to 39 computations (-178.6% saved)
prune2.0ms (0.1%)
Pruning
4 alts after pruning (1 fresh and 3 done)
PrunedKeptTotal
New13114
Fresh000
Picked011
Done022
Total13417
Accuracy
100.0%
Counts
17 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 #s(literal -1/200 binary64) y x)
✓51.0%
(approx (- x (/ y 200)) (/.f64 y #s(literal -200 binary64)))
✓50.9%
(approx (- x (/ y 200)) (*.f64 #s(literal -1/200 binary64) y))
▶50.3%
(approx (- x (/ y 200)) x)
Compiler
Compiled 4 to 7 computations (-75.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
03899
Stop Event
1×iter-limit
Counts
2 → 9
Calls
Call 1
Inputs
x
(approx (- x (/ y 200)) x)
Outputs
%7 = (- x (/ y 200))
%9 = (*.f64 #s(literal -1/200 binary64) y)
%16 = (/.f64 y x)
%29 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %7 (-.f64 x (*.f64 #s(literal 1/200 binary64) y)))
(approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/200 binary64) %16))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 1/200 binary64) %16) #s(literal 1 binary64)))))
(approx %7 (+.f64 x %9))
(approx %7 (*.f64 y (-.f64 %29 #s(literal 1/200 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1/200 binary64) (*.f64 #s(literal -1 binary64) %29)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
inf
0.0ms
x
0
0.0ms
y
0
rewrite121.0ms (9.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
068
068
1308
2918
32818
410868
040548
042317
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×saturated
Counts
2 → 5
Calls
Call 1
Inputs
x
(approx (- x (/ y 200)) x)
Outputs
%6 = (approx (- x (/ y 200)) 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
14 → 8
Compiler
Compiled 14 to 30 computations (-114.3% saved)
eval1.0ms (0.1%)
Compiler
Compiled 7 to 18 computations (-157.1% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (1 fresh and 4 done)
PrunedKeptTotal
New617
Fresh000
Picked011
Done033
Total6511
Accuracy
100.0%
Counts
11 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(fma.f64 #s(literal -1/200 binary64) y x)
✓51.0%
(approx (- x (/ y 200)) (/.f64 y #s(literal -200 binary64)))
✓50.9%
(approx (- x (/ y 200)) (*.f64 #s(literal -1/200 binary64) y))
2.7%
(approx (- x (/ y 200)) (approx x #s(literal 0 binary64)))
✓50.3%
(approx (- x (/ y 200)) x)
Compiler
Compiled 5 to 8 computations (-60.0% saved)
regimes15.0ms (1.2%)
Accuracy
Total 25.8b remaining (42.9%)
Threshold costs 0.1b (0.1%)
12.9b57.2%
12.9b57.3%
0.1b0.0%
0.0b0%
-0.0b-0.0%
Counts
1 → 1
3 → 3
4 → 3
5 → 1
6 → 1
Calls
Call 1
Inputs
(approx (- x (/ y 200)) x)
Outputs
(approx (- x (/ y 200)) x)
Call 2
Inputs
%4 = (- x (/ y 200))
(approx %4 x)
(approx %4 (approx x #s(literal 0 binary64)))
(approx %4 (*.f64 #s(literal -1/200 binary64) y))
Outputs
%4 = (- x (/ y 200))
%7 = (approx %4 (*.f64 #s(literal -1/200 binary64) y))
%7
(approx %4 x)
%7
Call 3
Inputs
%4 = (- x (/ y 200))
(approx %4 x)
(approx %4 (approx x #s(literal 0 binary64)))
(approx %4 (*.f64 #s(literal -1/200 binary64) y))
(approx %4 (/.f64 y #s(literal -200 binary64)))
Outputs
%4 = (- x (/ y 200))
%7 = (approx %4 (/.f64 y #s(literal -200 binary64)))
%7
(approx %4 x)
%7
Call 4
Inputs
%4 = (- x (/ y 200))
(approx %4 x)
(approx %4 (approx x #s(literal 0 binary64)))
(approx %4 (*.f64 #s(literal -1/200 binary64) y))
(approx %4 (/.f64 y #s(literal -200 binary64)))
(fma.f64 #s(literal -1/200 binary64) y x)
Outputs
(fma.f64 #s(literal -1/200 binary64) y x)
Call 5
Inputs
%4 = (- x (/ y 200))
(approx %4 x)
(approx %4 (approx x #s(literal 0 binary64)))
(approx %4 (*.f64 #s(literal -1/200 binary64) y))
(approx %4 (/.f64 y #s(literal -200 binary64)))
(fma.f64 #s(literal -1/200 binary64) y x)
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Outputs
(-.f64 x (/.f64 y #s(literal 200 binary64)))
Calls
4 calls:
5.0ms
(/.f64 y #s(literal 200 binary64))
4.0ms
x
4.0ms
(-.f64 x (/.f64 y #s(literal 200 binary64)))
4.0ms
y
Results
AccuracySegmentsBranch
50.3%1
y
50.3%1
x
50.3%1
(-.f64 x (/.f64 y #s(literal 200 binary64)))
50.3%1
(/.f64 y #s(literal 200 binary64))
Compiler
Compiled 10 to 16 computations (-60.0% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1.2351119403000508e+38
1.2510478341494962e+46
0.0ms
-2.077754863125911e+44
-1.1821331355648851e+38
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
Algorithm
2×left-value
Steps
TimeLeftRight
0.0ms
1.2351119403000508e+38
1.2510478341494962e+46
0.0ms
-2.077754863125911e+44
-1.1821331355648851e+38
Compiler
Compiled 1 to 3 computations (-200.0% saved)
bsearch0.0ms (0.0%)
derivations42.0ms (3.3%)
Stop Event
1×fuel
Compiler
Compiled 5 to 18 computations (-260.0% saved)
preprocess19.0ms (1.5%)
Compiler
Compiled 6 to 23 computations (-283.3% saved)
end0.0ms (0.0%)
gc179ms (14.1%)
Allocations
AllocatedPercentPhase
505.7 MiB37.4%rewrite
500.5 MiB37.0%sample
172.5 MiB12.8%reconstruct
59.4 MiB4.4%preprocess
56.6 MiB4.2%series
24.1 MiB1.8%regimes
18.9 MiB1.4%eval
9.9 MiB0.7%prune
1.7 MiB0.1%derivations
1.2 MiB0.1%analyze
0.7 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
1 351.3 MiB100.0%total
Profiling
Loading profile data...