// File: /workspace/github_c_makefile_star2_O0/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:
subq $0xd8, %rsp
movl %edi, 0xd0(%rsp)
movl %esi, 0xcc(%rsp)
movsd %xmm0, 0xc0(%rsp)
movsd %xmm1, 0xb8(%rsp)
movq %rdx, 0xb0(%rsp)
movsd 0xc0(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x80(%rsp)
movsd 0xb8(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0xa0(%rsp)
cmpl $-0x1, 0xd0(%rsp)
jne 0x455fd
movsd 0xb8(%rsp), %xmm0
callq 0x80d0
movaps %xmm0, %xmm1
movsd 0x18cc80(%rip), %xmm0   # 0x1d2248
divsd %xmm1, %xmm0
movsd %xmm0, 0x88(%rsp)
movsd 0xb8(%rsp), %xmm0
callq 0x8390
movaps %xmm0, %xmm1
movsd 0x18cc5a(%rip), %xmm0   # 0x1d2248
divsd %xmm1, %xmm0
movsd %xmm0, 0x50(%rsp)
jmp 0x4567d
cmpl $0x1, 0xd0(%rsp)
jne 0x45652
movsd 0xb8(%rsp), %xmm0
callq 0x8220
movaps %xmm0, %xmm1
movsd 0x18cc28(%rip), %xmm0   # 0x1d2248
divsd %xmm1, %xmm0
movsd %xmm0, 0x88(%rsp)
movsd 0xb8(%rsp), %xmm0
callq 0x80a0
movaps %xmm0, %xmm1
movsd 0x18cc02(%rip), %xmm0   # 0x1d2248
divsd %xmm1, %xmm0
movsd %xmm0, 0x50(%rsp)
jmp 0x4567b
movsd 0x18cbee(%rip), %xmm0   # 0x1d2248
divsd 0xb8(%rsp), %xmm0
movsd %xmm0, 0x88(%rsp)
movsd 0x88(%rsp), %xmm0
movsd %xmm0, 0x50(%rsp)
jmp 0x4567d
movl 0xcc(%rsp), %eax
movq %rax, 0x20(%rsp)
subq $0x9, %rax
ja 0x46f75
movq 0x20(%rsp), %rax
leaq 0x190321(%rip), %rcx    # 0x1d59c0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x18cb8c(%rip), %xmm0   # 0x1d2248
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0x18d0ec(%rip), %xmm0   # 0x1d27d0
movsd %xmm0, 0x98(%rsp)
movsd 0x88(%rsp), %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x80(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm2
subsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0x80(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x50(%rsp), %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x190246(%rip), %xmm0   # 0x1d59a8
mulsd 0x88(%rsp), %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x80(%rsp), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
movsd 0x48(%rsp), %xmm0
movsd 0x18def6(%rip), %xmm2   # 0x1d3698
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movl 0xd0(%rsp), %eax
shll %eax
cvtsi2sd %eax, %xmm1
subsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x18fcf3(%rip), %xmm2   # 0x1d54c8
addsd 0x78(%rsp), %xmm2
movsd 0x18ca8d(%rip), %xmm1   # 0x1d2270
mulsd 0x80(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0x80(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x50(%rsp), %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x80(%rsp), %xmm1
movsd 0x48(%rsp), %xmm0
movsd 0x190139(%rip), %xmm2   # 0x1d59a0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
imull $0xb, 0xd0(%rsp), %eax
cvtsi2sd %eax, %xmm1
addsd %xmm1, %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x88(%rsp), %xmm0
movsd 0x80(%rsp), %xmm1
movsd 0x18f6e6(%rip), %xmm2   # 0x1d4f88
mulsd 0x48(%rsp), %xmm2
movsd 0x18fc20(%rip), %xmm3   # 0x1d54d0
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
imull $0x6, 0xd0(%rsp), %eax
cvtsi2sd %eax, %xmm2
subsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x80(%rsp), %xmm2
movsd 0x80(%rsp), %xmm1
mulsd 0x78(%rsp), %xmm1
movsd 0x19009a(%rip), %xmm3   # 0x1d5998
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
imull $0x24, 0xd0(%rsp), %eax
cvtsi2sd %eax, %xmm1
subsd %xmm1, %xmm2
movsd 0x18de3a(%rip), %xmm1   # 0x1d3758
mulsd 0x78(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0x80(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x50(%rsp), %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x48(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd 0x88(%rsp), %xmm0
movsd 0x80(%rsp), %xmm1
movsd 0x18ffac(%rip), %xmm2   # 0x1d5960
mulsd 0x48(%rsp), %xmm2
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
movsd 0x18ce07(%rip), %xmm3   # 0x1d27e0
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
imull $0x32, 0xd0(%rsp), %eax
cvtsi2sd %eax, %xmm2
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x18dc8a(%rip), %xmm1   # 0x1d3690
addsd 0x78(%rsp), %xmm1
movsd 0x40(%rsp), %xmm0
movsd 0x18ff46(%rip), %xmm2   # 0x1d5960
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x48(%rsp), %xmm1
movsd 0x80(%rsp), %xmm2
imull $0x78, 0xd0(%rsp), %eax
cvtsi2sd %eax, %xmm3
movq %xmm3, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm3
movsd 0x18ff34(%rip), %xmm4   # 0x1d5990
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18ff14(%rip), %xmm0   # 0x1d5988
mulsd 0x80(%rsp), %xmm0
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x78(%rsp), %xmm1
movsd 0x18feca(%rip), %xmm2   # 0x1d5978
mulsd %xmm2, %xmm1
movsd 0x18fec6(%rip), %xmm2   # 0x1d5980
addsd %xmm2, %xmm1
movsd 0x78(%rsp), %xmm2
movsd 0x78(%rsp), %xmm3
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x18cd06(%rip), %xmm1   # 0x1d27e0
mulsd 0x80(%rsp), %xmm1
movsd 0x78(%rsp), %xmm3
movsd 0x18dba7(%rip), %xmm4   # 0x1d3698
mulsd %xmm4, %xmm3
movsd 0x18fe73(%rip), %xmm4   # 0x1d5970
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0xc0(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x80(%rsp)
movsd 0x80(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x50(%rsp), %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x48(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd 0x18fdca(%rip), %xmm0   # 0x1d5968
subsd 0x78(%rsp), %xmm0
movsd 0x18fdb4(%rip), %xmm1   # 0x1d5960
mulsd 0x80(%rsp), %xmm1
movsd 0x48(%rsp), %xmm2
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x40(%rsp), %xmm0
movsd 0x18fd87(%rip), %xmm2   # 0x1d5958
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x18fd6f(%rip), %xmm1   # 0x1d5950
mulsd 0x80(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm2
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18fd2e(%rip), %xmm0   # 0x1d5948
mulsd 0x48(%rsp), %xmm0
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x88(%rsp), %xmm0
movsd 0x78(%rsp), %xmm2
movsd 0x18f337(%rip), %xmm1   # 0x1d4f88
mulsd %xmm1, %xmm2
movsd 0x18fce3(%rip), %xmm1   # 0x1d5940
addsd %xmm1, %xmm2
movsd 0x40(%rsp), %xmm1
movsd 0x18fcc9(%rip), %xmm3   # 0x1d5938
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x48(%rsp), %xmm2
movsd 0x80(%rsp), %xmm3
imull $0x348, 0xd0(%rsp), %eax # imm = 0x348
cvtsi2sd %eax, %xmm4
movq %xmm4, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm4
movsd 0x18fc7c(%rip), %xmm5   # 0x1d5930
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x18fc5c(%rip), %xmm1   # 0x1d5928
mulsd 0x80(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x80(%rsp), %xmm1
movsd 0x78(%rsp), %xmm2
movsd 0x18fc05(%rip), %xmm3   # 0x1d5918
mulsd %xmm3, %xmm2
movsd 0x18fc01(%rip), %xmm3   # 0x1d5920
addsd %xmm3, %xmm2
movsd 0x78(%rsp), %xmm3
movsd 0x78(%rsp), %xmm4
mulsd %xmm4, %xmm3
addsd %xmm2, %xmm3
movsd 0x18fbd1(%rip), %xmm4   # 0x1d5910
mulsd 0x78(%rsp), %xmm4
movsd 0x18fbbb(%rip), %xmm2   # 0x1d5908
addsd 0x78(%rsp), %xmm2
mulsd %xmm2, %xmm4
movsd 0x18fba1(%rip), %xmm2   # 0x1d5900
addsd %xmm2, %xmm4
movsd 0x18c505(%rip), %xmm2   # 0x1d2270
mulsd %xmm4, %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm4
mulsd %xmm4, %xmm2
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0xc0(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x80(%rsp)
movsd 0x80(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x78(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x70(%rsp)
movsd 0x78(%rsp), %xmm0
mulsd 0x78(%rsp), %xmm0
movsd %xmm0, 0x68(%rsp)
movsd 0x50(%rsp), %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x48(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd 0x40(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
movsd 0x88(%rsp), %xmm0
movsd 0x78(%rsp), %xmm1
movsd 0x18d8fc(%rip), %xmm2   # 0x1d3750
mulsd %xmm2, %xmm1
movsd 0x18fa98(%rip), %xmm2   # 0x1d58f8
addsd %xmm2, %xmm1
movsd 0x18fa84(%rip), %xmm2   # 0x1d58f0
mulsd 0x80(%rsp), %xmm2
movsd 0x48(%rsp), %xmm3
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x40(%rsp), %xmm1
movsd 0x18fa57(%rip), %xmm3   # 0x1d58e8
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x18fa3f(%rip), %xmm2   # 0x1d58e0
mulsd 0x80(%rsp), %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm3
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x18f9fe(%rip), %xmm1   # 0x1d58d8
mulsd 0x48(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x70(%rsp), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
movsd 0x18f9a4(%rip), %xmm2   # 0x1d58d0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x38(%rsp), %xmm1
movsd 0x18f986(%rip), %xmm2   # 0x1d58c8
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x40(%rsp), %xmm0
movsd 0x80(%rsp), %xmm2
imull $0x4272, 0xd0(%rsp), %eax # imm = 0x4272
cvtsi2sd %eax, %xmm3
movq %xmm3, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm3
movsd 0x18f939(%rip), %xmm4   # 0x1d58c0
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
imull $0x2d0, 0xd0(%rsp), %eax # imm = 0x2D0
cvtsi2sd %eax, %xmm1
subsd %xmm1, %xmm0
movsd 0x18f906(%rip), %xmm1   # 0x1d58b8
mulsd 0x78(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm2
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x48(%rsp), %xmm0
movsd 0x78(%rsp), %xmm3
movsd 0x18f8b4(%rip), %xmm2   # 0x1d58a8
mulsd %xmm2, %xmm3
movsd 0x18f8b0(%rip), %xmm2   # 0x1d58b0
addsd %xmm2, %xmm3
movsd 0x18f894(%rip), %xmm2   # 0x1d58a0
mulsd 0x80(%rsp), %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm4
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x68(%rsp), %xmm2
movsd 0x78(%rsp), %xmm1
mulsd %xmm1, %xmm2
movsd 0x18f840(%rip), %xmm1   # 0x1d5898
addsd %xmm1, %xmm2
movsd 0x78(%rsp), %xmm1
movsd 0x18f826(%rip), %xmm3   # 0x1d5890
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x68(%rsp), %xmm2
movsd 0x18f808(%rip), %xmm3   # 0x1d5888
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x18f7f0(%rip), %xmm1   # 0x1d5880
mulsd 0x80(%rsp), %xmm1
movsd 0x78(%rsp), %xmm4
movsd 0x18f7c9(%rip), %xmm3   # 0x1d5870
mulsd %xmm3, %xmm4
movsd 0x18f7c5(%rip), %xmm3   # 0x1d5878
addsd %xmm3, %xmm4
movsd 0x68(%rsp), %xmm3
movsd 0x18d6c3(%rip), %xmm5   # 0x1d3788
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0xc0(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x80(%rsp)
movsd 0x80(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x78(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x70(%rsp)
movsd 0x78(%rsp), %xmm0
mulsd 0x78(%rsp), %xmm0
movsd %xmm0, 0x68(%rsp)
movsd 0x70(%rsp), %xmm0
mulsd 0x70(%rsp), %xmm0
movsd %xmm0, 0x60(%rsp)
movsd 0x50(%rsp), %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x48(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd 0x40(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
movsd 0x80(%rsp), %xmm1
movsd 0x70(%rsp), %xmm0
movsd 0x18f6a4(%rip), %xmm2   # 0x1d5868
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x48(%rsp), %xmm0
movsd 0x18f686(%rip), %xmm2   # 0x1d5860
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x18f66e(%rip), %xmm1   # 0x1d5858
mulsd 0x78(%rsp), %xmm1
movsd 0x48(%rsp), %xmm2
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18f633(%rip), %xmm0   # 0x1d5850
mulsd 0x80(%rsp), %xmm0
movsd 0x40(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x38(%rsp), %xmm1
movsd 0x18f606(%rip), %xmm2   # 0x1d5848
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
imull $0x330c, 0xd0(%rsp), %eax # imm = 0x330C
cvtsi2sd %eax, %xmm0
addsd %xmm0, %xmm1
movsd 0x18f5db(%rip), %xmm0   # 0x1d5840
mulsd 0x78(%rsp), %xmm0
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x18f5b4(%rip), %xmm1   # 0x1d5838
mulsd 0x80(%rsp), %xmm1
mulsd 0x48(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm2
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18f56d(%rip), %xmm0   # 0x1d5830
mulsd 0x40(%rsp), %xmm0
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x88(%rsp), %xmm0
movsd 0x80(%rsp), %xmm1
movsd 0x18f52b(%rip), %xmm2   # 0x1d5828
mulsd 0x70(%rsp), %xmm2
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
movsd 0x18f4fe(%rip), %xmm3   # 0x1d5820
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x38(%rsp), %xmm2
movsd 0x18f378(%rip), %xmm3   # 0x1d56b0
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x40(%rsp), %xmm1
movsd 0x80(%rsp), %xmm3
imull $0x2dae6, 0xd0(%rsp), %eax # imm = 0x2DAE6
cvtsi2sd %eax, %xmm4
movq %xmm4, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm4
movsd 0x18f49b(%rip), %xmm5   # 0x1d5818
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
imull $0x13b0, 0xd0(%rsp), %eax # imm = 0x13B0
cvtsi2sd %eax, %xmm2
subsd %xmm2, %xmm1
movsd 0x18f468(%rip), %xmm2   # 0x1d5810
mulsd 0x78(%rsp), %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm3
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x48(%rsp), %xmm1
movsd 0x78(%rsp), %xmm4
movsd 0x18f416(%rip), %xmm3   # 0x1d5800
mulsd %xmm3, %xmm4
movsd 0x18f412(%rip), %xmm3   # 0x1d5808
addsd %xmm3, %xmm4
movsd 0x18f3f6(%rip), %xmm3   # 0x1d57f8
mulsd 0x80(%rsp), %xmm3
cvtsi2sdl 0xd0(%rsp), %xmm5
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x80(%rsp), %xmm1
movsd 0x70(%rsp), %xmm3
movsd 0x70(%rsp), %xmm2
mulsd %xmm2, %xmm3
movsd 0x18f395(%rip), %xmm2   # 0x1d57f0
addsd %xmm2, %xmm3
movsd 0x78(%rsp), %xmm2
movsd 0x18f37b(%rip), %xmm4   # 0x1d57e8
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
movsd 0x68(%rsp), %xmm3
movsd 0x18f35d(%rip), %xmm4   # 0x1d57e0
mulsd %xmm4, %xmm3
addsd %xmm2, %xmm3
movsd 0x60(%rsp), %xmm4
movsd 0x18d2ef(%rip), %xmm2   # 0x1d3788
mulsd %xmm2, %xmm4
movsd 0x18f333(%rip), %xmm2   # 0x1d57d8
addsd %xmm2, %xmm4
movsd 0x78(%rsp), %xmm2
movsd 0x18f319(%rip), %xmm5   # 0x1d57d0
mulsd %xmm5, %xmm2
addsd %xmm4, %xmm2
movsd 0x68(%rsp), %xmm4
movsd 0x18f2fb(%rip), %xmm5   # 0x1d57c8
mulsd %xmm5, %xmm4
addsd %xmm2, %xmm4
movsd 0x18f2e3(%rip), %xmm2   # 0x1d57c0
mulsd %xmm4, %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm4
mulsd %xmm4, %xmm2
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0xc0(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x80(%rsp)
movsd 0x80(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x78(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x70(%rsp)
movsd 0x78(%rsp), %xmm0
mulsd 0x78(%rsp), %xmm0
movsd %xmm0, 0x68(%rsp)
movsd 0x70(%rsp), %xmm0
mulsd 0x70(%rsp), %xmm0
movsd %xmm0, 0x60(%rsp)
movsd 0x68(%rsp), %xmm0
mulsd 0x68(%rsp), %xmm0
movsd %xmm0, 0x58(%rsp)
movsd 0x50(%rsp), %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x48(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd 0x40(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
movsd 0x40(%rsp), %xmm0
mulsd 0x40(%rsp), %xmm0
movsd %xmm0, 0x30(%rsp)
movsd 0x88(%rsp), %xmm0
movsd 0x80(%rsp), %xmm2
movsd 0x18e9a9(%rip), %xmm1   # 0x1d4fa8
mulsd 0x70(%rsp), %xmm1
movsd 0x18f1ab(%rip), %xmm3   # 0x1d57b8
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x48(%rsp), %xmm1
movsd 0x18f18d(%rip), %xmm3   # 0x1d57b0
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x18f175(%rip), %xmm2   # 0x1d57a8
mulsd 0x78(%rsp), %xmm2
movsd 0x48(%rsp), %xmm3
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x18f13a(%rip), %xmm1   # 0x1d57a0
mulsd 0x80(%rsp), %xmm1
movsd 0x40(%rsp), %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x38(%rsp), %xmm2
movsd 0x18f10d(%rip), %xmm3   # 0x1d5798
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
imull $0x1ac10, 0xd0(%rsp), %eax # imm = 0x1AC10
cvtsi2sd %eax, %xmm1
addsd %xmm1, %xmm2
movsd 0x18f0e2(%rip), %xmm1   # 0x1d5790
mulsd 0x78(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x18f0bb(%rip), %xmm2   # 0x1d5788
mulsd 0x80(%rsp), %xmm2
mulsd 0x48(%rsp), %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm3
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x18f074(%rip), %xmm1   # 0x1d5780
mulsd 0x40(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x78(%rsp), %xmm0
movsd 0x18f032(%rip), %xmm1   # 0x1d5770
mulsd %xmm1, %xmm0
movsd 0x18f02e(%rip), %xmm1   # 0x1d5778
addsd %xmm1, %xmm0
addsd 0x68(%rsp), %xmm0
movsd 0x30(%rsp), %xmm1
movsd 0x18f006(%rip), %xmm2   # 0x1d5768
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x38(%rsp), %xmm0
movsd 0x80(%rsp), %xmm2
imull $0x41fbe0, 0xd0(%rsp), %eax # imm = 0x41FBE0
cvtsi2sd %eax, %xmm3
movq %xmm3, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm3
movsd 0x18efb9(%rip), %xmm4   # 0x1d5760
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x18ef99(%rip), %xmm1   # 0x1d5758
mulsd 0x80(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18ef6f(%rip), %xmm0   # 0x1d5750
mulsd 0x70(%rsp), %xmm0
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x40(%rsp), %xmm1
movsd 0x78(%rsp), %xmm3
movsd 0x18ef34(%rip), %xmm2   # 0x1d5740
mulsd %xmm2, %xmm3
movsd 0x18ef30(%rip), %xmm2   # 0x1d5748
addsd %xmm2, %xmm3
movsd 0x18ef14(%rip), %xmm2   # 0x1d5738
mulsd 0x80(%rsp), %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm4
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x48(%rsp), %xmm0
movsd 0x80(%rsp), %xmm3
movsd 0x18eed3(%rip), %xmm2   # 0x1d5730
mulsd 0x70(%rsp), %xmm2
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
movsd 0x18eea6(%rip), %xmm4   # 0x1d5728
mulsd %xmm4, %xmm3
addsd %xmm2, %xmm3
imull $0xb1300, 0xd0(%rsp), %eax # imm = 0xB1300
cvtsi2sd %eax, %xmm2
subsd %xmm2, %xmm3
movsd 0x18ee7b(%rip), %xmm2   # 0x1d5720
mulsd 0x78(%rsp), %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm4
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x60(%rsp), %xmm2
movsd 0x18ee15(%rip), %xmm1   # 0x1d5710
mulsd %xmm1, %xmm2
movsd 0x18ee11(%rip), %xmm1   # 0x1d5718
addsd %xmm1, %xmm2
addsd 0x58(%rsp), %xmm2
movsd 0x78(%rsp), %xmm1
movsd 0x18ede9(%rip), %xmm3   # 0x1d5708
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x68(%rsp), %xmm2
movsd 0x18edcb(%rip), %xmm3   # 0x1d5700
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x18edb3(%rip), %xmm1   # 0x1d56f8
mulsd 0x80(%rsp), %xmm1
movsd 0x60(%rsp), %xmm3
movsd 0x18cd3c(%rip), %xmm4   # 0x1d3698
mulsd %xmm4, %xmm3
movsd 0x18ed88(%rip), %xmm4   # 0x1d56f0
addsd %xmm4, %xmm3
movsd 0x78(%rsp), %xmm4
movsd 0x18ed6e(%rip), %xmm5   # 0x1d56e8
mulsd %xmm5, %xmm4
addsd %xmm3, %xmm4
movsd 0x68(%rsp), %xmm3
movsd 0x18ed50(%rip), %xmm5   # 0x1d56e0
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movsd 0xc0(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x80(%rsp)
movsd 0x80(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movsd 0x78(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x70(%rsp)
movsd 0x78(%rsp), %xmm0
mulsd 0x78(%rsp), %xmm0
movsd %xmm0, 0x68(%rsp)
movsd 0x70(%rsp), %xmm0
mulsd 0x70(%rsp), %xmm0
movsd %xmm0, 0x60(%rsp)
movsd 0x68(%rsp), %xmm0
mulsd 0x68(%rsp), %xmm0
movsd %xmm0, 0x58(%rsp)
movsd 0x50(%rsp), %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movsd 0x48(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movsd 0x40(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
movsd 0x40(%rsp), %xmm0
mulsd 0x40(%rsp), %xmm0
movsd %xmm0, 0x30(%rsp)
movsd 0x78(%rsp), %xmm0
movsd 0x18ec26(%rip), %xmm1   # 0x1d56d0
mulsd %xmm1, %xmm0
movsd 0x18ec22(%rip), %xmm1   # 0x1d56d8
addsd %xmm1, %xmm0
subsd 0x68(%rsp), %xmm0
movsd 0x18ec00(%rip), %xmm1   # 0x1d56c8
mulsd 0x80(%rsp), %xmm1
movsd 0x48(%rsp), %xmm2
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18ebd9(%rip), %xmm0   # 0x1d56c0
mulsd 0x70(%rsp), %xmm0
movsd 0x48(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x40(%rsp), %xmm1
movsd 0x18ebaf(%rip), %xmm2   # 0x1d56b8
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18eb97(%rip), %xmm0   # 0x1d56b0
mulsd 0x78(%rsp), %xmm0
movsd 0x40(%rsp), %xmm2
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x18eb5c(%rip), %xmm1   # 0x1d56a8
mulsd 0x80(%rsp), %xmm1
movsd 0x38(%rsp), %xmm2
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x30(%rsp), %xmm0
movsd 0x18eb2f(%rip), %xmm2   # 0x1d56a0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x18eb17(%rip), %xmm1   # 0x1d5698
mulsd 0x80(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm2
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18ead6(%rip), %xmm0   # 0x1d5690
mulsd 0x70(%rsp), %xmm0
cvtsi2sdl 0xd0(%rsp), %xmm2
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x18ea98(%rip), %xmm1   # 0x1d5688
mulsd 0x48(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18ea71(%rip), %xmm0   # 0x1d5680
mulsd 0x78(%rsp), %xmm0
mulsd 0x48(%rsp), %xmm0
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd 0x18ea44(%rip), %xmm1   # 0x1d5678
mulsd 0x80(%rsp), %xmm1
mulsd 0x40(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm2
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x18e9fd(%rip), %xmm0   # 0x1d5670
mulsd 0x38(%rsp), %xmm0
cvtsi2sdl 0xd0(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x98(%rsp)
movsd 0x88(%rsp), %xmm0
movsd 0x78(%rsp), %xmm2
movsd 0x18e9b6(%rip), %xmm1   # 0x1d5660
mulsd %xmm1, %xmm2
movsd 0x18e9b2(%rip), %xmm1   # 0x1d5668
addsd %xmm1, %xmm2
movsd 0x68(%rsp), %xmm1
movsd 0x18e990(%rip), %xmm3   # 0x1d5658
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x30(%rsp), %xmm2
movsd 0x18e972(%rip), %xmm3   # 0x1d5650
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x38(%rsp), %xmm1
movsd 0x80(%rsp), %xmm3
imull $0x3ddc220, 0xd0(%rsp), %eax # imm = 0x3DDC220
cvtsi2sd %eax, %xmm4
movq %xmm4, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm4
movsd 0x18e925(%rip), %xmm5   # 0x1d5648
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x18e905(%rip), %xmm2   # 0x1d5640
mulsd 0x80(%rsp), %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm3
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x18e8db(%rip), %xmm1   # 0x1d5638
mulsd 0x70(%rsp), %xmm1
cvtsi2sdl 0xd0(%rsp), %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
movsd 0x40(%rsp), %xmm2
movsd 0x78(%rsp), %xmm4
movsd 0x18e8a0(%rip), %xmm3   # 0x1d5628
mulsd %xmm3, %xmm4
movsd 0x18e89c(%rip), %xmm3   # 0x1d5630
addsd %xmm3, %xmm4
movsd 0x18e880(%rip), %xmm3   # 0x1d5620
mulsd 0x80(%rsp), %xmm3
cvtsi2sdl 0xd0(%rsp), %xmm5
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd 0x48(%rsp), %xmm1
movsd 0x80(%rsp), %xmm4
movsd 0x18e83f(%rip), %xmm3   # 0x1d5618
mulsd 0x70(%rsp), %xmm3
movq %xmm3, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm3
movsd 0x18e812(%rip), %xmm5   # 0x1d5610
mulsd %xmm5, %xmm4
addsd %xmm3, %xmm4
imull $0x79d100, 0xd0(%rsp), %eax # imm = 0x79D100
cvtsi2sd %eax, %xmm3
subsd %xmm3, %xmm4
movsd 0x18e7e7(%rip), %xmm3   # 0x1d5608
mulsd 0x78(%rsp), %xmm3
cvtsi2sdl 0xd0(%rsp), %xmm5
movq %xmm3, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm3
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
movsd 0x80(%rsp), %xmm0
movsd 0x80(%rsp), %xmm1
movsd 0x60(%rsp), %xmm3
movsd 0x18e774(%rip), %xmm2   # 0x1d55f8
mulsd %xmm2, %xmm3
movsd 0x18e770(%rip), %xmm2   # 0x1d5600
addsd %xmm2, %xmm3
addsd 0x58(%rsp), %xmm3
movsd 0x78(%rsp), %xmm2
movsd 0x18e748(%rip), %xmm4   # 0x1d55f0
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
movsd 0x68(%rsp), %xmm3
movsd 0x18e72a(%rip), %xmm4   # 0x1d55e8
mulsd %xmm4, %xmm3
addsd %xmm2, %xmm3
movsd 0x18e712(%rip), %xmm4   # 0x1d55e0
mulsd 0x78(%rsp), %xmm4
movsd 0x60(%rsp), %xmm2
movsd 0x18c7b6(%rip), %xmm5   # 0x1d3698
mulsd %xmm5, %xmm2
movsd 0x18e6ea(%rip), %xmm5   # 0x1d55d8
addsd %xmm5, %xmm2
movsd 0x78(%rsp), %xmm5
movsd 0x18e6d0(%rip), %xmm6   # 0x1d55d0
mulsd %xmm6, %xmm5
addsd %xmm2, %xmm5
movsd 0x68(%rsp), %xmm2
movsd 0x18e6b2(%rip), %xmm6   # 0x1d55c8
mulsd %xmm6, %xmm2
addsd %xmm5, %xmm2
mulsd %xmm2, %xmm4
movsd 0x18e696(%rip), %xmm2   # 0x1d55c0
addsd %xmm2, %xmm4
movsd 0x18b33a(%rip), %xmm2   # 0x1d2270
mulsd %xmm4, %xmm2
cvtsi2sdl 0xd0(%rsp), %xmm4
mulsd %xmm4, %xmm2
movq %xmm2, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm2
mulsd %xmm3, %xmm1
addsd %xmm2, %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0xa8(%rsp)
jmp 0x46f94
movq 0xb0(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, (%rax)
movl $0x1, 0xd4(%rsp)
jmp 0x470ea
movsd 0xc0(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x80(%rsp)
movsd 0xc0(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0xa8(%rsp)
movl $0x1, 0x2c(%rsp)
movl 0x2c(%rsp), %eax
cmpl 0xcc(%rsp), %eax
jg 0x47044
movsd 0xc0(%rsp), %xmm0
movsd 0xc0(%rsp), %xmm2
movl 0xd0(%rsp), %eax
imull 0x2c(%rsp), %eax
imull 0x2c(%rsp), %eax
cvtsi2sd %eax, %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
mulsd 0xa8(%rsp), %xmm0
movsd %xmm0, 0xa8(%rsp)
movl 0x2c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x2c(%rsp)
jmp 0x46fd2
movsd 0x98(%rsp), %xmm0
mulsd 0xc0(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
movsd 0xa0(%rsp), %xmm0
callq 0x86a0
movsd %xmm0, 0x8(%rsp)
movsd 0x90(%rsp), %xmm0
movsd %xmm0, (%rsp)
movsd 0xa0(%rsp), %xmm0
callq 0x80a0
movsd (%rsp), %xmm1
movsd 0x8(%rsp), %xmm2
movaps %xmm0, %xmm3
movsd 0x10(%rsp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
mulsd 0x50(%rsp), %xmm0
movsd %xmm0, 0x18(%rsp)
movsd 0xa8(%rsp), %xmm0
callq 0x82e0
movaps %xmm0, %xmm1
movsd 0x18(%rsp), %xmm0
divsd %xmm1, %xmm0
movq 0xb0(%rsp), %rax
movsd %xmm0, (%rax)
movl $0x0, 0xd4(%rsp)
movl 0xd4(%rsp), %eax
addq $0xd8, %rsp
retq
nopl (%rax)