// File: /workspace/github_c_makefile_star2_O3/PoulinV[P]AxiCLASS/build/../tools/hyperspherical.c
// Function: HypersphericalExplicit
int HypersphericalExplicit(int K,int l, double beta,double x, double *Phi){
   /** Explicit formulae for the Hyperspherical Besselfunctions of order
l<=9.
       phi_tilde = gam * beta * cos(x*beta) + delta * sin(x*beta),
       and Phi = phi_tilde *cscK/sqrt(NK). Gamma and delta are
polynomials in
       beta and cscK, containing only even powers.
   */
   double NK,xbeta,gamma,delta,CotK;
   double beta2,beta4,beta6,beta8,beta12,beta16;
   double CscK,CscK2,CscK4,CscK6,CscK8;
   //NK = prod(beta^2-K*(0:l).^2);
   beta2 = beta*beta;
   xbeta = x*beta;
   if (K==-1){
     CotK = 1.0/tanh(x);
     CscK = 1.0/sinh(x);
   }
   else if (K==1){
     CotK = 1.0/tan(x);
     CscK = 1.0/sin(x);
   }
   else{
     CotK = 1.0/x;
     CscK = CotK;
   }

   //Calculate polynomials:
   switch (l){
   case 0:
     gamma = 0;
     delta = 1;
     NK = beta2;
     break;
   case 1:
     gamma = -1;
     delta = CotK;
     NK = beta2*(beta2 - K);
     break;
   case 2:
     beta4 = beta2*beta2;
     CscK2 =CscK*CscK;
     gamma = -3*CotK;
     delta = -beta2 + 3*CscK2 - 2*K;
     NK = beta2*(4.0 + beta4 - 5.0*beta2*K);
     break;
   case 3:
     beta4 = beta2*beta2;
     CscK2 =CscK*CscK;
     gamma = beta2-15*CscK2+11*K;
     delta = CotK*(-6*beta2 + 15*CscK2 - 6*K);
     NK = beta2*(49*beta2 + beta2*beta4 - 36*K - 14*beta4*K);
     break;
   case 4:
     beta4 = beta2*beta2;
     CscK2 = CscK*CscK; CscK4 = CscK2*CscK2;
     gamma = CotK*(10*beta2-105*CscK2+50*K);
     delta = 24 + beta4 + 105*CscK4 + CscK2*(-45*beta2 - 120*K) + 35*beta2*K;
     NK = beta2*(576 + 273*beta4 + beta4*beta4 - 10*beta2*(82 + 3*beta4)*K);
     break;
   case 5:
     beta2 = beta*beta; beta4 = beta2*beta2;
     CscK2 = CscK*CscK; CscK4 = CscK2*CscK2;
     gamma = -274-beta4+105*beta2*CscK2-945*CscK4-85*beta2*K+1155*CscK2*K;
     delta = CotK*(120 + 15*beta4 + 945*CscK4 + CscK2*(-420*beta2 - 840*K) +
           225*beta2*K);
     NK = beta2*(beta2*(21076.0 + 1023*beta4 + beta4*beta4) -
         5.0*(2880.0 + 11*beta4*(139 + beta4))*K);
     break;
   case 6:
     beta2 = beta*beta; beta4 = beta2*beta2; beta6 = beta4*beta2; beta8 = beta4*beta4;
     CscK2 = CscK*CscK; CscK4 = CscK2*CscK2; CscK6 = CscK4*CscK2;
     gamma = CotK*(-1764 - 21*beta4 + 1260*beta2*CscK2 - 10395*CscK4 -
           735*beta2*K + 10080*CscK2*K);
     delta = -1624*beta2 - beta6 + 10395*CscK6 + CscK4*(-4725*beta2 - 17010*K) -
       720*K - 175*beta4*K + CscK2*(7560 + 210*beta4 + 6090*beta2*K);
     NK = beta2*(518400 + beta8*beta4 + 296296*beta4 + 3003*beta8 -
         13*beta2*(59472 + 3421*beta4 + 7*beta8)*K);
     break;
   case 7:
     beta2 = beta*beta; beta4 = beta2*beta2; beta6 = beta4*beta2; beta8 = beta4*beta4;
     beta12 = beta6*beta6;
     CscK2 = CscK*CscK; CscK4 = CscK2*CscK2; CscK6 = CscK4*CscK2;
     gamma = 6769*beta2 + beta6 - 112392*CscK2 - 378*beta4*CscK2 +
       17325*beta2*CscK4 - 135135*CscK6 + 13068*K + 322*beta4*K -
       23310*beta2*CscK2*K + 232155*CscK4*K;
     delta = CotK*(-13132*beta2 - 28*beta6 + 135135*CscK6 +
           CscK4*(-62370*beta2 - 187110*K) - 5040*K - 1960*beta4*K +
           CscK2*(68040 + 3150*beta4 + 64890*beta2*K));
     NK = beta2*(beta2*(38402064 + beta6*beta6 + 2475473*beta4 + 7462*beta8) -
         20*(1270080 + 7*beta12 + 764582*beta4 + 9581*beta8)*K);
     break;
   case 8:
     beta2 = beta*beta; beta4 = beta2*beta2; beta6 = beta4*beta2; beta8 = beta4*beta4;
     beta12 = beta6*beta6; beta16 = beta8*beta8;
     CscK2 = CscK*CscK; CscK4 = CscK2*CscK2; CscK6 = CscK4*CscK2; CscK8 = CscK4*CscK4;
     gamma = CotK*(67284*beta2 + 36*beta6 - 1191960*CscK2 - 6930*beta4*CscK2 +
           270270*beta2*CscK4 - 2027025*CscK6 + 109584*K + 4536*beta4*K -
           297990*beta2*CscK2*K + 2972970*CscK4*K);
     delta = 40320 + 22449*beta4 + beta8 + 2027025*CscK8 +
       CscK6*(-945945*beta2 - 4324320*K) + 118124*beta2*K + 546*beta6*K +
       CscK4*(2993760 + 51975*beta4 + 1694385*beta2*K) +
       CscK2*(-879480*beta2 - 630*beta6 - 725760*K - 72450*beta4*K);
     NK = beta2*(1625702400 + 16422*beta12 + beta16 + 1017067024*beta4 + 14739153*beta8 -
         68*beta2*(36516672 + 3*beta12 + 2554734*beta4 + 9841*beta8)*K);
   break;
   case 9:
     beta2 = beta*beta; beta4 = beta2*beta2; beta6 = beta4*beta2; beta8 = beta4*beta4;
     beta12 = beta6*beta6; beta16 = beta8*beta8;
     CscK2 = CscK*CscK; CscK4 = CscK2*CscK2; CscK6 = CscK4*CscK2; CscK8 = CscK4*CscK4;
     gamma = -1026576 - 63273*beta4 - beta8 + 4830210*beta2*CscK2 +
       990*beta6*CscK2 - 55945890*CscK4 - 135135*beta4*CscK4 +
       4729725*beta2*CscK6 - 34459425*CscK8 - 723680*beta2*K - 870*beta6*K +
       14933160*CscK2*K + 194040*beta4*CscK2*K - 8783775*beta2*CscK4*K +
       76351275*CscK6*K;
     delta = CotK*(362880 + 269325*beta4 + 45*beta8 + 34459425*CscK8 +
           CscK6*(-16216200*beta2 - 64864800*K) + 1172700*beta2*K + 9450*beta6*K +
           CscK4*(38918880 + 945945*beta4 + 24999975*beta2*K) +
           CscK2*(-10866240*beta2 - 13860*beta6 - 7983360*K - 1094940*beta4*K));
     NK = beta2*(beta2*(202759531776.0 + 32946*beta12 + beta16 + 15088541896.0*beta4 + 68943381.0*beta8) -
         5*(26336378880.0 + 19*beta4*(893321712.0 + 3*beta12 + 14395719.0*beta4 + 21046.0*beta8))*K);
     break;
   default:
     *Phi = 0.0;
     //Failure
     return _FAILURE_;
   }
   beta2 = beta*beta;
   NK = beta*beta;
   int n;
   for (n=1; n<=l; n++)
     NK *=(beta*beta-K*n*n);

   *Phi = (gamma*beta*cos(xbeta)+delta*sin(xbeta))*CscK/sqrt(NK);
   return _SUCCESS_;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x40, %rsp
movq %rdx, %rbx
movapd %xmm0, %xmm12
movl %esi, %r14d
movl %edi, %r15d
cmpl $0x1, %edi
movsd %xmm1, 0x8(%rsp)
je 0x2696c
cmpl $-0x1, %r15d
jne 0x269ac
movapd %xmm1, %xmm0
movsd %xmm12, (%rsp)
callq 0x80d0
movapd %xmm0, 0x20(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x8370
jmp 0x2698c
movapd %xmm1, %xmm0
movsd %xmm12, (%rsp)
callq 0x8210
movapd %xmm0, 0x20(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x80a0
movsd (%rsp), %xmm12
movapd 0x20(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
movapd 0xcaf8b(%rip), %xmm11   # 0xf1930
divpd %xmm1, %xmm11
jmp 0x269bf
movsd 0xc78ab(%rip), %xmm11   # 0xee260
divsd %xmm1, %xmm11
unpcklpd %xmm11, %xmm11          # xmm11 = xmm11[0,0]
xorpd %xmm14, %xmm14
cmpl $0x9, %r14d
ja 0x272ce
movapd %xmm12, %xmm13
mulsd %xmm12, %xmm13
movsd 0x8(%rsp), %xmm15
mulsd %xmm12, %xmm15
movl %r14d, %eax
leaq 0xcafb2(%rip), %rcx     # 0xf19a0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
movapd %xmm11, 0x20(%rsp)
movsd %xmm15, 0x8(%rsp)
jmpq *%rax
movsd %xmm13, 0x30(%rsp)
movsd 0xc784c(%rip), %xmm0    # 0xee260
movapd %xmm0, 0x10(%rsp)
jmp 0x26e60
movapd %xmm13, %xmm0
mulsd %xmm13, %xmm0
movapd %xmm11, %xmm1
mulpd %xmm11, %xmm1
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
movsd 0xcadf1(%rip), %xmm2    # 0xf1830
mulsd %xmm1, %xmm2
imull $0x78, %r15d, %eax
cvtsi2sd %eax, %xmm3
movsd 0xcade5(%rip), %xmm4    # 0xf1838
mulsd %xmm13, %xmm4
subsd %xmm3, %xmm4
mulsd %xmm1, %xmm4
mulsd %xmm1, %xmm1
movsd 0xc7d84(%rip), %xmm3    # 0xee7f0
mulsd %xmm13, %xmm3
addsd %xmm2, %xmm3
imull $0x32, %r15d, %eax
xorps %xmm14, %xmm14
cvtsi2sd %eax, %xmm14
addsd %xmm3, %xmm14
mulsd %xmm11, %xmm14
addsd 0xc8c5c(%rip), %xmm0    # 0xef6f0
mulsd 0xcad54(%rip), %xmm1    # 0xf17f0
addsd %xmm0, %xmm1
addsd %xmm1, %xmm4
movsd 0xcad94(%rip), %xmm0    # 0xf1840
mulsd %xmm13, %xmm0
xorps %xmm1, %xmm1
cvtsi2sd %r15d, %xmm1
mulsd %xmm0, %xmm1
addsd %xmm4, %xmm1
jmp 0x26e15
movapd %xmm13, %xmm1
mulsd %xmm13, %xmm1
movapd %xmm13, %xmm6
mulsd %xmm1, %xmm6
movapd %xmm1, %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
movapd %xmm11, %xmm3
mulpd %xmm11, %xmm3
unpckhpd %xmm3, %xmm3            # xmm3 = xmm3[1,1]
movsd 0xcaa93(%rip), %xmm2    # 0xf1590
mulsd %xmm1, %xmm2
addsd 0xcaa8f(%rip), %xmm2    # 0xf1598
subsd %xmm0, %xmm2
movsd 0xcaa8b(%rip), %xmm5    # 0xf15a0
mulsd %xmm13, %xmm5
mulsd %xmm3, %xmm5
addsd %xmm2, %xmm5
movsd 0xcaa7e(%rip), %xmm7    # 0xf15a8
mulsd %xmm6, %xmm7
movsd 0xcaa82(%rip), %xmm4    # 0xf15b8
mulsd %xmm1, %xmm4
xorps %xmm2, %xmm2
cvtsi2sd %r15d, %xmm2
movsd 0xcaa8d(%rip), %xmm8    # 0xf15d8
mulsd %xmm6, %xmm8
movsd 0xcaa8f(%rip), %xmm9    # 0xf15e8
mulsd %xmm1, %xmm9
movsd 0xcaa99(%rip), %xmm10   # 0xf1600
movsd 0xcaac0(%rip), %xmm11   # 0xf1630
mulsd %xmm6, %xmm11
mulsd 0xcaad3(%rip), %xmm6    # 0xf1650
mulsd %xmm1, %xmm10
movsd %xmm12, (%rsp)
movsd 0xcaac7(%rip), %xmm12   # 0xf1658
mulsd %xmm13, %xmm12
addsd %xmm6, %xmm12
imull $0x79d100, %r15d, %eax  # imm = 0x79D100
xorps %xmm6, %xmm6
cvtsi2sd %eax, %xmm6
subsd %xmm6, %xmm12
movapd %xmm13, %xmm15
movsd 0xcaa7c(%rip), %xmm13   # 0xf1638
mulsd %xmm1, %xmm13
mulsd 0xcaa97(%rip), %xmm1    # 0xf1660
mulsd %xmm3, %xmm7
mulsd %xmm2, %xmm1
addsd %xmm12, %xmm1
movsd 0xcaa02(%rip), %xmm6    # 0xf15e0
mulsd %xmm3, %xmm6
mulsd %xmm3, %xmm9
mulsd %xmm3, %xmm1
movapd %xmm3, %xmm12
mulsd %xmm3, %xmm12
movapd %xmm3, %xmm0
mulsd %xmm12, %xmm0
addsd %xmm5, %xmm7
movsd 0xca9a5(%rip), %xmm14   # 0xf15b0
mulsd %xmm12, %xmm14
addsd %xmm7, %xmm14
addsd 0xcaa22(%rip), %xmm13   # 0xf1640
mulsd %xmm12, %xmm4
movsd 0xcaa1d(%rip), %xmm3    # 0xf1648
mulsd %xmm15, %xmm3
mulsd %xmm2, %xmm3
addsd %xmm13, %xmm3
movapd %xmm15, %xmm13
movsd 0x8(%rsp), %xmm15
movsd 0xca9a3(%rip), %xmm7    # 0xf15f0
mulsd %xmm13, %xmm7
mulsd %xmm12, %xmm7
mulsd %xmm12, %xmm3
movapd %xmm12, %xmm5
mulsd %xmm12, %xmm5
addsd %xmm14, %xmm4
movsd 0xca94c(%rip), %xmm12   # 0xf15c0
mulsd %xmm13, %xmm12
mulsd %xmm0, %xmm12
addsd %xmm4, %xmm12
movsd 0xca93d(%rip), %xmm4    # 0xf15c8
mulsd %xmm5, %xmm4
addsd %xmm12, %xmm4
movsd 0xca933(%rip), %xmm12   # 0xf15d0
mulsd %xmm13, %xmm12
mulsd %xmm2, %xmm12
addsd %xmm4, %xmm12
mulsd %xmm2, %xmm8
addsd %xmm12, %xmm8
movsd (%rsp), %xmm12
mulsd %xmm2, %xmm6
addsd %xmm8, %xmm6
mulsd %xmm2, %xmm9
addsd %xmm6, %xmm9
mulsd %xmm2, %xmm7
addsd %xmm9, %xmm7
movsd 0xca917(%rip), %xmm14   # 0xf15f8
movapd %xmm0, %xmm6
mulsd %xmm0, %xmm14
mulsd %xmm2, %xmm14
addsd 0xca910(%rip), %xmm10   # 0xf1608
addsd %xmm7, %xmm14
movsd 0x10(%rsp), %xmm0
mulsd 0xca905(%rip), %xmm0    # 0xf1610
addsd %xmm10, %xmm0
mulsd 0xca900(%rip), %xmm5    # 0xf1618
addsd %xmm0, %xmm5
imull $0x3ddc220, %r15d, %eax # imm = 0x3DDC220
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
movsd 0xca8ee(%rip), %xmm4    # 0xf1620
mulsd %xmm13, %xmm4
subsd %xmm0, %xmm4
mulsd %xmm6, %xmm4
addsd %xmm5, %xmm4
movsd 0xca8dd(%rip), %xmm0    # 0xf1628
mulsd %xmm13, %xmm0
mulsd %xmm2, %xmm0
addsd %xmm4, %xmm0
mulsd %xmm2, %xmm11
addsd %xmm0, %xmm11
addsd %xmm11, %xmm3
addsd %xmm3, %xmm1
mulsd 0x20(%rsp), %xmm1
jmp 0x26e15
movapd %xmm11, %xmm1
mulpd %xmm11, %xmm1
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
movsd 0xca6f3(%rip), %xmm14   # 0xf1480
mulsd %xmm11, %xmm14
mulsd 0xc88e6(%rip), %xmm1    # 0xef680
subsd %xmm13, %xmm1
leal (%r15,%r15), %eax
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
subsd %xmm0, %xmm1
jmp 0x26e15
movapd %xmm11, %xmm0
mulpd %xmm11, %xmm0
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
movsd 0xcaa82(%rip), %xmm1    # 0xf1848
mulsd %xmm0, %xmm1
addsd %xmm13, %xmm1
leal (%r15,%r15,4), %eax
leal (%r15,%rax,2), %eax
xorps %xmm14, %xmm14
cvtsi2sd %eax, %xmm14
addsd %xmm1, %xmm14
mulsd 0xca18b(%rip), %xmm0    # 0xf0f78
movsd 0xc8873(%rip), %xmm1    # 0xef668
mulsd %xmm13, %xmm1
addsd %xmm0, %xmm1
leal (%r15,%r15), %eax
leal (%rax,%rax,2), %eax
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
subsd %xmm0, %xmm1
mulsd %xmm11, %xmm1
movapd %xmm1, 0x10(%rsp)
negl %r14d
movl $0x1, %ecx
movapd %xmm12, %xmm0
mulsd %xmm12, %xmm0
movl %r15d, %eax
movl %eax, %edx
imull %ecx, %edx
xorps %xmm1, %xmm1
cvtsi2sd %edx, %xmm1
movapd %xmm0, %xmm2
subsd %xmm1, %xmm2
mulsd %xmm2, %xmm13
leal (%r14,%rcx), %edx
incl %edx
incl %ecx
addl %r15d, %eax
cmpl $0x1, %edx
jne 0x26e30
movsd %xmm13, 0x30(%rsp)
mulsd %xmm12, %xmm14
movsd %xmm14, (%rsp)
movapd %xmm15, %xmm0
callq 0x86a0
movsd %xmm0, 0x38(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x80a0
mulsd 0x10(%rsp), %xmm0
movsd 0x38(%rsp), %xmm1
mulsd (%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, %xmm0
movapd 0x20(%rsp), %xmm1
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
mulsd %xmm0, %xmm1
xorpd %xmm2, %xmm2
movsd 0x30(%rsp), %xmm0
ucomisd %xmm2, %xmm0
jb 0x26ec3
sqrtsd %xmm0, %xmm0
jmp 0x26ed4
movapd %xmm1, 0x20(%rsp)
callq 0x82b0
movapd 0x20(%rsp), %xmm1
divsd %xmm0, %xmm1
xorl %eax, %eax
movapd %xmm1, %xmm14
movsd %xmm14, (%rbx)
addq $0x40, %rsp
popq %rbx
popq %r14
popq %r15
retq
movapd %xmm13, %xmm3
mulsd %xmm13, %xmm3
movapd %xmm13, %xmm1
mulsd %xmm3, %xmm1
movapd %xmm11, %xmm2
mulpd %xmm11, %xmm2
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
movapd %xmm2, %xmm0
movsd 0xca7f5(%rip), %xmm4    # 0xf1710
mulsd %xmm13, %xmm4
addsd %xmm1, %xmm4
movsd 0xca7ec(%rip), %xmm5    # 0xf1718
mulsd %xmm2, %xmm5
addsd %xmm4, %xmm5
movsd 0xca7e4(%rip), %xmm6    # 0xf1720
mulsd %xmm3, %xmm6
movsd 0xca7e8(%rip), %xmm7    # 0xf1730
mulsd %xmm3, %xmm7
xorps %xmm4, %xmm4
cvtsi2sd %r15d, %xmm4
movsd 0xca80b(%rip), %xmm8    # 0xf1768
mulsd %xmm3, %xmm8
mulsd 0xca806(%rip), %xmm3    # 0xf1770
addsd 0xca806(%rip), %xmm3    # 0xf1778
mulsd %xmm2, %xmm6
movsd 0xca801(%rip), %xmm9    # 0xf1780
mulsd %xmm13, %xmm9
mulsd %xmm4, %xmm9
addsd %xmm3, %xmm9
movsd 0xca7a2(%rip), %xmm3    # 0xf1738
mulsd %xmm13, %xmm3
mulsd %xmm2, %xmm3
mulsd %xmm2, %xmm9
mulsd %xmm2, %xmm2
mulsd %xmm2, %xmm0
addsd %xmm5, %xmm6
movsd 0xca770(%rip), %xmm5    # 0xf1728
mulsd %xmm13, %xmm5
mulsd %xmm2, %xmm5
addsd %xmm6, %xmm5
movsd 0xca5eb(%rip), %xmm6    # 0xf15b8
mulsd %xmm0, %xmm6
addsd %xmm5, %xmm6
imull $0x330c, %r15d, %eax    # imm = 0x330C
xorps %xmm5, %xmm5
cvtsi2sd %eax, %xmm5
addsd %xmm6, %xmm5
mulsd %xmm4, %xmm7
addsd %xmm5, %xmm7
mulsd %xmm4, %xmm3
addsd %xmm7, %xmm3
movsd 0xca740(%rip), %xmm14   # 0xf1740
mulsd %xmm2, %xmm14
mulsd %xmm4, %xmm14
addsd %xmm3, %xmm14
mulsd 0xca731(%rip), %xmm1    # 0xf1748
movsd 0xca731(%rip), %xmm3    # 0xf1750
mulsd %xmm13, %xmm3
addsd %xmm1, %xmm3
mulsd 0xca728(%rip), %xmm0    # 0xf1758
addsd %xmm3, %xmm0
imull $0x2dae6, %r15d, %eax   # imm = 0x2DAE6
xorps %xmm1, %xmm1
cvtsi2sd %eax, %xmm1
movsd 0xca716(%rip), %xmm3    # 0xf1760
mulsd %xmm13, %xmm3
subsd %xmm1, %xmm3
mulsd %xmm2, %xmm3
addsd %xmm0, %xmm3
imull $0x13b0, %r15d, %eax    # imm = 0x13B0
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
subsd %xmm0, %xmm3
mulsd %xmm4, %xmm8
addsd %xmm3, %xmm8
addsd %xmm8, %xmm9
mulsd %xmm11, %xmm9
movapd %xmm9, 0x10(%rsp)
jmp 0x26e1b
movsd 0xc7752(%rip), %xmm14   # 0xee7e8
movapd %xmm11, 0x10(%rsp)
jmp 0x26e1b
movapd %xmm13, %xmm0
mulsd %xmm13, %xmm0
movapd %xmm11, %xmm1
mulpd %xmm11, %xmm1
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
movsd 0xca72e(%rip), %xmm2    # 0xf17f0
mulsd %xmm13, %xmm2
mulsd %xmm1, %xmm2
movsd 0xca734(%rip), %xmm14   # 0xf1808
mulsd %xmm1, %xmm14
imull $0x348, %r15d, %eax     # imm = 0x348
cvtsi2sd %eax, %xmm4
movsd 0xca734(%rip), %xmm3    # 0xf1820
mulsd %xmm13, %xmm3
subsd %xmm4, %xmm3
mulsd %xmm1, %xmm3
mulsd %xmm1, %xmm1
movsd 0xca6e3(%rip), %xmm4    # 0xf17e8
subsd %xmm0, %xmm4
addsd %xmm4, %xmm2
movsd 0xca6e3(%rip), %xmm4    # 0xf17f8
mulsd %xmm1, %xmm4
cvtsi2sd %r15d, %xmm5
addsd %xmm2, %xmm4
movsd 0xca6d6(%rip), %xmm2    # 0xf1800
mulsd %xmm13, %xmm2
mulsd %xmm5, %xmm2
addsd %xmm4, %xmm2
mulsd %xmm5, %xmm14
mulsd 0xc9e34(%rip), %xmm0    # 0xf0f78
addsd 0xca6c4(%rip), %xmm0    # 0xf1810
mulsd 0xca6c4(%rip), %xmm1    # 0xf1818
addsd %xmm2, %xmm14
addsd %xmm0, %xmm1
addsd %xmm1, %xmm3
movsd 0xca6bf(%rip), %xmm0    # 0xf1828
mulsd %xmm13, %xmm0
mulsd %xmm5, %xmm0
addsd %xmm3, %xmm0
mulsd %xmm11, %xmm0
movapd %xmm0, 0x10(%rsp)
jmp 0x26e1b
movapd %xmm13, %xmm3
mulsd %xmm13, %xmm3
movapd %xmm11, %xmm2
mulpd %xmm11, %xmm2
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
movapd %xmm2, %xmm0
movsd 0xc858e(%rip), %xmm4    # 0xef738
mulsd %xmm3, %xmm4
movsd 0xca5da(%rip), %xmm5    # 0xf1790
mulsd %xmm13, %xmm5
mulsd %xmm2, %xmm5
xorps %xmm1, %xmm1
cvtsi2sd %r15d, %xmm1
movapd %xmm13, %xmm6
mulsd %xmm3, %xmm6
movsd 0xca5f0(%rip), %xmm7    # 0xf17c8
mulsd %xmm3, %xmm7
mulsd 0xca5ec(%rip), %xmm3    # 0xf17d0
addsd 0xca5ec(%rip), %xmm3    # 0xf17d8
movsd 0xca5eb(%rip), %xmm8    # 0xf17e0
mulsd %xmm13, %xmm8
mulsd %xmm1, %xmm8
addsd %xmm3, %xmm8
movsd 0xca59b(%rip), %xmm14   # 0xf17a8
mulsd %xmm2, %xmm14
mulsd %xmm2, %xmm8
mulsd %xmm2, %xmm2
addsd 0xca565(%rip), %xmm4    # 0xf1788
addsd %xmm4, %xmm5
movsd 0xca569(%rip), %xmm3    # 0xf1798
mulsd %xmm2, %xmm3
addsd %xmm5, %xmm3
movsd 0xca561(%rip), %xmm4    # 0xf17a0
mulsd %xmm13, %xmm4
mulsd %xmm1, %xmm4
addsd %xmm3, %xmm4
mulsd %xmm2, %xmm0
mulsd %xmm1, %xmm14
addsd %xmm4, %xmm14
mulsd %xmm11, %xmm14
movsd 0xca549(%rip), %xmm3    # 0xf17b0
mulsd %xmm13, %xmm3
subsd %xmm6, %xmm3
mulsd 0xca540(%rip), %xmm0    # 0xf17b8
addsd %xmm3, %xmm0
imull $0x4272, %r15d, %eax    # imm = 0x4272
xorps %xmm3, %xmm3
cvtsi2sd %eax, %xmm3
movsd 0xca52e(%rip), %xmm4    # 0xf17c0
mulsd %xmm13, %xmm4
subsd %xmm3, %xmm4
mulsd %xmm2, %xmm4
addsd %xmm0, %xmm4
imull $0x2d0, %r15d, %eax     # imm = 0x2D0
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
subsd %xmm0, %xmm4
mulsd %xmm1, %xmm7
addsd %xmm4, %xmm7
addsd %xmm7, %xmm8
movapd %xmm8, 0x10(%rsp)
jmp 0x26e1b
movl $0x1, %eax
jmp 0x26edf
movapd %xmm13, %xmm14
mulsd %xmm13, %xmm14
movapd %xmm13, %xmm5
mulsd %xmm14, %xmm5
movapd %xmm14, %xmm0
movapd %xmm11, %xmm2
mulpd %xmm11, %xmm2
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
movapd %xmm2, %xmm1
movsd 0xca35d(%rip), %xmm3    # 0xf1668
mulsd %xmm5, %xmm3
movsd 0xca359(%rip), %xmm6    # 0xf1670
mulsd %xmm13, %xmm6
addsd %xmm3, %xmm6
movsd 0xca350(%rip), %xmm4    # 0xf1678
mulsd %xmm2, %xmm4
addsd %xmm6, %xmm4
movsd 0xca348(%rip), %xmm6    # 0xf1680
mulsd %xmm14, %xmm6
mulsd %xmm2, %xmm6
movsd 0xca34f(%rip), %xmm7    # 0xf1698
xorps %xmm3, %xmm3
cvtsi2sd %r15d, %xmm3
mulsd %xmm14, %xmm7
movsd 0xca351(%rip), %xmm8    # 0xf16b0
movsd 0xca370(%rip), %xmm9    # 0xf16d8
mulsd %xmm5, %xmm9
mulsd 0xca383(%rip), %xmm5    # 0xf16f8
movsd 0xca382(%rip), %xmm10   # 0xf1700
mulsd %xmm13, %xmm10
addsd %xmm5, %xmm10
imull $0xb1300, %r15d, %eax   # imm = 0xB1300
xorps %xmm5, %xmm5
cvtsi2sd %eax, %xmm5
mulsd %xmm14, %xmm8
subsd %xmm5, %xmm10
movsd 0xca338(%rip), %xmm5    # 0xf16e0
mulsd %xmm14, %xmm5
mulsd 0xca352(%rip), %xmm14   # 0xf1708
mulsd %xmm3, %xmm14
addsd %xmm10, %xmm14
movsd 0xca2d7(%rip), %xmm10   # 0xf16a0
mulsd %xmm13, %xmm10
mulsd %xmm2, %xmm10
mulsd %xmm2, %xmm14
mulsd %xmm2, %xmm2
mulsd %xmm2, %xmm1
addsd %xmm4, %xmm6
movsd 0xca29c(%rip), %xmm4    # 0xf1688
mulsd %xmm13, %xmm4
mulsd %xmm2, %xmm4
addsd %xmm6, %xmm4
movsd 0xca28f(%rip), %xmm6    # 0xf1690
mulsd %xmm1, %xmm6
addsd %xmm4, %xmm6
imull $0x1ac10, %r15d, %eax   # imm = 0x1AC10
xorps %xmm4, %xmm4
cvtsi2sd %eax, %xmm4
addsd %xmm6, %xmm4
mulsd %xmm3, %xmm7
addsd %xmm4, %xmm7
mulsd %xmm0, %xmm0
mulsd %xmm3, %xmm10
addsd %xmm7, %xmm10
addsd 0xca2af(%rip), %xmm5    # 0xf16e8
movsd 0xca2af(%rip), %xmm4    # 0xf16f0
mulsd %xmm13, %xmm4
mulsd %xmm3, %xmm4
addsd %xmm5, %xmm4
movsd 0xca252(%rip), %xmm6    # 0xf16a8
mulsd %xmm2, %xmm6
mulsd %xmm2, %xmm4
mulsd %xmm2, %xmm2
mulsd %xmm3, %xmm6
addsd %xmm10, %xmm6
mulsd %xmm11, %xmm6
addsd 0xca23f(%rip), %xmm8    # 0xf16b8
addsd %xmm0, %xmm8
mulsd 0xca23a(%rip), %xmm2    # 0xf16c0
addsd %xmm8, %xmm2
imull $0x41fbe0, %r15d, %eax  # imm = 0x41FBE0
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
movsd 0xca227(%rip), %xmm5    # 0xf16c8
mulsd %xmm13, %xmm5
subsd %xmm0, %xmm5
mulsd %xmm1, %xmm5
addsd %xmm2, %xmm5
movsd 0xca216(%rip), %xmm0    # 0xf16d0
mulsd %xmm13, %xmm0
mulsd %xmm3, %xmm0
addsd %xmm5, %xmm0
mulsd %xmm3, %xmm9
addsd %xmm0, %xmm9
addsd %xmm9, %xmm4
addsd %xmm4, %xmm14
movapd %xmm14, 0x10(%rsp)
movapd %xmm6, %xmm14
jmp 0x26e1b