init-F

Time bar (total: 2.5min)

start0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze326.0ms (0.2%)

Memory
3.0MiB live, 34.7MiB allocated; 1ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%99.9%0.1%0.0%0.0%0.0%2
0.0%0.0%99.9%0.1%0.0%0.0%0.0%3
25.0%25.0%74.9%0.1%0.0%0.0%0.0%4
37.5%37.5%62.4%0.1%0.0%0.0%0.0%5
62.5%62.4%37.5%0.1%0.0%0.0%0.0%6
68.8%68.7%31.2%0.1%0.0%0.0%0.0%7
81.3%81.2%18.7%0.1%0.0%0.0%0.0%8
84.4%84.3%15.6%0.1%0.0%0.0%0.0%9
90.6%90.5%9.4%0.1%0.0%0.0%0.0%10
92.2%92.1%7.8%0.1%0.0%0.0%0.0%11
95.3%95.2%4.7%0.1%0.0%0.0%0.0%12
Compiler

Compiled 28 to 14 computations (50.0% saved)

sample5.4s (3.6%)

Memory
-18.0MiB live, 1 311.9MiB allocated; 164ms collecting garbage
Samples
3.6s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 761.0ms
ival-mult!: 231.0ms (30.3% of total, 61.3 MiB)
ival-sub!: 186.0ms (24.4% of total, 37.4 MiB)
ival-sqrt!: 176.0ms (23.1% of total, 46.9 MiB)
ival-if: 70.0ms (9.2% of total, 23.9 MiB)
adjust: 49.0ms (6.4% of total, 1.4 MiB)
ival-neg!: 48.0ms (6.3% of total, 3.1 MiB)
ival-<=: 1.0ms (0.1% of total, 0.2 MiB)
ival-<: 1.0ms (0.1% of total, 0.1 MiB)
Bogosity

preprocess349.0ms (0.2%)

Memory
-6.9MiB live, 19.5MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034160
1115160
2264160
3992160
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶77.8%
%3 = (-.f64 (*.f64 D D) #s(literal 1 binary64))
%8 = (sqrt.f64 %3)
(if.f64 (<=.f64 %3 #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (neg.f64 %8) %8))
Symmetry

(abs D)

Compiler

Compiled 52 to 24 computations (53.8% saved)

sample0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series2.1s (1.4%)
Memory
3.3MiB live, 130.2MiB allocated; 25ms collecting garbage
Counts
12 → 32
Calls
Call 1
Inputs
%1 = (*.f64 D D)
%3 = (-.f64 %1 #s(literal 1 binary64))
%5 = (<=.f64 %3 #s(literal 0 binary64))
%7 = (<.f64 phi0 #s(literal 0 binary64))
%8 = (sqrt.f64 %3)
%9 = (neg.f64 %8)
%10 = (if.f64 %7 %9 %8)
D
%1
#s(literal 1 binary64)
%3
#s(literal 0 binary64)
%5
phi0
%7
%8
%9
%10
(if.f64 %5 #s(literal 0 binary64) %10)
Outputs
%4 = (* D D)
%6 = (pow.f64 D #s(literal 2 binary64))
%9 = (- %4 1)
%13 = (-.f64 %6 #s(literal 1 binary64))
%16 = (<= %9 0)
%17 = (<=.f64 %13 #s(literal 0 binary64))
%19 = (sqrt %9)
%20 = (sqrt.f64 #s(literal -1 binary64))
%23 = (/.f64 %6 %20)
%29 = (pow.f64 %20 #s(literal 3 binary64))
%30 = (/.f64 %6 %29)
%32 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %20))
%40 = (/.f64 %6 (pow.f64 %20 #s(literal 5 binary64)))
%44 = (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %29))
%50 = (neg %19)
%70 = (< phi0 0)
%71 = (if %70 %50 %19)
%72 = (<.f64 phi0 #s(literal 0 binary64))
%73 = (sqrt.f64 %13)
%75 = (if.f64 %72 (neg.f64 %73) %73)
%80 = (/.f64 #s(literal 1 binary64) %6)
%84 = (*.f64 #s(literal 1/2 binary64) %80)
%86 = (*.f64 D (-.f64 #s(literal 1 binary64) %84))
%93 = (*.f64 D (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/8 binary64) %80)) %6))))
%98 = (pow.f64 D #s(literal 4 binary64))
%103 = (*.f64 D (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 1/16 binary64) %80)) %98))) %84))
%108 = (*.f64 D (-.f64 %84 #s(literal 1 binary64)))
%110 = (/.f64 #s(literal 1/8 binary64) %98)
%113 = (*.f64 D (-.f64 (+.f64 %110 %84) #s(literal 1 binary64)))
%122 = (*.f64 D (-.f64 (+.f64 %110 (fma.f64 #s(literal 1/2 binary64) %80 (*.f64 #s(literal 1/16 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 D #s(literal 6 binary64)))))) #s(literal 1 binary64)))
(approx D #s(literal 0 binary64))
(approx D D)
(approx %4 %6)
(approx %9 #s(literal -1 binary64))
(approx %9 %13)
(approx %16 %17)
(approx %19 %20)
(approx %19 (+.f64 %20 (*.f64 #s(literal 1/2 binary64) %23)))
(approx %19 (+.f64 %20 (*.f64 %6 (fma.f64 #s(literal -1/8 binary64) %30 %32))))
(approx %19 (+.f64 %20 (*.f64 %6 (fma.f64 %6 (-.f64 (*.f64 #s(literal 1/16 binary64) %40) %44) %32))))
(approx %50 (*.f64 #s(literal -1 binary64) %20))
(approx %50 (-.f64 (*.f64 #s(literal -1/2 binary64) %23) %20))
(approx %50 (-.f64 (*.f64 %6 (-.f64 (*.f64 #s(literal 1/8 binary64) %30) %32)) %20))
(approx %50 (-.f64 (*.f64 %6 (-.f64 (*.f64 %6 (fma.f64 #s(literal -1/16 binary64) %40 %44)) %32)) %20))
(approx %71 %75)
(approx (if %16 0 %71) (if.f64 %17 #s(literal 0 binary64) %75))
(approx %9 (*.f64 %6 (-.f64 #s(literal 1 binary64) %80)))
(approx %19 %86)
(approx %19 %93)
(approx %19 %103)
(approx %50 (*.f64 #s(literal -1 binary64) D))
(approx %50 %108)
(approx %50 %113)
(approx %50 %122)
(approx %19 (*.f64 #s(literal -1 binary64) %86))
(approx %19 (*.f64 #s(literal -1 binary64) %93))
(approx %19 (*.f64 #s(literal -1 binary64) %103))
(approx %50 (*.f64 #s(literal -1 binary64) %108))
(approx %50 (*.f64 #s(literal -1 binary64) %113))
(approx %50 (*.f64 #s(literal -1 binary64) %122))
(approx phi0 phi0)
(approx %70 %72)
Calls
6 calls:
TimeVariablePoint
20.0ms
D
inf
1.0ms
D
0
1.0ms
D
-inf
0.0ms
phi0
-inf
0.0ms
phi0
inf
rewrite3.7s (2.5%)
Memory
5.1MiB live, 68.0MiB allocated; 5ms collecting garbage
Counts
12 → 1 540
Calls
Call 1
Inputs
%1 = (*.f64 D D)
%3 = (-.f64 %1 #s(literal 1 binary64))
%5 = (<=.f64 %3 #s(literal 0 binary64))
%7 = (<.f64 phi0 #s(literal 0 binary64))
%8 = (sqrt.f64 %3)
%9 = (neg.f64 %8)
%10 = (if.f64 %7 %9 %8)
D
%1
#s(literal 1 binary64)
%3
#s(literal 0 binary64)
%5
phi0
%7
%8
%9
%10
(if.f64 %5 #s(literal 0 binary64) %10)
Outputs
%1 = (neg.f64 D)
%35 = (-.f64 D #s(literal 1 binary64))
%37 = (+.f64 #s(literal -1/2 binary64) D)
%39 = (-.f64 #s(literal 1 binary64) D)
%43 = (-.f64 #s(literal 1/2 binary64) D)
%45 = (fabs.f64 #s(literal 0 binary64))
%49 = (+.f64 #s(literal 1 binary64) #s(literal 2 binary64))
%51 = (+.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
%53 = (+.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
%55 = (+.f64 #s(literal 2 binary64) #s(literal 1 binary64))
%57 = (-.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
%68 = (-.f64 #s(literal -2 binary64) #s(literal -2 binary64))
%75 = (/.f64 #s(literal 1/2 binary64) #s(literal -2 binary64))
%77 = (/.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
%79 = (/.f64 #s(literal 0 binary64) #s(literal 1/2 binary64))
%82 = (*.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
%84 = (*.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64))
%86 = (*.f64 #s(literal 1/2 binary64) #s(literal 1/4 binary64))
%88 = (/.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64))
%90 = (/.f64 #s(literal 1/4 binary64) #s(literal 1 binary64))
%92 = (/.f64 #s(literal 1/2 binary64) #s(literal 1/4 binary64))
%94 = (/.f64 #s(literal -1 binary64) #s(literal -1/2 binary64))
%96 = (/.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%98 = (/.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
%100 = (/.f64 #s(literal -1/2 binary64) #s(literal 2 binary64))
%102 = (/.f64 #s(literal 1/4 binary64) #s(literal -1/2 binary64))
%104 = (/.f64 #s(literal -1 binary64) #s(literal 1/2 binary64))
%106 = (/.f64 #s(literal 1 binary64) #s(literal -1/2 binary64))
%108 = (/.f64 #s(literal 1/4 binary64) #s(literal 2 binary64))
%112 = (/.f64 #s(literal 4 binary64) #s(literal 1 binary64))
%114 = (/.f64 #s(literal 1 binary64) #s(literal 1/4 binary64))
%119 = (/.f64 #s(literal -2 binary64) #s(literal 1 binary64))
%125 = (sqrt.f64 #s(literal 2 binary64))
%126 = (sqrt.f64 #s(literal 1/2 binary64))
%129 = (/.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
%131 = (*.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%132 = (*.f64 #s(literal 1/4 binary64) #s(literal 1/4 binary64))
%135 = (+.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%136 = (/.f64 #s(literal 2 binary64) %135)
%138 = (/.f64 #s(literal 1 binary64) %135)
%141 = (/.f64 #s(literal 2 binary64) #s(literal -1 binary64))
%142 = (/.f64 #s(literal 1/2 binary64) #s(literal -1 binary64))
%144 = (/.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))
%146 = (/.f64 #s(literal 2 binary64) #s(literal -1/2 binary64))
%150 = (/.f64 #s(literal -1 binary64) #s(literal 4 binary64))
%152 = (/.f64 #s(literal -1 binary64) #s(literal 1/4 binary64))
%155 = (/.f64 #s(literal -2 binary64) #s(literal 1/2 binary64))
%157 = (/.f64 #s(literal -1/2 binary64) #s(literal 4 binary64))
%160 = (/.f64 #s(literal -2 binary64) #s(literal -1 binary64))
%161 = (/.f64 #s(literal -1/2 binary64) #s(literal -1 binary64))
%163 = (/.f64 #s(literal -2 binary64) #s(literal 1/4 binary64))
%165 = (/.f64 #s(literal -2 binary64) #s(literal 4 binary64))
%166 = (/.f64 #s(literal -1/2 binary64) #s(literal 1/4 binary64))
%168 = (/.f64 #s(literal 4 binary64) #s(literal 1/2 binary64))
%170 = (/.f64 #s(literal 1/4 binary64) #s(literal 4 binary64))
%172 = (/.f64 #s(literal 4 binary64) #s(literal -1 binary64))
%173 = (/.f64 #s(literal 1/4 binary64) #s(literal -1 binary64))
%175 = (/.f64 #s(literal 4 binary64) #s(literal 1/4 binary64))
%183 = (/.f64 #s(literal 1/4 binary64) #s(literal -2 binary64))
%184 = (/.f64 #s(literal 4 binary64) #s(literal -1/2 binary64))
%187 = (exp.f64 #s(literal 1 binary64))
%188 = (exp.f64 #s(literal -1 binary64))
%190 = (exp.f64 #s(literal 1/2 binary64))
%191 = (exp.f64 #s(literal -1/2 binary64))
%194 = (pow.f64 #s(literal 2 binary64) #s(literal 3 binary64))
%195 = (pow.f64 #s(literal 1/2 binary64) #s(literal 3 binary64))
%198 = (pow.f64 #s(literal -2 binary64) #s(literal 3 binary64))
%199 = (pow.f64 #s(literal -1/2 binary64) #s(literal 3 binary64))
%201 = (pow.f64 #s(literal 4 binary64) #s(literal 3 binary64))
%202 = (pow.f64 #s(literal 1/4 binary64) #s(literal 3 binary64))
%205 = (*.f64 D D)
%207 = (neg.f64 %205)
%209 = (fabs.f64 D)
%221 = (neg.f64 %209)
%231 = (*.f64 %205 %205)
%233 = (sqrt.f64 %209)
%234 = (*.f64 %233 %209)
%236 = (*.f64 %209 %233)
%242 = (pow.f64 D #s(literal 1 binary64))
%252 = (pow.f64 %1 #s(literal 1 binary64))
%254 = (pow.f64 %209 #s(literal 1 binary64))
%256 = (fabs.f64 %242)
%262 = (fabs.f64 %252)
%264 = (fabs.f64 %254)
%268 = (pow.f64 %221 #s(literal 1 binary64))
%270 = (pow.f64 %205 #s(literal 0 binary64))
%273 = (*.f64 %254 %233)
%357 = (+.f64 #s(literal -1/2 binary64) #s(literal 1 binary64))
%359 = (-.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
%364 = (*.f64 #s(literal 1/2 binary64) #s(literal 3/2 binary64))
%366 = (*.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64))
%370 = (neg.f64 #s(literal 4 binary64))
%372 = (neg.f64 #s(literal 1/4 binary64))
%377 = (/.f64 #s(literal 3/2 binary64) #s(literal 2 binary64))
%424 = (+.f64 #s(literal -2 binary64) #s(literal -2 binary64))
%426 = (-.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%441 = (*.f64 #s(literal 4 binary64) #s(literal -1/2 binary64))
%447 = (*.f64 #s(literal 1/4 binary64) #s(literal -1 binary64))
%451 = (*.f64 #s(literal 4 binary64) #s(literal 2 binary64))
%453 = (*.f64 #s(literal 4 binary64) #s(literal -1 binary64))
%455 = (*.f64 #s(literal 2 binary64) #s(literal -2 binary64))
%458 = (*.f64 #s(literal -1 binary64) #s(literal 4 binary64))
%460 = (*.f64 #s(literal -1 binary64) #s(literal 1/4 binary64))
%507 = (*.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%511 = (*.f64 #s(literal -2 binary64) #s(literal 4 binary64))
%514 = (*.f64 #s(literal 4 binary64) #s(literal -2 binary64))
%559 = (/.f64 #s(literal -2 binary64) %135)
%562 = (+.f64 #s(literal 0 binary64) %135)
%579 = (+.f64 #s(literal 0 binary64) %451)
%583 = (+.f64 #s(literal 0 binary64) %455)
%586 = (+.f64 #s(literal 0 binary64) %507)
%589 = (+.f64 #s(literal 0 binary64) %511)
%593 = (+.f64 #s(literal 0 binary64) %514)
%641 = (*.f64 #s(literal 0 binary64) #s(literal 3 binary64))
%699 = (exp.f64 #s(literal 2 binary64))
%708 = (*.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
%726 = (cosh.f64 #s(literal 1 binary64))
%727 = (cosh.f64 #s(literal -1 binary64))
%728 = (sinh.f64 #s(literal 1 binary64))
%729 = (sinh.f64 #s(literal -1 binary64))
%730 = (*.f64 %728 %729)
%732 = (cosh.f64 #s(literal 1/2 binary64))
%733 = (cosh.f64 #s(literal -1/2 binary64))
%734 = (sinh.f64 #s(literal 1/2 binary64))
%735 = (sinh.f64 #s(literal -1/2 binary64))
%736 = (*.f64 %734 %735)
%745 = (cosh.f64 #s(literal 2 binary64))
%747 = (sinh.f64 #s(literal 2 binary64))
%753 = (fma.f64 D D #s(literal -1 binary64))
%758 = (-.f64 #s(literal 1 binary64) %205)
%765 = (fma.f64 D D #s(literal -1/2 binary64))
%778 = (+.f64 #s(literal 0 binary64) %205)
%780 = (-.f64 %205 #s(literal 0 binary64))
%782 = (+.f64 #s(literal -1/2 binary64) %205)
%784 = (-.f64 D #s(literal -1 binary64))
%787 = (-.f64 #s(literal -1 binary64) D)
%798 = (-.f64 #s(literal 0 binary64) %207)
%800 = (-.f64 #s(literal -1/2 binary64) %207)
%806 = (-.f64 %209 #s(literal -1 binary64))
%807 = (-.f64 %209 #s(literal 1 binary64))
%810 = (-.f64 #s(literal -1 binary64) %209)
%811 = (-.f64 #s(literal 1 binary64) %209)
%814 = (fabs.f64 %784)
%815 = (fabs.f64 %35)
%818 = (-.f64 %753 #s(literal 1 binary64))
%822 = (-.f64 %753 #s(literal 1/2 binary64))
%852 = (*.f64 %35 D)
%854 = (*.f64 %784 D)
%868 = (fma.f64 #s(literal 2 binary64) %205 #s(literal -2 binary64))
%870 = (fabs.f64 %807)
%893 = (*.f64 %787 %1)
%895 = (*.f64 %1 %787)
%929 = (fabs.f64 %868)
%936 = (*.f64 %35 #s(literal 0 binary64))
%938 = (*.f64 %787 #s(literal 0 binary64))
%940 = (*.f64 #s(literal 0 binary64) %35)
%942 = (*.f64 #s(literal 0 binary64) %787)
%950 = (-.f64 %852 #s(literal 0 binary64))
%966 = (*.f64 #s(literal 1 binary64) %784)
%970 = (*.f64 #s(literal -1 binary64) %35)
%972 = (*.f64 %807 #s(literal 0 binary64))
%974 = (*.f64 #s(literal 0 binary64) %807)
%984 = (*.f64 %39 #s(literal -1 binary64))
%986 = (*.f64 #s(literal -1 binary64) %39)
%988 = (fma.f64 #s(literal 2 binary64) D #s(literal -2 binary64))
%991 = (fma.f64 #s(literal 2 binary64) D #s(literal 2 binary64))
%1023 = (/.f64 %868 #s(literal 4 binary64))
%1027 = (*.f64 #s(literal 2 binary64) %787)
%1030 = (*.f64 %39 #s(literal 2 binary64))
%1037 = (*.f64 %753 %753)
%1051 = (-.f64 D #s(literal -1/2 binary64))
%1052 = (*.f64 %1051 %35)
%1054 = (*.f64 %43 %787)
%1061 = (*.f64 %35 %1051)
%1067 = (*.f64 %35 #s(literal 1/2 binary64))
%1069 = (*.f64 #s(literal 1/2 binary64) %35)
%1071 = (*.f64 %787 %43)
%1073 = (*.f64 %787 #s(literal 1/2 binary64))
%1079 = (*.f64 #s(literal 1/2 binary64) %787)
%1085 = (*.f64 %209 %807)
%1087 = (*.f64 #s(literal -1 binary64) %806)
%1089 = (*.f64 #s(literal 1 binary64) %807)
%1091 = (*.f64 %806 #s(literal -1 binary64))
%1093 = (*.f64 %807 %209)
%1095 = (*.f64 %807 #s(literal 1 binary64))
%1098 = (*.f64 #s(literal -1/2 binary64) %784)
%1100 = (*.f64 #s(literal -2 binary64) %784)
%1104 = (*.f64 #s(literal 1/2 binary64) %784)
%1106 = (*.f64 #s(literal -1/2 binary64) %35)
%1108 = (*.f64 #s(literal 1/4 binary64) %35)
%1110 = (*.f64 #s(literal 4 binary64) %35)
%1113 = (*.f64 %784 #s(literal 1/2 binary64))
%1115 = (*.f64 %784 #s(literal 1 binary64))
%1117 = (*.f64 %784 #s(literal -1/2 binary64))
%1119 = (*.f64 %784 #s(literal -2 binary64))
%1121 = (*.f64 %35 #s(literal -1 binary64))
%1123 = (*.f64 %35 #s(literal -2 binary64))
%1125 = (*.f64 %35 #s(literal 1/4 binary64))
%1127 = (*.f64 %35 #s(literal 4 binary64))
%1129 = (*.f64 %35 #s(literal 2 binary64))
%1132 = (fma.f64 %209 #s(literal 2 binary64) #s(literal -2 binary64))
%1135 = (fma.f64 %209 #s(literal 2 binary64) #s(literal 2 binary64))
%1175 = (sqrt.f64 %753)
%1200 = (/.f64 %868 %135)
%1249 = (-.f64 %209 #s(literal -1/2 binary64))
%1250 = (*.f64 %807 #s(literal 1/2 binary64))
%1252 = (*.f64 #s(literal 1/2 binary64) %807)
%1277 = (neg.f64 %1175)
%1284 = (/.f64 %988 #s(literal 4 binary64))
%1296 = (/.f64 %1027 #s(literal 4 binary64))
%1304 = (sqrt.f64 %814)
%1305 = (*.f64 %815 %1304)
%1307 = (*.f64 %1304 %815)
%1309 = (sqrt.f64 %815)
%1310 = (*.f64 %1309 %814)
%1314 = (*.f64 %814 %1309)
%1322 = (/.f64 %988 %135)
%1329 = (/.f64 %1027 %135)
%1359 = (sqrt.f64 %806)
%1360 = (sqrt.f64 %870)
%1361 = (*.f64 %1360 %1175)
%1363 = (*.f64 %1175 %1359)
%1372 = (neg.f64 %1309)
%1373 = (*.f64 %1372 %1277)
%1375 = (neg.f64 %1304)
%1376 = (*.f64 %1309 %1277)
%1378 = (*.f64 %1277 %1304)
%1380 = (*.f64 %1277 %1375)
%1433 = (pow.f64 %753 #s(literal 0 binary64))
%1436 = (sqrt.f64 %1175)
%1437 = (*.f64 %1436 %1175)
%1439 = (*.f64 %1175 %1436)
%1453 = (*.f64 %1359 %1359)
%1454 = (*.f64 %1360 %1360)
%1478 = (pow.f64 %1175 #s(literal 1 binary64))
%1617 = (-.f64 #s(literal 2 binary64) #s(literal 4 binary64))
%1619 = (-.f64 #s(literal 3/2 binary64) #s(literal 2 binary64))
%1761 = (*.f64 %135 #s(literal 0 binary64))
%1763 = (*.f64 #s(literal 0 binary64) %135)
%1797 = (-.f64 %135 %135)
%1887 = (tanh.f64 #s(literal 1 binary64))
%1888 = (tanh.f64 #s(literal -1 binary64))
%1893 = (tanh.f64 #s(literal 1/2 binary64))
%1894 = (tanh.f64 #s(literal -1/2 binary64))
%1899 = (*.f64 %726 %729)
%1901 = (*.f64 %732 %735)
%1916 = (<=.f64 %753 #s(literal 0 binary64))
%1918 = (<.f64 phi0 #s(literal 0 binary64))
%1938 = (neg.f64 %1436)
%1961 = (if.f64 %1918 %1277 %1175)
D
(neg.f64 %1)
(+.f64 D #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) D)
(-.f64 #s(literal 0 binary64) %1)
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal 3/2 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) D)
(fma.f64 #s(literal 0 binary64) #s(literal 1/4 binary64) D)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal 3/2 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) D)
(fma.f64 #s(literal 1/4 binary64) #s(literal 0 binary64) D)
(+.f64 #s(literal 1 binary64) %35)
(+.f64 #s(literal 1/2 binary64) %37)
(-.f64 #s(literal 1 binary64) %39)
(-.f64 #s(literal 2 binary64) (-.f64 #s(literal 2 binary64) D))
(-.f64 #s(literal 1/2 binary64) %43)
(fma.f64 %45 %45 D)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %35)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %37)
(fma.f64 #s(literal 0 binary64) %49 D)
(fma.f64 #s(literal 0 binary64) %51 D)
(fma.f64 #s(literal 0 binary64) %53 D)
(fma.f64 #s(literal 0 binary64) %55 D)
(fma.f64 #s(literal 0 binary64) %57 D)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %35)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %37)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %37)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %35)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %35)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %37)
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) %35)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %37)
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) %35)
(fma.f64 #s(literal -1/2 binary64) %68 D)
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) %35)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %37)
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) %35)
(fma.f64 %49 #s(literal 0 binary64) D)
(fma.f64 %55 #s(literal 0 binary64) D)
(fma.f64 #s(literal 0 binary64) %75 D)
(fma.f64 %77 #s(literal 0 binary64) D)
(fma.f64 %79 #s(literal 1/2 binary64) D)
(fma.f64 %79 #s(literal 1/4 binary64) D)
(fma.f64 #s(literal -2 binary64) %82 %37)
(fma.f64 #s(literal 4 binary64) %84 %37)
(fma.f64 %86 #s(literal 4 binary64) %37)
(fma.f64 #s(literal 2 binary64) %88 %35)
(fma.f64 #s(literal 2 binary64) %90 %37)
(fma.f64 #s(literal 1/2 binary64) %92 %35)
(fma.f64 #s(literal 1/2 binary64) %94 %35)
(fma.f64 #s(literal -1 binary64) %96 %35)
(fma.f64 #s(literal -1 binary64) %98 %35)
(fma.f64 #s(literal -2 binary64) %100 %37)
(fma.f64 #s(literal -2 binary64) %102 %35)
(fma.f64 #s(literal -1/2 binary64) %104 %35)
(fma.f64 #s(literal -1/2 binary64) %106 %35)
(fma.f64 #s(literal 4 binary64) %108 %37)
(fma.f64 #s(literal 4 binary64) %90 %35)
(fma.f64 #s(literal 1/4 binary64) %77 %35)
(fma.f64 #s(literal 1/4 binary64) %112 %35)
(fma.f64 #s(literal 1/4 binary64) %114 %35)
(fma.f64 %77 #s(literal 1/4 binary64) %35)
(fma.f64 %92 #s(literal 1/2 binary64) %35)
(fma.f64 %104 #s(literal -1/2 binary64) %35)
(fma.f64 %119 #s(literal -1/2 binary64) %35)
(fma.f64 %88 #s(literal 1 binary64) %37)
(fma.f64 %88 #s(literal 2 binary64) %35)
(fma.f64 %90 #s(literal 2 binary64) %37)
(fma.f64 %114 #s(literal 1/4 binary64) %35)
(fma.f64 %125 %126 %35)
(fma.f64 %126 %125 %35)
(fma.f64 %79 %129 D)
(fma.f64 %131 %132 %35)
(fma.f64 %132 %131 %35)
(fma.f64 %136 #s(literal 4 binary64) %35)
(fma.f64 %138 #s(literal 4 binary64) %37)
(fma.f64 %77 %129 %37)
(fma.f64 %141 %142 %35)
(fma.f64 %144 %129 %35)
(fma.f64 %75 %146 %35)
(fma.f64 %129 %144 %35)
(fma.f64 %142 %141 %35)
(fma.f64 %104 %150 %37)
(fma.f64 %152 %150 %35)
(fma.f64 %150 %152 %35)
(fma.f64 %155 %100 %35)
(fma.f64 %155 %157 %37)
(fma.f64 %119 %100 %37)
(fma.f64 %160 %161 %35)
(fma.f64 %163 %157 %35)
(fma.f64 %165 %166 %35)
(fma.f64 %168 %108 %35)
(fma.f64 %168 %170 %37)
(fma.f64 %172 %173 %35)
(fma.f64 %175 %170 %35)
(fma.f64 %112 %108 %37)
(fma.f64 %112 %90 %35)
(fma.f64 %108 %168 %35)
(fma.f64 %108 %112 %37)
(fma.f64 %90 %112 %35)
(fma.f64 %173 %172 %35)
(fma.f64 %183 %184 %35)
(fma.f64 %170 %175 %35)
(fma.f64 %187 %188 %35)
(fma.f64 %190 %191 %35)
(fma.f64 %194 %195 %35)
(fma.f64 %195 %194 %35)
(fma.f64 %198 %199 %35)
(fma.f64 %201 %202 %35)
(fma.f64 %202 %201 %35)
%205
(fabs.f64 %205)
(fabs.f64 %207)
(fabs.f64 (*.f64 %209 D))
(fabs.f64 (*.f64 D %209))
(*.f64 %1 %1)
(*.f64 %209 %209)
(neg.f64 %207)
(fabs.f64 (*.f64 %1 %209))
(fabs.f64 (*.f64 %209 %1))
(fabs.f64 (*.f64 %221 D))
(fabs.f64 (*.f64 D %221))
(fabs.f64 (*.f64 %221 %1))
(fabs.f64 (*.f64 %1 %221))
(*.f64 %221 %221)
(sqrt.f64 %231)
(*.f64 %233 %234)
(*.f64 %236 %233)
(pow.f64 D #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %209 #s(literal 2 binary64))
(pow.f64 %221 #s(literal 2 binary64))
(*.f64 D %242)
(*.f64 %242 D)
(pow.f64 %205 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 D #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %1 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %209 #s(literal -2 binary64)))
(*.f64 %1 %252)
(*.f64 %209 %254)
(*.f64 %256 %209)
(*.f64 %252 %1)
(*.f64 %254 %209)
(/.f64 #s(literal 1 binary64) (pow.f64 %221 #s(literal -2 binary64)))
(*.f64 %262 %209)
(*.f64 %264 %209)
(/.f64 #s(literal 1 binary64) (pow.f64 %205 #s(literal -1 binary64)))
(*.f64 %268 %221)
(*.f64 %270 %205)
(pow.f64 %231 #s(literal 1/2 binary64))
(*.f64 %273 %233)
#s(literal 1 binary64)
(fabs.f64 #s(literal 1 binary64))
(fabs.f64 #s(literal -1 binary64))
(neg.f64 #s(literal -1 binary64))
(sqrt.f64 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 2 binary64) #s(literal -1 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(+.f64 #s(literal -1 binary64) #s(literal 2 binary64))
(+.f64 #s(literal 3/2 binary64) #s(literal -1/2 binary64))
(copysign.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(copysign.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(-.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(-.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(-.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal -2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal 1/4 binary64) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -2 binary64))
(/.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 4 binary64))
(/.f64 #s(literal 1/4 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 3/2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 3/2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 1 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 1/2 binary64) #s(literal 1/4 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1/2 binary64) %357)
(+.f64 #s(literal 1/2 binary64) %359)
(+.f64 (+.f64 #s(literal 1/4 binary64) #s(literal 1/2 binary64)) #s(literal 1/4 binary64))
(-.f64 %49 #s(literal 2 binary64))
(+.f64 #s(literal 1/4 binary64) %364)
(+.f64 #s(literal 1/4 binary64) %366)
(+.f64 %364 #s(literal 1/4 binary64))
(+.f64 %366 #s(literal 1/4 binary64))
(/.f64 %370 %370)
(fma.f64 #s(literal 4 binary64) %372 #s(literal 2 binary64))
(fma.f64 #s(literal 1/4 binary64) %370 #s(literal 2 binary64))
(fma.f64 %370 #s(literal 1/4 binary64) #s(literal 2 binary64))
(fma.f64 %372 #s(literal 4 binary64) #s(literal 2 binary64))
(+.f64 #s(literal 1/4 binary64) %377)
(+.f64 %377 #s(literal 1/4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) %88)
(*.f64 #s(literal 1/2 binary64) %92)
(*.f64 #s(literal 1/2 binary64) %94)
(*.f64 #s(literal -1 binary64) %96)
(*.f64 #s(literal -1 binary64) %98)
(*.f64 #s(literal -2 binary64) %102)
(*.f64 #s(literal -1/2 binary64) %104)
(*.f64 #s(literal -1/2 binary64) %106)
(*.f64 #s(literal 4 binary64) %90)
(*.f64 #s(literal 1/4 binary64) %77)
(*.f64 #s(literal 1/4 binary64) %112)
(*.f64 #s(literal 1/4 binary64) %114)
(*.f64 %77 #s(literal 1/4 binary64))
(*.f64 %92 #s(literal 1/2 binary64))
(*.f64 %104 #s(literal -1/2 binary64))
(*.f64 %119 #s(literal -1/2 binary64))
(*.f64 %88 #s(literal 2 binary64))
(*.f64 %114 #s(literal 1/4 binary64))
(*.f64 %125 %126)
(*.f64 %126 %125)
(fma.f64 %45 %45 #s(literal 1 binary64))
(/.f64 %77 #s(literal 4 binary64))
(/.f64 %114 #s(literal 4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %357)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %359)
(fma.f64 #s(literal 0 binary64) %49 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %51 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %53 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %55 #s(literal 1 binary64))
(fma.f64 #s(literal 0 binary64) %57 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %357)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %359)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %357)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %359)
(fma.f64 #s(literal 1/2 binary64) %49 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %55 #s(literal -1/2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %357)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %359)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %357)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %359)
(fma.f64 #s(literal -1/2 binary64) %424 #s(literal -1 binary64))
(fma.f64 #s(literal -1/2 binary64) %426 #s(literal -1 binary64))
(fma.f64 #s(literal -1/2 binary64) %68 #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %357)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %359)
(fma.f64 #s(literal 1/4 binary64) %135 #s(literal -1 binary64))
(fma.f64 %135 #s(literal 1/4 binary64) #s(literal -1 binary64))
(fma.f64 %49 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 %55 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 %55 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(/.f64 %125 %125)
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) %364)
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) %366)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %364)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %366)
(fma.f64 #s(literal 1/2 binary64) %441 #s(literal 2 binary64))
(fma.f64 #s(literal -2 binary64) %82 #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) %364)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) %366)
(fma.f64 #s(literal 4 binary64) %84 #s(literal 1/2 binary64))
(fma.f64 #s(literal 4 binary64) %447 #s(literal 2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) %364)
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) %366)
(fma.f64 #s(literal 1/4 binary64) %451 #s(literal -1 binary64))
(fma.f64 #s(literal 1/4 binary64) %453 #s(literal 2 binary64))
(fma.f64 %455 #s(literal -1/2 binary64) #s(literal -1 binary64))
(fma.f64 %86 #s(literal 4 binary64) #s(literal 1/2 binary64))
(fma.f64 %458 #s(literal 1/4 binary64) #s(literal 2 binary64))
(fma.f64 %460 #s(literal 4 binary64) #s(literal 2 binary64))
(fma.f64 %82 #s(literal 4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) %377)
(fma.f64 #s(literal 0 binary64) %75 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %88 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %90 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %377)
(fma.f64 #s(literal 1/2 binary64) %92 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %94 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %96 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %98 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %100 #s(literal 1/2 binary64))
(fma.f64 #s(literal -2 binary64) %102 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) %377)
(fma.f64 #s(literal -1/2 binary64) %104 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %106 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %108 #s(literal 1/2 binary64))
(fma.f64 #s(literal 4 binary64) %90 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) %377)
(fma.f64 #s(literal 1/4 binary64) %77 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %112 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %114 #s(literal 0 binary64))
(fma.f64 %77 #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 %77 #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 %77 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %92 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %104 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %119 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 %165 #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 %88 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 %88 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %90 #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 %114 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %79 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %79 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %125 %125 #s(literal -1 binary64))
(fma.f64 %125 %126 #s(literal 0 binary64))
(fma.f64 %126 %125 #s(literal 0 binary64))
(/.f64 %135 %135)
(*.f64 %131 %132)
(*.f64 %132 %131)
(/.f64 %135 %451)
(/.f64 (*.f64 %135 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %136 #s(literal 4 binary64))
(/.f64 %455 %455)
(/.f64 %455 %507)
(/.f64 %507 %455)
(/.f64 %507 %507)
(/.f64 %511 %511)
(/.f64 %451 %451)
(/.f64 %514 %514)
(/.f64 %131 %131)
(*.f64 %141 %142)
(*.f64 %144 %129)
(*.f64 %75 %146)
(*.f64 %129 %144)
(*.f64 %142 %141)
(*.f64 %152 %150)
(*.f64 %150 %152)
(*.f64 %155 %100)
(*.f64 %160 %161)
(*.f64 %163 %157)
(*.f64 %165 %166)
(*.f64 %168 %108)
(*.f64 %172 %173)
(*.f64 %175 %170)
(*.f64 %112 %90)
(*.f64 %108 %168)
(*.f64 %90 %112)
(*.f64 %173 %172)
(*.f64 %183 %184)
(*.f64 %170 %175)
(fma.f64 #s(literal -2 binary64) %82 %357)
(fma.f64 #s(literal -2 binary64) %82 %359)
(fma.f64 #s(literal 4 binary64) %84 %357)
(fma.f64 #s(literal 4 binary64) %84 %359)
(fma.f64 %86 #s(literal 4 binary64) %357)
(fma.f64 %86 #s(literal 4 binary64) %359)
(exp.f64 #s(literal 0 binary64))
(fma.f64 %131 %132 #s(literal 0 binary64))
(fma.f64 %132 %131 #s(literal 0 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) #s(literal 4 binary64) #s(literal 0 binary64)) %135)
(fma.f64 #s(literal 2 binary64) %90 %357)
(fma.f64 #s(literal 2 binary64) %90 %359)
(fma.f64 #s(literal -2 binary64) %100 %357)
(fma.f64 #s(literal -2 binary64) %100 %359)
(fma.f64 #s(literal 4 binary64) %108 %357)
(fma.f64 #s(literal 4 binary64) %108 %359)
(fma.f64 %88 #s(literal 1 binary64) %357)
(fma.f64 %88 #s(literal 1 binary64) %359)
(fma.f64 %90 #s(literal 2 binary64) %357)
(fma.f64 %90 #s(literal 2 binary64) %359)
(fma.f64 %136 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %559 #s(literal 4 binary64) #s(literal 2 binary64))
(fma.f64 %138 #s(literal 4 binary64) #s(literal 1/2 binary64))
(/.f64 %562 %135)
(/.f64 (-.f64 %135 #s(literal 0 binary64)) %135)
(/.f64 (fma.f64 #s(literal 2 binary64) #s(literal -2 binary64) #s(literal 0 binary64)) %455)
(/.f64 (fma.f64 #s(literal -2 binary64) #s(literal 2 binary64) #s(literal 0 binary64)) %507)
(/.f64 (fma.f64 #s(literal -2 binary64) #s(literal 4 binary64) #s(literal 0 binary64)) %511)
(/.f64 (fma.f64 #s(literal 4 binary64) #s(literal 2 binary64) #s(literal 0 binary64)) %451)
(/.f64 (fma.f64 #s(literal 4 binary64) #s(literal -2 binary64) #s(literal 0 binary64)) %514)
(/.f64 (fma.f64 #s(literal 4 binary64) #s(literal 4 binary64) #s(literal 0 binary64)) %131)
(/.f64 %562 %451)
(/.f64 %579 %135)
(/.f64 (*.f64 #s(literal 1 binary64) %135) %135)
(/.f64 %583 %455)
(/.f64 %583 %507)
(/.f64 %586 %455)
(/.f64 %586 %507)
(/.f64 %589 %511)
(/.f64 %589 %514)
(/.f64 %579 %451)
(/.f64 %593 %511)
(/.f64 %593 %514)
(/.f64 (+.f64 #s(literal 0 binary64) %131) %131)
(/.f64 (*.f64 %135 #s(literal 1 binary64)) %451)
(/.f64 (-.f64 %507 #s(literal 0 binary64)) %507)
(/.f64 (-.f64 %451 #s(literal 0 binary64)) %451)
(/.f64 (-.f64 %514 #s(literal 0 binary64)) %514)
(/.f64 (-.f64 %511 #s(literal 0 binary64)) %511)
(/.f64 (-.f64 %131 #s(literal 0 binary64)) %131)
(/.f64 (-.f64 %455 #s(literal 0 binary64)) %455)
(fma.f64 %77 %129 #s(literal 1/2 binary64))
(fma.f64 %141 %142 #s(literal 0 binary64))
(fma.f64 %144 %129 #s(literal 0 binary64))
(fma.f64 %75 %146 #s(literal 0 binary64))
(fma.f64 %129 %144 #s(literal 0 binary64))
(fma.f64 %142 %141 #s(literal 0 binary64))
(fma.f64 %104 %150 #s(literal 1/2 binary64))
(fma.f64 %152 %150 #s(literal 0 binary64))
(fma.f64 %150 %152 #s(literal 0 binary64))
(fma.f64 %155 %100 #s(literal 0 binary64))
(fma.f64 %155 %157 #s(literal 1/2 binary64))
(fma.f64 %119 %100 #s(literal 1/2 binary64))
(fma.f64 %160 %161 #s(literal 0 binary64))
(fma.f64 %163 %157 #s(literal 0 binary64))
(fma.f64 %165 %166 #s(literal 0 binary64))
(fma.f64 %168 %108 #s(literal 0 binary64))
(fma.f64 %168 %170 #s(literal 1/2 binary64))
(fma.f64 %172 %173 #s(literal 0 binary64))
(fma.f64 %175 %170 #s(literal 0 binary64))
(fma.f64 %112 %108 #s(literal 1/2 binary64))
(fma.f64 %112 %90 #s(literal 0 binary64))
(fma.f64 %108 %168 #s(literal 0 binary64))
(fma.f64 %108 %112 #s(literal 1/2 binary64))
(fma.f64 %90 %112 #s(literal 0 binary64))
(fma.f64 %173 %172 #s(literal 0 binary64))
(fma.f64 %183 %184 #s(literal 0 binary64))
(fma.f64 %170 %175 #s(literal 0 binary64))
(fma.f64 %79 %129 #s(literal 1 binary64))
(cosh.f64 #s(literal 0 binary64))
(exp.f64 %641)
(fma.f64 %138 #s(literal 4 binary64) %357)
(fma.f64 %138 #s(literal 4 binary64) %359)
(hypot.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(hypot.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(hypot.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %77 %129 %357)
(fma.f64 %77 %129 %359)
(fma.f64 %104 %150 %357)
(fma.f64 %104 %150 %359)
(fma.f64 %155 %157 %357)
(fma.f64 %155 %157 %359)
(fma.f64 %119 %100 %357)
(fma.f64 %119 %100 %359)
(fma.f64 %168 %170 %357)
(fma.f64 %168 %170 %359)
(fma.f64 %112 %108 %357)
(fma.f64 %112 %108 %359)
(fma.f64 %108 %112 %357)
(fma.f64 %108 %112 %359)
(hypot.f64 #s(literal 1 binary64) %45)
(hypot.f64 #s(literal -1 binary64) %45)
(hypot.f64 %45 #s(literal 1 binary64))
(hypot.f64 %45 #s(literal -1 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal -2 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 3 binary64))
(pow.f64 #s(literal 1 binary64) #s(literal 4 binary64))
(pow.f64 #s(literal -1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal 1 binary64) (neg.f64 #s(literal 3 binary64)))
(pow.f64 #s(literal 1 binary64) (+.f64 #s(literal 2 binary64) #s(literal 3 binary64)))
(pow.f64 #s(literal 1 binary64) %55)
(pow.f64 #s(literal 1 binary64) (-.f64 #s(literal 2 binary64) #s(literal 3 binary64)))
(pow.f64 #s(literal 1 binary64) (-.f64 #s(literal 3 binary64) #s(literal 3 binary64)))
(pow.f64 #s(literal 1 binary64) (-.f64 #s(literal 3 binary64) #s(literal 2 binary64)))
(pow.f64 #s(literal 1 binary64) (+.f64 #s(literal 3 binary64) #s(literal 3 binary64)))
(pow.f64 #s(literal 1 binary64) (+.f64 #s(literal 3 binary64) #s(literal 2 binary64)))
(pow.f64 #s(literal 1 binary64) (+.f64 #s(literal 3 binary64) #s(literal 1 binary64)))
(pow.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) #s(literal 3 binary64)))
(pow.f64 #s(literal 1 binary64) (/.f64 #s(literal 3 binary64) #s(literal 2 binary64)))
(*.f64 %187 %188)
(*.f64 %190 %191)
(/.f64 %699 %699)
(/.f64 %187 %187)
(/.f64 %190 %190)
(fma.f64 %187 %188 #s(literal 0 binary64))
(fma.f64 %190 %191 #s(literal 0 binary64))
(pow.f64 %699 #s(literal 0 binary64))
(pow.f64 %187 #s(literal 0 binary64))
(pow.f64 %190 #s(literal 0 binary64))
(+.f64 (-.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 2 binary64) %708)) (pow.f64 #s(literal -1/2 binary64) #s(literal 2 binary64)))
(*.f64 %194 %195)
(*.f64 %195 %194)
(*.f64 %198 %199)
(*.f64 %201 %202)
(*.f64 %202 %201)
(/.f64 %194 %194)
(/.f64 %198 %198)
(/.f64 %201 %201)
(fma.f64 %194 %195 #s(literal 0 binary64))
(fma.f64 %195 %194 #s(literal 0 binary64))
(fma.f64 %198 %199 #s(literal 0 binary64))
(fma.f64 %201 %202 #s(literal 0 binary64))
(fma.f64 %202 %201 #s(literal 0 binary64))
(fma.f64 %726 %727 %730)
(fma.f64 %732 %733 %736)
(+.f64 (*.f64 %726 %727) %730)
(+.f64 (*.f64 %732 %733) %736)
(-.f64 (*.f64 %726 %726) (*.f64 %728 %728))
(-.f64 (*.f64 %745 %745) (*.f64 %747 %747))
(-.f64 (*.f64 %732 %732) (*.f64 %734 %734))
%753
(+.f64 %205 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) %205)
(-.f64 %205 #s(literal 1 binary64))
(fabs.f64 %753)
(fabs.f64 %758)
(neg.f64 %758)
(-.f64 #s(literal -1 binary64) %207)
(fma.f64 %1 %1 #s(literal -1 binary64))
(fma.f64 %209 %209 #s(literal -1 binary64))
(+.f64 %753 #s(literal 0 binary64))
(+.f64 #s(literal -1/2 binary64) %765)
(+.f64 %765 #s(literal -1/2 binary64))
(-.f64 %753 #s(literal 0 binary64))
(-.f64 %765 #s(literal 1/2 binary64))
(-.f64 (fma.f64 D D #s(literal 0 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %205)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %205)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %205)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %205)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %205)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %205)
(+.f64 #s(literal -1 binary64) %778)
(+.f64 #s(literal -1 binary64) %780)
(+.f64 #s(literal -1/2 binary64) %782)
(*.f64 %784 %35)
(*.f64 %35 %784)
(*.f64 %787 %39)
(*.f64 %39 %787)
(-.f64 #s(literal 0 binary64) %758)
(-.f64 %780 #s(literal 1 binary64))
(/.f64 %753 #s(literal 1 binary64))
(fma.f64 %221 %221 #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) %372 %205)
(fma.f64 #s(literal 1/4 binary64) %370 %205)
(fma.f64 %370 #s(literal 1/4 binary64) %205)
(fma.f64 %372 #s(literal 4 binary64) %205)
(+.f64 #s(literal -1 binary64) %798)
(+.f64 #s(literal -1/2 binary64) %800)
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) %765)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) %765)
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) %765)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) %765)
(*.f64 %806 %807)
(*.f64 %807 %806)
(*.f64 %810 %811)
(*.f64 %811 %810)
(*.f64 %814 %815)
(*.f64 %815 %814)
(+.f64 %818 #s(literal 1 binary64))
(+.f64 (-.f64 %753 #s(literal 2 binary64)) #s(literal 2 binary64))
(+.f64 %822 #s(literal 1/2 binary64))
(+.f64 (-.f64 %765 #s(literal 1 binary64)) #s(literal 1/2 binary64))
(fma.f64 D %784 %787)
(fma.f64 D %35 %35)
(fma.f64 %784 D %787)
(fma.f64 %784 %35 #s(literal 0 binary64))
(fma.f64 %35 D %35)
(fma.f64 %35 %784 #s(literal 0 binary64))
(fma.f64 %787 %39 #s(literal 0 binary64))
(fma.f64 %39 %787 #s(literal 0 binary64))
(-.f64 %818 #s(literal -1 binary64))
(-.f64 %822 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %778)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %780)
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) %782)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %778)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %780)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) %782)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %778)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %780)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %778)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %780)
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) %782)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %778)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %780)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) %782)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %778)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %780)
(+.f64 %35 %852)
(+.f64 %787 %854)
(+.f64 %854 %787)
(+.f64 %852 %35)
(-.f64 %35 (*.f64 %39 D))
(-.f64 %854 %784)
(-.f64 %852 %39)
(fma.f64 #s(literal 1/2 binary64) %441 %205)
(fma.f64 #s(literal 4 binary64) %447 %205)
(fma.f64 #s(literal 1/4 binary64) %453 %205)
(fma.f64 %458 #s(literal 1/4 binary64) %205)
(fma.f64 %460 #s(literal 4 binary64) %205)
(fma.f64 %82 #s(literal 4 binary64) %205)
(*.f64 %868 #s(literal 1/2 binary64))
(*.f64 %806 %870)
(*.f64 %870 %806)
(fma.f64 %787 %1 %787)
(fma.f64 %1 %787 %787)
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) %798)
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) %800)
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) %798)
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) %800)
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) %798)
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) %798)
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) %800)
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) %798)
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) %800)
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) %798)
(fma.f64 #s(literal 4 binary64) %372 %778)
(fma.f64 #s(literal 4 binary64) %372 %780)
(fma.f64 #s(literal 1/4 binary64) %370 %778)
(fma.f64 #s(literal 1/4 binary64) %370 %780)
(fma.f64 %370 #s(literal 1/4 binary64) %778)
(fma.f64 %370 #s(literal 1/4 binary64) %780)
(fma.f64 %372 #s(literal 4 binary64) %778)
(fma.f64 %372 #s(literal 4 binary64) %780)
(+.f64 %787 %893)
(+.f64 %787 %895)
(+.f64 %893 %787)
(+.f64 %895 %787)
(/.f64 %868 #s(literal 2 binary64))
(/.f64 (fma.f64 %205 #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64))
(fma.f64 %165 #s(literal 2 binary64) %205)
(-.f64 %35 (*.f64 %1 %35))
(-.f64 %35 (neg.f64 %852))
(fma.f64 %806 %807 #s(literal 0 binary64))
(fma.f64 %807 %806 #s(literal 0 binary64))
(fma.f64 %810 %811 #s(literal 0 binary64))
(fma.f64 %811 %810 #s(literal 0 binary64))
(fma.f64 %814 %815 #s(literal 0 binary64))
(fma.f64 %815 %814 #s(literal 0 binary64))
(/.f64 (-.f64 (*.f64 %205 #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %205 #s(literal 4 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %205 #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 (/.f64 (*.f64 %205 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %372 %798)
(fma.f64 #s(literal 1/4 binary64) %370 %798)
(fma.f64 %370 #s(literal 1/4 binary64) %798)
(fma.f64 %372 #s(literal 4 binary64) %798)
(/.f64 %929 #s(literal 2 binary64))
(/.f64 (neg.f64 %868) #s(literal -2 binary64))
(fma.f64 %868 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %806 %870 #s(literal 0 binary64))
(fma.f64 %870 %806 #s(literal 0 binary64))
(+.f64 %753 %936)
(+.f64 %753 %938)
(+.f64 %753 %940)
(+.f64 %753 %942)
(fma.f64 #s(literal 1 binary64) %35 %852)
(fma.f64 #s(literal 1 binary64) %787 %854)
(fma.f64 #s(literal -1 binary64) %784 %854)
(fma.f64 %784 #s(literal -1 binary64) %854)
(fma.f64 %35 #s(literal 1 binary64) %852)
(fma.f64 %787 #s(literal 1 binary64) %854)
(+.f64 %35 %950)
(fma.f64 #s(literal 1/2 binary64) %441 %778)
(fma.f64 #s(literal 1/2 binary64) %441 %780)
(fma.f64 #s(literal 4 binary64) %447 %778)
(fma.f64 #s(literal 4 binary64) %447 %780)
(fma.f64 #s(literal 1/4 binary64) %453 %778)
(fma.f64 #s(literal 1/4 binary64) %453 %780)
(fma.f64 %458 #s(literal 1/4 binary64) %778)
(fma.f64 %458 #s(literal 1/4 binary64) %780)
(fma.f64 %460 #s(literal 4 binary64) %778)
(fma.f64 %460 #s(literal 4 binary64) %780)
(fma.f64 %82 #s(literal 4 binary64) %778)
(fma.f64 %82 #s(literal 4 binary64) %780)
(-.f64 %854 (*.f64 %787 #s(literal -1 binary64)))
(-.f64 %854 %966)
(-.f64 %852 (*.f64 %39 #s(literal 1 binary64)))
(-.f64 %852 %970)
(+.f64 %753 %972)
(+.f64 %753 %974)
(fma.f64 #s(literal 1 binary64) %787 %893)
(fma.f64 #s(literal 1 binary64) %787 %895)
(fma.f64 #s(literal -1 binary64) %784 %893)
(fma.f64 #s(literal -1 binary64) %784 %895)
(fma.f64 %784 #s(literal -1 binary64) %893)
(fma.f64 %784 #s(literal -1 binary64) %895)
(fma.f64 %787 #s(literal 1 binary64) %893)
(fma.f64 %787 #s(literal 1 binary64) %895)
(fma.f64 %39 %1 %984)
(fma.f64 %1 %39 %986)
(/.f64 (*.f64 %784 %988) #s(literal 2 binary64))
(/.f64 (*.f64 %35 %991) #s(literal 2 binary64))
(/.f64 (*.f64 %991 %35) #s(literal 2 binary64))
(/.f64 (*.f64 %988 %784) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %753 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %753 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %765 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %753 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(fma.f64 %165 #s(literal 2 binary64) %778)
(fma.f64 %165 #s(literal 2 binary64) %780)
(fma.f64 %559 #s(literal 4 binary64) %205)
(fma.f64 #s(literal 1/2 binary64) %441 %798)
(fma.f64 #s(literal 4 binary64) %447 %798)
(fma.f64 #s(literal 1/4 binary64) %453 %798)
(fma.f64 %458 #s(literal 1/4 binary64) %798)
(fma.f64 %460 #s(literal 4 binary64) %798)
(fma.f64 %82 #s(literal 4 binary64) %798)
(+.f64 (*.f64 %39 %1) %984)
(+.f64 (*.f64 %1 %39) %986)
(*.f64 %1023 #s(literal 2 binary64))
(fma.f64 %233 %234 #s(literal -1 binary64))
(fma.f64 %236 %233 #s(literal -1 binary64))
(/.f64 (*.f64 %1027 %39) #s(literal 2 binary64))
(/.f64 (*.f64 %1030 %787) #s(literal 2 binary64))
(/.f64 (*.f64 %787 %1030) #s(literal 2 binary64))
(/.f64 (*.f64 %39 %1027) #s(literal 2 binary64))
(sqrt.f64 %1037)
(fma.f64 %165 #s(literal 2 binary64) %798)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %868))
(/.f64 (/.f64 %868 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (/.f64 %868 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 #s(literal 1/2 binary64) %988 %852)
(fma.f64 #s(literal -1/2 binary64) %991 %854)
(fma.f64 %991 #s(literal -1/2 binary64) %854)
(fma.f64 %988 #s(literal 1/2 binary64) %852)
(fma.f64 #s(literal 1 binary64) %35 %950)
(fma.f64 #s(literal 1/2 binary64) %35 %1052)
(fma.f64 #s(literal 1/2 binary64) %787 %1054)
(fma.f64 %784 %35 %936)
(fma.f64 %784 %35 %938)
(fma.f64 %784 %35 %940)
(fma.f64 %784 %35 %942)
(fma.f64 %35 #s(literal 1 binary64) %950)
(fma.f64 %35 #s(literal 1/2 binary64) %1061)
(fma.f64 %35 %784 %936)
(fma.f64 %35 %784 %938)
(fma.f64 %35 %784 %940)
(fma.f64 %35 %784 %942)
(fma.f64 %35 %1051 %1067)
(fma.f64 %1051 %35 %1069)
(fma.f64 %787 #s(literal 1/2 binary64) %1071)
(fma.f64 %787 %43 %1073)
(fma.f64 %787 %39 %936)
(fma.f64 %787 %39 %938)
(fma.f64 %787 %39 %940)
(fma.f64 %787 %39 %942)
(fma.f64 %43 %787 %1079)
(fma.f64 %39 %787 %936)
(fma.f64 %39 %787 %938)
(fma.f64 %39 %787 %940)
(fma.f64 %39 %787 %942)
(fma.f64 #s(literal 1 binary64) %807 %1085)
(fma.f64 %209 %806 %1087)
(fma.f64 %209 %807 %1089)
(fma.f64 %806 %209 %1091)
(fma.f64 %807 #s(literal 1 binary64) %1093)
(fma.f64 %807 %209 %1095)
(fma.f64 #s(literal 2 binary64) %1069 %852)
(fma.f64 #s(literal 2 binary64) %1098 %854)
(fma.f64 #s(literal 1/2 binary64) %1100 %854)
(fma.f64 #s(literal -1 binary64) %970 %852)
(fma.f64 #s(literal -1 binary64) %966 %854)
(fma.f64 #s(literal -2 binary64) %1104 %854)
(fma.f64 #s(literal -2 binary64) %1106 %852)
(fma.f64 #s(literal 4 binary64) %1108 %852)
(fma.f64 #s(literal 1/4 binary64) %1110 %852)
(fma.f64 %1027 #s(literal 1/2 binary64) %854)
(fma.f64 %1113 #s(literal -2 binary64) %854)
(fma.f64 %1115 #s(literal -1 binary64) %854)
(fma.f64 %1117 #s(literal 2 binary64) %854)
(fma.f64 %1119 #s(literal 1/2 binary64) %854)
(fma.f64 %1121 #s(literal -1 binary64) %852)
(fma.f64 %1123 #s(literal -1/2 binary64) %852)
(fma.f64 %1125 #s(literal 4 binary64) %852)
(fma.f64 %1127 #s(literal 1/4 binary64) %852)
(fma.f64 %1129 #s(literal 1/2 binary64) %852)
(fma.f64 %1067 #s(literal 2 binary64) %852)
(/.f64 (*.f64 %806 %1132) #s(literal 2 binary64))
(/.f64 (*.f64 %807 %1135) #s(literal 2 binary64))
(/.f64 (*.f64 %1132 %806) #s(literal 2 binary64))
(/.f64 (*.f64 %1135 %807) #s(literal 2 binary64))
(+.f64 %1067 %1061)
(+.f64 %1061 %1067)
(+.f64 %1052 %1069)
(+.f64 %1073 %1071)
(+.f64 %1071 %1073)
(+.f64 %1054 %1079)
(+.f64 %1069 %1052)
(+.f64 %1079 %1054)
(fma.f64 #s(literal -1/2 binary64) %991 %893)
(fma.f64 #s(literal -1/2 binary64) %991 %895)
(fma.f64 %991 #s(literal -1/2 binary64) %893)
(fma.f64 %991 #s(literal -1/2 binary64) %895)
(+.f64 (*.f64 %806 %209) %1091)
(+.f64 %1095 %1093)
(+.f64 %1093 %1095)
(+.f64 %1089 %1085)
(+.f64 (*.f64 %209 %806) %1087)
(+.f64 %1085 %1089)
(/.f64 (*.f64 %991 %988) #s(literal 4 binary64))
(/.f64 (*.f64 %988 %991) #s(literal 4 binary64))
(fma.f64 %784 %35 %972)
(fma.f64 %784 %35 %974)
(fma.f64 %35 %784 %972)
(fma.f64 %35 %784 %974)
(fma.f64 %787 %39 %972)
(fma.f64 %787 %39 %974)
(fma.f64 %39 %787 %972)
(fma.f64 %39 %787 %974)
(fma.f64 %1023 #s(literal 2 binary64) #s(literal 0 binary64))
(*.f64 %1175 %1175)
(fma.f64 %559 #s(literal 4 binary64) %778)
(fma.f64 %559 #s(literal 4 binary64) %780)
(fma.f64 #s(literal 2 binary64) %1098 %893)
(fma.f64 #s(literal 2 binary64) %1098 %895)
(fma.f64 #s(literal 1/2 binary64) %1100 %893)
(fma.f64 #s(literal 1/2 binary64) %1100 %895)
(fma.f64 #s(literal -1 binary64) %966 %893)
(fma.f64 #s(literal -1 binary64) %966 %895)
(fma.f64 #s(literal -2 binary64) %1104 %893)
(fma.f64 #s(literal -2 binary64) %1104 %895)
(fma.f64 %1027 #s(literal 1/2 binary64) %893)
(fma.f64 %1027 #s(literal 1/2 binary64) %895)
(fma.f64 %1113 #s(literal -2 binary64) %893)
(fma.f64 %1113 #s(literal -2 binary64) %895)
(fma.f64 %1115 #s(literal -1 binary64) %893)
(fma.f64 %1115 #s(literal -1 binary64) %895)
(fma.f64 %1117 #s(literal 2 binary64) %893)
(fma.f64 %1117 #s(literal 2 binary64) %895)
(fma.f64 %1119 #s(literal 1/2 binary64) %893)
(fma.f64 %1119 #s(literal 1/2 binary64) %895)
(/.f64 (-.f64 (*.f64 %868 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(*.f64 %1200 #s(literal 4 binary64))
(fma.f64 %806 %807 %936)
(fma.f64 %806 %807 %938)
(fma.f64 %806 %807 %940)
(fma.f64 %806 %807 %942)
(fma.f64 %807 %806 %936)
(fma.f64 %807 %806 %938)
(fma.f64 %807 %806 %940)
(fma.f64 %807 %806 %942)
(fma.f64 %810 %811 %936)
(fma.f64 %810 %811 %938)
(fma.f64 %810 %811 %940)
(fma.f64 %810 %811 %942)
(fma.f64 %811 %810 %936)
(fma.f64 %811 %810 %938)
(fma.f64 %811 %810 %940)
(fma.f64 %811 %810 %942)
(fma.f64 %814 %815 %936)
(fma.f64 %814 %815 %938)
(fma.f64 %814 %815 %940)
(fma.f64 %814 %815 %942)
(fma.f64 %815 %814 %936)
(fma.f64 %815 %814 %938)
(fma.f64 %815 %814 %940)
(fma.f64 %815 %814 %942)
(/.f64 (*.f64 %1027 %1030) #s(literal 4 binary64))
(/.f64 (*.f64 %1030 %1027) #s(literal 4 binary64))
(fma.f64 %559 #s(literal 4 binary64) %798)
(fma.f64 #s(literal 1/2 binary64) %988 %950)
(fma.f64 %988 #s(literal 1/2 binary64) %950)
(fma.f64 %868 #s(literal 1/2 binary64) %936)
(fma.f64 %868 #s(literal 1/2 binary64) %938)
(fma.f64 %868 #s(literal 1/2 binary64) %940)
(fma.f64 %868 #s(literal 1/2 binary64) %942)
(/.f64 (*.f64 %1132 %1135) #s(literal 4 binary64))
(/.f64 (*.f64 %1135 %1132) #s(literal 4 binary64))
(fma.f64 %806 %807 %972)
(fma.f64 %806 %807 %974)
(fma.f64 %806 %870 %936)
(fma.f64 %806 %870 %938)
(fma.f64 %806 %870 %940)
(fma.f64 %806 %870 %942)
(fma.f64 %807 %806 %972)
(fma.f64 %807 %806 %974)
(fma.f64 %807 %1249 %1250)
(fma.f64 %1249 %807 %1252)
(fma.f64 %810 %811 %972)
(fma.f64 %810 %811 %974)
(fma.f64 %811 %810 %972)
(fma.f64 %811 %810 %974)
(fma.f64 %814 %815 %972)
(fma.f64 %814 %815 %974)
(fma.f64 %815 %814 %972)
(fma.f64 %815 %814 %974)
(fma.f64 %870 %806 %936)
(fma.f64 %870 %806 %938)
(fma.f64 %870 %806 %940)
(fma.f64 %870 %806 %942)
(fma.f64 #s(literal 2 binary64) %1069 %950)
(fma.f64 #s(literal -1 binary64) %970 %950)
(fma.f64 #s(literal -2 binary64) %1106 %950)
(fma.f64 #s(literal 4 binary64) %1108 %950)
(fma.f64 #s(literal 1/4 binary64) %1110 %950)
(fma.f64 %1121 #s(literal -1 binary64) %950)
(fma.f64 %1123 #s(literal -1/2 binary64) %950)
(fma.f64 %1125 #s(literal 4 binary64) %950)
(fma.f64 %1127 #s(literal 1/4 binary64) %950)
(fma.f64 %1129 #s(literal 1/2 binary64) %950)
(fma.f64 %1067 #s(literal 2 binary64) %950)
(*.f64 %1277 %1277)
(fma.f64 %1175 %1175 #s(literal 0 binary64))
(+.f64 (*.f64 %807 %1249) %1250)
(+.f64 (*.f64 %1249 %807) %1252)
(fma.f64 %1284 #s(literal 2 binary64) %852)
(fma.f64 %1200 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %868 #s(literal 1/2 binary64) %972)
(fma.f64 %868 #s(literal 1/2 binary64) %974)
(fma.f64 %806 %870 %972)
(fma.f64 %806 %870 %974)
(fma.f64 %870 %806 %972)
(fma.f64 %870 %806 %974)
(/.f64 (-.f64 (*.f64 %868 #s(literal 4 binary64)) #s(literal 0 binary64)) %135)
(fma.f64 %1296 #s(literal 2 binary64) %854)
(/.f64 (-.f64 %231 #s(literal 1 binary64)) (fma.f64 D D #s(literal 1 binary64)))
(/.f64 (-.f64 (*.f64 %868 #s(literal -2 binary64)) #s(literal 0 binary64)) %455)
(*.f64 %1304 %1305)
(*.f64 %1304 %1307)
(*.f64 %1309 %1310)
(*.f64 %1310 %1309)
(*.f64 %1305 %1304)
(*.f64 %1314 %1309)
(fma.f64 %1277 %1277 #s(literal 0 binary64))
(fma.f64 %1296 #s(literal 2 binary64) %893)
(fma.f64 %1296 #s(literal 2 binary64) %895)
(fma.f64 D %242 #s(literal -1 binary64))
(fma.f64 %242 D #s(literal -1 binary64))
(pow.f64 %753 #s(literal 1 binary64))
(fma.f64 %1322 #s(literal 4 binary64) %852)
(fma.f64 %1284 #s(literal 2 binary64) %950)
(fma.f64 %1023 #s(literal 2 binary64) %936)
(fma.f64 %1023 #s(literal 2 binary64) %938)
(fma.f64 %1023 #s(literal 2 binary64) %940)
(fma.f64 %1023 #s(literal 2 binary64) %942)
(fma.f64 %1329 #s(literal 4 binary64) %854)
(fma.f64 %1304 %1305 #s(literal 0 binary64))
(fma.f64 %1304 %1307 #s(literal 0 binary64))
(fma.f64 %1309 %1310 #s(literal 0 binary64))
(fma.f64 %1310 %1309 #s(literal 0 binary64))
(fma.f64 %1305 %1304 #s(literal 0 binary64))
(fma.f64 %1314 %1309 #s(literal 0 binary64))
(fma.f64 %1023 #s(literal 2 binary64) %972)
(fma.f64 %1023 #s(literal 2 binary64) %974)
(fma.f64 %1329 #s(literal 4 binary64) %893)
(fma.f64 %1329 #s(literal 4 binary64) %895)
(fma.f64 %1 %252 #s(literal -1 binary64))
(fma.f64 %209 %254 #s(literal -1 binary64))
(fma.f64 %256 %209 #s(literal -1 binary64))
(fma.f64 %252 %1 #s(literal -1 binary64))
(fma.f64 %254 %209 #s(literal -1 binary64))
(pow.f64 %1175 #s(literal 2 binary64))
(fma.f64 %1175 %1175 %936)
(fma.f64 %1175 %1175 %938)
(fma.f64 %1175 %1175 %940)
(fma.f64 %1175 %1175 %942)
(fma.f64 %1322 #s(literal 4 binary64) %950)
(fma.f64 %262 %209 #s(literal -1 binary64))
(fma.f64 %264 %209 #s(literal -1 binary64))
(pow.f64 %1277 #s(literal 2 binary64))
(fma.f64 %1200 #s(literal 4 binary64) %936)
(fma.f64 %1200 #s(literal 4 binary64) %938)
(fma.f64 %1200 #s(literal 4 binary64) %940)
(fma.f64 %1200 #s(literal 4 binary64) %942)
(*.f64 %1359 %1361)
(*.f64 %1363 %1360)
(fma.f64 %1175 %1175 %972)
(fma.f64 %1175 %1175 %974)
(/.f64 #s(literal 1 binary64) (pow.f64 %753 #s(literal -1 binary64)))
(fma.f64 %268 %221 #s(literal -1 binary64))
(fma.f64 %1200 #s(literal 4 binary64) %972)
(fma.f64 %1200 #s(literal 4 binary64) %974)
(*.f64 %1304 %1373)
(*.f64 %1375 %1376)
(*.f64 %1378 %1372)
(*.f64 %1380 %1309)
(fma.f64 %1277 %1277 %936)
(fma.f64 %1277 %1277 %938)
(fma.f64 %1277 %1277 %940)
(fma.f64 %1277 %1277 %942)
(fma.f64 %1359 %1361 #s(literal 0 binary64))
(fma.f64 %1363 %1360 #s(literal 0 binary64))
(fma.f64 %1277 %1277 %972)
(fma.f64 %1277 %1277 %974)
(/.f64 #s(literal 1 binary64) (pow.f64 %1175 #s(literal -2 binary64)))
(fma.f64 %270 %205 #s(literal -1 binary64))
(fma.f64 %1304 %1373 #s(literal 0 binary64))
(fma.f64 %1375 %1376 #s(literal 0 binary64))
(fma.f64 %1378 %1372 #s(literal 0 binary64))
(fma.f64 %1380 %1309 #s(literal 0 binary64))
(fma.f64 %1304 %1305 %936)
(fma.f64 %1304 %1305 %938)
(fma.f64 %1304 %1305 %940)
(fma.f64 %1304 %1305 %942)
(fma.f64 %1304 %1307 %936)
(fma.f64 %1304 %1307 %938)
(fma.f64 %1304 %1307 %940)
(fma.f64 %1304 %1307 %942)
(fma.f64 %1309 %1310 %936)
(fma.f64 %1309 %1310 %938)
(fma.f64 %1309 %1310 %940)
(fma.f64 %1309 %1310 %942)
(fma.f64 %1310 %1309 %936)
(fma.f64 %1310 %1309 %938)
(fma.f64 %1310 %1309 %940)
(fma.f64 %1310 %1309 %942)
(fma.f64 %1305 %1304 %936)
(fma.f64 %1305 %1304 %938)
(fma.f64 %1305 %1304 %940)
(fma.f64 %1305 %1304 %942)
(fma.f64 %1314 %1309 %936)
(fma.f64 %1314 %1309 %938)
(fma.f64 %1314 %1309 %940)
(fma.f64 %1314 %1309 %942)
(fma.f64 %1304 %1305 %972)
(fma.f64 %1304 %1305 %974)
(fma.f64 %1304 %1307 %972)
(fma.f64 %1304 %1307 %974)
(fma.f64 %1309 %1310 %972)
(fma.f64 %1309 %1310 %974)
(fma.f64 %1310 %1309 %972)
(fma.f64 %1310 %1309 %974)
(fma.f64 %1305 %1304 %972)
(fma.f64 %1305 %1304 %974)
(fma.f64 %1314 %1309 %972)
(fma.f64 %1314 %1309 %974)
(*.f64 %1433 %753)
(pow.f64 %1037 #s(literal 1/2 binary64))
(*.f64 %1436 %1437)
(*.f64 %1439 %1436)
(fma.f64 %273 %233 #s(literal -1 binary64))
(fma.f64 %1433 %753 #s(literal 0 binary64))
(fma.f64 %1359 %1361 %936)
(fma.f64 %1359 %1361 %938)
(fma.f64 %1359 %1361 %940)
(fma.f64 %1359 %1361 %942)
(fma.f64 %1363 %1360 %936)
(fma.f64 %1363 %1360 %938)
(fma.f64 %1363 %1360 %940)
(fma.f64 %1363 %1360 %942)
(fma.f64 %1436 %1437 #s(literal 0 binary64))
(fma.f64 %1439 %1436 #s(literal 0 binary64))
(*.f64 %1453 %1454)
(/.f64 #s(literal 1 binary64) (pow.f64 %1037 #s(literal -1/2 binary64)))
(fma.f64 %1304 %1373 %936)
(fma.f64 %1304 %1373 %938)
(fma.f64 %1304 %1373 %940)
(fma.f64 %1304 %1373 %942)
(fma.f64 %1359 %1361 %972)
(fma.f64 %1359 %1361 %974)
(fma.f64 %1375 %1376 %936)
(fma.f64 %1375 %1376 %938)
(fma.f64 %1375 %1376 %940)
(fma.f64 %1375 %1376 %942)
(fma.f64 %1378 %1372 %936)
(fma.f64 %1378 %1372 %938)
(fma.f64 %1378 %1372 %940)
(fma.f64 %1378 %1372 %942)
(fma.f64 %1363 %1360 %972)
(fma.f64 %1363 %1360 %974)
(fma.f64 %1380 %1309 %936)
(fma.f64 %1380 %1309 %938)
(fma.f64 %1380 %1309 %940)
(fma.f64 %1380 %1309 %942)
(*.f64 %1478 %1175)
(fma.f64 %1304 %1373 %972)
(fma.f64 %1304 %1373 %974)
(fma.f64 %1375 %1376 %972)
(fma.f64 %1375 %1376 %974)
(fma.f64 %1378 %1372 %972)
(fma.f64 %1378 %1372 %974)
(fma.f64 %1380 %1309 %972)
(fma.f64 %1380 %1309 %974)
(fma.f64 %1453 %1454 #s(literal 0 binary64))
(fma.f64 %1478 %1175 #s(literal 0 binary64))
(fma.f64 %1433 %753 %936)
(fma.f64 %1433 %753 %938)
(fma.f64 %1433 %753 %940)
(fma.f64 %1433 %753 %942)
(fma.f64 %1433 %753 %972)
(fma.f64 %1433 %753 %974)
(fma.f64 %1436 %1437 %936)
(fma.f64 %1436 %1437 %938)
(fma.f64 %1436 %1437 %940)
(fma.f64 %1436 %1437 %942)
(fma.f64 %1439 %1436 %936)
(fma.f64 %1439 %1436 %938)
(fma.f64 %1439 %1436 %940)
(fma.f64 %1439 %1436 %942)
(fma.f64 %1436 %1437 %972)
(fma.f64 %1436 %1437 %974)
(fma.f64 %1439 %1436 %972)
(fma.f64 %1439 %1436 %974)
(fma.f64 %1453 %1454 %936)
(fma.f64 %1453 %1454 %938)
(fma.f64 %1453 %1454 %940)
(fma.f64 %1453 %1454 %942)
(fma.f64 %1478 %1175 %936)
(fma.f64 %1478 %1175 %938)
(fma.f64 %1478 %1175 %940)
(fma.f64 %1478 %1175 %942)
(fma.f64 %1453 %1454 %972)
(fma.f64 %1453 %1454 %974)
(fma.f64 %1478 %1175 %972)
(fma.f64 %1478 %1175 %974)
#s(literal 0 binary64)
(neg.f64 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 2 binary64) #s(literal -2 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(+.f64 #s(literal -1 binary64) #s(literal 1 binary64))
(+.f64 #s(literal -2 binary64) #s(literal 2 binary64))
(+.f64 #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(-.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(-.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(-.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(-.f64 #s(literal 3/2 binary64) #s(literal 3/2 binary64))
(-.f64 #s(literal 4 binary64) #s(literal 4 binary64))
(-.f64 #s(literal 1/4 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 0 binary64) #s(literal -2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 3/2 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 0 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal -1/2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 3/2 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 0 binary64))
(*.f64 #s(literal 1/4 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 4 binary64) %370)
(/.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(/.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 0 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 0 binary64) #s(literal 4 binary64))
(/.f64 #s(literal 0 binary64) %370)
(*.f64 %45 %45)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 3/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 2 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal 4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal -1 binary64))
(+.f64 #s(literal 2 binary64) %1617)
(+.f64 #s(literal 1/2 binary64) %1619)
(+.f64 #s(literal 3/2 binary64) %57)
(-.f64 #s(literal 1/2 binary64) %357)
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) #s(literal -1 binary64)))
(-.f64 (-.f64 #s(literal 2 binary64) #s(literal 3/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 4 binary64) %507)
(+.f64 #s(literal 1/4 binary64) %708)
(+.f64 #s(literal 1/4 binary64) %82)
(*.f64 #s(literal 0 binary64) %49)
(*.f64 #s(literal 0 binary64) %51)
(*.f64 #s(literal 0 binary64) %53)
(*.f64 #s(literal 0 binary64) %55)
(*.f64 #s(literal 0 binary64) %57)
(*.f64 #s(literal -1/2 binary64) %68)
(*.f64 %49 #s(literal 0 binary64))
(*.f64 %55 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 4 binary64) %370)
(fma.f64 #s(literal 2 binary64) #s(literal 2 binary64) %370)
(fma.f64 #s(literal 1/2 binary64) %370 #s(literal 2 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -2 binary64) %370)
(fma.f64 #s(literal 4 binary64) #s(literal 1 binary64) %370)
(fma.f64 #s(literal 4 binary64) %372 #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) %370 #s(literal 1 binary64))
(fma.f64 %370 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %372 #s(literal 4 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 1/4 binary64) %100)
(/.f64 #s(literal 0 binary64) %135)
(/.f64 %68 #s(literal -2 binary64))
(/.f64 #s(literal 0 binary64) %455)
(/.f64 #s(literal 0 binary64) %507)
(/.f64 #s(literal 0 binary64) %511)
(/.f64 #s(literal 0 binary64) %451)
(/.f64 #s(literal 0 binary64) %514)
(/.f64 #s(literal 0 binary64) %131)
(*.f64 #s(literal 0 binary64) %75)
(*.f64 %77 #s(literal 0 binary64))
(*.f64 %79 #s(literal 1/2 binary64))
(*.f64 %79 #s(literal 1/4 binary64))
(fma.f64 %45 %45 #s(literal 0 binary64))
(expm1.f64 #s(literal 0 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) #s(literal 0 binary64)))
(/.f64 %79 #s(literal 4 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) %1617)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1619)
(fma.f64 #s(literal 1 binary64) #s(literal 3/2 binary64) %57)
(fma.f64 #s(literal 0 binary64) %49 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %51 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %53 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %55 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %57 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %1617)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %1619)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1619)
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %1617)
(fma.f64 #s(literal 1/2 binary64) %424 #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) %1617)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1619)
(fma.f64 #s(literal -2 binary64) #s(literal -1 binary64) %1617)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1 binary64) %1619)
(fma.f64 #s(literal -1/2 binary64) %424 #s(literal -2 binary64))
(fma.f64 #s(literal -1/2 binary64) %426 #s(literal -2 binary64))
(fma.f64 #s(literal -1/2 binary64) %68 #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) #s(literal 1 binary64) %57)
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) %1617)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %1619)
(fma.f64 #s(literal 1/4 binary64) %135 #s(literal -2 binary64))
(fma.f64 %135 #s(literal 1/4 binary64) #s(literal -2 binary64))
(fma.f64 %49 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %55 #s(literal 0 binary64) #s(literal 0 binary64))
(tanh.f64 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 4 binary64) %507)
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) %708)
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) %82)
(fma.f64 #s(literal 2 binary64) #s(literal 2 binary64) %507)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %708)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %82)
(fma.f64 #s(literal 1/2 binary64) %441 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) #s(literal -2 binary64) %507)
(fma.f64 #s(literal -2 binary64) %82 #s(literal -1/2 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) %708)
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) %82)
(fma.f64 #s(literal 4 binary64) #s(literal 1 binary64) %507)
(fma.f64 #s(literal 4 binary64) %84 #s(literal -1/2 binary64))
(fma.f64 #s(literal 4 binary64) %447 #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) %708)
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) %82)
(fma.f64 #s(literal 1/4 binary64) %451 #s(literal -2 binary64))
(fma.f64 #s(literal 1/4 binary64) %453 #s(literal 1 binary64))
(fma.f64 %455 #s(literal -1/2 binary64) #s(literal -2 binary64))
(fma.f64 %86 #s(literal 4 binary64) #s(literal -1/2 binary64))
(fma.f64 %458 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %460 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 %82 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %135 %370)
(fma.f64 #s(literal 1 binary64) #s(literal 1/4 binary64) %100)
(fma.f64 #s(literal 0 binary64) %75 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %88 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) %90 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64) %100)
(fma.f64 #s(literal 1/2 binary64) %92 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %94 #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) %96 #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) %98 #s(literal -1 binary64))
(fma.f64 #s(literal -2 binary64) %100 #s(literal -1/2 binary64))
(fma.f64 #s(literal -2 binary64) %102 #s(literal -1 binary64))
(fma.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64) %100)
(fma.f64 #s(literal -1/2 binary64) %104 #s(literal -1 binary64))
(fma.f64 #s(literal -1/2 binary64) %106 #s(literal -1 binary64))
(fma.f64 #s(literal 4 binary64) %108 #s(literal -1/2 binary64))
(fma.f64 #s(literal 4 binary64) %90 #s(literal -1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 1 binary64) %100)
(fma.f64 #s(literal 1/4 binary64) %77 #s(literal -1 binary64))
(fma.f64 #s(literal 1/4 binary64) %112 #s(literal -1 binary64))
(fma.f64 #s(literal 1/4 binary64) %114 #s(literal -1 binary64))
(fma.f64 %77 #s(literal 0 binary64) #s(literal 0 binary64))
(fma.f64 %77 #s(literal 1/2 binary64) #s(literal -2 binary64))
(fma.f64 %77 #s(literal 1/4 binary64) #s(literal -1 binary64))
(fma.f64 %92 #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 %104 #s(literal -1/2 binary64) #s(literal -1 binary64))
(fma.f64 %119 #s(literal -1/2 binary64) #s(literal -1 binary64))
(fma.f64 %165 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %88 #s(literal 1 binary64) #s(literal -1/2 binary64))
(fma.f64 %88 #s(literal 2 binary64) #s(literal -1 binary64))
(fma.f64 %90 #s(literal 2 binary64) #s(literal -1/2 binary64))
(fma.f64 %114 #s(literal 1/4 binary64) #s(literal -1 binary64))
(fma.f64 %79 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %79 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %125 %125 #s(literal -2 binary64))
(fma.f64 %125 %126 #s(literal -1 binary64))
(fma.f64 %126 %125 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %451 %370)
(fma.f64 #s(literal 1/4 binary64) %131 %370)
(/.f64 (+.f64 #s(literal 4 binary64) %455) #s(literal 4 binary64))
(/.f64 %1761 #s(literal 4 binary64))
(/.f64 %1763 #s(literal 4 binary64))
(expm1.f64 %641)
(+.f64 %75 (/.f64 #s(literal -1/2 binary64) #s(literal -2 binary64)))
(-.f64 %75 %75)
(fma.f64 #s(literal 1/2 binary64) %49 %57)
(fma.f64 #s(literal 1/2 binary64) %55 %57)
(fma.f64 #s(literal -1/2 binary64) %424 %1617)
(fma.f64 #s(literal -1/2 binary64) %426 %1617)
(fma.f64 #s(literal 1/4 binary64) %135 %1617)
(fma.f64 %135 #s(literal 1/4 binary64) %1617)
(fma.f64 %55 #s(literal 1/2 binary64) %57)
(*.f64 %79 %129)
(fma.f64 #s(literal 1/2 binary64) %135 %507)
(fma.f64 #s(literal -2 binary64) %82 %1619)
(fma.f64 #s(literal 4 binary64) %84 %1619)
(fma.f64 #s(literal 1/4 binary64) %451 %1617)
(fma.f64 %455 #s(literal -1/2 binary64) %1617)
(fma.f64 %86 #s(literal 4 binary64) %1619)
(fma.f64 #s(literal 1/2 binary64) %451 %507)
(fma.f64 #s(literal 1/4 binary64) %131 %507)
(fma.f64 %131 %132 #s(literal -1 binary64))
(fma.f64 %132 %131 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) %90 %1619)
(fma.f64 #s(literal -2 binary64) %100 %1619)
(fma.f64 #s(literal 4 binary64) %108 %1619)
(fma.f64 %77 #s(literal 1/2 binary64) %1617)
(fma.f64 %88 #s(literal 1 binary64) %1619)
(fma.f64 %90 #s(literal 2 binary64) %1619)
(fma.f64 %136 #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 %559 #s(literal 4 binary64) #s(literal 1 binary64))
(fma.f64 %138 #s(literal 4 binary64) #s(literal -1/2 binary64))
(fma.f64 %125 %125 %1617)
(/.f64 %1797 #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) #s(literal -2 binary64) #s(literal 4 binary64)) %455)
(/.f64 (fma.f64 #s(literal -2 binary64) #s(literal 2 binary64) #s(literal 4 binary64)) %507)
(/.f64 (-.f64 %451 %135) #s(literal 4 binary64))
(/.f64 %1763 %135)
(/.f64 %1761 %451)
(/.f64 %1761 %514)
(/.f64 %1761 %131)
(/.f64 %1763 %511)
(/.f64 %1763 %131)
(fma.f64 %77 %129 #s(literal -1/2 binary64))
(fma.f64 %141 %142 #s(literal -1 binary64))
(fma.f64 %144 %129 #s(literal -1 binary64))
(fma.f64 %75 %146 #s(literal -1 binary64))
(fma.f64 %129 %144 #s(literal -1 binary64))
(fma.f64 %142 %141 #s(literal -1 binary64))
(fma.f64 %104 %150 #s(literal -1/2 binary64))
(fma.f64 %152 %150 #s(literal -1 binary64))
(fma.f64 %150 %152 #s(literal -1 binary64))
(fma.f64 %155 %100 #s(literal -1 binary64))
(fma.f64 %155 %157 #s(literal -1/2 binary64))
(fma.f64 %119 %100 #s(literal -1/2 binary64))
(fma.f64 %160 %161 #s(literal -1 binary64))
(fma.f64 %163 %157 #s(literal -1 binary64))
(fma.f64 %165 %166 #s(literal -1 binary64))
(fma.f64 %168 %108 #s(literal -1 binary64))
(fma.f64 %168 %170 #s(literal -1/2 binary64))
(fma.f64 %172 %173 #s(literal -1 binary64))
(fma.f64 %175 %170 #s(literal -1 binary64))
(fma.f64 %112 %108 #s(literal -1/2 binary64))
(fma.f64 %112 %90 #s(literal -1 binary64))
(fma.f64 %108 %168 #s(literal -1 binary64))
(fma.f64 %108 %112 #s(literal -1/2 binary64))
(fma.f64 %90 %112 #s(literal -1 binary64))
(fma.f64 %173 %172 #s(literal -1 binary64))
(fma.f64 %183 %184 #s(literal -1 binary64))
(fma.f64 %170 %175 #s(literal -1 binary64))
(fma.f64 %79 %129 #s(literal 0 binary64))
(sinh.f64 #s(literal 0 binary64))
(fma.f64 %138 #s(literal 4 binary64) %1619)
(/.f64 %1797 %135)
(/.f64 (fma.f64 #s(literal 4 binary64) #s(literal -2 binary64) %135) %514)
(/.f64 (fma.f64 #s(literal 4 binary64) #s(literal 2 binary64) %514) %451)
(/.f64 (fma.f64 #s(literal 4 binary64) #s(literal 2 binary64) %511) %451)
(/.f64 (fma.f64 #s(literal 4 binary64) #s(literal -2 binary64) %451) %514)
(fma.f64 %77 %129 %1619)
(fma.f64 %104 %150 %1619)
(fma.f64 %155 %157 %1619)
(fma.f64 %119 %100 %1619)
(fma.f64 %168 %170 %1619)
(fma.f64 %112 %108 %1619)
(fma.f64 %108 %112 %1619)
(/.f64 (-.f64 %507 %507) %507)
(/.f64 (-.f64 %451 %451) %451)
(/.f64 (-.f64 %514 %514) %514)
(/.f64 (-.f64 %511 %511) %511)
(/.f64 (-.f64 %131 %131) %131)
(/.f64 (-.f64 %455 %455) %455)
(pow.f64 #s(literal 0 binary64) #s(literal 2 binary64))
(/.f64 (-.f64 %131 (*.f64 #s(literal 2 binary64) %135)) %135)
(/.f64 (-.f64 (*.f64 %135 #s(literal 2 binary64)) %131) %451)
(/.f64 (-.f64 (*.f64 %135 #s(literal 4 binary64)) (*.f64 #s(literal 4 binary64) %135)) %131)
(fma.f64 %187 %188 #s(literal -1 binary64))
(fma.f64 %190 %191 #s(literal -1 binary64))
(fma.f64 %194 %195 #s(literal -1 binary64))
(fma.f64 %195 %194 #s(literal -1 binary64))
(fma.f64 %198 %199 #s(literal -1 binary64))
(fma.f64 %201 %202 #s(literal -1 binary64))
(fma.f64 %202 %201 #s(literal -1 binary64))
(/.f64 (+.f64 %1887 %1888) (+.f64 #s(literal 1 binary64) (*.f64 %1887 %1888)))
(/.f64 (+.f64 %1893 %1894) (+.f64 #s(literal 1 binary64) (*.f64 %1893 %1894)))
(fma.f64 %728 %727 %1899)
(fma.f64 %734 %733 %1901)
(+.f64 (*.f64 %728 %727) %1899)
(+.f64 (*.f64 %734 %733) %1901)
(-.f64 (*.f64 %728 %726) (*.f64 %726 %728))
(-.f64 (*.f64 %747 %745) (*.f64 %745 %747))
(-.f64 (*.f64 %734 %732) (*.f64 %732 %734))
%1916
phi0
%1918
%1175
(fabs.f64 %1175)
(fabs.f64 %1277)
(neg.f64 %1277)
(*.f64 %1304 %1309)
(*.f64 %1309 %1304)
(*.f64 %1359 %1360)
(*.f64 %1360 %1359)
(*.f64 %1304 (neg.f64 %1372))
(*.f64 %1375 %1372)
(*.f64 (neg.f64 %1375) %1309)
(/.f64 (sqrt.f64 %929) %125)
(*.f64 %1436 %1436)
(hypot.f64 %1175 #s(literal 0 binary64))
(pow.f64 %753 #s(literal 1/2 binary64))
(hypot.f64 %1175 %45)
(hypot.f64 %1277 #s(literal 0 binary64))
(*.f64 %1938 %1938)
(hypot.f64 %1277 %45)
(*.f64 (sqrt.f64 %1304) (sqrt.f64 %1305))
(*.f64 (sqrt.f64 %1310) (sqrt.f64 %1309))
(/.f64 #s(literal 1 binary64) (pow.f64 %753 #s(literal -1/2 binary64)))
(pow.f64 %1436 #s(literal 2 binary64))
(pow.f64 %1037 #s(literal 1/4 binary64))
%1277
(*.f64 %1304 %1372)
(*.f64 %1309 %1375)
(*.f64 %1372 %1304)
(*.f64 %1375 %1309)
(*.f64 %1359 (neg.f64 %1360))
(*.f64 (neg.f64 %1359) %1360)
(*.f64 %1436 %1938)
(*.f64 %1938 %1436)
%1961
(if.f64 %1916 #s(literal 0 binary64) %1961)
reconstruct97.0ms (0.1%)
Memory
7.1MiB live, 7.1MiB allocated; 0ms collecting garbage
eval1.8s (1.2%)
Memory
10.0MiB live, 107.7MiB allocated; 24ms collecting garbage
Compiler
Compiled 72 813 to 10 017 computations (86.2% saved)
prune267.0ms (0.2%)
Memory
4.7MiB live, 35.1MiB allocated; 4ms collecting garbage
Pruning
9 alts after pruning (9 fresh and 0 done)
PrunedKeptTotal
New1 55591 564
Fresh000
Picked101
Done000
Total1 55691 565
Accuracy
100.0%
Counts
1 565 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶77.8%
%2 = (fma.f64 D D #s(literal -1 binary64))
%7 = (sqrt.f64 %2)
(if.f64 (<=.f64 %2 #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (neg.f64 %7) %7))
▶77.6%
%1 = (*.f64 D D)
%14 = (/.f64 (sqrt.f64 (fabs.f64 (fma.f64 #s(literal 2 binary64) %1 #s(literal -2 binary64)))) (sqrt.f64 #s(literal 2 binary64)))
(if.f64 (<=.f64 (-.f64 %1 #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (neg.f64 %14) %14))
▶84.7%
%10 = (sqrt.f64 (fabs.f64 (-.f64 D #s(literal 1 binary64))))
%17 = (*.f64 (sqrt.f64 (*.f64 %10 (fabs.f64 (-.f64 D #s(literal -1 binary64))))) (sqrt.f64 %10))
(if.f64 (<=.f64 (-.f64 (*.f64 D D) #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (neg.f64 %17) %17))
▶99.7%
%15 = (*.f64 (sqrt.f64 (fabs.f64 (-.f64 D #s(literal 1 binary64)))) (sqrt.f64 (fabs.f64 (-.f64 D #s(literal -1 binary64)))))
(if.f64 (<=.f64 (-.f64 (*.f64 D D) #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (neg.f64 %15) %15))
▶99.9%
%19 = (approx (sqrt (- (* D D) 1)) (*.f64 D (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 D #s(literal 2 binary64)))))))
(if.f64 (<=.f64 (-.f64 (*.f64 D D) #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (neg.f64 %19) %19))
▶56.2%
%21 = (approx (sqrt (- (* D D) 1)) (*.f64 #s(literal -1 binary64) (*.f64 D (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 D #s(literal 2 binary64))))))))
(if.f64 (<=.f64 (-.f64 (*.f64 D D) #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (neg.f64 %21) %21))
▶66.2%
%3 = (-.f64 (*.f64 D D) #s(literal 1 binary64))
(if.f64 (<=.f64 %3 #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (approx (neg (sqrt (- (* D D) 1))) (*.f64 #s(literal -1 binary64) (*.f64 D (-.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 D #s(literal 2 binary64)))) #s(literal 1 binary64))))) (sqrt.f64 %3)))
▶89.6%
%3 = (-.f64 (*.f64 D D) #s(literal 1 binary64))
(if.f64 (<=.f64 %3 #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (approx (neg (sqrt (- (* D D) 1))) (*.f64 #s(literal -1 binary64) D)) (sqrt.f64 %3)))
▶56.9%
%5 = (approx (- (* D D) 1) #s(literal -1 binary64))
%10 = (sqrt.f64 %5)
(if.f64 (<=.f64 %5 #s(literal 0 binary64)) #s(literal 0 binary64) (if.f64 (<.f64 phi0 #s(literal 0 binary64)) (neg.f64 %10) %10))
Compiler
Compiled 289 to 69 computations (76.1% saved)
sample22.0ms (0.0%)
Memory
1.6MiB live, 1.6MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
(sqrt 2)
Outputs
#s(literal 6369051672525773/4503599627370496 binary64)
Samples
0.0ms1×0valid
Compiler
Compiled 4 to 4 computations (0.0% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)
series3.0s (2.0%)
Memory
-23.3MiB live, 47.4MiB allocated; 16ms collecting garbage
Counts
74 → 134
Calls
Call 1
Inputs
%1 = (*.f64 D D)
%3 = (-.f64 %1 #s(literal 1 binary64))
%5 = (<=.f64 %3 #s(literal 0 binary64))
%7 = (<.f64 phi0 #s(literal 0 binary64))
%8 = (sqrt.f64 %3)
%10 = (pow.f64 D #s(literal 2 binary64))
%14 = (- (* D D) 1)
%15 = (approx %14 #s(literal -1 binary64))
%17 = (/.f64 #s(literal 1 binary64) %10)
%18 = (*.f64 #s(literal 1/2 binary64) %17)
%19 = (-.f64 #s(literal 1 binary64) %18)
%20 = (*.f64 D %19)
%21 = (sqrt %14)
%22 = (approx %21 %20)
%23 = (*.f64 #s(literal -1 binary64) D)
%24 = (neg %21)
%25 = (approx %24 %23)
%26 = (-.f64 %18 #s(literal 1 binary64))
%27 = (*.f64 D %26)
%28 = (*.f64 #s(literal -1 binary64) %20)
%29 = (approx %21 %28)
%30 = (*.f64 #s(literal -1 binary64) %27)
%31 = (approx %24 %30)
%33 = (-.f64 D #s(literal 1 binary64))
%34 = (sqrt.f64 #s(literal 2 binary64))
%35 = (fma.f64 D D #s(literal -1 binary64))
%36 = (-.f64 D #s(literal -1 binary64))
%37 = (fabs.f64 %36)
%38 = (fabs.f64 %33)
%39 = (fma.f64 #s(literal 2 binary64) %1 #s(literal -2 binary64))
%40 = (fabs.f64 %39)
%41 = (sqrt.f64 %35)
%42 = (neg.f64 %41)
%43 = (sqrt.f64 %37)
%44 = (sqrt.f64 %38)
%45 = (*.f64 %44 %37)
%46 = (<=.f64 %35 #s(literal 0 binary64))
%47 = (*.f64 %44 %43)
%48 = (sqrt.f64 %40)
%49 = (/.f64 %48 %34)
%50 = (sqrt.f64 %45)
%51 = (sqrt.f64 %44)
%52 = (*.f64 %50 %51)
%53 = (if.f64 %7 %42 %41)
%55 = (<=.f64 %15 #s(literal 0 binary64))
%56 = (sqrt.f64 %15)
%57 = (neg.f64 %56)
%58 = (if.f64 %7 %57 %56)
%60 = (neg.f64 %47)
%61 = (if.f64 %7 %60 %47)
%63 = (neg.f64 %49)
%64 = (if.f64 %7 %63 %49)
%66 = (neg.f64 %52)
%67 = (if.f64 %7 %66 %52)
%69 = (neg.f64 %22)
%70 = (if.f64 %7 %69 %22)
%72 = (neg.f64 %29)
%73 = (if.f64 %7 %72 %29)
%75 = (if.f64 %7 %25 %8)
%77 = (if.f64 %7 %31 %8)
D
%1
#s(literal 1 binary64)
%3
#s(literal 0 binary64)
%5
phi0
%7
%8
#s(literal 2 binary64)
%10
#s(literal -1 binary64)
%15
#s(literal 1/2 binary64)
%17
%18
%19
%20
%22
%23
%25
%26
%27
%28
%29
%30
%31
#s(literal -2 binary64)
%33
%34
%35
%36
%37
%38
%39
%40
%41
%42
%43
%44
%45
%46
%47
%48
%49
%50
%51
%52
%53
(if.f64 %46 #s(literal 0 binary64) %53)
%55
%56
%57
%58
(if.f64 %55 #s(literal 0 binary64) %58)
%60
%61
(if.f64 %5 #s(literal 0 binary64) %61)
%63
%64
(if.f64 %5 #s(literal 0 binary64) %64)
%66
%67
(if.f64 %5 #s(literal 0 binary64) %67)
%69
%70
(if.f64 %5 #s(literal 0 binary64) %70)
%72
%73
(if.f64 %5 #s(literal 0 binary64) %73)
%75
(if.f64 %5 #s(literal 0 binary64) %75)
%77
(if.f64 %5 #s(literal 0 binary64) %77)
Outputs
%4 = (* D D)
%6 = (pow.f64 D #s(literal 2 binary64))
%9 = (- %4 1)
%13 = (-.f64 %6 #s(literal 1 binary64))
%16 = (<= %9 0)
%17 = (<=.f64 %13 #s(literal 0 binary64))
%19 = (sqrt %9)
%20 = (sqrt.f64 #s(literal -1 binary64))
%23 = (/.f64 %6 %20)
%29 = (pow.f64 %20 #s(literal 3 binary64))
%30 = (/.f64 %6 %29)
%32 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %20))
%40 = (/.f64 %6 (pow.f64 %20 #s(literal 5 binary64)))
%44 = (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %29))
%52 = (/ 1 (pow D 2))
%53 = (/.f64 #s(literal 1 binary64) %6)
%56 = (* 1/2 %52)
%59 = (- 1 %56)
%63 = (-.f64 %6 #s(literal 1/2 binary64))
%66 = (* D %59)
%73 = (*.f64 #s(literal -1 binary64) D)
%75 = (neg %19)
%93 = (- %56 1)
%95 = (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) %6))
%98 = (* D %93)
%103 = (- D 1)
%104 = (-.f64 D #s(literal 1 binary64))
%106 = (- D -1)
%108 = (+.f64 #s(literal 1 binary64) D)
%110 = (fabs %103)
%111 = (+.f64 #s(literal 1 binary64) %73)
%115 = (+ (* 2 %4) -2)
%118 = (*.f64 #s(literal 2 binary64) %6)
%119 = (-.f64 %118 #s(literal 2 binary64))
%121 = (fabs %115)
%126 = (fabs %106)
%127 = (sqrt %126)
%131 = (*.f64 #s(literal -1/8 binary64) D)
%143 = (sqrt %110)
%158 = (* %143 %126)
%174 = (* %143 %127)
%190 = (sqrt %121)
%191 = (sqrt.f64 #s(literal 2 binary64))
%197 = (pow.f64 %191 #s(literal 3 binary64))
%200 = (/.f64 #s(literal 1 binary64) %191)
%205 = (pow.f64 %191 #s(literal 5 binary64))
%209 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %197))
%217 = (/ %190 (sqrt 2))
%218 = (pow.f64 %191 #s(literal 2 binary64))
%219 = (/.f64 %6 %218)
%224 = (pow.f64 %191 #s(literal 4 binary64))
%225 = (/.f64 %6 %224)
%227 = (/.f64 #s(literal 1 binary64) %218)
%233 = (pow.f64 %191 #s(literal 6 binary64))
%234 = (/.f64 %6 %233)
%236 = (/.f64 #s(literal 1 binary64) %224)
%237 = (*.f64 #s(literal 1/2 binary64) %236)
%244 = (sqrt %158)
%264 = (sqrt %143)
%285 = (< phi0 0)
%286 = (+ %4 -1)
%287 = (sqrt %286)
%289 = (if %285 (neg %287) %287)
%290 = (<.f64 phi0 #s(literal 0 binary64))
%291 = (sqrt.f64 %13)
%293 = (if.f64 %290 (neg.f64 %291) %291)
%299 = (neg %174)
%315 = (if %285 %299 %174)
%316 = (fabs.f64 %108)
%319 = (sqrt.f64 (fabs.f64 %104))
%320 = (*.f64 (sqrt.f64 %316) %319)
%322 = (if.f64 %290 (neg.f64 %320) %320)
%324 = (if %16 0 %315)
%327 = (neg %217)
%339 = (if %285 %327 %217)
%342 = (/.f64 (sqrt.f64 (fabs.f64 %119)) %191)
%344 = (if.f64 %290 (neg.f64 %342) %342)
%349 = (* %244 %264)
%350 = (neg %349)
%351 = (if %285 %350 %349)
%355 = (*.f64 (sqrt.f64 %319) (sqrt.f64 (*.f64 %316 %319)))
%357 = (if.f64 %290 (neg.f64 %355) %355)
%359 = (if %16 0 %351)
%365 = (*.f64 #s(literal 1/2 binary64) %53)
%366 = (-.f64 #s(literal 1 binary64) %365)
%367 = (*.f64 D %366)
%374 = (*.f64 D (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/8 binary64) %53)) %6))))
%378 = (pow.f64 D #s(literal 4 binary64))
%383 = (*.f64 D (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 1/16 binary64) %53)) %378))) %365))
%386 = (-.f64 %365 #s(literal 1 binary64))
%387 = (*.f64 D %386)
%389 = (/.f64 #s(literal 1/8 binary64) %378)
%392 = (*.f64 D (-.f64 (+.f64 %389 %365) #s(literal 1 binary64)))
%394 = (pow.f64 D #s(literal 6 binary64))
%400 = (*.f64 D (-.f64 (+.f64 %389 (fma.f64 #s(literal 1/2 binary64) %53 (*.f64 #s(literal 1/16 binary64) (/.f64 #s(literal 1 binary64) %394)))) #s(literal 1 binary64)))
%403 = (/.f64 #s(literal 1 binary64) D)
%410 = (fabs.f64 %403)
%418 = (sqrt.f64 %410)
%421 = (pow.f64 D #s(literal 3 binary64))
%422 = (*.f64 %410 %418)
%426 = (*.f64 %6 (pow.f64 %418 #s(literal 2 binary64)))
%428 = (*.f64 D %191)
%431 = (/.f64 #s(literal 1 binary64) (*.f64 %6 %191))
%433 = (*.f64 D (-.f64 %191 %431))
%442 = (*.f64 D (+.f64 %191 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 %200 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %6 %197)))) %6))))
%451 = (*.f64 D (-.f64 (+.f64 %191 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %6 %205)) %209) %378))) %431))
%454 = (/.f64 #s(literal 1 binary64) (*.f64 %6 %218))
%456 = (*.f64 D (-.f64 #s(literal 1 binary64) %454))
%464 = (*.f64 D (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %6 %224)) %227) %6))))
%474 = (*.f64 D (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 1/2 binary64) %236 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %6 %233)))) %378))) %454))
%477 = (sqrt.f64 (/.f64 %422 D))
%481 = (sqrt.f64 (/.f64 %418 D))
%485 = (*.f64 %421 (*.f64 %481 %477))
%490 = (*.f64 D (-.f64 %454 #s(literal 1 binary64)))
%492 = (*.f64 %378 %224)
%496 = (*.f64 D (-.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) %492) %454) #s(literal 1 binary64)))
%505 = (*.f64 D (-.f64 (+.f64 %454 (fma.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %492) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 %394 %233))))) #s(literal 1 binary64)))
%526 = (fabs.f64 (/.f64 #s(literal -1 binary64) D))
%531 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %526))
%535 = (*.f64 %526 %531)
%539 = (*.f64 %6 (pow.f64 %531 #s(literal 2 binary64)))
%556 = (sqrt.f64 (/.f64 %535 D))
%561 = (sqrt.f64 (*.f64 #s(literal -1 binary64) (/.f64 %531 D)))
%566 = (*.f64 %421 (*.f64 %561 %556))
%573 = (sqrt.f64 (fabs.f64 (neg.f64 %111)))
%575 = (fabs.f64 (-.f64 #s(literal 1 binary64) %73))
%577 = (*.f64 %573 (sqrt.f64 %575))
%579 = (if.f64 %290 (neg.f64 %577) %577)
%593 = (*.f64 (sqrt.f64 %573) (sqrt.f64 (*.f64 %575 %573)))
%595 = (if.f64 %290 (neg.f64 %593) %593)
(approx D #s(literal 0 binary64))
(approx D D)
(approx %4 %6)
(approx %9 #s(literal -1 binary64))
(approx %9 %13)
(approx %16 %17)
(approx %19 %20)
(approx %19 (+.f64 %20 (*.f64 #s(literal 1/2 binary64) %23)))
(approx %19 (+.f64 %20 (*.f64 %6 (fma.f64 #s(literal -1/8 binary64) %30 %32))))
(approx %19 (+.f64 %20 (*.f64 %6 (fma.f64 %6 (-.f64 (*.f64 #s(literal 1/16 binary64) %40) %44) %32))))
(approx %52 %53)
(approx %56 (/.f64 #s(literal 1/2 binary64) %6))
(approx %59 (/.f64 #s(literal -1/2 binary64) %6))
(approx %59 (/.f64 %63 %6))
(approx %66 (/.f64 #s(literal -1/2 binary64) D))
(approx %66 (/.f64 %63 D))
(approx (* -1 D) %73)
(approx %75 (*.f64 #s(literal -1 binary64) %20))
(approx %75 (-.f64 (*.f64 #s(literal -1/2 binary64) %23) %20))
(approx %75 (-.f64 (*.f64 %6 (-.f64 (*.f64 #s(literal 1/8 binary64) %30) %32)) %20))
(approx %75 (-.f64 (*.f64 %6 (-.f64 (*.f64 %6 (fma.f64 #s(literal -1/16 binary64) %40 %44)) %32)) %20))
(approx %93 (/.f64 %95 %6))
(approx %98 (/.f64 #s(literal 1/2 binary64) D))
(approx %98 (/.f64 %95 D))
(approx %103 %104)
(approx %106 #s(literal 1 binary64))
(approx %106 %108)
(approx %110 %111)
(approx %115 #s(literal -2 binary64))
(approx %115 %119)
(approx %121 #s(literal 2 binary64))
(approx %121 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %6)))
(approx %127 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) D)))
(approx %127 (+.f64 #s(literal 1 binary64) (*.f64 D (+.f64 #s(literal 1/2 binary64) %131))))
(approx %127 (+.f64 #s(literal 1 binary64) (*.f64 D (+.f64 #s(literal 1/2 binary64) (*.f64 D (-.f64 (*.f64 #s(literal 1/16 binary64) D) #s(literal 1/8 binary64)))))))
(approx %143 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) D)))
(approx %143 (+.f64 #s(literal 1 binary64) (*.f64 D (-.f64 %131 #s(literal 1/2 binary64)))))
(approx %143 (+.f64 #s(literal 1 binary64) (*.f64 D (-.f64 (*.f64 D (-.f64 (*.f64 #s(literal -1/16 binary64) D) #s(literal 1/8 binary64))) #s(literal 1/2 binary64)))))
(approx %158 (+.f64 #s(literal 1 binary64) (*.f64 D (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -5/8 binary64) D)))))
(approx %158 (+.f64 #s(literal 1 binary64) (*.f64 D (+.f64 #s(literal 1/2 binary64) (*.f64 D (-.f64 (*.f64 #s(literal -3/16 binary64) D) #s(literal 5/8 binary64)))))))
(approx %174 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) %6)))
(approx %174 (+.f64 #s(literal 1 binary64) (*.f64 %6 (-.f64 (*.f64 #s(literal -1/8 binary64) %6) #s(literal 1/2 binary64)))))
(approx %174 (+.f64 #s(literal 1 binary64) (*.f64 %6 (-.f64 (*.f64 %6 (-.f64 (*.f64 #s(literal -1/16 binary64) %6) #s(literal 1/8 binary64))) #s(literal 1/2 binary64)))))
(approx %190 %191)
(approx %190 (+.f64 %191 (*.f64 #s(literal -1 binary64) (/.f64 %6 %191))))
(approx %190 (+.f64 %191 (*.f64 %6 (-.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 %6 %197)) %200))))
(approx %190 (+.f64 %191 (*.f64 %6 (-.f64 (*.f64 %6 (-.f64 (*.f64 #s(literal -1/2 binary64) (/.f64 %6 %205)) %209)) %200))))
(approx %217 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %219)))
(approx %217 (+.f64 #s(literal 1 binary64) (*.f64 %6 (-.f64 (*.f64 #s(literal -1/2 binary64) %225) %227))))
(approx %217 (+.f64 #s(literal 1 binary64) (*.f64 %6 (-.f64 (*.f64 %6 (-.f64 (*.f64 #s(literal -1/2 binary64) %234) %237)) %227))))
(approx %244 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/4 binary64) D)))
(approx %244 (+.f64 #s(literal 1 binary64) (*.f64 D (+.f64 #s(literal 1/4 binary64) (*.f64 #s(literal -11/32 binary64) D)))))
(approx %244 (+.f64 #s(literal 1 binary64) (*.f64 D (+.f64 #s(literal 1/4 binary64) (*.f64 D (-.f64 (*.f64 #s(literal -1/128 binary64) D) #s(literal 11/32 binary64)))))))
(approx %264 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/4 binary64) D)))
(approx %264 (+.f64 #s(literal 1 binary64) (*.f64 D (-.f64 (*.f64 #s(literal -3/32 binary64) D) #s(literal 1/4 binary64)))))
(approx %264 (+.f64 #s(literal 1 binary64) (*.f64 D (-.f64 (*.f64 D (-.f64 (*.f64 #s(literal -7/128 binary64) D) #s(literal 3/32 binary64))) #s(literal 1/4 binary64)))))
(approx %289 %293)
(approx (if (<= %286 0) 0 %289) (if.f64 %17 #s(literal 0 binary64) %293))
(approx %299 (-.f64 (*.f64 #s(literal 1/2 binary64) %6) #s(literal 1 binary64)))
(approx %299 (-.f64 (*.f64 %6 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/8 binary64) %6))) #s(literal 1 binary64)))
(approx %299 (-.f64 (*.f64 %6 (+.f64 #s(literal 1/2 binary64) (*.f64 %6 (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal 1/16 binary64) %6))))) #s(literal 1 binary64)))
(approx %315 %322)
(approx %324 (if.f64 %17 #s(literal 0 binary64) %322))
(approx %327 (-.f64 %219 #s(literal 1 binary64)))
(approx %327 (-.f64 (*.f64 %6 (fma.f64 #s(literal 1/2 binary64) %225 %227)) #s(literal 1 binary64)))
(approx %327 (-.f64 (*.f64 %6 (fma.f64 %6 (fma.f64 #s(literal 1/2 binary64) %234 %237) %227)) #s(literal 1 binary64)))
(approx %339 %344)
(approx (if %16 0 %339) (if.f64 %17 #s(literal 0 binary64) %344))
(approx %351 %357)
(approx %359 (if.f64 %17 #s(literal 0 binary64) %357))
(approx %9 (*.f64 %6 (-.f64 #s(literal 1 binary64) %53)))
(approx %19 %367)
(approx %19 %374)
(approx %19 %383)
(approx %59 %366)
(approx %75 %387)
(approx %75 %392)
(approx %75 %400)
(approx %93 %386)
(approx %103 (*.f64 D (-.f64 #s(literal 1 binary64) %403)))
(approx %106 (*.f64 D (+.f64 #s(literal 1 binary64) %403)))
(approx %126 (*.f64 %6 %410))
(approx %115 %118)
(approx %115 (*.f64 %6 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %53))))
(approx %127 (*.f64 D %418))
(approx %158 (*.f64 %421 %422))
(approx %174 %426)
(approx %190 %428)
(approx %190 %433)
(approx %190 %442)
(approx %190 %451)
(approx %217 %456)
(approx %217 %464)
(approx %217 %474)
(approx %244 (*.f64 %6 %477))
(approx %264 (*.f64 D %481))
(approx %349 %485)
(approx %299 (*.f64 #s(literal -1 binary64) %426))
(approx %327 %490)
(approx %327 %496)
(approx %327 %505)
(approx %350 (*.f64 #s(literal -1 binary64) %485))
(approx %19 (*.f64 #s(literal -1 binary64) %367))
(approx %19 (*.f64 #s(literal -1 binary64) %374))
(approx %19 (*.f64 #s(literal -1 binary64) %383))
(approx %66 (*.f64 #s(literal -1 binary64) %387))
(approx %75 (*.f64 #s(literal -1 binary64) %392))
(approx %75 (*.f64 #s(literal -1 binary64) %400))
(approx %103 (*.f64 #s(literal -1 binary64) (*.f64 D (-.f64 %403 #s(literal 1 binary64)))))
(approx %126 (*.f64 #s(literal -1 binary64) (*.f64 %6 %526)))
(approx %127 (*.f64 #s(literal -1 binary64) (*.f64 D %531)))
(approx %158 (*.f64 %421 %535))
(approx %174 %539)
(approx %190 (*.f64 #s(literal -1 binary64) %428))
(approx %190 (*.f64 #s(literal -1 binary64) %433))
(approx %190 (*.f64 #s(literal -1 binary64) %442))
(approx %190 (*.f64 #s(literal -1 binary64) %451))
(approx %217 (*.f64 #s(literal -1 binary64) %456))
(approx %217 (*.f64 #s(literal -1 binary64) %464))
(approx %217 (*.f64 #s(literal -1 binary64) %474))
(approx %244 (*.f64 %6 %556))
(approx %264 (*.f64 #s(literal -1 binary64) (*.f64 D %561)))
(approx %349 (*.f64 #s(literal -1 binary64) %566))
(approx %299 (*.f64 #s(literal -1 binary64) %539))
(approx %315 %579)
(approx %324 (if.f64 %17 #s(literal 0 binary64) %579))
(approx %327 (*.f64 #s(literal -1 binary64) %490))
(approx %327 (*.f64 #s(literal -1 binary64) %496))
(approx %327 (*.f64 #s(literal -1 binary64) %505))
(approx %350 %566)
(approx %351 %595)
(approx %359 (if.f64 %17 #s(literal 0 binary64) %595))
(approx phi0 phi0)
(approx %285 %290)
Calls
6 calls:
TimeVariablePoint
39.0ms
D
0
24.0ms
D
inf
23.0ms
D
-inf
19.0ms
phi0
inf
1.0ms
phi0
-inf
rewrite11.4s (7.6%)
Memory
7.1MiB live, 484.6MiB allocated; 176ms collecting garbage
Counts
74 → 58 120
Calls
Call 1
Inputs
%1 = (*.f64 D D)
%3 = (-.f64 %1 #s(literal 1 binary64))
%5 = (<=.f64 %3 #s(literal 0 binary64))
%7 = (<.f64 phi0 #s(literal 0 binary64))
%8 = (sqrt.f64 %3)
%10 = (pow.f64 D #s(literal 2 binary64))
%14 = (- (* D D) 1)
%15 = (approx %14 #s(literal -1 binary64))
%17 = (/.f64 #s(literal 1 binary64) %10)
%18 = (*.f64 #s(literal 1/2 binary64) %17)
%19 = (-.f64 #s(literal 1 binary64) %18)
%20 = (*.f64 D %19)
%21 = (sqrt %14)
%22 = (approx %21 %20)
%23 = (*.f64 #s(literal -1 binary64) D)
%24 = (neg %21)
%25 = (approx %24 %23)
%26 = (-.f64 %18 #s(literal 1 binary64))
%27 = (*.f64 D %26)
%28 = (*.f64 #s(literal -1 binary64) %20)
%29 = (approx %21 %28)
%30 = (*.f64 #s(literal -1 binary64) %27)
%31 = (approx %24 %30)
%33 = (-.f64 D #s(literal 1 binary64))
%34 = (sqrt.f64 #s(literal 2 binary64))
%35 = (fma.f64 D D #s(literal -1 binary64))
%36 = (-.f64 D #s(literal -1 binary64))
%37 = (fabs.f64 %36)
%38 = (fabs.f64 %33)
%39 = (fma.f64 #s(literal 2 binary64) %1 #s(literal -2 binary64))
%40 = (fabs.f64 %39)
%41 = (sqrt.f64 %35)
%42 = (neg.f64 %41)
%43 = (sqrt.f64 %37)
%44 = (sqrt.f64 %38)
%45 = (*.f64 %44 %37)
%46 = (<=.f64 %35 #s(literal 0 binary64))
%47 = (*.f64 %44 %43)
%48 = (sqrt.f64 %40)
%49 = (/.f64 %48 %34)
%50 = (sqrt.f64 %45)
%51 = (sqrt.f64 %44)
%52 = (*.f64 %50 %51)
%53 = (if.f64 %7 %42 %41)
%55 = (<=.f64 %15 #s(literal 0 binary64))
%56 = (sqrt.f64 %15)
%57 = (neg.f64 %56)
%58 = (if.f64 %7 %57 %56)
%60 = (neg.f64 %47)
%61 = (if.f64 %7 %60 %47)
%63 = (neg.f64 %49)
%64 = (if.f64 %7 %63 %49)
%66 = (neg.f64 %52)
%67 = (if.f64 %7 %66 %52)
%69 = (neg.f64 %22)
%70 = (if.f64 %7 %69 %22)
%72 = (neg.f64 %29)
%73 = (if.f64 %7 %72 %29)
%75 = (if.f64 %7 %25 %8)
%77 = (if.f64 %7 %31 %8)
D
%1
#s(literal 1 binary64)
%3
#s(literal 0 binary64)
%5
phi0
%7
%8
#s(literal 2 binary64)
%10
#s(literal -1 binary64)
%15
#s(literal 1/2 binary64)
%17
%18
%19
%20
%22
%23
%25
%26
%27
%28
%29
%30
%31
#s(literal -2 binary64)
%33
%34
%35
%36
%37
%38
%39
%40
%41
%42
%43
%44
%45
%46
%47
%48
%49
%50
%51
%52
%53
(if.f64 %46 #s(literal 0 binary64) %53)
%55
%56
%57
%58
(if.f64 %55 #s(literal 0 binary64) %58)
%60
%61
(if.f64 %5 #s(literal 0 binary64) %61)
%63
%64
(if.f64 %5 #s(literal 0 binary64) %64)
%66
%67
(if.f64 %5 #s(literal 0 binary64) %67)
%69
%70
(if.f64 %5 #s(literal 0 binary64) %70)
%72
%73
(if.f64 %5 #s(literal 0 binary64) %73)
%75
(if.f64 %5 #s(literal 0 binary64) %75)
%77
(if.f64 %5 #s(literal 0 binary64) %77)
Outputs
Timeout generating page