user: What would the C source look like for the assembly code provided here?

```asm
<coeffs004>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  movsd  %xmm0,-0x28(%rbp)
  mov    %rdi,-0x30(%rbp)
  mov    %esi,-0x34(%rbp)
  mov    %rdx,-0x40(%rbp)
  mov    %rcx,-0x48(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%rax
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0x8,%rax
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0x10,%rax
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  -0x28(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D256(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x2,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x8(%rbp),%xmm1
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x4,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  sub    %rdx,%rax
  add    $0x3,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%rax
  add    $0x18,%rax
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  nop
  pop    %rbp
  ret
```

tool_calls: name: read_data
arguments: tag: D256
datatype: f64

tool: D256: 1

assistant: ```c
void coeffs004(double xi, long int i, int r, double *x, double *c) {
  double sum_l, sum_m, prod_n, prod_m;
  sum_l = 0.0;
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 3];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 1] - x[i - r + 0];
  prod_m *= x[i - r + 1] - x[i - r + 2];
  prod_m *= x[i - r + 1] - x[i - r + 3];
  prod_m *= x[i - r + 1] - x[i - r + 4];
  sum_l += sum_m / prod_m * (x[i - r + 0 + 1] - x[i - r + 0]);
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 3];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 3];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 2] - x[i - r + 0];
  prod_m *= x[i - r + 2] - x[i - r + 1];
  prod_m *= x[i - r + 2] - x[i - r + 3];
  prod_m *= x[i - r + 2] - x[i - r + 4];
  sum_l += sum_m / prod_m * (x[i - r + 0 + 1] - x[i - r + 0]);
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 3] - x[i - r + 0];
  prod_m *= x[i - r + 3] - x[i - r + 1];
  prod_m *= x[i - r + 3] - x[i - r + 2];
  prod_m *= x[i - r + 3] - x[i - r + 4];
  sum_l += sum_m / prod_m * (x[i - r + 0 + 1] - x[i - r + 0]);
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 4] - x[i - r + 0];
  prod_m *= x[i - r + 4] - x[i - r + 1];
  prod_m *= x[i - r + 4] - x[i - r + 2];
  prod_m *= x[i - r + 4] - x[i - r + 3];
  sum_l += sum_m / prod_m * (x[i - r + 0 + 1] - x[i - r + 0]);
  c[0] = sum_l;
  sum_l = 0.0;
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 3];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 3];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 2] - x[i - r + 0];
  prod_m *= x[i - r + 2] - x[i - r + 1];
  prod_m *= x[i - r + 2] - x[i - r + 3];
  prod_m *= x[i - r + 2] - x[i - r + 4];
  sum_l += sum_m / prod_m * (x[i - r + 1 + 1] - x[i - r + 1]);
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 3] - x[i - r + 0];
  prod_m *= x[i - r + 3] - x[i - r + 1];
  prod_m *= x[i - r + 3] - x[i - r + 2];
  prod_m *= x[i - r + 3] - x[i - r + 4];
  sum_l += sum_m / prod_m * (x[i - r + 1 + 1] - x[i - r + 1]);
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 4] - x[i - r + 0];
  prod_m *= x[i - r + 4] - x[i - r + 1];
  prod_m *= x[i - r + 4] - x[i - r + 2];
  prod_m *= x[i - r + 4] - x[i - r + 3];
  sum_l += sum_m / prod_m * (x[i - r + 1 + 1] - x[i - r + 1]);
  c[1] = sum_l;
  sum_l = 0.0;
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 4];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 3] - x[i - r + 0];
  prod_m *= x[i - r + 3] - x[i - r + 1];
  prod_m *= x[i - r + 3] - x[i - r + 2];
  prod_m *= x[i - r + 3] - x[i - r + 4];
  sum_l += sum_m / prod_m * (x[i - r + 2 + 1] - x[i - r + 2]);
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 4] - x[i - r + 0];
  prod_m *= x[i - r + 4] - x[i - r + 1];
  prod_m *= x[i - r + 4] - x[i - r + 2];
  prod_m *= x[i - r + 4] - x[i - r + 3];
  sum_l += sum_m / prod_m * (x[i - r + 2 + 1] - x[i - r + 2]);
  c[2] = sum_l;
  sum_l = 0.0;
  sum_m = 0.0;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 2];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 3];
  sum_m += prod_n;
  prod_n = 1.0;
  prod_n *= xi - x[i - r + 0];
  prod_n *= xi - x[i - r + 1];
  prod_n *= xi - x[i - r + 2];
  sum_m += prod_n;
  prod_m = 1.0;
  prod_m *= x[i - r + 4] - x[i - r + 0];
  prod_m *= x[i - r + 4] - x[i - r + 1];
  prod_m *= x[i - r + 4] - x[i - r + 2];
  prod_m *= x[i - r + 4] - x[i - r + 3];
  sum_l += sum_m / prod_m * (x[i - r + 3 + 1] - x[i - r + 3]);
  c[3] = sum_l;
}
```