user: 提供的汇编代码用C语言表示会是什么样子：

```asm
<coreGTRGAMMAPROT>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %rdi,%r13
  mov    $0x720,%edi
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x6c8,%rsp
  mov    0x700(%rsp),%rax
  mov    %rsi,0x40(%rsp)
  mov    %rdx,0x70(%rsp)
  mov    %rax,0x6b0(%rsp)
  mov    0x708(%rsp),%rax
  mov    %ecx,0x50(%rsp)
  mov    %r8d,0x60(%rsp)
  mov    %r9,0x80(%rsp)
  mov    %rax,0x6b8(%rsp)
  movsd  %xmm0,0x20(%rsp)
  call   <malloc@plt>
  lea    0x1c8(%rax),%r12
  mov    %rax,%rbp
  lea    0x8e8(%rax),%rax
  mov    %rax,0x30(%rsp)
  mov    %r12,%rbx
L8:
  movsd  0x0(%r13),%xmm1
  mov    0x40(%rsp),%r14
  lea    -0x1c8(%rbx),%r15
  movapd %xmm1,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,0x10(%rsp)
  nopl   0x0(%rax)
L36:
  movapd %xmm1,%xmm0
  movsd  %xmm1,(%rsp)
  add    $0x18,%r15
  add    $0x8,%r14
  mulsd  -0x8(%r14),%xmm0
  mulsd  0x20(%rsp),%xmm0
  call   <exp@plt>
  pxor   %xmm0,%xmm0
  movsd  (%rsp),%xmm1
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x18(%r15)
  movsd  -0x8(%r14),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%r15)
  movsd  -0x8(%r14),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  0x10(%rsp),%xmm0
  movsd  %xmm0,-0x8(%r15)
  cmp    %rbx,%r15
  jne    L36
  lea    0x1c8(%r15),%rbx
  add    $0x8,%r13
  cmp    0x30(%rsp),%rbx
  jne    L8
  mov    0x50(%rsp),%ebx
  mov    0x60(%rsp),%edi
  cmp    %edi,%ebx
  jge    L45
  movupd 0x0(%rbp),%xmm1
  mov    0x70(%rsp),%rsi
  sub    $0x1,%edi
  lea    (%rbx,%rbx,4),%eax
  mov    0x80(%rsp),%r10
  mov    %edi,%ecx
  shl    $0x4,%eax
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x18(%rbp),%xmm4
  cltq
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x20(%rbp),%xmm0
  lea    (%rsi,%rax,8),%rax
  sub    %ebx,%ecx
  movaps %xmm0,0x540(%rsp)
  movupd 0x10(%rbp),%xmm0
  movslq %ebx,%rsi
  movaps %xmm4,0x530(%rsp)
  add    %rsi,%rcx
  lea    (%r10,%rsi,4),%rdx
  unpcklpd %xmm1,%xmm0
  movupd 0x30(%rbp),%xmm1
  movhps 0x28(%rbp),%xmm0
  lea    0x4(%r10,%rcx,4),%r8
  lea    0x390(%rbp),%rcx
  movaps %xmm0,0x550(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x48(%rbp),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x50(%rbp),%xmm0
  movaps %xmm0,0x570(%rsp)
  movupd 0x40(%rbp),%xmm0
  movaps %xmm4,0x560(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x60(%rbp),%xmm1
  movhps 0x58(%rbp),%xmm0
  movaps %xmm0,0x580(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x78(%rbp),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x80(%rbp),%xmm0
  movaps %xmm0,0x5a0(%rsp)
  movupd 0x70(%rbp),%xmm0
  movaps %xmm4,0x590(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x90(%rbp),%xmm1
  movhps 0x88(%rbp),%xmm0
  movaps %xmm0,0x5b0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0xa8(%rbp),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0xb0(%rbp),%xmm0
  movaps %xmm0,0x5d0(%rsp)
  movupd 0xa0(%rbp),%xmm0
  movaps %xmm4,0x5c0(%rsp)
  unpcklpd %xmm1,%xmm0
  movhps 0xb8(%rbp),%xmm0
  movupd 0xc0(%rbp),%xmm1
  movaps %xmm0,0x5e0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0xd8(%rbp),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0xe0(%rbp),%xmm0
  movaps %xmm0,0x600(%rsp)
  movupd 0xd0(%rbp),%xmm0
  movaps %xmm4,0x5f0(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0xf0(%rbp),%xmm1
  movhps 0xe8(%rbp),%xmm0
  movaps %xmm0,0x610(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x108(%rbp),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x110(%rbp),%xmm0
  movaps %xmm0,0x630(%rsp)
  movupd 0x100(%rbp),%xmm0
  movaps %xmm5,0x620(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x120(%rbp),%xmm1
  movhps 0x118(%rbp),%xmm0
  movaps %xmm0,0x640(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x138(%rbp),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x140(%rbp),%xmm0
  movaps %xmm0,0x660(%rsp)
  movupd 0x130(%rbp),%xmm0
  movaps %xmm4,0x650(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x150(%rbp),%xmm1
  movhps 0x148(%rbp),%xmm0
  movaps %xmm0,0x670(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x168(%rbp),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x170(%rbp),%xmm0
  movaps %xmm0,0x690(%rsp)
  movupd 0x160(%rbp),%xmm0
  movaps %xmm5,0x680(%rsp)
  unpcklpd %xmm1,%xmm0
  movhps 0x178(%rbp),%xmm0
  movupd 0x180(%rbp),%xmm1
  movsd  0x1b8(%rbp),%xmm5
  mov    0x1b0(%rbp),%rdi
  movaps %xmm0,0x6a0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x198(%rbp),%xmm4
  movsd  %xmm5,0xc8(%rsp)
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x1a0(%rbp),%xmm0
  movaps %xmm0,0x90(%rsp)
  movupd 0x190(%rbp),%xmm0
  movaps %xmm4,0xa0(%rsp)
  movsd  0x1c0(%rbp),%xmm4
  unpcklpd %xmm1,%xmm0
  movupd 0x1c8(%rbp),%xmm1
  movhps 0x1a8(%rbp),%xmm0
  movsd  %xmm4,0xc0(%rsp)
  movaps %xmm0,0x80(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x18(%r12),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x20(%r12),%xmm0
  movaps %xmm0,0x3c0(%rsp)
  movupd 0x10(%r12),%xmm0
  movaps %xmm5,0x3b0(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x30(%r12),%xmm1
  movhps 0x28(%r12),%xmm0
  movaps %xmm0,0x3d0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x48(%r12),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x50(%r12),%xmm0
  movaps %xmm0,0x3f0(%rsp)
  movupd 0x40(%r12),%xmm0
  movaps %xmm4,0x3e0(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x60(%r12),%xmm1
  movhps 0x58(%r12),%xmm0
  movaps %xmm0,0x400(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x78(%r12),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x80(%r12),%xmm0
  movaps %xmm0,0x420(%rsp)
  movupd 0x70(%r12),%xmm0
  movaps %xmm5,0x410(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x90(%r12),%xmm1
  movhps 0x88(%r12),%xmm0
  movaps %xmm0,0x430(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0xa8(%r12),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0xb0(%r12),%xmm0
  movaps %xmm0,0x450(%rsp)
  movupd 0xa0(%r12),%xmm0
  movaps %xmm4,0x440(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0xc0(%r12),%xmm1
  movhps 0xb8(%r12),%xmm0
  movaps %xmm0,0x460(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0xd8(%r12),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0xe0(%r12),%xmm0
  movaps %xmm0,0x480(%rsp)
  movupd 0xd0(%r12),%xmm0
  movaps %xmm5,0x470(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0xf0(%r12),%xmm1
  movhps 0xe8(%r12),%xmm0
  movaps %xmm0,0x490(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x108(%r12),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x110(%r12),%xmm0
  movaps %xmm0,0x4b0(%rsp)
  movupd 0x100(%r12),%xmm0
  movaps %xmm4,0x4a0(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x120(%r12),%xmm1
  movhps 0x118(%r12),%xmm0
  movaps %xmm0,0x4c0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x138(%r12),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  mov    0x378(%rbp),%r9
  movhpd 0x140(%r12),%xmm0
  movupd 0x1a0(%r12),%xmm2
  movaps %xmm0,0x4e0(%rsp)
  movupd 0x130(%r12),%xmm0
  movaps %xmm5,0x4d0(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x150(%r12),%xmm1
  movhps 0x148(%r12),%xmm0
  movaps %xmm0,0x4f0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x168(%r12),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x170(%r12),%xmm0
  movaps %xmm0,0x510(%rsp)
  movupd 0x160(%r12),%xmm0
  movaps %xmm4,0x500(%rsp)
  movsd  0x388(%rbp),%xmm4
  unpcklpd %xmm1,%xmm0
  movhps 0x178(%r12),%xmm0
  movupd 0x180(%r12),%xmm1
  movsd  %xmm4,0x100(%rsp)
  movaps %xmm0,0x520(%rsp)
  movapd %xmm1,%xmm3
  movupd 0x190(%r12),%xmm0
  shufpd $0x1,%xmm1,%xmm3
  unpcklpd %xmm2,%xmm3
  movapd %xmm0,%xmm5
  unpcklpd %xmm1,%xmm0
  movaps %xmm3,0xe0(%rsp)
  movsd  %xmm1,%xmm5
  movupd 0x390(%rbp),%xmm1
  movsd  %xmm0,%xmm2
  movaps %xmm5,0xf0(%rsp)
  movsd  0x380(%rbp),%xmm5
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x18(%rcx),%xmm4
  movaps %xmm2,0xd0(%rsp)
  movsd  %xmm5,0x108(%rsp)
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x20(%rcx),%xmm0
  movaps %xmm0,0x240(%rsp)
  movupd 0x10(%rcx),%xmm0
  movaps %xmm4,0x230(%rsp)
  unpcklpd %xmm1,%xmm0
  movhps 0x28(%rcx),%xmm0
  movupd 0x30(%rcx),%xmm1
  movaps %xmm0,0x250(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x48(%rcx),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x50(%rcx),%xmm0
  movaps %xmm0,0x270(%rsp)
  movupd 0x40(%rcx),%xmm0
  movaps %xmm5,0x260(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x60(%rcx),%xmm1
  movhps 0x58(%rcx),%xmm0
  movaps %xmm0,0x280(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x78(%rcx),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x80(%rcx),%xmm0
  movaps %xmm0,0x2a0(%rsp)
  movupd 0x70(%rcx),%xmm0
  movaps %xmm4,0x290(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x90(%rcx),%xmm1
  movhps 0x88(%rcx),%xmm0
  movaps %xmm0,0x2b0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0xa8(%rcx),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0xb0(%rcx),%xmm0
  movaps %xmm0,0x2d0(%rsp)
  movupd 0xa0(%rcx),%xmm0
  movaps %xmm5,0x2c0(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0xc0(%rcx),%xmm1
  movhps 0xb8(%rcx),%xmm0
  movaps %xmm0,0x2e0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0xd8(%rcx),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0xe0(%rcx),%xmm0
  movaps %xmm0,0x300(%rsp)
  movupd 0xd0(%rcx),%xmm0
  movaps %xmm4,0x2f0(%rsp)
  unpcklpd %xmm1,%xmm0
  movhps 0xe8(%rcx),%xmm0
  movupd 0xf0(%rcx),%xmm1
  movupd 0x1a0(%rcx),%xmm2
  mov    0x540(%rbp),%rsi
  movaps %xmm0,0x310(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x108(%rcx),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x110(%rcx),%xmm0
  movaps %xmm0,0x330(%rsp)
  movupd 0x100(%rcx),%xmm0
  movaps %xmm5,0x320(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x120(%rcx),%xmm1
  movhps 0x118(%rcx),%xmm0
  movaps %xmm0,0x340(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x138(%rcx),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x140(%rcx),%xmm0
  movaps %xmm0,0x360(%rsp)
  movupd 0x130(%rcx),%xmm0
  movaps %xmm4,0x350(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x150(%rcx),%xmm1
  movhps 0x148(%rcx),%xmm0
  movaps %xmm0,0x370(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x168(%rcx),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x170(%rcx),%xmm0
  movaps %xmm0,0x390(%rsp)
  movupd 0x160(%rcx),%xmm0
  movaps %xmm5,0x380(%rsp)
  unpcklpd %xmm1,%xmm0
  movhps 0x178(%rcx),%xmm0
  movupd 0x180(%rcx),%xmm1
  movaps %xmm0,0x3a0(%rsp)
  movupd 0x190(%rcx),%xmm0
  movapd %xmm1,%xmm3
  lea    0x558(%rbp),%rcx
  shufpd $0x1,%xmm1,%xmm3
  unpcklpd %xmm2,%xmm3
  movapd %xmm0,%xmm10
  unpcklpd %xmm1,%xmm0
  movaps %xmm3,0x120(%rsp)
  movsd  %xmm0,%xmm2
  movsd  %xmm1,%xmm10
  movaps %xmm2,0x110(%rsp)
  movsd  0x548(%rbp),%xmm5
  movupd 0x558(%rbp),%xmm1
  movsd  0x550(%rbp),%xmm4
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm9
  movsd  %xmm5,0x148(%rsp)
  movhps 0x18(%rcx),%xmm9
  movsd  %xmm4,0x140(%rsp)
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x20(%rcx),%xmm0
  movaps %xmm0,0x190(%rsp)
  movupd 0x10(%rcx),%xmm0
  unpcklpd %xmm1,%xmm0
  movupd 0x30(%rcx),%xmm1
  movhps 0x28(%rcx),%xmm0
  movaps %xmm0,0xb0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm8
  movhps 0x48(%rcx),%xmm8
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x50(%rcx),%xmm0
  movaps %xmm0,0x130(%rsp)
  movupd 0x40(%rcx),%xmm0
  unpcklpd %xmm1,%xmm0
  movupd 0x60(%rcx),%xmm1
  movhps 0x58(%rcx),%xmm0
  movaps %xmm0,0x70(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm7
  movhps 0x78(%rcx),%xmm7
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x80(%rcx),%xmm0
  movaps %xmm0,0x60(%rsp)
  movupd 0x70(%rcx),%xmm0
  unpcklpd %xmm1,%xmm0
  movupd 0x90(%rcx),%xmm1
  movhps 0x88(%rcx),%xmm0
  movaps %xmm0,0x50(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm6
  movhps 0xa8(%rcx),%xmm6
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0xb0(%rcx),%xmm0
  movaps %xmm0,0x40(%rsp)
  movupd 0xa0(%rcx),%xmm0
  unpcklpd %xmm1,%xmm0
  movhps 0xb8(%rcx),%xmm0
  movaps %xmm0,0x30(%rsp)
  movupd 0xc0(%rcx),%xmm1
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0xd8(%rcx),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0xe0(%rcx),%xmm0
  movaps %xmm0,0x10(%rsp)
  movupd 0xd0(%rcx),%xmm0
  movaps %xmm4,0x20(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0xf0(%rcx),%xmm1
  movhps 0xe8(%rcx),%xmm0
  movaps %xmm0,(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x108(%rcx),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x110(%rcx),%xmm0
  movaps %xmm0,0x1b0(%rsp)
  movupd 0x100(%rcx),%xmm0
  movaps %xmm5,0x1a0(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x120(%rcx),%xmm1
  movhps 0x118(%rcx),%xmm0
  movaps %xmm0,0x1c0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm4
  movhps 0x138(%rcx),%xmm4
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x140(%rcx),%xmm0
  movaps %xmm0,0x1e0(%rsp)
  movupd 0x130(%rcx),%xmm0
  movaps %xmm4,0x1d0(%rsp)
  unpcklpd %xmm1,%xmm0
  movupd 0x150(%rcx),%xmm1
  movhps 0x148(%rcx),%xmm0
  movaps %xmm0,0x1f0(%rsp)
  movapd %xmm1,%xmm0
  movapd %xmm1,%xmm5
  movhps 0x168(%rcx),%xmm5
  shufpd $0x1,%xmm1,%xmm0
  movhpd 0x170(%rcx),%xmm0
  movaps %xmm0,0x210(%rsp)
  movupd 0x160(%rcx),%xmm0
  movaps %xmm5,0x200(%rsp)
  unpcklpd %xmm1,%xmm0
  movhps 0x178(%rcx),%xmm0
  movaps %xmm0,0x220(%rsp)
  movupd 0x180(%rcx),%xmm1
  movupd 0x190(%rcx),%xmm0
  movupd 0x1a0(%rcx),%xmm2
  movsd  0x710(%rbp),%xmm5
  movapd %xmm0,%xmm4
  movapd %xmm1,%xmm3
  unpcklpd %xmm1,%xmm0
  mov    0x708(%rbp),%rcx
  movsd  %xmm1,%xmm4
  shufpd $0x1,%xmm1,%xmm3
  unpcklpd %xmm2,%xmm3
  movsd  %xmm0,%xmm2
  movaps %xmm4,0x170(%rsp)
  movsd  0x718(%rbp),%xmm4
  movaps %xmm3,0x160(%rsp)
  pxor   %xmm3,%xmm3
  movsd  %xmm5,0x188(%rsp)
  movapd %xmm3,%xmm5
  movsd  %xmm4,0x180(%rsp)
  movapd %xmm3,%xmm4
  movaps %xmm2,0x150(%rsp)
  nop
L28:
  movupd 0x8(%rax),%xmm1
  movsd  (%rax),%xmm0
  add    $0x4,%rdx
  add    $0x280,%rax
  mulpd  0x530(%rsp),%xmm1
  addsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm1,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm0,%xmm2
  movapd 0x540(%rsp),%xmm0
  mulpd  %xmm1,%xmm0
  mulpd  0x550(%rsp),%xmm1
  movapd %xmm0,%xmm11
  unpckhpd %xmm0,%xmm0
  addsd  %xmm3,%xmm11
  addsd  %xmm0,%xmm11
  movapd %xmm1,%xmm0
  addsd  %xmm3,%xmm1
  unpckhpd %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movupd -0x268(%rax),%xmm0
  mulpd  0x560(%rsp),%xmm0
  movapd %xmm0,%xmm12
  addsd  %xmm2,%xmm12
  movapd %xmm0,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm2
  movapd 0x570(%rsp),%xmm12
  mulpd  %xmm0,%xmm12
  mulpd  0x580(%rsp),%xmm0
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm11,%xmm13
  movapd %xmm12,%xmm11
  movapd %xmm0,%xmm12
  addsd  %xmm1,%xmm12
  movupd -0x258(%rax),%xmm1
  unpckhpd %xmm0,%xmm0
  mulpd  0x590(%rsp),%xmm1
  addsd  %xmm13,%xmm11
  addsd  %xmm12,%xmm0
  movapd %xmm1,%xmm12
  addsd  %xmm2,%xmm12
  movapd %xmm1,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm2
  movapd 0x5a0(%rsp),%xmm12
  mulpd  %xmm1,%xmm12
  mulpd  0x5b0(%rsp),%xmm1
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm11,%xmm13
  movapd %xmm1,%xmm11
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm11
  movupd -0x248(%rax),%xmm0
  mulpd  0x5c0(%rsp),%xmm0
  addsd  %xmm13,%xmm12
  addsd  %xmm11,%xmm1
  movapd %xmm0,%xmm11
  addsd  %xmm2,%xmm11
  movapd %xmm0,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm11,%xmm2
  movapd 0x5d0(%rsp),%xmm11
  mulpd  %xmm0,%xmm11
  mulpd  0x5e0(%rsp),%xmm0
  movapd %xmm11,%xmm13
  unpckhpd %xmm11,%xmm11
  addsd  %xmm12,%xmm13
  movapd %xmm0,%xmm12
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm12
  movupd -0x238(%rax),%xmm1
  mulpd  0x5f0(%rsp),%xmm1
  addsd  %xmm13,%xmm11
  addsd  %xmm12,%xmm0
  movapd %xmm1,%xmm12
  addsd  %xmm2,%xmm12
  movapd %xmm1,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm2
  movapd 0x600(%rsp),%xmm12
  mulpd  %xmm1,%xmm12
  mulpd  0x610(%rsp),%xmm1
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm11,%xmm13
  movapd %xmm1,%xmm11
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm11
  movupd -0x228(%rax),%xmm0
  mulpd  0x620(%rsp),%xmm0
  addsd  %xmm13,%xmm12
  addsd  %xmm11,%xmm1
  addsd  %xmm0,%xmm2
  movapd %xmm0,%xmm15
  unpckhpd %xmm15,%xmm15
  movapd %xmm15,%xmm11
  addsd  %xmm2,%xmm11
  movapd 0x630(%rsp),%xmm2
  mulpd  %xmm0,%xmm2
  mulpd  0x640(%rsp),%xmm0
  movapd %xmm2,%xmm13
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm13
  movapd %xmm0,%xmm12
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm12
  movupd -0x218(%rax),%xmm1
  mulpd  0x650(%rsp),%xmm1
  addsd  %xmm13,%xmm2
  addsd  %xmm12,%xmm0
  movapd %xmm1,%xmm12
  movapd %xmm1,%xmm15
  addsd  %xmm11,%xmm12
  unpckhpd %xmm15,%xmm15
  movapd %xmm15,%xmm11
  addsd  %xmm12,%xmm11
  movapd 0x660(%rsp),%xmm12
  mulpd  %xmm1,%xmm12
  mulpd  0x670(%rsp),%xmm1
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm2,%xmm13
  movapd %xmm1,%xmm2
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm2
  movupd -0x208(%rax),%xmm0
  mulpd  0x680(%rsp),%xmm0
  addsd  %xmm13,%xmm12
  addsd  %xmm2,%xmm1
  movapd %xmm0,%xmm2
  movapd %xmm0,%xmm15
  addsd  %xmm11,%xmm2
  unpckhpd %xmm15,%xmm15
  movapd %xmm15,%xmm11
  addsd  %xmm2,%xmm11
  movapd 0x690(%rsp),%xmm2
  mulpd  %xmm0,%xmm2
  mulpd  0x6a0(%rsp),%xmm0
  movsd  0xc8(%rsp),%xmm14
  movapd %xmm2,%xmm13
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm13
  movapd %xmm0,%xmm12
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm12
  movupd -0x1f8(%rax),%xmm1
  mulpd  0xa0(%rsp),%xmm1
  addsd  %xmm13,%xmm2
  movapd 0x90(%rsp),%xmm13
  addsd  %xmm12,%xmm0
  mulpd  %xmm1,%xmm13
  addsd  %xmm1,%xmm11
  movapd %xmm1,%xmm15
  mulpd  0x80(%rsp),%xmm1
  unpckhpd %xmm15,%xmm15
  addsd  %xmm15,%xmm11
  movapd %xmm13,%xmm12
  unpckhpd %xmm13,%xmm13
  addsd  %xmm2,%xmm12
  movapd %xmm1,%xmm2
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm2
  movupd -0x1d8(%rax),%xmm0
  mulpd  0x3b0(%rsp),%xmm0
  addsd  %xmm12,%xmm13
  addsd  %xmm2,%xmm1
  movq   %rdi,%xmm2
  mulsd  -0x1e8(%rax),%xmm2
  movapd %xmm0,%xmm15
  unpckhpd %xmm15,%xmm15
  addsd  %xmm2,%xmm11
  mulsd  %xmm2,%xmm14
  addsd  -0x1e0(%rax),%xmm11
  mulsd  0xc0(%rsp),%xmm2
  addsd  %xmm0,%xmm11
  addsd  %xmm13,%xmm14
  movapd 0x3f0(%rsp),%xmm13
  movapd %xmm11,%xmm12
  movapd %xmm15,%xmm11
  addsd  %xmm1,%xmm2
  movupd -0x1c8(%rax),%xmm1
  mulpd  0x3e0(%rsp),%xmm1
  addsd  %xmm12,%xmm11
  movapd 0x3c0(%rsp),%xmm12
  mulpd  %xmm0,%xmm12
  mulpd  0x3d0(%rsp),%xmm0
  mulpd  %xmm1,%xmm13
  movapd %xmm1,%xmm15
  unpckhpd %xmm15,%xmm15
  addsd  %xmm12,%xmm14
  unpckhpd %xmm12,%xmm12
  addsd  %xmm0,%xmm2
  unpckhpd %xmm0,%xmm0
  addsd  %xmm14,%xmm12
  addsd  %xmm2,%xmm0
  movapd %xmm1,%xmm2
  mulpd  0x400(%rsp),%xmm1
  addsd  %xmm11,%xmm2
  movapd %xmm15,%xmm11
  addsd  %xmm2,%xmm11
  movapd %xmm13,%xmm2
  unpckhpd %xmm13,%xmm13
  addsd  %xmm12,%xmm2
  movapd 0x420(%rsp),%xmm12
  addsd  %xmm2,%xmm13
  movapd %xmm1,%xmm2
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm2
  movupd -0x1b8(%rax),%xmm0
  mulpd  0x410(%rsp),%xmm0
  addsd  %xmm2,%xmm1
  mulpd  %xmm0,%xmm12
  addsd  %xmm0,%xmm11
  movapd %xmm0,%xmm2
  mulpd  0x430(%rsp),%xmm0
  unpckhpd %xmm2,%xmm2
  addsd  %xmm11,%xmm2
  movapd %xmm12,%xmm11
  unpckhpd %xmm12,%xmm12
  addsd  %xmm13,%xmm11
  addsd  %xmm11,%xmm12
  movapd %xmm0,%xmm11
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm11
  movupd -0x1a8(%rax),%xmm1
  mulpd  0x440(%rsp),%xmm1
  addsd  %xmm11,%xmm0
  movapd %xmm1,%xmm11
  addsd  %xmm2,%xmm11
  movapd %xmm1,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm11,%xmm2
  movapd 0x450(%rsp),%xmm11
  mulpd  %xmm1,%xmm11
  mulpd  0x460(%rsp),%xmm1
  movapd %xmm11,%xmm13
  unpckhpd %xmm11,%xmm11
  addsd  %xmm12,%xmm13
  movapd %xmm1,%xmm12
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm12
  movupd -0x198(%rax),%xmm0
  mulpd  0x470(%rsp),%xmm0
  addsd  %xmm13,%xmm11
  addsd  %xmm12,%xmm1
  movapd %xmm0,%xmm12
  addsd  %xmm2,%xmm12
  movapd %xmm0,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm2
  movapd 0x480(%rsp),%xmm12
  mulpd  %xmm0,%xmm12
  mulpd  0x490(%rsp),%xmm0
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm11,%xmm13
  movapd %xmm0,%xmm11
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm11
  movupd -0x188(%rax),%xmm1
  mulpd  0x4a0(%rsp),%xmm1
  addsd  %xmm13,%xmm12
  addsd  %xmm11,%xmm0
  addsd  %xmm1,%xmm2
  movapd %xmm1,%xmm15
  unpckhpd %xmm15,%xmm15
  movapd %xmm15,%xmm11
  addsd  %xmm2,%xmm11
  movapd 0x4b0(%rsp),%xmm2
  mulpd  %xmm1,%xmm2
  mulpd  0x4c0(%rsp),%xmm1
  movapd %xmm2,%xmm13
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm13
  movapd %xmm1,%xmm12
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm12
  movupd -0x178(%rax),%xmm0
  mulpd  0x4d0(%rsp),%xmm0
  addsd  %xmm13,%xmm2
  addsd  %xmm12,%xmm1
  movapd %xmm0,%xmm12
  movapd %xmm0,%xmm14
  addsd  %xmm11,%xmm12
  unpckhpd %xmm14,%xmm14
  movapd %xmm14,%xmm11
  addsd  %xmm12,%xmm11
  movapd 0x4e0(%rsp),%xmm12
  mulpd  %xmm0,%xmm12
  mulpd  0x4f0(%rsp),%xmm0
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm2,%xmm13
  movapd %xmm0,%xmm2
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm2
  movupd -0x168(%rax),%xmm1
  mulpd  0x500(%rsp),%xmm1
  addsd  %xmm13,%xmm12
  addsd  %xmm2,%xmm0
  movapd %xmm1,%xmm2
  movapd %xmm1,%xmm15
  addsd  %xmm11,%xmm2
  unpckhpd %xmm15,%xmm15
  movapd %xmm15,%xmm11
  addsd  %xmm2,%xmm11
  movapd 0x510(%rsp),%xmm2
  mulpd  %xmm1,%xmm2
  mulpd  0x520(%rsp),%xmm1
  movapd %xmm2,%xmm13
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm13
  movapd %xmm1,%xmm12
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm12
  addsd  %xmm13,%xmm2
  movapd 0xe0(%rsp),%xmm13
  addsd  %xmm12,%xmm1
  movapd %xmm1,%xmm0
  movupd -0x158(%rax),%xmm1
  mulpd  0xf0(%rsp),%xmm1
  mulpd  %xmm1,%xmm13
  addsd  %xmm1,%xmm11
  movapd %xmm1,%xmm14
  mulpd  0xd0(%rsp),%xmm1
  unpckhpd %xmm14,%xmm14
  addsd  %xmm14,%xmm11
  movsd  0x108(%rsp),%xmm14
  movapd %xmm13,%xmm12
  unpckhpd %xmm13,%xmm13
  addsd  %xmm2,%xmm12
  movapd %xmm1,%xmm2
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm2
  movupd -0x138(%rax),%xmm0
  mulpd  0x230(%rsp),%xmm0
  addsd  %xmm12,%xmm13
  addsd  %xmm2,%xmm1
  movq   %r9,%xmm2
  mulsd  -0x148(%rax),%xmm2
  movapd %xmm0,%xmm15
  unpckhpd %xmm15,%xmm15
  addsd  %xmm2,%xmm11
  mulsd  %xmm2,%xmm14
  addsd  -0x140(%rax),%xmm11
  mulsd  0x100(%rsp),%xmm2
  addsd  %xmm0,%xmm11
  addsd  %xmm13,%xmm14
  movapd 0x270(%rsp),%xmm13
  movapd %xmm11,%xmm12
  movapd %xmm15,%xmm11
  addsd  %xmm1,%xmm2
  movupd -0x128(%rax),%xmm1
  mulpd  0x260(%rsp),%xmm1
  addsd  %xmm12,%xmm11
  movapd 0x240(%rsp),%xmm12
  mulpd  %xmm0,%xmm12
  mulpd  0x250(%rsp),%xmm0
  mulpd  %xmm1,%xmm13
  addsd  %xmm12,%xmm14
  unpckhpd %xmm12,%xmm12
  addsd  %xmm0,%xmm2
  unpckhpd %xmm0,%xmm0
  addsd  %xmm14,%xmm12
  movapd %xmm1,%xmm14
  addsd  %xmm2,%xmm0
  movapd %xmm1,%xmm2
  unpckhpd %xmm14,%xmm14
  mulpd  0x280(%rsp),%xmm1
  addsd  %xmm11,%xmm2
  movapd %xmm14,%xmm11
  addsd  %xmm2,%xmm11
  movapd %xmm13,%xmm2
  unpckhpd %xmm13,%xmm13
  addsd  %xmm12,%xmm2
  movapd 0x2a0(%rsp),%xmm12
  addsd  %xmm2,%xmm13
  movapd %xmm1,%xmm2
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm2
  movupd -0x118(%rax),%xmm0
  mulpd  0x290(%rsp),%xmm0
  addsd  %xmm2,%xmm1
  mulpd  %xmm0,%xmm12
  addsd  %xmm0,%xmm11
  movapd %xmm0,%xmm2
  mulpd  0x2b0(%rsp),%xmm0
  unpckhpd %xmm2,%xmm2
  addsd  %xmm11,%xmm2
  movapd %xmm12,%xmm11
  unpckhpd %xmm12,%xmm12
  addsd  %xmm13,%xmm11
  addsd  %xmm11,%xmm12
  movapd %xmm0,%xmm11
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm11
  movupd -0x108(%rax),%xmm1
  mulpd  0x2c0(%rsp),%xmm1
  addsd  %xmm11,%xmm0
  movapd %xmm1,%xmm11
  addsd  %xmm2,%xmm11
  movapd %xmm1,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm11,%xmm2
  movapd 0x2d0(%rsp),%xmm11
  mulpd  %xmm1,%xmm11
  mulpd  0x2e0(%rsp),%xmm1
  movapd %xmm11,%xmm13
  unpckhpd %xmm11,%xmm11
  addsd  %xmm12,%xmm13
  movapd %xmm1,%xmm12
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm12
  movupd -0xf8(%rax),%xmm0
  mulpd  0x2f0(%rsp),%xmm0
  addsd  %xmm13,%xmm11
  addsd  %xmm12,%xmm1
  movapd %xmm0,%xmm12
  addsd  %xmm2,%xmm12
  movapd %xmm0,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm2
  movapd 0x300(%rsp),%xmm12
  mulpd  %xmm0,%xmm12
  mulpd  0x310(%rsp),%xmm0
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm11,%xmm13
  movapd %xmm0,%xmm11
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm11
  movupd -0xe8(%rax),%xmm1
  mulpd  0x320(%rsp),%xmm1
  addsd  %xmm13,%xmm12
  addsd  %xmm11,%xmm0
  addsd  %xmm1,%xmm2
  movapd %xmm1,%xmm15
  unpckhpd %xmm15,%xmm15
  movapd %xmm15,%xmm11
  addsd  %xmm2,%xmm11
  movapd 0x330(%rsp),%xmm2
  mulpd  %xmm1,%xmm2
  mulpd  0x340(%rsp),%xmm1
  movapd %xmm2,%xmm13
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm13
  movapd %xmm1,%xmm12
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm12
  movupd -0xd8(%rax),%xmm0
  mulpd  0x350(%rsp),%xmm0
  addsd  %xmm13,%xmm2
  addsd  %xmm12,%xmm1
  movapd %xmm0,%xmm12
  movapd %xmm0,%xmm14
  addsd  %xmm11,%xmm12
  unpckhpd %xmm14,%xmm14
  movapd %xmm14,%xmm11
  addsd  %xmm12,%xmm11
  movapd 0x360(%rsp),%xmm12
  mulpd  %xmm0,%xmm12
  mulpd  0x370(%rsp),%xmm0
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm2,%xmm13
  movapd %xmm0,%xmm2
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm2
  movupd -0xc8(%rax),%xmm1
  mulpd  0x380(%rsp),%xmm1
  addsd  %xmm13,%xmm12
  addsd  %xmm2,%xmm0
  movapd %xmm1,%xmm2
  movapd %xmm1,%xmm15
  addsd  %xmm11,%xmm2
  unpckhpd %xmm15,%xmm15
  movapd %xmm15,%xmm11
  addsd  %xmm2,%xmm11
  movapd 0x390(%rsp),%xmm2
  mulpd  %xmm1,%xmm2
  mulpd  0x3a0(%rsp),%xmm1
  movapd %xmm2,%xmm13
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm13
  movapd %xmm1,%xmm12
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm12
  movapd %xmm1,%xmm0
  movupd -0xb8(%rax),%xmm1
  mulpd  %xmm10,%xmm1
  addsd  %xmm13,%xmm2
  movapd 0x120(%rsp),%xmm13
  addsd  %xmm12,%xmm0
  mulpd  %xmm1,%xmm13
  addsd  %xmm1,%xmm11
  movapd %xmm1,%xmm14
  mulpd  0x110(%rsp),%xmm1
  unpckhpd %xmm14,%xmm14
  addsd  %xmm14,%xmm11
  movsd  0x148(%rsp),%xmm14
  movapd %xmm13,%xmm12
  unpckhpd %xmm13,%xmm13
  addsd  %xmm2,%xmm12
  movapd %xmm1,%xmm2
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm2
  movupd -0x98(%rax),%xmm0
  mulpd  %xmm9,%xmm0
  addsd  %xmm12,%xmm13
  addsd  %xmm2,%xmm1
  movq   %rsi,%xmm2
  mulsd  -0xa8(%rax),%xmm2
  movapd %xmm0,%xmm15
  unpckhpd %xmm15,%xmm15
  addsd  %xmm2,%xmm11
  mulsd  %xmm2,%xmm14
  addsd  -0xa0(%rax),%xmm11
  mulsd  0x140(%rsp),%xmm2
  addsd  %xmm0,%xmm11
  addsd  %xmm13,%xmm14
  movapd %xmm11,%xmm12
  movapd %xmm15,%xmm11
  addsd  %xmm1,%xmm2
  movupd -0x88(%rax),%xmm1
  addsd  %xmm12,%xmm11
  movapd 0x190(%rsp),%xmm12
  mulpd  %xmm8,%xmm1
  mulpd  %xmm0,%xmm12
  mulpd  0xb0(%rsp),%xmm0
  addsd  %xmm12,%xmm14
  unpckhpd %xmm12,%xmm12
  addsd  %xmm0,%xmm2
  unpckhpd %xmm0,%xmm0
  addsd  %xmm14,%xmm12
  movapd %xmm1,%xmm14
  addsd  %xmm2,%xmm0
  movapd %xmm1,%xmm2
  unpckhpd %xmm14,%xmm14
  addsd  %xmm11,%xmm2
  movapd %xmm14,%xmm11
  addsd  %xmm2,%xmm11
  movapd 0x130(%rsp),%xmm2
  mulpd  %xmm1,%xmm2
  mulpd  0x70(%rsp),%xmm1
  movapd %xmm2,%xmm13
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm13
  movapd %xmm2,%xmm12
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  movupd -0x78(%rax),%xmm0
  unpckhpd %xmm1,%xmm1
  mulpd  %xmm7,%xmm0
  addsd  %xmm13,%xmm12
  addsd  %xmm2,%xmm1
  addsd  %xmm0,%xmm11
  movapd %xmm0,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm11,%xmm2
  movapd 0x60(%rsp),%xmm11
  mulpd  %xmm0,%xmm11
  mulpd  0x50(%rsp),%xmm0
  movapd %xmm11,%xmm13
  unpckhpd %xmm11,%xmm11
  addsd  %xmm12,%xmm13
  movapd %xmm0,%xmm12
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm12
  movupd -0x68(%rax),%xmm1
  mulpd  %xmm6,%xmm1
  addsd  %xmm13,%xmm11
  addsd  %xmm12,%xmm0
  movapd %xmm1,%xmm12
  addsd  %xmm2,%xmm12
  movapd %xmm1,%xmm2
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm2
  movapd 0x40(%rsp),%xmm12
  mulpd  %xmm1,%xmm12
  mulpd  0x30(%rsp),%xmm1
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm11,%xmm13
  movapd %xmm1,%xmm11
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm11
  movupd -0x58(%rax),%xmm0
  mulpd  0x20(%rsp),%xmm0
  addsd  %xmm13,%xmm12
  addsd  %xmm11,%xmm1
  addsd  %xmm0,%xmm2
  movapd %xmm0,%xmm15
  unpckhpd %xmm15,%xmm15
  movapd %xmm15,%xmm11
  addsd  %xmm2,%xmm11
  movapd 0x10(%rsp),%xmm2
  mulpd  %xmm0,%xmm2
  mulpd  (%rsp),%xmm0
  movapd %xmm2,%xmm13
  unpckhpd %xmm2,%xmm2
  addsd  %xmm12,%xmm13
  movapd %xmm0,%xmm12
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm12
  movupd -0x48(%rax),%xmm1
  mulpd  0x1a0(%rsp),%xmm1
  addsd  %xmm13,%xmm2
  addsd  %xmm12,%xmm0
  movapd %xmm1,%xmm12
  movapd %xmm1,%xmm14
  addsd  %xmm11,%xmm12
  unpckhpd %xmm14,%xmm14
  movapd %xmm14,%xmm11
  movapd 0x210(%rsp),%xmm14
  addsd  %xmm12,%xmm11
  movapd 0x1b0(%rsp),%xmm12
  mulpd  %xmm1,%xmm12
  mulpd  0x1c0(%rsp),%xmm1
  movapd %xmm12,%xmm13
  unpckhpd %xmm12,%xmm12
  addsd  %xmm2,%xmm13
  movapd %xmm1,%xmm2
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm2
  addsd  %xmm13,%xmm12
  addsd  %xmm2,%xmm1
  movupd -0x38(%rax),%xmm2
  mulpd  0x1d0(%rsp),%xmm2
  movapd %xmm2,%xmm0
  movapd %xmm2,%xmm15
  addsd  %xmm11,%xmm0
  unpckhpd %xmm15,%xmm15
  movapd 0x1e0(%rsp),%xmm11
  movapd %xmm15,%xmm13
  mulpd  %xmm2,%xmm11
  mulpd  0x1f0(%rsp),%xmm2
  addsd  %xmm0,%xmm13
  movapd %xmm11,%xmm0
  unpckhpd %xmm11,%xmm11
  addsd  %xmm12,%xmm0
  addsd  %xmm0,%xmm11
  movapd %xmm2,%xmm0
  unpckhpd %xmm2,%xmm2
  addsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm12
  movupd -0x28(%rax),%xmm2
  mulpd  0x200(%rsp),%xmm2
  mulpd  %xmm2,%xmm14
  movapd %xmm2,%xmm0
  movapd %xmm2,%xmm1
  mulpd  0x220(%rsp),%xmm2
  unpckhpd %xmm1,%xmm1
  addsd  %xmm13,%xmm0
  movapd %xmm1,%xmm13
  addsd  %xmm0,%xmm13
  movapd %xmm14,%xmm0
  unpckhpd %xmm14,%xmm14
  movapd %xmm2,%xmm1
  unpckhpd %xmm2,%xmm2
  addsd  %xmm11,%xmm0
  addsd  %xmm12,%xmm1
  addsd  %xmm0,%xmm14
  addsd  %xmm1,%xmm2
  movapd 0x160(%rsp),%xmm1
  movapd %xmm2,%xmm11
  movupd -0x18(%rax),%xmm2
  mulpd  0x170(%rsp),%xmm2
  mulpd  %xmm2,%xmm1
  addsd  %xmm2,%xmm13
  movapd %xmm2,%xmm0
  mulpd  0x150(%rsp),%xmm2
  unpckhpd %xmm0,%xmm0
  addsd  %xmm0,%xmm13
  movapd %xmm1,%xmm0
  unpckhpd %xmm1,%xmm1
  addsd  %xmm14,%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm2,%xmm1
  unpckhpd %xmm2,%xmm2
  addsd  %xmm11,%xmm1
  movsd  0x188(%rsp),%xmm11
  addsd  %xmm1,%xmm2
  movq   %rcx,%xmm1
  mulsd  -0x8(%rax),%xmm1
  mulsd  %xmm1,%xmm11
  addsd  %xmm1,%xmm13
  mulsd  0x180(%rsp),%xmm1
  addsd  %xmm11,%xmm0
  pxor   %xmm11,%xmm11
  cvtsi2sdl -0x4(%rdx),%xmm11
  addsd  %xmm2,%xmm1
  movsd  D5(%rip),%xmm2
  divsd  %xmm13,%xmm2
  movapd %xmm11,%xmm12
  mulsd  %xmm2,%xmm0
  mulsd  %xmm2,%xmm1
  mulsd  %xmm0,%xmm12
  mulsd  %xmm0,%xmm0
  addsd  %xmm12,%xmm5
  subsd  %xmm0,%xmm1
  mulsd  %xmm11,%xmm1
  addsd  %xmm1,%xmm4
  cmp    %rdx,%r8
  jne    L28
L48:
  mov    0x6b0(%rsp),%rax
  mov    %rbp,%rdi
  movsd  %xmm5,(%rax)
  mov    0x6b8(%rsp),%rax
  movsd  %xmm4,(%rax)
  add    $0x6c8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1070 <free@plt>
L45:
  pxor   %xmm4,%xmm4
  movapd %xmm4,%xmm5
  jmp    L48
```

tool_calls: name: extract_symbolic_data
arguments: tag: D5
datatype: f64

tool: D5: 1

assistant: ```c
void coreGTRGAMMAPROT(double *gammaRates, double *EIGN, double *sumtable, int lower, int upper, int *wrptr, double *ext_dlnLdlz, double *ext_d2lnLdlz2, double lz) {
  double *sum, *diagptable, *diagptable_start;
  int i, l;
  double dlnLdlz = 0;
  double d2lnLdlz2 = 0;
  double ki, kisqr;
  double tmp;
  double inv_Li, dlnLidlz, d2lnLidlz2;
  diagptable = diagptable_start = (double *)malloc(sizeof(double) * 228);
  for (i = 0; i < 4; i++) {
    ki = gammaRates[i];
    kisqr = ki * ki;
    for (l = 0; l < 19; l++) {
      *diagptable++ = exp(EIGN[l] * ki * lz);
      *diagptable++ = EIGN[l] * ki;
      *diagptable++ = EIGN[l] * EIGN[l] * kisqr;
    }
  }
  for (i = lower; i < upper; i++) {
    diagptable = diagptable_start;
    sum = &sumtable[i * 80];
    inv_Li = 0.0;
    dlnLidlz = 0.0;
    d2lnLidlz2 = 0.0;
    inv_Li += *sum++;
    for (l = 1; l < 20; l++) {
      inv_Li += (tmp = *diagptable++ * *sum++);
      dlnLidlz += tmp * *diagptable++;
      d2lnLidlz2 += tmp * *diagptable++;
    }
    inv_Li += *sum++;
    for (l = 1; l < 20; l++) {
      inv_Li += (tmp = *diagptable++ * *sum++);
      dlnLidlz += tmp * *diagptable++;
      d2lnLidlz2 += tmp * *diagptable++;
    }
    inv_Li += *sum++;
    for (l = 1; l < 20; l++) {
      inv_Li += (tmp = *diagptable++ * *sum++);
      dlnLidlz += tmp * *diagptable++;
      d2lnLidlz2 += tmp * *diagptable++;
    }
    inv_Li += *sum++;
    for (l = 1; l < 20; l++) {
      inv_Li += (tmp = *diagptable++ * *sum++);
      dlnLidlz += tmp * *diagptable++;
      d2lnLidlz2 += tmp * *diagptable++;
    }
    inv_Li = 1.0 / inv_Li;
    dlnLidlz *= inv_Li;
    d2lnLidlz2 *= inv_Li;
    dlnLdlz += wrptr[i] * dlnLidlz;
    d2lnLdlz2 += wrptr[i] * (d2lnLidlz2 - dlnLidlz * dlnLidlz);
  }
  *ext_dlnLdlz = dlnLdlz;
  *ext_d2lnLdlz2 = d2lnLdlz2;
  free(diagptable_start);
}
```