// File: /workspace/github_c_makefile_star2_O3/PoulinV[P]AxiCLASS/build/../source/distortions.c
// Function: distortions_add_effects_reio
int distortions_add_effects_reio(struct background * pba,
                                 struct thermodynamics * pth,
                                 struct distortions * psd,
                                 double T_e,
                                 double Dtau,
                                 double beta,
                                 double beta_z,
                                 double x,
                                 double * y_reio,
                                 double * DI_reio){

  /** Define local variables */
  double theta_e, cos_theta, P_1, P_2, x_tilde, S_tilde;
  double G_T, Y_SZ;
  double M_low, M_k, D_low, D_k, Q_low, Q_k;
  int index_k, index_n;
  double Y_0, Y_1, Y_2;
  double B_0, B_1, B_2, B_3;
  double C_0, C_1, C_2, C_3;
  double D_0, D_1, D_2, D_3;
  double DI_tSZ_non_rel, DI_tSZ_rel, DI_tSZ, DI_kSZ;

  /* Compute related quantities */
  theta_e = T_e*1.e3/(_m_e_/_GeV_over_kg_*1.e9);
  cos_theta = beta_z/beta;
  P_1 = cos_theta;
  P_2 = (3.*pow(cos_theta,2.)-1.)/2.;
  x_tilde = x/tanh(x/2.);  // coth=1/tanh
  S_tilde = x/sinh(x/2.);

  G_T = pow(x,4.)*exp(-x)/pow(1.-exp(-x),2.);
  Y_SZ = G_T*(x_tilde-4.);

  double Delta_x[8] = {-1.,
                       x_tilde,
                       -(pow(x_tilde,2.)
                         +pow(S_tilde,2.)/2.),
                       x_tilde*(pow(x_tilde,2.)
                                +pow(S_tilde,2.)*2.),
                       -(pow(x_tilde,4.)
                         +pow(x_tilde,2.)*pow(S_tilde,2.)*11./2.
                         +pow(S_tilde,4.)),
                       x_tilde*(pow(x_tilde,4.)
                                +pow(x_tilde,2.)*pow(S_tilde,2.)*13.
                                +pow(S_tilde,4.)*17./2.),
                       -(pow(x_tilde,6.)
                         +pow(x_tilde,4.)*pow(S_tilde,2.)*57./2.
                         +pow(x_tilde,2.)*pow(S_tilde,4.)*45.
                         +pow(S_tilde,6.)*17./4.),
                       x_tilde*(pow(x_tilde,6.)
                                +pow(x_tilde,4.)*pow(S_tilde,2.)*60.
                                +pow(x_tilde,2.)*pow(S_tilde,4.)*192.
                                +pow(S_tilde,6.)*62.)};

  /** Thermal SZ effect (TSZ) */
  /* Fill coefficient tables from appendix A1 of Chluba et al. 2012 */
  double a[6][3] = {{4., 10.,    15./2.},
                    {1., 47./2., 1023./8.},
                    {0., 42./5., 868./5.},
                    {0., 7./10., 329./5.},
                    {0., 0.,     44./5.},
                    {0., 0.,     11./30.}};

  double Y_k[3] = {0., 0., 0.};

  for (index_k=0; index_k<3; ++index_k){
    Y_k[index_k] = 0.;
    for (index_n=0; index_n<2*index_k+2; ++index_n){
      Y_k[index_k]+=a[index_n][index_k]*Delta_x[index_n];
    }
  }

  /** Non-relativistic TSZ */
  DI_tSZ_non_rel = Dtau*theta_e*G_T*Y_k[0];

  /** Relativistic TSZ */
  DI_tSZ_rel = 0.;
  for (index_k=1; index_k<3; ++index_k){
    DI_tSZ_rel += Dtau*pow(theta_e,index_k+1)*G_T*Y_k[index_k];
  }

  DI_tSZ = DI_tSZ_non_rel+DI_tSZ_rel;

  /** Kinematic SZ effect (kSZ) */
  /* Calculated according to Nozawa et al. 2005 */
  switch(psd->sd_reio_type){
  case sd_reio_Nozawa:
    Y_0 = Y_k[0];
    Y_1 = Y_k[1];
    Y_2 = Y_k[2];

    B_0 = 1.*Y_0/3.;
    B_1 = 5.*Y_0/6.
      +2.*Y_1/3.;
    B_2 = 5.*Y_0/8.
      +3.*Y_1/2.
      +Y_2;
    B_3 = -5.*Y_0/8.
      +5.*Y_1/4.
      +5.*Y_2/2.;

    C_0 = 1.;
    C_1 = 10.
      -47.*x_tilde/5.
      +7.*pow(x_tilde,2.)/5.
      +7.*pow(S_tilde,2.)/10.;
    C_2 = 25.
      -1117.*x_tilde/10.
      +847.*pow(x_tilde,2.)/10.
      -183.*pow(x_tilde,3.)/10.
      +11.*pow(x_tilde,4.)/10.
      +pow(S_tilde,2.)*(847./20.
                        -183.*x_tilde/5.
                        +121.*pow(x_tilde,2.)/20.)
      +11.*pow(S_tilde,4.)/10.;
    C_3 = 75./4.
      -21873.*x_tilde/40.
      +49161.*pow(x_tilde,2.)/40.
      -27519.*pow(x_tilde,3.)/35.
      +6684.*pow(x_tilde,4.)/35.
      -3917.*pow(x_tilde,5.)/210.
      +64.*pow(x_tilde,6.)/105.
      +pow(S_tilde,2.)*(49161./80.
                        -55038.*x_tilde/35.
                        +36762.*pow(x_tilde,2.)/35.
                        -50921.*pow(x_tilde,3.)/210.
                        +608.*pow(x_tilde,4.)/35.)
      +pow(S_tilde,4.)*(6684./35.
                        -66589.*x_tilde/420.
                        +192.*pow(x_tilde,2.)/7.)
      +272.*pow(S_tilde,6.)/105.;

    D_0 = -2./3.
      +11.*x_tilde/30.;
    D_1 = -4.
      +12.*x_tilde
      -6.*pow(x_tilde,2.)
      +19.*pow(x_tilde,3.)/30.
      +pow(S_tilde,2.)*(-3.
                        +19.*x_tilde/15.);
    D_2 = -10.
      +542.*x_tilde/5.
      -843.*pow(x_tilde,2.)/5.
      +10603.*pow(x_tilde,3.)/140.
      -409.*pow(x_tilde,4.)/35.
      +23.*pow(x_tilde,5.)/42.
      +pow(S_tilde,2.)*(-843./10.
                        +10603.*x_tilde/70.
                        -4499.*pow(x_tilde,2.)/70.
                        +299.*pow(x_tilde,3.)/42.)
      +pow(S_tilde,4.)*(-409./35.
                        +391.*x_tilde/84.);
    D_3 = -15./2.
      +4929.*x_tilde/40.
      -39777.*pow(x_tilde,2.)/20.
      +1199897.*pow(x_tilde,3.)/560.
      -4392.*pow(x_tilde,4.)/5.
      +16364.*pow(x_tilde,5.)/105.
      -3764.*pow(x_tilde,6.)/315.
      +101.*pow(x_tilde,7.)/315.
      +pow(S_tilde,2.)*(-39777./40.
                        +1199897.*x_tilde/280.
                        -24156.*pow(x_tilde,2.)/5.
                        +212732.*pow(x_tilde,3.)/105.
                        -35758.*pow(x_tilde,4.)/105.
                        +404.*pow(x_tilde,5.)/21.)
      +pow(S_tilde,4.)*(-4392./5.
                        +139094.*x_tilde/105.
                        -3764.*pow(x_tilde,2.)/7.
                        +6464.*pow(x_tilde,3.)/105.)
      +pow(S_tilde,6.)*(-15997./315.
                        +6262.*x_tilde/315.);

    M_low = G_T*(B_0+theta_e*B_1+pow(theta_e,2.)*B_2+pow(theta_e,3.)*B_3);
    D_low = G_T*(C_0+theta_e*C_1+pow(theta_e,2.)*C_2+pow(theta_e,3.)*C_3);
    Q_low = G_T*(D_0+theta_e*D_1+pow(theta_e,2.)*D_2+pow(theta_e,3.)*D_3);
    break;
    /* Calculated according to Chluba et al. 2012 */
  case sd_reio_Chluba:
    /* Low temperature approximation */
    if (T_e < 10.) {
      double d[7][3] = {{-2./5., -1./5.,   407./140.},
                        {-8./5., -24./5., -233./35.},
                        {-2./5., -66./5., -10433./140.},
                        { 0.,    -24./5., -3876./35.},
                        { 0.,    -2./5.,  -1513./35.},
                        { 0.,     0.,     -204./35.},
                        { 0.,     0.,     -17./70.}};

      double q[7][4] = {{-3./5.,   183./70., -429./40.},
                        { 2./5.,  -5./7.,     207./20.},
                        { 1./10.,  115./28.,  1647./80.},
                        { 0.,      12./7.,    44.},
                        { 0.,      1./7.,     19.},
                        { 0.,      0.,        92./35.},
                        { 0.,      0.,        23./210.}};

      M_low = 1./3.*(Y_SZ+G_T);
      for (index_k=0; index_k<3; ++index_k){
        M_k = 0.;
        for (index_n=0; index_n<2*index_k+2; ++index_n){
          M_k += (a[index_n][index_k]-d[index_n][index_k])
            *(index_n*(index_n+2)*Delta_x[index_n]+
              (2*index_n+3)*Delta_x[index_n+1]+
              Delta_x[index_n+2]
              );
        }
        M_k *= 1./3.;
        M_low += pow(theta_e,index_k+1)*M_k*G_T;
      }

      D_low = G_T;
      for (index_k=0; index_k<3; ++index_k){
        D_k = 0.;
        for (index_n=0; index_n<2*index_k+2; ++index_n){
          D_k += (d[index_n][index_k]-a[index_n][index_k])
            *(index_n*Delta_x[index_n]+
              Delta_x[index_n+1]
              );
        }
        D_low += pow(theta_e,index_k+1)*D_k*G_T;
      }

      Q_low = 11./30.*(x_tilde*G_T);
      for (index_k=0; index_k<3; ++index_k){
        Q_k = 0.;
        for (index_n=0; index_n<2*index_k+2; ++index_n){
          Q_k += (a[index_n][index_k]+q[index_n][index_k]-2.*d[index_n][index_k])
            *(index_n*(index_n-1)*Delta_x[index_n]+
              2*index_n*Delta_x[index_n+1]+
              Delta_x[index_n+2]
              );
        }
        Q_k *= 1./3.;
        Q_low += pow(theta_e,index_k+1)*Q_k*G_T;
      }
    }
    /* High temperature approximation (not implemented yet) */
    else {
      M_low = 0.;
      D_low = 0.;
      Q_low = 0.;
    }
    break;
  default:
    class_stop(psd->error_message,"Unrecognized sd_reio_type='%i'.",psd->sd_reio_type);
  }

  DI_kSZ = Dtau*beta*(beta*M_low+P_1*D_low+beta*P_2*Q_low);

  /** Total distortion */
  *y_reio = theta_e*Dtau;
  *DI_reio = DI_tSZ+DI_kSZ;

  return _SUCCESS_;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x11c8, %rsp           # imm = 0x11C8
movq %r8, %r12
movq %rcx, %r13
movapd %xmm4, (%rsp)
movsd %xmm1, 0xb8(%rsp)
movq %rdx, %r15
movsd 0x26917(%rip), %xmm1    # 0xf2c18
movsd %xmm2, 0x138(%rsp)
divsd %xmm2, %xmm3
movsd %xmm3, 0x130(%rsp)
mulsd %xmm3, %xmm3
mulsd 0x2335d(%rip), %xmm3    # 0xef680
addsd 0x224bd(%rip), %xmm3    # 0xee7e8
movsd %xmm3, 0x128(%rsp)
movsd %xmm0, 0xc0(%rsp)
mulsd %xmm0, %xmm1
movapd %xmm1, 0x90(%rsp)
movapd %xmm4, %xmm0
mulsd 0x2297a(%rip), %xmm0    # 0xeecd0
movapd %xmm0, 0x80(%rsp)
callq 0x80d0
movapd %xmm0, 0x20(%rsp)
movaps 0x80(%rsp), %xmm0
callq 0x8370
movaps %xmm0, 0x40(%rsp)
movsd 0x250b4(%rip), %xmm1    # 0xf1438
movaps (%rsp), %xmm0
callq 0x8620
movaps %xmm0, 0x80(%rsp)
movaps (%rsp), %xmm0
xorps 0x21e90(%rip), %xmm0    # 0xee230
movaps %xmm0, 0x10(%rsp)
callq 0x8670
movsd %xmm0, 0xd0(%rsp)
movapd 0x10(%rsp), %xmm0
callq 0x8670
movsd 0x21e9a(%rip), %xmm1    # 0xee260
subsd %xmm0, %xmm1
mulsd %xmm1, %xmm1
movsd %xmm1, 0xe0(%rsp)
movabsq $-0x4010000000000000, %rax # imm = 0xBFF0000000000000
movq %rax, 0x140(%rsp)
movapd (%rsp), %xmm1
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
movapd 0x20(%rsp), %xmm0
unpcklpd 0x40(%rsp), %xmm0       # xmm0 = xmm0[0],mem[0]
divpd %xmm0, %xmm1
movsd 0x2505e(%rip), %xmm0    # 0xf1468
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
movapd %xmm1, %xmm3
movapd %xmm1, %xmm2
mulpd %xmm1, %xmm3
movapd %xmm3, %xmm1
unpckhpd %xmm3, %xmm1            # xmm1 = xmm1[1],xmm3[1]
movapd %xmm1, %xmm0
movapd %xmm1, %xmm4
movapd %xmm1, 0x60(%rsp)
mulsd 0x22892(%rip), %xmm0    # 0xeecd0
addsd %xmm3, %xmm0
movapd %xmm3, 0x50(%rsp)
xorpd 0x21de0(%rip), %xmm0    # 0xee230
movapd %xmm2, %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
movupd %xmm1, 0x148(%rsp)
movapd %xmm4, %xmm0
addsd %xmm4, %xmm0
addsd %xmm3, %xmm0
movapd %xmm2, (%rsp)
mulsd %xmm2, %xmm0
movsd %xmm0, 0x158(%rsp)
movapd %xmm2, %xmm0
movsd 0x24fad(%rip), %xmm1    # 0xf1438
callq 0x8620
movapd 0x50(%rsp), %xmm1
mulsd 0x60(%rsp), %xmm1
movapd %xmm1, 0x20(%rsp)
movsd 0x4611e(%rip), %xmm2    # 0x1125c8
mulsd %xmm1, %xmm2
mulsd 0x2281a(%rip), %xmm2    # 0xeecd0
addsd %xmm0, %xmm2
movsd %xmm2, 0x100(%rsp)
movapd (%rsp), %xmm0
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
movapd %xmm0, 0x40(%rsp)
movsd 0x24f5e(%rip), %xmm1    # 0xf1438
callq 0x8620
addsd 0x100(%rsp), %xmm0
xorpd 0x21d40(%rip), %xmm0    # 0xee230
movlpd %xmm0, 0x160(%rsp)
movapd (%rsp), %xmm0
movsd 0x24f32(%rip), %xmm1    # 0xf1438
callq 0x8620
movapd 0x20(%rsp), %xmm1
mulsd 0x5998f(%rip), %xmm1    # 0x125ea8
addsd %xmm0, %xmm1
movapd %xmm1, 0x20(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x24f07(%rip), %xmm1    # 0xf1438
callq 0x8620
mulsd 0x59972(%rip), %xmm0    # 0x125eb0
mulsd 0x2278a(%rip), %xmm0    # 0xeecd0
addsd 0x20(%rsp), %xmm0
movapd (%rsp), %xmm2
mulsd %xmm2, %xmm0
movsd %xmm0, 0x168(%rsp)
movsd 0x2310a(%rip), %xmm1    # 0xef670
movapd %xmm2, %xmm0
callq 0x8620
movsd %xmm0, 0x20(%rsp)
movapd (%rsp), %xmm0
movsd 0x24eb6(%rip), %xmm1    # 0xf1438
callq 0x8620
mulsd 0x60(%rsp), %xmm0
mulsd 0x59923(%rip), %xmm0    # 0x125eb8
mulsd 0x22733(%rip), %xmm0    # 0xeecd0
addsd 0x20(%rsp), %xmm0
movsd %xmm0, 0x20(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x24e81(%rip), %xmm1    # 0xf1438
callq 0x8620
mulsd 0x50(%rsp), %xmm0
mulsd 0x25046(%rip), %xmm0    # 0xf1610
addsd 0x20(%rsp), %xmm0
movsd %xmm0, 0x20(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x2308c(%rip), %xmm1    # 0xef670
callq 0x8620
mulsd 0x598bf(%rip), %xmm0    # 0x125eb0
mulsd 0x24f87(%rip), %xmm0    # 0xf1580
addsd 0x20(%rsp), %xmm0
xorpd 0x21c29(%rip), %xmm0    # 0xee230
movlpd %xmm0, 0x170(%rsp)
movaps (%rsp), %xmm0
movsd 0x23054(%rip), %xmm1    # 0xef670
callq 0x8620
movsd %xmm0, 0x20(%rsp)
movapd (%rsp), %xmm0
movsd 0x24e04(%rip), %xmm1    # 0xf1438
callq 0x8620
mulsd 0x60(%rsp), %xmm0
mulsd 0x59879(%rip), %xmm0    # 0x125ec0
addsd 0x20(%rsp), %xmm0
movsd %xmm0, 0x20(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x24dd7(%rip), %xmm1    # 0xf1438
callq 0x8620
mulsd 0x50(%rsp), %xmm0
mulsd 0x59854(%rip), %xmm0    # 0x125ec8
addsd 0x20(%rsp), %xmm0
movsd %xmm0, 0x20(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x22fe2(%rip), %xmm1    # 0xef670
callq 0x8620
mulsd 0x59835(%rip), %xmm0    # 0x125ed0
addsd 0x20(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, 0x178(%rsp)
xorpd %xmm0, %xmm0
movapd %xmm0, 0x110(%rsp)
movq $0x0, 0x120(%rsp)
movl $0x2, %eax
leaq 0x5b9cc(%rip), %rcx     # 0x1280a0
xorl %edx, %edx
xorpd %xmm0, %xmm0
movq %rcx, %rsi
xorl %edi, %edi
movsd (%rsi), %xmm1
mulsd 0x140(%rsp,%rdi,8), %xmm1
addsd %xmm1, %xmm0
incq %rdi
addq $0x18, %rsi
cmpq %rdi, %rax
jne 0xcc6df
movsd %xmm0, 0x110(%rsp,%rdx,8)
incq %rdx
addq $0x2, %rax
addq $0x8, %rcx
cmpq $0x3, %rdx
jne 0xcc6d6
movapd 0x90(%rsp), %xmm5
divsd 0x597b1(%rip), %xmm5    # 0x125ed8
movapd 0x80(%rsp), %xmm4
mulsd 0xd0(%rsp), %xmm4
divsd 0xe0(%rsp), %xmm4
movapd %xmm5, %xmm0
mulsd 0xb8(%rsp), %xmm0
movapd %xmm0, 0x100(%rsp)
xorpd %xmm2, %xmm2
movl $0x1, %ebx
movsd 0x110(%rsp), %xmm0
movapd %xmm0, 0xe0(%rsp)
movapd %xmm4, 0x80(%rsp)
movapd %xmm5, 0x90(%rsp)
movsd %xmm2, 0x20(%rsp)
leaq 0x1(%rbx), %r14
xorps %xmm1, %xmm1
cvtsi2sd %r14d, %xmm1
movapd %xmm5, %xmm0
callq 0x8620
movsd 0x20(%rsp), %xmm2
movapd 0x90(%rsp), %xmm5
movapd 0x80(%rsp), %xmm4
movsd 0xb8(%rsp), %xmm1
mulsd %xmm1, %xmm0
mulsd %xmm4, %xmm0
mulsd 0x110(%rsp,%rbx,8), %xmm0
addsd %xmm0, %xmm2
movq %r14, %rbx
cmpq $0x3, %r14
jne 0xcc785
movl 0x2f8(%r15), %edx
cmpl $0x1, %edx
je 0xcd24a
testl %edx, %edx
jne 0xcd58e
movsd 0x22e81(%rip), %xmm0    # 0xef680
movapd 0xe0(%rsp), %xmm4
movapd %xmm4, %xmm1
divsd %xmm0, %xmm1
movapd %xmm1, 0x1b0(%rsp)
movapd %xmm0, %xmm1
movupd 0x118(%rsp), %xmm3
movapd %xmm3, %xmm0
addsd %xmm3, %xmm0
unpcklpd %xmm3, %xmm4            # xmm4 = xmm4[0],xmm3[0]
mulpd 0x59356(%rip), %xmm4    # 0x125b90
movsd %xmm2, 0x20(%rsp)
movapd %xmm4, %xmm2
unpcklpd %xmm0, %xmm2            # xmm2 = xmm2[0],xmm0[0]
divpd 0x59350(%rip), %xmm2    # 0x125ba0
movapd %xmm2, %xmm0
unpckhpd %xmm2, %xmm0            # xmm0 = xmm0[1],xmm2[1]
addsd %xmm2, %xmm0
movapd %xmm0, 0x1a0(%rsp)
mulpd 0x59343(%rip), %xmm4    # 0x125bb0
movapd %xmm4, %xmm0
unpckhpd %xmm4, %xmm0            # xmm0 = xmm0[1],xmm4[1]
addsd %xmm4, %xmm0
movapd %xmm3, %xmm2
unpckhpd %xmm3, %xmm2            # xmm2 = xmm2[1],xmm3[1]
mulpd 0x59337(%rip), %xmm3    # 0x125bc0
mulpd 0x5933f(%rip), %xmm3    # 0x125bd0
addsd %xmm0, %xmm2
movapd %xmm2, 0xc0(%rsp)
movapd %xmm3, %xmm0
subsd %xmm4, %xmm0
unpckhpd %xmm3, %xmm3            # xmm3 = xmm3[1,1]
addsd %xmm0, %xmm3
movapd %xmm3, 0x190(%rsp)
movsd 0x59629(%rip), %xmm0    # 0x125ee8
movapd (%rsp), %xmm2
mulsd %xmm2, %xmm0
movapd %xmm2, %xmm4
divsd 0x2199c(%rip), %xmm0    # 0xee270
addsd 0x21f14(%rip), %xmm0    # 0xee7f0
movapd 0x592fc(%rip), %xmm2    # 0x125be0
movapd 0x50(%rsp), %xmm3
mulpd %xmm3, %xmm2
divpd 0x592fa(%rip), %xmm2    # 0x125bf0
addsd %xmm2, %xmm0
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
addsd %xmm0, %xmm2
movapd %xmm2, 0xd0(%rsp)
movapd %xmm4, %xmm0
unpcklpd %xmm3, %xmm0            # xmm0 = xmm0[0],xmm3[0]
movapd %xmm0, 0x10(%rsp)
movapd 0x592df(%rip), %xmm2    # 0x125c00
mulpd %xmm0, %xmm2
divpd 0x592e3(%rip), %xmm2    # 0x125c10
movsd 0x22dc3(%rip), %xmm0    # 0xef6f8
subsd %xmm2, %xmm0
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
addsd %xmm0, %xmm2
movapd %xmm2, 0xa0(%rsp)
movapd %xmm4, %xmm0
callq 0x8620
movapd %xmm0, 0x70(%rsp)
movsd 0x24ad7(%rip), %xmm1    # 0xf1438
movapd (%rsp), %xmm0
callq 0x8620
movapd 0x70(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x592a3(%rip), %xmm1    # 0x125c20
divpd 0x5928b(%rip), %xmm1    # 0x125c10
movapd 0xa0(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd 0x5928e(%rip), %xmm2    # 0x125c30
mulpd 0x10(%rsp), %xmm2
divpd 0x59290(%rip), %xmm2    # 0x125c40
movsd 0x59538(%rip), %xmm0    # 0x125ef0
subsd %xmm2, %xmm0
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
addsd %xmm0, %xmm2
mulsd 0x60(%rsp), %xmm2
addsd %xmm1, %xmm2
movapd %xmm2, 0xa0(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x24a53(%rip), %xmm1    # 0xf1438
callq 0x8620
movsd 0x45bd6(%rip), %xmm1    # 0x1125c8
mulsd %xmm1, %xmm0
divsd 0x21df2(%rip), %xmm0    # 0xee7f0
addsd 0xa0(%rsp), %xmm0
movapd %xmm0, 0xa0(%rsp)
movapd 0x59238(%rip), %xmm1    # 0x125c50
mulpd 0x10(%rsp), %xmm1
divpd 0x5923a(%rip), %xmm1    # 0x125c60
movsd 0x594ca(%rip), %xmm0    # 0x125ef8
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x70(%rsp)
movaps (%rsp), %xmm0
movsd 0x22c34(%rip), %xmm1    # 0xef680
callq 0x8620
movaps %xmm0, 0x30(%rsp)
movapd (%rsp), %xmm0
movsd 0x249d5(%rip), %xmm1    # 0xf1438
callq 0x8620
movapd 0x30(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x591f6(%rip), %xmm1    # 0x125c70
divpd 0x591fe(%rip), %xmm1    # 0x125c80
movapd 0x70(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x30(%rsp)
movaps (%rsp), %xmm0
movsd 0x217ca(%rip), %xmm1    # 0xee270
callq 0x8620
movaps %xmm0, 0x70(%rsp)
movsd 0x22bb8(%rip), %xmm1    # 0xef670
movapd (%rsp), %xmm0
callq 0x8620
movapd 0x70(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x591bc(%rip), %xmm1    # 0x125c90
divpd 0x591c4(%rip), %xmm1    # 0x125ca0
movapd 0x30(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x70(%rsp)
movapd 0x591b4(%rip), %xmm1    # 0x125cb0
mulpd 0x10(%rsp), %xmm1
divpd 0x59176(%rip), %xmm1    # 0x125c80
movsd 0x593ee(%rip), %xmm0    # 0x125f00
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0xf0(%rsp)
movaps (%rsp), %xmm0
movsd 0x22b4d(%rip), %xmm1    # 0xef680
callq 0x8620
movaps %xmm0, 0x30(%rsp)
movapd (%rsp), %xmm0
movsd 0x248ee(%rip), %xmm1    # 0xf1438
callq 0x8620
movapd 0x30(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x5915f(%rip), %xmm1    # 0x125cc0
divpd 0x59167(%rip), %xmm1    # 0x125cd0
movapd 0xf0(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
mulsd 0x60(%rsp), %xmm1
addsd 0x70(%rsp), %xmm1
movapd %xmm1, 0x30(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x2489a(%rip), %xmm1    # 0xf1438
callq 0x8620
movapd 0x10(%rsp), %xmm2
mulpd 0x5912f(%rip), %xmm2    # 0x125ce0
divpd 0x59137(%rip), %xmm2    # 0x125cf0
movsd 0x59347(%rip), %xmm1    # 0x125f08
subsd %xmm2, %xmm1
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
addsd %xmm1, %xmm2
mulsd %xmm0, %xmm2
addsd 0x30(%rsp), %xmm2
movapd %xmm2, 0x10(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x22a85(%rip), %xmm1    # 0xef670
callq 0x8620
mulsd 0x59318(%rip), %xmm0    # 0x125f10
divsd 0x24bf0(%rip), %xmm0    # 0xf17f0
movapd %xmm0, %xmm1
movsd 0x459bc(%rip), %xmm0    # 0x1125c8
movapd (%rsp), %xmm2
mulsd %xmm2, %xmm0
divsd 0x25ff3(%rip), %xmm0    # 0xf2c10
addsd 0x248db(%rip), %xmm0    # 0xf1500
movapd %xmm0, 0xf0(%rsp)
movsd 0x3dec2(%rip), %xmm0    # 0x10aaf8
mulsd %xmm2, %xmm0
addsd 0x24826(%rip), %xmm0    # 0xf1468
addsd 0x10(%rsp), %xmm1
movapd %xmm1, 0x70(%rsp)
movsd 0x22a12(%rip), %xmm1    # 0xef668
mulsd 0x50(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, 0x10(%rsp)
movapd %xmm2, %xmm0
movsd 0x22a0e(%rip), %xmm1    # 0xef680
callq 0x8620
movsd 0x59299(%rip), %xmm1    # 0x125f18
mulsd %xmm1, %xmm0
divsd 0x25f85(%rip), %xmm0    # 0xf2c10
addsd 0x10(%rsp), %xmm0
movapd (%rsp), %xmm2
mulsd %xmm2, %xmm1
divsd 0x242d6(%rip), %xmm1    # 0xf0f78
addsd 0x247d6(%rip), %xmm1    # 0xf1480
mulsd 0x60(%rsp), %xmm1
addsd %xmm0, %xmm1
movapd 0xd0(%rsp), %xmm0
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, 0xd0(%rsp)
movsd 0x5924e(%rip), %xmm1    # 0x125f20
movapd %xmm2, %xmm0
mulsd %xmm2, %xmm1
divsd 0x2158e(%rip), %xmm1    # 0xee270
addsd 0x247be(%rip), %xmm1    # 0xf14a8
movsd %xmm1, 0x10(%rsp)
movsd 0x22988(%rip), %xmm1    # 0xef680
callq 0x8620
movapd 0x50(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58ff1(%rip), %xmm1    # 0x125d00
divpd 0x58ff9(%rip), %xmm1    # 0x125d10
movsd 0x10(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x30(%rsp)
movaps (%rsp), %xmm0
movsd 0x246fd(%rip), %xmm1    # 0xf1438
callq 0x8620
movaps %xmm0, 0x10(%rsp)
movapd (%rsp), %xmm0
movsd 0x2151e(%rip), %xmm1    # 0xee270
callq 0x8620
movapd 0x10(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58fb7(%rip), %xmm1    # 0x125d20
divpd 0x58fbf(%rip), %xmm1    # 0x125d30
movapd 0x30(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x10(%rsp)
movsd 0x59197(%rip), %xmm1    # 0x125f28
movapd (%rsp), %xmm0
mulsd %xmm0, %xmm1
divsd 0x5918e(%rip), %xmm1    # 0x125f30
addsd 0x5918e(%rip), %xmm1    # 0x125f38
movsd %xmm1, 0x30(%rsp)
movsd 0x228c8(%rip), %xmm1    # 0xef680
callq 0x8620
movapd 0x50(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58f71(%rip), %xmm1    # 0x125d40
divpd 0x58f79(%rip), %xmm1    # 0x125d50
movsd 0x30(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
mulsd 0x60(%rsp), %xmm1
addsd 0x10(%rsp), %xmm1
movapd %xmm1, 0x10(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x2462f(%rip), %xmm1    # 0xf1438
callq 0x8620
movsd 0x5912a(%rip), %xmm1    # 0x125f40
movapd (%rsp), %xmm2
mulsd %xmm2, %xmm1
divsd 0x228f9(%rip), %xmm1    # 0xef720
addsd 0x59119(%rip), %xmm1    # 0x125f48
mulsd %xmm0, %xmm1
addsd 0x10(%rsp), %xmm1
movapd 0xa0(%rsp), %xmm0
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, 0xa0(%rsp)
movsd 0x590f9(%rip), %xmm1    # 0x125f50
movapd %xmm2, %xmm0
mulsd %xmm2, %xmm1
divsd 0x590f1(%rip), %xmm1    # 0x125f58
addsd 0x590f1(%rip), %xmm1    # 0x125f60
movsd %xmm1, 0x10(%rsp)
movsd 0x22803(%rip), %xmm1    # 0xef680
callq 0x8620
movapd 0x50(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58ecc(%rip), %xmm1    # 0x125d60
divpd 0x58ed4(%rip), %xmm1    # 0x125d70
movsd 0x10(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x10(%rsp)
movaps (%rsp), %xmm0
movsd 0x24578(%rip), %xmm1    # 0xf1438
callq 0x8620
movaps %xmm0, 0x30(%rsp)
movapd (%rsp), %xmm0
movsd 0x21399(%rip), %xmm1    # 0xee270
callq 0x8620
movapd 0x30(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58e92(%rip), %xmm1    # 0x125d80
divpd 0x58e9a(%rip), %xmm1    # 0x125d90
movapd 0x10(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x30(%rsp)
movaps (%rsp), %xmm0
movsd 0x22756(%rip), %xmm1    # 0xef670
callq 0x8620
movaps %xmm0, 0x10(%rsp)
movsd 0x2283c(%rip), %xmm1    # 0xef768
movapd (%rsp), %xmm0
callq 0x8620
movapd 0x10(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58e58(%rip), %xmm1    # 0x125da0
divpd 0x58e60(%rip), %xmm1    # 0x125db0
movapd 0x30(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x10(%rsp)
movsd 0x58ff8(%rip), %xmm1    # 0x125f68
movapd (%rsp), %xmm0
mulsd %xmm0, %xmm1
divsd 0x45657(%rip), %xmm1    # 0x1125d8
addsd 0x58fe7(%rip), %xmm1    # 0x125f70
movsd %xmm1, 0x30(%rsp)
movsd 0x226e9(%rip), %xmm1    # 0xef680
callq 0x8620
movapd 0x50(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58e12(%rip), %xmm1    # 0x125dc0
divpd 0x58dda(%rip), %xmm1    # 0x125d90
movsd 0x30(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
movapd %xmm1, 0x180(%rsp)
movaps (%rsp), %xmm0
movsd 0x2445b(%rip), %xmm1    # 0xf1438
callq 0x8620
movaps %xmm0, 0x30(%rsp)
movapd (%rsp), %xmm0
movsd 0x2127c(%rip), %xmm1    # 0xee270
callq 0x8620
movapd 0x30(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58dc5(%rip), %xmm1    # 0x125dd0
divpd 0x58dcd(%rip), %xmm1    # 0x125de0
movapd 0x180(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
mulsd 0x60(%rsp), %xmm1
addsd 0x10(%rsp), %xmm1
movapd %xmm1, 0x30(%rsp)
movaps 0x40(%rsp), %xmm0
movsd 0x243f1(%rip), %xmm1    # 0xf1438
callq 0x8620
movsd %xmm0, 0x10(%rsp)
movsd 0x58f1e(%rip), %xmm1    # 0x125f78
movapd (%rsp), %xmm0
mulsd %xmm0, %xmm1
divsd 0x24785(%rip), %xmm1    # 0xf17f0
addsd 0x58f0d(%rip), %xmm1    # 0x125f80
movsd %xmm1, 0x60(%rsp)
movsd 0x225ff(%rip), %xmm1    # 0xef680
callq 0x8620
movapd 0x50(%rsp), %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd 0x58d58(%rip), %xmm1    # 0x125df0
divpd 0x58d60(%rip), %xmm1    # 0x125e00
movsd 0x60(%rsp), %xmm0
subsd %xmm1, %xmm0
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
addsd %xmm0, %xmm1
mulsd 0x10(%rsp), %xmm1
addsd 0x30(%rsp), %xmm1
movapd %xmm1, 0x50(%rsp)
movapd 0x40(%rsp), %xmm0
movsd 0x2259e(%rip), %xmm1    # 0xef670
callq 0x8620
movsd 0x58ea9(%rip), %xmm1    # 0x125f88
mulsd (%rsp), %xmm1
divsd 0x58ea4(%rip), %xmm1    # 0x125f90
addsd 0x58ea4(%rip), %xmm1    # 0x125f98
mulsd %xmm0, %xmm1
addsd 0x50(%rsp), %xmm1
movapd 0x70(%rsp), %xmm0
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, 0x70(%rsp)
movapd 0x1a0(%rsp), %xmm0
movapd 0x90(%rsp), %xmm2
mulsd %xmm2, %xmm0
addsd 0x1b0(%rsp), %xmm0
movapd %xmm2, %xmm3
mulsd %xmm2, %xmm3
movapd %xmm3, (%rsp)
movapd 0xc0(%rsp), %xmm1
mulsd %xmm3, %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, 0xc0(%rsp)
movapd %xmm2, %xmm0
movsd 0x22520(%rip), %xmm1    # 0xef680
callq 0x8620
mulsd 0x190(%rsp), %xmm0
addsd 0xc0(%rsp), %xmm0
mulsd 0x80(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
movaps 0x90(%rsp), %xmm0
movsd 0x224ea(%rip), %xmm1    # 0xef680
callq 0x8620
movaps %xmm0, 0x40(%rsp)
movapd 0x90(%rsp), %xmm0
movsd 0x224cf(%rip), %xmm1    # 0xef680
callq 0x8620
movsd 0x10(%rsp), %xmm7
movapd 0xe0(%rsp), %xmm6
movsd 0x20(%rsp), %xmm2
movapd 0x80(%rsp), %xmm4
movapd 0x90(%rsp), %xmm1
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
mulpd 0xd0(%rsp), %xmm1
movapd %xmm1, %xmm3
movapd 0x4060a(%rip), %xmm1    # 0x10d800
unpcklpd 0xf0(%rsp), %xmm1       # xmm1 = xmm1[0],mem[0]
addpd %xmm3, %xmm1
movapd (%rsp), %xmm3
unpcklpd %xmm3, %xmm3            # xmm3 = xmm3[0,0]
mulpd 0xa0(%rsp), %xmm3
addpd %xmm1, %xmm3
movsd 0xb8(%rsp), %xmm1
movapd 0x40(%rsp), %xmm5
unpcklpd %xmm0, %xmm5            # xmm5 = xmm5[0],xmm0[0]
mulpd 0x70(%rsp), %xmm5
addpd %xmm3, %xmm5
movapd %xmm4, %xmm8
unpcklpd %xmm4, %xmm8            # xmm8 = xmm8[0],xmm4[0]
mulpd %xmm5, %xmm8
jmp 0xcd606
movsd 0x2159e(%rip), %xmm0    # 0xee7f0
ucomisd 0xc0(%rsp), %xmm0
jbe 0xcd5f4
movsd %xmm2, 0x20(%rsp)
movq %r13, 0xa0(%rsp)
movq %r12, 0xc0(%rsp)
movsd 0x10(%rsp), %xmm2
mulsd %xmm4, %xmm2
addsd %xmm4, %xmm2
mulsd 0x241bb(%rip), %xmm2    # 0xf1448
movsd 0x140(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
xorl %ebx, %ebx
leaq 0x5adfb(%rip), %r15     # 0x1280a0
leaq 0x5ae84(%rip), %r12     # 0x128130
xorl %r14d, %r14d
xorl %r13d, %r13d
movsd %xmm2, 0x10(%rsp)
xorpd %xmm6, %xmm6
movl $0x3, %eax
movl $0x2, %ecx
movq %r14, %rdx
movapd (%rsp), %xmm0
movsd 0x40(%rsp), %xmm1
leal -0x2(%rcx), %esi
imull %ecx, %esi
xorps %xmm2, %xmm2
cvtsi2sd %esi, %xmm2
mulsd %xmm1, %xmm2
movsd (%rdx,%r15), %xmm3
subsd (%rdx,%r12), %xmm3
xorps %xmm4, %xmm4
cvtsi2sd %eax, %xmm4
mulsd %xmm0, %xmm4
addsd %xmm2, %xmm4
movapd %xmm0, %xmm1
movsd 0x140(%rsp,%rcx,8), %xmm0
addsd %xmm0, %xmm4
mulsd %xmm3, %xmm4
addsd %xmm4, %xmm6
addl $0x2, %eax
addq $0x18, %rdx
leaq (%rbx,%rcx), %rsi
incq %rsi
incq %rcx
cmpq $0x4, %rsi
jne 0xcd2d4
mulsd 0x24110(%rip), %xmm6    # 0xf1448
movsd %xmm6, 0x50(%rsp)
incq %r13
xorps %xmm1, %xmm1
cvtsi2sd %r13d, %xmm1
movapd %xmm5, %xmm0
callq 0x8620
movapd 0x90(%rsp), %xmm5
mulsd 0x50(%rsp), %xmm0
movapd 0x80(%rsp), %xmm1
mulsd %xmm1, %xmm0
movsd 0x10(%rsp), %xmm2
addsd %xmm0, %xmm2
addq $0x8, %r14
addq $-0x2, %rbx
cmpq $0x3, %r13
jne 0xcd2b2
movsd %xmm2, 0x10(%rsp)
movl $0x2, %ebx
xorl %r14d, %r14d
xorl %r13d, %r13d
movapd %xmm1, 0x50(%rsp)
xorpd %xmm3, %xmm3
movq %r14, %rax
movsd 0x40(%rsp), %xmm0
xorl %ecx, %ecx
movsd (%rax,%r12), %xmm1
subsd (%rax,%r15), %xmm1
xorps %xmm2, %xmm2
cvtsi2sd %ecx, %xmm2
mulsd %xmm0, %xmm2
movsd 0x148(%rsp,%rcx,8), %xmm0
incq %rcx
addsd %xmm0, %xmm2
mulsd %xmm1, %xmm2
addsd %xmm2, %xmm3
addq $0x18, %rax
cmpq %rcx, %rbx
jne 0xcd3b0
incq %r13
xorps %xmm1, %xmm1
cvtsi2sd %r13d, %xmm1
movapd %xmm5, %xmm0
movsd %xmm3, 0x60(%rsp)
callq 0x8620
movapd 0x90(%rsp), %xmm5
movsd 0x60(%rsp), %xmm1
mulsd %xmm0, %xmm1
movapd 0x80(%rsp), %xmm0
mulsd %xmm0, %xmm1
movapd %xmm1, %xmm2
movapd 0x50(%rsp), %xmm1
addsd %xmm2, %xmm1
addq $0x2, %rbx
addq $0x8, %r14
cmpq $0x3, %r13
jne 0xcd39b
movapd %xmm1, 0x50(%rsp)
movapd (%rsp), %xmm1
mulsd %xmm0, %xmm1
mulsd 0x58a87(%rip), %xmm1    # 0x125ee0
movl $0x2, %r13d
leaq 0x5ad7a(%rip), %rbp     # 0x1281e0
xorl %ebx, %ebx
xorl %r14d, %r14d
movapd %xmm1, 0x60(%rsp)
xorpd %xmm6, %xmm6
movq %rbp, %rax
movq %rbx, %rcx
xorl %edx, %edx
movapd (%rsp), %xmm0
movsd 0x40(%rsp), %xmm1
xorl %esi, %esi
leal -0x1(%rsi), %edi
imull %esi, %edi
xorps %xmm3, %xmm3
cvtsi2sd %edi, %xmm3
mulsd %xmm1, %xmm3
movsd (%rcx,%r15), %xmm2
addsd (%rax), %xmm2
movsd (%rcx,%r12), %xmm1
addsd %xmm1, %xmm1
subsd %xmm1, %xmm2
xorps %xmm4, %xmm4
cvtsi2sd %edx, %xmm4
mulsd %xmm0, %xmm4
addsd %xmm3, %xmm4
movapd %xmm0, %xmm1
movsd 0x150(%rsp,%rsi,8), %xmm0
incq %rsi
addsd %xmm0, %xmm4
mulsd %xmm2, %xmm4
addsd %xmm4, %xmm6
addl $0x2, %edx
addq $0x18, %rcx
addq $0x20, %rax
cmpq %rsi, %r13
jne 0xcd48a
mulsd 0x23f52(%rip), %xmm6    # 0xf1448
movsd %xmm6, 0xd0(%rsp)
incq %r14
xorps %xmm1, %xmm1
cvtsi2sd %r14d, %xmm1
movapd %xmm5, %xmm0
callq 0x8620
movapd 0x90(%rsp), %xmm5
mulsd 0xd0(%rsp), %xmm0
movapd 0x80(%rsp), %xmm4
mulsd %xmm4, %xmm0
movapd 0x60(%rsp), %xmm1
addsd %xmm0, %xmm1
addq $0x2, %r13
addq $0x8, %rbx
addq $0x8, %rbp
cmpq $0x3, %r14
jne 0xcd46b
movapd 0x50(%rsp), %xmm8
unpcklpd %xmm1, %xmm8            # xmm8 = xmm8[0],xmm1[0]
movq 0xc0(%rsp), %r12
movq 0xa0(%rsp), %r13
movsd 0xb8(%rsp), %xmm1
movsd 0x20(%rsp), %xmm2
movapd 0xe0(%rsp), %xmm6
movsd 0x10(%rsp), %xmm7
jmp 0xcd606
leaq 0x59f97(%rip), %rsi     # 0x12752c
leaq 0x9c0(%rsp), %rbx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x30af0
leaq 0x20fd7(%rip), %rsi     # 0xee585
leaq 0x1c0(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rdx
xorl %eax, %eax
callq 0x30af0
addq $0x1602, %r15           # imm = 0x1602
leaq 0x20a63(%rip), %rsi     # 0xee034
leaq 0x59f74(%rip), %rdx     # 0x12754c
movq %r15, %rdi
movl $0x570, %ecx            # imm = 0x570
movq %r14, %r8
xorl %eax, %eax
callq 0x30af0
movl $0x1, %eax
jmp 0xcd67a
xorpd %xmm8, %xmm8
xorpd %xmm7, %xmm7
movapd 0xe0(%rsp), %xmm6
movsd 0x128(%rsp), %xmm3
mulsd 0x216b9(%rip), %xmm3    # 0xeecd0
movapd 0x100(%rsp), %xmm5
mulsd %xmm5, %xmm4
mulsd %xmm6, %xmm4
addsd %xmm2, %xmm4
movsd 0x138(%rsp), %xmm0
mulsd %xmm0, %xmm1
movsd 0x130(%rsp), %xmm2
mulsd %xmm8, %xmm2
mulsd %xmm0, %xmm7
addsd %xmm2, %xmm7
mulsd %xmm0, %xmm3
unpckhpd %xmm8, %xmm8            # xmm8 = xmm8[1,1]
mulsd %xmm3, %xmm8
addsd %xmm7, %xmm8
mulsd %xmm1, %xmm8
addsd %xmm4, %xmm8
movsd %xmm5, (%r13)
movsd %xmm8, (%r12)
xorl %eax, %eax
addq $0x11c8, %rsp           # imm = 0x11C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq