Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, G

Time bar (total: 1.5s)

start0.0ms (0.0%)

analyze1.0ms (0.0%)

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

Compiled 7 to 6 computations (14.3% saved)

sample292.0ms (19.2%)

Samples
251.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 3.0ms
Sub: 3.0ms (88.3% of total, 0.0 MiB)
Bogosity

preprocess104.0ms (6.8%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0911
14710
21349
35119
433659
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))
Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
(/ 1 3)
Outputs
#s(literal 6004799503160661/18014398509481984 binary64)
Samples
0.0ms1×0valid
Compiler

Compiled 5 to 4 computations (20.0% saved)

series9.0ms (0.6%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02246
Stop Event
1×iter-limit
Counts
5 → 6
Calls
Call 1
Inputs
%3 = (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
x
#s(literal 1 binary64)
#s(literal 3 binary64)
%3
(-.f64 x %3)
Outputs
%5 = (- x 1/3)
%13 = (*.f64 #s(literal 1/3 binary64) (/.f64 #s(literal 1 binary64) x))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal -1/3 binary64))
(approx %5 (-.f64 x #s(literal 1/3 binary64)))
(approx %5 (*.f64 x (-.f64 #s(literal 1 binary64) %13)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %13 #s(literal 1 binary64)))))
Calls

3 calls:

TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0

rewrite96.0ms (6.3%)

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
087
1247
2437
31017
44587
040807
041767
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 16
Calls
Call 1
Inputs
%3 = (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
x
#s(literal 1 binary64)
#s(literal 3 binary64)
%3
(-.f64 x %3)
Outputs
%5 = (-.f64 #s(literal 1/3 binary64) x)
%7 = (-.f64 x #s(literal 1/3 binary64))
%17 = (*.f64 x #s(literal 1 binary64))
x
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 1/3 binary64)
(*.f64 #s(literal -1 binary64) %5)
(*.f64 #s(literal 1 binary64) %7)
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %5)
(fma.f64 x #s(literal 1 binary64) #s(literal -1/3 binary64))
(-.f64 #s(literal -1/3 binary64) (neg.f64 x))
%7
(+.f64 %17 #s(literal -1/3 binary64))
(+.f64 #s(literal -1/3 binary64) %17)
(+.f64 #s(literal -1/3 binary64) x)
(+.f64 x #s(literal -1/3 binary64))

reconstruct3.0ms (0.2%)

Counts
23 → 9
Compiler

Compiled 23 to 31 computations (-34.8% saved)

eval1.0ms (0.1%)

Compiler

Compiled 7 to 19 computations (-171.4% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New437
Fresh000
Picked101
Done000
Total538
Accuracy
100.0%
Counts
8 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 x #s(literal 6004799503160661/18014398509481984 binary64))
▶99.8%
(approx (- x 1/3) (*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/3 binary64) (/.f64 #s(literal 1 binary64) x)))))
▶46.1%
(approx (- x 1/3) #s(literal -1/3 binary64))
Compiler

Compiled 3 to 10 computations (-233.3% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series19.0ms (1.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
042150
Stop Event
1×iter-limit
Counts
12 → 16
Calls
Call 1
Inputs
%5 = (- x 1/3)
%8 = (/.f64 #s(literal 1 binary64) x)
%9 = (*.f64 #s(literal 1/3 binary64) %8)
%10 = (-.f64 #s(literal 1 binary64) %9)
%11 = (*.f64 x %10)
x
#s(literal 1 binary64)
#s(literal 6004799503160661/18014398509481984 binary64)
#s(literal -1/3 binary64)
(approx %5 #s(literal -1/3 binary64))
#s(literal 1/3 binary64)
%8
%9
%10
%11
(approx %5 %11)
(-.f64 x #s(literal 6004799503160661/18014398509481984 binary64))
Outputs
%5 = (- x 1/3)
%9 = (-.f64 x #s(literal 1/3 binary64))
%12 = (/ 1 x)
%14 = (/.f64 #s(literal 1 binary64) x)
%16 = (* 1/3 %12)
%19 = (- 1 %16)
%25 = (- x 6004799503160661/18014398509481984)
%31 = (*.f64 #s(literal 1/3 binary64) %14)
%32 = (-.f64 #s(literal 1 binary64) %31)
%37 = (*.f64 #s(literal 6004799503160661/18014398509481984 binary64) %14)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal -1/3 binary64))
(approx %5 %9)
(approx %12 %14)
(approx %16 (/.f64 #s(literal 1/3 binary64) x))
(approx %19 (/.f64 #s(literal -1/3 binary64) x))
(approx %19 (/.f64 %9 x))
(approx %25 #s(literal -6004799503160661/18014398509481984 binary64))
(approx %25 (-.f64 x #s(literal 6004799503160661/18014398509481984 binary64)))
(approx %5 (*.f64 x %32))
(approx %19 #s(literal 1 binary64))
(approx %19 %32)
(approx %25 (*.f64 x (-.f64 #s(literal 1 binary64) %37)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %31 #s(literal 1 binary64)))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %37 #s(literal 1 binary64)))))
Calls
3 calls:
TimeVariablePoint
13.0ms
x
0
2.0ms
x
-inf
2.0ms
x
inf
rewrite159.0ms (10.4%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01350
01842
16434
215834
363334
0406934
0428334
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
12 → 1 154
Calls
Call 1
Inputs
%5 = (- x 1/3)
%8 = (/.f64 #s(literal 1 binary64) x)
%9 = (*.f64 #s(literal 1/3 binary64) %8)
%10 = (-.f64 #s(literal 1 binary64) %9)
%11 = (*.f64 x %10)
x
#s(literal 1 binary64)
#s(literal 6004799503160661/18014398509481984 binary64)
#s(literal -1/3 binary64)
(approx %5 #s(literal -1/3 binary64))
#s(literal 1/3 binary64)
%8
%9
%10
%11
(approx %5 %11)
(-.f64 x #s(literal 6004799503160661/18014398509481984 binary64))
Outputs
%5 = (- x 1/3)
%6 = (approx %5 #s(literal -1/3 binary64))
%13 = (/.f64 #s(literal 1 binary64) x)
%15 = (/.f64 %13 #s(literal 1/2 binary64))
%18 = (*.f64 x #s(literal 1/2 binary64))
%19 = (/.f64 #s(literal 1/4 binary64) %18)
%22 = (*.f64 x #s(literal 2 binary64))
%23 = (/.f64 #s(literal 1/4 binary64) %22)
%27 = (/.f64 #s(literal 4 binary64) %18)
%30 = (/.f64 #s(literal 1/4 binary64) x)
%32 = (/.f64 #s(literal 4 binary64) x)
%34 = (/.f64 #s(literal 1/2 binary64) %18)
%37 = (/.f64 #s(literal -2 binary64) %18)
%40 = (/.f64 #s(literal 2 binary64) %18)
%42 = (/.f64 #s(literal -1 binary64) %18)
%45 = (/.f64 #s(literal -1 binary64) %22)
%47 = (/.f64 #s(literal 1/2 binary64) %22)
%50 = (*.f64 #s(literal 2 binary64) x)
%51 = (/.f64 #s(literal -1/2 binary64) %50)
%53 = (*.f64 #s(literal 1/2 binary64) x)
%54 = (/.f64 #s(literal 4 binary64) %53)
%56 = (/.f64 #s(literal 2 binary64) x)
%58 = (/.f64 #s(literal -2 binary64) x)
%61 = (/.f64 #s(literal 2 binary64) %53)
%63 = (/.f64 #s(literal 1/4 binary64) %50)
%65 = (/.f64 %13 #s(literal 4 binary64))
%68 = (/.f64 #s(literal 1/2 binary64) %50)
%70 = (/.f64 #s(literal 1/2 binary64) x)
%72 = (/.f64 #s(literal -1 binary64) %53)
%75 = (neg.f64 x)
%76 = (*.f64 %75 #s(literal 2 binary64))
%77 = (/.f64 #s(literal 1 binary64) %76)
%79 = (/.f64 #s(literal -1/2 binary64) x)
%81 = (/.f64 #s(literal -1 binary64) x)
%83 = (/.f64 #s(literal 1 binary64) %53)
%86 = (/.f64 #s(literal 1/4 binary64) %53)
%89 = (/.f64 #s(literal -1/2 binary64) %53)
%93 = (/.f64 #s(literal 1/2 binary64) %53)
%104 = (*.f64 %75 %75)
%108 = (*.f64 %75 x)
%112 = (*.f64 x %75)
%115 = (*.f64 #s(literal 0 binary64) %76)
%117 = (*.f64 %76 x)
%119 = (*.f64 #s(literal 2 binary64) %75)
%120 = (*.f64 #s(literal 0 binary64) %119)
%122 = (*.f64 %119 x)
%124 = (*.f64 #s(literal 0 binary64) %22)
%126 = (*.f64 %22 x)
%128 = (*.f64 #s(literal 0 binary64) %50)
%130 = (*.f64 %50 x)
%132 = (*.f64 #s(literal 0 binary64) %75)
%145 = (*.f64 x x)
%149 = (*.f64 %76 #s(literal 0 binary64))
%152 = (*.f64 %119 #s(literal 0 binary64))
%155 = (*.f64 %22 #s(literal 0 binary64))
%158 = (*.f64 %50 #s(literal 0 binary64))
%161 = (*.f64 %75 #s(literal 0 binary64))
%178 = (*.f64 %75 #s(literal 4 binary64))
%180 = (*.f64 #s(literal 4 binary64) %75)
%182 = (*.f64 %76 #s(literal 2 binary64))
%184 = (*.f64 %119 #s(literal 2 binary64))
%186 = (*.f64 #s(literal 2 binary64) %76)
%188 = (*.f64 #s(literal 2 binary64) %119)
%190 = (*.f64 #s(literal -2 binary64) %22)
%192 = (*.f64 #s(literal -2 binary64) %50)
%194 = (*.f64 %22 #s(literal -2 binary64))
%196 = (*.f64 %50 #s(literal -2 binary64))
%199 = (*.f64 %76 #s(literal 4 binary64))
%201 = (*.f64 %119 #s(literal 4 binary64))
%203 = (*.f64 #s(literal 4 binary64) %76)
%205 = (*.f64 #s(literal 4 binary64) %119)
%208 = (*.f64 #s(literal 4 binary64) %22)
%210 = (*.f64 #s(literal 4 binary64) %50)
%212 = (*.f64 %22 #s(literal 4 binary64))
%214 = (*.f64 %50 #s(literal 4 binary64))
%216 = (*.f64 x #s(literal 4 binary64))
%218 = (*.f64 #s(literal -2 binary64) %76)
%220 = (*.f64 #s(literal -2 binary64) %119)
%222 = (*.f64 %76 #s(literal -2 binary64))
%224 = (*.f64 %119 #s(literal -2 binary64))
%226 = (*.f64 #s(literal 4 binary64) x)
%228 = (*.f64 #s(literal 2 binary64) %22)
%230 = (*.f64 #s(literal 2 binary64) %50)
%232 = (*.f64 %22 #s(literal 2 binary64))
%234 = (*.f64 %50 #s(literal 2 binary64))
%236 = (*.f64 %76 #s(literal 1 binary64))
%238 = (*.f64 %119 #s(literal 1 binary64))
%240 = (*.f64 #s(literal 1 binary64) %76)
%242 = (*.f64 #s(literal 1 binary64) %119)
%244 = (*.f64 x #s(literal -2 binary64))
%246 = (*.f64 #s(literal -2 binary64) x)
%248 = (neg.f64 %22)
%250 = (neg.f64 %50)
%254 = (*.f64 %75 #s(literal -2 binary64))
%256 = (*.f64 #s(literal -2 binary64) %75)
%258 = (*.f64 #s(literal 1 binary64) %22)
%260 = (*.f64 #s(literal 1 binary64) %50)
%262 = (*.f64 %22 #s(literal 1 binary64))
%264 = (*.f64 %50 #s(literal 1 binary64))
%266 = (neg.f64 %76)
%268 = (neg.f64 %119)
%272 = (*.f64 %75 #s(literal 1 binary64))
%274 = (*.f64 #s(literal -1 binary64) x)
%276 = (*.f64 x #s(literal -1 binary64))
%292 = (/.f64 #s(literal 0 binary64) x)
%299 = (/.f64 #s(literal 0 binary64) %18)
%316 = (/.f64 #s(literal 1/3 binary64) %18)
%318 = (/.f64 #s(literal -1/3 binary64) %18)
%325 = (*.f64 %70 #s(literal -1/3 binary64))
%331 = (*.f64 %70 #s(literal 1/3 binary64))
%333 = (/.f64 #s(literal 0 binary64) %53)
%378 = (/.f64 #s(literal -1/3 binary64) x)
%385 = (/.f64 #s(literal 1/3 binary64) %53)
%389 = (/.f64 #s(literal -1/3 binary64) %50)
%391 = (/.f64 #s(literal -1/3 binary64) %53)
%395 = (/.f64 #s(literal 1/3 binary64) x)
%396 = (*.f64 #s(literal 1/2 binary64) %395)
%425 = (neg.f64 %292)
%429 = (/.f64 #s(literal 3/2 binary64) %22)
%432 = (/.f64 #s(literal 3/2 binary64) %50)
%438 = (/.f64 %395 #s(literal 1/2 binary64))
%440 = (/.f64 #s(literal 1/6 binary64) %18)
%442 = (/.f64 #s(literal 1/6 binary64) %22)
%445 = (/.f64 #s(literal -2/3 binary64) %18)
%447 = (/.f64 #s(literal -2/3 binary64) x)
%449 = (/.f64 #s(literal 2/3 binary64) %18)
%451 = (/.f64 #s(literal 2/3 binary64) x)
%462 = (/.f64 #s(literal 1/6 binary64) x)
%467 = (*.f64 %13 #s(literal 2/3 binary64))
%471 = (*.f64 #s(literal 2 binary64) %395)
%479 = (/.f64 #s(literal 2/3 binary64) %53)
%481 = (*.f64 %395 #s(literal 2 binary64))
%483 = (/.f64 %395 #s(literal 4 binary64))
%485 = (/.f64 #s(literal 1/6 binary64) %50)
%491 = (/.f64 #s(literal 2/3 binary64) %75)
%510 = (/.f64 #s(literal 1/6 binary64) %53)
%526 = (*.f64 #s(literal 4 binary64) %471)
%528 = (*.f64 #s(literal 4 binary64) %481)
%530 = (*.f64 #s(literal 1 binary64) %471)
%532 = (*.f64 #s(literal 1 binary64) %481)
%544 = (*.f64 #s(literal -2 binary64) %471)
%546 = (*.f64 #s(literal -2 binary64) %481)
%548 = (*.f64 #s(literal 2 binary64) %471)
%550 = (*.f64 #s(literal 2 binary64) %481)
%582 = (neg.f64 %481)
%692 = (neg.f64 %331)
%701 = (/.f64 #s(literal -1/6 binary64) %75)
%706 = (-.f64 #s(literal 1/3 binary64) x)
%707 = (/.f64 %706 x)
%708 = (/.f64 %707 %18)
%709 = (/.f64 %75 #s(literal 2 binary64))
%711 = (/.f64 %707 %22)
%712 = (/.f64 %75 #s(literal 1/2 binary64))
%714 = (/.f64 %75 %18)
%715 = (/.f64 %707 #s(literal 2 binary64))
%717 = (/.f64 %75 %22)
%718 = (/.f64 %707 #s(literal 1/2 binary64))
%720 = (/.f64 %707 %53)
%722 = (-.f64 x #s(literal 1/3 binary64))
%723 = (/.f64 %722 x)
%724 = (/.f64 %723 %18)
%726 = (/.f64 %707 %50)
%728 = (/.f64 %723 %22)
%729 = (/.f64 x #s(literal 1/2 binary64))
%731 = (/.f64 %723 #s(literal 1/2 binary64))
%732 = (/.f64 x %50)
%734 = (/.f64 %723 #s(literal 2 binary64))
%735 = (/.f64 x %53)
%737 = (/.f64 %75 #s(literal 1 binary64))
%738 = (/.f64 %707 x)
%740 = (/.f64 %723 x)
%742 = (/.f64 %75 %53)
%744 = (/.f64 %75 %50)
%747 = (/.f64 x %18)
%749 = (/.f64 x %22)
%751 = (/.f64 %723 %50)
%753 = (/.f64 %75 x)
%755 = (/.f64 %722 #s(literal 2 binary64))
%757 = (/.f64 %723 %53)
%759 = (fma.f64 %378 #s(literal 2 binary64) #s(literal 2 binary64))
%761 = (+.f64 #s(literal 2/3 binary64) %119)
%763 = (+.f64 #s(literal -2/3 binary64) %50)
%765 = (+.f64 #s(literal -2/3 binary64) %22)
%767 = (fma.f64 #s(literal 2 binary64) %75 #s(literal 2/3 binary64))
%769 = (fma.f64 #s(literal 2 binary64) x #s(literal -2/3 binary64))
%771 = (-.f64 #s(literal 2/3 binary64) %22)
%773 = (/.f64 %722 #s(literal 1/2 binary64))
%776 = (/.f64 %722 %53)
%778 = (/.f64 %722 %50)
%783 = (/.f64 %722 #s(literal 1 binary64))
%788 = (-.f64 %378 #s(literal -1/2 binary64))
%872 = (*.f64 x %76)
%873 = (*.f64 x #s(literal -2/3 binary64))
%876 = (*.f64 x %119)
%879 = (*.f64 x %22)
%880 = (*.f64 x #s(literal 2/3 binary64))
%883 = (*.f64 x %50)
%886 = (*.f64 x #s(literal 1/3 binary64))
%889 = (*.f64 x #s(literal -1/3 binary64))
%940 = (-.f64 %240 #s(literal -2/3 binary64))
%943 = (-.f64 %242 #s(literal -2/3 binary64))
%946 = (-.f64 %258 #s(literal 2/3 binary64))
%949 = (-.f64 %260 #s(literal 2/3 binary64))
%964 = (*.f64 x %722)
%967 = (*.f64 %964 #s(literal -2 binary64))
%970 = (*.f64 %964 #s(literal 2 binary64))
%977 = (*.f64 %722 x)
%980 = (*.f64 %977 #s(literal -2 binary64))
%983 = (*.f64 %977 #s(literal 2 binary64))
%1118 = (/.f64 #s(literal -1/6 binary64) %18)
%1119 = (/.f64 %119 %76)
%1121 = (/.f64 %50 %22)
%1123 = (/.f64 %76 %76)
%1125 = (/.f64 %22 %22)
%1128 = (/.f64 #s(literal -1/6 binary64) %22)
%1194 = (/.f64 #s(literal -1/6 binary64) x)
%1215 = (*.f64 %81 #s(literal 2/3 binary64))
%1265 = (/.f64 #s(literal -1/6 binary64) %50)
%1379 = (/.f64 #s(literal -1/6 binary64) %53)
%1392 = (/.f64 %119 %119)
%1394 = (/.f64 %50 %50)
%1399 = (/.f64 x %75)
%1410 = (-.f64 #s(literal 0 binary64) %395)
%1413 = (*.f64 %75 %378)
%1416 = (*.f64 %395 x)
%1425 = (*.f64 x %395)
%1476 = (*.f64 #s(literal 1/3 binary64) x)
%1479 = (*.f64 #s(literal -1/3 binary64) x)
%1482 = (*.f64 %22 %75)
%1485 = (*.f64 %50 %75)
%1500 = (*.f64 %886 #s(literal 2 binary64))
%1503 = (*.f64 %889 #s(literal 2 binary64))
%1506 = (*.f64 %1476 #s(literal 2 binary64))
%1509 = (*.f64 %1479 #s(literal 2 binary64))
%1528 = (*.f64 %75 %22)
%1531 = (*.f64 %75 %50)
%1550 = (*.f64 #s(literal 2 binary64) %886)
%1553 = (*.f64 #s(literal 2 binary64) %889)
%1556 = (*.f64 #s(literal 2 binary64) %1476)
%1559 = (*.f64 #s(literal 2 binary64) %1479)
%1682 = (*.f64 %274 #s(literal 1 binary64))
%1684 = (*.f64 %276 #s(literal 1 binary64))
%1687 = (*.f64 (neg.f64 %18) #s(literal 2 binary64))
%1689 = (*.f64 %248 #s(literal 1/2 binary64))
%1691 = (*.f64 #s(literal -1/2 binary64) %50)
%1693 = (*.f64 #s(literal -2 binary64) %53)
%1726 = (approx %5 %722)
%1731 = (-.f64 x #s(literal 6004799503160661/18014398509481984 binary64))
x
#s(literal 1 binary64)
#s(literal 6004799503160661/18014398509481984 binary64)
#s(literal -1/3 binary64)
(*.f64 #s(literal 1 binary64) %6)
(pow.f64 %6 #s(literal 1 binary64))
%6
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
#s(literal 1/3 binary64)
(*.f64 %15 #s(literal 1/2 binary64))
(*.f64 %19 #s(literal 2 binary64))
(*.f64 %23 #s(literal 8 binary64))
(*.f64 %27 #s(literal 1/8 binary64))
(*.f64 %30 #s(literal 4 binary64))
(*.f64 %32 #s(literal 1/4 binary64))
(*.f64 %34 #s(literal 1 binary64))
(*.f64 %37 #s(literal -1/4 binary64))
(*.f64 %40 #s(literal 1/4 binary64))
(*.f64 %42 #s(literal -1/2 binary64))
(*.f64 %45 #s(literal -2 binary64))
(*.f64 %47 #s(literal 4 binary64))
(*.f64 #s(literal -4 binary64) %51)
(*.f64 #s(literal 1/8 binary64) %54)
(*.f64 %56 #s(literal 1/2 binary64))
(*.f64 %58 #s(literal -1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %32)
(*.f64 #s(literal 1/4 binary64) %61)
(*.f64 #s(literal 8 binary64) %63)
(*.f64 #s(literal 4 binary64) %65)
(*.f64 #s(literal 4 binary64) %30)
(*.f64 #s(literal 4 binary64) %68)
(*.f64 %70 #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) %72)
(*.f64 #s(literal -1/2 binary64) %58)
(*.f64 #s(literal -2 binary64) %77)
(*.f64 #s(literal -2 binary64) %79)
(*.f64 %81 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %83)
(*.f64 #s(literal 1/2 binary64) %56)
(*.f64 #s(literal 2 binary64) %86)
(*.f64 #s(literal 2 binary64) %70)
(*.f64 #s(literal -1 binary64) %89)
(*.f64 #s(literal -1 binary64) %81)
(*.f64 %13 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %93)
(*.f64 #s(literal 1 binary64) %13)
(pow.f64 %13 #s(literal 1 binary64))
(pow.f64 x #s(literal -1 binary64))
(/.f64 (fma.f64 %70 %75 #s(literal -1/2 binary64)) %75)
(/.f64 (fma.f64 %70 x #s(literal 1/2 binary64)) x)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %75 (*.f64 #s(literal -1/2 binary64) %75)) %104)
(/.f64 (fma.f64 #s(literal -1/2 binary64) x (*.f64 #s(literal 1/2 binary64) %75)) %108)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %75 (*.f64 #s(literal -1/2 binary64) x)) %112)
(/.f64 (fma.f64 #s(literal -2 binary64) x %115) %117)
(/.f64 (fma.f64 #s(literal -2 binary64) x %120) %122)
(/.f64 (fma.f64 #s(literal 2 binary64) x %124) %126)
(/.f64 (fma.f64 #s(literal 2 binary64) x %128) %130)
(/.f64 (fma.f64 #s(literal -1 binary64) x %132) %108)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %75 (*.f64 %75 #s(literal -1/2 binary64))) %104)
(/.f64 (fma.f64 #s(literal -1/2 binary64) x (*.f64 %75 #s(literal 1/2 binary64))) %108)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %75 (*.f64 x #s(literal -1/2 binary64))) %112)
(/.f64 (fma.f64 #s(literal 1/2 binary64) x %18) %145)
(/.f64 (fma.f64 %56 x #s(literal 0 binary64)) %50)
(/.f64 (fma.f64 #s(literal -2 binary64) x %149) %117)
(/.f64 (fma.f64 #s(literal -2 binary64) x %152) %122)
(/.f64 (fma.f64 #s(literal 2 binary64) x %155) %126)
(/.f64 (fma.f64 #s(literal 2 binary64) x %158) %130)
(/.f64 (fma.f64 #s(literal -1 binary64) x %161) %108)
(/.f64 (*.f64 %56 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %56 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %56 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %56) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %56) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %56) #s(literal 4 binary64))
(/.f64 (neg.f64 %56) #s(literal -2 binary64))
(/.f64 #s(literal -4 binary64) %178)
(/.f64 #s(literal -4 binary64) %180)
(/.f64 #s(literal -4 binary64) %182)
(/.f64 #s(literal -4 binary64) %184)
(/.f64 #s(literal -4 binary64) %186)
(/.f64 #s(literal -4 binary64) %188)
(/.f64 #s(literal -4 binary64) %190)
(/.f64 #s(literal -4 binary64) %192)
(/.f64 #s(literal -4 binary64) %194)
(/.f64 #s(literal -4 binary64) %196)
(/.f64 #s(literal -8 binary64) %199)
(/.f64 #s(literal -8 binary64) %201)
(/.f64 #s(literal -8 binary64) %203)
(/.f64 #s(literal -8 binary64) %205)
(/.f64 %56 #s(literal 2 binary64))
(/.f64 #s(literal 8 binary64) %208)
(/.f64 #s(literal 8 binary64) %210)
(/.f64 #s(literal 8 binary64) %212)
(/.f64 #s(literal 8 binary64) %214)
(/.f64 #s(literal 4 binary64) %216)
(/.f64 #s(literal 4 binary64) %218)
(/.f64 #s(literal 4 binary64) %220)
(/.f64 #s(literal 4 binary64) %222)
(/.f64 #s(literal 4 binary64) %224)
(/.f64 #s(literal 4 binary64) %226)
(/.f64 #s(literal 4 binary64) %228)
(/.f64 #s(literal 4 binary64) %230)
(/.f64 #s(literal 4 binary64) %232)
(/.f64 #s(literal 4 binary64) %234)
(/.f64 #s(literal -2 binary64) %236)
(/.f64 #s(literal -2 binary64) %238)
(/.f64 #s(literal -2 binary64) %240)
(/.f64 #s(literal -2 binary64) %242)
(/.f64 #s(literal -2 binary64) %244)
(/.f64 #s(literal -2 binary64) %246)
(/.f64 #s(literal -2 binary64) %248)
(/.f64 #s(literal -2 binary64) %250)
(/.f64 #s(literal -2 binary64) %76)
(/.f64 #s(literal -2 binary64) %119)
(/.f64 #s(literal 2 binary64) %254)
(/.f64 #s(literal 2 binary64) %256)
(/.f64 #s(literal 2 binary64) %258)
(/.f64 #s(literal 2 binary64) %260)
(/.f64 #s(literal 2 binary64) %262)
(/.f64 #s(literal 2 binary64) %264)
(/.f64 #s(literal 2 binary64) %266)
(/.f64 #s(literal 2 binary64) %268)
(/.f64 #s(literal 2 binary64) %22)
(/.f64 #s(literal 2 binary64) %50)
(/.f64 #s(literal -1 binary64) %272)
(/.f64 #s(literal -1 binary64) %274)
(/.f64 #s(literal -1 binary64) %276)
(/.f64 #s(literal -1 binary64) %75)
(/.f64 %13 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %56))
(/.f64 #s(literal 1 binary64) (/.f64 %76 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %119 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %75 #s(literal -1 binary64)))
%13
(/.f64 x %145)
(neg.f64 %81)
(fma.f64 %15 #s(literal 1/2 binary64) %292)
(fma.f64 %19 #s(literal 2 binary64) %292)
(fma.f64 %23 #s(literal 8 binary64) %292)
(fma.f64 %27 #s(literal 1/8 binary64) %292)
(fma.f64 %30 #s(literal 4 binary64) %292)
(fma.f64 %32 #s(literal 1/4 binary64) %292)
(fma.f64 %299 #s(literal -1/6 binary64) %13)
(fma.f64 %299 #s(literal 1/6 binary64) %13)
(fma.f64 %299 #s(literal 1/4 binary64) %13)
(fma.f64 %299 #s(literal -1/2 binary64) %13)
(fma.f64 %299 #s(literal 1/2 binary64) %13)
(fma.f64 %299 #s(literal 0 binary64) %13)
(fma.f64 %299 #s(literal 1 binary64) %13)
(fma.f64 %34 #s(literal 1/2 binary64) %70)
(fma.f64 %34 #s(literal 0 binary64) %13)
(fma.f64 %34 #s(literal 1 binary64) %292)
(fma.f64 %37 #s(literal -1/4 binary64) %292)
(fma.f64 %40 #s(literal 1/4 binary64) %292)
(fma.f64 %42 #s(literal -1/2 binary64) %292)
(fma.f64 %45 #s(literal -2 binary64) %292)
(fma.f64 %316 #s(literal 0 binary64) %13)
(fma.f64 %318 #s(literal 0 binary64) %13)
(fma.f64 %47 #s(literal 4 binary64) %292)
(fma.f64 %47 #s(literal 2 binary64) %70)
(fma.f64 %47 #s(literal 0 binary64) %13)
(fma.f64 #s(literal -4 binary64) %51 %292)
(fma.f64 #s(literal 1/8 binary64) %54 %292)
(fma.f64 %325 #s(literal 0 binary64) %13)
(fma.f64 %56 #s(literal 1/4 binary64) %70)
(fma.f64 %56 #s(literal 1/2 binary64) %292)
(fma.f64 %56 #s(literal 0 binary64) %13)
(fma.f64 %58 #s(literal -1/2 binary64) %292)
(fma.f64 %331 #s(literal 0 binary64) %13)
(fma.f64 #s(literal -1/6 binary64) %333 %13)
(fma.f64 #s(literal 1/6 binary64) %333 %13)
(fma.f64 #s(literal 1/4 binary64) %32 %292)
(fma.f64 #s(literal 1/4 binary64) %333 %13)
(fma.f64 #s(literal 1/4 binary64) %61 %292)
(fma.f64 #s(literal 1/4 binary64) %83 %70)
(fma.f64 %292 #s(literal 4 binary64) %13)
(fma.f64 %292 #s(literal -2/3 binary64) %13)
(fma.f64 %292 #s(literal 2/3 binary64) %13)
(fma.f64 %292 #s(literal -2 binary64) %13)
(fma.f64 %292 #s(literal 1/2 binary64) %13)
(fma.f64 %292 #s(literal 2 binary64) %13)
(fma.f64 %292 #s(literal -1 binary64) %13)
(fma.f64 %292 #s(literal 0 binary64) %13)
(fma.f64 %292 #s(literal 1/3 binary64) %13)
(fma.f64 %292 #s(literal -1/3 binary64) %13)
(fma.f64 %292 #s(literal 1 binary64) %13)
(fma.f64 #s(literal 8 binary64) %63 %292)
(fma.f64 #s(literal 4 binary64) %65 %292)
(fma.f64 #s(literal 4 binary64) %30 %292)
(fma.f64 #s(literal 4 binary64) %68 %292)
(fma.f64 #s(literal -2/3 binary64) %292 %13)
(fma.f64 #s(literal 2/3 binary64) %292 %13)
(fma.f64 %70 #s(literal 2 binary64) %292)
(fma.f64 %70 #s(literal 0 binary64) %13)
(fma.f64 %70 #s(literal 1 binary64) %70)
(fma.f64 #s(literal -1/2 binary64) %72 %292)
(fma.f64 #s(literal -1/2 binary64) %58 %292)
(fma.f64 #s(literal -1/2 binary64) %81 %70)
(fma.f64 #s(literal -2 binary64) %77 %292)
(fma.f64 #s(literal -2 binary64) %79 %292)
(fma.f64 %81 #s(literal -1 binary64) %292)
(fma.f64 #s(literal 1/2 binary64) %333 %13)
(fma.f64 #s(literal 1/2 binary64) %93 %70)
(fma.f64 #s(literal 1/2 binary64) %83 %292)
(fma.f64 #s(literal 1/2 binary64) %56 %292)
(fma.f64 #s(literal 1/2 binary64) %292 %13)
(fma.f64 #s(literal 1/2 binary64) %13 %70)
(fma.f64 #s(literal 2 binary64) %86 %292)
(fma.f64 #s(literal 2 binary64) %68 %70)
(fma.f64 #s(literal 2 binary64) %292 %13)
(fma.f64 #s(literal 2 binary64) %70 %292)
(fma.f64 %378 #s(literal 0 binary64) %13)
(fma.f64 #s(literal -1 binary64) %89 %292)
(fma.f64 #s(literal -1 binary64) %81 %292)
(fma.f64 #s(literal 0 binary64) %333 %13)
(fma.f64 #s(literal 0 binary64) %61 %13)
(fma.f64 #s(literal 0 binary64) %93 %13)
(fma.f64 #s(literal 0 binary64) %385 %13)
(fma.f64 #s(literal 0 binary64) %72 %13)
(fma.f64 #s(literal 0 binary64) %83 %13)
(fma.f64 #s(literal 0 binary64) %389 %13)
(fma.f64 #s(literal 0 binary64) %391 %13)
(fma.f64 #s(literal 0 binary64) %68 %13)
(fma.f64 #s(literal 0 binary64) %56 %13)
(fma.f64 #s(literal 0 binary64) %396 %13)
(fma.f64 #s(literal 0 binary64) %79 %13)
(fma.f64 #s(literal 0 binary64) %292 %13)
(fma.f64 #s(literal 0 binary64) %70 %13)
(fma.f64 #s(literal 0 binary64) %81 %13)
(fma.f64 #s(literal 0 binary64) %378 %13)
(fma.f64 #s(literal 0 binary64) %395 %13)
(fma.f64 #s(literal 0 binary64) %13 %13)
(fma.f64 %395 #s(literal 0 binary64) %13)
(fma.f64 %13 #s(literal 1/2 binary64) %70)
(fma.f64 %13 #s(literal 0 binary64) %13)
(fma.f64 %13 #s(literal 1 binary64) %292)
(fma.f64 #s(literal 1/3 binary64) %292 %13)
(fma.f64 #s(literal -1/3 binary64) %292 %13)
(fma.f64 #s(literal 1 binary64) %93 %292)
(fma.f64 #s(literal 1 binary64) %292 %13)
(fma.f64 #s(literal 1 binary64) %70 %70)
(fma.f64 #s(literal 1 binary64) %13 %292)
(-.f64 %70 (*.f64 %79 #s(literal 1 binary64)))
(-.f64 %70 (*.f64 %81 #s(literal 1/2 binary64)))
(-.f64 %70 (*.f64 #s(literal -1 binary64) %70))
(-.f64 %70 %45)
(-.f64 %70 %79)
(-.f64 %13 (*.f64 %81 #s(literal 0 binary64)))
(-.f64 %13 %425)
(-.f64 %13 %292)
(+.f64 %429 %47)
(+.f64 %47 %429)
(+.f64 %432 %68)
(+.f64 %68 %432)
(+.f64 %292 %13)
(+.f64 %70 %70)
(+.f64 %13 %292)
(*.f64 %438 #s(literal 1/2 binary64))
(*.f64 %440 #s(literal 1 binary64))
(*.f64 %442 #s(literal 4 binary64))
(*.f64 %34 #s(literal 1/3 binary64))
(*.f64 %445 #s(literal -1/4 binary64))
(*.f64 %447 #s(literal -1/2 binary64))
(*.f64 %449 #s(literal 1/4 binary64))
(*.f64 %451 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/12 binary64) %61)
(*.f64 %40 #s(literal 1/12 binary64))
(*.f64 %42 #s(literal -1/6 binary64))
(*.f64 %45 #s(literal -2/3 binary64))
(*.f64 %316 #s(literal 1/2 binary64))
(*.f64 %318 #s(literal -1/2 binary64))
(*.f64 %47 #s(literal 4/3 binary64))
(*.f64 %462 #s(literal 2 binary64))
(*.f64 #s(literal 4/3 binary64) %68)
(*.f64 #s(literal -4/3 binary64) %51)
(*.f64 %467 #s(literal 1/2 binary64))
(*.f64 %325 #s(literal -2 binary64))
(*.f64 %56 #s(literal 1/6 binary64))
(*.f64 %471 #s(literal 1/2 binary64))
(*.f64 %58 #s(literal -1/6 binary64))
(*.f64 %331 #s(literal 2 binary64))
(*.f64 #s(literal -1/6 binary64) %72)
(*.f64 #s(literal -1/6 binary64) %58)
(*.f64 #s(literal 1/6 binary64) %83)
(*.f64 #s(literal 1/6 binary64) %56)
(*.f64 #s(literal 1/4 binary64) %479)
(*.f64 %481 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %483)
(*.f64 #s(literal 4 binary64) %485)
(*.f64 #s(literal -2/3 binary64) %77)
(*.f64 #s(literal -2/3 binary64) %79)
(*.f64 #s(literal 2/3 binary64) %70)
(*.f64 %70 #s(literal 2/3 binary64))
(*.f64 #s(literal -1/2 binary64) %491)
(*.f64 #s(literal -1/2 binary64) %391)
(*.f64 #s(literal -2 binary64) %389)
(*.f64 %81 #s(literal -1/3 binary64))
(*.f64 #s(literal 1/2 binary64) %451)
(*.f64 #s(literal 1/2 binary64) %385)
(*.f64 #s(literal 1/2 binary64) %471)
(*.f64 #s(literal 2 binary64) %462)
(*.f64 #s(literal 2 binary64) %331)
(*.f64 #s(literal 2 binary64) %396)
(*.f64 %378 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %378)
(*.f64 %395 #s(literal 1 binary64))
(*.f64 %13 #s(literal 1/3 binary64))
(*.f64 #s(literal 1/3 binary64) %93)
(*.f64 #s(literal 1/3 binary64) %13)
(*.f64 #s(literal -1/3 binary64) %89)
(*.f64 #s(literal -1/3 binary64) %81)
(*.f64 #s(literal 1 binary64) %510)
(*.f64 #s(literal 1 binary64) %395)
(pow.f64 %395 #s(literal 1 binary64))
(/.f64 (*.f64 %471 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %471 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %481 #s(literal 4 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %481 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %56 #s(literal 2/3 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2/3 binary64) %56) #s(literal 4 binary64))
(/.f64 %526 #s(literal 8 binary64))
(/.f64 %528 #s(literal 8 binary64))
(/.f64 %530 #s(literal 2 binary64))
(/.f64 %532 #s(literal 2 binary64))
(/.f64 #s(literal 8/3 binary64) %208)
(/.f64 #s(literal 8/3 binary64) %210)
(/.f64 #s(literal 8/3 binary64) %212)
(/.f64 #s(literal 8/3 binary64) %214)
(/.f64 #s(literal -8/3 binary64) %199)
(/.f64 #s(literal -8/3 binary64) %201)
(/.f64 #s(literal -8/3 binary64) %203)
(/.f64 #s(literal -8/3 binary64) %205)
(/.f64 %544 #s(literal -4 binary64))
(/.f64 %546 #s(literal -4 binary64))
(/.f64 %548 #s(literal 4 binary64))
(/.f64 %550 #s(literal 4 binary64))
(/.f64 (*.f64 %471 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %471 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %481 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %481 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 #s(literal 4/3 binary64) %216)
(/.f64 #s(literal 4/3 binary64) %218)
(/.f64 #s(literal 4/3 binary64) %220)
(/.f64 #s(literal 4/3 binary64) %222)
(/.f64 #s(literal 4/3 binary64) %224)
(/.f64 #s(literal 4/3 binary64) %226)
(/.f64 #s(literal 4/3 binary64) %228)
(/.f64 #s(literal 4/3 binary64) %230)
(/.f64 #s(literal 4/3 binary64) %232)
(/.f64 #s(literal 4/3 binary64) %234)
(/.f64 #s(literal -4/3 binary64) %178)
(/.f64 #s(literal -4/3 binary64) %180)
(/.f64 #s(literal -4/3 binary64) %182)
(/.f64 #s(literal -4/3 binary64) %184)
(/.f64 #s(literal -4/3 binary64) %186)
(/.f64 #s(literal -4/3 binary64) %188)
(/.f64 #s(literal -4/3 binary64) %190)
(/.f64 #s(literal -4/3 binary64) %192)
(/.f64 #s(literal -4/3 binary64) %194)
(/.f64 #s(literal -4/3 binary64) %196)
(/.f64 (neg.f64 %471) #s(literal -2 binary64))
(/.f64 %582 #s(literal -2 binary64))
(/.f64 %467 #s(literal 2 binary64))
(/.f64 %471 #s(literal 2 binary64))
(/.f64 %481 #s(literal 2 binary64))
(/.f64 #s(literal -2/3 binary64) %236)
(/.f64 #s(literal -2/3 binary64) %238)
(/.f64 #s(literal -2/3 binary64) %240)
(/.f64 #s(literal -2/3 binary64) %242)
(/.f64 #s(literal -2/3 binary64) %244)
(/.f64 #s(literal -2/3 binary64) %246)
(/.f64 #s(literal -2/3 binary64) %248)
(/.f64 #s(literal -2/3 binary64) %250)
(/.f64 #s(literal -2/3 binary64) %76)
(/.f64 #s(literal -2/3 binary64) %119)
(/.f64 #s(literal 2/3 binary64) %254)
(/.f64 #s(literal 2/3 binary64) %256)
(/.f64 #s(literal 2/3 binary64) %258)
(/.f64 #s(literal 2/3 binary64) %260)
(/.f64 #s(literal 2/3 binary64) %262)
(/.f64 #s(literal 2/3 binary64) %264)
(/.f64 #s(literal 2/3 binary64) %266)
(/.f64 #s(literal 2/3 binary64) %268)
(/.f64 #s(literal 2/3 binary64) %22)
(/.f64 #s(literal 2/3 binary64) %50)
(/.f64 %395 #s(literal 1 binary64))
%395
(/.f64 #s(literal -1/3 binary64) %272)
(/.f64 #s(literal -1/3 binary64) %274)
(/.f64 #s(literal -1/3 binary64) %276)
(/.f64 #s(literal -1/3 binary64) %75)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %471))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %481))
(/.f64 #s(literal 1 binary64) (/.f64 %76 #s(literal -2/3 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %119 #s(literal -2/3 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %22 #s(literal 2/3 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %50 #s(literal 2/3 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %75 #s(literal -1/3 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %395 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 x #s(literal 1/3 binary64)))
(neg.f64 %378)
(fma.f64 %438 #s(literal 1/2 binary64) %292)
(fma.f64 %440 #s(literal 1 binary64) %292)
(fma.f64 %442 #s(literal 4 binary64) %292)
(fma.f64 %34 #s(literal 1/3 binary64) %292)
(fma.f64 %445 #s(literal -1/4 binary64) %292)
(fma.f64 %447 #s(literal -1/2 binary64) %292)
(fma.f64 %449 #s(literal 1/4 binary64) %292)
(fma.f64 %451 #s(literal 1/2 binary64) %292)
(fma.f64 #s(literal 1/12 binary64) %61 %292)
(fma.f64 %40 #s(literal 1/12 binary64) %292)
(fma.f64 %42 #s(literal -1/6 binary64) %292)
(fma.f64 %45 #s(literal -2/3 binary64) %292)
(fma.f64 %316 #s(literal 1/2 binary64) %292)
(fma.f64 %318 #s(literal -1/2 binary64) %292)
(fma.f64 %47 #s(literal 4/3 binary64) %292)
(fma.f64 %462 #s(literal 2 binary64) %292)
(fma.f64 #s(literal 4/3 binary64) %68 %292)
(fma.f64 #s(literal -4/3 binary64) %51 %292)
(fma.f64 %467 #s(literal 1/2 binary64) %292)
(fma.f64 %325 #s(literal -2 binary64) %292)
(fma.f64 %56 #s(literal 1/6 binary64) %292)
(fma.f64 %471 #s(literal 1/2 binary64) %292)
(fma.f64 %58 #s(literal -1/6 binary64) %292)
(fma.f64 %331 #s(literal 2 binary64) %292)
(fma.f64 #s(literal -1/6 binary64) %72 %292)
(fma.f64 #s(literal -1/6 binary64) %58 %292)
(fma.f64 #s(literal 1/6 binary64) %83 %292)
(fma.f64 #s(literal 1/6 binary64) %56 %292)
(fma.f64 #s(literal 1/4 binary64) %479 %292)
(fma.f64 %481 #s(literal 1/2 binary64) %292)
(fma.f64 #s(literal 4 binary64) %483 %292)
(fma.f64 #s(literal 4 binary64) %485 %292)
(fma.f64 #s(literal -2/3 binary64) %77 %292)
(fma.f64 #s(literal -2/3 binary64) %79 %292)
(fma.f64 #s(literal 2/3 binary64) %70 %292)
(fma.f64 %70 #s(literal 2/3 binary64) %292)
(fma.f64 %70 #s(literal 1/3 binary64) %331)
(fma.f64 #s(literal -1/2 binary64) %491 %292)
(fma.f64 #s(literal -1/2 binary64) %391 %292)
(fma.f64 #s(literal -2 binary64) %389 %292)
(fma.f64 %81 #s(literal -1/3 binary64) %292)
(fma.f64 #s(literal 1/2 binary64) %451 %292)
(fma.f64 #s(literal 1/2 binary64) %385 %292)
(fma.f64 #s(literal 1/2 binary64) %471 %292)
(fma.f64 #s(literal 1/2 binary64) %395 %396)
(fma.f64 #s(literal 2 binary64) %462 %292)
(fma.f64 #s(literal 2 binary64) %331 %292)
(fma.f64 #s(literal 2 binary64) %396 %292)
(fma.f64 %378 #s(literal -1 binary64) %292)
(fma.f64 #s(literal -1 binary64) %378 %292)
(fma.f64 %395 #s(literal 1/2 binary64) %331)
(fma.f64 %395 #s(literal 1 binary64) %292)
(fma.f64 %13 #s(literal 1/3 binary64) %292)
(fma.f64 #s(literal 1/3 binary64) %93 %292)
(fma.f64 #s(literal 1/3 binary64) %13 %292)
(fma.f64 #s(literal -1/3 binary64) %89 %292)
(fma.f64 #s(literal -1/3 binary64) %81 %292)
(fma.f64 #s(literal 1 binary64) %510 %292)
(fma.f64 #s(literal 1 binary64) %395 %292)
(-.f64 %331 (*.f64 %378 #s(literal 1/2 binary64)))
(-.f64 %331 %692)
(-.f64 %396 (*.f64 #s(literal -1/2 binary64) %395))
(-.f64 %396 (neg.f64 %396))
(-.f64 %395 %425)
(-.f64 %395 %292)
(+.f64 %462 %462)
(+.f64 %701 %701)
(+.f64 %331 %331)
(+.f64 %396 %396)
(+.f64 %395 %292)
(*.f64 %708 %709)
(*.f64 %711 %712)
(*.f64 %714 %715)
(*.f64 %717 %718)
(*.f64 %709 %720)
(*.f64 %724 %18)
(*.f64 %712 %726)
(*.f64 %728 %729)
(*.f64 %731 %732)
(*.f64 %734 %735)
(*.f64 %737 %738)
(*.f64 %740 x)
(*.f64 %715 %742)
(*.f64 %718 %744)
(*.f64 %738 %737)
(*.f64 %747 %734)
(*.f64 %749 %731)
(*.f64 %729 %751)
(*.f64 %753 %707)
(*.f64 %56 %755)
(*.f64 %18 %757)
(*.f64 %759 #s(literal 1/2 binary64))
(*.f64 %761 %77)
(*.f64 %763 %70)
(*.f64 %765 %70)
(*.f64 %767 %79)
(*.f64 %769 %70)
(*.f64 %771 %77)
(*.f64 %70 %773)
(*.f64 %722 %13)
(*.f64 #s(literal 1/2 binary64) %776)
(*.f64 #s(literal 2 binary64) %778)
(*.f64 %707 %753)
(*.f64 %706 %81)
(*.f64 %723 #s(literal 1 binary64))
(*.f64 %13 %783)
(*.f64 #s(literal 1 binary64) %723)
(*.f64 x %740)
(pow.f64 %723 #s(literal 1 binary64))
(/.f64 (fma.f64 %788 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %378 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %378 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %723 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %378 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 4/3 binary64) %180) %178)
(/.f64 (+.f64 #s(literal -4/3 binary64) %226) %216)
(/.f64 (fma.f64 %706 #s(literal 2 binary64) %132) %76)
(/.f64 (fma.f64 %761 #s(literal 2 binary64) %115) %182)
(/.f64 (fma.f64 %763 #s(literal 2 binary64) %124) %232)
(/.f64 (fma.f64 %771 #s(literal 2 binary64) %115) %182)
(/.f64 (fma.f64 %765 #s(literal 2 binary64) %124) %232)
(/.f64 (fma.f64 %767 #s(literal 2 binary64) %120) %184)
(/.f64 (fma.f64 %769 #s(literal 2 binary64) %128) %234)
(/.f64 (fma.f64 %722 #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) x)) %22)
(/.f64 (+.f64 #s(literal 2/3 binary64) %246) %244)
(/.f64 (+.f64 #s(literal -2/3 binary64) %256) %254)
(/.f64 (+.f64 %759 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %471) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %481) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 4/3 binary64) %178) %178)
(/.f64 (+.f64 #s(literal -4/3 binary64) %216) %216)
(/.f64 (fma.f64 %759 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %706 #s(literal 2 binary64) %161) %76)
(/.f64 (fma.f64 %761 #s(literal 2 binary64) %149) %182)
(/.f64 (fma.f64 %763 #s(literal 2 binary64) %155) %232)
(/.f64 (fma.f64 %771 #s(literal 2 binary64) %149) %182)
(/.f64 (fma.f64 %765 #s(literal 2 binary64) %155) %232)
(/.f64 (fma.f64 %767 #s(literal 2 binary64) %152) %184)
(/.f64 (fma.f64 %769 #s(literal 2 binary64) %158) %234)
(/.f64 (fma.f64 %722 #s(literal 2 binary64) (*.f64 x #s(literal 0 binary64))) %22)
(/.f64 (fma.f64 #s(literal 4 binary64) %75 #s(literal 4/3 binary64)) %180)
(/.f64 (fma.f64 #s(literal 4 binary64) x #s(literal -4/3 binary64)) %226)
(/.f64 (fma.f64 #s(literal -2 binary64) x #s(literal 2/3 binary64)) %246)
(/.f64 (fma.f64 #s(literal -2 binary64) %75 #s(literal -2/3 binary64)) %256)
(/.f64 (+.f64 #s(literal 2/3 binary64) %244) %244)
(/.f64 (+.f64 #s(literal -2/3 binary64) %254) %254)
(/.f64 (-.f64 %22 (*.f64 x %471)) %22)
(/.f64 (-.f64 %22 (*.f64 x %481)) %22)
(/.f64 (-.f64 %872 %873) %872)
(/.f64 (-.f64 %876 %873) %876)
(/.f64 (-.f64 %879 %880) %879)
(/.f64 (-.f64 %883 %880) %883)
(/.f64 (-.f64 %145 %886) %145)
(/.f64 (-.f64 %112 %889) %112)
(/.f64 (-.f64 #s(literal 8 binary64) %526) #s(literal 8 binary64))
(/.f64 (-.f64 #s(literal 8 binary64) %528) #s(literal 8 binary64))
(/.f64 (-.f64 %203 #s(literal -8/3 binary64)) %203)
(/.f64 (-.f64 %205 #s(literal -8/3 binary64)) %205)
(/.f64 (-.f64 %208 #s(literal 8/3 binary64)) %208)
(/.f64 (-.f64 %210 #s(literal 8/3 binary64)) %210)
(/.f64 (-.f64 %226 #s(literal 4/3 binary64)) %226)
(/.f64 (-.f64 %180 #s(literal -4/3 binary64)) %180)
(/.f64 (-.f64 #s(literal -4 binary64) %544) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) %546) #s(literal -4 binary64))
(/.f64 (-.f64 %218 #s(literal 4/3 binary64)) %218)
(/.f64 (-.f64 %220 #s(literal 4/3 binary64)) %220)
(/.f64 (-.f64 %190 #s(literal -4/3 binary64)) %190)
(/.f64 (-.f64 %192 #s(literal -4/3 binary64)) %192)
(/.f64 (-.f64 %246 #s(literal -2/3 binary64)) %246)
(/.f64 (-.f64 %256 #s(literal 2/3 binary64)) %256)
(/.f64 (-.f64 #s(literal 4 binary64) %548) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) %550) #s(literal 4 binary64))
(/.f64 (-.f64 %186 #s(literal -4/3 binary64)) %186)
(/.f64 (-.f64 %188 #s(literal -4/3 binary64)) %188)
(/.f64 (-.f64 %228 #s(literal 4/3 binary64)) %228)
(/.f64 (-.f64 %230 #s(literal 4/3 binary64)) %230)
(/.f64 (-.f64 #s(literal 2 binary64) %530) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %532) #s(literal 2 binary64))
(/.f64 %940 %240)
(/.f64 %940 %76)
(/.f64 %943 %242)
(/.f64 %943 %119)
(/.f64 %946 %258)
(/.f64 %946 %22)
(/.f64 %949 %260)
(/.f64 %949 %50)
(/.f64 (-.f64 #s(literal -2/3 binary64) %244) %22)
(/.f64 (-.f64 #s(literal 2/3 binary64) %254) %76)
(/.f64 (*.f64 #s(literal 4 binary64) %771) %203)
(/.f64 (*.f64 #s(literal -2 binary64) %771) %218)
(/.f64 (*.f64 #s(literal 2 binary64) %771) %186)
(/.f64 (*.f64 #s(literal 1 binary64) %771) %240)
(/.f64 (*.f64 %964 %56) %22)
(/.f64 %967 %872)
(/.f64 %967 %876)
(/.f64 %970 %879)
(/.f64 %970 %883)
(/.f64 (*.f64 %964 #s(literal -1 binary64)) %112)
(/.f64 (*.f64 %964 #s(literal 1 binary64)) %145)
(/.f64 (*.f64 %977 %56) %22)
(/.f64 %980 %872)
(/.f64 %980 %876)
(/.f64 %983 %879)
(/.f64 %983 %883)
(/.f64 (*.f64 %977 #s(literal -1 binary64)) %112)
(/.f64 (*.f64 %977 #s(literal 1 binary64)) %145)
(/.f64 (*.f64 #s(literal 4 binary64) %759) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 4 binary64) %761) %203)
(/.f64 (*.f64 #s(literal 4 binary64) %763) %208)
(/.f64 (*.f64 #s(literal 4 binary64) %765) %208)
(/.f64 (*.f64 #s(literal 4 binary64) %767) %205)
(/.f64 (*.f64 #s(literal 4 binary64) %769) %210)
(/.f64 (*.f64 #s(literal 4 binary64) %722) %226)
(/.f64 (*.f64 #s(literal 4 binary64) %706) %180)
(/.f64 (*.f64 #s(literal -2 binary64) %759) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %761) %218)
(/.f64 (*.f64 #s(literal -2 binary64) %763) %190)
(/.f64 (*.f64 #s(literal -2 binary64) %765) %190)
(/.f64 (*.f64 #s(literal -2 binary64) %767) %220)
(/.f64 (*.f64 #s(literal -2 binary64) %769) %192)
(/.f64 (*.f64 #s(literal -2 binary64) %722) %246)
(/.f64 (*.f64 #s(literal -2 binary64) %706) %256)
(/.f64 (*.f64 #s(literal 2 binary64) %759) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %761) %186)
(/.f64 (*.f64 #s(literal 2 binary64) %763) %228)
(/.f64 (*.f64 #s(literal 2 binary64) %765) %228)
(/.f64 (*.f64 #s(literal 2 binary64) %767) %188)
(/.f64 (*.f64 #s(literal 2 binary64) %769) %230)
(/.f64 (*.f64 #s(literal 2 binary64) %722) %50)
(/.f64 (*.f64 #s(literal 2 binary64) %706) %119)
(/.f64 (*.f64 #s(literal 1 binary64) %759) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %761) %240)
(/.f64 (*.f64 #s(literal 1 binary64) %763) %258)
(/.f64 (*.f64 #s(literal 1 binary64) %765) %258)
(/.f64 (*.f64 #s(literal 1 binary64) %767) %242)
(/.f64 (*.f64 #s(literal 1 binary64) %769) %260)
(/.f64 (neg.f64 %759) #s(literal -2 binary64))
(/.f64 (neg.f64 %761) %266)
(/.f64 (neg.f64 %763) %248)
(/.f64 (neg.f64 %765) %248)
(/.f64 (neg.f64 %767) %268)
(/.f64 (neg.f64 %769) %250)
(/.f64 (neg.f64 %771) %266)
(/.f64 %759 #s(literal 2 binary64))
(/.f64 (fma.f64 %395 #s(literal 2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %761 %76)
(/.f64 %763 %22)
(/.f64 %765 %254)
(/.f64 %765 %266)
(/.f64 %765 %22)
(/.f64 %767 %119)
(/.f64 %769 %50)
(/.f64 %771 %244)
(/.f64 %771 %248)
(/.f64 %771 %76)
%723
(/.f64 %706 %272)
(/.f64 %706 %274)
(/.f64 %706 %276)
(/.f64 %706 %75)
(/.f64 %723 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %759))
(/.f64 #s(literal 1 binary64) (/.f64 %75 %706))
(/.f64 #s(literal 1 binary64) (/.f64 %76 %761))
(/.f64 #s(literal 1 binary64) (/.f64 %22 %763))
(/.f64 #s(literal 1 binary64) (/.f64 %76 %771))
(/.f64 #s(literal 1 binary64) (/.f64 %22 %765))
(/.f64 #s(literal 1 binary64) (/.f64 %119 %767))
(/.f64 #s(literal 1 binary64) (/.f64 %50 %769))
(/.f64 #s(literal 1 binary64) (/.f64 x %722))
(/.f64 #s(literal 1 binary64) (pow.f64 %723 #s(literal -1 binary64)))
(neg.f64 %707)
(fma.f64 %708 %709 #s(literal 0 binary64))
(fma.f64 %711 %712 #s(literal 0 binary64))
(fma.f64 %714 %715 #s(literal 0 binary64))
(fma.f64 %717 %718 #s(literal 0 binary64))
(fma.f64 %709 %720 #s(literal 0 binary64))
(fma.f64 %724 %18 #s(literal 0 binary64))
(fma.f64 %712 %726 #s(literal 0 binary64))
(fma.f64 %728 %729 #s(literal 0 binary64))
(fma.f64 %731 %732 #s(literal 0 binary64))
(fma.f64 %734 %735 #s(literal 0 binary64))
(fma.f64 %737 %738 #s(literal 0 binary64))
(fma.f64 %740 x #s(literal 0 binary64))
(fma.f64 %715 %742 #s(literal 0 binary64))
(fma.f64 %718 %744 #s(literal 0 binary64))
(fma.f64 %738 %737 #s(literal 0 binary64))
(fma.f64 %1118 #s(literal 1 binary64) %1119)
(fma.f64 %1118 #s(literal 1 binary64) %1121)
(fma.f64 %1118 #s(literal 1 binary64) %1123)
(fma.f64 %1118 #s(literal 1 binary64) %1125)
(fma.f64 %1118 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %1128 #s(literal 4 binary64) %1119)
(fma.f64 %1128 #s(literal 4 binary64) %1121)
(fma.f64 %1128 #s(literal 4 binary64) %1123)
(fma.f64 %1128 #s(literal 4 binary64) %1125)
(fma.f64 %1128 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 %445 #s(literal 1/4 binary64) %1119)
(fma.f64 %445 #s(literal 1/4 binary64) %1121)
(fma.f64 %445 #s(literal 1/4 binary64) %1123)
(fma.f64 %445 #s(literal 1/4 binary64) %1125)
(fma.f64 %445 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %447 #s(literal 1/2 binary64) %1119)
(fma.f64 %447 #s(literal 1/2 binary64) %1121)
(fma.f64 %447 #s(literal 1/2 binary64) %1123)
(fma.f64 %447 #s(literal 1/2 binary64) %1125)
(fma.f64 %447 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %449 #s(literal -1/4 binary64) %1119)
(fma.f64 %449 #s(literal -1/4 binary64) %1121)
(fma.f64 %449 #s(literal -1/4 binary64) %1123)
(fma.f64 %449 #s(literal -1/4 binary64) %1125)
(fma.f64 %449 #s(literal -1/4 binary64) #s(literal 1 binary64))
(fma.f64 %451 #s(literal -1/2 binary64) %1119)
(fma.f64 %451 #s(literal -1/2 binary64) %1121)
(fma.f64 %451 #s(literal -1/2 binary64) %1123)
(fma.f64 %451 #s(literal -1/2 binary64) %1125)
(fma.f64 %451 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 %37 #s(literal 1/12 binary64) %1119)
(fma.f64 %37 #s(literal 1/12 binary64) %1121)
(fma.f64 %37 #s(literal 1/12 binary64) %1123)
(fma.f64 %37 #s(literal 1/12 binary64) %1125)
(fma.f64 %37 #s(literal 1/12 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/12 binary64) %61 %1119)
(fma.f64 #s(literal -1/12 binary64) %61 %1121)
(fma.f64 #s(literal -1/12 binary64) %61 %1123)
(fma.f64 #s(literal -1/12 binary64) %61 %1125)
(fma.f64 #s(literal -1/12 binary64) %61 #s(literal 1 binary64))
(fma.f64 %40 #s(literal -1/12 binary64) %1119)
(fma.f64 %40 #s(literal -1/12 binary64) %1121)
(fma.f64 %40 #s(literal -1/12 binary64) %1123)
(fma.f64 %40 #s(literal -1/12 binary64) %1125)
(fma.f64 %40 #s(literal -1/12 binary64) #s(literal 1 binary64))
(fma.f64 %42 #s(literal 1/6 binary64) %1119)
(fma.f64 %42 #s(literal 1/6 binary64) %1121)
(fma.f64 %42 #s(literal 1/6 binary64) %1123)
(fma.f64 %42 #s(literal 1/6 binary64) %1125)
(fma.f64 %42 #s(literal 1/6 binary64) #s(literal 1 binary64))
(fma.f64 %45 #s(literal 2/3 binary64) %1119)
(fma.f64 %45 #s(literal 2/3 binary64) %1121)
(fma.f64 %45 #s(literal 2/3 binary64) %1123)
(fma.f64 %45 #s(literal 2/3 binary64) %1125)
(fma.f64 %45 #s(literal 2/3 binary64) #s(literal 1 binary64))
(fma.f64 %316 #s(literal -1/2 binary64) %1119)
(fma.f64 %316 #s(literal -1/2 binary64) %1121)
(fma.f64 %316 #s(literal -1/2 binary64) %1123)
(fma.f64 %316 #s(literal -1/2 binary64) %1125)
(fma.f64 %316 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 %318 #s(literal 1/2 binary64) %1119)
(fma.f64 %318 #s(literal 1/2 binary64) %1121)
(fma.f64 %318 #s(literal 1/2 binary64) %1123)
(fma.f64 %318 #s(literal 1/2 binary64) %1125)
(fma.f64 %318 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %747 %734 #s(literal 0 binary64))
(fma.f64 %749 %731 #s(literal 0 binary64))
(fma.f64 %729 %751 #s(literal 0 binary64))
(fma.f64 %753 %707 #s(literal 0 binary64))
(fma.f64 %1194 #s(literal 2 binary64) %1119)
(fma.f64 %1194 #s(literal 2 binary64) %1121)
(fma.f64 %1194 #s(literal 2 binary64) %1123)
(fma.f64 %1194 #s(literal 2 binary64) %1125)
(fma.f64 %1194 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4/3 binary64) %51 %1119)
(fma.f64 #s(literal 4/3 binary64) %51 %1121)
(fma.f64 #s(literal 4/3 binary64) %51 %1123)
(fma.f64 #s(literal 4/3 binary64) %51 %1125)
(fma.f64 #s(literal 4/3 binary64) %51 #s(literal 1 binary64))
(fma.f64 #s(literal -4/3 binary64) %68 %1119)
(fma.f64 #s(literal -4/3 binary64) %68 %1121)
(fma.f64 #s(literal -4/3 binary64) %68 %1123)
(fma.f64 #s(literal -4/3 binary64) %68 %1125)
(fma.f64 #s(literal -4/3 binary64) %68 #s(literal 1 binary64))
(fma.f64 #s(literal -4 binary64) %485 %1119)
(fma.f64 #s(literal -4 binary64) %485 %1121)
(fma.f64 #s(literal -4 binary64) %485 %1123)
(fma.f64 #s(literal -4 binary64) %485 %1125)
(fma.f64 #s(literal -4 binary64) %485 #s(literal 1 binary64))
(fma.f64 %1215 #s(literal 1/2 binary64) %1119)
(fma.f64 %1215 #s(literal 1/2 binary64) %1121)
(fma.f64 %1215 #s(literal 1/2 binary64) %1123)
(fma.f64 %1215 #s(literal 1/2 binary64) %1125)
(fma.f64 %1215 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %325 #s(literal 2 binary64) %1119)
(fma.f64 %325 #s(literal 2 binary64) %1121)
(fma.f64 %325 #s(literal 2 binary64) %1123)
(fma.f64 %325 #s(literal 2 binary64) %1125)
(fma.f64 %325 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %56 %755 #s(literal 0 binary64))
(fma.f64 %56 #s(literal -1/6 binary64) %1119)
(fma.f64 %56 #s(literal -1/6 binary64) %1121)
(fma.f64 %56 #s(literal -1/6 binary64) %1123)
(fma.f64 %56 #s(literal -1/6 binary64) %1125)
(fma.f64 %56 #s(literal -1/6 binary64) #s(literal 1 binary64))
(fma.f64 %58 #s(literal 1/6 binary64) %1119)
(fma.f64 %58 #s(literal 1/6 binary64) %1121)
(fma.f64 %58 #s(literal 1/6 binary64) %1123)
(fma.f64 %58 #s(literal 1/6 binary64) %1125)
(fma.f64 %58 #s(literal 1/6 binary64) #s(literal 1 binary64))
(fma.f64 %18 %757 #s(literal 0 binary64))
(fma.f64 %331 #s(literal -2 binary64) %1119)
(fma.f64 %331 #s(literal -2 binary64) %1121)
(fma.f64 %331 #s(literal -2 binary64) %1123)
(fma.f64 %331 #s(literal -2 binary64) %1125)
(fma.f64 %331 #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/6 binary64) %83 %1119)
(fma.f64 #s(literal -1/6 binary64) %83 %1121)
(fma.f64 #s(literal -1/6 binary64) %83 %1123)
(fma.f64 #s(literal -1/6 binary64) %83 %1125)
(fma.f64 #s(literal -1/6 binary64) %83 #s(literal 1 binary64))
(fma.f64 #s(literal -1/6 binary64) %56 %1119)
(fma.f64 #s(literal -1/6 binary64) %56 %1121)
(fma.f64 #s(literal -1/6 binary64) %56 %1123)
(fma.f64 #s(literal -1/6 binary64) %56 %1125)
(fma.f64 #s(literal -1/6 binary64) %56 #s(literal 1 binary64))
(fma.f64 #s(literal 1/6 binary64) %72 %1119)
(fma.f64 #s(literal 1/6 binary64) %72 %1121)
(fma.f64 #s(literal 1/6 binary64) %72 %1123)
(fma.f64 #s(literal 1/6 binary64) %72 %1125)
(fma.f64 #s(literal 1/6 binary64) %72 #s(literal 1 binary64))
(fma.f64 %759 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %761 %77 #s(literal 0 binary64))
(fma.f64 %763 %70 #s(literal 0 binary64))
(fma.f64 %765 %70 #s(literal 0 binary64))
(fma.f64 %767 %79 #s(literal 0 binary64))
(fma.f64 %769 %70 #s(literal 0 binary64))
(fma.f64 %771 %77 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %1265 %1119)
(fma.f64 #s(literal 4 binary64) %1265 %1121)
(fma.f64 #s(literal 4 binary64) %1265 %1123)
(fma.f64 #s(literal 4 binary64) %1265 %1125)
(fma.f64 #s(literal 4 binary64) %1265 #s(literal 1 binary64))
(fma.f64 #s(literal -2/3 binary64) %70 %1119)
(fma.f64 #s(literal -2/3 binary64) %70 %1121)
(fma.f64 #s(literal -2/3 binary64) %70 %1123)
(fma.f64 #s(literal -2/3 binary64) %70 %1125)
(fma.f64 #s(literal -2/3 binary64) %70 #s(literal 1 binary64))
(fma.f64 #s(literal 2/3 binary64) %79 %1119)
(fma.f64 #s(literal 2/3 binary64) %79 %1121)
(fma.f64 #s(literal 2/3 binary64) %79 %1123)
(fma.f64 #s(literal 2/3 binary64) %79 %1125)
(fma.f64 #s(literal 2/3 binary64) %79 #s(literal 1 binary64))
(fma.f64 %70 %773 #s(literal 0 binary64))
(fma.f64 %70 #s(literal -2/3 binary64) %1119)
(fma.f64 %70 #s(literal -2/3 binary64) %1121)
(fma.f64 %70 #s(literal -2/3 binary64) %1123)
(fma.f64 %70 #s(literal -2/3 binary64) %1125)
(fma.f64 %70 #s(literal -2/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %385 %1119)
(fma.f64 #s(literal -1/2 binary64) %385 %1121)
(fma.f64 #s(literal -1/2 binary64) %385 %1123)
(fma.f64 #s(literal -1/2 binary64) %385 %1125)
(fma.f64 #s(literal -1/2 binary64) %385 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %462 %1119)
(fma.f64 #s(literal -2 binary64) %462 %1121)
(fma.f64 #s(literal -2 binary64) %462 %1123)
(fma.f64 #s(literal -2 binary64) %462 %1125)
(fma.f64 #s(literal -2 binary64) %462 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %396 %1119)
(fma.f64 #s(literal -2 binary64) %396 %1121)
(fma.f64 #s(literal -2 binary64) %396 %1123)
(fma.f64 #s(literal -2 binary64) %396 %1125)
(fma.f64 #s(literal -2 binary64) %396 #s(literal 1 binary64))
(fma.f64 %81 #s(literal 1/3 binary64) %1119)
(fma.f64 %81 #s(literal 1/3 binary64) %1121)
(fma.f64 %81 #s(literal 1/3 binary64) %1123)
(fma.f64 %81 #s(literal 1/3 binary64) %1125)
(fma.f64 %81 #s(literal 1/3 binary64) #s(literal 1 binary64))
(fma.f64 %722 %13 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %391 %1119)
(fma.f64 #s(literal 1/2 binary64) %391 %1121)
(fma.f64 #s(literal 1/2 binary64) %391 %1123)
(fma.f64 #s(literal 1/2 binary64) %391 %1125)
(fma.f64 #s(literal 1/2 binary64) %391 #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %776 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %389 %1119)
(fma.f64 #s(literal 2 binary64) %389 %1121)
(fma.f64 #s(literal 2 binary64) %389 %1123)
(fma.f64 #s(literal 2 binary64) %389 %1125)
(fma.f64 #s(literal 2 binary64) %389 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %778 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %1194 %1119)
(fma.f64 #s(literal 2 binary64) %1194 %1121)
(fma.f64 #s(literal 2 binary64) %1194 %1123)
(fma.f64 #s(literal 2 binary64) %1194 %1125)
(fma.f64 #s(literal 2 binary64) %1194 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %325 %1119)
(fma.f64 #s(literal 2 binary64) %325 %1121)
(fma.f64 #s(literal 2 binary64) %325 %1123)
(fma.f64 #s(literal 2 binary64) %325 %1125)
(fma.f64 #s(literal 2 binary64) %325 #s(literal 1 binary64))
(fma.f64 %378 #s(literal 1 binary64) %1119)
(fma.f64 %378 #s(literal 1 binary64) %1121)
(fma.f64 %378 #s(literal 1 binary64) %1123)
(fma.f64 %378 #s(literal 1 binary64) %1125)
(fma.f64 %378 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %707 %753 #s(literal 0 binary64))
(fma.f64 %706 %81 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %510 %1119)
(fma.f64 #s(literal -1 binary64) %510 %1121)
(fma.f64 #s(literal -1 binary64) %510 %1123)
(fma.f64 #s(literal -1 binary64) %510 %1125)
(fma.f64 #s(literal -1 binary64) %510 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) %395 %1119)
(fma.f64 #s(literal -1 binary64) %395 %1121)
(fma.f64 #s(literal -1 binary64) %395 %1123)
(fma.f64 #s(literal -1 binary64) %395 %1125)
(fma.f64 #s(literal -1 binary64) %395 #s(literal 1 binary64))
(fma.f64 %723 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %395 #s(literal -1 binary64) %1119)
(fma.f64 %395 #s(literal -1 binary64) %1121)
(fma.f64 %395 #s(literal -1 binary64) %1123)
(fma.f64 %395 #s(literal -1 binary64) %1125)
(fma.f64 %395 #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 %13 %783 #s(literal 0 binary64))
(fma.f64 %13 #s(literal -1/3 binary64) %1119)
(fma.f64 %13 #s(literal -1/3 binary64) %1121)
(fma.f64 %13 #s(literal -1/3 binary64) %1123)
(fma.f64 %13 #s(literal -1/3 binary64) %1125)
(fma.f64 %13 #s(literal -1/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/3 binary64) %89 %1119)
(fma.f64 #s(literal 1/3 binary64) %89 %1121)
(fma.f64 #s(literal 1/3 binary64) %89 %1123)
(fma.f64 #s(literal 1/3 binary64) %89 %1125)
(fma.f64 #s(literal 1/3 binary64) %89 #s(literal 1 binary64))
(fma.f64 #s(literal 1/3 binary64) %81 %1119)
(fma.f64 #s(literal 1/3 binary64) %81 %1121)
(fma.f64 #s(literal 1/3 binary64) %81 %1123)
(fma.f64 #s(literal 1/3 binary64) %81 %1125)
(fma.f64 #s(literal 1/3 binary64) %81 #s(literal 1 binary64))
(fma.f64 #s(literal -1/3 binary64) %93 %1119)
(fma.f64 #s(literal -1/3 binary64) %93 %1121)
(fma.f64 #s(literal -1/3 binary64) %93 %1123)
(fma.f64 #s(literal -1/3 binary64) %93 %1125)
(fma.f64 #s(literal -1/3 binary64) %93 #s(literal 1 binary64))
(fma.f64 #s(literal -1/3 binary64) %13 %1119)
(fma.f64 #s(literal -1/3 binary64) %13 %1121)
(fma.f64 #s(literal -1/3 binary64) %13 %1123)
(fma.f64 #s(literal -1/3 binary64) %13 %1125)
(fma.f64 #s(literal -1/3 binary64) %13 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %1379 %1119)
(fma.f64 #s(literal 1 binary64) %1379 %1121)
(fma.f64 #s(literal 1 binary64) %1379 %1123)
(fma.f64 #s(literal 1 binary64) %1379 %1125)
(fma.f64 #s(literal 1 binary64) %1379 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %378 %1119)
(fma.f64 #s(literal 1 binary64) %378 %1121)
(fma.f64 #s(literal 1 binary64) %378 %1123)
(fma.f64 #s(literal 1 binary64) %378 %1125)
(fma.f64 #s(literal 1 binary64) %378 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %723 #s(literal 0 binary64))
(fma.f64 x %740 #s(literal 0 binary64))
(-.f64 %1392 %395)
(-.f64 %1394 %395)
(-.f64 %788 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 %395 #s(literal 1/2 binary64)))
(-.f64 %378 %1399)
(-.f64 %378 %753)
(-.f64 %378 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %707)
(-.f64 %723 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 %1215) #s(literal 1/2 binary64)))
(-.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %325))
(-.f64 #s(literal 1 binary64) (neg.f64 %1410))
(-.f64 #s(literal 1 binary64) (/.f64 %1413 x))
(-.f64 #s(literal 1 binary64) (/.f64 %1416 x))
(-.f64 #s(literal 1 binary64) %395)
(+.f64 (/.f64 (*.f64 %378 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 %1392 %378)
(+.f64 %1394 %378)
(+.f64 (/.f64 %1425 %75) #s(literal 1 binary64))
(+.f64 (/.f64 %1416 %75) #s(literal 1 binary64))
(+.f64 %788 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %395))
(+.f64 %378 %1119)
(+.f64 %378 %1121)
(+.f64 %378 %1123)
(+.f64 %378 %1125)
(+.f64 %378 #s(literal 1 binary64))
(+.f64 %723 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 %467) #s(literal 1/2 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 %692 #s(literal 2 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 %582 #s(literal 1/2 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) %471))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %331))
(+.f64 #s(literal 1 binary64) %1410)
(+.f64 #s(literal 1 binary64) %378)
(*.f64 %747 %755)
(*.f64 %749 %773)
(*.f64 (/.f64 %722 %18) %18)
(*.f64 (/.f64 %722 %22) %729)
(*.f64 %773 %732)
(*.f64 %755 %735)
(*.f64 %783 #s(literal 1 binary64))
(*.f64 %729 %778)
(*.f64 %964 %13)
(*.f64 %977 %13)
(*.f64 %18 %776)
(*.f64 %707 %75)
(*.f64 %75 %707)
(*.f64 %723 x)
(*.f64 #s(literal 1 binary64) %783)
(*.f64 #s(literal 1 binary64) %722)
(*.f64 x %723)
(pow.f64 %722 #s(literal 1 binary64))
(/.f64 (fma.f64 x %75 %886) %75)
(/.f64 (fma.f64 x x %889) x)
(/.f64 (fma.f64 x %75 %1476) %75)
(/.f64 (fma.f64 x x %1479) x)
(/.f64 (fma.f64 %886 #s(literal 2 binary64) %1482) %76)
(/.f64 (fma.f64 %886 #s(literal 2 binary64) %1485) %76)
(/.f64 (fma.f64 %889 #s(literal 2 binary64) %126) %22)
(/.f64 (fma.f64 %889 #s(literal 2 binary64) %130) %22)
(/.f64 (fma.f64 %1476 #s(literal 2 binary64) %1482) %76)
(/.f64 (fma.f64 %1476 #s(literal 2 binary64) %1485) %76)
(/.f64 (fma.f64 %1479 #s(literal 2 binary64) %126) %22)
(/.f64 (fma.f64 %1479 #s(literal 2 binary64) %130) %22)
(/.f64 (fma.f64 %22 %75 %1500) %119)
(/.f64 (fma.f64 %22 x %1503) %50)
(/.f64 (fma.f64 %22 %75 %1506) %119)
(/.f64 (fma.f64 %22 x %1509) %50)
(/.f64 (fma.f64 %50 %75 %1500) %119)
(/.f64 (fma.f64 %50 x %1503) %50)
(/.f64 (fma.f64 %50 %75 %1506) %119)
(/.f64 (fma.f64 %50 x %1509) %50)
(/.f64 (fma.f64 x #s(literal 2 binary64) #s(literal -2/3 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %22 #s(literal 2/3 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -4/3 binary64) %232) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -4/3 binary64) %234) #s(literal 4 binary64))
(/.f64 (fma.f64 %886 #s(literal 2 binary64) %1528) %76)
(/.f64 (fma.f64 %886 #s(literal 2 binary64) %1531) %76)
(/.f64 (fma.f64 %889 #s(literal 2 binary64) %879) %22)
(/.f64 (fma.f64 %889 #s(literal 2 binary64) %883) %22)
(/.f64 (fma.f64 %1476 #s(literal 2 binary64) %1528) %76)
(/.f64 (fma.f64 %1476 #s(literal 2 binary64) %1531) %76)
(/.f64 (fma.f64 %1479 #s(literal 2 binary64) %879) %22)
(/.f64 (fma.f64 %1479 #s(literal 2 binary64) %883) %22)
(/.f64 (+.f64 #s(literal -4/3 binary64) %228) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -4/3 binary64) %230) #s(literal 4 binary64))
(/.f64 (fma.f64 %22 %75 %1550) %119)
(/.f64 (fma.f64 %22 x %1553) %50)
(/.f64 (fma.f64 %22 %75 %1556) %119)
(/.f64 (fma.f64 %22 x %1559) %50)
(/.f64 (fma.f64 %50 %75 %1550) %119)
(/.f64 (fma.f64 %50 x %1553) %50)
(/.f64 (fma.f64 %50 %75 %1556) %119)
(/.f64 (fma.f64 %50 x %1559) %50)
(/.f64 (fma.f64 %22 #s(literal 2 binary64) #s(literal -4/3 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %50 #s(literal 2 binary64) #s(literal -4/3 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %232 #s(literal 4/3 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %234 #s(literal 4/3 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %771 %22) %182)
(/.f64 (*.f64 %771 %50) %182)
(/.f64 (*.f64 %22 %771) %186)
(/.f64 (*.f64 %50 %771) %186)
(/.f64 (*.f64 %759 %22) #s(literal 4 binary64))
(/.f64 (*.f64 %759 %50) #s(literal 4 binary64))
(/.f64 (*.f64 %761 %22) %182)
(/.f64 (*.f64 %761 %50) %182)
(/.f64 (*.f64 %763 %22) %232)
(/.f64 (*.f64 %763 %50) %232)
(/.f64 (*.f64 %765 %22) %232)
(/.f64 (*.f64 %765 %50) %232)
(/.f64 (*.f64 %767 %22) %184)
(/.f64 (*.f64 %767 %50) %184)
(/.f64 (*.f64 %769 %22) %234)
(/.f64 (*.f64 %769 %50) %234)
(/.f64 (*.f64 %722 %22) %22)
(/.f64 (*.f64 %722 %50) %22)
(/.f64 (*.f64 %706 %22) %76)
(/.f64 (*.f64 %706 %50) %76)
(/.f64 (*.f64 #s(literal 4 binary64) %964) %226)
(/.f64 (*.f64 #s(literal 4 binary64) %977) %226)
(/.f64 (*.f64 #s(literal -2 binary64) %964) %246)
(/.f64 (*.f64 #s(literal -2 binary64) %977) %246)
(/.f64 (*.f64 #s(literal 2 binary64) %964) %50)
(/.f64 (*.f64 #s(literal 2 binary64) %977) %50)
(/.f64 (*.f64 #s(literal 1 binary64) %964) x)
(/.f64 (*.f64 #s(literal 1 binary64) %977) x)
(/.f64 (*.f64 %22 %759) #s(literal 4 binary64))
(/.f64 (*.f64 %22 %761) %186)
(/.f64 (*.f64 %22 %763) %228)
(/.f64 (*.f64 %22 %765) %228)
(/.f64 (*.f64 %22 %767) %188)
(/.f64 (*.f64 %22 %769) %230)
(/.f64 (*.f64 %22 %722) %50)
(/.f64 (*.f64 %22 %706) %119)
(/.f64 (*.f64 %50 %759) #s(literal 4 binary64))
(/.f64 (*.f64 %50 %761) %186)
(/.f64 (*.f64 %50 %763) %228)
(/.f64 (*.f64 %50 %765) %228)
(/.f64 (*.f64 %50 %767) %188)
(/.f64 (*.f64 %50 %769) %230)
(/.f64 (*.f64 %50 %722) %50)
(/.f64 (*.f64 %50 %706) %119)
(/.f64 (neg.f64 %964) %75)
(/.f64 (neg.f64 %977) %75)
(/.f64 %964 x)
(/.f64 %977 x)
(/.f64 %763 #s(literal 2 binary64))
(/.f64 %765 #s(literal 2 binary64))
(/.f64 %769 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 x %964))
(/.f64 #s(literal 1 binary64) (/.f64 x %977))
(/.f64 #s(literal 1 binary64) (pow.f64 %722 #s(literal -1 binary64)))
(neg.f64 %706)
(-.f64 #s(literal -1/3 binary64) %1682)
(-.f64 #s(literal -1/3 binary64) %1684)
(-.f64 #s(literal -1/3 binary64) %1687)
(-.f64 #s(literal -1/3 binary64) %1689)
(-.f64 #s(literal -1/3 binary64) %1691)
(-.f64 #s(literal -1/3 binary64) %1693)
(-.f64 #s(literal -1/3 binary64) %272)
(-.f64 #s(literal -1/3 binary64) %274)
(-.f64 #s(literal -1/3 binary64) %276)
(-.f64 #s(literal -1/3 binary64) %75)
(-.f64 x (*.f64 %274 %378))
(-.f64 x (*.f64 %276 %378))
(-.f64 x (*.f64 (neg.f64 %1399) #s(literal 1/3 binary64)))
(-.f64 x (*.f64 (neg.f64 %886) %81))
(-.f64 x (*.f64 (neg.f64 %889) %13))
(-.f64 x (*.f64 %13 %1476))
(-.f64 x (*.f64 %81 %1479))
(-.f64 x (*.f64 #s(literal -1/3 binary64) (*.f64 %81 x)))
(-.f64 x %1425)
(-.f64 x %1416)
(-.f64 x %1413)
%722
(+.f64 #s(literal -1/3 binary64) x)
(+.f64 x (neg.f64 %1413))
(+.f64 x #s(literal -1/3 binary64))
(*.f64 #s(literal 1 binary64) %1726)
(pow.f64 %1726 #s(literal 1 binary64))
%1726
(/.f64 #s(literal 1 binary64) (pow.f64 %1726 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %1731)
(pow.f64 %1731 #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal -6004799503160661/9007199254740992 binary64) %22) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -6004799503160661/9007199254740992 binary64) %50) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1731 #s(literal -1 binary64)))
(neg.f64 (-.f64 #s(literal 6004799503160661/18014398509481984 binary64) x))
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %1682)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %1684)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %1687)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %1689)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %1691)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %1693)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %272)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %274)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %276)
(-.f64 #s(literal -6004799503160661/18014398509481984 binary64) %75)
%1731
(+.f64 #s(literal -6004799503160661/18014398509481984 binary64) x)
(+.f64 x #s(literal -6004799503160661/18014398509481984 binary64))
reconstruct193.0ms (12.6%)
Counts
1 169 → 52
Compiler
Compiled 1 169 to 1 763 computations (-50.8% saved)
eval4.0ms (0.3%)
Compiler
Compiled 48 to 152 computations (-216.7% saved)
prune2.0ms (0.1%)
Pruning
5 alts after pruning (3 fresh and 2 done)
PrunedKeptTotal
New45348
Fresh000
Picked123
Done000
Total46551
Accuracy
100.0%
Counts
51 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 x #s(literal 6004799503160661/18014398509481984 binary64))
▶74.0%
(approx (- x 1/3) (/.f64 (fma.f64 x x (*.f64 #s(literal -1/3 binary64) x)) x))
▶73.8%
(approx (- x 1/3) (*.f64 (*.f64 x (-.f64 x #s(literal 1/3 binary64))) (/.f64 #s(literal 1 binary64) x)))
▶99.8%
(approx (- x 1/3) (*.f64 x (fma.f64 #s(literal -2/3 binary64) (/.f64 #s(literal 1/2 binary64) x) #s(literal 1 binary64))))
✓46.1%
(approx (- x 1/3) #s(literal -1/3 binary64))
Compiler
Compiled 5 to 18 computations (-260.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series9.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
042150
Stop Event
1×iter-limit
Counts
19 → 16
Calls
Call 1
Inputs
%4 = (-.f64 x #s(literal 1/3 binary64))
%5 = (/.f64 #s(literal 1 binary64) x)
%7 = (/.f64 #s(literal 1/2 binary64) x)
%9 = (*.f64 x %4)
%10 = (fma.f64 #s(literal -2/3 binary64) %7 #s(literal 1 binary64))
%11 = (*.f64 %9 %5)
%12 = (*.f64 #s(literal -1/3 binary64) x)
%13 = (fma.f64 x x %12)
%14 = (/.f64 %13 x)
%15 = (*.f64 x %10)
%17 = (- x 1/3)
x
#s(literal 1 binary64)
#s(literal -1/3 binary64)
#s(literal 1/3 binary64)
%4
%5
#s(literal 1/2 binary64)
%7
#s(literal -2/3 binary64)
%9
%10
%11
%12
%13
%14
%15
(approx %17 %15)
(approx %17 %14)
(approx %17 %11)
Outputs
%5 = (- x 1/3)
%9 = (-.f64 x #s(literal 1/3 binary64))
%14 = (/.f64 #s(literal 1 binary64) x)
%17 = (/ 1/2 x)
%21 = (* x %5)
%28 = (+ (* -2/3 %17) 1)
%33 = (*.f64 #s(literal 1/3 binary64) %14)
%34 = (-.f64 #s(literal 1 binary64) %33)
%38 = (pow.f64 x #s(literal 2 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 #s(literal -1/3 binary64))
(approx %5 %9)
(approx (/ 1 x) %14)
(approx %17 (/.f64 #s(literal 1/2 binary64) x))
(approx %21 (*.f64 #s(literal -1/3 binary64) x))
(approx %21 (*.f64 x %9))
(approx %28 (/.f64 #s(literal -1/3 binary64) x))
(approx %28 (/.f64 %9 x))
(approx %5 (*.f64 x %34))
(approx %21 %38)
(approx %21 (*.f64 %38 %34))
(approx %28 #s(literal 1 binary64))
(approx %28 %34)
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %33 #s(literal 1 binary64)))))
Calls
3 calls:
TimeVariablePoint
2.0ms
x
-inf
2.0ms
x
0
2.0ms
x
inf
rewrite92.0ms (6.0%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
02097
03275
111663
236063
3294863
0403763
0433563
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
19 → 1 627
Calls
Call 1
Inputs
%4 = (-.f64 x #s(literal 1/3 binary64))
%5 = (/.f64 #s(literal 1 binary64) x)
%7 = (/.f64 #s(literal 1/2 binary64) x)
%9 = (*.f64 x %4)
%10 = (fma.f64 #s(literal -2/3 binary64) %7 #s(literal 1 binary64))
%11 = (*.f64 %9 %5)
%12 = (*.f64 #s(literal -1/3 binary64) x)
%13 = (fma.f64 x x %12)
%14 = (/.f64 %13 x)
%15 = (*.f64 x %10)
%17 = (- x 1/3)
x
#s(literal 1 binary64)
#s(literal -1/3 binary64)
#s(literal 1/3 binary64)
%4
%5
#s(literal 1/2 binary64)
%7
#s(literal -2/3 binary64)
%9
%10
%11
%12
%13
%14
%15
(approx %17 %15)
(approx %17 %14)
(approx %17 %11)
Outputs
%4 = (-.f64 x #s(literal 1/3 binary64))
%5 = (/.f64 %4 x)
%6 = (+.f64 x x)
%7 = (*.f64 %5 %6)
%9 = (*.f64 %7 #s(literal 1/2 binary64))
%10 = (fabs.f64 x)
%11 = (*.f64 %5 %10)
%12 = (copysign.f64 #s(literal 1 binary64) x)
%13 = (*.f64 %11 %12)
%15 = (*.f64 %5 #s(literal 2 binary64))
%16 = (*.f64 #s(literal 1/2 binary64) x)
%17 = (*.f64 %15 %16)
%18 = (/.f64 #s(literal 1 binary64) x)
%19 = (*.f64 %4 %6)
%20 = (*.f64 %18 %19)
%21 = (*.f64 %20 #s(literal 1/2 binary64))
%22 = (*.f64 %4 #s(literal 2 binary64))
%23 = (*.f64 %22 #s(literal 1/2 binary64))
%24 = (*.f64 %4 x)
%25 = (neg.f64 x)
%26 = (*.f64 %25 x)
%27 = (/.f64 %24 %26)
%28 = (*.f64 %27 %25)
%29 = (*.f64 %4 #s(literal 1/2 binary64))
%30 = (*.f64 %29 #s(literal 2 binary64))
%31 = (/.f64 %19 %10)
%32 = (/.f64 #s(literal 1/2 binary64) %12)
%33 = (*.f64 %31 %32)
%34 = (/.f64 %19 %25)
%36 = (*.f64 %34 #s(literal -1/2 binary64))
%37 = (*.f64 x x)
%38 = (/.f64 %19 %37)
%39 = (/.f64 #s(literal 1/2 binary64) %18)
%40 = (*.f64 %38 %39)
%41 = (/.f64 %19 #s(literal 1 binary64))
%42 = (/.f64 #s(literal 1/2 binary64) x)
%43 = (*.f64 %41 %42)
%44 = (/.f64 %19 x)
%45 = (*.f64 %44 #s(literal 1/2 binary64))
%46 = (/.f64 %24 %6)
%47 = (*.f64 %46 #s(literal 2 binary64))
%48 = (/.f64 %24 %10)
%49 = (*.f64 %48 %12)
%50 = (/.f64 %24 #s(literal 2 binary64))
%51 = (/.f64 #s(literal 1 binary64) %16)
%52 = (*.f64 %50 %51)
%53 = (/.f64 %24 #s(literal 1 binary64))
%54 = (*.f64 %53 %18)
%55 = (/.f64 %4 %6)
%56 = (/.f64 x #s(literal 1/2 binary64))
%57 = (*.f64 %55 %56)
%58 = (/.f64 %4 %10)
%59 = (/.f64 x %12)
%60 = (*.f64 %58 %59)
%61 = (/.f64 %4 #s(literal 2 binary64))
%62 = (/.f64 x %16)
%63 = (*.f64 %61 %62)
%64 = (/.f64 %4 %37)
%65 = (*.f64 %64 %37)
%66 = (/.f64 #s(literal 1 binary64) %6)
%67 = (/.f64 %24 #s(literal 1/2 binary64))
%68 = (*.f64 %66 %67)
%69 = (/.f64 #s(literal 1 binary64) %10)
%70 = (/.f64 %24 %12)
%71 = (*.f64 %69 %70)
%72 = (/.f64 #s(literal 1 binary64) %37)
%73 = (/.f64 %24 %18)
%74 = (*.f64 %72 %73)
%75 = (/.f64 x %6)
%76 = (/.f64 %4 #s(literal 1/2 binary64))
%77 = (*.f64 %75 %76)
%78 = (/.f64 x %10)
%79 = (/.f64 %4 %12)
%80 = (*.f64 %78 %79)
%81 = (/.f64 x #s(literal 2 binary64))
%82 = (/.f64 %4 %16)
%83 = (*.f64 %81 %82)
%84 = (*.f64 #s(literal 1/2 binary64) %5)
%85 = (*.f64 %6 %84)
%86 = (*.f64 %19 %42)
%87 = (-.f64 #s(literal 1/3 binary64) x)
%88 = (/.f64 %87 x)
%90 = (/.f64 x #s(literal -1 binary64))
%91 = (*.f64 %88 %90)
%92 = (/.f64 #s(literal -1 binary64) x)
%93 = (/.f64 %24 #s(literal -1 binary64))
%94 = (*.f64 %92 %93)
%95 = (*.f64 %87 x)
%96 = (*.f64 %92 %95)
%97 = (*.f64 x %24)
%98 = (*.f64 %97 %72)
%99 = (*.f64 %5 x)
%100 = (*.f64 x %92)
%101 = (*.f64 %87 %100)
%102 = (*.f64 %87 #s(literal -1 binary64))
%103 = (*.f64 %95 %92)
%104 = (*.f64 %12 %5)
%105 = (*.f64 %10 %104)
%106 = (*.f64 #s(literal -1 binary64) %5)
%107 = (*.f64 %25 %106)
%108 = (*.f64 %25 %88)
%109 = (*.f64 #s(literal -1 binary64) %87)
%110 = (*.f64 %42 %24)
%111 = (*.f64 #s(literal 2 binary64) %110)
%112 = (*.f64 %16 %5)
%113 = (*.f64 #s(literal 2 binary64) %112)
%114 = (*.f64 #s(literal 1/2 binary64) %4)
%115 = (*.f64 #s(literal 2 binary64) %114)
%116 = (*.f64 %18 %5)
%117 = (*.f64 %37 %116)
%118 = (*.f64 %4 #s(literal 1 binary64))
%119 = (*.f64 %24 %18)
%120 = (*.f64 #s(literal 2 binary64) %4)
%121 = (*.f64 #s(literal 1/2 binary64) %120)
%123 = (fma.f64 #s(literal 2 binary64) x #s(literal -2/3 binary64))
%124 = (*.f64 #s(literal 1/2 binary64) %123)
%126 = (-.f64 %6 #s(literal 2/3 binary64))
%127 = (*.f64 #s(literal 1/2 binary64) %126)
%128 = (/.f64 %24 %16)
%129 = (*.f64 #s(literal 1/2 binary64) %128)
%130 = (+.f64 #s(literal -2/3 binary64) %6)
%131 = (*.f64 #s(literal 1/2 binary64) %130)
%132 = (*.f64 %18 %53)
%133 = (/.f64 %4 %18)
%134 = (*.f64 %18 %133)
%135 = (*.f64 %18 %24)
%136 = (*.f64 #s(literal 1 binary64) %4)
%137 = (*.f64 x %5)
%138 = (pow.f64 %4 #s(literal 1 binary64))
%139 = (/.f64 %22 #s(literal 2 binary64))
%141 = (/.f64 (*.f64 %87 %26) %37)
%143 = (/.f64 (*.f64 %87 %37) %26)
%145 = (/.f64 (*.f64 %26 %87) %37)
%147 = (/.f64 (*.f64 %37 %87) %26)
%148 = (/.f64 %120 #s(literal 2 binary64))
%149 = (neg.f64 %10)
%151 = (/.f64 (/.f64 %97 %149) %149)
%153 = (/.f64 (/.f64 %97 %10) %10)
%155 = (/.f64 (/.f64 %97 %25) %25)
%156 = (*.f64 #s(literal 1/3 binary64) x)
%159 = (/.f64 (fma.f64 %156 %25 (*.f64 %26 %25)) %37)
%160 = (*.f64 %25 %37)
%162 = (/.f64 (fma.f64 %156 x %160) %26)
%163 = (*.f64 #s(literal -1/3 binary64) x)
%164 = (*.f64 %26 x)
%166 = (/.f64 (fma.f64 %163 %25 %164) %26)
%169 = (/.f64 (fma.f64 %26 %25 (*.f64 %156 %25)) %37)
%172 = (/.f64 (fma.f64 %26 x (*.f64 %163 %25)) %26)
%175 = (/.f64 (fma.f64 %25 %37 (*.f64 %156 x)) %26)
%176 = (/.f64 %46 #s(literal 1/2 binary64))
%177 = (/.f64 %48 %12)
%178 = (/.f64 %50 %16)
%179 = (/.f64 %53 x)
%180 = (*.f64 %37 x)
%182 = (/.f64 (fma.f64 %156 %25 %180) %37)
%185 = (/.f64 (fma.f64 %163 %25 (*.f64 x %26)) %26)
%186 = (*.f64 %25 %156)
%188 = (/.f64 (fma.f64 %26 %25 %186) %37)
%191 = (/.f64 (fma.f64 %26 x (*.f64 %25 %163)) %26)
%192 = (*.f64 x %156)
%194 = (/.f64 (fma.f64 %25 %37 %192) %26)
%196 = (/.f64 (-.f64 %164 %186) %26)
%198 = (/.f64 (-.f64 %180 %192) %37)
%201 = (/.f64 (*.f64 %97 #s(literal 2 binary64)) (*.f64 %37 #s(literal 2 binary64)))
%203 = (*.f64 %25 #s(literal 2 binary64))
%204 = (/.f64 (*.f64 %95 #s(literal 2 binary64)) %203)
%205 = (*.f64 %97 #s(literal 1 binary64))
%206 = (/.f64 %205 %37)
%207 = (*.f64 %4 %26)
%208 = (/.f64 %207 %26)
%209 = (*.f64 %4 %37)
%210 = (/.f64 %209 %37)
%211 = (*.f64 %97 x)
%212 = (/.f64 %211 %180)
%213 = (*.f64 %95 x)
%214 = (/.f64 %213 %26)
%215 = (*.f64 %24 x)
%216 = (/.f64 %215 %37)
%219 = (/.f64 (*.f64 #s(literal 2 binary64) %97) (*.f64 #s(literal 2 binary64) %37))
%221 = (*.f64 #s(literal 2 binary64) %25)
%222 = (/.f64 (*.f64 #s(literal 2 binary64) %95) %221)
%223 = (*.f64 %26 %4)
%224 = (/.f64 %223 %26)
%225 = (*.f64 %37 %4)
%226 = (/.f64 %225 %37)
%228 = (/.f64 (neg.f64 %97) %26)
%229 = (/.f64 %19 %6)
%230 = (/.f64 %97 %37)
%231 = (/.f64 %5 %18)
%232 = (/.f64 %87 #s(literal -1 binary64))
%233 = (/.f64 %95 %25)
%234 = (/.f64 %4 #s(literal 1 binary64))
%235 = (/.f64 %24 x)
%237 = (/.f64 #s(literal 1 binary64) (pow.f64 %4 %100))
%239 = (/.f64 #s(literal 1 binary64) (/.f64 %37 %97))
%241 = (/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
%243 = (/.f64 #s(literal 1 binary64) (/.f64 %25 %95))
%245 = (/.f64 #s(literal 1 binary64) (/.f64 x %24))
%246 = (neg.f64 %87)
%248 = (*.f64 %4 #s(literal 0 binary64))
%249 = (fma.f64 %7 #s(literal 1/2 binary64) %248)
%250 = (*.f64 #s(literal 0 binary64) %4)
%251 = (fma.f64 %7 #s(literal 1/2 binary64) %250)
%252 = (fma.f64 %11 %12 %248)
%253 = (fma.f64 %11 %12 %250)
%254 = (fma.f64 %15 %16 %248)
%255 = (fma.f64 %15 %16 %250)
%256 = (fma.f64 %20 #s(literal 1/2 binary64) %248)
%257 = (fma.f64 %20 #s(literal 1/2 binary64) %250)
%258 = (fma.f64 %22 #s(literal 1/2 binary64) %248)
%259 = (fma.f64 %22 #s(literal 1/2 binary64) %250)
%260 = (fma.f64 %27 %25 %248)
%261 = (fma.f64 %27 %25 %250)
%262 = (fma.f64 %29 #s(literal 2 binary64) %248)
%263 = (fma.f64 %29 #s(literal 2 binary64) %250)
%264 = (fma.f64 %31 %32 %248)
%265 = (fma.f64 %31 %32 %250)
%266 = (fma.f64 %34 #s(literal -1/2 binary64) %248)
%267 = (fma.f64 %34 #s(literal -1/2 binary64) %250)
%268 = (fma.f64 %38 %39 %248)
%269 = (fma.f64 %38 %39 %250)
%270 = (fma.f64 %41 %42 %248)
%271 = (fma.f64 %41 %42 %250)
%272 = (fma.f64 %44 #s(literal 1/2 binary64) %248)
%273 = (fma.f64 %44 #s(literal 1/2 binary64) %250)
%274 = (fma.f64 %46 #s(literal 2 binary64) %248)
%275 = (fma.f64 %46 #s(literal 2 binary64) %250)
%276 = (fma.f64 %48 %12 %248)
%277 = (fma.f64 %48 %12 %250)
%278 = (fma.f64 %50 %51 %248)
%279 = (fma.f64 %50 %51 %250)
%280 = (fma.f64 %53 %18 %248)
%281 = (fma.f64 %53 %18 %250)
%282 = (fma.f64 %55 %56 %248)
%283 = (fma.f64 %55 %56 %250)
%284 = (fma.f64 %58 %59 %248)
%285 = (fma.f64 %58 %59 %250)
%286 = (fma.f64 %61 %62 %248)
%287 = (fma.f64 %61 %62 %250)
%288 = (fma.f64 %64 %37 %248)
%289 = (fma.f64 %64 %37 %250)
%290 = (fma.f64 %66 %67 %248)
%291 = (fma.f64 %66 %67 %250)
%292 = (fma.f64 %69 %70 %248)
%293 = (fma.f64 %69 %70 %250)
%294 = (fma.f64 %72 %73 %248)
%295 = (fma.f64 %72 %73 %250)
%296 = (fma.f64 %75 %76 %248)
%297 = (fma.f64 %75 %76 %250)
%298 = (fma.f64 %78 %79 %248)
%299 = (fma.f64 %78 %79 %250)
%300 = (fma.f64 %81 %82 %248)
%301 = (fma.f64 %81 %82 %250)
%302 = (fma.f64 %6 %84 %248)
%303 = (fma.f64 %6 %84 %250)
%304 = (fma.f64 %19 %42 %248)
%305 = (fma.f64 %19 %42 %250)
%306 = (fma.f64 %88 %90 %248)
%307 = (fma.f64 %88 %90 %250)
%308 = (fma.f64 %92 %93 %248)
%309 = (fma.f64 %92 %93 %250)
%310 = (fma.f64 %92 %95 %248)
%311 = (fma.f64 %92 %95 %250)
%312 = (fma.f64 %97 %72 %248)
%313 = (fma.f64 %97 %72 %250)
%314 = (fma.f64 %5 x %248)
%315 = (fma.f64 %5 x %250)
%316 = (fma.f64 %87 %100 %248)
%317 = (fma.f64 %87 %100 %250)
%318 = (fma.f64 %87 #s(literal -1 binary64) %248)
%319 = (fma.f64 %87 #s(literal -1 binary64) %250)
%320 = (fma.f64 %95 %92 %248)
%321 = (fma.f64 %95 %92 %250)
%322 = (fma.f64 %10 %104 %248)
%323 = (fma.f64 %10 %104 %250)
%324 = (fma.f64 %25 %106 %248)
%325 = (fma.f64 %25 %106 %250)
%326 = (fma.f64 %25 %88 %248)
%327 = (fma.f64 %25 %88 %250)
%328 = (fma.f64 #s(literal -1 binary64) %87 %248)
%329 = (fma.f64 #s(literal -1 binary64) %87 %250)
%330 = (fma.f64 #s(literal 2 binary64) %110 %248)
%331 = (fma.f64 #s(literal 2 binary64) %110 %250)
%332 = (fma.f64 #s(literal 2 binary64) %112 %248)
%333 = (fma.f64 #s(literal 2 binary64) %112 %250)
%334 = (fma.f64 #s(literal 2 binary64) %114 %248)
%335 = (fma.f64 #s(literal 2 binary64) %114 %250)
%336 = (fma.f64 %37 %116 %248)
%337 = (fma.f64 %37 %116 %250)
%338 = (fma.f64 %4 #s(literal 1/2 binary64) %29)
%339 = (fma.f64 %4 #s(literal 1 binary64) %248)
%340 = (fma.f64 %4 #s(literal 1 binary64) %250)
%341 = (fma.f64 %24 %18 %248)
%342 = (fma.f64 %24 %18 %250)
%343 = (fma.f64 #s(literal 1/2 binary64) %120 %248)
%344 = (fma.f64 #s(literal 1/2 binary64) %120 %250)
%345 = (fma.f64 #s(literal 1/2 binary64) %123 %248)
%346 = (fma.f64 #s(literal 1/2 binary64) %123 %250)
%347 = (fma.f64 #s(literal 1/2 binary64) %126 %248)
%348 = (fma.f64 #s(literal 1/2 binary64) %126 %250)
%349 = (fma.f64 #s(literal 1/2 binary64) %128 %248)
%350 = (fma.f64 #s(literal 1/2 binary64) %128 %250)
%351 = (fma.f64 #s(literal 1/2 binary64) %130 %248)
%352 = (fma.f64 #s(literal 1/2 binary64) %130 %250)
%353 = (fma.f64 #s(literal 1/2 binary64) %4 %114)
%354 = (fma.f64 %18 %53 %248)
%355 = (fma.f64 %18 %53 %250)
%356 = (fma.f64 %18 %133 %248)
%357 = (fma.f64 %18 %133 %250)
%358 = (fma.f64 %18 %24 %248)
%359 = (fma.f64 %18 %24 %250)
%360 = (fma.f64 #s(literal 1 binary64) %4 %248)
%361 = (fma.f64 #s(literal 1 binary64) %4 %250)
%362 = (fma.f64 x %5 %248)
%363 = (fma.f64 x %5 %250)
%364 = (-.f64 #s(literal -1/3 binary64) %25)
%366 = (-.f64 x (*.f64 %92 %163))
%367 = (+.f64 %29 %29)
%368 = (+.f64 %114 %114)
%369 = (+.f64 %4 %248)
%370 = (+.f64 %4 %250)
%371 = (+.f64 #s(literal -1/3 binary64) x)
%372 = (+.f64 x #s(literal -1/3 binary64))
%373 = (/.f64 #s(literal 1 binary64) %26)
%375 = (*.f64 %18 #s(literal 2 binary64))
%377 = (*.f64 #s(literal 2 binary64) %18)
%379 = (/.f64 #s(literal 2 binary64) %10)
%381 = (/.f64 #s(literal 2 binary64) %25)
%383 = (/.f64 #s(literal 2 binary64) %37)
%385 = (/.f64 #s(literal 2 binary64) x)
%390 = (/.f64 #s(literal 1/2 binary64) %6)
%393 = (/.f64 #s(literal 1/2 binary64) %10)
%394 = (/.f64 #s(literal 2 binary64) %12)
%397 = (/.f64 #s(literal 2 binary64) %16)
%399 = (/.f64 #s(literal 1/2 binary64) %37)
%400 = (/.f64 #s(literal 2 binary64) %18)
%402 = (/.f64 #s(literal -1/2 binary64) x)
%434 = (*.f64 %18 #s(literal 0 binary64))
%436 = (*.f64 #s(literal 0 binary64) %18)
%438 = (/.f64 #s(literal 0 binary64) x)
%446 = (/.f64 #s(literal 1/2 binary64) %26)
%501 = (*.f64 %42 #s(literal 1/2 binary64))
%563 = (*.f64 %4 %10)
%564 = (*.f64 %563 %12)
%565 = (*.f64 %22 %16)
%566 = (*.f64 x %95)
%567 = (*.f64 %566 %92)
%568 = (*.f64 %24 #s(literal 1/2 binary64))
%569 = (*.f64 %568 #s(literal 2 binary64))
%570 = (*.f64 %209 %18)
%571 = (*.f64 %6 %114)
%572 = (*.f64 %19 #s(literal 1/2 binary64))
%573 = (*.f64 %97 %18)
%574 = (*.f64 %5 %37)
%575 = (*.f64 %87 %25)
%576 = (*.f64 %95 #s(literal -1 binary64))
%577 = (*.f64 %12 %4)
%578 = (*.f64 %10 %577)
%579 = (*.f64 %25 %87)
%580 = (*.f64 %16 %4)
%581 = (*.f64 #s(literal 2 binary64) %580)
%582 = (*.f64 #s(literal 1/2 binary64) %24)
%583 = (*.f64 #s(literal 2 binary64) %582)
%584 = (*.f64 %37 %5)
%585 = (*.f64 %24 #s(literal 1 binary64))
%586 = (*.f64 #s(literal 1/2 binary64) %19)
%587 = (*.f64 %18 %215)
%588 = (*.f64 #s(literal 1 binary64) %24)
%589 = (*.f64 x %4)
%590 = (pow.f64 %24 #s(literal 1 binary64))
%592 = (/.f64 (*.f64 x %97) %37)
%593 = (/.f64 %566 %25)
%595 = (/.f64 (*.f64 %97 %26) %160)
%597 = (/.f64 (*.f64 %97 %37) %180)
%599 = (/.f64 (*.f64 %95 %26) %37)
%601 = (/.f64 (*.f64 %95 %37) %26)
%603 = (/.f64 (*.f64 %24 %26) %26)
%605 = (/.f64 (*.f64 %24 %37) %37)
%607 = (/.f64 (*.f64 %26 %97) %160)
%609 = (/.f64 (*.f64 %26 %95) %37)
%611 = (/.f64 (*.f64 %26 %24) %26)
%613 = (/.f64 (*.f64 %37 %97) %180)
%615 = (/.f64 (*.f64 %37 %95) %26)
%617 = (/.f64 (*.f64 %37 %24) %37)
%618 = (/.f64 %207 %25)
%619 = (/.f64 %209 x)
%620 = (/.f64 %211 %37)
%621 = (/.f64 %213 %25)
%622 = (/.f64 %215 x)
%623 = (/.f64 %223 %25)
%624 = (/.f64 %225 x)
%625 = (/.f64 %19 #s(literal 2 binary64))
%626 = (/.f64 %97 x)
%628 = (/.f64 #s(literal 1 binary64) (pow.f64 %24 %100))
%630 = (/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
%631 = (neg.f64 %95)
%632 = (*.f64 #s(literal -1/3 binary64) %6)
%633 = (neg.f64 %149)
%634 = (*.f64 %633 %10)
%635 = (fma.f64 %632 #s(literal 1/2 binary64) %634)
%636 = (fma.f64 %632 #s(literal 1/2 binary64) %37)
%637 = (*.f64 #s(literal -1/3 binary64) %10)
%638 = (fma.f64 %637 %12 %634)
%639 = (fma.f64 %637 %12 %37)
%641 = (fma.f64 (*.f64 x %6) #s(literal 1/2 binary64) %163)
%643 = (fma.f64 (*.f64 x %10) %12 %163)
%644 = (*.f64 %24 #s(literal 0 binary64))
%645 = (fma.f64 %563 %12 %644)
%646 = (*.f64 #s(literal 0 binary64) %24)
%647 = (fma.f64 %563 %12 %646)
%648 = (fma.f64 %22 %16 %644)
%649 = (fma.f64 %22 %16 %646)
%650 = (fma.f64 %566 %92 %644)
%651 = (fma.f64 %566 %92 %646)
%652 = (fma.f64 %568 #s(literal 2 binary64) %644)
%653 = (fma.f64 %568 #s(literal 2 binary64) %646)
%655 = (fma.f64 (*.f64 %6 %6) #s(literal 1/4 binary64) %163)
%657 = (fma.f64 #s(literal 4 binary64) (*.f64 %16 %16) %163)
%658 = (fma.f64 %209 %18 %644)
%659 = (fma.f64 %209 %18 %646)
%660 = (fma.f64 %633 %633 %163)
%662 = (fma.f64 (*.f64 %37 %37) %72 %163)
%663 = (fma.f64 %6 %114 %644)
%664 = (fma.f64 %6 %114 %646)
%666 = (fma.f64 %6 #s(literal -1/6 binary64) %634)
%667 = (fma.f64 %6 #s(literal -1/6 binary64) %37)
%668 = (fma.f64 %6 %16 %163)
%669 = (fma.f64 %19 #s(literal 1/2 binary64) %644)
%670 = (fma.f64 %19 #s(literal 1/2 binary64) %646)
%671 = (*.f64 #s(literal -2/3 binary64) x)
%672 = (fma.f64 %671 #s(literal 1/2 binary64) %634)
%673 = (fma.f64 %671 #s(literal 1/2 binary64) %37)
%674 = (fma.f64 %16 #s(literal -2/3 binary64) %634)
%675 = (fma.f64 %16 #s(literal -2/3 binary64) %37)
%676 = (fma.f64 %97 %18 %644)
%677 = (fma.f64 %97 %18 %646)
%678 = (*.f64 %37 #s(literal -1/3 binary64))
%679 = (fma.f64 %678 %18 %634)
%680 = (fma.f64 %678 %18 %37)
%681 = (fma.f64 %180 %18 %163)
%682 = (fma.f64 %26 #s(literal -1 binary64) %163)
%683 = (fma.f64 %149 %149 %163)
%684 = (fma.f64 %5 %37 %644)
%685 = (fma.f64 %5 %37 %646)
%686 = (fma.f64 %87 %25 %644)
%687 = (fma.f64 %87 %25 %646)
%688 = (fma.f64 %156 #s(literal -1 binary64) %634)
%689 = (fma.f64 %156 #s(literal -1 binary64) %37)
%690 = (fma.f64 %95 #s(literal -1 binary64) %644)
%691 = (fma.f64 %95 #s(literal -1 binary64) %646)
%692 = (*.f64 %12 #s(literal -1/3 binary64))
%693 = (fma.f64 %10 %692 %634)
%694 = (fma.f64 %10 %692 %37)
%696 = (fma.f64 %10 (*.f64 %12 x) %163)
%697 = (fma.f64 %10 %577 %644)
%698 = (fma.f64 %10 %577 %646)
%699 = (fma.f64 %10 %10 %163)
%700 = (fma.f64 %25 %87 %644)
%701 = (fma.f64 %25 %87 %646)
%702 = (fma.f64 %25 %25 %163)
%703 = (fma.f64 %25 #s(literal 1/3 binary64) %634)
%704 = (fma.f64 %25 #s(literal 1/3 binary64) %37)
%705 = (*.f64 %16 #s(literal -1/3 binary64))
%706 = (fma.f64 #s(literal 2 binary64) %705 %634)
%707 = (fma.f64 #s(literal 2 binary64) %705 %37)
%709 = (fma.f64 #s(literal 2 binary64) (*.f64 %16 x) %163)
%710 = (fma.f64 #s(literal 2 binary64) %580 %644)
%711 = (fma.f64 #s(literal 2 binary64) %580 %646)
%712 = (fma.f64 #s(literal 2 binary64) %582 %644)
%713 = (fma.f64 #s(literal 2 binary64) %582 %646)
%714 = (fma.f64 %37 %5 %644)
%715 = (fma.f64 %37 %5 %646)
%716 = (/.f64 #s(literal -1/3 binary64) x)
%717 = (fma.f64 %37 %716 %634)
%718 = (fma.f64 %37 %716 %37)
%719 = (fma.f64 %37 #s(literal 1 binary64) %163)
%720 = (fma.f64 %4 x %644)
%721 = (fma.f64 %4 x %646)
%722 = (fma.f64 %24 #s(literal 1/2 binary64) %568)
%723 = (fma.f64 %24 #s(literal 1 binary64) %644)
%724 = (fma.f64 %24 #s(literal 1 binary64) %646)
%725 = (fma.f64 %163 #s(literal 1 binary64) %634)
%726 = (fma.f64 %163 #s(literal 1 binary64) %37)
%727 = (fma.f64 #s(literal -2/3 binary64) %16 %634)
%728 = (fma.f64 #s(literal -2/3 binary64) %16 %37)
%729 = (fma.f64 #s(literal 1/2 binary64) %19 %644)
%730 = (fma.f64 #s(literal 1/2 binary64) %19 %646)
%731 = (fma.f64 #s(literal 1/2 binary64) %671 %634)
%732 = (fma.f64 #s(literal 1/2 binary64) %671 %37)
%733 = (fma.f64 #s(literal 1/2 binary64) %24 %582)
%734 = (fma.f64 %18 %215 %644)
%735 = (fma.f64 %18 %215 %646)
%736 = (fma.f64 #s(literal 1/3 binary64) %25 %634)
%737 = (fma.f64 #s(literal 1/3 binary64) %25 %37)
%738 = (fma.f64 #s(literal -1/3 binary64) x %634)
%739 = (fma.f64 #s(literal -1/3 binary64) x %37)
%740 = (fma.f64 #s(literal 1 binary64) %37 %163)
%741 = (fma.f64 #s(literal 1 binary64) %24 %644)
%742 = (fma.f64 #s(literal 1 binary64) %24 %646)
%743 = (fma.f64 #s(literal 1 binary64) %163 %634)
%744 = (fma.f64 #s(literal 1 binary64) %163 %37)
%745 = (fma.f64 x %4 %644)
%746 = (fma.f64 x %4 %646)
%747 = (fma.f64 x #s(literal -1/3 binary64) %634)
%748 = (fma.f64 x #s(literal -1/3 binary64) %37)
%749 = (fma.f64 x x %163)
%750 = (-.f64 %37 %156)
%751 = (-.f64 %163 %26)
%752 = (+.f64 %568 %568)
%753 = (+.f64 %582 %582)
%754 = (+.f64 %37 %163)
%755 = (+.f64 %24 %644)
%756 = (+.f64 %24 %646)
%757 = (+.f64 %163 %634)
%758 = (+.f64 %163 %37)
%761 = (/.f64 %4 %26)
%763 = (/.f64 %5 %6)
%765 = (/.f64 %5 %10)
%767 = (/.f64 %5 %25)
%769 = (/.f64 %5 #s(literal 2 binary64))
%771 = (/.f64 %5 %37)
%773 = (/.f64 %95 %6)
%774 = (/.f64 %92 #s(literal 1/2 binary64))
%776 = (/.f64 %95 %10)
%777 = (/.f64 %92 %12)
%779 = (/.f64 %95 #s(literal 2 binary64))
%780 = (/.f64 %92 %16)
%782 = (/.f64 %95 %37)
%784 = (/.f64 %95 #s(literal 1 binary64))
%785 = (/.f64 %92 x)
%787 = (/.f64 %18 %6)
%789 = (/.f64 %18 %10)
%791 = (/.f64 %18 %25)
%793 = (/.f64 %18 #s(literal 2 binary64))
%795 = (/.f64 %18 %37)
%797 = (/.f64 %5 x)
%799 = (/.f64 %18 #s(literal 1/2 binary64))
%801 = (/.f64 %18 %12)
%803 = (/.f64 %18 %16)
%815 = (/.f64 %5 #s(literal 1/2 binary64))
%817 = (/.f64 %5 %12)
%819 = (/.f64 %5 %16)
%827 = (*.f64 %92 %4)
%829 = (/.f64 %5 #s(literal -1 binary64))
%831 = (*.f64 %42 %4)
%835 = (/.f64 #s(literal -2/3 binary64) x)
%836 = (+.f64 %835 #s(literal 2 binary64))
%838 = (+.f64 #s(literal 2 binary64) %835)
%843 = (*.f64 %5 %18)
%885 = (/.f64 #s(literal 1/3 binary64) x)
%922 = (/.f64 #s(literal -2/3 binary64) %25)
%1029 = (approx (- x 1/3) %4)
%1030 = (*.f64 #s(literal 1 binary64) %1029)
%1031 = (pow.f64 %1029 #s(literal 1 binary64))
%1033 = (/.f64 #s(literal 1 binary64) (pow.f64 %1029 %100))
%1035 = (/.f64 #s(literal 1 binary64) (pow.f64 %1029 #s(literal -1 binary64)))
x
#s(literal 1 binary64)
#s(literal -1/3 binary64)
#s(literal 1/3 binary64)
%9
%13
%17
%21
%23
%28
%30
%33
%36
%40
%43
%45
%47
%49
%52
%54
%57
%60
%63
%65
%68
%71
%74
%77
%80
%83
%85
%86
%91
%94
%96
%98
%99
%101
%102
%103
%105
%107
%108
%109
%111
%113
%115
%117
%118
%119
%121
%124
%127
%129
%131
%132
%134
%135
%136
%137
%138
%139
%141
%143
%145
%147
%148
%151
%153
%155
%159
%162
%166
%169
%172
%175
%176
%177
%178
%179
%182
%185
%188
%191
%194
%196
%198
%201
%204
%206
%208
%210
%212
%214
%216
%219
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%235
%237
%239
%241
%243
%245
%246
%249
%251
%252
%253
%254
%255
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%320
%321
%322
%323
%324
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%359
%360
%361
%362
%363
%364
%366
%4
%367
%368
%369
%370
%371
%372
(*.f64 %373 %25)
(*.f64 %375 #s(literal 1/2 binary64))
(*.f64 %377 #s(literal 1/2 binary64))
(*.f64 %379 %32)
(*.f64 %381 #s(literal -1/2 binary64))
(*.f64 %383 %39)
(*.f64 %385 #s(literal 1/2 binary64))
(*.f64 %66 #s(literal 2 binary64))
(*.f64 %69 %12)
(*.f64 %72 x)
(*.f64 %390 #s(literal 4 binary64))
(*.f64 %393 %394)
(*.f64 #s(literal 1/4 binary64) %397)
(*.f64 %399 %400)
(*.f64 %402 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %402)
(*.f64 %92 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %92)
(*.f64 #s(literal 2 binary64) %42)
(*.f64 %42 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %377)
(*.f64 #s(literal 1/2 binary64) %385)
(*.f64 #s(literal 1/2 binary64) %51)
(*.f64 %18 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %18)
(pow.f64 %18 #s(literal 1 binary64))
(pow.f64 x #s(literal -1 binary64))
(/.f64 %375 #s(literal 2 binary64))
(/.f64 %377 #s(literal 2 binary64))
(/.f64 %66 #s(literal 1/2 binary64))
(/.f64 %69 %12)
(/.f64 %72 %18)
(/.f64 #s(literal -2 binary64) %221)
(/.f64 #s(literal -2 binary64) %203)
(/.f64 %92 #s(literal -1 binary64))
(/.f64 %25 %26)
(/.f64 #s(literal -1 binary64) %25)
(/.f64 #s(literal 2 binary64) %6)
(/.f64 #s(literal 1/2 binary64) %16)
(/.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 %100))
%18
(/.f64 x %37)
(neg.f64 %92)
(fma.f64 %373 %25 %434)
(fma.f64 %373 %25 %436)
(fma.f64 %373 %25 %438)
(fma.f64 %375 #s(literal 1/2 binary64) %434)
(fma.f64 %375 #s(literal 1/2 binary64) %436)
(fma.f64 %375 #s(literal 1/2 binary64) %438)
(fma.f64 %377 #s(literal 1/2 binary64) %434)
(fma.f64 %377 #s(literal 1/2 binary64) %436)
(fma.f64 %377 #s(literal 1/2 binary64) %438)
(fma.f64 %446 %25 %42)
(fma.f64 %379 %32 %434)
(fma.f64 %379 %32 %436)
(fma.f64 %379 %32 %438)
(fma.f64 %381 #s(literal -1/2 binary64) %434)
(fma.f64 %381 #s(literal -1/2 binary64) %436)
(fma.f64 %381 #s(literal -1/2 binary64) %438)
(fma.f64 %383 %39 %434)
(fma.f64 %383 %39 %436)
(fma.f64 %383 %39 %438)
(fma.f64 %385 #s(literal 1/2 binary64) %434)
(fma.f64 %385 #s(literal 1/2 binary64) %436)
(fma.f64 %385 #s(literal 1/2 binary64) %438)
(fma.f64 %66 #s(literal 2 binary64) %434)
(fma.f64 %66 #s(literal 2 binary64) %436)
(fma.f64 %66 #s(literal 2 binary64) %438)
(fma.f64 %69 %12 %434)
(fma.f64 %69 %12 %436)
(fma.f64 %69 %12 %438)
(fma.f64 %72 x %434)
(fma.f64 %72 x %436)
(fma.f64 %72 x %438)
(fma.f64 %390 #s(literal 4 binary64) %434)
(fma.f64 %390 #s(literal 4 binary64) %436)
(fma.f64 %390 #s(literal 4 binary64) %438)
(fma.f64 %390 #s(literal 2 binary64) %42)
(fma.f64 %393 %394 %434)
(fma.f64 %393 %394 %436)
(fma.f64 %393 %394 %438)
(fma.f64 %393 %12 %42)
(fma.f64 #s(literal 1/4 binary64) %397 %434)
(fma.f64 #s(literal 1/4 binary64) %397 %436)
(fma.f64 #s(literal 1/4 binary64) %397 %438)
(fma.f64 #s(literal 1/4 binary64) %51 %42)
(fma.f64 %399 %400 %434)
(fma.f64 %399 %400 %436)
(fma.f64 %399 %400 %438)
(fma.f64 %399 x %42)
(fma.f64 %402 #s(literal -2 binary64) %434)
(fma.f64 %402 #s(literal -2 binary64) %436)
(fma.f64 %402 #s(literal -2 binary64) %438)
(fma.f64 %402 #s(literal -1 binary64) %42)
(fma.f64 #s(literal -2 binary64) %402 %434)
(fma.f64 #s(literal -2 binary64) %402 %436)
(fma.f64 #s(literal -2 binary64) %402 %438)
(fma.f64 %92 #s(literal -1/2 binary64) %42)
(fma.f64 %92 #s(literal -1 binary64) %434)
(fma.f64 %92 #s(literal -1 binary64) %436)
(fma.f64 %92 #s(literal -1 binary64) %438)
(fma.f64 #s(literal -1/2 binary64) %92 %42)
(fma.f64 #s(literal -1 binary64) %402 %42)
(fma.f64 #s(literal -1 binary64) %92 %434)
(fma.f64 #s(literal -1 binary64) %92 %436)
(fma.f64 #s(literal -1 binary64) %92 %438)
(fma.f64 #s(literal 2 binary64) %501 %42)
(fma.f64 #s(literal 2 binary64) %42 %434)
(fma.f64 #s(literal 2 binary64) %42 %436)
(fma.f64 #s(literal 2 binary64) %42 %438)
(fma.f64 %42 #s(literal 2 binary64) %434)
(fma.f64 %42 #s(literal 2 binary64) %436)
(fma.f64 %42 #s(literal 2 binary64) %438)
(fma.f64 %42 #s(literal 1 binary64) %42)
(fma.f64 #s(literal 1/2 binary64) %377 %434)
(fma.f64 #s(literal 1/2 binary64) %377 %436)
(fma.f64 #s(literal 1/2 binary64) %377 %438)
(fma.f64 #s(literal 1/2 binary64) %385 %434)
(fma.f64 #s(literal 1/2 binary64) %385 %436)
(fma.f64 #s(literal 1/2 binary64) %385 %438)
(fma.f64 #s(literal 1/2 binary64) %51 %434)
(fma.f64 #s(literal 1/2 binary64) %51 %436)
(fma.f64 #s(literal 1/2 binary64) %51 %438)
(fma.f64 #s(literal 1/2 binary64) %18 %42)
(fma.f64 %18 #s(literal 1/2 binary64) %42)
(fma.f64 %18 #s(literal 1 binary64) %434)
(fma.f64 %18 #s(literal 1 binary64) %436)
(fma.f64 %18 #s(literal 1 binary64) %438)
(fma.f64 #s(literal 1 binary64) %42 %42)
(fma.f64 #s(literal 1 binary64) %18 %434)
(fma.f64 #s(literal 1 binary64) %18 %436)
(fma.f64 #s(literal 1 binary64) %18 %438)
(-.f64 %385 %18)
(+.f64 %42 %42)
(+.f64 %18 %434)
(+.f64 %18 %436)
(+.f64 %18 %438)
#s(literal 1/2 binary64)
(*.f64 %446 %25)
(*.f64 %390 #s(literal 2 binary64))
(*.f64 %393 %12)
(*.f64 #s(literal 1/4 binary64) %51)
(*.f64 %399 x)
(*.f64 %402 #s(literal -1 binary64))
(*.f64 %92 #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) %92)
(*.f64 #s(literal -1 binary64) %402)
(*.f64 #s(literal 2 binary64) %501)
(*.f64 %42 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %18)
(*.f64 %18 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %42)
(pow.f64 %42 #s(literal 1 binary64))
(/.f64 %390 #s(literal 1/2 binary64))
(/.f64 %393 %12)
(/.f64 #s(literal 1/4 binary64) %16)
(/.f64 %399 %18)
(/.f64 %402 #s(literal -1 binary64))
(/.f64 #s(literal -1/2 binary64) %25)
(/.f64 %42 #s(literal 1 binary64))
%42
(/.f64 #s(literal 1 binary64) (pow.f64 %42 %100))
(/.f64 #s(literal 1 binary64) (pow.f64 %42 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %25 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) %56)
(neg.f64 %402)
#s(literal -2/3 binary64)
%564
%565
%567
%569
%570
%571
%572
%573
%574
%575
%576
%578
%579
%581
%583
%584
%24
%585
%586
%587
%588
%589
%590
%592
%593
%595
%597
%599
%601
%603
%605
%607
%609
%611
%613
%615
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%628
%630
%631
%635
%636
%638
%639
%641
%643
%645
%647
%648
%649
%650
%651
%652
%653
%655
%657
%658
%659
%660
%662
%663
%664
%666
%667
%668
%669
%670
%672
%673
%674
%675
%676
%677
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%693
%694
%696
%697
%698
%699
%700
%701
%702
%703
%704
%706
%707
%709
%710
%711
%712
%713
%714
%715
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
(*.f64 %116 x)
(*.f64 %22 %42)
(*.f64 %761 %25)
(*.f64 %763 %56)
(*.f64 %765 %59)
(*.f64 %767 %90)
(*.f64 %769 %62)
(*.f64 %771 %37)
(*.f64 %773 %774)
(*.f64 %776 %777)
(*.f64 %779 %780)
(*.f64 %782 #s(literal -1 binary64))
(*.f64 %784 %785)
(*.f64 %787 %67)
(*.f64 %789 %70)
(*.f64 %791 %93)
(*.f64 %793 %128)
(*.f64 %795 %73)
(*.f64 %797 x)
(*.f64 %46 %799)
(*.f64 %48 %801)
(*.f64 %50 %803)
(*.f64 %53 %72)
(*.f64 %55 #s(literal 2 binary64))
(*.f64 %58 %12)
(*.f64 %61 %51)
(*.f64 %64 x)
(*.f64 %66 %76)
(*.f64 %69 %79)
(*.f64 %72 %53)
(*.f64 %72 %133)
(*.f64 %72 %24)
(*.f64 %75 %815)
(*.f64 %78 %817)
(*.f64 %81 %819)
(*.f64 %88 #s(literal -1 binary64))
(*.f64 %92 %87)
(*.f64 %5 #s(literal 1 binary64))
(*.f64 %87 %92)
(*.f64 %95 %373)
(*.f64 %95 %785)
(*.f64 #s(literal -1 binary64) %827)
(*.f64 #s(literal -1 binary64) %829)
(*.f64 #s(literal 2 binary64) %831)
(*.f64 %4 %18)
(*.f64 %24 %72)
(*.f64 #s(literal 1/2 binary64) %836)
(*.f64 #s(literal 1/2 binary64) %838)
(*.f64 #s(literal 1/2 binary64) %82)
(*.f64 %18 %4)
(*.f64 #s(literal 1 binary64) %5)
(*.f64 x %843)
(*.f64 x %797)
(pow.f64 %5 #s(literal 1 binary64))
(/.f64 (*.f64 %18 %97) %37)
(/.f64 %123 %6)
(/.f64 (fma.f64 %716 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 2/3 binary64) %221) %203)
(/.f64 %55 #s(literal 1/2 binary64))
(/.f64 %58 %12)
(/.f64 %61 %16)
(/.f64 %64 %18)
(/.f64 (+.f64 #s(literal 2/3 binary64) %203) %203)
(/.f64 %130 %6)
(/.f64 (fma.f64 #s(literal 2 binary64) %25 #s(literal 2/3 binary64)) %221)
(/.f64 (*.f64 %97 #s(literal -1 binary64)) %160)
(/.f64 %205 %180)
(/.f64 (*.f64 #s(literal -1 binary64) %97) %160)
(/.f64 (*.f64 #s(literal -1 binary64) %95) %37)
(/.f64 %88 #s(literal -1 binary64))
(/.f64 %97 %180)
(/.f64 %5 #s(literal 1 binary64))
(/.f64 %87 %25)
(/.f64 %95 %26)
%5
(/.f64 %24 %37)
(/.f64 #s(literal 1 binary64) (pow.f64 %5 %100))
(/.f64 #s(literal 1 binary64) (/.f64 %25 %87))
(/.f64 #s(literal 1 binary64) (/.f64 x %4))
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(neg.f64 %827)
(neg.f64 (+.f64 %885 #s(literal -1 binary64)))
(neg.f64 (-.f64 %885 #s(literal 1 binary64)))
(neg.f64 %88)
(fma.f64 %116 x #s(literal 0 binary64))
(fma.f64 %22 %42 #s(literal 0 binary64))
(fma.f64 %761 %25 #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal -1/3 binary64) %26) %25 #s(literal 1 binary64))
(fma.f64 %763 %56 #s(literal 0 binary64))
(fma.f64 %765 %59 #s(literal 0 binary64))
(fma.f64 %767 %90 #s(literal 0 binary64))
(fma.f64 %769 %62 #s(literal 0 binary64))
(fma.f64 %771 %37 #s(literal 0 binary64))
(fma.f64 %773 %774 #s(literal 0 binary64))
(fma.f64 %776 %777 #s(literal 0 binary64))
(fma.f64 %779 %780 #s(literal 0 binary64))
(fma.f64 %782 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %784 %785 #s(literal 0 binary64))
(fma.f64 %787 %67 #s(literal 0 binary64))
(fma.f64 %789 %70 #s(literal 0 binary64))
(fma.f64 %791 %93 #s(literal 0 binary64))
(fma.f64 %793 %128 #s(literal 0 binary64))
(fma.f64 %795 %73 #s(literal 0 binary64))
(fma.f64 %797 x #s(literal 0 binary64))
(fma.f64 %46 %799 #s(literal 0 binary64))
(fma.f64 %48 %801 #s(literal 0 binary64))
(fma.f64 %50 %803 #s(literal 0 binary64))
(fma.f64 %53 %72 #s(literal 0 binary64))
(fma.f64 (/.f64 #s(literal -1/3 binary64) %37) x #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -2/3 binary64) %6) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -2/3 binary64) %10) %32 #s(literal 1 binary64))
(fma.f64 %922 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -2/3 binary64) %37) %39 #s(literal 1 binary64))
(fma.f64 %55 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %58 %12 #s(literal 0 binary64))
(fma.f64 %61 %51 #s(literal 0 binary64))
(fma.f64 %64 x #s(literal 0 binary64))
(fma.f64 %66 %76 #s(literal 0 binary64))
(fma.f64 %69 %79 #s(literal 0 binary64))
(fma.f64 %72 %53 #s(literal 0 binary64))
(fma.f64 %72 %133 #s(literal 0 binary64))
(fma.f64 %72 %24 #s(literal 0 binary64))
(fma.f64 %390 #s(literal -4/3 binary64) #s(literal 1 binary64))
(fma.f64 %393 (/.f64 #s(literal -2/3 binary64) %12) #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) (/.f64 #s(literal -2/3 binary64) %16) #s(literal 1 binary64))
(fma.f64 %399 (/.f64 #s(literal -2/3 binary64) %18) #s(literal 1 binary64))
(fma.f64 %75 %815 #s(literal 0 binary64))
(fma.f64 %78 %817 #s(literal 0 binary64))
(fma.f64 %81 %819 #s(literal 0 binary64))
(fma.f64 %835 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %88 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %402 #s(literal 2/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2/3 binary64) %402 #s(literal 1 binary64))
(fma.f64 %92 %87 #s(literal 0 binary64))
(fma.f64 %5 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %87 %92 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) (*.f64 %92 #s(literal -2/3 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %922 #s(literal 1 binary64))
(fma.f64 %95 %373 #s(literal 0 binary64))
(fma.f64 %95 %785 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %827 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %829 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %831 #s(literal 0 binary64))
(fma.f64 %716 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %4 %18 #s(literal 0 binary64))
(fma.f64 %24 %72 #s(literal 0 binary64))
(fma.f64 #s(literal -2/3 binary64) %42 #s(literal 1 binary64))
(fma.f64 %42 #s(literal -2/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %836 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %838 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %82 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %835 #s(literal 1 binary64))
(fma.f64 %18 %4 #s(literal 0 binary64))
(fma.f64 %18 #s(literal -1/3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/3 binary64) %92 #s(literal 1 binary64))
(fma.f64 #s(literal -1/3 binary64) %18 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %5 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %716 #s(literal 1 binary64))
(fma.f64 x %843 #s(literal 0 binary64))
(fma.f64 x %797 #s(literal 0 binary64))
(-.f64 (+.f64 %716 #s(literal 2 binary64)) #s(literal 1 binary64))
(-.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) %716))
(-.f64 #s(literal 2 binary64) (+.f64 #s(literal 1 binary64) %885))
(-.f64 %716 #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) %885)
(+.f64 (+.f64 %716 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 %5 #s(literal 0 binary64))
(+.f64 %716 #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 1/2 binary64) %716))
(+.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) %885))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %716))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %885))
(+.f64 #s(literal 1 binary64) %716)
%9
%13
%17
%21
%23
%28
%30
%33
%36
%40
%43
%45
%47
%49
%52
%54
%57
%60
%63
%65
%68
%71
%74
%77
%80
%83
%85
%86
%91
%94
%96
%98
%99
%101
%102
%103
%105
%107
%108
%109
%111
%113
%115
%117
%118
%119
%121
%124
%127
%129
%131
%132
%134
%135
%136
%137
%138
%139
%141
%143
%145
%147
%148
%151
%153
%155
%159
%162
%166
%169
%172
%175
%176
%177
%178
%179
%182
%185
%188
%191
%194
%196
%198
%201
%204
%206
%208
%210
%212
%214
%216
%219
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%235
%237
%239
%241
%243
%245
%246
%249
%251
%252
%253
%254
%255
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%320
%321
%322
%323
%324
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%359
%360
%361
%362
%363
%364
%366
%4
%367
%368
%369
%370
%371
%372
(*.f64 %632 #s(literal 1/2 binary64))
(*.f64 %637 %12)
(*.f64 %6 #s(literal -1/6 binary64))
(*.f64 %671 #s(literal 1/2 binary64))
(*.f64 %16 #s(literal -2/3 binary64))
(*.f64 %678 %18)
(*.f64 %156 #s(literal -1 binary64))
(*.f64 %10 %692)
(*.f64 %25 #s(literal 1/3 binary64))
(*.f64 #s(literal 2 binary64) %705)
(*.f64 %37 %716)
(*.f64 %163 #s(literal 1 binary64))
(*.f64 #s(literal -2/3 binary64) %16)
(*.f64 #s(literal 1/2 binary64) %671)
(*.f64 #s(literal 1/3 binary64) %25)
%163
(*.f64 #s(literal 1 binary64) %163)
(*.f64 x #s(literal -1/3 binary64))
(pow.f64 %163 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1/3 binary64) %26) %25)
(/.f64 (*.f64 %26 #s(literal -1/3 binary64)) %25)
(/.f64 %678 x)
(/.f64 #s(literal 1 binary64) (pow.f64 %163 %100))
(/.f64 #s(literal 1 binary64) (pow.f64 %163 #s(literal -1 binary64)))
(neg.f64 %156)
%564
%565
%567
%569
%570
%571
%572
%573
%574
%575
%576
%578
%579
%581
%583
%584
%24
%585
%586
%587
%588
%589
%590
%592
%593
%595
%597
%599
%601
%603
%605
%607
%609
%611
%613
%615
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%628
%630
%631
%635
%636
%638
%639
%641
%643
%645
%647
%648
%649
%650
%651
%652
%653
%655
%657
%658
%659
%660
%662
%663
%664
%666
%667
%668
%669
%670
%672
%673
%674
%675
%676
%677
%679
%680
%681
%682
%683
%684
%685
%686
%687
%688
%689
%690
%691
%693
%694
%696
%697
%698
%699
%700
%701
%702
%703
%704
%706
%707
%709
%710
%711
%712
%713
%714
%715
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%9
%13
%17
%21
%23
%28
%30
%33
%36
%40
%43
%45
%47
%49
%52
%54
%57
%60
%63
%65
%68
%71
%74
%77
%80
%83
%85
%86
%91
%94
%96
%98
%99
%101
%102
%103
%105
%107
%108
%109
%111
%113
%115
%117
%118
%119
%121
%124
%127
%129
%131
%132
%134
%135
%136
%137
%138
%139
%141
%143
%145
%147
%148
%151
%153
%155
%159
%162
%166
%169
%172
%175
%176
%177
%178
%179
%182
%185
%188
%191
%194
%196
%198
%201
%204
%206
%208
%210
%212
%214
%216
%219
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%235
%237
%239
%241
%243
%245
%246
%249
%251
%252
%253
%254
%255
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%320
%321
%322
%323
%324
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%359
%360
%361
%362
%363
%364
%366
%4
%367
%368
%369
%370
%371
%372
%9
%13
%17
%21
%23
%28
%30
%33
%36
%40
%43
%45
%47
%49
%52
%54
%57
%60
%63
%65
%68
%71
%74
%77
%80
%83
%85
%86
%91
%94
%96
%98
%99
%101
%102
%103
%105
%107
%108
%109
%111
%113
%115
%117
%118
%119
%121
%124
%127
%129
%131
%132
%134
%135
%136
%137
%138
%139
%141
%143
%145
%147
%148
%151
%153
%155
%159
%162
%166
%169
%172
%175
%176
%177
%178
%179
%182
%185
%188
%191
%194
%196
%198
%201
%204
%206
%208
%210
%212
%214
%216
%219
%222
%224
%226
%228
%229
%230
%231
%232
%233
%234
%235
%237
%239
%241
%243
%245
%246
%249
%251
%252
%253
%254
%255
%256
%257
%258
%259
%260
%261
%262
%263
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%320
%321
%322
%323
%324
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%338
%339
%340
%341
%342
%343
%344
%345
%346
%347
%348
%349
%350
%351
%352
%353
%354
%355
%356
%357
%358
%359
%360
%361
%362
%363
%364
%366
%4
%367
%368
%369
%370
%371
%372
%1030
%1031
%1029
%1033
%1035
%1030
%1031
%1029
%1033
%1035
%1030
%1031
%1029
%1033
%1035
reconstruct156.0ms (10.2%)
Counts
1 643 → 210
Compiler
Compiled 1 643 to 1 041 computations (36.6% saved)
eval12.0ms (0.8%)
Compiler
Compiled 150 to 344 computations (-129.3% saved)
prune2.0ms (0.1%)
Pruning
5 alts after pruning (0 fresh and 5 done)
PrunedKeptTotal
New1500150
Fresh000
Picked033
Done022
Total1505155
Accuracy
100.0%
Counts
155 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 x #s(literal 6004799503160661/18014398509481984 binary64))
✓74.0%
(approx (- x 1/3) (/.f64 (fma.f64 x x (*.f64 #s(literal -1/3 binary64) x)) x))
✓73.8%
(approx (- x 1/3) (*.f64 (*.f64 x (-.f64 x #s(literal 1/3 binary64))) (/.f64 #s(literal 1 binary64) x)))
✓99.8%
(approx (- x 1/3) (*.f64 x (fma.f64 #s(literal -2/3 binary64) (/.f64 #s(literal 1/2 binary64) x) #s(literal 1 binary64))))
✓46.1%
(approx (- x 1/3) #s(literal -1/3 binary64))
Compiler
Compiled 5 to 18 computations (-260.0% saved)
regimes9.0ms (0.6%)
Accuracy
Total -0.0b remaining (-0.0%)
Threshold costs -0.0b (-0.0%)
0.0b0%
-0.0b-0.0%
Counts
1 → 1
2 → 1
Calls
Call 1
Inputs
(approx (- x 1/3) #s(literal -1/3 binary64))
Outputs
(approx (- x 1/3) #s(literal -1/3 binary64))
Call 2
Inputs
(approx (- x 1/3) #s(literal -1/3 binary64))
(-.f64 x #s(literal 6004799503160661/18014398509481984 binary64))
Outputs
(-.f64 x #s(literal 6004799503160661/18014398509481984 binary64))
Calls
2 calls:
4.0ms
x
3.0ms
(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))
Results
AccuracySegmentsBranch
46.1%1
x
46.1%1
(-.f64 x (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))
Compiler
Compiled 9 to 29 computations (-222.2% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations1.0ms (0.1%)
Stop Event
1×done
Compiler
Compiled 2 to 4 computations (-100.0% saved)
preprocess13.0ms (0.9%)
Compiler
Compiled 3 to 9 computations (-200.0% saved)
end0.0ms (0.0%)
gc345ms (22.6%)
Allocations
AllocatedPercentPhase
467.0 MiB31.9%sample
459.7 MiB31.4%rewrite
342.2 MiB23.4%reconstruct
72.9 MiB5.0%preprocess
57.8 MiB3.9%series
27.7 MiB1.9%eval
20.6 MiB1.4%regimes
12.0 MiB0.8%prune
2.8 MiB0.2%derivations
1.1 MiB0.1%analyze
0.3 MiB0.0%bsearch
0.1 MiB0.0%end
0.1 MiB0.0%start
1 464.3 MiB100.0%total
Profiling
Loading profile data...