user: Converte this assembly snippet into its equivalent C code:

```asm
<twobody_XC_slip_20>:
  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    L24
L30:
  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)
L24:
  cmpl   $0x14,-0x4(%rbp)
  jle    L30
  mov    $0x7,%esi
  mov    $0xfffffffc,%edi
  call   <SL_G1@plt>
  movsd  D54(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm3
  mulsd  -0x38(%rbp),%xmm3
  movsd  %xmm3,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  movapd %xmm0,%xmm5
  mulsd  -0x38(%rbp),%xmm5
  movsd  %xmm5,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  mov    -0x30(%rbp),%rax
  add    $0x30,%rax
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x6,%esi
  mov    $0xfffffffd,%edi
  call   <SL_G1@plt>
  movsd  D70(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  call   <SL_G2@plt>
  movapd %xmm0,%xmm7
  mulsd  -0x38(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm4
  mulsd  -0x38(%rbp),%xmm4
  movsd  %xmm4,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  mov    -0x30(%rbp),%rax
  add    $0x40,%rax
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  call   <SL_G1@plt>
  movsd  D23(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm2
  mulsd  -0x38(%rbp),%xmm2
  movsd  %xmm2,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm3
  mulsd  -0x38(%rbp),%xmm3
  movsd  %xmm3,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  movapd %xmm0,%xmm7
  mulsd  -0x38(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  mov    -0x30(%rbp),%rax
  add    $0x48,%rax
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  call   <SL_G1@plt>
  movsd  D96(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm4
  mulsd  -0x38(%rbp),%xmm4
  movsd  %xmm4,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  call   <SL_G2@plt>
  movsd  D40(%rip),%xmm1
  movapd %xmm0,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,-0x40(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  movapd %xmm0,%xmm2
  mulsd  -0x40(%rbp),%xmm2
  movsd  %xmm2,-0x40(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  call   <SL_G2@plt>
  movsd  D95(%rip),%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,-0x48(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  call   <SL_G2@plt>
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  add    $0x50,%rax
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  call   <SL_G2@plt>
  movsd  D61(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm7
  mulsd  -0x38(%rbp),%xmm7
  movsd  %xmm7,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm4
  mulsd  -0x38(%rbp),%xmm4
  movsd  %xmm4,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  movapd %xmm0,%xmm6
  mulsd  -0x38(%rbp),%xmm6
  movsd  %xmm6,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  mov    -0x30(%rbp),%rax
  add    $0x58,%rax
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  call   <SL_G1@plt>
  movsd  D70(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm3
  mulsd  -0x38(%rbp),%xmm3
  movsd  %xmm3,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x6,%esi
  mov    $0xfffffffd,%edi
  call   <SL_G2@plt>
  movsd  %xmm0,-0x40(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  movapd %xmm0,%xmm7
  mulsd  -0x40(%rbp),%xmm7
  movsd  %xmm7,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  call   <SL_G2@plt>
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  movsd  %xmm2,-0x48(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  call   <SL_G2@plt>
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  add    $0x60,%rax
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movsd  D23(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm5
  mulsd  -0x38(%rbp),%xmm5
  movsd  %xmm5,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x7,%esi
  mov    $0xfffffffc,%edi
  call   <SL_G2@plt>
  movsd  D95(%rip),%xmm1
  movapd %xmm0,%xmm4
  mulsd  %xmm1,%xmm4
  movsd  %xmm4,-0x40(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G2@plt>
  movapd %xmm0,%xmm3
  mulsd  -0x40(%rbp),%xmm3
  movsd  %xmm3,-0x40(%rbp)
  mov    $0x6,%esi
  mov    $0xfffffffd,%edi
  call   <SL_G2@plt>
  movsd  D37(%rip),%xmm1
  movapd %xmm0,%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,-0x48(%rbp)
  mov    $0x4,%esi
  mov    $0xffffffff,%edi
  call   <SL_G2@plt>
  mulsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  -0x40(%rbp),%xmm2
  movsd  %xmm2,-0x40(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  call   <SL_G2@plt>
  movsd  D40(%rip),%xmm1
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movsd  %xmm5,-0x48(%rbp)
  mov    $0x5,%esi
  mov    $0xfffffffe,%edi
  call   <SL_G2@plt>
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  add    $0x70,%rax
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    $0xa,%esi
  mov    $0xfffffff9,%edi
  call   <SL_G2@plt>
  movsd  D12(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  movapd %xmm0,%xmm4
  mulsd  -0x38(%rbp),%xmm4
  movsd  %xmm4,-0x38(%rbp)
  mov    $0x3,%esi
  mov    $0x0,%edi
  call   <SL_G1@plt>
  mov    -0x30(%rbp),%rax
  add    $0x88,%rax
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x28(%rbp),%rax
  add    $0xa0,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x0,-0x4(%rbp)
  jmp    L1
L19:
  mov    -0x28(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mov    $0x14,%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    $0xa0,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x4(%rbp)
L1:
  cmpl   $0x14,-0x4(%rbp)
  jle    L19
  nop
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D54
datatype: f64
name: extract_symbolic_data
arguments: tag: D70
datatype: f64
name: extract_symbolic_data
arguments: tag: D23
datatype: f64
name: extract_symbolic_data
arguments: tag: D96
datatype: f64
name: extract_symbolic_data
arguments: tag: D40
datatype: f64
name: extract_symbolic_data
arguments: tag: D95
datatype: f64
name: extract_symbolic_data
arguments: tag: D61
datatype: f64
name: extract_symbolic_data
arguments: tag: D37
datatype: f64
name: extract_symbolic_data
arguments: tag: D12
datatype: f64

tool: D54: 15728640

tool: D70: 125829120

tool: D23: 6291456

tool: D96: 31457280

tool: D40: 6

tool: D95: 5

tool: D61: 9437184

tool: D37: 10

tool: D12: 37748736

assistant: ```c
void twobody_XC_slip_20(int n, double l, double *f, double *fk) {
  int q;
  for (q = 0; q <= 20; q++)
    fk[q] = 0.0;
  fk[6] = 15728640.0 * SL_G1(-4, 7) * SL_G1(0, 3) * SL_G1(0, 3) * SL_G2(0, 3) * SL_G2(0, 3);
  fk[8] = 125829120.0 * SL_G1(-3, 6) * SL_G2(-1, 4) * SL_G1(0, 3) * SL_G1(0, 3) * SL_G2(0, 3);
  fk[9] = 6291456.0 * SL_G1(-1, 4) * SL_G1(0, 3) * SL_G1(0, 3) * SL_G1(0, 3) * SL_G2(0, 3) * SL_G2(0, 3) * SL_G2(0, 3);
  fk[10] = 31457280.0 * SL_G1(-2, 5) * SL_G1(0, 3) * SL_G1(0, 3) * (6.0 * SL_G2(-2, 5) * SL_G2(0, 3) + 5.0 * SL_G2(-1, 4) * SL_G2(-1, 4));
  fk[11] = 9437184.0 * SL_G2(-1, 4) * SL_G1(0, 3) * SL_G1(0, 3) * SL_G1(0, 3) * SL_G1(0, 3) * SL_G2(0, 3) * SL_G2(0, 3);
  fk[12] = 125829120.0 * SL_G1(-1, 4) * SL_G1(0, 3) * SL_G1(0, 3) * (SL_G2(-3, 6) * SL_G2(0, 3) + 2.0 * SL_G2(-2, 5) * SL_G2(-1, 4));
  fk[14] = 6291456.0 * SL_G1(0, 3) * SL_G1(0, 3) * SL_G1(0, 3) * (5.0 * SL_G2(-4, 7) * SL_G2(0, 3) + 10.0 * SL_G2(-3, 6) * SL_G2(-1, 4) + 6.0 * SL_G2(-2, 5) * SL_G2(-2, 5));
  fk[17] = 37748736.0 * SL_G2(-7, 10) * SL_G1(0, 3) * SL_G1(0, 3);
  f[20] = 0.0;
  for (q = 0; q <= 20; q++)
    f[20] = f[20] * l + fk[20 - q];
}
```