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

```asm
<ERI_Gaunt_R>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xe0,%rsp
  mov    %edi,-0xc4(%rbp)
  mov    %esi,-0xc8(%rbp)
  mov    %edx,-0xcc(%rbp)
  mov    %ecx,-0xd0(%rbp)
  mov    %r8d,-0xd4(%rbp)
  mov    %r9d,-0xd8(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    -0x60(%rbp),%rdx
  lea    -0x70(%rbp),%rcx
  mov    -0xc8(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_RCSH_Coeff@plt>
  lea    -0x40(%rbp),%rdx
  lea    -0x50(%rbp),%rcx
  mov    -0xd0(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_RCSH_Coeff@plt>
  lea    -0x20(%rbp),%rdx
  lea    -0x30(%rbp),%rcx
  mov    -0xd8(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_RCSH_Coeff@plt>
  mov    -0xc8(%rbp),%eax
  and    $0x1,%eax
  test   %eax,%eax
  jne    L22
  movsd  D3(%rip),%xmm0
  jmp    L4
L22:
  movsd  D19(%rip),%xmm0
L4:
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0x70(%rbp),%xmm1
  movsd  -0x50(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm2
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movsd  -0x68(%rbp),%xmm3
  movsd  -0x50(%rbp),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0x70(%rbp),%xmm1
  movsd  -0x50(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm2
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movsd  -0x68(%rbp),%xmm3
  movsd  -0x50(%rbp),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  movsd  -0x18(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0x70(%rbp),%xmm1
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm2
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movsd  -0x68(%rbp),%xmm3
  movsd  -0x40(%rbp),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0x70(%rbp),%xmm1
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm2
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movsd  -0x68(%rbp),%xmm3
  movsd  -0x40(%rbp),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  movsd  -0x18(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0x60(%rbp),%xmm1
  movsd  -0x50(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movsd  -0x58(%rbp),%xmm3
  movsd  -0x50(%rbp),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x60(%rbp),%xmm1
  movsd  -0x50(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movsd  -0x58(%rbp),%xmm3
  movsd  -0x50(%rbp),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  movsd  -0x18(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0x60(%rbp),%xmm1
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movsd  -0x58(%rbp),%xmm3
  movsd  -0x40(%rbp),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x60(%rbp),%xmm1
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  -0x38(%rbp),%xmm1
  mulsd  %xmm1,%xmm2
  movsd  -0x58(%rbp),%xmm3
  movsd  -0x40(%rbp),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  movsd  -0x18(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0xc8(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0xd8(%rbp),%r8d
  mov    -0xd4(%rbp),%edi
  mov    -0xd0(%rbp),%ecx
  mov    -0xcc(%rbp),%edx
  mov    -0xc4(%rbp),%eax
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_Gaunt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  mov    -0xd8(%rbp),%eax
  neg    %eax
  mov    %eax,%r8d
  mov    -0xc8(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0xd4(%rbp),%edi
  mov    -0xd0(%rbp),%ecx
  mov    -0xcc(%rbp),%edx
  mov    -0xc4(%rbp),%eax
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_Gaunt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  movapd %xmm0,%xmm5
  addsd  -0xe0(%rbp),%xmm5
  movsd  %xmm5,-0xe0(%rbp)
  mov    -0xd0(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0xc8(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0xd8(%rbp),%r8d
  mov    -0xd4(%rbp),%edi
  mov    -0xcc(%rbp),%edx
  mov    -0xc4(%rbp),%eax
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_Gaunt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  addsd  -0xe0(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  mov    -0xd8(%rbp),%eax
  neg    %eax
  mov    %eax,%r8d
  mov    -0xd0(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0xc8(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0xd4(%rbp),%edi
  mov    -0xcc(%rbp),%edx
  mov    -0xc4(%rbp),%eax
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_Gaunt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x98(%rbp),%xmm0
  movapd %xmm0,%xmm7
  addsd  -0xe0(%rbp),%xmm7
  movsd  %xmm7,-0xe0(%rbp)
  mov    -0xd8(%rbp),%r8d
  mov    -0xd4(%rbp),%edi
  mov    -0xd0(%rbp),%ecx
  mov    -0xcc(%rbp),%edx
  mov    -0xc8(%rbp),%esi
  mov    -0xc4(%rbp),%eax
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_Gaunt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x90(%rbp),%xmm0
  addsd  -0xe0(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  mov    -0xd8(%rbp),%eax
  neg    %eax
  mov    %eax,%r8d
  mov    -0xd4(%rbp),%edi
  mov    -0xd0(%rbp),%ecx
  mov    -0xcc(%rbp),%edx
  mov    -0xc8(%rbp),%esi
  mov    -0xc4(%rbp),%eax
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_Gaunt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x88(%rbp),%xmm0
  movapd %xmm0,%xmm6
  addsd  -0xe0(%rbp),%xmm6
  movsd  %xmm6,-0xe0(%rbp)
  mov    -0xd0(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0xd8(%rbp),%r8d
  mov    -0xd4(%rbp),%edi
  mov    -0xcc(%rbp),%edx
  mov    -0xc8(%rbp),%esi
  mov    -0xc4(%rbp),%eax
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_Gaunt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x80(%rbp),%xmm0
  addsd  -0xe0(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  mov    -0xd8(%rbp),%eax
  neg    %eax
  mov    %eax,%r8d
  mov    -0xd0(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0xd4(%rbp),%edi
  mov    -0xcc(%rbp),%edx
  mov    -0xc8(%rbp),%esi
  mov    -0xc4(%rbp),%eax
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <ERI_Gaunt@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  -0x78(%rbp),%xmm0
  addsd  -0xe0(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movq   %xmm0,%rax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L6
  call   <__stack_chk_fail@plt>
L6:
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D3
data_type: f64
name: extract_symbolic_data
arguments: data_label: D19
data_type: byte[8]

tool: D3: 1

tool: {"D19": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0xbf]}

assistant: ```c
double ERI_Gaunt_R(int l, int m, int l1, int m1, int l2, int m2) {
  double a[2], b[2], a1[2], b1[2], a2[2], b2[2];
  double aaa, aab, aba, abb, baa, bab, bba, bbb, s;
  ERI_RCSH_Coeff(m, a, b);
  ERI_RCSH_Coeff(m1, a1, b1);
  ERI_RCSH_Coeff(m2, a2, b2);
  s = (0 == m % 2) ? 1.0 : -1.0;
  aaa = (a[0] * a1[0] - a[1] * a1[1]) * a2[0] - (a[0] * a1[1] + a[1] * a1[0]) * a2[1];
  aab = (a[0] * a1[0] - a[1] * a1[1]) * b2[0] - (a[0] * a1[1] + a[1] * a1[0]) * b2[1];
  aba = (a[0] * b1[0] - a[1] * b1[1]) * a2[0] - (a[0] * b1[1] + a[1] * b1[0]) * a2[1];
  abb = (a[0] * b1[0] - a[1] * b1[1]) * b2[0] - (a[0] * b1[1] + a[1] * b1[0]) * b2[1];
  baa = (b[0] * a1[0] - b[1] * a1[1]) * a2[0] - (b[0] * a1[1] + b[1] * a1[0]) * a2[1];
  bab = (b[0] * a1[0] - b[1] * a1[1]) * b2[0] - (b[0] * a1[1] + b[1] * a1[0]) * b2[1];
  bba = (b[0] * b1[0] - b[1] * b1[1]) * a2[0] - (b[0] * b1[1] + b[1] * b1[0]) * a2[1];
  bbb = (b[0] * b1[0] - b[1] * b1[1]) * b2[0] - (b[0] * b1[1] + b[1] * b1[0]) * b2[1];
  return s * (aaa * ERI_Gaunt(l, -m, l1, m1, l2, m2) + aab * ERI_Gaunt(l, -m, l1, m1, l2, -m2) + aba * ERI_Gaunt(l, -m, l1, -m1, l2, m2) + abb * ERI_Gaunt(l, -m, l1, -m1, l2, -m2) + baa * ERI_Gaunt(l, m, l1, m1, l2, m2) + bab * ERI_Gaunt(l, m, l1, m1, l2, -m2) + bba * ERI_Gaunt(l, m, l1, -m1, l2, m2) + bbb * ERI_Gaunt(l, m, l1, -m1, l2, -m2));
}
```