// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/celerite/cpp/include/celerite/solver/cholesky.h
// Function: celerite::solver::CholeskySolver<double, -1>::dot_solve(Eigen::Matrix<double, -1, 1, 0, -1, 1> const&) const
T dot_solve (const Eigen::VectorXd& b) const {
  if (b.rows() != this->N_) throw dimension_mismatch();
  if (!(this->computed_)) throw compute_exception();

  int N = this->N_, J = J_;
  T result;

  // Special case for jitter only.
  if (J == 0) {
    result = T(0.0);
    for (int n = 0; n < N; ++n)
      result += b(n) * (b(n) / D_(n));
    return result;
  }

  if (J < 16) {

#define FIXED_SIZE_HACKZ(SIZE_MACRO)                                        \
    Eigen::Matrix<T, SIZE_MACRO, 1> f(J);                                   \
    f.setZero();                                                            \
    T x, xm1 = b(0);                                                        \
    result = xm1 * (xm1 / D_(0));                                           \
    for (int n = 1; n < N; ++n) {                                           \
      x = b(n);                                                             \
      for (int j = 0; j < J; ++j) {                                         \
        T value = phi_(j, n-1) * (f(j) + W_(j, n-1) * xm1);                 \
        f(j) = value;                                                       \
        x -= u_(j, n-1) * value;                                            \
      }                                                                     \
      xm1 = x;                                                              \
      result += x * x / D_(n);                                              \
    }                                                                       \

    if (SIZE == Eigen::Dynamic) {
      switch (J) {
        case 1:  { FIXED_SIZE_HACKZ(1)  break; }
        case 2:  { FIXED_SIZE_HACKZ(2)  break; }
        case 3:  { FIXED_SIZE_HACKZ(3)  break; }
        case 4:  { FIXED_SIZE_HACKZ(4)  break; }
        case 5:  { FIXED_SIZE_HACKZ(5)  break; }
        case 6:  { FIXED_SIZE_HACKZ(6)  break; }
        case 7:  { FIXED_SIZE_HACKZ(7)  break; }
        case 8:  { FIXED_SIZE_HACKZ(8)  break; }
        case 9:  { FIXED_SIZE_HACKZ(9)  break; }
        case 10: { FIXED_SIZE_HACKZ(10) break; }
        case 11: { FIXED_SIZE_HACKZ(11) break; }
        case 12: { FIXED_SIZE_HACKZ(12) break; }
        case 13: { FIXED_SIZE_HACKZ(13) break; }
        case 14: { FIXED_SIZE_HACKZ(14) break; }
        case 15: { FIXED_SIZE_HACKZ(15) break; }
        case 16: { FIXED_SIZE_HACKZ(16) break; }
        default: FIXED_SIZE_HACKZ(Eigen::Dynamic)
      }
    } else {
      // The size was already specified at compile time.
      FIXED_SIZE_HACKZ(SIZE)
    }

#undef FIXED_SIZE_HACKZ

  } else {

    vector_j_t f(J);
    f.setZero();
    T x = T(b(0));
    result = x * (x / D_(0));
    for (int n = 1; n < N; ++n) {
      f = phi_.col(n-1).asDiagonal() * (f + W_.col(n-1) * x);
      x = b(n) - u_.col(n-1).transpose().dot(f);
      result += x * x / D_(n);
    }

  }

  return result;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x278, %rsp            # imm = 0x278
movq %rsi, 0x28(%rsp)
movq 0x8(%rsi), %rax
movslq 0xc(%rdi), %r15
movq %rax, 0x48(%rsp)
cmpq %r15, %rax
jne 0x13e18
movq %rdi, %r14
cmpb $0x0, 0x8(%rdi)
je 0x13e33
movl 0x18(%r14), %eax
movl %eax, 0x24(%rsp)
testl %eax, %eax
je 0x12522
cmpl $0xf, %eax
jg 0x125a3
decl %eax
cmpl $0xe, %eax
ja 0x1309a
leaq 0x2a3ba(%rip), %rcx     # 0x3c754
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
leaq 0x70(%rsp), %rbx
movq %rax, (%rbx)
movq %rbx, %rdi
callq 0x1e560
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x124d6
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e5b8
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e5b8
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x12431
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x1240b
addq $0x68, %r14
xorl %ebx, %ebx
testl %r15d, %r15d
cmovlel %ebx, %r15d
xorpd %xmm0, %xmm0
movsd %xmm0, 0x10(%rsp)
movq 0x28(%rsp), %r12
cmpq %rbx, %r15
je 0x12794
movq %r12, %rdi
movq %rbx, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x18(%rsp)
movq %r14, %rdi
movq %rbx, %rsi
callq 0x1e52a
movsd 0x18(%rsp), %xmm0
divsd (%rax), %xmm0
mulsd (%rsp), %xmm0
movapd %xmm0, %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %rbx
jmp 0x1253e
leaq 0x60(%rsp), %rbx
leaq 0x24(%rsp), %rsi
movq %rbx, %rdi
callq 0x11e0a
movq %rbx, %rdi
callq 0x1e92a
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movsd %xmm0, 0x50(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x8(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd (%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %rax
movq %rax, 0x18(%rsp)
leaq 0x50(%r14), %rax
movq %rax, 0x38(%rsp)
addq $0x20, %r14
pushq $0x1
popq %rbp
leaq 0x220(%rsp), %r15
leaq 0x1b8(%rsp), %r12
leaq 0x60(%rsp), %r13
leaq 0x70(%rsp), %rbx
cmpq 0x48(%rsp), %rbp
jge 0x1278a
decq %rbp
leaq 0x148(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq %rbp, %rdx
callq 0x203fe
movups 0x148(%rsp), %xmm0
movaps %xmm0, 0x110(%rsp)
leaq 0x160(%rsp), %rax
movupd (%rax), %xmm0
movupd 0x10(%rax), %xmm1
leaq 0x128(%rsp), %rax
movupd %xmm1, 0x10(%rax)
movupd %xmm0, (%rax)
leaq 0x180(%rsp), %rdi
movq 0x38(%rsp), %rsi
movq %rbp, %rdx
callq 0x203fe
movq %r15, %rdi
leaq 0x180(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0x1e956
movq %r12, %rdi
movq %r13, %rsi
movq %r15, %rdx
callq 0x1e93a
movq %rbx, %rdi
leaq 0x110(%rsp), %rsi
movq %r12, %rdx
callq 0x204d8
movq %r13, %rdi
movq %rbx, %rsi
callq 0x205e6
incq %rbp
movq 0x28(%rsp), %rdi
movq %rbp, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
decq %rbp
movq %r12, %rdi
movq %r14, %rsi
movq %rbp, %rdx
callq 0x203fe
movups 0x1b8(%rsp), %xmm0
movaps %xmm0, 0x70(%rsp)
leaq 0x1d0(%rsp), %rax
movupd (%rax), %xmm0
movupd 0x10(%rax), %xmm1
leaq 0x88(%rsp), %rax
movupd %xmm1, 0x10(%rax)
movupd %xmm0, (%rax)
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1e9a6
movsd (%rsp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movsd %xmm1, 0x50(%rsp)
incq %rbp
movq 0x8(%rsp), %rdi
movq %rbp, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
mulsd %xmm1, %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %rbp
jmp 0x12632
movq 0x60(%rsp), %rdi
callq 0x64a0
movsd 0x10(%rsp), %xmm0
addq $0x278, %rsp            # imm = 0x278
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x70(%rsp), %rbx
pushq $0xf
popq %rsi
movq %rbx, %rdi
callq 0x2009c
movq %rbx, %rdi
callq 0x1e8ee
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x128dd
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e8fe
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e8fe
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x12838
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x12812
leaq 0x70(%rsp), %rbx
pushq $0xc
popq %rsi
movq %rbx, %rdi
callq 0x1faa0
movq %rbx, %rdi
callq 0x1e83a
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x12a5a
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e84a
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e84a
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x129b5
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x1298f
leaq 0x70(%rsp), %rbx
pushq $0x5
popq %rsi
movq %rbx, %rdi
callq 0x1ee56
movq %rbx, %rdi
callq 0x1e696
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x12bd7
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e6a6
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e6a6
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x12b32
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x12b0c
leaq 0x70(%rsp), %rbx
pushq $0xd
popq %rsi
movq %rbx, %rdi
callq 0x1fc8c
movq %rbx, %rdi
callq 0x1e876
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x12d54
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e886
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e886
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x12caf
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x12c89
leaq 0x70(%rsp), %rbx
pushq $0xa
popq %rsi
movq %rbx, %rdi
callq 0x1f6de
movq %rbx, %rdi
callq 0x1e7c2
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x12ed1
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e7d2
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e7d2
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x12e2c
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x12e06
leaq 0x70(%rsp), %rbx
pushq $0x3
popq %rsi
movq %rbx, %rdi
callq 0x1ebe0
movq %rbx, %rdi
callq 0x1e61e
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x1304e
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e62e
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e62e
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x12fa9
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x12f83
leaq 0x70(%rsp), %rbx
leaq 0x24(%rsp), %rsi
movq %rbx, %rdi
callq 0x11e0a
movq %rbx, %rdi
callq 0x1e92a
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x30(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x58(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x30(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %rbx
leaq 0x50(%r14), %r12
addq $0x20, %r14
pushq $0x1
popq %r15
leaq 0x70(%rsp), %rbp
cmpq 0x48(%rsp), %r15
jge 0x13e0e
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x18(%rsp)
movq %r15, 0x40(%rsp)
decq %r15
xorl %r13d, %r13d
movslq 0x24(%rsp), %rax
cmpq %rax, %r13
jge 0x131e4
movq %rbx, %rdi
movq %r13, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbp, %rdi
movq %r13, %rsi
callq 0x11f2c
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r12, %rdi
movq %r13, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x30(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movq %rbp, %rdi
movq %r13, %rsi
callq 0x11f2c
movsd 0x8(%rsp), %xmm1
addsd 0x38(%rsp), %xmm1
movsd (%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, (%rsp)
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %r13, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
movsd 0x18(%rsp), %xmm0
subsd %xmm1, %xmm0
movsd %xmm0, 0x18(%rsp)
incq %r13
jmp 0x13134
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd 0x18(%rsp), %xmm2
movapd %xmm2, %xmm0
mulsd %xmm2, %xmm0
divsd (%rax), %xmm0
movsd 0x10(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, 0x10(%rsp)
incq %r15
movsd %xmm2, 0x30(%rsp)
jmp 0x13107
leaq 0x70(%rsp), %rbx
pushq $0x4
popq %rsi
movq %rbx, %rdi
callq 0x1ecfc
movq %rbx, %rdi
callq 0x1e65a
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x13357
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e66a
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e66a
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x132b2
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x1328c
leaq 0x70(%rsp), %rbx
pushq $0x8
popq %rsi
movq %rbx, %rdi
callq 0x1f350
movq %rbx, %rdi
callq 0x1e74a
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x134d4
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e75a
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e75a
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x1342f
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x13409
leaq 0x70(%rsp), %rbx
pushq $0x2
popq %rsi
movq %rbx, %rdi
callq 0x1ead0
movq %rbx, %rdi
callq 0x1e5e2
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x13651
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e5f2
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e5f2
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x135ac
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x13586
leaq 0x70(%rsp), %rbx
pushq $0x6
popq %rsi
movq %rbx, %rdi
callq 0x1eff6
movq %rbx, %rdi
callq 0x1e6d2
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x137ce
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e6e2
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e6e2
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x13729
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x13703
leaq 0x70(%rsp), %rbx
pushq $0xe
popq %rsi
movq %rbx, %rdi
callq 0x1fe96
movq %rbx, %rdi
callq 0x1e8b2
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x1394b
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e8c2
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e8c2
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x138a6
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x13880
leaq 0x70(%rsp), %rbx
pushq $0x7
popq %rsi
movq %rbx, %rdi
callq 0x1f194
movq %rbx, %rdi
callq 0x1e70e
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x13ac8
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e71e
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e71e
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x13a23
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x139fd
leaq 0x70(%rsp), %rbx
pushq $0xb
popq %rsi
movq %rbx, %rdi
callq 0x1f8b0
movq %rbx, %rdi
callq 0x1e7fe
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x13c45
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e80e
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e80e
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x13ba0
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x13b7a
leaq 0x70(%rsp), %rbx
pushq $0x9
popq %rsi
movq %rbx, %rdi
callq 0x1f508
movq %rbx, %rdi
callq 0x1e786
movq 0x28(%rsp), %rdi
xorl %esi, %esi
callq 0x1e52a
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq 0x68(%r14), %rdi
movq %rdi, 0x40(%rsp)
xorl %esi, %esi
callq 0x1e52a
movsd 0x8(%rsp), %xmm1
movapd %xmm1, %xmm0
divsd (%rax), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
leaq 0x38(%r14), %r12
leaq 0x50(%r14), %r13
addq $0x20, %r14
pushq $0x1
popq %r15
cmpq 0x48(%rsp), %r15
jge 0x12794
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x1e52a
movsd (%rax), %xmm0
movq %r15, 0x30(%rsp)
decq %r15
xorl %ebp, %ebp
movslq 0x24(%rsp), %rax
cmpq %rax, %rbp
movsd %xmm0, 0x18(%rsp)
jge 0x13dc2
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e796
movsd (%rax), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd (%rax), %xmm0
mulsd 0x8(%rsp), %xmm0
addsd 0x38(%rsp), %xmm0
mulsd (%rsp), %xmm0
movsd %xmm0, (%rsp)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1e796
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1e570
movsd 0x18(%rsp), %xmm0
movsd (%rsp), %xmm1
mulsd (%rax), %xmm1
subsd %xmm1, %xmm0
incq %rbp
jmp 0x13d1d
movapd %xmm0, %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %r15
movq %r15, %rsi
callq 0x1e52a
movsd (%rsp), %xmm1
divsd (%rax), %xmm1
movsd 0x10(%rsp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x10(%rsp)
incq %r15
movsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
jmp 0x13cf7
movq 0x70(%rsp), %rdi
jmp 0x1278f
pushq $0x8
popq %rdi
callq 0x61d0
leaq 0x4f9b9(%rip), %rcx     # 0x637e0
movq %rcx, (%rax)
leaq 0x4f96f(%rip), %rsi     # 0x637a0
jmp 0x13e4c
pushq $0x8
popq %rdi
callq 0x61d0
leaq 0x4f9c6(%rip), %rcx     # 0x63808
movq %rcx, (%rax)
leaq 0x4f96c(%rip), %rsi     # 0x637b8
movq 0x5017d(%rip), %rdx     # 0x63fd0
movq %rax, %rdi
callq 0x6690
jmp 0x13e75
jmp 0x13e75
jmp 0x13e6b
jmp 0x13e6b
jmp 0x13e75
jmp 0x13e6b
jmp 0x13e6b
jmp 0x13e6b
movq %rax, %rbx
movq 0x60(%rsp), %rdi
jmp 0x13e7d
movq %rax, %rbx
movq 0x70(%rsp), %rdi
callq 0x64a0
movq %rbx, %rdi
callq 0x66e0