user: 请从给定的汇编指令推导出C源代码：

```asm
<twobody_ZM_slip_15>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x50,%rsp
  mov    %edi,-0x14(%rbp)
  movsd  %xmm0,-0x20(%rbp)
  mov    %rsi,-0x28(%rbp)
  mov    %rdx,-0x30(%rbp)
  movl   $0x0,-0x4(%rbp)
  jmp    L12
L18:
  mov    -0x4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x4(%rbp)
L12:
  cmpl   $0xf,-0x4(%rbp)
  jle    L18
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D346(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x38(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x38(%rbp),%xmm3
  movsd  %xmm3,-0x38(%rbp)
  mov    $0x9,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D299(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x40(%rbp)
  mov    $0x2,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D499(%rip),%xmm0
  movapd %xmm1,%xmm5
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,-0x40(%rbp)
  mov    $0x7,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D499(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,-0x40(%rbp)
  mov    $0x2,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D7(%rip),%xmm0
  movapd %xmm1,%xmm6
  mulsd  %xmm0,%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D303(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm2
  addsd  -0x40(%rbp),%xmm2
  movsd  %xmm2,-0x40(%rbp)
  mov    $0x2,%esi
  mov    $0xfffffffb,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D353(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  -0x40(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  add    $0x30,%rax
  movsd  D414(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D165(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x38(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D454(%rip),%xmm0
  movapd %xmm1,%xmm7
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,-0x40(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x9,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D385(%rip),%xmm0
  movapd %xmm1,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm4
  mulsd  -0x48(%rbp),%xmm4
  movsd  %xmm4,-0x48(%rbp)
  mov    $0x9,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x40(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D206(%rip),%xmm0
  movapd %xmm1,%xmm5
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x9,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D362(%rip),%xmm0
  movapd %xmm1,%xmm6
  mulsd  %xmm0,%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x48(%rbp),%xmm7
  movsd  %xmm7,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x40(%rbp)
  mov    $0x7,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D515(%rip),%xmm0
  movapd %xmm1,%xmm2
  mulsd  %xmm0,%xmm2
  movsd  %xmm2,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D104(%rip),%xmm0
  movapd %xmm1,%xmm5
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D201(%rip),%xmm0
  movapd %xmm1,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm6
  mulsd  -0x48(%rbp),%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D104(%rip),%xmm0
  movapd %xmm1,%xmm4
  mulsd  %xmm0,%xmm4
  movsd  %xmm4,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x48(%rbp),%xmm2
  movsd  %xmm2,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffb,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D484(%rip),%xmm0
  movapd %xmm1,%xmm5
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D477(%rip),%xmm0
  movapd %xmm1,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm4
  mulsd  -0x48(%rbp),%xmm4
  movsd  %xmm4,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0x40(%rbp),%xmm6
  movsd  %xmm6,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D328(%rip),%xmm0
  movapd %xmm1,%xmm7
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D121(%rip),%xmm0
  movapd %xmm1,%xmm7
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm5
  mulsd  -0x48(%rbp),%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D345(%rip),%xmm0
  movapd %xmm1,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D345(%rip),%xmm0
  movapd %xmm1,%xmm6
  mulsd  %xmm0,%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D294(%rip),%xmm0
  movapd %xmm1,%xmm7
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffb,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D257(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0x40(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  add    $0x40,%rax
  movsd  D414(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D165(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x38(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D454(%rip),%xmm0
  movapd %xmm1,%xmm2
  mulsd  %xmm0,%xmm2
  movsd  %xmm2,-0x40(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x9,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D385(%rip),%xmm0
  movapd %xmm1,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm4
  mulsd  -0x48(%rbp),%xmm4
  movsd  %xmm4,-0x48(%rbp)
  mov    $0x9,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,-0x40(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D206(%rip),%xmm0
  movapd %xmm1,%xmm5
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x9,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D300(%rip),%xmm0
  movapd %xmm1,%xmm6
  mulsd  %xmm0,%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x48(%rbp),%xmm2
  movsd  %xmm2,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D477(%rip),%xmm0
  movapd %xmm1,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D121(%rip),%xmm0
  movapd %xmm1,%xmm7
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm6
  mulsd  -0x48(%rbp),%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x40(%rbp)
  mov    $0x7,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D229(%rip),%xmm0
  movapd %xmm1,%xmm4
  mulsd  %xmm0,%xmm4
  movsd  %xmm4,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D104(%rip),%xmm0
  movapd %xmm1,%xmm2
  mulsd  %xmm0,%xmm2
  movsd  %xmm2,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D201(%rip),%xmm0
  movapd %xmm1,%xmm7
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm6
  mulsd  -0x48(%rbp),%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D104(%rip),%xmm0
  movapd %xmm1,%xmm5
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm3
  mulsd  -0x48(%rbp),%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm4
  subsd  %xmm0,%xmm4
  movsd  %xmm4,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffb,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D484(%rip),%xmm0
  movapd %xmm1,%xmm5
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D328(%rip),%xmm0
  movapd %xmm1,%xmm2
  mulsd  %xmm0,%xmm2
  movsd  %xmm2,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm7
  mulsd  -0x48(%rbp),%xmm7
  movsd  %xmm7,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D345(%rip),%xmm0
  movapd %xmm1,%xmm4
  mulsd  %xmm0,%xmm4
  movsd  %xmm4,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm6
  mulsd  -0x48(%rbp),%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D345(%rip),%xmm0
  movapd %xmm1,%xmm5
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D294(%rip),%xmm0
  movapd %xmm1,%xmm4
  mulsd  %xmm0,%xmm4
  movsd  %xmm4,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffb,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D257(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0x40(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  add    $0x50,%rax
  movsd  D414(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D346(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x38(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x5,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x38(%rbp),%xmm2
  movsd  %xmm2,-0x38(%rbp)
  mov    $0x9,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D299(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,-0x40(%rbp)
  mov    $0x2,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D499(%rip),%xmm0
  movapd %xmm1,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x7,%esi
  mov    $0x2,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,-0x40(%rbp)
  mov    $0x7,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D499(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,-0x40(%rbp)
  mov    $0x2,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D7(%rip),%xmm0
  movapd %xmm1,%xmm6
  mulsd  %xmm0,%xmm6
  movsd  %xmm6,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D303(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm5
  addsd  -0x40(%rbp),%xmm5
  movsd  %xmm5,-0x40(%rbp)
  mov    $0x2,%esi
  mov    $0xfffffffb,%edi
  mov    $0x0,%eax
  call   <SL_G2@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  D353(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  -0x40(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  add    $0x60,%rax
  movsd  D414(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0x78,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x0,-0x4(%rbp)
  jmp    L39
L35:
  mov    -0x28(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mov    $0xf,%eax
  sub    -0x4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x28(%rbp),%rax
  add    $0x78,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x4(%rbp)
L39:
  cmpl   $0xf,-0x4(%rbp)
  jle    L35
  nop
  nop
  leave
  ret
```

tool_calls: name: parse_data
arguments: data_label: D346
type_infered: f64
name: parse_data
arguments: data_label: D299
type_infered: f64
name: parse_data
arguments: data_label: D499
type_infered: f64
name: parse_data
arguments: data_label: D7
type_infered: f64
name: parse_data
arguments: data_label: D303
type_infered: f64
name: parse_data
arguments: data_label: D353
type_infered: f64
name: parse_data
arguments: data_label: D414
type_infered: f64
name: parse_data
arguments: data_label: D165
type_infered: f32[2]
name: parse_data
arguments: data_label: D454
type_infered: f64
name: parse_data
arguments: data_label: D385
type_infered: f64
name: parse_data
arguments: data_label: D206
type_infered: f64
name: parse_data
arguments: data_label: D362
type_infered: f64
name: parse_data
arguments: data_label: D515
type_infered: f64
name: parse_data
arguments: data_label: D104
type_infered: f64
name: parse_data
arguments: data_label: D201
type_infered: f64
name: parse_data
arguments: data_label: D484
type_infered: f64
name: parse_data
arguments: data_label: D477
type_infered: f64
name: parse_data
arguments: data_label: D328
type_infered: f64
name: parse_data
arguments: data_label: D121
type_infered: f64
name: parse_data
arguments: data_label: D345
type_infered: f64
name: parse_data
arguments: data_label: D294
type_infered: f64
name: parse_data
arguments: data_label: D257
type_infered: f64
name: parse_data
arguments: data_label: D300
type_infered: f64
name: parse_data
arguments: data_label: D229
type_infered: f64

tool: D346: 4096

tool: D299: 1620

tool: D499: 525

tool: D7: 168

tool: D303: 700

tool: D353: 32

tool: D414: 21

tool: {"D165": [0.0,-4.5]}

tool: D454: 41580

tool: D385: 6480

tool: D206: 15120

tool: D362: 29890

tool: D515: 13475

tool: D104: 9800

tool: D201: 5880

tool: D484: 560

tool: D477: 7980

tool: D328: 2100

tool: D121: 7000

tool: D345: 2800

tool: D294: 2016

tool: D257: 128

tool: D300: 32340

tool: D229: 11025

assistant: ```c
void twobody_ZM_slip_15(int n, double l, double *f, double *fk) {
  int q;
  for (q = 0; q <= 15; q++)
    fk[q] = 0.0;
  fk[6] = 4096.0 * SL_G1(0, 5) * SL_G2(2, 5) * SL_G2(2, 5) * (1620.0 * SL_G1(2, 9) - 525.0 * SL_G1(0, 2) * SL_G1(2, 7) - 525.0 * SL_G1(0, 7) + 168.0 * SL_G1(0, 2) * SL_G1(0, 5) + 700.0 * SL_G1(-2, 5) + 32.0 * SL_G1(-5, 2)) / 21.0;
  fk[8] = -1024.0 * SL_G2(2, 5) * (41580.0 * SL_G1(2, 5) * SL_G2(2, 7) * SL_G1(2, 9) - 6480.0 * SL_G2(0, 5) * SL_G1(2, 5) * SL_G1(2, 9) + 15120.0 * SL_G2(-1, 4) * SL_G1(2, 5) * SL_G1(2, 9) - 29890.0 * SL_G1(0, 5) * SL_G1(2, 7) * SL_G2(2, 7) - 13475.0 * SL_G1(0, 7) * SL_G1(2, 5) * SL_G2(2, 7) + 9800.0 * SL_G1(-2, 5) * SL_G1(2, 5) * SL_G2(2, 7) + 5880.0 * SL_G1(0, 5) * SL_G1(0, 5) * SL_G2(2, 7) - 9800.0 * SL_G1(-1, 4) * SL_G1(0, 5) * SL_G2(2, 7) + 560.0 * SL_G1(-5, 5) * SL_G2(2, 7) + 7980.0 * SL_G1(0, 5) * SL_G2(0, 5) * SL_G1(2, 7) + 2100.0 * SL_G2(0, 5) * SL_G1(0, 7) * SL_G1(2, 5) - 7000.0 * SL_G2(-1, 4) * SL_G1(0, 7) * SL_G1(2, 5) - 2800.0 * SL_G1(-2, 5) * SL_G2(0, 5) * SL_G1(2, 5) - 2800.0 * SL_G1(-2, 5) * SL_G2(-1, 4) * SL_G1(2, 5) - 2016.0 * SL_G1(0, 5) * SL_G1(0, 5) * SL_G2(0, 5) - 128.0 * SL_G1(-5, 5) * SL_G2(0, 5)) / 21.0;
  fk[10] = -1024.0 * SL_G1(2, 5) * (41580.0 * SL_G2(2, 5) * SL_G1(2, 7) * SL_G2(2, 9) - 6480.0 * SL_G1(0, 5) * SL_G2(2, 5) * SL_G2(2, 9) + 15120.0 * SL_G1(-1, 4) * SL_G2(2, 5) * SL_G2(2, 9) - 32340.0 * SL_G2(0, 5) * SL_G1(2, 7) * SL_G2(2, 7) + 7980.0 * SL_G1(0, 5) * SL_G2(0, 5) * SL_G2(2, 7) - 7000.0 * SL_G1(-1, 4) * SL_G2(0, 5) * SL_G2(2, 7) - 11025.0 * SL_G2(0, 7) * SL_G2(2, 5) * SL_G1(2, 7) + 9800.0 * SL_G2(-2, 5) * SL_G2(2, 5) * SL_G1(2, 7) + 5880.0 * SL_G2(0, 5) * SL_G2(0, 5) * SL_G1(2, 7) - 9800.0 * SL_G2(-1, 4) * SL_G2(0, 5) * SL_G1(2, 7) + 560.0 * SL_G2(-5, 5) * SL_G1(2, 7) + 2100.0 * SL_G1(0, 5) * SL_G2(0, 7) * SL_G2(2, 5) - 2800.0 * SL_G2(-2, 5) * SL_G1(0, 5) * SL_G2(2, 5) - 2800.0 * SL_G2(-2, 5) * SL_G1(-1, 4) * SL_G2(2, 5) - 2016.0 * SL_G1(0, 5) * SL_G2(0, 5) * SL_G2(0, 5) - 128.0 * SL_G2(-5, 5) * SL_G1(0, 5)) / 21.0;
  fk[12] = 4096.0 * SL_G2(0, 5) * SL_G1(2, 5) * SL_G1(2, 5) * (1620.0 * SL_G2(2, 9) - 525.0 * SL_G2(0, 2) * SL_G2(2, 7) - 525.0 * SL_G2(0, 7) + 168.0 * SL_G2(0, 2) * SL_G2(0, 5) + 700.0 * SL_G2(-2, 5) + 32.0 * SL_G2(-5, 2)) / 21.0;
  f[15] = 0.0;
  for (q = 0; q <= 15; q++)
    f[15] = f[15] * l + fk[15 - q];
}
```